runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15331 MiB free)
memory of node 1: 16384 MiB (11278 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390410-1568354581/watcher-4390410-1568354581 -o /tmp/evaluation-result-4390410-1568354581/solver-4390410-1568354581 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568343260-21020 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390410-1568354581.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22384, runsolver pid=22381
Current StackSize limit: 8192 KiB
[startup+0.100201 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 22385
/proc/meminfo: memFree=27236588/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=39152 memory=15224 CPUtime=0.1 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 4007 0 0 0 10 0 0 0 20 0 1 0 411716484 40091648 3806 33554432000 4194304 6210612 140730932331424 140730932327960 139793957389440 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 9788 3806 809 493 0 3093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 15224 KiB
[startup+0.209808 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 22385
/proc/meminfo: memFree=27233612/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=40728 memory=16872 CPUtime=0.2 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 4430 0 0 0 20 0 0 0 20 0 1 0 411716484 41705472 4218 33554432000 4194304 6210612 140730932331424 140730932327960 5012560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 10182 4218 819 493 0 3487 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16872 KiB
[startup+0.309078 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 22385
/proc/meminfo: memFree=27232124/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=41712 memory=17928 CPUtime=0.3 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 4682 0 0 0 30 0 0 0 20 0 1 0 411716484 42713088 4482 33554432000 4194304 6210612 140730932331424 140730932327960 139793941326821 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 10428 4482 819 493 0 3733 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17928 KiB
[startup+0.700342 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 22385
/proc/meminfo: memFree=27227660/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=45708 memory=21992 CPUtime=0.69 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 5666 0 0 0 68 1 0 0 20 0 1 0 411716484 46804992 5498 33554432000 4194304 6210612 140730932331424 140730932327960 139793941326821 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 11427 5498 819 493 0 4732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21992 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 22385
/proc/meminfo: memFree=27215628/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=54076 memory=30052 CPUtime=1.49 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 7725 0 0 0 148 1 0 0 20 0 1 0 411716484 55373824 7513 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 13519 7513 819 493 0 6824 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 30052 KiB
[startup+3.10952 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 22385
/proc/meminfo: memFree=27175252/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=70760 memory=46664 CPUtime=3.1 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 12037 0 0 0 309 1 0 0 20 0 1 0 411716484 72458240 11666 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 17690 11666 819 493 0 10995 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70760 KiB
Current children cumulated memory: 46664 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 22385
/proc/meminfo: memFree=27113608/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=104172 memory=79580 CPUtime=6.29 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 20421 0 0 0 627 2 0 0 20 0 1 0 411716484 106672128 19895 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 26043 19895 819 493 0 19348 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104172 KiB
Current children cumulated memory: 79580 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 22385
/proc/meminfo: memFree=26989172/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=169500 memory=145464 CPUtime=12.69 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 37058 0 0 0 1264 5 0 0 20 0 1 0 411716484 173568000 36366 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 42375 36366 819 493 0 35680 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 169500 KiB
Current children cumulated memory: 145464 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 22385
/proc/meminfo: memFree=26719480/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=302412 memory=277152 CPUtime=25.49 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 70326 0 0 0 2539 10 0 0 20 0 1 0 411716484 309669888 69288 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 75603 69288 819 493 0 68908 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 302412 KiB
Current children cumulated memory: 277152 KiB
[startup+51.1096 s]
/proc/loadavg: 1.93 2.01 2.04 3/200 22388
/proc/meminfo: memFree=26180256/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=569852 memory=542272 CPUtime=51.1 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 135233 0 0 0 5092 18 0 0 20 0 1 0 411716484 583528448 135568 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 142463 135568 819 493 0 135768 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 569852 KiB
Current children cumulated memory: 542272 KiB
[startup+102.3 s]
/proc/loadavg: 2.37 2.11 2.07 3/201 22393
/proc/meminfo: memFree=25120888/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=1107768 memory=1067524 CPUtime=102.3 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 263689 0 0 0 10195 35 0 0 20 0 1 0 411716484 1134354432 266881 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 276942 266881 819 493 0 270247 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 1107768 KiB
Current children cumulated memory: 1067524 KiB
[startup+162.3 s]
/proc/loadavg: 2.32 2.16 2.09 3/201 22397
/proc/meminfo: memFree=23876036/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=1730728 memory=1686060 CPUtime=162.29 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 414194 0 0 0 16176 53 0 0 20 0 1 0 411716484 1772265472 421515 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 432682 421515 819 493 0 425987 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 1730728 KiB
Current children cumulated memory: 1686060 KiB
[startup+222.3 s]
/proc/loadavg: 2.12 2.13 2.09 3/200 22403
/proc/meminfo: memFree=22628552/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=2329084 memory=2304988 CPUtime=222.3 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 563806 0 0 0 22157 73 0 0 20 0 1 0 411716484 2384982016 576247 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 582271 576247 819 493 0 575576 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2329084 KiB
Current children cumulated memory: 2304988 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.11 2.08 3/199 22407
/proc/meminfo: memFree=21382632/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=2964220 memory=2921676 CPUtime=282.31 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 714093 0 0 0 28138 93 0 0 20 0 1 0 411716484 3035361280 730419 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 741055 730419 819 493 0 734360 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2964220 KiB
Current children cumulated memory: 2921676 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.09 2.07 3/199 22411
/proc/meminfo: memFree=20139700/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=3562444 memory=3538248 CPUtime=342.31 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 863984 0 0 0 34118 113 0 0 20 0 1 0 411716484 3647942656 884562 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 890611 884562 819 493 0 883916 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 3562444 KiB
Current children cumulated memory: 3538248 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/198 22417
/proc/meminfo: memFree=18892076/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=4215900 memory=4156772 CPUtime=402.32 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 1014544 0 0 0 40097 135 0 0 20 0 1 0 411716484 4317081600 1039193 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 1053975 1039193 819 493 0 1047280 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 4215900 KiB
Current children cumulated memory: 4156772 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/198 22421
/proc/meminfo: memFree=17648448/32770624 swapFree=66935844/67108860
[pid=22384] ppid=22381 vsize=4813860 memory=4773188 CPUtime=462.33 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 1164539 0 0 0 46074 159 0 0 20 0 1 0 411716484 4929392640 1193297 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 1203465 1193297 819 493 0 1196770 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 4813860 KiB
Current children cumulated memory: 4773188 KiB
################
# More data... #
################
Current children cumulated vsize: 9205080 KiB
Current children cumulated memory: 9091336 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 22467
/proc/meminfo: memFree=7690792/32770624 swapFree=66935864/67108860
[pid=22384] ppid=22381 vsize=9802512 memory=9709268 CPUtime=942.36 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 2366378 0 0 0 93870 366 0 0 20 0 1 0 411716484 10037772288 2427317 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 2450628 2427317 819 493 0 2443933 0
Current children cumulated CPU time: 942.36 s
Current children cumulated vsize: 9802512 KiB
Current children cumulated memory: 9709268 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 22471
/proc/meminfo: memFree=6448548/32770624 swapFree=66935864/67108860
[pid=22384] ppid=22381 vsize=10399812 memory=10324840 CPUtime=1002.37 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 2516560 0 0 0 99843 394 0 0 20 0 1 0 411716484 10649407488 2581210 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 2599953 2581210 819 493 0 2593258 0
Current children cumulated CPU time: 1002.37 s
Current children cumulated vsize: 10399812 KiB
Current children cumulated memory: 10324840 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 22475
/proc/meminfo: memFree=5204048/32770624 swapFree=66935864/67108860
[pid=22384] ppid=22381 vsize=10996980 memory=10942460 CPUtime=1062.37 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 2666720 0 0 0 105815 422 0 0 20 0 1 0 411716484 11260907520 2735615 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 2749245 2735615 819 493 0 2742550 0
Current children cumulated CPU time: 1062.37 s
Current children cumulated vsize: 10996980 KiB
Current children cumulated memory: 10942460 KiB
[startup+1122.3 s]
/proc/loadavg: 2.51 2.15 2.09 3/200 22555
/proc/meminfo: memFree=20069376/32770624 swapFree=66935872/67108860
[pid=22384] ppid=22381 vsize=11594280 memory=11558440 CPUtime=1122.36 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 2816568 0 0 0 111786 450 0 0 20 0 1 0 411716484 11872542720 2889610 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 2898570 2889610 819 493 0 2891875 0
Current children cumulated CPU time: 1122.36 s
Current children cumulated vsize: 11594280 KiB
Current children cumulated memory: 11558440 KiB
[startup+1182.3 s]
/proc/loadavg: 2.19 2.12 2.08 3/201 22560
/proc/meminfo: memFree=19448868/32770624 swapFree=66935872/67108860
[pid=22384] ppid=22381 vsize=12380548 memory=12177728 CPUtime=1182.34 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 2967552 0 0 0 117755 479 0 0 20 0 1 0 411716484 12677681152 3044432 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 3095137 3044432 819 493 0 3088442 0
Current children cumulated CPU time: 1182.34 s
Current children cumulated vsize: 12380548 KiB
Current children cumulated memory: 12177728 KiB
[startup+1242.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/201 22564
/proc/meminfo: memFree=18829992/32770624 swapFree=66935872/67108860
[pid=22384] ppid=22381 vsize=12979960 memory=12795440 CPUtime=1242.33 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 3117656 0 0 0 123724 509 0 0 20 0 1 0 411716484 13291479040 3198860 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 3244990 3198860 819 493 0 3238295 0
Current children cumulated CPU time: 1242.33 s
Current children cumulated vsize: 12979960 KiB
Current children cumulated memory: 12795440 KiB
[startup+1302.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/201 22570
/proc/meminfo: memFree=18208888/32770624 swapFree=66935872/67108860
[pid=22384] ppid=22381 vsize=13579240 memory=13415196 CPUtime=1302.32 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 3267769 0 0 0 129693 539 0 0 20 0 1 0 411716484 13905141760 3353799 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 3394810 3353799 819 493 0 3388115 0
Current children cumulated CPU time: 1302.32 s
Current children cumulated vsize: 13579240 KiB
Current children cumulated memory: 13415196 KiB
[startup+1362.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/201 22574
/proc/meminfo: memFree=17589900/32770624 swapFree=66935872/67108860
[pid=22384] ppid=22381 vsize=14178652 memory=14033172 CPUtime=1362.3 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 3417884 0 0 0 135663 567 0 0 20 0 1 0 411716484 14518939648 3508293 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 3544663 3508293 819 493 0 3537968 0
Current children cumulated CPU time: 1362.3 s
Current children cumulated vsize: 14178652 KiB
Current children cumulated memory: 14033172 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 22579
/proc/meminfo: memFree=16968824/32770624 swapFree=66935884/67108860
[pid=22384] ppid=22381 vsize=14777932 memory=14652860 CPUtime=1422.29 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 3567904 0 0 0 141631 598 0 0 20 0 1 0 411716484 15132602368 3663215 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 3694483 3663215 819 493 0 3687788 0
Current children cumulated CPU time: 1422.29 s
Current children cumulated vsize: 14777932 KiB
Current children cumulated memory: 14652860 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 22585
/proc/meminfo: memFree=16349672/32770624 swapFree=66935884/67108860
[pid=22384] ppid=22381 vsize=15377080 memory=15270316 CPUtime=1482.28 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 3717949 0 0 0 147597 631 0 0 20 0 1 0 411716484 15746129920 3817579 33554432000 4194304 6210612 140730932331424 140730932304984 139793941326821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 3844270 3817579 819 493 0 3837575 0
Current children cumulated CPU time: 1482.28 s
Current children cumulated vsize: 15377080 KiB
Current children cumulated memory: 15270316 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1532 s]*
/proc/loadavg: 2.00 2.04 2.05 3/198 22588
/proc/meminfo: memFree=15832952/32770624 swapFree=66935884/67108860
[pid=22384] ppid=22381 vsize=15873004 memory=15782760 CPUtime=1531.97 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) R 22381 22384 20989 0 -1 4202496 3842191 0 0 0 152539 658 0 0 20 0 1 0 411716484 16253956096 3945690 33554432000 4194304 6210612 140730932331424 140730932304984 139793942250706 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 3968251 3945690 819 493 0 3961556 0
Current children cumulated CPU time: 1531.97 s
Current children cumulated vsize: 15873004 KiB
Current children cumulated memory: 15782760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1534.86 s]
# the end of solver process 22384 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1525.68 s, system=7.45485 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1532.8 s]
/proc/loadavg: 2.00 2.04 2.05 3/198 22588
/proc/meminfo: memFree=15832952/32770624 swapFree=66935884/67108860
[pid=22384] ppid=22381 vsize=15873004 memory=15782760 CPUtime=1532.1 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) S 22381 22384 20989 0 -1 512 3842198 0 0 0 152551 659 0 0 20 0 1 0 411716484 16253956096 3945690 33554432000 4194304 6210612 140730932331424 140730932304984 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 3968251 3945690 819 493 0 3961556 0
Current children cumulated CPU time: 1532.1 s
Current children cumulated vsize: 15873004 KiB
Current children cumulated memory: 15782760 KiB
[startup+1533.6 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 22589
/proc/meminfo: memFree=15274060/32770624 swapFree=66935884/67108860
[pid=22384] ppid=22381 vsize=15873004 memory=15782760 CPUtime=1532.22 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) S 22381 22384 20989 0 -1 512 3842198 0 0 0 152563 659 0 0 20 0 1 0 411716484 16253956096 3945690 33554432000 4194304 6210612 140730932331424 140730932304984 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 3968251 3945690 819 493 0 3961556 0
Current children cumulated CPU time: 1532.22 s
Current children cumulated vsize: 15873004 KiB
Current children cumulated memory: 15782760 KiB
[startup+1534 s]*
/proc/loadavg: 2.00 2.04 2.05 3/199 22589
/proc/meminfo: memFree=14753192/32770624 swapFree=66935884/67108860
[pid=22384] ppid=22381 vsize=15873004 memory=15782760 CPUtime=1532.28 cores=0,2,4,6
/proc/22384/stat : 22384 (cosoco) S 22381 22384 20989 0 -1 512 3842198 0 0 0 152568 660 0 0 20 0 1 0 411716484 16253956096 3945690 33554432000 4194304 6210612 140730932331424 140730932304984 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 16191488 140730932339723 140730932339825 140730932339825 140730932342734 0
/proc/22384/statm: 3968251 3945690 819 493 0 3961556 0
Current children cumulated CPU time: 1532.28 s
Current children cumulated vsize: 15873004 KiB
Current children cumulated memory: 15782760 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1534.86
CPU time (s): 1533.14
CPU user time (s): 1525.68
CPU system time (s): 7.45485
CPU usage (%): 99.8878
Max. virtual memory (cumulated for all children) (KiB): 15873004
Max. memory (cumulated for all children) (KiB): 15782760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1525.68
system time used= 7.45485
maximum resident set size= 15782864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3842198
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= 132545
involuntary context switches= 1905
# summary of solver processes directly reported to runsolver:
# pid: 22384
# total CPU time (s): 1533.14
# total CPU user time (s): 1525.68
# total CPU system time (s): 7.45485
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02496 second user time and 10.1165 second system time
The end