runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3283592-1307647238/watcher-3283592-1307647238 -o /tmp/evaluation-result-3283592-1307647238/solver-3283592-1307647238 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3283592-1307647238.cnf 984973615 4800 15500 4
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.99 7.17 7.62 2/178 5343
/proc/meminfo: memFree=32441288/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[startup+0.0393369 s]
/proc/loadavg: 4.99 7.17 7.62 2/178 5343
/proc/meminfo: memFree=32441288/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100332 s]
/proc/loadavg: 4.99 7.17 7.62 2/178 5343
/proc/meminfo: memFree=32441288/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300259 s]
/proc/loadavg: 4.99 7.17 7.62 2/178 5343
/proc/meminfo: memFree=32441288/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700189 s]
/proc/loadavg: 4.99 7.17 7.62 2/178 5343
/proc/meminfo: memFree=32441288/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50101 s]
/proc/loadavg: 4.99 7.17 7.62 9/188 5353
/proc/meminfo: memFree=31143076/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[pid=5344] ppid=5343 vsize=1196380 CPUtime=4.12 cores=0,2,4,6
/proc/5344/stat : 5344 (priss) S 5343 5343 4755 0 -1 4202496 249292 0 0 0 364 48 0 0 18 0 5 0 857139778 1225093120 238199 33554432000 4194304 5787044 140734825000848 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5344/statm: 299095 238200 345 389 0 294845 0
[pid=5344/tid=5349] ppid=5343 vsize=1196380 CPUtime=1.01 cores=0,2,4,6
/proc/5344/task/5349/stat : 5349 (priss) R 5343 5343 4755 0 -1 4202560 51331 0 0 0 93 8 0 0 18 0 5 0 857139823 1225093120 238201 33554432000 4194304 5787044 140734825000848 18446744073709551615 4307762 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=5344/tid=5351] ppid=5343 vsize=1196380 CPUtime=0.9 cores=0,2,4,6
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 46372 0 0 0 79 11 0 0 18 0 5 0 857139832 1225093120 238202 33554432000 4194304 5787044 140734825000848 18446744073709551615 47108475278487 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=1196380 CPUtime=0.76 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 44208 0 0 0 65 11 0 0 18 0 5 0 857139843 1225093120 238204 33554432000 4194304 5787044 140734825000848 18446744073709551615 4302169 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=1196380 CPUtime=0.7 cores=0,2,4,6
/proc/5344/task/5353/stat : 5353 (priss) R 5343 5343 4755 0 -1 4202560 41562 0 0 0 59 11 0 0 18 0 5 0 857139854 1225093120 238205 33554432000 4194304 5787044 140734825000848 18446744073709551615 233509958689 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 1205080
[startup+3.10073 s]
/proc/loadavg: 4.99 7.17 7.62 9/188 5353
/proc/meminfo: memFree=31272784/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[pid=5344] ppid=5343 vsize=851328 CPUtime=10.51 cores=0,2,4,6
/proc/5344/stat : 5344 (priss) S 5343 5343 4755 0 -1 4202496 276966 0 0 0 995 56 0 0 18 0 5 0 857139778 871759872 161673 33554432000 4194304 5787044 140734825000848 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5344/statm: 212832 161673 349 389 0 208582 0
[pid=5344/tid=5349] ppid=5343 vsize=851328 CPUtime=2.6 cores=0,2,4,6
/proc/5344/task/5349/stat : 5349 (priss) R 5343 5343 4755 0 -1 4202560 54986 0 0 0 252 8 0 0 20 0 5 0 857139823 871759872 161673 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330514 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=5344/tid=5351] ppid=5343 vsize=851328 CPUtime=2.51 cores=0,2,4,6
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 50050 0 0 0 239 12 0 0 20 0 5 0 857139832 871759872 161673 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=851328 CPUtime=2.35 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 53131 0 0 0 222 13 0 0 20 0 5 0 857139843 871759872 161673 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330572 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=851328 CPUtime=2.29 cores=0,2,4,6
/proc/5344/task/5353/stat : 5353 (priss) R 5343 5343 4755 0 -1 4202560 52974 0 0 0 215 14 0 0 20 0 5 0 857139854 871759872 161673 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.51
Current children cumulated vsize (KiB) 860028
[startup+6.30116 s]
/proc/loadavg: 5.23 7.18 7.62 9/188 5353
/proc/meminfo: memFree=31257388/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[pid=5344] ppid=5343 vsize=851328 CPUtime=23.29 cores=0,2,4,6
/proc/5344/stat : 5344 (priss) S 5343 5343 4755 0 -1 4202496 277282 0 0 0 2273 56 0 0 18 0 5 0 857139778 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5344/statm: 212832 161989 349 389 0 208582 0
[pid=5344/tid=5349] ppid=5343 vsize=851328 CPUtime=5.8 cores=0,2,4,6
/proc/5344/task/5349/stat : 5349 (priss) R 5343 5343 4755 0 -1 4202560 55057 0 0 0 572 8 0 0 25 0 5 0 857139823 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=5344/tid=5351] ppid=5343 vsize=851328 CPUtime=5.71 cores=0,2,4,6
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 50127 0 0 0 559 12 0 0 25 0 5 0 857139832 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=851328 CPUtime=5.53 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 53214 0 0 0 540 13 0 0 25 0 5 0 857139843 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=851328 CPUtime=5.5 cores=0,2,4,6
/proc/5344/task/5353/stat : 5353 (priss) R 5343 5343 4755 0 -1 4202560 53059 0 0 0 535 15 0 0 25 0 5 0 857139854 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.29
Current children cumulated vsize (KiB) 860028
[startup+12.701 s]
/proc/loadavg: 5.53 7.21 7.63 9/188 5353
/proc/meminfo: memFree=31256940/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[pid=5344] ppid=5343 vsize=851328 CPUtime=48.86 cores=0,2,4,6
/proc/5344/stat : 5344 (priss) S 5343 5343 4755 0 -1 4202496 277282 0 0 0 4830 56 0 0 18 0 5 0 857139778 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5344/statm: 212832 161989 349 389 0 208582 0
[pid=5344/tid=5349] ppid=5343 vsize=851328 CPUtime=12.2 cores=0,2,4,6
/proc/5344/task/5349/stat : 5349 (priss) R 5343 5343 4755 0 -1 4202560 55057 0 0 0 1212 8 0 0 25 0 5 0 857139823 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330553 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=5344/tid=5351] ppid=5343 vsize=851328 CPUtime=12.11 cores=0,2,4,6
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 50127 0 0 0 1199 12 0 0 25 0 5 0 857139832 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=851328 CPUtime=11.9 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 53214 0 0 0 1177 13 0 0 25 0 5 0 857139843 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=851328 CPUtime=11.9 cores=0,2,4,6
/proc/5344/task/5353/stat : 5353 (priss) R 5343 5343 4755 0 -1 4202560 53059 0 0 0 1175 15 0 0 25 0 5 0 857139854 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.86
Current children cumulated vsize (KiB) 860028
[startup+25.5007 s]
/proc/loadavg: 6.08 7.25 7.64 9/188 5354
/proc/meminfo: memFree=31257676/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[pid=5344] ppid=5343 vsize=851328 CPUtime=99.98 cores=0,2,4,6
/proc/5344/stat : 5344 (priss) S 5343 5343 4755 0 -1 4202496 277282 0 0 0 9942 56 0 0 18 0 5 0 857139778 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5344/statm: 212832 161989 349 389 0 208582 0
[pid=5344/tid=5349] ppid=5343 vsize=851328 CPUtime=25 cores=0,2,4,6
/proc/5344/task/5349/stat : 5349 (priss) R 5343 5343 4755 0 -1 4202560 55057 0 0 0 2492 8 0 0 25 0 5 0 857139823 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=5344/tid=5351] ppid=5343 vsize=851328 CPUtime=24.91 cores=0,2,4,6
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 50127 0 0 0 2479 12 0 0 25 0 5 0 857139832 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=851328 CPUtime=24.62 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 53214 0 0 0 2449 13 0 0 25 0 5 0 857139843 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=851328 CPUtime=24.7 cores=0,2,4,6
/proc/5344/task/5353/stat : 5353 (priss) R 5343 5343 4755 0 -1 4202560 53059 0 0 0 2455 15 0 0 25 0 5 0 857139854 871759872 161989 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (KiB) 860028
[startup+51.1012 s]
/proc/loadavg: 6.72 7.31 7.64 9/188 5354
/proc/meminfo: memFree=30988476/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[pid=5344] ppid=5343 vsize=1022380 CPUtime=202.22 cores=0,2,4,6
/proc/5344/stat : 5344 (priss) S 5343 5343 4755 0 -1 4202496 321267 0 0 0 20155 67 0 0 18 0 5 0 857139778 1046917120 200016 33554432000 4194304 5787044 140734825000848 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5344/statm: 255595 200016 352 389 0 251345 0
[pid=5344/tid=5349] ppid=5343 vsize=1022380 CPUtime=50.61 cores=0,2,4,6
/proc/5344/task/5349/stat : 5349 (priss) R 5343 5343 4755 0 -1 4202560 66865 0 0 0 5050 11 0 0 25 0 5 0 857139823 1046917120 200016 33554432000 4194304 5787044 140734825000848 18446744073709551615 4276259 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=5344/tid=5351] ppid=5343 vsize=1022380 CPUtime=50.5 cores=0,2,4,6
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 60348 0 0 0 5036 14 0 0 25 0 5 0 857139832 1046917120 200016 33554432000 4194304 5787044 140734825000848 18446744073709551615 4276375 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=1022380 CPUtime=50.08 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 63532 0 0 0 4991 17 0 0 25 0 5 0 857139843 1046917120 200016 33554432000 4194304 5787044 140734825000848 18446744073709551615 4276224 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=1022380 CPUtime=50.27 cores=0,2,4,6
/proc/5344/task/5353/stat : 5353 (priss) R 5343 5343 4755 0 -1 4202560 64697 0 0 0 5011 16 0 0 25 0 5 0 857139854 1046917120 200016 33554432000 4194304 5787044 140734825000848 18446744073709551615 4276264 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.22
Current children cumulated vsize (KiB) 1031080
[startup+102.308 s]
/proc/loadavg: 7.55 7.44 7.67 9/188 5356
/proc/meminfo: memFree=30736556/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[pid=5344] ppid=5343 vsize=1022512 CPUtime=406.75 cores=0,2,4,6
/proc/5344/stat : 5344 (priss) S 5343 5343 4755 0 -1 4202496 566027 0 0 0 40545 130 0 0 18 0 5 0 857139778 1047052288 200263 33554432000 4194304 5787044 140734825000848 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5344/statm: 255628 200264 352 389 0 251378 0
[pid=5344/tid=5349] ppid=5343 vsize=1022512 CPUtime=101.82 cores=0,2,4,6
/proc/5344/task/5349/stat : 5349 (priss) R 5343 5343 4755 0 -1 4202560 194073 0 0 0 10136 46 0 0 25 0 5 0 857139823 1047052288 200265 33554432000 4194304 5787044 140734825000848 18446744073709551615 233509958689 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=5344/tid=5351] ppid=5343 vsize=1022512 CPUtime=101.7 cores=0,2,4,6
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 60402 0 0 0 10156 14 0 0 25 0 5 0 857139832 1047052288 200265 33554432000 4194304 5787044 140734825000848 18446744073709551615 4276063 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=1022512 CPUtime=101.01 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 125754 0 0 0 10066 35 0 0 25 0 5 0 857139843 1047052288 200266 33554432000 4194304 5787044 140734825000848 18446744073709551615 4276264 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=1022512 CPUtime=101.48 cores=0,2,4,6
################
# More data... #
################
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 96205 0 0 0 88137 25 0 0 25 0 5 0 857139832 1800519680 370549 33554432000 4194304 5787044 140734825000848 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=1758320 CPUtime=876.7 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 549092 0 0 0 87537 133 0 0 25 0 5 0 857139843 1800519680 370549 33554432000 4194304 5787044 140734825000848 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=1758320 CPUtime=881.38 cores=0,2,4,6
/proc/5344/task/5353/stat : 5353 (priss) R 5343 5343 4755 0 -1 4202560 774440 0 0 0 87989 149 0 0 25 0 5 0 857139854 1800519680 370549 33554432000 4194304 5787044 140734825000848 18446744073709551615 5527202 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3522.23
Current children cumulated vsize (KiB) 1767020
[startup+942.301 s]
/proc/loadavg: 8.12 8.09 7.93 9/188 5424
/proc/meminfo: memFree=30550692/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[pid=5344] ppid=5343 vsize=1823856 CPUtime=3761.9 cores=0,2,4,6
/proc/5344/stat : 5344 (priss) S 5343 5343 4755 0 -1 4202496 2126308 0 0 0 375726 464 0 0 18 0 5 0 857139778 1867628544 385970 33554432000 4194304 5787044 140734825000848 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5344/statm: 455964 385970 418 389 0 451714 0
[pid=5344/tid=5349] ppid=5343 vsize=1823856 CPUtime=941.78 cores=0,2,4,6
/proc/5344/task/5349/stat : 5349 (priss) R 5343 5343 4755 0 -1 4202560 619933 0 0 0 94032 146 0 0 25 0 5 0 857139823 1867628544 385970 33554432000 4194304 5787044 140734825000848 18446744073709551615 4254964 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=5344/tid=5351] ppid=5343 vsize=1823856 CPUtime=941.63 cores=0,2,4,6
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 96992 0 0 0 94137 26 0 0 25 0 5 0 857139832 1867628544 385970 33554432000 4194304 5787044 140734825000848 18446744073709551615 5591760 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=1823856 CPUtime=936.38 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 549139 0 0 0 93505 133 0 0 25 0 5 0 857139843 1867628544 385970 33554432000 4194304 5787044 140734825000848 18446744073709551615 4220539 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=1823856 CPUtime=941.37 cores=0,2,4,6
/proc/5344/task/5353/stat : 5353 (priss) R 5343 5343 4755 0 -1 4202560 794419 0 0 0 93985 152 0 0 25 0 5 0 857139854 1867628544 385970 33554432000 4194304 5787044 140734825000848 18446744073709551615 4318944 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3761.9
Current children cumulated vsize (KiB) 1832556
[startup+1002.3 s]
/proc/loadavg: 8.15 8.10 7.94 9/188 5426
/proc/meminfo: memFree=30442488/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[pid=5344] ppid=5343 vsize=1894892 CPUtime=4001.57 cores=0,2,4,6
/proc/5344/stat : 5344 (priss) S 5343 5343 4755 0 -1 4202496 2149582 0 0 0 399679 478 0 0 18 0 5 0 857139778 1940369408 407252 33554432000 4194304 5787044 140734825000848 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5344/statm: 473723 407252 418 389 0 469473 0
[pid=5344/tid=5349] ppid=5343 vsize=1894892 CPUtime=1001.72 cores=0,2,4,6
/proc/5344/task/5349/stat : 5349 (priss) R 5343 5343 4755 0 -1 4202560 622537 0 0 0 100024 148 0 0 25 0 5 0 857139823 1940369408 407252 33554432000 4194304 5787044 140734825000848 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5351] ppid=5343 vsize=1894892 CPUtime=1001.62 cores=0,2,4,6
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 100718 0 0 0 100133 29 0 0 25 0 5 0 857139832 1940369408 407252 33554432000 4194304 5787044 140734825000848 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=1894892 CPUtime=996.1 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 554121 0 0 0 99471 139 0 0 25 0 5 0 857139843 1940369408 407252 33554432000 4194304 5787044 140734825000848 18446744073709551615 5586779 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=1894892 CPUtime=1001.36 cores=0,2,4,6
/proc/5344/task/5353/stat : 5353 (priss) R 5343 5343 4755 0 -1 4202560 806381 0 0 0 99982 154 0 0 25 0 5 0 857139854 1940369408 407252 33554432000 4194304 5787044 140734825000848 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4001.57
Current children cumulated vsize (KiB) 1903592
[startup+1062.3 s]
/proc/loadavg: 8.10 8.10 7.94 9/188 5427
/proc/meminfo: memFree=30377700/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[pid=5344] ppid=5343 vsize=1921436 CPUtime=4241.23 cores=0,2,4,6
/proc/5344/stat : 5344 (priss) S 5343 5343 4755 0 -1 4202496 2166198 0 0 0 423633 490 0 0 18 0 5 0 857139778 1967550464 421810 33554432000 4194304 5787044 140734825000848 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5344/statm: 480359 421810 418 389 0 476109 0
[pid=5344/tid=5349] ppid=5343 vsize=1921436 CPUtime=1061.4 cores=0,2,4,6
/proc/5344/task/5349/stat : 5349 (priss) R 5343 5343 4755 0 -1 4202560 622712 0 0 0 105991 149 0 0 25 0 5 0 857139823 1967550464 421810 33554432000 4194304 5787044 140734825000848 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5351] ppid=5343 vsize=1921436 CPUtime=1061.63 cores=0,2,4,6
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 104426 0 0 0 106131 32 0 0 25 0 5 0 857139832 1967550464 421810 33554432000 4194304 5787044 140734825000848 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=1921436 CPUtime=1056.09 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 557853 0 0 0 105467 142 0 0 25 0 5 0 857139843 1967550464 421810 33554432000 4194304 5787044 140734825000848 18446744073709551615 5585240 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=1921436 CPUtime=1061.36 cores=0,2,4,6
/proc/5344/task/5353/stat : 5353 (priss) R 5343 5343 4755 0 -1 4202560 815382 0 0 0 105976 160 0 0 25 0 5 0 857139854 1967550464 421810 33554432000 4194304 5787044 140734825000848 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4241.23
Current children cumulated vsize (KiB) 1930136
[startup+1122.3 s]
/proc/loadavg: 8.11 8.09 7.95 9/188 5429
/proc/meminfo: memFree=30360528/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[pid=5344] ppid=5343 vsize=1935776 CPUtime=4480.8 cores=0,2,4,6
/proc/5344/stat : 5344 (priss) S 5343 5343 4755 0 -1 4202496 2180717 0 0 0 447587 493 0 0 18 0 5 0 857139778 1982234624 425960 33554432000 4194304 5787044 140734825000848 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5344/statm: 483944 425960 418 389 0 479694 0
[pid=5344/tid=5349] ppid=5343 vsize=1935776 CPUtime=1121.03 cores=0,2,4,6
/proc/5344/task/5349/stat : 5349 (priss) R 5343 5343 4755 0 -1 4202560 622738 0 0 0 111954 149 0 0 25 0 5 0 857139823 1982234624 425960 33554432000 4194304 5787044 140734825000848 18446744073709551615 5576704 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5351] ppid=5343 vsize=1935776 CPUtime=1121.61 cores=0,2,4,6
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 104475 0 0 0 112129 32 0 0 25 0 5 0 857139832 1982234624 425960 33554432000 4194304 5787044 140734825000848 18446744073709551615 5585293 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=1935776 CPUtime=1116.1 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 557854 0 0 0 111467 143 0 0 25 0 5 0 857139843 1982234624 425960 33554432000 4194304 5787044 140734825000848 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=1935776 CPUtime=1121.32 cores=0,2,4,6
/proc/5344/task/5353/stat : 5353 (priss) R 5343 5343 4755 0 -1 4202560 829825 0 0 0 111970 162 0 0 25 0 5 0 857139854 1982234624 425960 33554432000 4194304 5787044 140734825000848 18446744073709551615 5528398 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4480.8
Current children cumulated vsize (KiB) 1944476
[startup+1182.3 s]
/proc/loadavg: 8.04 8.07 7.95 9/188 5430
/proc/meminfo: memFree=30338764/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[pid=5344] ppid=5343 vsize=1935776 CPUtime=4720.47 cores=0,2,4,6
/proc/5344/stat : 5344 (priss) S 5343 5343 4755 0 -1 4202496 2185501 0 0 0 471552 495 0 0 18 0 5 0 857139778 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5344/statm: 483944 426540 418 389 0 479694 0
[pid=5344/tid=5349] ppid=5343 vsize=1935776 CPUtime=1180.7 cores=0,2,4,6
/proc/5344/task/5349/stat : 5349 (priss) R 5343 5343 4755 0 -1 4202560 622738 0 0 0 117921 149 0 0 25 0 5 0 857139823 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 5591776 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5351] ppid=5343 vsize=1935776 CPUtime=1181.6 cores=0,2,4,6
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 104475 0 0 0 118128 32 0 0 25 0 5 0 857139832 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 5586592 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=1935776 CPUtime=1176.1 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 557854 0 0 0 117467 143 0 0 25 0 5 0 857139843 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=1935776 CPUtime=1181.31 cores=0,2,4,6
/proc/5344/task/5353/stat : 5353 (priss) R 5343 5343 4755 0 -1 4202560 834609 0 0 0 117968 163 0 0 25 0 5 0 857139854 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4720.47
Current children cumulated vsize (KiB) 1944476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1202.31 s]
/proc/loadavg: 8.03 8.07 7.95 9/188 5431
/proc/meminfo: memFree=30332660/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[pid=5344] ppid=5343 vsize=1935776 CPUtime=4800.4 cores=0,2,4,6
/proc/5344/stat : 5344 (priss) S 5343 5343 4755 0 -1 4202496 2185501 0 0 0 479545 495 0 0 18 0 5 0 857139778 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5344/statm: 483944 426540 418 389 0 479694 0
[pid=5344/tid=5349] ppid=5343 vsize=1935776 CPUtime=1200.59 cores=0,2,4,6
/proc/5344/task/5349/stat : 5349 (priss) R 5343 5343 4755 0 -1 4202560 622738 0 0 0 119910 149 0 0 25 0 5 0 857139823 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5351] ppid=5343 vsize=1935776 CPUtime=1201.62 cores=0,2,4,6
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 104475 0 0 0 120130 32 0 0 25 0 5 0 857139832 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 5591217 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=1935776 CPUtime=1196.11 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 557854 0 0 0 119468 143 0 0 25 0 5 0 857139843 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=1935776 CPUtime=1201.32 cores=0,2,4,6
/proc/5344/task/5353/stat : 5353 (priss) R 5343 5343 4755 0 -1 4202560 834609 0 0 0 119969 163 0 0 25 0 5 0 857139854 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 1944476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1202.31 s]
/proc/loadavg: 8.03 8.07 7.95 9/188 5431
/proc/meminfo: memFree=30332660/32951124 swapFree=67056964/67111528
[pid=5343] ppid=5341 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/5343/stat : 5343 (prissAuto.sh) S 5341 5343 4755 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 857139778 8908800 252 33554432000 4194304 4922060 140735563161280 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5343/statm: 2175 252 211 178 0 68 0
[pid=5344] ppid=5343 vsize=1935776 CPUtime=4800.4 cores=0,2,4,6
/proc/5344/stat : 5344 (priss) S 5343 5343 4755 0 -1 4202496 2185501 0 0 0 479545 495 0 0 18 0 5 0 857139778 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5344/statm: 483944 426540 418 389 0 479694 0
[pid=5344/tid=5349] ppid=5343 vsize=1935776 CPUtime=1200.59 cores=0,2,4,6
/proc/5344/task/5349/stat : 5349 (priss) R 5343 5343 4755 0 -1 4202560 622738 0 0 0 119910 149 0 0 25 0 5 0 857139823 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=5344/tid=5351] ppid=5343 vsize=1935776 CPUtime=1201.62 cores=0,2,4,6
/proc/5344/task/5351/stat : 5351 (priss) R 5343 5343 4755 0 -1 4202560 104475 0 0 0 120130 32 0 0 25 0 5 0 857139832 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 5591217 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=5344/tid=5352] ppid=5343 vsize=1935776 CPUtime=1196.11 cores=0,2,4,6
/proc/5344/task/5352/stat : 5352 (priss) R 5343 5343 4755 0 -1 4202560 557854 0 0 0 119468 143 0 0 25 0 5 0 857139843 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=5344/tid=5353] ppid=5343 vsize=1935776 CPUtime=1201.32 cores=0,2,4,6
/proc/5344/task/5353/stat : 5353 (priss) R 5343 5343 4755 0 -1 4202560 834609 0 0 0 119969 163 0 0 25 0 5 0 857139854 1982234624 426540 33554432000 4194304 5787044 140734825000848 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 1944476
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5343 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 4800.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1202.32
CPU time (s): 4800.4
CPU user time (s): 4795.45
CPU system time (s): 4.95
CPU usage (%): 399.26
Max. virtual memory (cumulated for all children) (KiB): 1995672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331
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= 6
involuntary context switches= 3
runsolver used 1.82472 second user time and 4.76427 second system time
The end