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 (13937 MiB free)
memory of node 1: 16384 MiB (15617 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397402-1568572784/watcher-4397402-1568572784 -o /tmp/evaluation-result-4397402-1568572784/solver-4397402-1568572784 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568572893-29519 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397402-1568572784.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=29545, runsolver pid=29540
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 0.00 0.01 0.05 2/196 29550
/proc/meminfo: memFree=30264356/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27756 memory=4216 CPUtime=0.02 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 1239 0 0 0 2 0 0 0 20 0 1 0 433546794 28422144 1054 33554432000 4194304 6211092 140727337077184 140727337073672 139630716967909 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6939 1054 859 493 0 244 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4216 KiB
[startup+0.209534 s]*
/proc/loadavg: 0.00 0.01 0.05 2/193 29558
/proc/meminfo: memFree=30265120/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27756 memory=4216 CPUtime=0.13 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 1251 0 0 0 13 0 0 0 20 0 1 0 433546794 28422144 1054 33554432000 4194304 6211092 140727337077184 140727337075144 5078923 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6939 1054 859 493 0 244 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4216 KiB
[startup+0.308984 s]*
/proc/loadavg: 0.00 0.01 0.05 3/193 29558
/proc/meminfo: memFree=30264856/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27756 memory=4216 CPUtime=0.23 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 1252 0 0 0 23 0 0 0 20 0 1 0 433546794 28422144 1054 33554432000 4194304 6211092 140727337077184 140727337075144 5078962 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6939 1054 859 493 0 244 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4216 KiB
[startup+0.700206 s]
/proc/loadavg: 0.00 0.01 0.05 2/193 29558
/proc/meminfo: memFree=30264856/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27756 memory=4216 CPUtime=0.62 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 1253 0 0 0 62 0 0 0 20 0 1 0 433546794 28422144 1054 33554432000 4194304 6211092 140727337077184 140727337075144 5081401 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6939 1054 859 493 0 244 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4216 KiB
[startup+1.50023 s]
/proc/loadavg: 0.00 0.01 0.05 2/197 29565
/proc/meminfo: memFree=30263524/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27756 memory=4216 CPUtime=1.42 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 1254 0 0 0 142 0 0 0 20 0 1 0 433546794 28422144 1054 33554432000 4194304 6211092 140727337077184 140727337075144 5392339 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6939 1054 859 493 0 244 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4216 KiB
[startup+3.10894 s]
/proc/loadavg: 0.00 0.01 0.05 3/198 29611
/proc/meminfo: memFree=30262628/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27756 memory=4372 CPUtime=3.02 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 1423 0 0 0 302 0 0 0 20 0 1 0 433546794 28422144 1093 33554432000 4194304 6211092 140727337077184 140727337075144 5075536 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6939 1093 860 493 0 244 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4372 KiB
[startup+6.30022 s]
/proc/loadavg: 0.16 0.05 0.06 3/198 29611
/proc/meminfo: memFree=30263256/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27756 memory=4384 CPUtime=6.21 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 1598 0 0 0 621 0 0 0 20 0 1 0 433546794 28422144 1096 33554432000 4194304 6211092 140727337077184 140727337075144 5082762 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6939 1096 860 493 0 244 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4384 KiB
[startup+12.7002 s]
/proc/loadavg: 0.31 0.08 0.07 3/198 29611
/proc/meminfo: memFree=30263480/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27756 memory=4384 CPUtime=12.61 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 1770 0 0 0 1261 0 0 0 20 0 1 0 433546794 28422144 1096 33554432000 4194304 6211092 140727337077184 140727337075144 5193696 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6939 1096 860 493 0 244 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4384 KiB
[startup+25.5002 s]
/proc/loadavg: 0.68 0.17 0.10 3/199 29613
/proc/meminfo: memFree=30264348/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27756 memory=4384 CPUtime=25.41 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 2113 0 0 0 2541 0 0 0 20 0 1 0 433546794 28422144 1096 33554432000 4194304 6211092 140727337077184 140727337075144 5186299 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6939 1096 860 493 0 244 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4384 KiB
[startup+51.1089 s]
/proc/loadavg: 1.13 0.32 0.15 3/198 29613
/proc/meminfo: memFree=30264304/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27756 memory=4384 CPUtime=51.02 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 2285 0 0 0 5101 1 0 0 20 0 1 0 433546794 28422144 1096 33554432000 4194304 6211092 140727337077184 140727337075144 5081728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6939 1096 860 493 0 244 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4384 KiB
[startup+102.3 s]
/proc/loadavg: 1.62 0.58 0.25 3/197 29617
/proc/meminfo: memFree=30265396/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4388 CPUtime=102.2 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 2459 0 0 0 10219 1 0 0 20 0 1 0 433546794 28557312 1097 33554432000 4194304 6211092 140727337077184 140727337075144 5081337 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1097 860 493 0 277 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4388 KiB
[startup+162.3 s]
/proc/loadavg: 2.26 0.93 0.39 3/198 29624
/proc/meminfo: memFree=30263240/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4388 CPUtime=162.19 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 2632 0 0 0 16218 1 0 0 20 0 1 0 433546794 28557312 1097 33554432000 4194304 6211092 140727337077184 140727337075144 5083040 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1097 860 493 0 277 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4388 KiB
[startup+222.3 s]
/proc/loadavg: 2.20 1.17 0.50 3/197 29628
/proc/meminfo: memFree=30263152/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4396 CPUtime=222.18 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 2807 0 0 0 22217 1 0 0 20 0 1 0 433546794 28557312 1099 33554432000 4194304 6211092 140727337077184 140727337075144 5081337 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1099 860 493 0 277 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4396 KiB
[startup+282.3 s]
/proc/loadavg: 2.07 1.32 0.60 3/197 29632
/proc/meminfo: memFree=30263128/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4396 CPUtime=282.17 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 2981 0 0 0 28216 1 0 0 20 0 1 0 433546794 28557312 1099 33554432000 4194304 6211092 140727337077184 140727337075144 5082818 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1099 860 493 0 277 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4396 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 1.44 0.68 3/197 29638
/proc/meminfo: memFree=30263308/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4396 CPUtime=342.16 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 3155 0 0 0 34215 1 0 0 20 0 1 0 433546794 28557312 1099 33554432000 4194304 6211092 140727337077184 140727337075144 5078967 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1099 860 493 0 277 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4396 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 1.55 0.77 3/197 29642
/proc/meminfo: memFree=30262540/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4396 CPUtime=402.15 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 3329 0 0 0 40214 1 0 0 20 0 1 0 433546794 28557312 1099 33554432000 4194304 6211092 140727337077184 140727337075144 5082468 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1099 860 493 0 277 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4396 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.63 0.84 3/197 29646
/proc/meminfo: memFree=30263012/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4396 CPUtime=462.14 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 3504 0 0 0 46213 1 0 0 20 0 1 0 433546794 28557312 1099 33554432000 4194304 6211092 140727337077184 140727337075144 5075237 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1099 860 493 0 277 0
Current children cumulated CPU time: 462.14 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4396 KiB
################
# More data... #
################
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 1602.02 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
[startup+1662.3 s]
/proc/loadavg: 2.05 2.00 1.69 3/197 29780
/proc/meminfo: memFree=30262068/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4408 CPUtime=1662.02 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 6908 0 0 0 166200 2 0 0 20 0 1 0 433546794 28557312 1102 33554432000 4194304 6211092 140727337077184 140727337075144 5078695 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 1662.02 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 1.71 3/197 29791
/proc/meminfo: memFree=30262012/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4408 CPUtime=1722.01 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 7085 0 0 0 172199 2 0 0 20 0 1 0 433546794 28557312 1102 33554432000 4194304 6211092 140727337077184 140727337075144 5074526 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 1722.01 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.73 3/197 29797
/proc/meminfo: memFree=30261912/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4408 CPUtime=1782.01 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 7247 0 0 0 178199 2 0 0 20 0 1 0 433546794 28557312 1102 33554432000 4194304 6211092 140727337077184 140727337075144 5083272 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 1782.01 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/197 29801
/proc/meminfo: memFree=30262076/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4408 CPUtime=1842 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 7424 0 0 0 184198 2 0 0 20 0 1 0 433546794 28557312 1102 33554432000 4194304 6211092 140727337077184 140727337075144 5081280 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 1842 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/197 29805
/proc/meminfo: memFree=30262484/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4408 CPUtime=1902 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 7588 0 0 0 190198 2 0 0 20 0 1 0 433546794 28557312 1102 33554432000 4194304 6211092 140727337077184 140727337075144 5078748 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 1902 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/197 29811
/proc/meminfo: memFree=30262224/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4408 CPUtime=1961.99 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 7751 0 0 0 196197 2 0 0 20 0 1 0 433546794 28557312 1102 33554432000 4194304 6211092 140727337077184 140727337075144 5079456 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 1961.99 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/197 29816
/proc/meminfo: memFree=30262120/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4408 CPUtime=2021.99 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 7915 0 0 0 202197 2 0 0 20 0 1 0 433546794 28557312 1102 33554432000 4194304 6211092 140727337077184 140727337075144 5397226 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 2021.99 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/197 29820
/proc/meminfo: memFree=30262308/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4408 CPUtime=2081.99 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 8092 0 0 0 208197 2 0 0 20 0 1 0 433546794 28557312 1102 33554432000 4194304 6211092 140727337077184 140727337075144 5075269 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 2081.99 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
[startup+2142.3 s]
/proc/loadavg: 2.08 2.02 1.82 3/197 29826
/proc/meminfo: memFree=30262404/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4408 CPUtime=2141.98 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 8256 0 0 0 214196 2 0 0 20 0 1 0 433546794 28557312 1102 33554432000 4194304 6211092 140727337077184 140727337075144 5081305 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 2141.98 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.01 1.83 3/197 29830
/proc/meminfo: memFree=30262652/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4408 CPUtime=2201.98 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 8420 0 0 0 220196 2 0 0 20 0 1 0 433546794 28557312 1102 33554432000 4194304 6211092 140727337077184 140727337075144 5075234 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 2201.98 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 1.84 3/197 29834
/proc/meminfo: memFree=30262180/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4408 CPUtime=2261.97 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 8597 0 0 0 226195 2 0 0 20 0 1 0 433546794 28557312 1102 33554432000 4194304 6211092 140727337077184 140727337075144 5079333 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 2261.97 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/198 29848
/proc/meminfo: memFree=30261060/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4408 CPUtime=2321.97 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 8761 0 0 0 232195 2 0 0 20 0 1 0 433546794 28557312 1102 33554432000 4194304 6211092 140727337077184 140727337075144 5081375 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 2321.97 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/198 29852
/proc/meminfo: memFree=30261804/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4408 CPUtime=2381.97 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 8925 0 0 0 238195 2 0 0 20 0 1 0 433546794 28557312 1102 33554432000 4194304 6211092 140727337077184 140727337075144 5076376 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 2381.97 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.08 2.03 1.87 3/198 29852
/proc/meminfo: memFree=30261556/32770624 swapFree=66932316/67108860
[pid=29545] ppid=29540 vsize=27888 memory=4408 CPUtime=2400.06 cores=0,2,4,6
/proc/29545/stat : 29545 (cosoco) R 29540 29545 29488 0 -1 4202496 9089 0 0 0 240004 2 0 0 20 0 1 0 433546794 28557312 1102 33554432000 4194304 6211092 140727337077184 140727337075144 5081341 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39596032 140727337083915 140727337084017 140727337084017 140727337086926 0
/proc/29545/statm: 6972 1102 860 493 0 277 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 4408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.4 s]
# the end of solver process 29545 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.05 s, system=0.021997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.07
CPU user time (s): 2400.05
CPU system time (s): 0.021997
CPU usage (%): 99.9863
Max. virtual memory (cumulated for all children) (KiB): 27888
Max. memory (cumulated for all children) (KiB): 4408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.021997
maximum resident set size= 4472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9139
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= 39
involuntary context switches= 2870
# summary of solver processes directly reported to runsolver:
# pid: 29545
# total CPU time (s): 2400.07
# total CPU user time (s): 2400.05
# total CPU system time (s): 0.021997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24412 second user time and 16.7759 second system time
The end