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 (15282 MiB free)
memory of node 1: 16384 MiB (13673 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408529-1569802012/watcher-4408529-1569802012 -o /tmp/evaluation-result-4408529-1569802012/solver-4408529-1569802012 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569787540-6946 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408529-1569802012.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=10379, runsolver pid=10376
Current StackSize limit: 8192 KiB
[startup+0.100217 s]*
/proc/loadavg: 2.09 2.06 2.05 3/198 10380
/proc/meminfo: memFree=29636624/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=44244 memory=20504 CPUtime=0.1 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 5334 0 0 0 9 1 0 0 20 0 1 0 556473404 45305856 5126 33554432000 4194304 6211132 140734562015696 140734562012232 140142043110373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 11061 5126 837 493 0 4366 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44244 KiB
Current children cumulated memory: 20504 KiB
[startup+0.209747 s]*
/proc/loadavg: 2.09 2.06 2.05 3/198 10380
/proc/meminfo: memFree=29616288/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=62056 memory=38428 CPUtime=0.2 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 9806 0 0 0 19 1 0 0 20 0 1 0 556473404 63545344 9607 33554432000 4194304 6211132 140734562015696 140734562012232 5743332 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 15514 9607 837 493 0 8819 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62056 KiB
Current children cumulated memory: 38428 KiB
[startup+0.309739 s]*
/proc/loadavg: 2.09 2.06 2.05 3/198 10380
/proc/meminfo: memFree=29598680/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=81708 memory=58000 CPUtime=0.31 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 14690 0 0 0 29 2 0 0 20 0 1 0 556473404 83668992 14500 33554432000 4194304 6211132 140734562015696 140734562012232 140142043110373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 20427 14500 837 493 0 13732 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 81708 KiB
Current children cumulated memory: 58000 KiB
[startup+0.700432 s]
/proc/loadavg: 2.09 2.06 2.05 3/198 10380
/proc/meminfo: memFree=29573632/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=141452 memory=117480 CPUtime=0.68 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 29584 0 0 0 65 3 0 0 20 0 1 0 556473404 144846848 29370 33554432000 4194304 6211132 140734562015696 140734562013288 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 35363 29370 874 493 0 28668 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 141452 KiB
Current children cumulated memory: 117480 KiB
[startup+1.50039 s]
/proc/loadavg: 2.09 2.06 2.05 3/197 10380
/proc/meminfo: memFree=29527068/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=151588 memory=127248 CPUtime=1.49 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 31993 0 0 0 145 4 0 0 20 0 1 0 556473404 155226112 31812 33554432000 4194304 6211132 140734562015696 140734562013288 5250256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 37897 31812 875 493 0 31202 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 127248 KiB
[startup+3.10953 s]
/proc/loadavg: 2.09 2.06 2.05 3/197 10380
/proc/meminfo: memFree=29527444/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=151588 memory=127324 CPUtime=3.09 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 42575 0 0 0 305 4 0 0 20 0 1 0 556473404 155226112 31831 33554432000 4194304 6211132 140734562015696 140734562013656 5156176 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 37897 31831 875 493 0 31202 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 127324 KiB
[startup+6.30034 s]
/proc/loadavg: 2.08 2.06 2.05 3/197 10380
/proc/meminfo: memFree=29527472/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=151588 memory=127324 CPUtime=6.29 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 54202 0 0 0 624 5 0 0 20 0 1 0 556473404 155226112 31831 33554432000 4194304 6211132 140734562015696 140734562013656 5397461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 37897 31831 875 493 0 31202 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 127324 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.06 2.05 3/197 10380
/proc/meminfo: memFree=29527408/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=151588 memory=127324 CPUtime=12.69 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 67144 0 0 0 1263 6 0 0 20 0 1 0 556473404 155226112 31831 33554432000 4194304 6211132 140734562015696 140734562013656 5409489 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 37897 31831 875 493 0 31202 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 127324 KiB
[startup+25.5004 s]
/proc/loadavg: 2.06 2.05 2.05 3/197 10380
/proc/meminfo: memFree=29527728/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=151588 memory=127324 CPUtime=25.48 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 89699 0 0 0 2541 7 0 0 20 0 1 0 556473404 155226112 31831 33554432000 4194304 6211132 140734562015696 140734562013656 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 37897 31831 875 493 0 31202 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 127324 KiB
[startup+51.1095 s]
/proc/loadavg: 2.04 2.05 2.05 3/197 10390
/proc/meminfo: memFree=29526864/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=151588 memory=127324 CPUtime=51.09 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 102170 0 0 0 5101 8 0 0 20 0 1 0 556473404 155226112 31831 33554432000 4194304 6211132 140734562015696 140734562013656 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 37897 31831 875 493 0 31202 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 127324 KiB
[startup+102.3 s]
/proc/loadavg: 2.13 2.07 2.05 3/197 10394
/proc/meminfo: memFree=29527108/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=151588 memory=127324 CPUtime=102.27 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 114826 0 0 0 10218 9 0 0 20 0 1 0 556473404 155226112 31831 33554432000 4194304 6211132 140734562015696 140734562013656 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 37897 31831 875 493 0 31202 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 127324 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/197 10398
/proc/meminfo: memFree=29526244/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=151588 memory=127324 CPUtime=162.26 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 125738 0 0 0 16217 9 0 0 20 0 1 0 556473404 155226112 31831 33554432000 4194304 6211132 140734562015696 140734562013656 5397258 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 37897 31831 875 493 0 31202 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 127324 KiB
[startup+222.3 s]
/proc/loadavg: 1.94 2.03 2.04 3/197 10402
/proc/meminfo: memFree=29526792/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=151588 memory=127324 CPUtime=222.26 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 136480 0 0 0 22216 10 0 0 20 0 1 0 556473404 155226112 31831 33554432000 4194304 6211132 140734562015696 140734562013656 5409485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 37897 31831 875 493 0 31202 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 127324 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 2.03 2.04 3/197 10408
/proc/meminfo: memFree=29522592/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=151588 memory=127324 CPUtime=282.25 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 147290 0 0 0 28215 10 0 0 20 0 1 0 556473404 155226112 31831 33554432000 4194304 6211132 140734562015696 140734562013656 5250311 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 37897 31831 875 493 0 31202 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 127324 KiB
[startup+342.3 s]
/proc/loadavg: 2.67 2.19 2.10 3/197 10412
/proc/meminfo: memFree=29523000/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=151588 memory=127324 CPUtime=342.25 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 159263 0 0 0 34214 11 0 0 20 0 1 0 556473404 155226112 31831 33554432000 4194304 6211132 140734562015696 140734562013656 5009199 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 37897 31831 875 493 0 31202 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 127324 KiB
[startup+402.3 s]
/proc/loadavg: 2.28 2.17 2.10 3/197 10416
/proc/meminfo: memFree=29512120/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=151588 memory=127360 CPUtime=402.25 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 171045 0 0 0 40213 12 0 0 20 0 1 0 556473404 155226112 31840 33554432000 4194304 6211132 140734562015696 140734562013656 5409485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 37897 31840 875 493 0 31202 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 127360 KiB
[startup+462.3 s]
/proc/loadavg: 2.10 2.14 2.09 3/197 10422
/proc/meminfo: memFree=29510180/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=151588 memory=127360 CPUtime=462.24 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 178352 0 0 0 46212 12 0 0 20 0 1 0 556473404 155226112 31840 33554432000 4194304 6211132 140734562015696 140734562013656 5397407 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 37897 31840 875 493 0 31202 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 127360 KiB
################
# More data... #
################
/proc/10379/statm: 38339 32490 875 493 0 31644 0
Current children cumulated CPU time: 1662.14 s
Current children cumulated vsize: 153356 KiB
Current children cumulated memory: 129960 KiB
[startup+1722.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/197 10537
/proc/meminfo: memFree=29488752/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=153356 memory=129960 CPUtime=1722.14 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 205898 0 0 0 172201 13 0 0 20 0 1 0 556473404 157036544 32490 33554432000 4194304 6211132 140734562015696 140734562013288 5155703 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 38339 32490 875 493 0 31644 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 153356 KiB
Current children cumulated memory: 129960 KiB
[startup+1782.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/197 10601
/proc/meminfo: memFree=31062324/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=153356 memory=129960 CPUtime=1782.13 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 206214 0 0 0 178200 13 0 0 20 0 1 0 556473404 157036544 32490 33554432000 4194304 6211132 140734562015696 140734562013288 5156168 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 38339 32490 875 493 0 31644 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 153356 KiB
Current children cumulated memory: 129960 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/197 10613
/proc/meminfo: memFree=30987636/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=153492 memory=130024 CPUtime=1842.13 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 206555 0 0 0 184200 13 0 0 20 0 1 0 556473404 157175808 32506 33554432000 4194304 6211132 140734562015696 140734562013128 5008827 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 38373 32506 875 493 0 31678 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 130024 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/198 10620
/proc/meminfo: memFree=30984824/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=153492 memory=130052 CPUtime=1902.13 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 206925 0 0 0 190200 13 0 0 20 0 1 0 556473404 157175808 32513 33554432000 4194304 6211132 140734562015696 140734562013656 5409485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 38373 32513 875 493 0 31678 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 130052 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/198 10624
/proc/meminfo: memFree=30985104/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=153492 memory=130068 CPUtime=1962.12 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 207133 0 0 0 196199 13 0 0 20 0 1 0 556473404 157175808 32517 33554432000 4194304 6211132 140734562015696 140734562013656 5250256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 38373 32517 875 493 0 31678 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 130068 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/198 10628
/proc/meminfo: memFree=30984856/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=153492 memory=130068 CPUtime=2022.12 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 207334 0 0 0 202199 13 0 0 20 0 1 0 556473404 157175808 32517 33554432000 4194304 6211132 140734562015696 140734562013656 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 38373 32517 875 493 0 31678 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 130068 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/198 10634
/proc/meminfo: memFree=30980068/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=153492 memory=130068 CPUtime=2082.11 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 207569 0 0 0 208198 13 0 0 20 0 1 0 556473404 157175808 32517 33554432000 4194304 6211132 140734562015696 140734562013656 5158208 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 38373 32517 875 493 0 31678 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 130068 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/197 10638
/proc/meminfo: memFree=30980148/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=153492 memory=130068 CPUtime=2142.11 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 207769 0 0 0 214198 13 0 0 20 0 1 0 556473404 157175808 32517 33554432000 4194304 6211132 140734562015696 140734562013656 5409493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 38373 32517 875 493 0 31678 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 130068 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/197 10642
/proc/meminfo: memFree=30980176/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=153492 memory=130068 CPUtime=2202.1 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 207970 0 0 0 220197 13 0 0 20 0 1 0 556473404 157175808 32517 33554432000 4194304 6211132 140734562015696 140734562013656 5409485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 38373 32517 875 493 0 31678 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 130068 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/197 10648
/proc/meminfo: memFree=30979820/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=153492 memory=130068 CPUtime=2262.1 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 208172 0 0 0 226197 13 0 0 20 0 1 0 556473404 157175808 32517 33554432000 4194304 6211132 140734562015696 140734562013656 5156288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 38373 32517 875 493 0 31678 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 130068 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/197 10652
/proc/meminfo: memFree=30980012/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=153492 memory=130068 CPUtime=2322.1 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 208374 0 0 0 232197 13 0 0 20 0 1 0 556473404 157175808 32517 33554432000 4194304 6211132 140734562015696 140734562013656 5250482 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 38373 32517 875 493 0 31678 0
Current children cumulated CPU time: 2322.1 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 130068 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 10656
/proc/meminfo: memFree=30980860/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=153492 memory=130068 CPUtime=2382.09 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 208598 0 0 0 238196 13 0 0 20 0 1 0 556473404 157175808 32517 33554432000 4194304 6211132 140734562015696 140734562013656 5390448 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 38373 32517 875 493 0 31678 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 130068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 10659
/proc/meminfo: memFree=30981132/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=153492 memory=130068 CPUtime=2400.09 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 208787 0 0 0 239996 13 0 0 20 0 1 0 556473404 157175808 32517 33554432000 4194304 6211132 140734562015696 140734562013656 5409497 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 38373 32517 875 493 0 31678 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 130068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.3 s]
# the end of solver process 10379 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.97 s, system=0.140989 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 10659
/proc/meminfo: memFree=30981132/32770624 swapFree=66941828/67108860
[pid=10379] ppid=10376 vsize=153492 memory=130068 CPUtime=2400.09 cores=0,2,4,6
/proc/10379/stat : 10379 (cosoco) R 10376 10379 6915 0 -1 4202496 208787 0 0 0 239996 13 0 0 20 0 1 0 556473404 157175808 32517 33554432000 4194304 6211132 140734562015696 140734562013656 5409497 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36618240 140734562022411 140734562022513 140734562022513 140734562025422 0
/proc/10379/statm: 38373 32517 875 493 0 31678 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 130068 KiB
Child status: 1
Real time (s): 2400.3
CPU time (s): 2400.11
CPU user time (s): 2399.97
CPU system time (s): 0.140989
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 153492
Max. memory (cumulated for all children) (KiB): 130068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.140989
maximum resident set size= 130132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208840
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= 58
involuntary context switches= 2922
# summary of solver processes directly reported to runsolver:
# pid: 10379
# total CPU time (s): 2400.11
# total CPU user time (s): 2399.97
# total CPU system time (s): 0.140989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.43398 second user time and 16.3488 second system time
The end