runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267580-1502519731/watcher-4267580-1502519731 -o /tmp/evaluation-result-4267580-1502519731/solver-4267580-1502519731 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28377 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267580-1502519731.xml
pid=2289
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.03 2.05 3/189 2292
/proc/meminfo: memFree=31007596/32770624 swapFree=0/454472
[pid=2292] ppid=2289 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/2292/stat : 2292 (runsolver) D 2289 2292 28313 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 99788330 24240128 106 18446744073709551615 4194304 4338465 140737390954528 140737390952168 139624315818711 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 15908864 140737390956737 140737390957129 140737390957129 140737390960586 0
/proc/2292/statm: 5918 106 53 36 0 2156 0
[startup+0.101024 s]
/proc/loadavg: 2.03 2.03 2.05 3/189 2292
/proc/meminfo: memFree=31007596/32770624 swapFree=0/454472
[pid=2292] ppid=2289 vsize=30468 CPUtime=0.04 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1851 0 0 0 4 0 0 0 20 0 1 0 99788330 31199232 1644 18446744073709551615 4194304 5972588 140732934258144 140732934252680 140100082967454 0 0 1 0 0 0 0 17 6 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 7617 1644 711 435 0 980 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 30468
[startup+0.201025 s]
/proc/loadavg: 2.03 2.03 2.05 3/189 2292
/proc/meminfo: memFree=31007596/32770624 swapFree=0/454472
[pid=2292] ppid=2289 vsize=64160 CPUtime=0.14 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 10276 0 0 0 13 1 0 0 20 0 1 0 99788330 65699840 10059 18446744073709551615 4194304 5972588 140732934258144 140732934252616 5510706 0 0 1 0 0 0 0 17 6 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 16040 10059 738 435 0 9403 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 64160
[startup+0.30102 s]
/proc/loadavg: 2.03 2.03 2.05 3/189 2292
/proc/meminfo: memFree=31007596/32770624 swapFree=0/454472
[pid=2292] ppid=2289 vsize=65052 CPUtime=0.24 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 10502 0 0 0 23 1 0 0 20 0 1 0 99788330 66613248 10257 18446744073709551615 4194304 5972588 140732934258144 140732934252616 5635672 0 0 1 0 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 16263 10257 743 435 0 9626 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 65052
[startup+0.700349 s]
/proc/loadavg: 2.03 2.03 2.05 3/189 2292
/proc/meminfo: memFree=31007596/32770624 swapFree=0/454472
[pid=2292] ppid=2289 vsize=376688 CPUtime=0.64 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 88440 0 0 0 54 10 0 0 20 0 1 0 99788330 385728512 88203 18446744073709551615 4194304 5972588 140732934258144 140732934252616 140100073536485 0 0 1 0 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 94214 88203 750 435 0 87577 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 376688
[startup+1.50029 s]
/proc/loadavg: 2.03 2.03 2.05 3/190 2293
/proc/meminfo: memFree=30499688/32770624 swapFree=0/454756
[pid=2292] ppid=2289 vsize=534172 CPUtime=1.44 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 127923 0 0 0 130 14 0 0 20 0 1 0 99788330 546992128 127641 18446744073709551615 4194304 5972588 140732934258144 140732934253048 5328506 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 133543 127641 762 435 0 126906 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 534172
[startup+3.10028 s]
/proc/loadavg: 2.03 2.02 2.05 3/190 2293
/proc/meminfo: memFree=30499212/32770624 swapFree=0/454492
[pid=2292] ppid=2289 vsize=534172 CPUtime=3.04 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 137449 0 0 0 289 15 0 0 20 0 1 0 99788330 546992128 127676 18446744073709551615 4194304 5972588 140732934258144 140732934253048 5328641 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 133543 127676 793 435 0 126906 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 534172
[startup+6.30035 s]
/proc/loadavg: 2.03 2.02 2.05 3/190 2293
/proc/meminfo: memFree=30396572/32770624 swapFree=0/454488
[pid=2292] ppid=2289 vsize=686976 CPUtime=6.24 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 202009 0 0 0 602 22 0 0 20 0 1 0 99788330 703463424 165848 18446744073709551615 4194304 5972588 140732934258144 140732934254744 140100073536485 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 171744 165848 795 435 0 165107 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 686976
[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 2293
/proc/meminfo: memFree=30003972/32770624 swapFree=0/454488
[pid=2292] ppid=2289 vsize=1052188 CPUtime=12.64 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 391347 0 0 0 1226 38 0 0 20 0 1 0 99788330 1077440512 255971 18446744073709551615 4194304 5972588 140732934258144 140732934254904 140100073536485 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 263081 256016 795 435 0 256444 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 1052188
[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 2293
/proc/meminfo: memFree=29281940/32770624 swapFree=0/454484
[pid=2292] ppid=2289 vsize=1817172 CPUtime=25.44 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 677424 0 0 0 2479 65 0 0 20 0 1 0 99788330 1860784128 431981 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039159 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 454293 431981 795 435 0 447656 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 1817172
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 2294
/proc/meminfo: memFree=28723332/32770624 swapFree=0/454484
[pid=2292] ppid=2289 vsize=2435692 CPUtime=51.05 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 976487 0 0 0 5013 92 0 0 20 0 1 0 99788330 2494148608 571284 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039310 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 571284 795 435 0 602286 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 2435692
[startup+102.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 2297
/proc/meminfo: memFree=28721612/32770624 swapFree=0/454488
[pid=2292] ppid=2289 vsize=2435692 CPUtime=102.24 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1059608 0 0 0 10125 99 0 0 20 0 1 0 99788330 2494148608 571310 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5094144 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 571310 795 435 0 602286 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 2435692
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 2299
/proc/meminfo: memFree=28721088/32770624 swapFree=0/454504
[pid=2292] ppid=2289 vsize=2435692 CPUtime=162.23 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1097295 0 0 0 16123 100 0 0 20 0 1 0 99788330 2494148608 571310 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039164 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 571310 795 435 0 602286 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 2435692
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 2302
/proc/meminfo: memFree=28720608/32770624 swapFree=0/454512
[pid=2292] ppid=2289 vsize=2435692 CPUtime=222.23 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1137167 0 0 0 22120 103 0 0 20 0 1 0 99788330 2494148608 571310 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5338164 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 571310 795 435 0 602286 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 2435692
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2305
/proc/meminfo: memFree=28720268/32770624 swapFree=0/454512
[pid=2292] ppid=2289 vsize=2435692 CPUtime=282.23 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1156187 0 0 0 28118 105 0 0 20 0 1 0 99788330 2494148608 571310 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5338164 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 571310 795 435 0 602286 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 2435692
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2307
/proc/meminfo: memFree=28720484/32770624 swapFree=0/454524
[pid=2292] ppid=2289 vsize=2435692 CPUtime=342.22 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1176383 0 0 0 34116 106 0 0 20 0 1 0 99788330 2494148608 571310 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039159 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 571310 795 435 0 602286 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 2435692
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 2310
/proc/meminfo: memFree=28719912/32770624 swapFree=0/454540
[pid=2292] ppid=2289 vsize=2435692 CPUtime=402.21 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1185454 0 0 0 40114 107 0 0 20 0 1 0 99788330 2494148608 571310 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039164 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 571310 795 435 0 602286 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 2435692
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 2312
/proc/meminfo: memFree=28718664/32770624 swapFree=0/454552
[pid=2292] ppid=2289 vsize=2435692 CPUtime=462.2 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1193532 0 0 0 46113 107 0 0 20 0 1 0 99788330 2494148608 571310 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5099630 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 571310 795 435 0 602286 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 2435692
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/189 2329
/proc/meminfo: memFree=28713864/32770624 swapFree=0/454548
[pid=2292] ppid=2289 vsize=2435692 CPUtime=522.2 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1199003 0 0 0 52112 108 0 0 20 0 1 0 99788330 2494148608 571310 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5099616 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 571310 795 435 0 602286 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2435692
[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/189 2332
/proc/meminfo: memFree=28712060/32770624 swapFree=0/454572
[pid=2292] ppid=2289 vsize=2435692 CPUtime=582.21 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1209268 0 0 0 58112 109 0 0 20 0 1 0 99788330 2494148608 571310 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039701 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 571310 795 435 0 602286 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 2435692
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/186 2448
/proc/meminfo: memFree=28685116/32770624 swapFree=0/454756
[pid=2292] ppid=2289 vsize=2435692 CPUtime=1602.27 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1330343 0 0 0 160109 118 0 0 20 0 1 0 99788330 2494148608 598957 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039701 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598957 795 435 0 602286 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 2435692
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 2450
/proc/meminfo: memFree=28685100/32770624 swapFree=0/454768
[pid=2292] ppid=2289 vsize=2435692 CPUtime=1662.28 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1336632 0 0 0 166109 119 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5040154 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 2435692
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 2467
/proc/meminfo: memFree=28681352/32770624 swapFree=0/454772
[pid=2292] ppid=2289 vsize=2435692 CPUtime=1722.28 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1347654 0 0 0 172109 119 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039701 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 2435692
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 2469
/proc/meminfo: memFree=28681956/32770624 swapFree=0/454776
[pid=2292] ppid=2289 vsize=2435692 CPUtime=1782.28 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1356939 0 0 0 178108 120 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039167 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 2435692
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 2470
/proc/meminfo: memFree=28685352/32770624 swapFree=0/454788
[pid=2292] ppid=2289 vsize=2435692 CPUtime=1842.29 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1362583 0 0 0 184108 121 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039159 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 1842.29
Current children cumulated vsize (KiB) 2435692
[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 2473
/proc/meminfo: memFree=28685460/32770624 swapFree=0/454796
[pid=2292] ppid=2289 vsize=2435692 CPUtime=1902.29 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1365875 0 0 0 190108 121 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039164 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 1902.29
Current children cumulated vsize (KiB) 2435692
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 2475
/proc/meminfo: memFree=28685324/32770624 swapFree=0/454816
[pid=2292] ppid=2289 vsize=2435692 CPUtime=1962.3 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1369018 0 0 0 196109 121 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039159 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 2435692
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 2478
/proc/meminfo: memFree=28685676/32770624 swapFree=0/454836
[pid=2292] ppid=2289 vsize=2435692 CPUtime=2022.3 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1378843 0 0 0 202108 122 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5040159 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 2435692
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 2480
/proc/meminfo: memFree=28686056/32770624 swapFree=0/454848
[pid=2292] ppid=2289 vsize=2435692 CPUtime=2082.31 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1381143 0 0 0 208109 122 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039164 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 2435692
[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/185 2482
/proc/meminfo: memFree=28686756/32770624 swapFree=0/454844
[pid=2292] ppid=2289 vsize=2435692 CPUtime=2142.31 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1390071 0 0 0 214108 123 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039330 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 2142.31
Current children cumulated vsize (KiB) 2435692
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 2485
/proc/meminfo: memFree=28686492/32770624 swapFree=0/454844
[pid=2292] ppid=2289 vsize=2435692 CPUtime=2202.32 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1396009 0 0 0 220108 124 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5094144 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 2202.32
Current children cumulated vsize (KiB) 2435692
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 2487
/proc/meminfo: memFree=28686708/32770624 swapFree=0/454868
[pid=2292] ppid=2289 vsize=2435692 CPUtime=2262.32 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1402177 0 0 0 226108 124 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 2262.32
Current children cumulated vsize (KiB) 2435692
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2504
/proc/meminfo: memFree=28681884/32770624 swapFree=0/454880
[pid=2292] ppid=2289 vsize=2435692 CPUtime=2322.32 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1406635 0 0 0 232108 124 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5338177 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 2322.32
Current children cumulated vsize (KiB) 2435692
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 2531
/proc/meminfo: memFree=28680292/32770624 swapFree=0/454904
[pid=2292] ppid=2289 vsize=2435692 CPUtime=2382.33 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1411671 0 0 0 238108 125 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5338181 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 2382.33
Current children cumulated vsize (KiB) 2435692
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 2533
/proc/meminfo: memFree=28681464/32770624 swapFree=0/454912
[pid=2292] ppid=2289 vsize=2435692 CPUtime=2442.33 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1417636 0 0 0 244108 125 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 2442.33
Current children cumulated vsize (KiB) 2435692
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2535
/proc/meminfo: memFree=28685256/32770624 swapFree=0/454928
[pid=2292] ppid=2289 vsize=2435692 CPUtime=2502.34 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1424328 0 0 0 250108 126 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5099616 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 2502.34
Current children cumulated vsize (KiB) 2435692
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2536
/proc/meminfo: memFree=28685256/32770624 swapFree=0/454928
[pid=2292] ppid=2289 vsize=2435692 CPUtime=2520.04 cores=0,2,4,6
/proc/2292/stat : 2292 (cosoco) R 2289 2292 28313 0 -1 4202496 1424887 0 0 0 251878 126 0 0 20 0 1 0 99788330 2494148608 598958 18446744073709551615 4194304 5972588 140732934258144 140732934254760 5039164 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 20627456 140732934259182 140732934259277 140732934259277 140732934262734 0
/proc/2292/statm: 608923 598958 795 435 0 602286 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 2435692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2292 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.03
CPU time (s): 2520.08
CPU user time (s): 2518.79
CPU system time (s): 1.29508
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2435692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.79
system time used= 1.29508
maximum resident set size= 2395912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1424943
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= 77
involuntary context switches= 1902
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66798 second user time and 10.4656 second system time
The end