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 (15132 MiB free)
memory of node 1: 16384 MiB (15184 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408843-1569787394/watcher-4408843-1569787394 -o /tmp/evaluation-result-4408843-1569787394/solver-4408843-1569787394 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1569783690-24391 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408843-1569787394.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=24421, runsolver pid=24414
Current StackSize limit: 8192 KiB
[startup+0.100139 s]*
/proc/loadavg: 0.00 0.01 0.05 2/198 24422
/proc/meminfo: memFree=31045112/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=4560 memory=188 CPUtime=0 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4194304 175 0 0 0 0 0 0 0 20 0 1 0 554996946 4669440 47 33554432000 4194304 6211132 140730279401648 140730279398824 140342843115207 0 0 4096 0 0 0 0 17 6 0 0 0 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 1140 47 37 493 0 43 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4560 KiB
Current children cumulated memory: 188 KiB
[startup+0.209547 s]*
/proc/loadavg: 0.00 0.01 0.05 2/198 24422
/proc/meminfo: memFree=31040184/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=8040 memory=208 CPUtime=0 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) D 24414 24421 24360 0 -1 4194304 181 0 1 0 0 0 0 0 20 0 1 0 554996946 8232960 52 33554432000 4194304 6211132 140730279401648 140730279398776 140342843115207 0 0 4096 0 18446744071580996127 0 0 17 0 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 2010 52 39 493 0 45 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 8040 KiB
Current children cumulated memory: 208 KiB
[startup+0.309474 s]*
/proc/loadavg: 0.00 0.01 0.05 4/198 24422
/proc/meminfo: memFree=31040296/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=27956 memory=3952 CPUtime=0.03 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 1210 0 1 0 3 0 0 0 20 0 1 0 554996946 28626944 988 33554432000 4194304 6211132 140730279401648 140730279398920 5726363 0 0 4096 8405026 0 0 0 17 0 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 6989 988 790 493 0 294 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 27956 KiB
Current children cumulated memory: 3952 KiB
[startup+0.700239 s]
/proc/loadavg: 0.16 0.05 0.06 4/198 24422
/proc/meminfo: memFree=31028764/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=40232 memory=16564 CPUtime=0.41 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 4327 0 1 0 41 0 0 0 20 0 1 0 554996946 41197568 4141 33554432000 4194304 6211132 140730279401648 140730279394536 140342824799205 0 0 4096 8405026 0 0 0 17 0 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 10058 4141 822 493 0 3363 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 40232 KiB
Current children cumulated memory: 16564 KiB
[startup+1.50032 s]
/proc/loadavg: 0.16 0.05 0.06 5/198 24422
/proc/meminfo: memFree=31017604/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21236 CPUtime=1.2 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 5495 0 1 0 120 0 0 0 20 0 1 0 554996946 45850624 5309 33554432000 4194304 6211132 140730279401648 140730279389528 5165656 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5309 843 493 0 4499 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21236 KiB
[startup+3.10926 s]
/proc/loadavg: 0.16 0.05 0.06 4/198 24423
/proc/meminfo: memFree=31017356/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21336 CPUtime=2.82 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 9701 0 1 0 281 1 0 0 20 0 1 0 554996946 45850624 5334 33554432000 4194304 6211132 140730279401648 140730279389528 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5334 867 493 0 4499 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21336 KiB
[startup+6.30033 s]
/proc/loadavg: 0.39 0.10 0.07 4/198 24423
/proc/meminfo: memFree=31017476/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21336 CPUtime=6.01 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 13907 0 1 0 600 1 0 0 20 0 1 0 554996946 45850624 5334 33554432000 4194304 6211132 140730279401648 140730279389528 5397258 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5334 867 493 0 4499 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21336 KiB
[startup+12.7003 s]
/proc/loadavg: 0.52 0.13 0.08 4/199 24425
/proc/meminfo: memFree=31016776/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21336 CPUtime=12.41 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 18113 0 1 0 1240 1 0 0 20 0 1 0 554996946 45850624 5334 33554432000 4194304 6211132 140730279401648 140730279389528 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5334 867 493 0 4499 0
Current children cumulated CPU time: 12.41 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21336 KiB
[startup+25.5003 s]
/proc/loadavg: 0.75 0.19 0.10 4/198 24425
/proc/meminfo: memFree=31018136/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21336 CPUtime=25.21 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 26525 0 1 0 2520 1 0 0 20 0 1 0 554996946 45850624 5334 33554432000 4194304 6211132 140730279401648 140730279389528 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5334 867 493 0 4499 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21336 KiB
[startup+51.109 s]
/proc/loadavg: 1.24 0.36 0.16 4/198 24425
/proc/meminfo: memFree=31018192/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21336 CPUtime=50.82 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 30731 0 1 0 5081 1 0 0 20 0 1 0 554996946 45850624 5334 33554432000 4194304 6211132 140730279401648 140730279389528 5008827 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5334 867 493 0 4499 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21336 KiB
[startup+102.3 s]
/proc/loadavg: 1.67 0.62 0.26 4/199 24431
/proc/meminfo: memFree=31015484/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=102.01 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 33923 0 1 0 10200 1 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5397295 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+162.3 s]
/proc/loadavg: 1.88 0.87 0.37 4/198 24435
/proc/meminfo: memFree=31016084/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=162.01 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 34209 0 1 0 16200 1 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5193731 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 162.01 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.07 0.47 4/198 24439
/proc/meminfo: memFree=31016484/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=222.02 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 34495 0 1 0 22201 1 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5165653 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 222.02 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.57 4/199 24445
/proc/meminfo: memFree=31016700/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=282.02 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 34495 0 1 0 28201 1 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5397255 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 282.02 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.38 0.66 4/198 24449
/proc/meminfo: memFree=31017048/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=342.03 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 34781 0 1 0 34202 1 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 342.03 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 4/198 24453
/proc/meminfo: memFree=31016728/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=402.03 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 34781 0 1 0 40202 1 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5397248 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 402.03 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.82 4/199 24459
/proc/meminfo: memFree=31016548/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=462.04 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 35067 0 1 0 46203 1 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5397384 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 462.04 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
################
# More data... #
################
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 1662.15 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+1722.3 s]
/proc/loadavg: 2.02 1.99 1.69 3/202 24831
/proc/meminfo: memFree=30943852/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=1722.16 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 37927 0 1 0 172214 2 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5008816 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 1.99 1.71 3/200 24835
/proc/meminfo: memFree=30944680/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=1782.16 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 38189 0 1 0 178214 2 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.72 3/200 24839
/proc/meminfo: memFree=30945552/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=1842.17 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 38189 0 1 0 184215 2 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5397414 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/201 24845
/proc/meminfo: memFree=30944892/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=1902.17 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 38475 0 1 0 190215 2 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5165656 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.00 1.77 3/200 24849
/proc/meminfo: memFree=30945336/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=1962.18 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 38475 0 1 0 196216 2 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5165656 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.00 1.78 3/198 24853
/proc/meminfo: memFree=30945196/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=2022.18 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 38735 0 1 0 202216 2 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5008831 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.00 1.79 3/199 24859
/proc/meminfo: memFree=30945104/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=2082.19 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 38761 0 1 0 208217 2 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5008827 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/198 24863
/proc/meminfo: memFree=30945664/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=2142.19 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 39037 0 1 0 214217 2 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5008831 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/198 24867
/proc/meminfo: memFree=30945560/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=2202.2 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 39037 0 1 0 220218 2 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5397332 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/199 24873
/proc/meminfo: memFree=30945012/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=2262.2 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 39323 0 1 0 226218 2 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/200 24886
/proc/meminfo: memFree=30944400/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=2322.21 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 39323 0 1 0 232219 2 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/200 24890
/proc/meminfo: memFree=30944528/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=2382.21 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 39581 0 1 0 238219 2 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.00 1.85 3/200 24892
/proc/meminfo: memFree=30944416/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=2400.02 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 39581 0 1 0 240000 2 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 24421 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.01 s, system=0.020001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.00 1.85 3/200 24892
/proc/meminfo: memFree=30944416/32770624 swapFree=66957812/67108860
[pid=24421] ppid=24414 vsize=44776 memory=21344 CPUtime=2400.02 cores=0,2,4,6
/proc/24421/stat : 24421 (cosoco) R 24414 24421 24360 0 -1 4202496 39581 0 1 0 240000 2 0 0 20 0 1 0 554996946 45850624 5336 33554432000 4194304 6211132 140730279401648 140730279389528 5397407 0 0 4096 8405026 0 0 0 17 2 0 0 6 0 0 8312316 8317760 11501568 140730279404555 140730279404657 140730279404657 140730279407566 0
/proc/24421/statm: 11194 5336 867 493 0 4499 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 21344 KiB
Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.03
CPU user time (s): 2400.01
CPU system time (s): 0.020001
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 44776
Max. memory (cumulated for all children) (KiB): 21344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.020001
maximum resident set size= 21408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39636
page faults= 1
swaps= 0
block input operations= 10752
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53
involuntary context switches= 3018
# summary of solver processes directly reported to runsolver:
# pid: 24421
# total CPU time (s): 2400.03
# total CPU user time (s): 2400.01
# total CPU system time (s): 0.020001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.6301 second user time and 15.5006 second system time
The end