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 (4365 MiB free)
memory of node 1: 16384 MiB (15682 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389813-1568360293/watcher-4389813-1568360293 -o /tmp/evaluation-result-4389813-1568360293/solver-4389813-1568360293 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568352647-26641 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389813-1568360293.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=28337, runsolver pid=28334
Current StackSize limit: 8192 KiB
[startup+0.10015 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 28338
/proc/meminfo: memFree=20525524/32770624 swapFree=66980436/67108860
[pid=28337] ppid=28334 vsize=29736 memory=6180 CPUtime=0.1 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 1731 0 0 0 10 0 0 0 20 0 1 0 412291992 30449664 1545 33554432000 4194304 6210612 140730350049808 140730350046344 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 7434 1545 849 493 0 739 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29736 KiB
Current children cumulated memory: 6180 KiB
[startup+0.209369 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 28338
/proc/meminfo: memFree=20522920/32770624 swapFree=66980436/67108860
[pid=28337] ppid=28334 vsize=31080 memory=7500 CPUtime=0.21 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 2064 0 0 0 21 0 0 0 20 0 1 0 412291992 31825920 1875 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 7770 1875 849 493 0 1075 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31080 KiB
Current children cumulated memory: 7500 KiB
[startup+0.308872 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 28338
/proc/meminfo: memFree=20520764/32770624 swapFree=66980436/67108860
[pid=28337] ppid=28334 vsize=32308 memory=8820 CPUtime=0.31 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 2368 0 0 0 31 0 0 0 20 0 1 0 412291992 33083392 2205 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 8077 2205 849 493 0 1382 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32308 KiB
Current children cumulated memory: 8820 KiB
[startup+0.700291 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28338
/proc/meminfo: memFree=20516176/32770624 swapFree=66980436/67108860
[pid=28337] ppid=28334 vsize=37008 memory=13336 CPUtime=0.69 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 3543 0 0 0 69 0 0 0 20 0 1 0 412291992 37896192 3334 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 9252 3334 849 493 0 2557 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37008 KiB
Current children cumulated memory: 13336 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28338
/proc/meminfo: memFree=20505264/32770624 swapFree=66980436/67108860
[pid=28337] ppid=28334 vsize=46896 memory=23128 CPUtime=1.49 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 5996 0 0 0 149 0 0 0 20 0 1 0 412291992 48021504 5782 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 11724 5782 849 493 0 5029 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46896 KiB
Current children cumulated memory: 23128 KiB
[startup+3.10912 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28338
/proc/meminfo: memFree=20458884/32770624 swapFree=66980436/67108860
[pid=28337] ppid=28334 vsize=66964 memory=42892 CPUtime=3.09 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 11049 0 0 0 308 1 0 0 20 0 1 0 412291992 68571136 10723 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 16741 10723 849 493 0 10046 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 66964 KiB
Current children cumulated memory: 42892 KiB
[startup+6.30027 s]
/proc/loadavg: 2.16 2.05 2.06 3/199 28338
/proc/meminfo: memFree=20391908/32770624 swapFree=66980436/67108860
[pid=28337] ppid=28334 vsize=107036 memory=81952 CPUtime=6.28 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 20954 0 0 0 626 2 0 0 20 0 1 0 412291992 109604864 20488 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 26759 20488 849 493 0 20064 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 107036 KiB
Current children cumulated memory: 81952 KiB
[startup+12.7003 s]
/proc/loadavg: 2.15 2.05 2.06 3/199 28338
/proc/meminfo: memFree=20255408/32770624 swapFree=66980436/67108860
[pid=28337] ppid=28334 vsize=184752 memory=160368 CPUtime=12.69 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 40675 0 0 0 1264 5 0 0 20 0 1 0 412291992 189186048 40092 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 46188 40092 849 493 0 39493 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 184752 KiB
Current children cumulated memory: 160368 KiB
[startup+25.5003 s]
/proc/loadavg: 2.12 2.04 2.05 3/199 28340
/proc/meminfo: memFree=19960116/32770624 swapFree=66980436/67108860
[pid=28337] ppid=28334 vsize=343048 memory=317452 CPUtime=25.49 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 79174 0 0 0 2540 9 0 0 20 0 1 0 412291992 351281152 79363 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 85762 79363 849 493 0 79067 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 343048 KiB
Current children cumulated memory: 317452 KiB
[startup+51.1091 s]
/proc/loadavg: 2.08 2.04 2.05 3/199 28340
/proc/meminfo: memFree=19372672/32770624 swapFree=66980436/67108860
[pid=28337] ppid=28334 vsize=663184 memory=632860 CPUtime=51.1 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 155579 0 0 0 5090 20 0 0 20 0 1 0 412291992 679100416 158215 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 165796 158215 849 493 0 159101 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 663184 KiB
Current children cumulated memory: 632860 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/199 28344
/proc/meminfo: memFree=18218452/32770624 swapFree=66980436/67108860
[pid=28337] ppid=28334 vsize=1304972 memory=1258548 CPUtime=102.28 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 306884 0 0 0 10190 38 0 0 20 0 1 0 412291992 1336291328 314637 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 326243 314637 849 493 0 319548 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1304972 KiB
Current children cumulated memory: 1258548 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 28358
/proc/meminfo: memFree=16856152/32770624 swapFree=66980444/67108860
[pid=28337] ppid=28334 vsize=2046836 memory=1995976 CPUtime=162.27 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 483080 0 0 0 16168 59 0 0 20 0 1 0 412291992 2095960064 498994 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 511709 498994 849 493 0 505014 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2046836 KiB
Current children cumulated memory: 1995976 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 28362
/proc/meminfo: memFree=15501164/32770624 swapFree=66980444/67108860
[pid=28337] ppid=28334 vsize=2803648 memory=2728628 CPUtime=222.27 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 659290 0 0 0 22146 81 0 0 20 0 1 0 412291992 2870935552 682157 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 700912 682157 849 493 0 694217 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2803648 KiB
Current children cumulated memory: 2728628 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 28366
/proc/meminfo: memFree=14143044/32770624 swapFree=66980444/67108860
[pid=28337] ppid=28334 vsize=3505228 memory=3463992 CPUtime=282.27 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 835090 0 0 0 28124 103 0 0 20 0 1 0 412291992 3589353472 865998 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 876307 865998 849 493 0 869612 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 3505228 KiB
Current children cumulated memory: 3463992 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28372
/proc/meminfo: memFree=12785976/32770624 swapFree=66980444/67108860
[pid=28337] ppid=28334 vsize=4294448 memory=4198624 CPUtime=342.26 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 1011489 0 0 0 34100 126 0 0 20 0 1 0 412291992 4397514752 1049656 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 1073612 1049656 849 493 0 1066917 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 4294448 KiB
Current children cumulated memory: 4198624 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28376
/proc/meminfo: memFree=11426264/32770624 swapFree=66980444/67108860
[pid=28337] ppid=28334 vsize=4995896 memory=4935192 CPUtime=402.26 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 1187294 0 0 0 40073 153 0 0 20 0 1 0 412291992 5115797504 1233798 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 1248974 1233798 849 493 0 1242279 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 4995896 KiB
Current children cumulated memory: 4935192 KiB
[startup+462.3 s]
/proc/loadavg: 2.16 2.05 2.06 2/193 28427
/proc/meminfo: memFree=25565104/32770624 swapFree=66980456/67108860
[pid=28337] ppid=28334 vsize=5697476 memory=5669432 CPUtime=462.24 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 1363084 0 0 0 46045 179 0 0 20 0 1 0 412291992 5834215424 1417358 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 1424369 1417358 849 493 0 1417674 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 5697476 KiB
Current children cumulated memory: 5669432 KiB
################
# More data... #
################
Current children cumulated vsize: 9526172 KiB
Current children cumulated memory: 9352792 KiB
[startup+822.3 s]
/proc/loadavg: 1.00 1.31 1.72 2/192 28465
/proc/meminfo: memFree=21566948/32770624 swapFree=66980956/67108860
[pid=28337] ppid=28334 vsize=10229336 memory=10090828 CPUtime=822.11 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 2419753 0 0 0 81870 341 0 0 20 0 1 0 412291992 10474840064 2522707 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 2557334 2522707 849 493 0 2550639 0
Current children cumulated CPU time: 822.11 s
Current children cumulated vsize: 10229336 KiB
Current children cumulated memory: 10090828 KiB
[startup+882.3 s]
/proc/loadavg: 1.00 1.26 1.67 2/192 28471
/proc/meminfo: memFree=20828052/32770624 swapFree=66980956/67108860
[pid=28337] ppid=28334 vsize=10932500 memory=10827040 CPUtime=882.08 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 2595719 0 0 0 87841 367 0 0 20 0 1 0 412291992 11194880000 2706760 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 2733125 2706760 849 493 0 2726430 0
Current children cumulated CPU time: 882.08 s
Current children cumulated vsize: 10932500 KiB
Current children cumulated memory: 10827040 KiB
[startup+942.3 s]
/proc/loadavg: 1.00 1.21 1.63 2/192 28475
/proc/meminfo: memFree=20090732/32770624 swapFree=66980956/67108860
[pid=28337] ppid=28334 vsize=11635532 memory=11563276 CPUtime=942.06 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 2771621 0 0 0 93811 395 0 0 20 0 1 0 412291992 11914784768 2890819 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 2908883 2890819 849 493 0 2902188 0
Current children cumulated CPU time: 942.06 s
Current children cumulated vsize: 11635532 KiB
Current children cumulated memory: 11563276 KiB
[startup+1002.3 s]
/proc/loadavg: 1.00 1.17 1.59 2/192 28479
/proc/meminfo: memFree=19353460/32770624 swapFree=66980956/67108860
[pid=28337] ppid=28334 vsize=12345724 memory=12299008 CPUtime=1002.05 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 2947517 0 0 0 99778 427 0 0 20 0 1 0 412291992 12642021376 3074752 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 3086431 3074752 849 493 0 3079736 0
Current children cumulated CPU time: 1002.05 s
Current children cumulated vsize: 12345724 KiB
Current children cumulated memory: 12299008 KiB
[startup+1062.3 s]
/proc/loadavg: 1.00 1.14 1.55 2/192 28486
/proc/meminfo: memFree=18616088/32770624 swapFree=66980956/67108860
[pid=28337] ppid=28334 vsize=13328904 memory=13036092 CPUtime=1062.02 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 3124195 0 0 0 105745 457 0 0 20 0 1 0 412291992 13648797696 3259023 33554432000 4194304 6210612 140730350049808 140730350032168 140267976407870 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 3332226 3259023 849 493 0 3325531 0
Current children cumulated CPU time: 1062.02 s
Current children cumulated vsize: 13328904 KiB
Current children cumulated memory: 13036092 KiB
[startup+1122.3 s]
/proc/loadavg: 1.00 1.12 1.52 2/192 28490
/proc/meminfo: memFree=17878164/32770624 swapFree=66980956/67108860
[pid=28337] ppid=28334 vsize=14031408 memory=13771796 CPUtime=1122.01 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 3300005 0 0 0 111712 489 0 0 20 0 1 0 412291992 14368161792 3442949 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 3507852 3442949 849 493 0 3501157 0
Current children cumulated CPU time: 1122.01 s
Current children cumulated vsize: 14031408 KiB
Current children cumulated memory: 13771796 KiB
[startup+1182.3 s]
/proc/loadavg: 1.00 1.09 1.49 2/192 28494
/proc/meminfo: memFree=17141544/32770624 swapFree=66980956/67108860
[pid=28337] ppid=28334 vsize=14733912 memory=14507456 CPUtime=1181.99 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 3475795 0 0 0 117675 524 0 0 20 0 1 0 412291992 15087525888 3626864 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 3683478 3626864 849 493 0 3676783 0
Current children cumulated CPU time: 1181.99 s
Current children cumulated vsize: 14733912 KiB
Current children cumulated memory: 14507456 KiB
[startup+1242.3 s]
/proc/loadavg: 1.00 1.08 1.46 2/192 28501
/proc/meminfo: memFree=16404712/32770624 swapFree=66980960/67108860
[pid=28337] ppid=28334 vsize=15436548 memory=15242856 CPUtime=1241.97 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 3651605 0 0 0 123639 558 0 0 20 0 1 0 412291992 15807025152 3810714 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 3859137 3810714 849 493 0 3852442 0
Current children cumulated CPU time: 1241.97 s
Current children cumulated vsize: 15436548 KiB
Current children cumulated memory: 15242856 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1279.5 s]
/proc/loadavg: 1.00 1.07 1.44 2/192 28504
/proc/meminfo: memFree=15949584/32770624 swapFree=66980960/67108860
[pid=28337] ppid=28334 vsize=15872016 memory=15701004 CPUtime=1279.16 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 4202496 3760546 0 0 0 127334 582 0 0 20 0 1 0 412291992 16252944384 3925251 33554432000 4194304 6210612 140730350049808 140730350032168 140267976412133 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 3968004 3925251 849 493 0 3961309 0
Current children cumulated CPU time: 1279.16 s
Current children cumulated vsize: 15872016 KiB
Current children cumulated memory: 15701004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1282.27 s]
# the end of solver process 28337 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1273.66 s, system=6.62007 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1280 s]*
/proc/loadavg: 1.00 1.07 1.44 2/193 28505
/proc/meminfo: memFree=15655144/32770624 swapFree=66980960/67108860
[pid=28337] ppid=28334 vsize=15872016 memory=15701004 CPUtime=1279.25 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) S 28334 28337 25389 0 -1 512 3760549 0 0 0 127342 583 0 0 20 0 1 0 412291992 16252944384 3925251 33554432000 4194304 6210612 140730350049808 140730350032168 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 3968004 3925251 849 493 0 3961309 0
Current children cumulated CPU time: 1279.25 s
Current children cumulated vsize: 15872016 KiB
Current children cumulated memory: 15701004 KiB
[startup+1280.8 s]
/proc/loadavg: 1.00 1.07 1.44 2/193 28505
/proc/meminfo: memFree=15655144/32770624 swapFree=66980960/67108860
[pid=28337] ppid=28334 vsize=15872016 memory=15701004 CPUtime=1279.38 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) R 28334 28337 25389 0 -1 512 3760549 0 0 0 127354 584 0 0 20 0 1 0 412291992 16252944384 3925251 33554432000 4194304 6210612 140730350049808 140730350032168 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 3968004 3925251 849 493 0 3961309 0
Current children cumulated CPU time: 1279.38 s
Current children cumulated vsize: 15872016 KiB
Current children cumulated memory: 15701004 KiB
[startup+1281.2 s]
/proc/loadavg: 1.00 1.07 1.44 2/193 28505
/proc/meminfo: memFree=15072356/32770624 swapFree=66980960/67108860
[pid=28337] ppid=28334 vsize=15872016 memory=15701004 CPUtime=1279.45 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) S 28334 28337 25389 0 -1 512 3760549 0 0 0 127361 584 0 0 20 0 1 0 412291992 16252944384 3925251 33554432000 4194304 6210612 140730350049808 140730350032168 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 3968004 3925251 849 493 0 3961309 0
Current children cumulated CPU time: 1279.45 s
Current children cumulated vsize: 15872016 KiB
Current children cumulated memory: 15701004 KiB
[startup+1281.4 s]
/proc/loadavg: 1.00 1.07 1.44 2/193 28505
/proc/meminfo: memFree=15072356/32770624 swapFree=66980960/67108860
[pid=28337] ppid=28334 vsize=15872016 memory=15701004 CPUtime=1279.48 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) S 28334 28337 25389 0 -1 512 3760549 0 0 0 127364 584 0 0 20 0 1 0 412291992 16252944384 3925251 33554432000 4194304 6210612 140730350049808 140730350032168 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 3968004 3925251 849 493 0 3961309 0
Current children cumulated CPU time: 1279.48 s
Current children cumulated vsize: 15872016 KiB
Current children cumulated memory: 15701004 KiB
[startup+1281.5 s]
/proc/loadavg: 1.00 1.07 1.44 2/193 28505
/proc/meminfo: memFree=15072356/32770624 swapFree=66980960/67108860
[pid=28337] ppid=28334 vsize=15872016 memory=15701004 CPUtime=1279.5 cores=1,3,5,7
/proc/28337/stat : 28337 (cosoco) S 28334 28337 25389 0 -1 512 3760549 0 0 0 127366 584 0 0 20 0 1 0 412291992 16252944384 3925251 33554432000 4194304 6210612 140730350049808 140730350032168 5188952 0 16384 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 39665664 140730350052363 140730350052465 140730350052465 140730350055374 0
/proc/28337/statm: 3968004 3925251 849 493 0 3961309 0
Current children cumulated CPU time: 1279.5 s
Current children cumulated vsize: 15872016 KiB
Current children cumulated memory: 15701004 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1282.27
CPU time (s): 1280.28
CPU user time (s): 1273.66
CPU system time (s): 6.62007
CPU usage (%): 99.8445
Max. virtual memory (cumulated for all children) (KiB): 15872016
Max. memory (cumulated for all children) (KiB): 15701004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1273.66
system time used= 6.62007
maximum resident set size= 15701124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3760549
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= 143056
involuntary context switches= 1038
# summary of solver processes directly reported to runsolver:
# pid: 28337
# total CPU time (s): 1280.28
# total CPU user time (s): 1273.66
# total CPU system time (s): 6.62007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.27266 second user time and 8.56527 second system time
The end