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 (258 MiB free)
memory of node 1: 16384 MiB (15381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408494-1569793809/watcher-4408494-1569793809 -o /tmp/evaluation-result-4408494-1569793809/solver-4408494-1569793809 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1569787347-31155 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408494-1569793809.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=32159, runsolver pid=32156
Current StackSize limit: 8192 KiB
[startup+0.100755 s]*
/proc/loadavg: 2.32 2.08 2.00 3/202 32160
/proc/meminfo: memFree=16004780/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=31420 memory=7204 CPUtime=0.05 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 2048 0 1 0 5 0 0 0 20 0 1 0 555629462 32174080 1801 33554432000 4194304 6211132 140727314359376 140727314355384 139736585575397 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 7855 1801 754 493 0 1160 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 31420 KiB
Current children cumulated memory: 7204 KiB
[startup+0.209933 s]*
/proc/loadavg: 2.32 2.08 2.00 3/203 32161
/proc/meminfo: memFree=15977584/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=54716 memory=30964 CPUtime=0.16 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 7940 0 1 0 15 1 0 0 20 0 1 0 555629462 56029184 7741 33554432000 4194304 6211132 140727314359376 140727314355320 5755182 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 13679 7741 834 493 0 6984 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 54716 KiB
Current children cumulated memory: 30964 KiB
[startup+0.309792 s]*
/proc/loadavg: 2.32 2.08 2.00 3/203 32161
/proc/meminfo: memFree=15974236/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=55748 memory=32020 CPUtime=0.26 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 8225 0 1 0 25 1 0 0 20 0 1 0 555629462 57085952 8005 33554432000 4194304 6211132 140727314359376 140727314355320 139736586499282 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 13937 8005 834 493 0 7242 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 55748 KiB
Current children cumulated memory: 32020 KiB
[startup+0.700407 s]
/proc/loadavg: 2.32 2.08 2.00 3/203 32161
/proc/meminfo: memFree=15785096/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=296028 memory=272620 CPUtime=0.65 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 68420 0 1 0 56 9 0 0 20 0 1 0 555629462 303132672 68155 33554432000 4194304 6211132 140727314359376 140727314354904 5397258 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 74007 68155 858 493 0 67312 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 296028 KiB
Current children cumulated memory: 272620 KiB
[startup+1.50032 s]
/proc/loadavg: 2.32 2.08 2.00 3/203 32161
/proc/meminfo: memFree=15719996/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=296028 memory=272620 CPUtime=1.45 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 68422 0 1 0 136 9 0 0 20 0 1 0 555629462 303132672 68155 33554432000 4194304 6211132 140727314359376 140727314357640 5397255 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 74007 68155 858 493 0 67312 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 296028 KiB
Current children cumulated memory: 272620 KiB
[startup+3.10938 s]
/proc/loadavg: 2.21 2.06 1.99 3/200 32161
/proc/meminfo: memFree=15920708/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=304904 memory=281456 CPUtime=3.06 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 81266 0 1 0 296 10 0 0 20 0 1 0 555629462 312221696 70364 33554432000 4194304 6211132 140727314359376 140727314356584 5397248 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 76226 70364 893 493 0 69531 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 304904 KiB
Current children cumulated memory: 281456 KiB
[startup+6.30036 s]
/proc/loadavg: 2.21 2.06 1.99 3/201 32163
/proc/meminfo: memFree=15861860/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=338128 memory=314492 CPUtime=6.24 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 110338 0 1 0 612 12 0 0 20 0 1 0 555629462 346243072 78623 33554432000 4194304 6211132 140727314359376 140727314356776 5008940 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 84532 78623 893 493 0 77837 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 338128 KiB
Current children cumulated memory: 314492 KiB
[startup+12.7003 s]
/proc/loadavg: 2.18 2.06 1.99 3/201 32163
/proc/meminfo: memFree=15123820/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1065760 memory=973548 CPUtime=12.64 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 294922 0 1 0 1230 34 0 0 20 0 1 0 555629462 1091338240 243387 33554432000 4194304 6211132 140727314359376 140727314356616 5151049 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 266440 243387 893 493 0 259745 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1065760 KiB
Current children cumulated memory: 973548 KiB
[startup+25.5003 s]
/proc/loadavg: 2.15 2.06 1.99 3/200 32163
/proc/meminfo: memFree=14944516/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1085800 memory=989300 CPUtime=25.44 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 362881 0 1 0 2506 38 0 0 20 0 1 0 555629462 1111859200 247325 33554432000 4194304 6211132 140727314359376 140727314356776 5409463 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 271450 247325 893 493 0 264755 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 1085800 KiB
Current children cumulated memory: 989300 KiB
[startup+51.1098 s]
/proc/loadavg: 2.71 2.19 2.04 2/198 32222
/proc/meminfo: memFree=29415952/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1132724 memory=1035864 CPUtime=51.04 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 429112 0 1 0 5060 44 0 0 20 0 1 0 555629462 1159909376 258966 33554432000 4194304 6211132 140727314359376 140727314356616 5150980 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 283181 258966 893 493 0 276486 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 1132724 KiB
Current children cumulated memory: 1035864 KiB
[startup+102.3 s]
/proc/loadavg: 2.28 2.15 2.03 3/203 32242
/proc/meminfo: memFree=30378148/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1163416 memory=1063724 CPUtime=102.24 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 472192 0 1 0 10175 49 0 0 20 0 1 0 555629462 1191337984 265931 33554432000 4194304 6211132 140727314359376 140727314356616 5149706 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 290854 265931 893 493 0 284159 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 1163416 KiB
Current children cumulated memory: 1063724 KiB
[startup+162.3 s]
/proc/loadavg: 2.10 2.13 2.03 3/203 32247
/proc/meminfo: memFree=30374512/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1165608 memory=1065992 CPUtime=162.23 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 485439 0 1 0 16173 50 0 0 20 0 1 0 555629462 1193582592 266498 33554432000 4194304 6211132 140727314359376 140727314356616 5149732 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291402 266498 893 493 0 284707 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 1165608 KiB
Current children cumulated memory: 1065992 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.10 2.03 3/203 32265
/proc/meminfo: memFree=30373164/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1067324 CPUtime=222.24 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 497229 0 1 0 22172 52 0 0 20 0 1 0 555629462 1194450944 266831 33554432000 4194304 6211132 140727314359376 140727314356616 5148716 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 266831 893 493 0 284919 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1067324 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.08 2.03 3/204 32271
/proc/meminfo: memFree=30368288/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1072168 CPUtime=282.24 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 541760 0 1 0 28170 54 0 0 20 0 1 0 555629462 1194450944 268042 33554432000 4194304 6211132 140727314359376 140727314356616 5148716 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 268042 893 493 0 284919 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1072168 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.07 2.03 3/200 32276
/proc/meminfo: memFree=30361704/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1079344 CPUtime=342.25 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 558823 0 1 0 34169 56 0 0 20 0 1 0 555629462 1194450944 269836 33554432000 4194304 6211132 140727314359376 140727314356616 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 269836 893 493 0 284919 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1079344 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.06 2.03 3/200 32280
/proc/meminfo: memFree=30353344/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1087464 CPUtime=402.25 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 571958 0 1 0 40168 57 0 0 20 0 1 0 555629462 1194450944 271866 33554432000 4194304 6211132 140727314359376 140727314356616 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 271866 893 493 0 284919 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1087464 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.03 3/200 32286
/proc/meminfo: memFree=30343084/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1097280 CPUtime=462.25 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 578601 0 1 0 46167 58 0 0 20 0 1 0 555629462 1194450944 274320 33554432000 4194304 6211132 140727314359376 140727314356616 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 274320 893 493 0 284919 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1097280 KiB
################
# More data... #
################
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 1722.38 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 32432
/proc/meminfo: memFree=30296976/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1142008 CPUtime=1782.38 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 610751 0 1 0 178178 60 0 0 20 0 1 0 555629462 1194450944 285502 33554432000 4194304 6211132 140727314359376 140727314356616 5149249 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 32444
/proc/meminfo: memFree=30297760/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1142008 CPUtime=1842.39 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 611460 0 1 0 184179 60 0 0 20 0 1 0 555629462 1194450944 285502 33554432000 4194304 6211132 140727314359376 140727314356616 5156242 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 32450
/proc/meminfo: memFree=30297112/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1142008 CPUtime=1902.4 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 612245 0 1 0 190180 60 0 0 20 0 1 0 555629462 1194450944 285502 33554432000 4194304 6211132 140727314359376 140727314356616 5149249 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 32454
/proc/meminfo: memFree=30297540/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1142008 CPUtime=1962.4 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 612887 0 1 0 196180 60 0 0 20 0 1 0 555629462 1194450944 285502 33554432000 4194304 6211132 140727314359376 140727314356616 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 1962.4 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32458
/proc/meminfo: memFree=30297600/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1142008 CPUtime=2022.41 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 613649 0 1 0 202181 60 0 0 20 0 1 0 555629462 1194450944 285502 33554432000 4194304 6211132 140727314359376 140727314356616 5148716 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 32464
/proc/meminfo: memFree=30297552/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1142008 CPUtime=2082.41 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 614389 0 1 0 208181 60 0 0 20 0 1 0 555629462 1194450944 285502 33554432000 4194304 6211132 140727314359376 140727314356616 5149042 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 2082.41 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32469
/proc/meminfo: memFree=30297152/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1142008 CPUtime=2142.43 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 615165 0 1 0 214182 61 0 0 20 0 1 0 555629462 1194450944 285502 33554432000 4194304 6211132 140727314359376 140727314356616 5150211 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 2142.43 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32473
/proc/meminfo: memFree=30297284/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1142008 CPUtime=2202.43 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 615841 0 1 0 220182 61 0 0 20 0 1 0 555629462 1194450944 285502 33554432000 4194304 6211132 140727314359376 140727314356616 5148672 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 2202.43 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32479
/proc/meminfo: memFree=30297356/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1142008 CPUtime=2262.44 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 616477 0 1 0 226183 61 0 0 20 0 1 0 555629462 1194450944 285502 33554432000 4194304 6211132 140727314359376 140727314356616 5148716 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 2262.44 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 32505
/proc/meminfo: memFree=30293948/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1142008 CPUtime=2322.44 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 617066 0 1 0 232183 61 0 0 20 0 1 0 555629462 1194450944 285502 33554432000 4194304 6211132 140727314359376 140727314356616 5149152 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 2322.44 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32510
/proc/meminfo: memFree=30295048/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1142008 CPUtime=2382.45 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 617782 0 1 0 238184 61 0 0 20 0 1 0 555629462 1194450944 285502 33554432000 4194304 6211132 140727314359376 140727314356616 5149067 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 2382.45 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32523
/proc/meminfo: memFree=30294684/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1142008 CPUtime=2442.45 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 618236 0 1 0 244184 61 0 0 20 0 1 0 555629462 1194450944 285502 33554432000 4194304 6211132 140727314359376 140727314356616 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 2442.45 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32527
/proc/meminfo: memFree=30294072/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1142008 CPUtime=2502.46 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 618831 0 1 0 250185 61 0 0 20 0 1 0 555629462 1194450944 285502 33554432000 4194304 6211132 140727314359376 140727314356616 5149718 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 2502.46 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 32527
/proc/meminfo: memFree=30294012/32770624 swapFree=67002176/67108860
[pid=32159] ppid=32156 vsize=1166456 memory=1142008 CPUtime=2520.06 cores=1,3,5,7
/proc/32159/stat : 32159 (cosoco) R 32156 32159 31123 0 -1 4202496 618911 0 1 0 251945 61 0 0 20 0 1 0 555629462 1194450944 285502 33554432000 4194304 6211132 140727314359376 140727314356616 5149253 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8312316 8317760 19156992 140727314367499 140727314367601 140727314367601 140727314370510 0
/proc/32159/statm: 291614 285502 893 493 0 284919 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 1166456 KiB
Current children cumulated memory: 1142008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 32159 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.46 s, system=0.620061 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2519.91
CPU time (s): 2520.08
CPU user time (s): 2519.46
CPU system time (s): 0.620061
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 1166456
Max. memory (cumulated for all children) (KiB): 1142008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.46
system time used= 0.620061
maximum resident set size= 1142072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 618964
page faults= 1
swaps= 0
block input operations= 9984
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85
involuntary context switches= 922
# summary of solver processes directly reported to runsolver:
# pid: 32159
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.46
# total CPU system time (s): 0.620061
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.47898 second user time and 19.4267 second system time
The end