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-4253421-1500930264/watcher-4253421-1500930264 -o /tmp/evaluation-result-4253421-1500930264/solver-4253421-1500930264 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500914921-4814 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253421-1500930264.xml 

pid=8342
running on 4 cores: 0,2,4,6

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 3/181 8345
/proc/meminfo: memFree=31631544/32770624 swapFree=6548/190548
[pid=8345] ppid=8342 vsize=26772 CPUtime=0 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 941 0 0 0 0 0 0 0 20 0 1 0 2579690 27414528 759 33554432000 4194304 5744392 140731784969120 140731784965768 140440264334309 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 6693 759 674 379 0 112 0

[startup+0.100108 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8345
/proc/meminfo: memFree=31631544/32770624 swapFree=6548/190548
[pid=8345] ppid=8342 vsize=29388 CPUtime=0.09 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 1613 0 0 0 9 0 0 0 20 0 1 0 2579690 30093312 1445 33554432000 4194304 5744392 140731784969120 140731784965768 5009995 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 7347 1445 719 379 0 766 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29388

[startup+0.200225 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8345
/proc/meminfo: memFree=31631544/32770624 swapFree=6548/190548
[pid=8345] ppid=8342 vsize=29792 CPUtime=0.19 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 1770 0 0 0 19 0 0 0 20 0 1 0 2579690 30507008 1576 33554432000 4194304 5744392 140731784969120 140731784965768 4939207 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 7448 1576 727 379 0 867 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29792

[startup+0.300199 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8345
/proc/meminfo: memFree=31631544/32770624 swapFree=6548/190548
[pid=8345] ppid=8342 vsize=29924 CPUtime=0.29 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 1781 0 0 0 29 0 0 0 20 0 1 0 2579690 30642176 1576 33554432000 4194304 5744392 140731784969120 140731784965768 4939544 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 7481 1576 727 379 0 900 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29924

[startup+0.700189 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8345
/proc/meminfo: memFree=31631544/32770624 swapFree=6548/190548
[pid=8345] ppid=8342 vsize=37076 CPUtime=0.69 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 3573 0 0 0 69 0 0 0 20 0 1 0 2579690 37965824 3358 33554432000 4194304 5744392 140731784969120 140731784965768 5024410 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 9269 3358 760 379 0 2688 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37076

[startup+1.50021 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8346
/proc/meminfo: memFree=31620260/32770624 swapFree=6548/190556
[pid=8345] ppid=8342 vsize=37340 CPUtime=1.49 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 3666 0 0 0 149 0 0 0 20 0 1 0 2579690 38236160 3490 33554432000 4194304 5744392 140731784969120 140731784965928 5024241 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 9335 3490 760 379 0 2754 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37340

[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8346
/proc/meminfo: memFree=31619560/32770624 swapFree=6548/190568
[pid=8345] ppid=8342 vsize=41484 CPUtime=3.09 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 7175 0 0 0 308 1 0 0 20 0 1 0 2579690 42479616 4487 33554432000 4194304 5744392 140731784969120 140731784965928 4939182 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 10371 4487 760 379 0 3790 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41484

[startup+6.30017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8346
/proc/meminfo: memFree=31614228/32770624 swapFree=6548/190576
[pid=8345] ppid=8342 vsize=42952 CPUtime=6.29 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 10556 0 0 0 628 1 0 0 20 0 1 0 2579690 43982848 4885 33554432000 4194304 5744392 140731784969120 140731784966056 5024231 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 10738 4885 760 379 0 4157 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42952

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8346
/proc/meminfo: memFree=31611980/32770624 swapFree=6548/190584
[pid=8345] ppid=8342 vsize=44552 CPUtime=12.69 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 14682 0 0 0 1268 1 0 0 20 0 1 0 2579690 45621248 5308 33554432000 4194304 5744392 140731784969120 140731784965928 4947896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11138 5308 760 379 0 4557 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44552

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8346
/proc/meminfo: memFree=31611716/32770624 swapFree=6548/190592
[pid=8345] ppid=8342 vsize=45084 CPUtime=25.48 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 21630 0 0 0 2547 1 0 0 20 0 1 0 2579690 46166016 5413 33554432000 4194304 5744392 140731784969120 140731784965944 5024224 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11271 5413 760 379 0 4690 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45084

[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8346
/proc/meminfo: memFree=31611932/32770624 swapFree=6548/190616
[pid=8345] ppid=8342 vsize=45352 CPUtime=51.09 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 25628 0 0 0 5107 2 0 0 20 0 1 0 2579690 46440448 5478 33554432000 4194304 5744392 140731784969120 140731784965928 4946152 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11338 5478 760 379 0 4757 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 45352

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8347
/proc/meminfo: memFree=31610740/32770624 swapFree=6548/190676
[pid=8345] ppid=8342 vsize=45892 CPUtime=102.29 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 30041 0 0 0 10227 2 0 0 20 0 1 0 2579690 46993408 5608 33554432000 4194304 5744392 140731784969120 140731784965928 4939065 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11473 5608 760 379 0 4892 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 45892

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8348
/proc/meminfo: memFree=31602288/32770624 swapFree=6548/190732
[pid=8345] ppid=8342 vsize=46028 CPUtime=162.28 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 33955 0 0 0 16226 2 0 0 20 0 1 0 2579690 47132672 5642 33554432000 4194304 5744392 140731784969120 140731784966056 4939036 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5642 760 379 0 4926 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 46028

[startup+222.306 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 8349
/proc/meminfo: memFree=31602412/32770624 swapFree=6548/190772
[pid=8345] ppid=8342 vsize=46028 CPUtime=222.28 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 34120 0 0 0 22226 2 0 0 20 0 1 0 2579690 47132672 5648 33554432000 4194304 5744392 140731784969120 140731784966056 4946156 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5648 760 379 0 4926 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 46028

[startup+282.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/182 8350
/proc/meminfo: memFree=31598760/32770624 swapFree=6548/190804
[pid=8345] ppid=8342 vsize=46028 CPUtime=282.27 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 34269 0 0 0 28225 2 0 0 20 0 1 0 2579690 47132672 5651 33554432000 4194304 5744392 140731784969120 140731784966056 5024203 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5651 760 379 0 4926 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 46028

[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/183 8359
/proc/meminfo: memFree=31597532/32770624 swapFree=6548/190856
[pid=8345] ppid=8342 vsize=46028 CPUtime=342.27 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 34414 0 0 0 34225 2 0 0 20 0 1 0 2579690 47132672 5653 33554432000 4194304 5744392 140731784969120 140731784966056 4939488 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5653 760 379 0 4926 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 46028

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 8360
/proc/meminfo: memFree=31598196/32770624 swapFree=6548/190892
[pid=8345] ppid=8342 vsize=46028 CPUtime=402.27 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 34552 0 0 0 40224 3 0 0 20 0 1 0 2579690 47132672 5653 33554432000 4194304 5744392 140731784969120 140731784966056 4946152 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5653 760 379 0 4926 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 46028

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 8361
/proc/meminfo: memFree=31597328/32770624 swapFree=6548/190928
[pid=8345] ppid=8342 vsize=46028 CPUtime=462.27 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 34685 0 0 0 46224 3 0 0 20 0 1 0 2579690 47132672 5653 33554432000 4194304 5744392 140731784969120 140731784966056 4939955 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5653 760 379 0 4926 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 46028

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 8362
/proc/meminfo: memFree=31597496/32770624 swapFree=6548/190964
[pid=8345] ppid=8342 vsize=46028 CPUtime=522.27 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 34817 0 0 0 52224 3 0 0 20 0 1 0 2579690 47132672 5653 33554432000 4194304 5744392 140731784969120 140731784966056 5024413 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5653 760 379 0 4926 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 46028

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 8363
/proc/meminfo: memFree=31597424/32770624 swapFree=6548/191004
[pid=8345] ppid=8342 vsize=46028 CPUtime=582.26 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 34935 0 0 0 58223 3 0 0 20 0 1 0 2579690 47132672 5653 33554432000 4194304 5744392 140731784969120 140731784966056 4946152 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5653 760 379 0 4926 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 46028


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

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8387
/proc/meminfo: memFree=31595424/32770624 swapFree=6548/191524
[pid=8345] ppid=8342 vsize=46028 CPUtime=1482.22 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 36606 0 0 0 148219 3 0 0 20 0 1 0 2579690 47132672 5657 33554432000 4194304 5744392 140731784969120 140731784966056 4946152 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5657 760 379 0 4926 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 46028

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 8396
/proc/meminfo: memFree=31594840/32770624 swapFree=6548/191564
[pid=8345] ppid=8342 vsize=46028 CPUtime=1542.22 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 36730 0 0 0 154219 3 0 0 20 0 1 0 2579690 47132672 5657 33554432000 4194304 5744392 140731784969120 140731784966056 5024176 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5657 760 379 0 4926 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 46028

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 8397
/proc/meminfo: memFree=31594736/32770624 swapFree=6548/191596
[pid=8345] ppid=8342 vsize=46028 CPUtime=1602.21 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 36807 0 0 0 160218 3 0 0 20 0 1 0 2579690 47132672 5657 33554432000 4194304 5744392 140731784969120 140731784966056 4946156 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5657 760 379 0 4926 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 46028

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 8398
/proc/meminfo: memFree=31595160/32770624 swapFree=6548/191628
[pid=8345] ppid=8342 vsize=46028 CPUtime=1662.21 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 36887 0 0 0 166218 3 0 0 20 0 1 0 2579690 47132672 5657 33554432000 4194304 5744392 140731784969120 140731784966056 4941464 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5657 760 379 0 4926 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 46028

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 8399
/proc/meminfo: memFree=31595080/32770624 swapFree=6548/191656
[pid=8345] ppid=8342 vsize=46028 CPUtime=1722.2 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 37003 0 0 0 172217 3 0 0 20 0 1 0 2579690 47132672 5657 33554432000 4194304 5744392 140731784969120 140731784966056 4947896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5657 760 379 0 4926 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 46028

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/183 8400
/proc/meminfo: memFree=31595124/32770624 swapFree=6548/191692
[pid=8345] ppid=8342 vsize=46028 CPUtime=1782.2 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 37064 0 0 0 178217 3 0 0 20 0 1 0 2579690 47132672 5657 33554432000 4194304 5744392 140731784969120 140731784966056 4939350 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5657 760 379 0 4926 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 46028

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8401
/proc/meminfo: memFree=31595368/32770624 swapFree=6548/191724
[pid=8345] ppid=8342 vsize=46028 CPUtime=1842.2 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 37189 0 0 0 184217 3 0 0 20 0 1 0 2579690 47132672 5657 33554432000 4194304 5744392 140731784969120 140731784966056 5024236 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5657 760 379 0 4926 0
Current children cumulated CPU time (s) 1842.2
Current children cumulated vsize (KiB) 46028

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8402
/proc/meminfo: memFree=31595416/32770624 swapFree=6548/191760
[pid=8345] ppid=8342 vsize=46028 CPUtime=1902.2 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 37264 0 0 0 190217 3 0 0 20 0 1 0 2579690 47132672 5657 33554432000 4194304 5744392 140731784969120 140731784966056 4946584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5657 760 379 0 4926 0
Current children cumulated CPU time (s) 1902.2
Current children cumulated vsize (KiB) 46028

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8403
/proc/meminfo: memFree=31595476/32770624 swapFree=6548/191788
[pid=8345] ppid=8342 vsize=46028 CPUtime=1962.19 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 37342 0 0 0 196216 3 0 0 20 0 1 0 2579690 47132672 5657 33554432000 4194304 5744392 140731784969120 140731784966056 4938999 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5657 760 379 0 4926 0
Current children cumulated CPU time (s) 1962.19
Current children cumulated vsize (KiB) 46028

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8404
/proc/meminfo: memFree=31595392/32770624 swapFree=6548/191824
[pid=8345] ppid=8342 vsize=46028 CPUtime=2022.19 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 37415 0 0 0 202216 3 0 0 20 0 1 0 2579690 47132672 5657 33554432000 4194304 5744392 140731784969120 140731784966056 4939573 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5657 760 379 0 4926 0
Current children cumulated CPU time (s) 2022.19
Current children cumulated vsize (KiB) 46028

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8405
/proc/meminfo: memFree=31595444/32770624 swapFree=6548/191856
[pid=8345] ppid=8342 vsize=46028 CPUtime=2082.19 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 37551 0 0 0 208216 3 0 0 20 0 1 0 2579690 47132672 5665 33554432000 4194304 5744392 140731784969120 140731784966056 4946540 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5665 760 379 0 4926 0
Current children cumulated CPU time (s) 2082.19
Current children cumulated vsize (KiB) 46028

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 8414
/proc/meminfo: memFree=31594648/32770624 swapFree=6548/191888
[pid=8345] ppid=8342 vsize=46028 CPUtime=2142.18 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 37633 0 0 0 214215 3 0 0 20 0 1 0 2579690 47132672 5665 33554432000 4194304 5744392 140731784969120 140731784966056 4946152 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5665 760 379 0 4926 0
Current children cumulated CPU time (s) 2142.18
Current children cumulated vsize (KiB) 46028

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 8415
/proc/meminfo: memFree=31595456/32770624 swapFree=6548/191928
[pid=8345] ppid=8342 vsize=46028 CPUtime=2202.19 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 37715 0 0 0 220216 3 0 0 20 0 1 0 2579690 47132672 5665 33554432000 4194304 5744392 140731784969120 140731784966056 5024236 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5665 760 379 0 4926 0
Current children cumulated CPU time (s) 2202.19
Current children cumulated vsize (KiB) 46028

[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/183 8416
/proc/meminfo: memFree=31595172/32770624 swapFree=6548/191968
[pid=8345] ppid=8342 vsize=46028 CPUtime=2262.18 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 37839 0 0 0 226215 3 0 0 20 0 1 0 2579690 47132672 5665 33554432000 4194304 5744392 140731784969120 140731784966056 5024224 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5665 760 379 0 4926 0
Current children cumulated CPU time (s) 2262.18
Current children cumulated vsize (KiB) 46028

[startup+2322.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/183 8478
/proc/meminfo: memFree=31969484/32770624 swapFree=6548/192072
[pid=8345] ppid=8342 vsize=46028 CPUtime=2322.18 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 37953 0 0 0 232214 4 0 0 20 0 1 0 2579690 47132672 5665 33554432000 4194304 5744392 140731784969120 140731784966056 5024193 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5665 760 379 0 4926 0
Current children cumulated CPU time (s) 2322.18
Current children cumulated vsize (KiB) 46028

[startup+2382.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/183 11168
/proc/meminfo: memFree=31895544/32770624 swapFree=6548/195204
[pid=8345] ppid=8342 vsize=46028 CPUtime=2382.18 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 38026 0 0 0 238212 6 0 0 20 0 1 0 2579690 47132672 5665 33554432000 4194304 5744392 140731784969120 140731784966056 5024224 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5665 760 379 0 4926 0
Current children cumulated CPU time (s) 2382.18
Current children cumulated vsize (KiB) 46028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.00 2.03 2.04 3/183 11168
/proc/meminfo: memFree=31658908/32770624 swapFree=6548/195228
[pid=8345] ppid=8342 vsize=46028 CPUtime=2400.08 cores=0,2,4,6
/proc/8345/stat : 8345 (cosoco) R 8342 8345 4783 0 -1 4202496 38082 0 0 0 240002 6 0 0 20 0 1 0 2579690 47132672 5670 33554432000 4194304 5744392 140731784969120 140731784966056 4939182 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 10227712 140731784975553 140731784975683 140731784975683 140731784978382 0
/proc/8345/statm: 11507 5670 760 379 0 4926 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 46028

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 8345 sig 9
??? kill -8345 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.09
CPU user time (s): 2400.03
CPU system time (s): 0.065996
CPU usage (%): 99.9953
Max. virtual memory (cumulated for all children) (KiB): 46028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.065996
maximum resident set size= 22724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38111
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= 18
involuntary context switches= 4889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.1536 second user time and 7.44888 second system time

The end