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 (12513 MiB free)
memory of node 1: 16384 MiB (9821 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296024-1532601846/watcher-4296024-1532601846 -o /tmp/evaluation-result-4296024-1532601846/solver-4296024-1532601846 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532594282-8246 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4296024-1532601846.xml
running on 4 cores: 0,2,4,6
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=9120, runsolver pid=9117
Current StackSize limit: 8192 KiB
[startup+0.100118 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=22814368/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=43400 memory=19524 CPUtime=0.1 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 5079 0 0 0 10 0 0 0 20 0 1 0 77747821 44441600 4881 33554432000 4194304 6142532 140722154663712 140722154660344 5209680 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 10850 4881 745 476 0 4172 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43400 KiB
Current children cumulated memory: 19524 KiB
[startup+0.209593 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=22764396/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=45196 memory=21372 CPUtime=0.21 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 5507 0 0 0 21 0 0 0 20 0 1 0 77747821 46280704 5343 33554432000 4194304 6142532 140722154663712 140722154660344 139829901642725 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 11299 5343 786 476 0 4621 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45196 KiB
Current children cumulated memory: 21372 KiB
[startup+0.309079 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=22721284/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=46836 memory=22740 CPUtime=0.31 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 5973 0 0 0 31 0 0 0 20 0 1 0 77747821 47960064 5685 33554432000 4194304 6142532 140722154663712 140722154660344 139829901642725 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 11709 5685 786 476 0 5031 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46836 KiB
Current children cumulated memory: 22740 KiB
[startup+0.700312 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=22562192/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=202412 memory=178500 CPUtime=0.69 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 44882 0 0 0 63 6 0 0 20 0 1 0 77747821 207269888 44625 33554432000 4194304 6142532 140722154663712 140722154658088 139829901690784 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 50603 44625 803 476 0 43925 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 202412 KiB
Current children cumulated memory: 178500 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=22152488/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=536416 memory=512460 CPUtime=1.49 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 128369 0 0 0 132 17 0 0 20 0 1 0 77747821 549289984 128115 33554432000 4194304 6142532 140722154663712 140722154658088 139829901690784 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 134104 128115 803 476 0 127426 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 536416 KiB
Current children cumulated memory: 512460 KiB
[startup+3.1094 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=20483660/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=1207520 memory=1183684 CPUtime=3.09 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 296809 0 0 0 271 38 0 0 20 0 1 0 77747821 1236500480 295921 33554432000 4194304 6142532 140722154663712 140722154658184 139829911588108 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 301927 295921 803 476 0 295249 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1207520 KiB
Current children cumulated memory: 1183684 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=18113976/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=2456316 memory=2432444 CPUtime=6.29 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 610961 0 0 0 551 78 0 0 20 0 1 0 77747821 2515267584 608111 33554432000 4194304 6142532 140722154663712 140722154660360 139829901642725 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 614079 608111 803 476 0 607401 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2456316 KiB
Current children cumulated memory: 2432444 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=13909632/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=4762600 memory=4739072 CPUtime=12.69 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 1221404 0 0 0 1116 153 0 0 20 0 1 0 77747821 4876902400 1184768 33554432000 4194304 6142532 140722154663712 140722154660664 139829901642725 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1190650 1184768 892 476 0 1183972 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 4762600 KiB
Current children cumulated memory: 4739072 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=13758032/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=4838492 memory=4814764 CPUtime=25.49 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 1362435 0 0 0 2387 162 0 0 20 0 1 0 77747821 4954615808 1203691 33554432000 4194304 6142532 140722154663712 140722154660728 5366776 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1209623 1203691 894 476 0 1202945 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 4838492 KiB
Current children cumulated memory: 4814764 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=12997292/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5240140 memory=5193576 CPUtime=51.1 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 1611755 0 0 0 4927 183 0 0 20 0 1 0 77747821 5365903360 1298394 33554432000 4194304 6142532 140722154663712 140722154660424 5366709 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1310035 1298394 894 476 0 1303357 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 5240140 KiB
Current children cumulated memory: 5193576 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 9122
/proc/meminfo: memFree=12961144/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5251096 memory=5201776 CPUtime=102.28 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 1811109 0 0 0 10035 193 0 0 20 0 1 0 77747821 5377122304 1300444 33554432000 4194304 6142532 140722154663712 140722154660424 5363575 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1312774 1300444 894 476 0 1306096 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 5251096 KiB
Current children cumulated memory: 5201776 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 9123
/proc/meminfo: memFree=12562268/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5671812 memory=5572208 CPUtime=162.28 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 2101785 0 0 0 16012 216 0 0 20 0 1 0 77747821 5807935488 1393052 33554432000 4194304 6142532 140722154663712 140722154660344 5047845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1417953 1393052 894 476 0 1411275 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 5671812 KiB
Current children cumulated memory: 5572208 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 9124
/proc/meminfo: memFree=12554368/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5677084 memory=5576808 CPUtime=222.28 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 2225988 0 0 0 22007 221 0 0 20 0 1 0 77747821 5813334016 1394202 33554432000 4194304 6142532 140722154663712 140722154660616 5398198 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1419271 1394202 894 476 0 1412593 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 5677084 KiB
Current children cumulated memory: 5576808 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 9125
/proc/meminfo: memFree=12144076/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5677084 memory=5576980 CPUtime=282.27 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 2458438 0 0 0 27995 232 0 0 20 0 1 0 77747821 5813334016 1394245 33554432000 4194304 6142532 140722154663712 140722154660616 5363544 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1419271 1394245 894 476 0 1412593 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 5677084 KiB
Current children cumulated memory: 5576980 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 9126
/proc/meminfo: memFree=12134120/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5677084 memory=5576980 CPUtime=342.28 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 2637625 0 0 0 33986 242 0 0 20 0 1 0 77747821 5813334016 1394245 33554432000 4194304 6142532 140722154663712 140722154660616 5372403 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1419271 1394245 894 476 0 1412593 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 5677084 KiB
Current children cumulated memory: 5576980 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9135
/proc/meminfo: memFree=12132188/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5677084 memory=5576988 CPUtime=402.27 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 2805977 0 0 0 39977 250 0 0 20 0 1 0 77747821 5813334016 1394247 33554432000 4194304 6142532 140722154663712 140722154660616 5374084 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1419271 1394247 894 476 0 1412593 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 5677084 KiB
Current children cumulated memory: 5576988 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9136
/proc/meminfo: memFree=12131108/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5677084 memory=5578268 CPUtime=462.28 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 2997703 0 0 0 45967 261 0 0 20 0 1 0 77747821 5813334016 1394567 33554432000 4194304 6142532 140722154663712 140722154660616 5047816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1419271 1394567 894 476 0 1412593 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 5677084 KiB
Current children cumulated memory: 5578268 KiB
################
# More data... #
################
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 9223
/proc/meminfo: memFree=12085752/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5711452 memory=5622000 CPUtime=1842.23 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 6721407 0 0 0 183781 442 0 0 20 0 1 0 77747821 5848526848 1405500 33554432000 4194304 6142532 140722154663712 140722154660344 5366742 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1427863 1405500 894 476 0 1421185 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 5711452 KiB
Current children cumulated memory: 5622000 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9224
/proc/meminfo: memFree=12085848/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5711452 memory=5622000 CPUtime=1902.22 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 6870038 0 0 0 189773 449 0 0 20 0 1 0 77747821 5848526848 1405500 33554432000 4194304 6142532 140722154663712 140722154660344 139829911587727 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1427863 1405500 894 476 0 1421185 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 5711452 KiB
Current children cumulated memory: 5622000 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9225
/proc/meminfo: memFree=12085372/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5711452 memory=5622000 CPUtime=1962.23 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 7023952 0 0 0 195766 457 0 0 20 0 1 0 77747821 5848526848 1405500 33554432000 4194304 6142532 140722154663712 140722154660344 5399733 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1427863 1405500 894 476 0 1421185 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 5711452 KiB
Current children cumulated memory: 5622000 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9226
/proc/meminfo: memFree=12084888/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5711452 memory=5622000 CPUtime=2022.22 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 7176674 0 0 0 201757 465 0 0 20 0 1 0 77747821 5848526848 1405500 33554432000 4194304 6142532 140722154663712 140722154660344 5361758 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1427863 1405500 894 476 0 1421185 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 5711452 KiB
Current children cumulated memory: 5622000 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9227
/proc/meminfo: memFree=12084440/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5711452 memory=5622000 CPUtime=2082.23 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 7334388 0 0 0 207749 474 0 0 20 0 1 0 77747821 5848526848 1405500 33554432000 4194304 6142532 140722154663712 140722154660344 5361236 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1427863 1405500 894 476 0 1421185 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 5711452 KiB
Current children cumulated memory: 5622000 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9228
/proc/meminfo: memFree=12085104/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5711452 memory=5622000 CPUtime=2142.22 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 7492014 0 0 0 213741 481 0 0 20 0 1 0 77747821 5848526848 1405500 33554432000 4194304 6142532 140722154663712 140722154660344 5401380 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1427863 1405500 894 476 0 1421185 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 5711452 KiB
Current children cumulated memory: 5622000 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9237
/proc/meminfo: memFree=12085632/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5711452 memory=5622000 CPUtime=2202.22 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 7635778 0 0 0 219734 488 0 0 20 0 1 0 77747821 5848526848 1405500 33554432000 4194304 6142532 140722154663712 140722154660344 5374073 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1427863 1405500 894 476 0 1421185 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 5711452 KiB
Current children cumulated memory: 5622000 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9238
/proc/meminfo: memFree=12086012/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5711452 memory=5622000 CPUtime=2262.22 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 7789428 0 0 0 225725 497 0 0 20 0 1 0 77747821 5848526848 1405500 33554432000 4194304 6142532 140722154663712 140722154660344 5401383 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1427863 1405500 894 476 0 1421185 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 5711452 KiB
Current children cumulated memory: 5622000 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9239
/proc/meminfo: memFree=12086076/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5711452 memory=5622000 CPUtime=2322.22 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 7942649 0 0 0 231717 505 0 0 20 0 1 0 77747821 5848526848 1405500 33554432000 4194304 6142532 140722154663712 140722154660344 139829902563216 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1427863 1405500 894 476 0 1421185 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 5711452 KiB
Current children cumulated memory: 5622000 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9240
/proc/meminfo: memFree=12085892/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5711452 memory=5622000 CPUtime=2382.21 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 8097509 0 0 0 237709 512 0 0 20 0 1 0 77747821 5848526848 1405500 33554432000 4194304 6142532 140722154663712 140722154660344 139829902566230 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1427863 1405500 894 476 0 1421185 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 5711452 KiB
Current children cumulated memory: 5622000 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9241
/proc/meminfo: memFree=12086028/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5711452 memory=5622000 CPUtime=2442.21 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 8242581 0 0 0 243702 519 0 0 20 0 1 0 77747821 5848526848 1405500 33554432000 4194304 6142532 140722154663712 140722154660344 5371699 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1427863 1405500 894 476 0 1421185 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 5711452 KiB
Current children cumulated memory: 5622000 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9243
/proc/meminfo: memFree=12084996/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5711452 memory=5622000 CPUtime=2502.2 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 8394378 0 0 0 249694 526 0 0 20 0 1 0 77747821 5848526848 1405500 33554432000 4194304 6142532 140722154663712 140722154660344 139829902566427 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1427863 1405500 894 476 0 1421185 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 5711452 KiB
Current children cumulated memory: 5622000 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 9304
/proc/meminfo: memFree=17546864/32770624 swapFree=67108860/67108860
[pid=9120] ppid=9117 vsize=5711452 memory=5622000 CPUtime=2519.92 cores=0,2,4,6
/proc/9120/stat : 9120 (cosoco) R 9117 9120 8215 0 -1 4202496 8425837 0 0 0 251463 529 0 0 20 0 1 0 77747821 5848526848 1405500 33554432000 4194304 6142532 140722154663712 140722154660344 5375774 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17649664 140722154669190 140722154669320 140722154669320 140722154672078 0
/proc/9120/statm: 1427863 1405500 894 476 0 1421185 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 5711452 KiB
Current children cumulated memory: 5622000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.32 s]
# the end of solver process 9120 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.64 s, system=5.59982 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.21 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9304
/proc/meminfo: memFree=19312864/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2520.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9304
/proc/meminfo: memFree=19312864/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 2520.32
CPU time (s): 2520.24
CPU user time (s): 2514.64
CPU system time (s): 5.59982
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 5711452
Max. memory (cumulated for all children) (KiB): 5622000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.64
system time used= 5.59982
maximum resident set size= 5622060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8425886
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= 6
involuntary context switches= 794
# summary of solver processes directly reported to runsolver:
# pid: 9120
# total CPU time (s): 2520.24
# total CPU user time (s): 2514.64
# total CPU system time (s): 5.59982
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.65027 second user time and 18.3479 second system time
The end