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-4267526-1502554711/watcher-4267526-1502554711 -o /tmp/evaluation-result-4267526-1502554711/solver-4267526-1502554711 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28378 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267526-1502554711.xml
pid=7410
running on 4 cores: 1,3,5,7
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.17 2.06 2.06 3/185 7413
/proc/meminfo: memFree=30931492/32770624 swapFree=0/459204
[pid=7413] ppid=7410 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7413/stat : 7413 (runsolver) D 7410 7413 28313 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 103286261 24240128 106 18446744073709551615 4194304 4338465 140722263172976 140722263170616 140311433142999 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 29675520 140722263175361 140722263175753 140722263175753 140722263179210 0
/proc/7413/statm: 5918 106 53 36 0 2156 0
[startup+0.10018 s]
/proc/loadavg: 2.17 2.06 2.06 3/185 7413
/proc/meminfo: memFree=30931492/32770624 swapFree=0/459204
[pid=7413] ppid=7410 vsize=37012 CPUtime=0.03 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 3509 0 0 0 3 0 0 0 20 0 1 0 103286261 37900288 3320 18446744073709551615 4194304 5972588 140732892254400 140732892248744 139957515273554 0 0 1 0 0 0 0 17 7 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 9253 3320 742 435 0 2616 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 37012
[startup+0.201182 s]
/proc/loadavg: 2.17 2.06 2.06 3/185 7413
/proc/meminfo: memFree=30931492/32770624 swapFree=0/459204
[pid=7413] ppid=7410 vsize=57196 CPUtime=0.13 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 8665 0 0 0 12 1 0 0 20 0 1 0 103286261 58568704 8446 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5139312 0 0 1 8405026 0 0 0 17 7 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8446 810 435 0 7662 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 57196
[startup+0.301181 s]
/proc/loadavg: 2.17 2.06 2.06 3/185 7413
/proc/meminfo: memFree=30931492/32770624 swapFree=0/459204
[pid=7413] ppid=7410 vsize=57196 CPUtime=0.23 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 8665 0 0 0 22 1 0 0 20 0 1 0 103286261 58568704 8446 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5032455 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8446 810 435 0 7662 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 57196
[startup+0.700278 s]
/proc/loadavg: 2.17 2.06 2.06 3/185 7413
/proc/meminfo: memFree=30931492/32770624 swapFree=0/459204
[pid=7413] ppid=7410 vsize=57196 CPUtime=0.63 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 8665 0 0 0 62 1 0 0 20 0 1 0 103286261 58568704 8446 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5139312 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8446 810 435 0 7662 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 57196
[startup+1.50027 s]
/proc/loadavg: 2.17 2.06 2.06 3/186 7414
/proc/meminfo: memFree=30900764/32770624 swapFree=0/459284
[pid=7413] ppid=7410 vsize=57196 CPUtime=1.43 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 8665 0 0 0 142 1 0 0 20 0 1 0 103286261 58568704 8446 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5139312 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8446 810 435 0 7662 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 57196
[startup+3.10027 s]
/proc/loadavg: 2.17 2.06 2.06 3/186 7414
/proc/meminfo: memFree=30900416/32770624 swapFree=0/459204
[pid=7413] ppid=7410 vsize=57196 CPUtime=3.03 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 12256 0 0 0 302 1 0 0 20 0 1 0 103286261 58568704 8506 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5328641 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8506 852 435 0 7662 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 57196
[startup+6.30027 s]
/proc/loadavg: 2.16 2.06 2.06 3/186 7414
/proc/meminfo: memFree=30900200/32770624 swapFree=0/459204
[pid=7413] ppid=7410 vsize=57196 CPUtime=6.22 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 16591 0 0 0 621 1 0 0 20 0 1 0 103286261 58568704 8506 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5032450 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8506 852 435 0 7662 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 57196
[startup+12.7003 s]
/proc/loadavg: 2.07 2.05 2.05 3/186 7415
/proc/meminfo: memFree=30899812/32770624 swapFree=0/459204
[pid=7413] ppid=7410 vsize=57196 CPUtime=12.62 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 22060 0 0 0 1261 1 0 0 20 0 1 0 103286261 58568704 8506 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5139327 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8506 852 435 0 7662 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 57196
[startup+25.5003 s]
/proc/loadavg: 2.05 2.04 2.05 3/186 7415
/proc/meminfo: memFree=30899828/32770624 swapFree=0/459204
[pid=7413] ppid=7410 vsize=57196 CPUtime=25.43 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 32086 0 0 0 2541 2 0 0 20 0 1 0 103286261 58568704 8506 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5139329 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8506 852 435 0 7662 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 57196
[startup+51.1003 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 7415
/proc/meminfo: memFree=30899704/32770624 swapFree=0/459204
[pid=7413] ppid=7410 vsize=57196 CPUtime=51.03 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 38909 0 0 0 5100 3 0 0 20 0 1 0 103286261 58568704 8506 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5139329 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8506 852 435 0 7662 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 57196
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 7417
/proc/meminfo: memFree=30899580/32770624 swapFree=0/459224
[pid=7413] ppid=7410 vsize=57196 CPUtime=102.23 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 44516 0 0 0 10220 3 0 0 20 0 1 0 103286261 58568704 8506 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5032431 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8506 852 435 0 7662 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 57196
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 7419
/proc/meminfo: memFree=30899504/32770624 swapFree=0/459228
[pid=7413] ppid=7410 vsize=57196 CPUtime=162.23 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 44922 0 0 0 16220 3 0 0 20 0 1 0 103286261 58568704 8507 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5139329 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8507 852 435 0 7662 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 57196
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 7421
/proc/meminfo: memFree=30899380/32770624 swapFree=0/459240
[pid=7413] ppid=7410 vsize=57196 CPUtime=222.24 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 45322 0 0 0 22221 3 0 0 20 0 1 0 103286261 58568704 8507 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5032455 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8507 852 435 0 7662 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 57196
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 7424
/proc/meminfo: memFree=30899472/32770624 swapFree=0/459248
[pid=7413] ppid=7410 vsize=57196 CPUtime=282.24 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 45326 0 0 0 28221 3 0 0 20 0 1 0 103286261 58568704 8507 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5032455 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8507 852 435 0 7662 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 57196
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7440
/proc/meminfo: memFree=30895248/32770624 swapFree=0/459244
[pid=7413] ppid=7410 vsize=57196 CPUtime=342.26 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 45726 0 0 0 34222 4 0 0 20 0 1 0 103286261 58568704 8507 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5032455 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8507 852 435 0 7662 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 57196
[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/189 7503
/proc/meminfo: memFree=30941828/32770624 swapFree=0/459296
[pid=7413] ppid=7410 vsize=57196 CPUtime=402.26 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 45730 0 0 0 40222 4 0 0 20 0 1 0 103286261 58568704 8507 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8507 852 435 0 7662 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 57196
[startup+462.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/186 7505
/proc/meminfo: memFree=30942184/32770624 swapFree=0/459312
[pid=7413] ppid=7410 vsize=57196 CPUtime=462.27 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 46130 0 0 0 46223 4 0 0 20 0 1 0 103286261 58568704 8507 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5139329 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8507 852 435 0 7662 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 57196
[startup+522.3 s]
/proc/loadavg: 1.97 2.02 2.04 3/186 7508
/proc/meminfo: memFree=30942584/32770624 swapFree=0/459320
[pid=7413] ppid=7410 vsize=57196 CPUtime=522.27 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 46130 0 0 0 52223 4 0 0 20 0 1 0 103286261 58568704 8507 18446744073709551615 4194304 5972588 140732892254400 140732892241608 5139324 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 14299 8507 852 435 0 7662 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 57196
[startup+582.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/185 7510
/proc/meminfo: memFree=30936020/32770624 swapFree=0/459336
[pid=7413] ppid=7410 vsize=65020 CPUtime=582.27 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 48487 0 0 0 58222 5 0 0 20 0 1 0 103286261 66580480 10455 18446744073709551615 4194304 5972588 140732892254400 140732892251064 5139319 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16255 10455 852 435 0 9618 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 65020
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 7581
/proc/meminfo: memFree=30933460/32770624 swapFree=0/459536
[pid=7413] ppid=7410 vsize=67056 CPUtime=1662.37 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 51504 0 0 0 166231 6 0 0 20 0 1 0 103286261 68665344 10967 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5032455 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16764 10967 852 435 0 10127 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 67056
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7584
/proc/meminfo: memFree=30933540/32770624 swapFree=0/459544
[pid=7413] ppid=7410 vsize=67056 CPUtime=1722.38 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 51527 0 0 0 172232 6 0 0 20 0 1 0 103286261 68665344 10967 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16764 10967 852 435 0 10127 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 67056
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7586
/proc/meminfo: memFree=30932924/32770624 swapFree=0/459552
[pid=7413] ppid=7410 vsize=67056 CPUtime=1782.38 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 51796 0 0 0 178232 6 0 0 20 0 1 0 103286261 68665344 10969 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5032455 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16764 10969 852 435 0 10127 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 67056
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7588
/proc/meminfo: memFree=30933140/32770624 swapFree=0/459560
[pid=7413] ppid=7410 vsize=67056 CPUtime=1842.39 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 51798 0 0 0 184233 6 0 0 20 0 1 0 103286261 68665344 10969 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5139329 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16764 10969 852 435 0 10127 0
Current children cumulated CPU time (s) 1842.39
Current children cumulated vsize (KiB) 67056
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7590
/proc/meminfo: memFree=30933044/32770624 swapFree=0/459576
[pid=7413] ppid=7410 vsize=67192 CPUtime=1902.39 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 52087 0 0 0 190233 6 0 0 20 0 1 0 103286261 68804608 10969 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5139327 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16798 10969 852 435 0 10161 0
Current children cumulated CPU time (s) 1902.39
Current children cumulated vsize (KiB) 67192
[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 7592
/proc/meminfo: memFree=30933380/32770624 swapFree=0/459588
[pid=7413] ppid=7410 vsize=67192 CPUtime=1962.4 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 52087 0 0 0 196234 6 0 0 20 0 1 0 103286261 68804608 10969 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5139329 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16798 10969 852 435 0 10161 0
Current children cumulated CPU time (s) 1962.4
Current children cumulated vsize (KiB) 67192
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 7594
/proc/meminfo: memFree=30933400/32770624 swapFree=0/459600
[pid=7413] ppid=7410 vsize=67192 CPUtime=2022.4 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 52355 0 0 0 202234 6 0 0 20 0 1 0 103286261 68804608 10971 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16798 10971 852 435 0 10161 0
Current children cumulated CPU time (s) 2022.4
Current children cumulated vsize (KiB) 67192
[startup+2082.3 s]
/proc/loadavg: 2.09 2.03 2.05 3/186 7598
/proc/meminfo: memFree=30933720/32770624 swapFree=0/459608
[pid=7413] ppid=7410 vsize=67192 CPUtime=2082.41 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 52367 0 0 0 208235 6 0 0 20 0 1 0 103286261 68804608 10971 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5139319 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16798 10971 852 435 0 10161 0
Current children cumulated CPU time (s) 2082.41
Current children cumulated vsize (KiB) 67192
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/189 7614
/proc/meminfo: memFree=30929828/32770624 swapFree=0/459620
[pid=7413] ppid=7410 vsize=67192 CPUtime=2142.41 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 52634 0 0 0 214235 6 0 0 20 0 1 0 103286261 68804608 10971 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5139264 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16798 10971 852 435 0 10161 0
Current children cumulated CPU time (s) 2142.41
Current children cumulated vsize (KiB) 67192
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 7616
/proc/meminfo: memFree=30929928/32770624 swapFree=0/459632
[pid=7413] ppid=7410 vsize=67192 CPUtime=2202.42 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 52646 0 0 0 220236 6 0 0 20 0 1 0 103286261 68804608 10976 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16798 10976 852 435 0 10161 0
Current children cumulated CPU time (s) 2202.42
Current children cumulated vsize (KiB) 67192
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 7618
/proc/meminfo: memFree=30932708/32770624 swapFree=0/459644
[pid=7413] ppid=7410 vsize=67192 CPUtime=2262.42 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 52923 0 0 0 226236 6 0 0 20 0 1 0 103286261 68804608 10976 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5139329 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16798 10976 852 435 0 10161 0
Current children cumulated CPU time (s) 2262.42
Current children cumulated vsize (KiB) 67192
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7620
/proc/meminfo: memFree=30933072/32770624 swapFree=0/459668
[pid=7413] ppid=7410 vsize=67192 CPUtime=2322.43 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 52938 0 0 0 232237 6 0 0 20 0 1 0 103286261 68804608 10976 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5032400 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16798 10976 852 435 0 10161 0
Current children cumulated CPU time (s) 2322.43
Current children cumulated vsize (KiB) 67192
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7623
/proc/meminfo: memFree=30932952/32770624 swapFree=0/459664
[pid=7413] ppid=7410 vsize=67192 CPUtime=2382.43 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 52971 0 0 0 238237 6 0 0 20 0 1 0 103286261 68804608 10976 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16798 10976 852 435 0 10161 0
Current children cumulated CPU time (s) 2382.43
Current children cumulated vsize (KiB) 67192
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7625
/proc/meminfo: memFree=30932912/32770624 swapFree=0/459668
[pid=7413] ppid=7410 vsize=67192 CPUtime=2442.44 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 52971 0 0 0 244238 6 0 0 20 0 1 0 103286261 68804608 10976 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5139329 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16798 10976 852 435 0 10161 0
Current children cumulated CPU time (s) 2442.44
Current children cumulated vsize (KiB) 67192
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7628
/proc/meminfo: memFree=30933408/32770624 swapFree=0/459684
[pid=7413] ppid=7410 vsize=67192 CPUtime=2502.44 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 53500 0 0 0 250238 6 0 0 20 0 1 0 103286261 68804608 10983 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5032400 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16798 10983 852 435 0 10161 0
Current children cumulated CPU time (s) 2502.44
Current children cumulated vsize (KiB) 67192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7628
/proc/meminfo: memFree=30933384/32770624 swapFree=0/459692
[pid=7413] ppid=7410 vsize=67192 CPUtime=2520.05 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 53504 0 0 0 251999 6 0 0 20 0 1 0 103286261 68804608 10983 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16798 10983 852 435 0 10161 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 67192
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 7413 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7628
/proc/meminfo: memFree=30933384/32770624 swapFree=0/459692
[pid=7413] ppid=7410 vsize=67192 CPUtime=2520.05 cores=1,3,5,7
/proc/7413/stat : 7413 (cosoco) R 7410 7413 28313 0 -1 4202496 53504 0 0 0 251999 6 0 0 20 0 1 0 103286261 68804608 10983 18446744073709551615 4194304 5972588 140732892254400 140732892251160 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 16535552 140732892258798 140732892258893 140732892258893 140732892262350 0
/proc/7413/statm: 16798 10983 852 435 0 10161 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 67192
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.06
CPU user time (s): 2519.99
CPU system time (s): 0.066005
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 67192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.99
system time used= 0.066005
maximum resident set size= 44004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53551
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= 19
involuntary context switches= 649
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77818 second user time and 10.7356 second system time
The end