runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 1
  memory of node 0: 3639 MiB (1704 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/goldberg/rand_net/rand_net40-40-1.shuffled.cnf 

running on 1 cores: 2

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-310.el8.x86_64
solver pid=344372, runsolver pid=344370
Current StackSize limit: 8192 KiB


[startup+0.101159 s]*
/proc/loadavg: 0.00 0.80 1.72 6/457 344378
/proc/meminfo: memFree=1723152/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=40288 memory=12960 CPUtime=0.07 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2042 0 0 0 6 1 0 0 20 0 1 0 182290220 41254912 3240 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10072 3240 1536 2 0 2481 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40288 KiB
Current children cumulated memory: 12960 KiB

[startup+0.238164 s]*
/proc/loadavg: 0.00 0.80 1.72 8/457 344378
/proc/meminfo: memFree=1708536/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=0.19 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2703 0 0 0 18 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+0.334166 s]*
/proc/loadavg: 0.00 0.80 1.72 6/457 344378
/proc/meminfo: memFree=1707276/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=0.26 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2703 0 0 0 25 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+0.70216 s]
/proc/loadavg: 0.00 0.80 1.72 6/457 344378
/proc/meminfo: memFree=1706016/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=0.55 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2703 0 0 0 54 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+1.50116 s]
/proc/loadavg: 0.00 0.80 1.72 7/457 344378
/proc/meminfo: memFree=1706016/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=1.32 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2703 0 0 0 131 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+3.12916 s]
/proc/loadavg: 0.32 0.85 1.73 6/457 344378
/proc/meminfo: memFree=1706016/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=2.89 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2703 0 0 0 288 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+6.30116 s]
/proc/loadavg: 0.32 0.85 1.73 6/457 344378
/proc/meminfo: memFree=1705888/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=5.97 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2704 0 0 0 596 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+12.7012 s]
/proc/loadavg: 0.70 0.92 1.75 6/457 344386
/proc/meminfo: memFree=1704096/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=12.17 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2704 0 0 0 1216 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 12.17 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+25.5012 s]
/proc/loadavg: 1.58 1.10 1.80 6/456 344387
/proc/meminfo: memFree=1704096/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=24.58 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2705 0 0 0 2457 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 24.58 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+51.1352 s]
/proc/loadavg: 2.77 1.42 1.88 7/456 344387
/proc/meminfo: memFree=1703672/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=49.42 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2705 0 0 0 4941 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 49.42 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+102.301 s]
/proc/loadavg: 3.73 1.89 2.02 7/455 344396
/proc/meminfo: memFree=1703220/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=98.91 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2705 0 0 0 9890 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 98.91 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+162.301 s]
/proc/loadavg: 3.90 2.28 2.15 6/456 344406
/proc/meminfo: memFree=1702660/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=156.93 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2705 0 0 0 15692 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 156.93 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+222.301 s]
/proc/loadavg: 3.97 2.60 2.27 7/455 344416
/proc/meminfo: memFree=1701368/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=215.08 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2706 0 0 0 21507 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 215.08 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+282.301 s]
/proc/loadavg: 4.06 2.87 2.39 8/456 344426
/proc/meminfo: memFree=1700580/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=273.24 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2706 0 0 0 27323 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 273.24 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+342.301 s]
/proc/loadavg: 4.10 3.11 2.50 6/456 344436
/proc/meminfo: memFree=1700612/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=331.26 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2706 0 0 0 33125 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 331.26 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+402.301 s]
/proc/loadavg: 4.12 3.29 2.60 8/456 344446
/proc/meminfo: memFree=1700832/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=389.36 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2706 0 0 0 38935 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 389.36 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+462.301 s]
/proc/loadavg: 4.16 3.46 2.71 6/456 344456
/proc/meminfo: memFree=1700328/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=447.52 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2706 0 0 0 44751 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 447.52 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+522.301 s]
/proc/loadavg: 4.37 3.64 2.82 7/456 344465
/proc/meminfo: memFree=1700548/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=505.6 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2706 0 0 0 50559 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 505.6 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+582.301 s]
/proc/loadavg: 4.55 3.83 2.94 7/456 344477
/proc/meminfo: memFree=1700264/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=15564 CPUtime=563.67 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2706 0 0 0 56366 1 0 0 20 0 1 0 182290220 43352064 3891 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 3891 1536 2 0 2993 0
Current children cumulated CPU time: 563.67 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15564 KiB

