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-4253403-1500930100/watcher-4253403-1500930100 -o /tmp/evaluation-result-4253403-1500930100/solver-4253403-1500930100 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500914927-3774 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253403-1500930100.xml
pid=12964
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: 2.00 2.01 2.05 2/182 12967
/proc/meminfo: memFree=32101948/32770624 swapFree=5740/131948
[pid=12967] ppid=12964 vsize=26900 CPUtime=0 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 960 0 0 0 0 0 0 0 20 0 1 0 2549429 27545600 787 33554432000 4194304 5744392 140727230391056 140727230387704 140335972813797 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 6725 787 683 379 0 144 0
[startup+0.100162 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 12967
/proc/meminfo: memFree=32101948/32770624 swapFree=5740/131948
[pid=12967] ppid=12964 vsize=36416 CPUtime=0.09 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 3356 0 0 0 9 0 0 0 20 0 1 0 2549429 37289984 3158 33554432000 4194304 5744392 140727230391056 140727230387704 5296113 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 9104 3158 718 379 0 2523 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36416
[startup+0.20035 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 12967
/proc/meminfo: memFree=32101948/32770624 swapFree=5740/131948
[pid=12967] ppid=12964 vsize=101908 CPUtime=0.19 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 19754 0 0 0 16 3 0 0 20 0 1 0 2549429 104353792 19537 33554432000 4194304 5744392 140727230391056 140727230387704 140335972861856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 25510 19537 718 379 0 18929 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 101908
[startup+0.300342 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 12967
/proc/meminfo: memFree=32101948/32770624 swapFree=5740/131948
[pid=12967] ppid=12964 vsize=151780 CPUtime=0.29 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 32190 0 0 0 25 4 0 0 20 0 1 0 2549429 155422720 32002 33554432000 4194304 5744392 140727230391056 140727230387704 140335972861856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 37945 32002 718 379 0 31364 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 151780
[startup+0.700291 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 12967
/proc/meminfo: memFree=32101948/32770624 swapFree=5740/131948
[pid=12967] ppid=12964 vsize=228316 CPUtime=0.69 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 51400 0 0 0 62 7 0 0 20 0 1 0 2549429 233795584 51219 33554432000 4194304 5744392 140727230391056 140727230387704 4992935 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 57079 51219 757 379 0 50498 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 228316
[startup+1.50027 s]
/proc/loadavg: 1.92 2.00 2.04 3/183 12968
/proc/meminfo: memFree=31858028/32770624 swapFree=5740/131976
[pid=12967] ppid=12964 vsize=279496 CPUtime=1.49 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 64031 0 0 0 140 9 0 0 20 0 1 0 2549429 286203904 63814 33554432000 4194304 5744392 140727230391056 140727230388136 5024236 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 69874 63814 757 379 0 63293 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 279496
[startup+3.10027 s]
/proc/loadavg: 1.92 2.00 2.04 3/183 12968
/proc/meminfo: memFree=31848728/32770624 swapFree=5740/131976
[pid=12967] ppid=12964 vsize=279496 CPUtime=3.09 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 71864 0 0 0 300 9 0 0 20 0 1 0 2549429 286203904 63873 33554432000 4194304 5744392 140727230391056 140727230388456 4947596 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 69874 63873 759 379 0 63293 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 279496
[startup+6.30028 s]
/proc/loadavg: 1.92 2.00 2.04 3/183 12968
/proc/meminfo: memFree=31848740/32770624 swapFree=5740/131976
[pid=12967] ppid=12964 vsize=299596 CPUtime=6.29 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 101965 0 0 0 618 11 0 0 20 0 1 0 2549429 306786304 68864 33554432000 4194304 5744392 140727230391056 140727230388456 5024224 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 74899 68864 759 379 0 68318 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 299596
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/183 12968
/proc/meminfo: memFree=31828528/32770624 swapFree=5740/131988
[pid=12967] ppid=12964 vsize=299596 CPUtime=12.7 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 121836 0 0 0 1257 13 0 0 20 0 1 0 2549429 306786304 68864 33554432000 4194304 5744392 140727230391056 140727230388456 4872540 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 74899 68864 759 379 0 68318 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 299596
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/183 12968
/proc/meminfo: memFree=31828388/32770624 swapFree=5740/132000
[pid=12967] ppid=12964 vsize=299596 CPUtime=25.49 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 153531 0 0 0 2534 15 0 0 20 0 1 0 2549429 306786304 68864 33554432000 4194304 5744392 140727230391056 140727230388456 4994016 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 74899 68864 759 379 0 68318 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 299596
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.05 3/183 12968
/proc/meminfo: memFree=31819728/32770624 swapFree=5740/132028
[pid=12967] ppid=12964 vsize=308828 CPUtime=51.07 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 185554 0 0 0 5091 16 0 0 20 0 1 0 2549429 316239872 71105 33554432000 4194304 5744392 140727230391056 140727230387976 4946817 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 77207 71105 759 379 0 70626 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 308828
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/183 12969
/proc/meminfo: memFree=31814764/32770624 swapFree=5740/132112
[pid=12967] ppid=12964 vsize=313532 CPUtime=102.27 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 211611 0 0 0 10209 18 0 0 20 0 1 0 2549429 321056768 72273 33554432000 4194304 5744392 140727230391056 140727230388456 5024176 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 78383 72273 759 379 0 71802 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 313532
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/183 12970
/proc/meminfo: memFree=31811868/32770624 swapFree=5740/132160
[pid=12967] ppid=12964 vsize=316304 CPUtime=162.25 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 232905 0 0 0 16206 19 0 0 20 0 1 0 2549429 323895296 73062 33554432000 4194304 5744392 140727230391056 140727230388456 4948528 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 79076 73062 759 379 0 72495 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 316304
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 12971
/proc/meminfo: memFree=31811060/32770624 swapFree=5740/132204
[pid=12967] ppid=12964 vsize=316840 CPUtime=222.25 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 234985 0 0 0 22206 19 0 0 20 0 1 0 2549429 324444160 73329 33554432000 4194304 5744392 140727230391056 140727230388456 5140585 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 79210 73329 759 379 0 72629 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 316840
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 12972
/proc/meminfo: memFree=31809420/32770624 swapFree=5740/132240
[pid=12967] ppid=12964 vsize=318472 CPUtime=282.25 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 235762 0 0 0 28206 19 0 0 20 0 1 0 2549429 326115328 73742 33554432000 4194304 5744392 140727230391056 140727230388456 4946156 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 79618 73742 759 379 0 73037 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 318472
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 12973
/proc/meminfo: memFree=31809248/32770624 swapFree=5740/132292
[pid=12967] ppid=12964 vsize=318472 CPUtime=342.26 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 236160 0 0 0 34207 19 0 0 20 0 1 0 2549429 326115328 73742 33554432000 4194304 5744392 140727230391056 140727230388456 5140573 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 79618 73742 759 379 0 73037 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 318472
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 12974
/proc/meminfo: memFree=31807204/32770624 swapFree=5740/132348
[pid=12967] ppid=12964 vsize=320700 CPUtime=402.27 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 237216 0 0 0 40207 20 0 0 20 0 1 0 2549429 328396800 74294 33554432000 4194304 5744392 140727230391056 140727230388456 4946817 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 80175 74294 759 379 0 73594 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 320700
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 12975
/proc/meminfo: memFree=31807380/32770624 swapFree=5740/132384
[pid=12967] ppid=12964 vsize=320700 CPUtime=462.28 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 237316 0 0 0 46208 20 0 0 20 0 1 0 2549429 328396800 74294 33554432000 4194304 5744392 140727230391056 140727230388456 5140573 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 80175 74294 759 379 0 73594 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 320700
[startup+522.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 12983
/proc/meminfo: memFree=31805488/32770624 swapFree=5740/132432
[pid=12967] ppid=12964 vsize=320700 CPUtime=522.29 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 237645 0 0 0 52209 20 0 0 20 0 1 0 2549429 328396800 74294 33554432000 4194304 5744392 140727230391056 140727230388456 5140581 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 80175 74294 759 379 0 73594 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 320700
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 12984
/proc/meminfo: memFree=31805900/32770624 swapFree=5740/132468
[pid=12967] ppid=12964 vsize=320700 CPUtime=582.29 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 237933 0 0 0 58209 20 0 0 20 0 1 0 2549429 328396800 74294 33554432000 4194304 5744392 140727230391056 140727230388456 4947025 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 80175 74294 759 379 0 73594 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 320700
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13069
/proc/meminfo: memFree=31804468/32770624 swapFree=5740/133072
[pid=12967] ppid=12964 vsize=324140 CPUtime=1542.4 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 242425 0 0 0 154220 20 0 0 20 0 1 0 2549429 331919360 75169 33554432000 4194304 5744392 140727230391056 140727230388456 4994104 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81035 75169 759 379 0 74454 0
Current children cumulated CPU time (s) 1542.4
Current children cumulated vsize (KiB) 324140
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13070
/proc/meminfo: memFree=31805008/32770624 swapFree=5740/133116
[pid=12967] ppid=12964 vsize=324140 CPUtime=1602.4 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 242703 0 0 0 160220 20 0 0 20 0 1 0 2549429 331919360 75169 33554432000 4194304 5744392 140727230391056 140727230388456 4946576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81035 75169 759 379 0 74454 0
Current children cumulated CPU time (s) 1602.4
Current children cumulated vsize (KiB) 324140
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13071
/proc/meminfo: memFree=31804928/32770624 swapFree=5740/133152
[pid=12967] ppid=12964 vsize=324140 CPUtime=1662.4 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 242760 0 0 0 166220 20 0 0 20 0 1 0 2549429 331919360 75169 33554432000 4194304 5744392 140727230391056 140727230388456 5140573 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81035 75169 759 379 0 74454 0
Current children cumulated CPU time (s) 1662.4
Current children cumulated vsize (KiB) 324140
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13079
/proc/meminfo: memFree=31804412/32770624 swapFree=5740/133184
[pid=12967] ppid=12964 vsize=324140 CPUtime=1722.41 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 243017 0 0 0 172221 20 0 0 20 0 1 0 2549429 331919360 75169 33554432000 4194304 5744392 140727230391056 140727230388456 5115995 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81035 75169 759 379 0 74454 0
Current children cumulated CPU time (s) 1722.41
Current children cumulated vsize (KiB) 324140
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13080
/proc/meminfo: memFree=31804336/32770624 swapFree=5740/133216
[pid=12967] ppid=12964 vsize=324140 CPUtime=1782.42 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 243183 0 0 0 178222 20 0 0 20 0 1 0 2549429 331919360 75169 33554432000 4194304 5744392 140727230391056 140727230388456 4945693 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81035 75169 759 379 0 74454 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (KiB) 324140
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13081
/proc/meminfo: memFree=31804612/32770624 swapFree=5740/133252
[pid=12967] ppid=12964 vsize=324140 CPUtime=1842.42 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 243448 0 0 0 184222 20 0 0 20 0 1 0 2549429 331919360 75169 33554432000 4194304 5744392 140727230391056 140727230388456 4946792 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81035 75169 759 379 0 74454 0
Current children cumulated CPU time (s) 1842.42
Current children cumulated vsize (KiB) 324140
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13082
/proc/meminfo: memFree=31804636/32770624 swapFree=5740/133288
[pid=12967] ppid=12964 vsize=324140 CPUtime=1902.43 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 243571 0 0 0 190223 20 0 0 20 0 1 0 2549429 331919360 75169 33554432000 4194304 5744392 140727230391056 140727230388456 5140573 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81035 75169 759 379 0 74454 0
Current children cumulated CPU time (s) 1902.43
Current children cumulated vsize (KiB) 324140
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13083
/proc/meminfo: memFree=31804536/32770624 swapFree=5740/133320
[pid=12967] ppid=12964 vsize=324140 CPUtime=1962.43 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 243876 0 0 0 196223 20 0 0 20 0 1 0 2549429 331919360 75169 33554432000 4194304 5744392 140727230391056 140727230388456 4998912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81035 75169 759 379 0 74454 0
Current children cumulated CPU time (s) 1962.43
Current children cumulated vsize (KiB) 324140
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13084
/proc/meminfo: memFree=31803292/32770624 swapFree=5740/133344
[pid=12967] ppid=12964 vsize=325688 CPUtime=2022.44 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 244507 0 0 0 202224 20 0 0 20 0 1 0 2549429 333504512 75523 33554432000 4194304 5744392 140727230391056 140727230387976 5024224 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81422 75523 759 379 0 74841 0
Current children cumulated CPU time (s) 2022.44
Current children cumulated vsize (KiB) 325688
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13085
/proc/meminfo: memFree=31802048/32770624 swapFree=5740/133376
[pid=12967] ppid=12964 vsize=325964 CPUtime=2082.45 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 244836 0 0 0 208225 20 0 0 20 0 1 0 2549429 333787136 75615 33554432000 4194304 5744392 140727230391056 140727230388088 5140581 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81491 75615 759 379 0 74910 0
Current children cumulated CPU time (s) 2082.45
Current children cumulated vsize (KiB) 325964
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13086
/proc/meminfo: memFree=31802512/32770624 swapFree=5740/133408
[pid=12967] ppid=12964 vsize=325964 CPUtime=2142.45 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 244977 0 0 0 214225 20 0 0 20 0 1 0 2549429 333787136 75631 33554432000 4194304 5744392 140727230391056 140727230388456 5024239 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81491 75631 759 379 0 74910 0
Current children cumulated CPU time (s) 2142.45
Current children cumulated vsize (KiB) 325964
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13087
/proc/meminfo: memFree=31802528/32770624 swapFree=5740/133448
[pid=12967] ppid=12964 vsize=326104 CPUtime=2202.46 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 245259 0 0 0 220226 20 0 0 20 0 1 0 2549429 333930496 75631 33554432000 4194304 5744392 140727230391056 140727230388088 4946823 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81526 75631 759 379 0 74945 0
Current children cumulated CPU time (s) 2202.46
Current children cumulated vsize (KiB) 326104
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13088
/proc/meminfo: memFree=31802568/32770624 swapFree=5740/133476
[pid=12967] ppid=12964 vsize=326104 CPUtime=2262.46 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 245319 0 0 0 226226 20 0 0 20 0 1 0 2549429 333930496 75647 33554432000 4194304 5744392 140727230391056 140727230388088 4945891 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81526 75647 759 379 0 74945 0
Current children cumulated CPU time (s) 2262.46
Current children cumulated vsize (KiB) 326104
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13096
/proc/meminfo: memFree=31801892/32770624 swapFree=5740/133516
[pid=12967] ppid=12964 vsize=326104 CPUtime=2322.47 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 245572 0 0 0 232227 20 0 0 20 0 1 0 2549429 333930496 75651 33554432000 4194304 5744392 140727230391056 140727230388088 5024186 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81526 75651 759 379 0 74945 0
Current children cumulated CPU time (s) 2322.47
Current children cumulated vsize (KiB) 326104
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13097
/proc/meminfo: memFree=31802068/32770624 swapFree=5740/133548
[pid=12967] ppid=12964 vsize=326104 CPUtime=2382.48 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 245704 0 0 0 238228 20 0 0 20 0 1 0 2549429 333930496 75651 33554432000 4194304 5744392 140727230391056 140727230388456 5024224 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81526 75651 759 379 0 74945 0
Current children cumulated CPU time (s) 2382.48
Current children cumulated vsize (KiB) 326104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13098
/proc/meminfo: memFree=31802160/32770624 swapFree=5740/133572
[pid=12967] ppid=12964 vsize=326104 CPUtime=2400.08 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 245971 0 0 0 239988 20 0 0 20 0 1 0 2549429 333930496 75651 33554432000 4194304 5744392 140727230391056 140727230388456 5140573 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81526 75651 759 379 0 74945 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 326104
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 12967 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13098
/proc/meminfo: memFree=31802160/32770624 swapFree=5740/133572
[pid=12967] ppid=12964 vsize=326104 CPUtime=2400.08 cores=1,3,5,7
/proc/12967/stat : 12967 (cosoco) R 12964 12967 3742 0 -1 4202496 245971 0 0 0 239988 20 0 0 20 0 1 0 2549429 333930496 75651 33554432000 4194304 5744392 140727230391056 140727230388456 5140573 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 31891456 140727230399681 140727230399811 140727230399811 140727230402510 0
/proc/12967/statm: 81526 75651 759 379 0 74945 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 326104
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.09
CPU user time (s): 2399.88
CPU system time (s): 0.210021
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 326104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.88
system time used= 0.210021
maximum resident set size= 302648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245991
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= 113
involuntary context switches= 703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08544 second user time and 9.03762 second system time
The end