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-4267545-1502555106/watcher-4267545-1502555106 -o /tmp/evaluation-result-4267545-1502555106/solver-4267545-1502555106 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28377 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267545-1502555106.xml
pid=7499
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.09 2.04 2.05 4/188 7502
/proc/meminfo: memFree=31035040/32770624 swapFree=0/459248
[pid=7502] ppid=7499 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7502/stat : 7502 (runsolver) D 7499 7502 28313 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 103325749 24240128 106 18446744073709551615 4194304 4338465 140733231496128 140733231493768 140040902525655 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 18980864 140733231497409 140733231497801 140733231497801 140733231501258 0
/proc/7502/statm: 5918 106 53 36 0 2156 0
[startup+0.1002 s]
/proc/loadavg: 2.09 2.04 2.05 4/188 7502
/proc/meminfo: memFree=31035040/32770624 swapFree=0/459248
[pid=7502] ppid=7499 vsize=28180 CPUtime=0 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 1261 0 0 0 0 0 0 0 20 0 1 0 103325749 28856320 1077 18446744073709551615 4194304 5972588 140727077560432 140727077557080 139651302607845 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 7045 1077 711 435 0 408 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28180
[startup+0.200346 s]
/proc/loadavg: 2.09 2.04 2.05 4/188 7502
/proc/meminfo: memFree=31035040/32770624 swapFree=0/459248
[pid=7502] ppid=7499 vsize=32464 CPUtime=0.1 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 2369 0 0 0 10 0 0 0 20 0 1 0 103325749 33243136 2137 18446744073709551615 4194304 5972588 140727077560432 140727077557000 139651303473046 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 8116 2137 716 435 0 1479 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 32464
[startup+0.300332 s]
/proc/loadavg: 2.09 2.04 2.05 4/188 7502
/proc/meminfo: memFree=31035040/32770624 swapFree=0/459248
[pid=7502] ppid=7499 vsize=33376 CPUtime=0.2 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 2691 0 0 0 20 0 0 0 20 0 1 0 103325749 34177024 2381 18446744073709551615 4194304 5972588 140727077560432 140727077557000 5675533 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 8344 2381 716 435 0 1707 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 33376
[startup+0.70035 s]
/proc/loadavg: 2.09 2.04 2.05 4/188 7502
/proc/meminfo: memFree=31035040/32770624 swapFree=0/459248
[pid=7502] ppid=7499 vsize=118196 CPUtime=0.6 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 24787 0 0 0 58 2 0 0 20 0 1 0 103325749 121032704 23625 18446744073709551615 4194304 5972588 140727077560432 140727077557000 4935585 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 29549 23625 810 435 0 22912 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 118196
[startup+1.50034 s]
/proc/loadavg: 2.09 2.04 2.05 3/189 7503
/proc/meminfo: memFree=30944792/32770624 swapFree=0/459296
[pid=7502] ppid=7499 vsize=118196 CPUtime=1.4 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 24787 0 0 0 138 2 0 0 20 0 1 0 103325749 121032704 23625 18446744073709551615 4194304 5972588 140727077560432 140727077557000 4935663 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 29549 23625 810 435 0 22912 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 118196
[startup+3.10033 s]
/proc/loadavg: 2.09 2.04 2.05 3/189 7503
/proc/meminfo: memFree=30944420/32770624 swapFree=0/459296
[pid=7502] ppid=7499 vsize=118196 CPUtime=3 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 41582 0 0 0 297 3 0 0 20 0 1 0 103325749 121032704 23705 18446744073709551615 4194304 5972588 140727077560432 140727077547640 5139327 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 29549 23705 851 435 0 22912 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 118196
[startup+6.3003 s]
/proc/loadavg: 2.08 2.04 2.05 3/189 7503
/proc/meminfo: memFree=30942944/32770624 swapFree=0/459296
[pid=7502] ppid=7499 vsize=120572 CPUtime=6.2 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 67017 0 0 0 616 4 0 0 20 0 1 0 103325749 123465728 24254 18446744073709551615 4194304 5972588 140727077560432 140727077547640 5032400 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30143 24254 851 435 0 23506 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 120572
[startup+12.7003 s]
/proc/loadavg: 2.08 2.04 2.05 3/189 7503
/proc/meminfo: memFree=30939964/32770624 swapFree=0/459296
[pid=7502] ppid=7499 vsize=121232 CPUtime=12.6 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 78682 0 0 0 1255 5 0 0 20 0 1 0 103325749 124141568 24445 18446744073709551615 4194304 5972588 140727077560432 140727077557144 5139329 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30308 24445 851 435 0 23671 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 121232
[startup+25.5003 s]
/proc/loadavg: 2.06 2.04 2.05 3/189 7503
/proc/meminfo: memFree=30939548/32770624 swapFree=0/459288
[pid=7502] ppid=7499 vsize=121364 CPUtime=25.4 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 91445 0 0 0 2535 5 0 0 20 0 1 0 103325749 124276736 24517 18446744073709551615 4194304 5972588 140727077560432 140727077557144 5139312 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30341 24517 851 435 0 23704 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 121364
[startup+51.1004 s]
/proc/loadavg: 2.10 2.05 2.05 3/186 7504
/proc/meminfo: memFree=30942216/32770624 swapFree=0/459292
[pid=7502] ppid=7499 vsize=121364 CPUtime=51 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 106569 0 0 0 5094 6 0 0 20 0 1 0 103325749 124276736 24518 18446744073709551615 4194304 5972588 140727077560432 140727077557144 5139312 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30341 24518 851 435 0 23704 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 121364
[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 7506
/proc/meminfo: memFree=30942844/32770624 swapFree=0/459312
[pid=7502] ppid=7499 vsize=121628 CPUtime=102.21 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 108882 0 0 0 10214 7 0 0 20 0 1 0 103325749 124547072 24591 18446744073709551615 4194304 5972588 140727077560432 140727077557192 5139338 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30407 24591 851 435 0 23770 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 121628
[startup+162.3 s]
/proc/loadavg: 1.98 2.02 2.04 3/185 7509
/proc/meminfo: memFree=30939716/32770624 swapFree=0/459324
[pid=7502] ppid=7499 vsize=121628 CPUtime=162.2 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 109537 0 0 0 16213 7 0 0 20 0 1 0 103325749 124547072 24598 18446744073709551615 4194304 5972588 140727077560432 140727077557192 5139312 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30407 24598 851 435 0 23770 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 121628
[startup+222.306 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 7512
/proc/meminfo: memFree=30935928/32770624 swapFree=0/459332
[pid=7502] ppid=7499 vsize=121628 CPUtime=222.2 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 110194 0 0 0 22213 7 0 0 20 0 1 0 103325749 124547072 24602 18446744073709551615 4194304 5972588 140727077560432 140727077557192 5139312 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30407 24602 851 435 0 23770 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 121628
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 7514
/proc/meminfo: memFree=30935824/32770624 swapFree=0/459356
[pid=7502] ppid=7499 vsize=121628 CPUtime=282.2 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 110206 0 0 0 28213 7 0 0 20 0 1 0 103325749 124547072 24602 18446744073709551615 4194304 5972588 140727077560432 140727077557192 5032400 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30407 24602 851 435 0 23770 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 121628
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 7516
/proc/meminfo: memFree=30935916/32770624 swapFree=0/459368
[pid=7502] ppid=7499 vsize=121628 CPUtime=342.21 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 110872 0 0 0 34214 7 0 0 20 0 1 0 103325749 124547072 24608 18446744073709551615 4194304 5972588 140727077560432 140727077557192 5139329 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30407 24608 851 435 0 23770 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 121628
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7518
/proc/meminfo: memFree=30935892/32770624 swapFree=0/459376
[pid=7502] ppid=7499 vsize=121760 CPUtime=402.21 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 110881 0 0 0 40214 7 0 0 20 0 1 0 103325749 124682240 24608 18446744073709551615 4194304 5972588 140727077560432 140727077557096 5139329 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30440 24608 851 435 0 23803 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 121760
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7521
/proc/meminfo: memFree=30936232/32770624 swapFree=0/459400
[pid=7502] ppid=7499 vsize=121760 CPUtime=462.21 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 111531 0 0 0 46214 7 0 0 20 0 1 0 103325749 124682240 24614 18446744073709551615 4194304 5972588 140727077560432 140727077557096 5139327 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30440 24614 851 435 0 23803 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 121760
[startup+522.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/185 7523
/proc/meminfo: memFree=30936252/32770624 swapFree=0/459412
[pid=7502] ppid=7499 vsize=121760 CPUtime=522.22 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 111555 0 0 0 52215 7 0 0 20 0 1 0 103325749 124682240 24614 18446744073709551615 4194304 5972588 140727077560432 140727077557096 5139329 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30440 24614 851 435 0 23803 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 121760
[startup+582.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/189 7540
/proc/meminfo: memFree=30933028/32770624 swapFree=0/459424
[pid=7502] ppid=7499 vsize=121760 CPUtime=582.22 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 112230 0 0 0 58215 7 0 0 20 0 1 0 103325749 124682240 24617 18446744073709551615 4194304 5972588 140727077560432 140727077557096 5139312 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30440 24617 851 435 0 23803 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 121760
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 7593
/proc/meminfo: memFree=30933508/32770624 swapFree=0/459588
[pid=7502] ppid=7499 vsize=121912 CPUtime=1602.29 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 117526 0 0 0 160222 7 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139319 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 121912
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 7596
/proc/meminfo: memFree=30933612/32770624 swapFree=0/459596
[pid=7502] ppid=7499 vsize=121912 CPUtime=1662.3 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 118002 0 0 0 166223 7 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139324 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 121912
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 7599
/proc/meminfo: memFree=30933728/32770624 swapFree=0/459608
[pid=7502] ppid=7499 vsize=121912 CPUtime=1722.3 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 118002 0 0 0 172223 7 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139329 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 121912
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 7615
/proc/meminfo: memFree=30929680/32770624 swapFree=0/459624
[pid=7502] ppid=7499 vsize=121912 CPUtime=1782.31 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 118691 0 0 0 178224 7 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139329 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 121912
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 7616
/proc/meminfo: memFree=30930056/32770624 swapFree=0/459632
[pid=7502] ppid=7499 vsize=121912 CPUtime=1842.31 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 118696 0 0 0 184224 7 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139329 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 1842.31
Current children cumulated vsize (KiB) 121912
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7619
/proc/meminfo: memFree=30933072/32770624 swapFree=0/459644
[pid=7502] ppid=7499 vsize=121912 CPUtime=1902.32 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 119375 0 0 0 190225 7 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139312 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 1902.32
Current children cumulated vsize (KiB) 121912
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7621
/proc/meminfo: memFree=30932828/32770624 swapFree=0/459668
[pid=7502] ppid=7499 vsize=121912 CPUtime=1962.32 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 119381 0 0 0 196225 7 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139319 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 1962.32
Current children cumulated vsize (KiB) 121912
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7623
/proc/meminfo: memFree=30933300/32770624 swapFree=0/459672
[pid=7502] ppid=7499 vsize=121912 CPUtime=2022.33 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 119789 0 0 0 202226 7 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139333 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 2022.33
Current children cumulated vsize (KiB) 121912
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7626
/proc/meminfo: memFree=30933428/32770624 swapFree=0/459684
[pid=7502] ppid=7499 vsize=121912 CPUtime=2082.34 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 120070 0 0 0 208226 8 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139329 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 2082.34
Current children cumulated vsize (KiB) 121912
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7689
/proc/meminfo: memFree=30971668/32770624 swapFree=0/459712
[pid=7502] ppid=7499 vsize=121912 CPUtime=2142.34 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 120547 0 0 0 214226 8 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139329 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 2142.34
Current children cumulated vsize (KiB) 121912
[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 7691
/proc/meminfo: memFree=30973052/32770624 swapFree=0/459728
[pid=7502] ppid=7499 vsize=121912 CPUtime=2202.35 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 120547 0 0 0 220227 8 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 4989353 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 2202.35
Current children cumulated vsize (KiB) 121912
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 7694
/proc/meminfo: memFree=30971788/32770624 swapFree=0/459740
[pid=7502] ppid=7499 vsize=121912 CPUtime=2262.35 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 121023 0 0 0 226227 8 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139312 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 2262.35
Current children cumulated vsize (KiB) 121912
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 7697
/proc/meminfo: memFree=30971776/32770624 swapFree=0/459752
[pid=7502] ppid=7499 vsize=121912 CPUtime=2322.35 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 121023 0 0 0 232227 8 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139319 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 2322.35
Current children cumulated vsize (KiB) 121912
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7713
/proc/meminfo: memFree=30967472/32770624 swapFree=0/459752
[pid=7502] ppid=7499 vsize=121912 CPUtime=2382.36 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 121706 0 0 0 238228 8 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139264 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 2382.36
Current children cumulated vsize (KiB) 121912
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7715
/proc/meminfo: memFree=30967356/32770624 swapFree=0/459760
[pid=7502] ppid=7499 vsize=121912 CPUtime=2442.36 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 121706 0 0 0 244228 8 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139324 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 2442.36
Current children cumulated vsize (KiB) 121912
[startup+2502.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/186 7717
/proc/meminfo: memFree=30971632/32770624 swapFree=0/459772
[pid=7502] ppid=7499 vsize=121912 CPUtime=2502.36 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 122182 0 0 0 250228 8 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139329 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 2502.36
Current children cumulated vsize (KiB) 121912
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.09 2.04 2.05 3/186 7718
/proc/meminfo: memFree=30971756/32770624 swapFree=0/459772
[pid=7502] ppid=7499 vsize=121912 CPUtime=2520.07 cores=0,2,4,6
/proc/7502/stat : 7502 (cosoco) R 7499 7502 28313 0 -1 4202496 122182 0 0 0 251999 8 0 0 20 0 1 0 103325749 124837888 24650 18446744073709551615 4194304 5972588 140727077560432 140727077557112 5139329 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 32694272 140727077564910 140727077565005 140727077565005 140727077568462 0
/proc/7502/statm: 30478 24650 851 435 0 23841 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 121912
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 7502 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2520.08
CPU user time (s): 2519.99
CPU system time (s): 0.087006
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 121912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.99
system time used= 0.087006
maximum resident set size= 98672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122235
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= 20
involuntary context switches= 1844
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.59968 second user time and 9.64901 second system time
The end