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-4259978-1502034712/watcher-4259978-1502034712 -o /tmp/evaluation-result-4259978-1502034712/solver-4259978-1502034712 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502014511-21396 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259978-1502034712.xml
pid=27359
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/180 27362
/proc/meminfo: memFree=31748200/32770624 swapFree=0/329260
[pid=27362] ppid=27359 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/27362/stat : 27362 (runsolver) D 27359 27362 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 5664924 24240128 107 18446744073709551615 4194304 4338465 140733196264416 140733196262056 140228213383895 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 32239616 140733196271810 140733196272202 140733196272202 140733196275658 0
/proc/27362/statm: 5918 107 54 36 0 2156 0
[startup+0.100139 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 27362
/proc/meminfo: memFree=31748200/32770624 swapFree=0/329260
[pid=27362] ppid=27359 vsize=27180 CPUtime=0 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 1051 0 0 0 0 0 0 0 20 0 1 0 5664924 27832320 891 18446744073709551615 4194304 5747388 140728083248224 140728083244872 5298690 0 0 1 0 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 6795 891 721 380 0 213 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 27180
[startup+0.200264 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 27362
/proc/meminfo: memFree=31748200/32770624 swapFree=0/329260
[pid=27362] ppid=27359 vsize=28964 CPUtime=0.1 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 1563 0 0 0 10 0 0 0 20 0 1 0 5664924 29659136 1347 18446744073709551615 4194304 5747388 140728083248224 140728083244872 5025399 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7241 1347 761 380 0 659 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 28964
[startup+0.300254 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 27362
/proc/meminfo: memFree=31748200/32770624 swapFree=0/329260
[pid=27362] ppid=27359 vsize=29096 CPUtime=0.2 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 1604 0 0 0 20 0 0 0 20 0 1 0 5664924 29794304 1413 18446744073709551615 4194304 5747388 140728083248224 140728083244872 5025392 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7274 1413 763 380 0 692 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 29096
[startup+0.700216 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 27362
/proc/meminfo: memFree=31748200/32770624 swapFree=0/329260
[pid=27362] ppid=27359 vsize=29228 CPUtime=0.6 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 1619 0 0 0 60 0 0 0 20 0 1 0 5664924 29929472 1413 18446744073709551615 4194304 5747388 140728083248224 140728083235496 5025344 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1413 763 380 0 725 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 29228
[startup+1.50021 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27363
/proc/meminfo: memFree=31745904/32770624 swapFree=0/329228
[pid=27362] ppid=27359 vsize=29228 CPUtime=1.4 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 1626 0 0 0 140 0 0 0 20 0 1 0 5664924 29929472 1413 18446744073709551615 4194304 5747388 140728083248224 140728083235496 4947288 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1413 763 380 0 725 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 29228
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27363
/proc/meminfo: memFree=31745572/32770624 swapFree=0/329280
[pid=27362] ppid=27359 vsize=29228 CPUtime=3 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 2256 0 0 0 300 0 0 0 20 0 1 0 5664924 29929472 1467 18446744073709551615 4194304 5747388 140728083248224 140728083235496 5025392 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1467 763 380 0 725 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 29228
[startup+6.30021 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27363
/proc/meminfo: memFree=31744988/32770624 swapFree=0/329280
[pid=27362] ppid=27359 vsize=29228 CPUtime=6.2 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 2877 0 0 0 620 0 0 0 20 0 1 0 5664924 29929472 1470 18446744073709551615 4194304 5747388 140728083248224 140728083235496 5025570 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1470 763 380 0 725 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 29228
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27363
/proc/meminfo: memFree=31744988/32770624 swapFree=0/329280
[pid=27362] ppid=27359 vsize=29228 CPUtime=12.6 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 3500 0 0 0 1260 0 0 0 20 0 1 0 5664924 29929472 1471 18446744073709551615 4194304 5747388 140728083248224 140728083245752 4947292 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1471 763 380 0 725 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 29228
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27363
/proc/meminfo: memFree=31744988/32770624 swapFree=0/329280
[pid=27362] ppid=27359 vsize=29228 CPUtime=25.4 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 4738 0 0 0 2540 0 0 0 20 0 1 0 5664924 29929472 1472 18446744073709551615 4194304 5747388 140728083248224 140728083245752 5025361 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1472 763 380 0 725 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 29228
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27363
/proc/meminfo: memFree=31744724/32770624 swapFree=0/329316
[pid=27362] ppid=27359 vsize=29228 CPUtime=51 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 5369 0 0 0 5100 0 0 0 20 0 1 0 5664924 29929472 1473 18446744073709551615 4194304 5747388 140728083248224 140728083245752 5025413 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1473 763 380 0 725 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 29228
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27365
/proc/meminfo: memFree=31744972/32770624 swapFree=0/329352
[pid=27362] ppid=27359 vsize=29228 CPUtime=102.2 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 5987 0 0 0 10220 0 0 0 20 0 1 0 5664924 29929472 1473 18446744073709551615 4194304 5747388 140728083248224 140728083245752 4947621 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1473 763 380 0 725 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 29228
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27381
/proc/meminfo: memFree=31740288/32770624 swapFree=0/329412
[pid=27362] ppid=27359 vsize=29228 CPUtime=162.19 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 6607 0 0 0 16219 0 0 0 20 0 1 0 5664924 29929472 1473 18446744073709551615 4194304 5747388 140728083248224 140728083245752 4947288 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1473 763 380 0 725 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 29228
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27444
/proc/meminfo: memFree=31742752/32770624 swapFree=0/329436
[pid=27362] ppid=27359 vsize=29228 CPUtime=222.2 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 7229 0 0 0 22220 0 0 0 20 0 1 0 5664924 29929472 1473 18446744073709551615 4194304 5747388 140728083248224 140728083245752 4949024 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1473 763 380 0 725 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 29228
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27446
/proc/meminfo: memFree=31745068/32770624 swapFree=0/329540
[pid=27362] ppid=27359 vsize=29228 CPUtime=282.19 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 7847 0 0 0 28219 0 0 0 20 0 1 0 5664924 29929472 1473 18446744073709551615 4194304 5747388 140728083248224 140728083245752 5025413 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1473 763 380 0 725 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 29228
[startup+342.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/181 27448
/proc/meminfo: memFree=31744720/32770624 swapFree=0/329588
[pid=27362] ppid=27359 vsize=29228 CPUtime=342.18 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 8465 0 0 0 34218 0 0 0 20 0 1 0 5664924 29929472 1473 18446744073709551615 4194304 5747388 140728083248224 140728083245752 5025409 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1473 763 380 0 725 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 29228
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/182 27450
/proc/meminfo: memFree=31744584/32770624 swapFree=0/329600
[pid=27362] ppid=27359 vsize=29228 CPUtime=402.18 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 9083 0 0 0 40218 0 0 0 20 0 1 0 5664924 29929472 1473 18446744073709551615 4194304 5747388 140728083248224 140728083245752 4947676 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1473 763 380 0 725 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 29228
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 27452
/proc/meminfo: memFree=31744992/32770624 swapFree=0/329628
[pid=27362] ppid=27359 vsize=29228 CPUtime=462.18 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 9701 0 0 0 46218 0 0 0 20 0 1 0 5664924 29929472 1473 18446744073709551615 4194304 5747388 140728083248224 140728083245752 4872960 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1473 763 380 0 725 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 29228
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27453
/proc/meminfo: memFree=31745152/32770624 swapFree=0/329660
[pid=27362] ppid=27359 vsize=29228 CPUtime=522.17 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 10324 0 0 0 52217 0 0 0 20 0 1 0 5664924 29929472 1473 18446744073709551615 4194304 5747388 140728083248224 140728083245752 5025409 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1473 763 380 0 725 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 29228
[startup+582.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 27455
/proc/meminfo: memFree=31744904/32770624 swapFree=0/329688
[pid=27362] ppid=27359 vsize=29228 CPUtime=582.17 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 10941 0 0 0 58217 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083245752 5133818 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 29228
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 27542
/proc/meminfo: memFree=31741428/32770624 swapFree=0/330308
[pid=27362] ppid=27359 vsize=29228 CPUtime=1542.13 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 19098 0 0 0 154213 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 5025409 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 29228
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 27544
/proc/meminfo: memFree=31741800/32770624 swapFree=0/330336
[pid=27362] ppid=27359 vsize=29228 CPUtime=1602.12 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 19417 0 0 0 160212 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 4947292 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 29228
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 27546
/proc/meminfo: memFree=31742172/32770624 swapFree=0/330368
[pid=27362] ppid=27359 vsize=29228 CPUtime=1662.12 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 20034 0 0 0 166212 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 5025344 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 1662.12
Current children cumulated vsize (KiB) 29228
[startup+1722.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/181 27548
/proc/meminfo: memFree=31742420/32770624 swapFree=0/330388
[pid=27362] ppid=27359 vsize=29228 CPUtime=1722.12 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 20371 0 0 0 172212 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 4947292 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 29228
[startup+1782.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 27550
/proc/meminfo: memFree=31741956/32770624 swapFree=0/330420
[pid=27362] ppid=27359 vsize=29228 CPUtime=1782.12 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 20717 0 0 0 178212 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 5025407 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 29228
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 27552
/proc/meminfo: memFree=31742528/32770624 swapFree=0/330444
[pid=27362] ppid=27359 vsize=29228 CPUtime=1842.11 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 21298 0 0 0 184211 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 4947305 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 1842.11
Current children cumulated vsize (KiB) 29228
[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 27555
/proc/meminfo: memFree=31742216/32770624 swapFree=0/330476
[pid=27362] ppid=27359 vsize=29228 CPUtime=1902.11 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 21619 0 0 0 190211 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 4947720 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 29228
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 27572
/proc/meminfo: memFree=31737908/32770624 swapFree=0/330532
[pid=27362] ppid=27359 vsize=29228 CPUtime=1962.11 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 21966 0 0 0 196211 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 4949511 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 1962.11
Current children cumulated vsize (KiB) 29228
[startup+2022.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/186 27574
/proc/meminfo: memFree=31738256/32770624 swapFree=0/330564
[pid=27362] ppid=27359 vsize=29228 CPUtime=2022.1 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 22584 0 0 0 202210 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 4947445 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 2022.1
Current children cumulated vsize (KiB) 29228
[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 27576
/proc/meminfo: memFree=31741280/32770624 swapFree=0/330600
[pid=27362] ppid=27359 vsize=29228 CPUtime=2082.11 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 22920 0 0 0 208211 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 4947432 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 29228
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 27578
/proc/meminfo: memFree=31741640/32770624 swapFree=0/330628
[pid=27362] ppid=27359 vsize=29228 CPUtime=2142.1 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 23257 0 0 0 214210 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 4947295 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 29228
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 27580
/proc/meminfo: memFree=31742876/32770624 swapFree=0/330660
[pid=27362] ppid=27359 vsize=29228 CPUtime=2202.1 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 23875 0 0 0 220210 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 4947288 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 29228
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 27582
/proc/meminfo: memFree=31742768/32770624 swapFree=0/330696
[pid=27362] ppid=27359 vsize=29228 CPUtime=2262.09 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 24207 0 0 0 226209 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 4947288 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 29228
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27584
/proc/meminfo: memFree=31742912/32770624 swapFree=0/330728
[pid=27362] ppid=27359 vsize=29228 CPUtime=2322.09 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 24545 0 0 0 232209 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 4947292 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 29228
[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 27586
/proc/meminfo: memFree=31743012/32770624 swapFree=0/330752
[pid=27362] ppid=27359 vsize=29228 CPUtime=2382.09 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 24895 0 0 0 238209 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 5025392 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 2382.09
Current children cumulated vsize (KiB) 29228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 27588
/proc/meminfo: memFree=31743264/32770624 swapFree=0/330776
[pid=27362] ppid=27359 vsize=29228 CPUtime=2400.09 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 25215 0 0 0 240009 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 4949032 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 29228
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 27362 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 27588
/proc/meminfo: memFree=31743264/32770624 swapFree=0/330776
[pid=27362] ppid=27359 vsize=29228 CPUtime=2400.09 cores=1,3,5,7
/proc/27362/stat : 27362 (cosoco) R 27359 27362 20633 0 -1 4202496 25215 0 0 0 240009 0 0 0 20 0 1 0 5664924 29929472 1474 18446744073709551615 4194304 5747388 140728083248224 140728083235496 4949032 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 19267584 140728083255791 140728083255886 140728083255886 140728083259342 0
/proc/27362/statm: 7307 1474 763 380 0 725 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 29228
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.1
CPU user time (s): 2400.1
CPU system time (s): 0.006999
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 29228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.1
system time used= 0.006999
maximum resident set size= 5972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25319
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= 10
involuntary context switches= 603
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79164 second user time and 7.47633 second system time
The end