runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4253416-1500930231/watcher-4253416-1500930231 -o /tmp/evaluation-result-4253416-1500930231/solver-4253416-1500930231 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500914922-3829 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253416-1500930231.xml 

pid=6493
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.93 2.01 2.04 2/181 6496
/proc/meminfo: memFree=32119536/32770624 swapFree=5832/122796
[pid=6496] ppid=6493 vsize=26900 CPUtime=0 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 945 0 0 0 0 0 0 0 20 0 1 0 2582167 27545600 786 33554432000 4194304 5744392 140728917117936 140728917114584 140184811594732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 6725 786 683 379 0 144 0

[startup+0.100121 s]
/proc/loadavg: 1.93 2.01 2.04 2/181 6496
/proc/meminfo: memFree=32119536/32770624 swapFree=5832/122796
[pid=6496] ppid=6493 vsize=49520 CPUtime=0.09 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 6667 0 0 0 9 0 0 0 20 0 1 0 2582167 50708480 6445 33554432000 4194304 5744392 140728917117936 140728917113224 140184811133925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 12412 6510 718 379 0 5831 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49520

[startup+0.200309 s]
/proc/loadavg: 1.93 2.01 2.04 2/181 6496
/proc/meminfo: memFree=32119536/32770624 swapFree=5832/122796
[pid=6496] ppid=6493 vsize=60800 CPUtime=0.19 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 9529 0 0 0 18 1 0 0 20 0 1 0 2582167 62259200 9363 33554432000 4194304 5744392 140728917117936 140728917113224 4946296 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 15200 9363 753 379 0 8619 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 60800

[startup+0.300263 s]
/proc/loadavg: 1.93 2.01 2.04 2/181 6496
/proc/meminfo: memFree=32119536/32770624 swapFree=5832/122796
[pid=6496] ppid=6493 vsize=66792 CPUtime=0.29 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 11025 0 0 0 28 1 0 0 20 0 1 0 2582167 68395008 10800 33554432000 4194304 5744392 140728917117936 140728917113224 4992935 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 16698 10866 759 379 0 10117 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66792

[startup+0.700213 s]
/proc/loadavg: 1.93 2.01 2.04 2/181 6496
/proc/meminfo: memFree=32119536/32770624 swapFree=5832/122796
[pid=6496] ppid=6493 vsize=73752 CPUtime=0.69 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 12748 0 0 0 68 1 0 0 20 0 1 0 2582167 75522048 12582 33554432000 4194304 5744392 140728917117936 140728917113224 4948546 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 18438 12582 760 379 0 11857 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73752

[startup+1.50017 s]
/proc/loadavg: 1.93 2.01 2.04 3/182 6497
/proc/meminfo: memFree=32071568/32770624 swapFree=5832/122856
[pid=6496] ppid=6493 vsize=75516 CPUtime=1.49 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 13183 0 0 0 148 1 0 0 20 0 1 0 2582167 77328384 12978 33554432000 4194304 5744392 140728917117936 140728917114760 5024224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 18879 12978 760 379 0 12298 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75516

[startup+3.10017 s]
/proc/loadavg: 1.93 2.01 2.04 3/182 6497
/proc/meminfo: memFree=32067716/32770624 swapFree=5832/122856
[pid=6496] ppid=6493 vsize=77404 CPUtime=3.08 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 20013 0 0 0 307 1 0 0 20 0 1 0 2582167 79261696 13493 33554432000 4194304 5744392 140728917117936 140728917114760 4947892 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19351 13493 760 379 0 12770 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 77404

[startup+6.30017 s]
/proc/loadavg: 1.94 2.01 2.04 3/182 6497
/proc/meminfo: memFree=32066712/32770624 swapFree=5832/122864
[pid=6496] ppid=6493 vsize=78472 CPUtime=6.28 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 27310 0 0 0 627 1 0 0 20 0 1 0 2582167 80355328 13745 33554432000 4194304 5744392 140728917117936 140728917114760 5131353 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19618 13745 760 379 0 13037 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 78472

[startup+12.7002 s]
/proc/loadavg: 1.94 2.01 2.04 3/182 6497
/proc/meminfo: memFree=32065332/32770624 swapFree=5832/122876
[pid=6496] ppid=6493 vsize=79012 CPUtime=12.68 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 34338 0 0 0 1266 2 0 0 20 0 1 0 2582167 80908288 13912 33554432000 4194304 5744392 140728917117936 140728917114760 4947892 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19753 13912 760 379 0 13172 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 79012

[startup+25.5002 s]
/proc/loadavg: 1.96 2.01 2.04 3/182 6497
/proc/meminfo: memFree=32065440/32770624 swapFree=5832/122884
[pid=6496] ppid=6493 vsize=79280 CPUtime=25.48 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 40155 0 0 0 2546 2 0 0 20 0 1 0 2582167 81182720 13961 33554432000 4194304 5744392 140728917117936 140728917114760 4947892 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13961 760 379 0 13239 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79280

