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-4242227-1500659419/watcher-4242227-1500659419 -o /tmp/evaluation-result-4242227-1500659419/solver-4242227-1500659419 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500648174-2500 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242227-1500659419.xml
pid=4291
running on 8 cores: 1,3,5,7,9,11,13,15
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 2/243 4294
/proc/meminfo: memFree=32041968/32770624 swapFree=5796/215784
[pid=4294] ppid=4291 vsize=27376 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 1035 0 0 0 1 0 0 0 20 0 1 0 1209539 28033024 865 33554432000 4194304 5970956 140734191110960 140734191106232 140560564239333 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 6844 865 698 434 0 208 0
[startup+0.100152 s]
/proc/loadavg: 2.00 2.01 2.05 2/243 4294
/proc/meminfo: memFree=32041968/32770624 swapFree=5796/215784
[pid=4294] ppid=4291 vsize=32536 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 2350 0 0 0 9 0 0 0 20 0 1 0 1209539 33316864 2148 33554432000 4194304 5970956 140734191110960 140734191107560 140560564239333 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 8134 2148 710 434 0 1498 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32536
[startup+0.200342 s]
/proc/loadavg: 2.00 2.01 2.05 2/243 4294
/proc/meminfo: memFree=32041968/32770624 swapFree=5796/215784
[pid=4294] ppid=4291 vsize=39544 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 4099 0 0 0 19 0 0 0 20 0 1 0 1209539 40493056 3928 33554432000 4194304 5970956 140734191110960 140734191104856 5633595 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 9886 3928 736 434 0 3250 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39544
[startup+0.300317 s]
/proc/loadavg: 2.00 2.01 2.05 2/243 4294
/proc/meminfo: memFree=32041968/32770624 swapFree=5796/215784
[pid=4294] ppid=4291 vsize=39544 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 4099 0 0 0 29 0 0 0 20 0 1 0 1209539 40493056 3928 33554432000 4194304 5970956 140734191110960 140734191104856 5472328 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 9886 3928 736 434 0 3250 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39544
[startup+0.70021 s]
/proc/loadavg: 2.00 2.01 2.05 2/243 4294
/proc/meminfo: memFree=32041968/32770624 swapFree=5796/215784
[pid=4294] ppid=4291 vsize=39544 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 4099 0 0 0 69 0 0 0 20 0 1 0 1209539 40493056 3928 33554432000 4194304 5970956 140734191110960 140734191104856 5472383 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 9886 3928 736 434 0 3250 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39544
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4295
/proc/meminfo: memFree=32028524/32770624 swapFree=5796/215792
[pid=4294] ppid=4291 vsize=45408 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 5640 0 0 0 149 0 0 0 20 0 1 0 1209539 46497792 5446 33554432000 4194304 5970956 140734191110960 140734191107992 5092087 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 11352 5446 780 434 0 4716 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45408
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4295
/proc/meminfo: memFree=31963796/32770624 swapFree=5796/215792
[pid=4294] ppid=4291 vsize=125300 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 27351 0 0 0 306 2 0 0 20 0 1 0 1209539 128307200 25236 33554432000 4194304 5970956 140734191110960 140734191107736 5136608 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 31325 25236 780 434 0 24689 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 125300
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4295
/proc/meminfo: memFree=31937564/32770624 swapFree=5796/215800
[pid=4294] ppid=4291 vsize=131376 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 42940 0 0 0 626 3 0 0 20 0 1 0 1209539 134529024 26743 33554432000 4194304 5970956 140734191110960 140734191107832 5136560 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 32844 26743 780 434 0 26208 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 131376
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4295
/proc/meminfo: memFree=31935952/32770624 swapFree=5796/215800
[pid=4294] ppid=4291 vsize=132740 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 57255 0 0 0 1265 4 0 0 20 0 1 0 1209539 135925760 27073 33554432000 4194304 5970956 140734191110960 140734191107832 5093396 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 33185 27073 780 434 0 26549 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 132740
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4295
/proc/meminfo: memFree=31874200/32770624 swapFree=5796/215820
[pid=4294] ppid=4291 vsize=196008 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 108691 0 0 0 2542 6 0 0 20 0 1 0 1209539 200712192 42399 33554432000 4194304 5970956 140734191110960 140734191107736 5136608 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 49002 42399 780 434 0 42366 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 196008
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4295
/proc/meminfo: memFree=31873328/32770624 swapFree=5796/215832
[pid=4294] ppid=4291 vsize=196008 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 125992 0 0 0 5101 7 0 0 20 0 1 0 1209539 200712192 42402 33554432000 4194304 5970956 140734191110960 140734191107736 5031751 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 49002 42402 780 434 0 42366 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 196008
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4296
/proc/meminfo: memFree=31873252/32770624 swapFree=5796/215864
[pid=4294] ppid=4291 vsize=196008 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 139216 0 0 0 10219 8 0 0 20 0 1 0 1209539 200712192 42472 33554432000 4194304 5970956 140734191110960 140734191107736 5045661 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 49002 42472 780 434 0 42366 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 196008
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4297
/proc/meminfo: memFree=31872156/32770624 swapFree=5796/215900
[pid=4294] ppid=4291 vsize=196008 CPUtime=162.26 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 145714 0 0 0 16217 9 0 0 20 0 1 0 1209539 200712192 42983 33554432000 4194304 5970956 140734191110960 140734191107736 5136625 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 49002 42983 780 434 0 42366 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 196008
[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4298
/proc/meminfo: memFree=31870616/32770624 swapFree=5796/215928
[pid=4294] ppid=4291 vsize=196008 CPUtime=222.26 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 146853 0 0 0 22217 9 0 0 20 0 1 0 1209539 200712192 42983 33554432000 4194304 5970956 140734191110960 140734191107736 5031447 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 49002 42983 780 434 0 42366 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 196008
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4299
/proc/meminfo: memFree=31871176/32770624 swapFree=5796/215960
[pid=4294] ppid=4291 vsize=196008 CPUtime=282.25 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 148047 0 0 0 28216 9 0 0 20 0 1 0 1209539 200712192 42983 33554432000 4194304 5970956 140734191110960 140734191107736 5045304 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 49002 42983 780 434 0 42366 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 196008
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4301
/proc/meminfo: memFree=31871836/32770624 swapFree=5796/216000
[pid=4294] ppid=4291 vsize=196008 CPUtime=342.24 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 149462 0 0 0 34215 9 0 0 20 0 1 0 1209539 200712192 42984 33554432000 4194304 5970956 140734191110960 140734191107736 5136608 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 49002 42984 780 434 0 42366 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 196008
[startup+402.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4302
/proc/meminfo: memFree=31867200/32770624 swapFree=5796/216028
[pid=4294] ppid=4291 vsize=199684 CPUtime=402.23 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 151796 0 0 0 40214 9 0 0 20 0 1 0 1209539 204476416 43794 33554432000 4194304 5970956 140734191110960 140734191107736 5045736 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 49921 43794 780 434 0 43285 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 199684
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4304
/proc/meminfo: memFree=31867112/32770624 swapFree=5796/216048
[pid=4294] ppid=4291 vsize=200388 CPUtime=462.22 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 153582 0 0 0 46213 9 0 0 20 0 1 0 1209539 205197312 44000 33554432000 4194304 5970956 140734191110960 140734191107736 5136625 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50097 44000 780 434 0 43461 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 200388
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4305
/proc/meminfo: memFree=31866188/32770624 swapFree=5796/216092
[pid=4294] ppid=4291 vsize=200388 CPUtime=522.22 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 155020 0 0 0 52213 9 0 0 20 0 1 0 1209539 205197312 44125 33554432000 4194304 5970956 140734191110960 140734191107736 5031447 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50097 44125 780 434 0 43461 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 200388
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4306
/proc/meminfo: memFree=31866008/32770624 swapFree=5796/216128
[pid=4294] ppid=4291 vsize=200524 CPUtime=582.21 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 156517 0 0 0 58212 9 0 0 20 0 1 0 1209539 205336576 44151 33554432000 4194304 5970956 140734191110960 140734191107736 5045648 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50131 44151 780 434 0 43495 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 200524
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4423
/proc/meminfo: memFree=31856136/32770624 swapFree=5796/216808
[pid=4294] ppid=4291 vsize=201884 CPUtime=1482.09 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 172918 0 0 0 148199 10 0 0 20 0 1 0 1209539 206729216 44509 33554432000 4194304 5970956 140734191110960 140734191107832 5031424 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50471 44509 780 434 0 43835 0
Current children cumulated CPU time (s) 1482.09
Current children cumulated vsize (KiB) 201884
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4424
/proc/meminfo: memFree=31856344/32770624 swapFree=5796/216832
[pid=4294] ppid=4291 vsize=201884 CPUtime=1542.09 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 174282 0 0 0 154199 10 0 0 20 0 1 0 1209539 206729216 44517 33554432000 4194304 5970956 140734191110960 140734191107832 5136560 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50471 44517 780 434 0 43835 0
Current children cumulated CPU time (s) 1542.09
Current children cumulated vsize (KiB) 201884
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4425
/proc/meminfo: memFree=31856752/32770624 swapFree=5796/216864
[pid=4294] ppid=4291 vsize=201884 CPUtime=1602.08 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 175010 0 0 0 160198 10 0 0 20 0 1 0 1209539 206729216 44521 33554432000 4194304 5970956 140734191110960 140734191107832 5045304 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50471 44521 780 434 0 43835 0
Current children cumulated CPU time (s) 1602.08
Current children cumulated vsize (KiB) 201884
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4426
/proc/meminfo: memFree=31855380/32770624 swapFree=5796/216884
[pid=4294] ppid=4291 vsize=201884 CPUtime=1662.07 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 175868 0 0 0 166197 10 0 0 20 0 1 0 1209539 206729216 44521 33554432000 4194304 5970956 140734191110960 140734191107832 5337513 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50471 44521 780 434 0 43835 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 201884
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4427
/proc/meminfo: memFree=31855656/32770624 swapFree=5796/216924
[pid=4294] ppid=4291 vsize=201884 CPUtime=1722.06 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 177070 0 0 0 172196 10 0 0 20 0 1 0 1209539 206729216 44527 33554432000 4194304 5970956 140734191110960 140734191107832 5136629 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50471 44527 780 434 0 43835 0
Current children cumulated CPU time (s) 1722.06
Current children cumulated vsize (KiB) 201884
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 4/246 4432
/proc/meminfo: memFree=31855508/32770624 swapFree=5796/216968
[pid=4294] ppid=4291 vsize=202028 CPUtime=1782.05 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 178146 0 0 0 178195 10 0 0 20 0 1 0 1209539 206876672 44534 33554432000 4194304 5970956 140734191110960 140734191107736 5136570 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50507 44534 780 434 0 43871 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (KiB) 202028
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4437
/proc/meminfo: memFree=31854900/32770624 swapFree=5796/217008
[pid=4294] ppid=4291 vsize=202028 CPUtime=1842.05 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 179275 0 0 0 184195 10 0 0 20 0 1 0 1209539 206876672 44542 33554432000 4194304 5970956 140734191110960 140734191107736 5327850 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50507 44542 780 434 0 43871 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 202028
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4438
/proc/meminfo: memFree=31856512/32770624 swapFree=5796/217040
[pid=4294] ppid=4291 vsize=202028 CPUtime=1902.04 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 180137 0 0 0 190194 10 0 0 20 0 1 0 1209539 206876672 44547 33554432000 4194304 5970956 140734191110960 140734191107736 5136608 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50507 44547 780 434 0 43871 0
Current children cumulated CPU time (s) 1902.04
Current children cumulated vsize (KiB) 202028
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 4439
/proc/meminfo: memFree=31856512/32770624 swapFree=5796/217068
[pid=4294] ppid=4291 vsize=202028 CPUtime=1962.03 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 181208 0 0 0 196193 10 0 0 20 0 1 0 1209539 206876672 44547 33554432000 4194304 5970956 140734191110960 140734191107736 5337501 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50507 44547 780 434 0 43871 0
Current children cumulated CPU time (s) 1962.03
Current children cumulated vsize (KiB) 202028
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4440
/proc/meminfo: memFree=31854956/32770624 swapFree=5796/217092
[pid=4294] ppid=4291 vsize=202028 CPUtime=2022.03 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 182024 0 0 0 202192 11 0 0 20 0 1 0 1209539 206876672 44550 33554432000 4194304 5970956 140734191110960 140734191107736 5136625 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50507 44550 780 434 0 43871 0
Current children cumulated CPU time (s) 2022.03
Current children cumulated vsize (KiB) 202028
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4442
/proc/meminfo: memFree=31854628/32770624 swapFree=5796/217128
[pid=4294] ppid=4291 vsize=202028 CPUtime=2082.03 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 182877 0 0 0 208192 11 0 0 20 0 1 0 1209539 206876672 44550 33554432000 4194304 5970956 140734191110960 140734191107736 5337501 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50507 44550 780 434 0 43871 0
Current children cumulated CPU time (s) 2082.03
Current children cumulated vsize (KiB) 202028
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4443
/proc/meminfo: memFree=31855376/32770624 swapFree=5796/217164
[pid=4294] ppid=4291 vsize=202028 CPUtime=2142.01 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 183696 0 0 0 214190 11 0 0 20 0 1 0 1209539 206876672 44550 33554432000 4194304 5970956 140734191110960 140734191107736 5337501 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50507 44550 780 434 0 43871 0
Current children cumulated CPU time (s) 2142.01
Current children cumulated vsize (KiB) 202028
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4444
/proc/meminfo: memFree=31854876/32770624 swapFree=5796/217196
[pid=4294] ppid=4291 vsize=202028 CPUtime=2202.01 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 184730 0 0 0 220190 11 0 0 20 0 1 0 1209539 206876672 44550 33554432000 4194304 5970956 140734191110960 140734191107736 5136629 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50507 44550 780 434 0 43871 0
Current children cumulated CPU time (s) 2202.01
Current children cumulated vsize (KiB) 202028
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4445
/proc/meminfo: memFree=31855516/32770624 swapFree=5796/217228
[pid=4294] ppid=4291 vsize=202028 CPUtime=2262 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 185649 0 0 0 226189 11 0 0 20 0 1 0 1209539 206876672 44550 33554432000 4194304 5970956 140734191110960 140734191107736 5045288 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50507 44550 780 434 0 43871 0
Current children cumulated CPU time (s) 2262
Current children cumulated vsize (KiB) 202028
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4447
/proc/meminfo: memFree=31855356/32770624 swapFree=5796/217272
[pid=4294] ppid=4291 vsize=202028 CPUtime=2321.99 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 186378 0 0 0 232188 11 0 0 20 0 1 0 1209539 206876672 44550 33554432000 4194304 5970956 140734191110960 140734191107736 5031447 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50507 44550 780 434 0 43871 0
Current children cumulated CPU time (s) 2321.99
Current children cumulated vsize (KiB) 202028
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4448
/proc/meminfo: memFree=31855524/32770624 swapFree=5796/217300
[pid=4294] ppid=4291 vsize=202028 CPUtime=2381.98 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 187073 0 0 0 238187 11 0 0 20 0 1 0 1209539 206876672 44550 33554432000 4194304 5970956 140734191110960 140734191107736 5136577 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50507 44550 780 434 0 43871 0
Current children cumulated CPU time (s) 2381.98
Current children cumulated vsize (KiB) 202028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4456
/proc/meminfo: memFree=31854312/32770624 swapFree=5796/217312
[pid=4294] ppid=4291 vsize=202028 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/4294/stat : 4294 (cosoco) R 4291 4294 2468 0 -1 4202496 187975 0 0 0 239997 11 0 0 20 0 1 0 1209539 206876672 44550 33554432000 4194304 5970956 140734191110960 140734191107736 5045736 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 10276864 140734191113409 140734191113539 140734191113539 140734191116238 0
/proc/4294/statm: 50507 44550 780 434 0 43871 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 202028
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 4294 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.09
CPU user time (s): 2399.98
CPU system time (s): 0.115985
CPU usage (%): 99.9871
Max. virtual memory (cumulated for all children) (KiB): 202028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.115985
maximum resident set size= 178244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188003
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= 21
involuntary context switches= 120790
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.6003 second user time and 11.3495 second system time
The end