[startup+642.301 s]
/proc/loadavg: 4.45 3.93 3.03 6/455 344486
/proc/meminfo: memFree=1695504/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=621.85 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2708 0 0 0 62184 1 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 621.85 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+702.301 s]
/proc/loadavg: 4.25 3.96 3.10 7/455 344506
/proc/meminfo: memFree=1694492/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=679.98 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2708 0 0 0 67997 1 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 679.98 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+762.301 s]
/proc/loadavg: 4.25 4.00 3.17 6/455 344515
/proc/meminfo: memFree=1694212/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=738.13 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2708 0 0 0 73812 1 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 738.13 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+822.301 s]
/proc/loadavg: 4.17 4.02 3.23 6/455 344526
/proc/meminfo: memFree=1694432/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=796.26 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2708 0 0 0 79625 1 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 796.26 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+882.301 s]
/proc/loadavg: 4.06 4.01 3.28 7/455 344535
/proc/meminfo: memFree=1694400/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=854.44 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2708 0 0 0 85442 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 854.44 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+942.301 s]
/proc/loadavg: 4.10 4.02 3.33 7/455 344545
/proc/meminfo: memFree=1694148/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=912.61 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2708 0 0 0 91259 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 912.61 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+1002.3 s]
/proc/loadavg: 5.13 4.36 3.49 7/455 344555
/proc/meminfo: memFree=1694872/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=970.77 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2708 0 0 0 97075 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 970.77 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+1062.3 s]
/proc/loadavg: 5.33 4.58 3.63 6/455 344564
/proc/meminfo: memFree=1694588/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=1028.85 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2708 0 0 0 102883 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 1028.85 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+1122.3 s]
/proc/loadavg: 4.80 4.55 3.68 6/454 344573
/proc/meminfo: memFree=1694336/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=1087.03 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2708 0 0 0 108701 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 1087.03 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+1182.3 s]
/proc/loadavg: 4.53 4.52 3.72 8/455 344585
/proc/meminfo: memFree=1694556/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=1145.22 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2708 0 0 0 114520 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 1145.22 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+1242.3 s]
/proc/loadavg: 4.26 4.45 3.75 6/454 344594
/proc/meminfo: memFree=1695028/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=1203.4 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2708 0 0 0 120338 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 1203.4 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+1302.3 s]
/proc/loadavg: 4.22 4.41 3.79 6/455 344604
/proc/meminfo: memFree=1695028/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=1261.57 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2708 0 0 0 126155 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 1261.57 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+1362.3 s]
/proc/loadavg: 4.08 4.33 3.80 6/455 344613
/proc/meminfo: memFree=1695248/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=1319.74 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2709 0 0 0 131972 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 1319.74 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+1422.3 s]
/proc/loadavg: 4.15 4.30 3.83 7/456 344624
/proc/meminfo: memFree=1694776/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=1377.92 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2709 0 0 0 137790 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 1377.92 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+1482.3 s]
/proc/loadavg: 4.19 4.29 3.86 6/456 344634
/proc/meminfo: memFree=1694744/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=1436.09 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2709 0 0 0 143607 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 1436.09 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+1542.3 s]
/proc/loadavg: 4.53 4.35 3.91 7/456 344643
/proc/meminfo: memFree=1694744/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=1494.25 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2709 0 0 0 149423 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 1494.25 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+1602.3 s]
/proc/loadavg: 4.47 4.38 3.95 7/455 344657
/proc/meminfo: memFree=1694712/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=1552.41 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2709 0 0 0 155239 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 1552.41 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+1662.3 s]
/proc/loadavg: 4.22 4.33 3.96 7/456 344668
/proc/meminfo: memFree=1694428/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=1610.57 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2709 0 0 0 161055 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 1610.57 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+1722.3 s]
/proc/loadavg: 4.08 4.27 3.97 6/455 344677
/proc/meminfo: memFree=1694428/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=1668.71 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2709 0 0 0 166869 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 1668.71 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

[startup+1782.3 s]
/proc/loadavg: 4.03 4.21 3.97 7/456 344689
/proc/meminfo: memFree=1694648/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=1726.86 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2709 0 0 0 172684 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 1726.86 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.02 4.20 3.98 6/455 344690
/proc/meminfo: memFree=1694648/3726824 swapFree=8388604/8388604
[pid=344372] ppid=344370 vsize=42336 memory=16500 CPUtime=1744.03 cores=2
/proc/344372/stat : 344372 (pigeonPur.py) R 344370 344372 344353 0 -1 4194304 2709 0 0 0 174401 2 0 0 20 0 1 0 182290220 43352064 4125 18446744073709551615 93845716639744 93845716643856 140733587246672 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 93845718744320 93845718745092 93845734961152 140733587247599 140733587247700 140733587247700 140733587251177 0
/proc/344372/statm: 10584 4125 1536 2 0 2993 0
Current children cumulated CPU time: 1744.03 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 16500 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Detected pigeons:

[startup+1800.08 s]
# the end of solver process 344372 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1744.04 s, system=0.03151 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 1800.08
CPU time (s): 1744.07
CPU user time (s): 1744.04
CPU system time (s): 0.03151
CPU usage (%): 96.8888
Max. virtual memory (cumulated for all children) (KiB): 42336
Max. memory (cumulated for all children) (KiB): 16500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.04
system time used= 0.03151
maximum resident set size= 16500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2711
page faults= 0
swaps= 0
block input operations= 264
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 80103


# summary of solver processes directly reported to runsolver:
#   pid: 344372
#   total CPU time (s): 1744.07
#   total CPU user time (s): 1744.04
#   total CPU system time (s): 0.03151

??? end of timestamper thread
runsolver used 16.6617 second user time and 24.5788 second system time

The end