[startup+51.1002 s]
/proc/loadavg: 1.97 2.01 2.04 3/182 6497
/proc/meminfo: memFree=32065832/32770624 swapFree=5832/122900
[pid=6496] ppid=6493 vsize=79280 CPUtime=51.07 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 40675 0 0 0 5105 2 0 0 20 0 1 0 2582167 81182720 13966 33554432000 4194304 5744392 140728917117936 140728917114760 4946326 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13966 760 379 0 13239 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 79280

[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 6498
/proc/meminfo: memFree=32065088/32770624 swapFree=5832/122928
[pid=6496] ppid=6493 vsize=79280 CPUtime=102.28 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 40988 0 0 0 10226 2 0 0 20 0 1 0 2582167 81182720 13982 33554432000 4194304 5744392 140728917117936 140728917114760 5024236 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13982 760 379 0 13239 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 79280

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 6499
/proc/meminfo: memFree=32064760/32770624 swapFree=5832/122948
[pid=6496] ppid=6493 vsize=79280 CPUtime=162.28 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 41278 0 0 0 16226 2 0 0 20 0 1 0 2582167 81182720 13984 33554432000 4194304 5744392 140728917117936 140728917114760 4946156 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13984 760 379 0 13239 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 79280

[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6500
/proc/meminfo: memFree=32064636/32770624 swapFree=5832/122968
[pid=6496] ppid=6493 vsize=79280 CPUtime=222.29 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 41564 0 0 0 22227 2 0 0 20 0 1 0 2582167 81182720 13984 33554432000 4194304 5744392 140728917117936 140728917114760 4946156 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13984 760 379 0 13239 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 79280

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6501
/proc/meminfo: memFree=32064440/32770624 swapFree=5832/122996
[pid=6496] ppid=6493 vsize=79280 CPUtime=282.29 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 41571 0 0 0 28227 2 0 0 20 0 1 0 2582167 81182720 13984 33554432000 4194304 5744392 140728917117936 140728917114760 5024236 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13984 760 379 0 13239 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 79280

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6502
/proc/meminfo: memFree=32065052/32770624 swapFree=5832/123036
[pid=6496] ppid=6493 vsize=79280 CPUtime=342.3 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 41848 0 0 0 34228 2 0 0 20 0 1 0 2582167 81182720 13984 33554432000 4194304 5744392 140728917117936 140728917114760 5024224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13984 760 379 0 13239 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 79280

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 6510
/proc/meminfo: memFree=32064996/32770624 swapFree=5832/123060
[pid=6496] ppid=6493 vsize=79280 CPUtime=402.3 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 41859 0 0 0 40228 2 0 0 20 0 1 0 2582167 81182720 13984 33554432000 4194304 5744392 140728917117936 140728917114760 4946152 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13984 760 379 0 13239 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 79280

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6511
/proc/meminfo: memFree=32065536/32770624 swapFree=5832/123092
[pid=6496] ppid=6493 vsize=79280 CPUtime=462.31 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 42151 0 0 0 46229 2 0 0 20 0 1 0 2582167 81182720 13984 33554432000 4194304 5744392 140728917117936 140728917114760 5118784 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13984 760 379 0 13239 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 79280

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6512
/proc/meminfo: memFree=32065164/32770624 swapFree=5832/123120
[pid=6496] ppid=6493 vsize=79280 CPUtime=522.32 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 42156 0 0 0 52230 2 0 0 20 0 1 0 2582167 81182720 13984 33554432000 4194304 5744392 140728917117936 140728917114760 5024250 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13984 760 379 0 13239 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 79280

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6513
/proc/meminfo: memFree=32065264/32770624 swapFree=5832/123144
[pid=6496] ppid=6493 vsize=79280 CPUtime=582.32 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 42434 0 0 0 58230 2 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 4946164 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 79280


################
# More data... #
################


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6853
/proc/meminfo: memFree=32063824/32770624 swapFree=5832/123828
[pid=6496] ppid=6493 vsize=79280 CPUtime=1482.41 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 44384 0 0 0 148238 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 4947914 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 1482.41
Current children cumulated vsize (KiB) 79280

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6854
/proc/meminfo: memFree=32063832/32770624 swapFree=5832/123868
[pid=6496] ppid=6493 vsize=79280 CPUtime=1542.42 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 44620 0 0 0 154239 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 4946584 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 1542.42
Current children cumulated vsize (KiB) 79280

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6862
/proc/meminfo: memFree=32062548/32770624 swapFree=5832/123904
[pid=6496] ppid=6493 vsize=79280 CPUtime=1602.42 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 44659 0 0 0 160239 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 5118791 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 1602.42
Current children cumulated vsize (KiB) 79280

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 6863
/proc/meminfo: memFree=32063040/32770624 swapFree=5832/123936
[pid=6496] ppid=6493 vsize=79280 CPUtime=1662.43 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 44893 0 0 0 166240 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 4946156 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 1662.43
Current children cumulated vsize (KiB) 79280

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6864
/proc/meminfo: memFree=32063424/32770624 swapFree=5832/123960
[pid=6496] ppid=6493 vsize=79280 CPUtime=1722.44 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 44935 0 0 0 172241 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 5024224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 1722.44
Current children cumulated vsize (KiB) 79280

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6865
/proc/meminfo: memFree=32063060/32770624 swapFree=5832/123996
[pid=6496] ppid=6493 vsize=79280 CPUtime=1782.44 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 45169 0 0 0 178241 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 4947896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (KiB) 79280

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6866
/proc/meminfo: memFree=32063312/32770624 swapFree=5832/124040
[pid=6496] ppid=6493 vsize=79280 CPUtime=1842.45 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 45169 0 0 0 184242 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 5118791 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 1842.45
Current children cumulated vsize (KiB) 79280

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6867
/proc/meminfo: memFree=32063232/32770624 swapFree=5832/124072
[pid=6496] ppid=6493 vsize=79280 CPUtime=1902.45 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 45448 0 0 0 190242 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 4946181 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 1902.45
Current children cumulated vsize (KiB) 79280

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6868
/proc/meminfo: memFree=32063096/32770624 swapFree=5832/124100
[pid=6496] ppid=6493 vsize=79280 CPUtime=1962.46 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 45448 0 0 0 196243 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 5024224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 1962.46
Current children cumulated vsize (KiB) 79280

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6869
/proc/meminfo: memFree=32063340/32770624 swapFree=5832/124136
[pid=6496] ppid=6493 vsize=79280 CPUtime=2022.46 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 45681 0 0 0 202243 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 4946159 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 2022.46
Current children cumulated vsize (KiB) 79280

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6870
/proc/meminfo: memFree=32063448/32770624 swapFree=5832/124160
[pid=6496] ppid=6493 vsize=79280 CPUtime=2082.47 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 45722 0 0 0 208244 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 4946496 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 2082.47
Current children cumulated vsize (KiB) 79280

[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6871
/proc/meminfo: memFree=32063688/32770624 swapFree=5832/124192
[pid=6496] ppid=6493 vsize=79280 CPUtime=2142.47 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 45954 0 0 0 214244 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 4947896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 2142.47
Current children cumulated vsize (KiB) 79280

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6879
/proc/meminfo: memFree=32063100/32770624 swapFree=5832/124224
[pid=6496] ppid=6493 vsize=79280 CPUtime=2202.49 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 45954 0 0 0 220246 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 4946152 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 2202.49
Current children cumulated vsize (KiB) 79280

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6880
/proc/meminfo: memFree=32063684/32770624 swapFree=5832/124260
[pid=6496] ppid=6493 vsize=79280 CPUtime=2262.49 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 46230 0 0 0 226246 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 4946152 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 2262.49
Current children cumulated vsize (KiB) 79280

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6881
/proc/meminfo: memFree=32063404/32770624 swapFree=5832/124284
[pid=6496] ppid=6493 vsize=79280 CPUtime=2322.49 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 46230 0 0 0 232246 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 4946240 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 2322.49
Current children cumulated vsize (KiB) 79280

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6882
/proc/meminfo: memFree=32063656/32770624 swapFree=5832/124320
[pid=6496] ppid=6493 vsize=79280 CPUtime=2382.5 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 46464 0 0 0 238247 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 4998912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 2382.5
Current children cumulated vsize (KiB) 79280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6883
/proc/meminfo: memFree=32063656/32770624 swapFree=5832/124348
[pid=6496] ppid=6493 vsize=79280 CPUtime=2400 cores=1,3,5,7
/proc/6496/stat : 6496 (cosoco) R 6493 6496 3797 0 -1 4202496 46464 0 0 0 239997 3 0 0 20 0 1 0 2582167 81182720 13986 33554432000 4194304 5744392 140728917117936 140728917114760 4947888 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 40681472 140728917124289 140728917124419 140728917124419 140728917127118 0
/proc/6496/statm: 19820 13986 760 379 0 13239 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 79280

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6496 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2399.8
CPU time (s): 2400.01
CPU user time (s): 2399.97
CPU system time (s): 0.033003
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 79280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.033003
maximum resident set size= 55992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31
involuntary context switches= 713

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.53647 second user time and 7.88184 second system time

The end