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 (15231 MiB free)
memory of node 1: 16384 MiB (15618 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409011-1569792538/watcher-4409011-1569792538 -o /tmp/evaluation-result-4409011-1569792538/solver-4409011-1569792538 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1569783707-21611 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409011-1569792538.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22508, runsolver pid=22505
[startup+0.100159 s]*
/proc/loadavg: 2.01 2.03 2.02 3/198 22509
/proc/meminfo: memFree=31589212/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=28956 memory=5372 CPUtime=0.1 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 1546 0 0 0 10 0 0 0 20 0 1 0 555507513 29650944 1343 33554432000 4194304 6211132 140728770958128 140728770954664 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 7239 1343 846 493 0 544 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28956 KiB
Current children cumulated memory: 5372 KiB
[startup+0.209785 s]*
/proc/loadavg: 2.01 2.03 2.02 3/198 22509
/proc/meminfo: memFree=31588468/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=29748 memory=6164 CPUtime=0.21 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 1752 0 0 0 21 0 0 0 20 0 1 0 555507513 30461952 1541 33554432000 4194304 6211132 140728770958128 140728770954664 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 7437 1541 846 493 0 742 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29748 KiB
Current children cumulated memory: 6164 KiB
[startup+0.309196 s]*
/proc/loadavg: 2.01 2.03 2.02 3/198 22509
/proc/meminfo: memFree=31587724/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=30540 memory=6956 CPUtime=0.31 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 1939 0 0 0 31 0 0 0 20 0 1 0 555507513 31272960 1739 33554432000 4194304 6211132 140728770958128 140728770954664 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 7635 1739 846 493 0 940 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30540 KiB
Current children cumulated memory: 6956 KiB
[startup+0.700295 s]
/proc/loadavg: 2.01 2.03 2.02 3/198 22509
/proc/meminfo: memFree=31585864/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=33444 memory=9860 CPUtime=0.69 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 2661 0 0 0 69 0 0 0 20 0 1 0 555507513 34246656 2465 33554432000 4194304 6211132 140728770958128 140728770954664 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 8361 2465 846 493 0 1666 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 9860 KiB
[startup+1.50028 s]
/proc/loadavg: 2.01 2.03 2.02 3/198 22509
/proc/meminfo: memFree=31582144/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=39384 memory=15932 CPUtime=1.49 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 4172 0 0 0 149 0 0 0 20 0 1 0 555507513 40329216 3983 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 9846 3983 846 493 0 3151 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39384 KiB
Current children cumulated memory: 15932 KiB
[startup+3.10926 s]
/proc/loadavg: 2.01 2.03 2.02 3/198 22509
/proc/meminfo: memFree=31566892/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=51608 memory=28092 CPUtime=3.1 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 7397 0 0 0 309 1 0 0 20 0 1 0 555507513 52846592 7023 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 12902 7023 846 493 0 6207 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 51608 KiB
Current children cumulated memory: 28092 KiB
[startup+6.30027 s]
/proc/loadavg: 2.01 2.03 2.02 3/198 22509
/proc/meminfo: memFree=31544332/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=75624 memory=52200 CPUtime=6.29 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 13592 0 0 0 627 2 0 0 20 0 1 0 555507513 77438976 13050 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 18906 13050 846 493 0 12211 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 75624 KiB
Current children cumulated memory: 52200 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.02 3/198 22509
/proc/meminfo: memFree=31499472/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=124120 memory=100372 CPUtime=12.69 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 25836 0 0 0 1266 3 0 0 20 0 1 0 555507513 127098880 25093 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 31030 25093 846 493 0 24335 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 124120 KiB
Current children cumulated memory: 100372 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.02 3/198 22510
/proc/meminfo: memFree=31401624/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=220368 memory=196884 CPUtime=25.49 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 50315 0 0 0 2542 7 0 0 20 0 1 0 555507513 225656832 49221 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 55092 49221 846 493 0 48397 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 220368 KiB
Current children cumulated memory: 196884 KiB
[startup+51.1093 s]
/proc/loadavg: 2.16 2.06 2.04 3/198 22513
/proc/meminfo: memFree=31205144/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=413628 memory=389804 CPUtime=51.1 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 98725 0 0 0 5096 14 0 0 20 0 1 0 555507513 423555072 97451 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 103407 97451 846 493 0 96712 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 413628 KiB
Current children cumulated memory: 389804 KiB
[startup+102.3 s]
/proc/loadavg: 2.41 2.15 2.07 3/198 22517
/proc/meminfo: memFree=30820116/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=800412 memory=775768 CPUtime=102.28 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 195396 0 0 0 10203 25 0 0 20 0 1 0 555507513 819621888 193942 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 200103 193942 846 493 0 193408 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 800412 KiB
Current children cumulated memory: 775768 KiB
[startup+162.3 s]
/proc/loadavg: 2.15 2.13 2.06 3/199 22529
/proc/meminfo: memFree=30365968/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=1252824 memory=1227984 CPUtime=162.27 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 308449 0 0 0 16186 41 0 0 20 0 1 0 555507513 1282891776 306996 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 313206 306996 846 493 0 306511 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1252824 KiB
Current children cumulated memory: 1227984 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.10 2.06 3/199 22535
/proc/meminfo: memFree=29913168/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=1706712 memory=1680504 CPUtime=222.26 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 421570 0 0 0 22168 58 0 0 20 0 1 0 555507513 1747673088 420126 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 426678 420126 846 493 0 419983 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 1706712 KiB
Current children cumulated memory: 1680504 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.08 2.05 3/199 22539
/proc/meminfo: memFree=29460524/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=2157096 memory=2133456 CPUtime=282.25 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 534297 0 0 0 28152 73 0 0 20 0 1 0 555507513 2208866304 533364 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 539274 533364 846 493 0 532579 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2157096 KiB
Current children cumulated memory: 2133456 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.07 2.05 3/199 22543
/proc/meminfo: memFree=29006348/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=2612340 memory=2585072 CPUtime=342.24 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 647228 0 0 0 34136 88 0 0 20 0 1 0 555507513 2675036160 646268 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 653085 646268 846 493 0 646390 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2612340 KiB
Current children cumulated memory: 2585072 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/199 22549
/proc/meminfo: memFree=28552956/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=3062328 memory=3037640 CPUtime=402.22 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 760071 0 0 0 40119 103 0 0 20 0 1 0 555507513 3135823872 759410 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 765582 759410 846 493 0 758887 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 3062328 KiB
Current children cumulated memory: 3037640 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/198 22553
/proc/meminfo: memFree=28100852/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=3519740 memory=3489060 CPUtime=462.21 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 873064 0 0 0 46102 119 0 0 20 0 1 0 555507513 3604213760 872265 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 879935 872265 846 493 0 873240 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 3519740 KiB
Current children cumulated memory: 3489060 KiB
################
# More data... #
################
Current children cumulated vsize: 11639632 KiB
Current children cumulated memory: 11615488 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22740
/proc/meminfo: memFree=13831644/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=12113300 memory=12067660 CPUtime=1602.01 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 3020745 0 0 0 159709 492 0 0 20 0 1 0 555507513 12404019200 3016915 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 3028325 3016915 846 493 0 3021630 0
Current children cumulated CPU time: 1602.01 s
Current children cumulated vsize: 12113300 KiB
Current children cumulated memory: 12067660 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 22747
/proc/meminfo: memFree=12593932/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=12562496 memory=12518880 CPUtime=1661.99 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 3133934 0 0 0 165682 517 0 0 20 0 1 0 555507513 12863995904 3129720 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 3140624 3129720 846 493 0 3133929 0
Current children cumulated CPU time: 1661.99 s
Current children cumulated vsize: 12562496 KiB
Current children cumulated memory: 12518880 KiB
[startup+1722.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/198 22751
/proc/meminfo: memFree=11354732/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=13011164 memory=12969736 CPUtime=1721.98 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 3246847 0 0 0 171657 541 0 0 20 0 1 0 555507513 13323431936 3242434 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 3252791 3242434 846 493 0 3246096 0
Current children cumulated CPU time: 1721.98 s
Current children cumulated vsize: 13011164 KiB
Current children cumulated memory: 12969736 KiB
[startup+1782.3 s]
/proc/loadavg: 2.23 2.12 2.08 3/198 22755
/proc/meminfo: memFree=10118528/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=13459832 memory=13420552 CPUtime=1781.97 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 3359755 0 0 0 177634 563 0 0 20 0 1 0 555507513 13782867968 3355138 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 3364958 3355138 846 493 0 3358263 0
Current children cumulated CPU time: 1781.97 s
Current children cumulated vsize: 13459832 KiB
Current children cumulated memory: 13420552 KiB
[startup+1842.3 s]
/proc/loadavg: 2.08 2.10 2.07 3/198 22762
/proc/meminfo: memFree=8879860/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=13908896 memory=13869516 CPUtime=1841.96 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 3472884 0 0 0 183611 585 0 0 20 0 1 0 555507513 14242709504 3467379 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 3477224 3467379 846 493 0 3470529 0
Current children cumulated CPU time: 1841.96 s
Current children cumulated vsize: 13908896 KiB
Current children cumulated memory: 13869516 KiB
[startup+1902.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/198 22766
/proc/meminfo: memFree=7642552/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=14357564 memory=14320376 CPUtime=1901.95 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 3585780 0 0 0 189589 606 0 0 20 0 1 0 555507513 14702145536 3580094 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 3589391 3580094 846 493 0 3582696 0
Current children cumulated CPU time: 1901.95 s
Current children cumulated vsize: 14357564 KiB
Current children cumulated memory: 14320376 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/198 22777
/proc/meminfo: memFree=6401860/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=14806224 memory=14770916 CPUtime=1961.95 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 3698646 0 0 0 195563 632 0 0 20 0 1 0 555507513 15161573376 3692729 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 3701556 3692729 846 493 0 3694861 0
Current children cumulated CPU time: 1961.95 s
Current children cumulated vsize: 14806224 KiB
Current children cumulated memory: 14770916 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/198 22805
/proc/meminfo: memFree=5164884/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=15254628 memory=15221380 CPUtime=2021.94 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 3811662 0 0 0 201539 655 0 0 20 0 1 0 555507513 15620739072 3805345 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 3813657 3805345 846 493 0 3806962 0
Current children cumulated CPU time: 2021.94 s
Current children cumulated vsize: 15254628 KiB
Current children cumulated memory: 15221380 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/198 22809
/proc/meminfo: memFree=3925096/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=15703296 memory=15672076 CPUtime=2081.93 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 3924729 0 0 0 207514 679 0 0 20 0 1 0 555507513 16080175104 3918019 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 3925824 3918019 846 493 0 3919129 0
Current children cumulated CPU time: 2081.93 s
Current children cumulated vsize: 15703296 KiB
Current children cumulated memory: 15672076 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2104.9 s]
/proc/loadavg: 2.00 2.04 2.05 3/198 22809
/proc/meminfo: memFree=3471556/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=15872256 memory=15843132 CPUtime=2104.53 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 4202496 3967147 0 0 0 209764 689 0 0 20 0 1 0 555507513 16253190144 3960783 33554432000 4194304 6211132 140728770958128 140728770817416 139989187161061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 3968064 3960783 846 493 0 3961369 0
Current children cumulated CPU time: 2104.53 s
Current children cumulated vsize: 15872256 KiB
Current children cumulated memory: 15843132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2107.6 s]
# the end of solver process 22508 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2097.84 s, system=7.60514 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2105.6 s]
/proc/loadavg: 2.00 2.04 2.05 2/199 22810
/proc/meminfo: memFree=3449016/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=15872256 memory=15843132 CPUtime=2104.55 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 512 3967151 0 0 0 209766 689 0 0 20 0 1 0 555507513 16253190144 3960783 33554432000 4194304 6211132 140728770958128 140728770817416 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 3968064 3960783 846 493 0 3961369 0
Current children cumulated CPU time: 2104.55 s
Current children cumulated vsize: 15872256 KiB
Current children cumulated memory: 15843132 KiB
[startup+2106.4 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 22810
/proc/meminfo: memFree=3161584/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=15872256 memory=15843132 CPUtime=2104.66 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) R 22505 22508 21579 0 -1 512 3967151 0 0 0 209777 689 0 0 20 0 1 0 555507513 16253190144 3960783 33554432000 4194304 6211132 140728770958128 140728770817416 5189800 0 16384 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 3968064 3960783 846 493 0 3961369 0
Current children cumulated CPU time: 2104.66 s
Current children cumulated vsize: 15872256 KiB
Current children cumulated memory: 15843132 KiB
[startup+2106.8 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 22810
/proc/meminfo: memFree=3161584/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=15872256 memory=15843132 CPUtime=2104.72 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) S 22505 22508 21579 0 -1 512 3967151 0 0 0 209782 690 0 0 20 0 1 0 555507513 16253190144 3960783 33554432000 4194304 6211132 140728770958128 140728770817416 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 3968064 3960783 846 493 0 3961369 0
Current children cumulated CPU time: 2104.72 s
Current children cumulated vsize: 15872256 KiB
Current children cumulated memory: 15843132 KiB
[startup+2106.9 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 22810
/proc/meminfo: memFree=3161584/32770624 swapFree=67000008/67108860
[pid=22508] ppid=22505 vsize=15872256 memory=15843132 CPUtime=2104.73 cores=1,3,5,7
/proc/22508/stat : 22508 (cosoco) S 22505 22508 21579 0 -1 512 3967151 0 0 0 209783 690 0 0 20 0 1 0 555507513 16253190144 3960783 33554432000 4194304 6211132 140728770958128 140728770817416 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 12754944 140728770966539 140728770966641 140728770966641 140728770969550 0
/proc/22508/statm: 3968064 3960783 846 493 0 3961369 0
Current children cumulated CPU time: 2104.73 s
Current children cumulated vsize: 15872256 KiB
Current children cumulated memory: 15843132 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2107.6
CPU time (s): 2105.44
CPU user time (s): 2097.84
CPU system time (s): 7.60514
CPU usage (%): 99.8978
Max. virtual memory (cumulated for all children) (KiB): 15872256
Max. memory (cumulated for all children) (KiB): 15843132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2097.84
system time used= 7.60514
maximum resident set size= 15843244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3967151
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= 89800
involuntary context switches= 1199
# summary of solver processes directly reported to runsolver:
# pid: 22508
# total CPU time (s): 2105.44
# total CPU user time (s): 2097.84
# total CPU system time (s): 7.60514
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32906 second user time and 14.0073 second system time
The end