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 (15305 MiB free)
memory of node 1: 16384 MiB (15471 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408944-1569787394/watcher-4408944-1569787394 -o /tmp/evaluation-result-4408944-1569787394/solver-4408944-1569787394 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1569787349-13105 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408944-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
Current StackSize limit: 8192 KiB
solver pid=13134, runsolver pid=13128
[startup+0.100136 s]*
/proc/loadavg: 0.00 0.01 0.05 2/200 13136
/proc/meminfo: memFree=31516404/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=2272 memory=4 CPUtime=0 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4194304 158 0 0 0 0 0 0 0 20 0 1 0 554681172 2326528 1 33554432000 4194304 6211132 140720839160000 140720839157224 140490032436935 0 0 4096 0 0 0 0 17 6 0 0 4 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 568 1 0 493 0 39 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 2272 KiB
Current children cumulated memory: 4 KiB
[startup+0.209338 s]*
/proc/loadavg: 0.00 0.01 0.05 2/200 13136
/proc/meminfo: memFree=31516404/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=2272 memory=4 CPUtime=0 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) D 13128 13134 13074 0 -1 4194304 158 0 0 0 0 0 0 0 20 0 1 0 554681172 2326528 1 33554432000 4194304 6211132 140720839160000 140720839157224 140490032436935 0 0 4096 0 18446744071585676691 0 0 17 0 0 0 4 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 568 1 0 493 0 39 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 2272 KiB
Current children cumulated memory: 4 KiB
[startup+0.309118 s]*
/proc/loadavg: 0.00 0.01 0.05 2/200 13136
/proc/meminfo: memFree=31516404/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=4560 memory=188 CPUtime=0 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) D 13128 13134 13074 0 -1 4194304 174 0 0 0 0 0 0 0 20 0 1 0 554681172 4669440 47 33554432000 4194304 6211132 140720839160000 140720839157176 140490032436935 0 0 4096 0 18446744071580996127 0 0 17 0 0 0 4 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/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.700239 s]
/proc/loadavg: 0.00 0.01 0.05 2/200 13136
/proc/meminfo: memFree=31511196/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4396 CPUtime=0.14 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 1295 0 0 0 14 0 0 0 20 0 1 0 554681172 28549120 1099 33554432000 4194304 6211132 140720839160000 140720839156488 5390520 0 0 4096 8405026 0 0 0 17 0 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1099 859 493 0 275 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4396 KiB
[startup+1.50023 s]
/proc/loadavg: 0.00 0.01 0.05 4/200 13136
/proc/meminfo: memFree=31509428/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4396 CPUtime=0.94 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 1303 0 0 0 94 0 0 0 20 0 1 0 554681172 28549120 1099 33554432000 4194304 6211132 140720839160000 140720839147880 5166947 0 0 4096 8405026 0 0 0 17 0 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1099 859 493 0 275 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4396 KiB
[startup+3.10913 s]
/proc/loadavg: 0.16 0.05 0.06 4/200 13136
/proc/meminfo: memFree=31509568/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4572 CPUtime=2.55 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 1495 0 0 0 255 0 0 0 20 0 1 0 554681172 28549120 1143 33554432000 4194304 6211132 140720839160000 140720839147880 5168224 0 0 4096 8405026 0 0 0 17 0 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1143 895 493 0 275 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4572 KiB
[startup+6.30022 s]
/proc/loadavg: 0.16 0.05 0.06 4/200 13136
/proc/meminfo: memFree=31509676/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4572 CPUtime=5.73 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 1683 0 0 0 573 0 0 0 20 0 1 0 554681172 28549120 1143 33554432000 4194304 6211132 140720839160000 140720839158136 5393997 0 0 4096 8405026 0 0 0 17 0 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1143 895 493 0 275 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4572 KiB
[startup+12.7002 s]
/proc/loadavg: 0.31 0.08 0.07 4/200 13136
/proc/meminfo: memFree=31510400/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4572 CPUtime=12.13 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 1862 0 0 0 1213 0 0 0 20 0 1 0 554681172 28549120 1143 33554432000 4194304 6211132 140720839160000 140720839158136 5186208 0 0 4096 8405026 0 0 0 17 0 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1143 895 493 0 275 0
Current children cumulated CPU time: 12.13 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4572 KiB
[startup+25.5002 s]
/proc/loadavg: 0.68 0.17 0.10 4/200 13136
/proc/meminfo: memFree=31511320/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4572 CPUtime=24.93 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 2239 0 0 0 2493 0 0 0 20 0 1 0 554681172 28549120 1143 33554432000 4194304 6211132 140720839160000 140720839158136 5393952 0 0 4096 8405026 0 0 0 17 0 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1143 895 493 0 275 0
Current children cumulated CPU time: 24.93 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4572 KiB
[startup+51.1091 s]
/proc/loadavg: 1.13 0.32 0.15 4/200 13139
/proc/meminfo: memFree=31510852/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4572 CPUtime=50.53 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 2413 0 0 0 5053 0 0 0 20 0 1 0 554681172 28549120 1143 33554432000 4194304 6211132 140720839160000 140720839158136 5193742 0 0 4096 8405026 0 0 0 17 0 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1143 895 493 0 275 0
Current children cumulated CPU time: 50.53 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4572 KiB
[startup+102.3 s]
/proc/loadavg: 1.62 0.58 0.25 4/200 13143
/proc/meminfo: memFree=31509996/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4572 CPUtime=101.72 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 2609 0 0 0 10172 0 0 0 20 0 1 0 554681172 28549120 1143 33554432000 4194304 6211132 140720839160000 140720839147880 5193728 0 0 4096 8405026 0 0 0 17 0 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1143 895 493 0 275 0
Current children cumulated CPU time: 101.72 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4572 KiB
[startup+162.3 s]
/proc/loadavg: 1.86 0.84 0.35 4/201 13148
/proc/meminfo: memFree=31509852/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4572 CPUtime=161.7 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 2811 0 0 0 16170 0 0 0 20 0 1 0 554681172 28549120 1143 33554432000 4194304 6211132 140720839160000 140720839147880 5167091 0 0 4096 8405026 0 0 0 17 0 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1143 895 493 0 275 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4572 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.05 0.46 4/200 13154
/proc/meminfo: memFree=31509588/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4576 CPUtime=221.7 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 3002 0 0 0 22169 1 0 0 20 0 1 0 554681172 28549120 1144 33554432000 4194304 6211132 140720839160000 140720839158136 5393952 0 0 4096 8405026 0 0 0 17 0 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1144 895 493 0 275 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4576 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.55 4/200 13158
/proc/meminfo: memFree=31509856/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=281.69 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 3195 0 0 0 28168 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839158136 5398590 0 0 4096 8405026 0 0 0 17 0 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 281.69 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.64 4/200 13162
/proc/meminfo: memFree=31510360/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=341.68 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 3388 0 0 0 34167 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839147880 5156963 0 0 4096 8405026 0 0 0 17 0 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 341.68 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.48 0.73 4/200 13168
/proc/meminfo: memFree=31510168/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=401.67 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 3565 0 0 0 40166 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839147880 5102842 0 0 4096 8405026 0 0 0 17 0 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 401.67 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.81 4/200 13180
/proc/meminfo: memFree=31509624/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=461.66 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 3747 0 0 0 46165 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839147880 5393952 0 0 4096 8405026 0 0 0 17 0 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 461.66 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
################
# More data... #
################
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 1601.55 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.67 4/201 13293
/proc/meminfo: memFree=31507532/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=1661.55 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 7317 0 0 0 166154 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839147880 5394002 0 0 4096 8405026 0 0 0 17 4 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 1661.55 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.69 4/199 13297
/proc/meminfo: memFree=31508568/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=1721.54 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 7492 0 0 0 172153 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839147880 5168368 0 0 4096 8405026 0 0 0 17 4 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 1721.54 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.71 4/200 13302
/proc/meminfo: memFree=31508396/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=1781.54 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 7683 0 0 0 178153 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839158136 5167591 0 0 4096 8405026 0 0 0 17 4 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 1781.54 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.73 4/201 13309
/proc/meminfo: memFree=31507796/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=1841.54 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 7858 0 0 0 184153 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839158136 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 1841.54 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.74 4/201 13313
/proc/meminfo: memFree=31507400/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=1901.54 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 8033 0 0 0 190153 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839158136 5103391 0 0 4096 8405026 0 0 0 17 4 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 1901.54 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.76 4/200 13317
/proc/meminfo: memFree=31507704/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=1961.53 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 8211 0 0 0 196152 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839158136 5167920 0 0 4096 8405026 0 0 0 17 4 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 1961.53 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.78 4/200 13323
/proc/meminfo: memFree=31506784/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=2021.53 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 8383 0 0 0 202152 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839158136 5393952 0 0 4096 8405026 0 0 0 17 4 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 2021.53 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.79 4/200 13327
/proc/meminfo: memFree=31506960/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=2081.53 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 8555 0 0 0 208152 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839158136 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 2081.53 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.80 4/199 13331
/proc/meminfo: memFree=31507000/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=2141.53 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 8726 0 0 0 214152 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839158136 5168257 0 0 4096 8405026 0 0 0 17 4 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 2141.53 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.81 4/199 13337
/proc/meminfo: memFree=31507088/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=2201.52 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 8904 0 0 0 220151 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839158136 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 2201.52 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.82 4/199 13348
/proc/meminfo: memFree=31506704/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=2261.52 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 9078 0 0 0 226151 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839158136 5390037 0 0 4096 8405026 0 0 0 17 4 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 2261.52 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.84 4/199 13352
/proc/meminfo: memFree=31507040/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=2321.52 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 9247 0 0 0 232151 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839158136 5390144 0 0 4096 8405026 0 0 0 17 4 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 2321.52 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.85 4/199 13358
/proc/meminfo: memFree=31506780/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=2381.52 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 9425 0 0 0 238151 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839158136 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 2381.52 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.8 s]
/proc/loadavg: 2.00 1.99 1.85 4/199 13358
/proc/meminfo: memFree=31506788/32770624 swapFree=66974988/67108860
[pid=13134] ppid=13128 vsize=27880 memory=4580 CPUtime=2400.02 cores=0,2,4,6
/proc/13134/stat : 13134 (cosoco) R 13128 13134 13074 0 -1 4202496 9597 0 0 0 240001 1 0 0 20 0 1 0 554681172 28549120 1145 33554432000 4194304 6211132 140720839160000 140720839158136 5166595 0 0 4096 8405026 0 0 0 17 4 0 0 14 0 0 8312316 8317760 18903040 140720839164939 140720839165041 140720839165041 140720839167950 0
/proc/13134/statm: 6970 1145 895 493 0 275 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 27880 KiB
Current children cumulated memory: 4580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.8 s]
# the end of solver process 13134 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.01 s, system=0.019998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.8
CPU time (s): 2400.03
CPU user time (s): 2400.01
CPU system time (s): 0.019998
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 27880
Max. memory (cumulated for all children) (KiB): 4580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.019998
maximum resident set size= 4644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9648
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= 47
involuntary context switches= 1276
# summary of solver processes directly reported to runsolver:
# pid: 13134
# total CPU time (s): 2400.03
# total CPU user time (s): 2400.01
# total CPU system time (s): 0.019998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.25339 second user time and 15.0144 second system time
The end