runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3288745-1304052534/watcher-3288745-1304052534 -o /tmp/evaluation-result-3288745-1304052534/solver-3288745-1304052534 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3288745-1304052534.cnf 1215919577 4800 15500 4
running on 4 cores: 1,3,5,7
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: 7.82 8.02 8.06 6/180 8566
/proc/meminfo: memFree=25750220/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[startup+0.023809 s]
/proc/loadavg: 7.82 8.02 8.06 6/180 8566
/proc/meminfo: memFree=25750220/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100765 s]
/proc/loadavg: 7.82 8.02 8.06 6/180 8566
/proc/meminfo: memFree=25750220/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300735 s]
/proc/loadavg: 7.82 8.02 8.06 6/180 8566
/proc/meminfo: memFree=25750220/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700663 s]
/proc/loadavg: 7.82 8.02 8.06 6/180 8566
/proc/meminfo: memFree=25750220/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50053 s]
/proc/loadavg: 7.82 8.02 8.06 9/186 8572
/proc/meminfo: memFree=25570624/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[pid=8567] ppid=8566 vsize=450260 CPUtime=5.56 cores=1,3,5,7
/proc/8567/stat : 8567 (priss) S 8566 8566 7814 0 -1 4202496 68339 0 0 0 525 31 0 0 18 0 5 0 516852098 461066240 51195 33554432000 4194304 5787044 140734107542240 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8567/statm: 112565 51196 352 389 0 108315 0
[pid=8567/tid=8569] ppid=8566 vsize=450260 CPUtime=1.38 cores=1,3,5,7
/proc/8567/task/8569/stat : 8569 (priss) R 8566 8566 7814 0 -1 4202560 15602 0 0 0 130 8 0 0 18 0 5 0 516852107 461066240 51196 33554432000 4194304 5787044 140734107542240 18446744073709551615 242970211013 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=8567/tid=8570] ppid=8566 vsize=450260 CPUtime=1.34 cores=1,3,5,7
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 13688 0 0 0 128 6 0 0 18 0 5 0 516852109 461066240 51197 33554432000 4194304 5787044 140734107542240 18446744073709551615 4339992 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=450260 CPUtime=1.33 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 12629 0 0 0 126 7 0 0 18 0 5 0 516852110 461066240 51198 33554432000 4194304 5787044 140734107542240 18446744073709551615 4319317 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=450260 CPUtime=1.32 cores=1,3,5,7
/proc/8567/task/8572/stat : 8572 (priss) R 8566 8566 7814 0 -1 4202560 14504 0 0 0 126 6 0 0 18 0 5 0 516852113 461066240 51199 33554432000 4194304 5787044 140734107542240 18446744073709551615 4340100 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.56
Current children cumulated vsize (KiB) 458960
[startup+3.10125 s]
/proc/loadavg: 7.82 8.02 8.06 12/186 8572
/proc/meminfo: memFree=25530896/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[pid=8567] ppid=8566 vsize=456668 CPUtime=11.95 cores=1,3,5,7
/proc/8567/stat : 8567 (priss) S 8566 8566 7814 0 -1 4202496 90424 0 0 0 1158 37 0 0 18 0 5 0 516852098 467628032 63206 33554432000 4194304 5787044 140734107542240 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8567/statm: 114167 63207 404 389 0 109917 0
[pid=8567/tid=8569] ppid=8566 vsize=456668 CPUtime=2.98 cores=1,3,5,7
/proc/8567/task/8569/stat : 8569 (priss) R 8566 8566 7814 0 -1 4202560 20982 0 0 0 289 9 0 0 20 0 5 0 516852107 467628032 63209 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591722 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=8567/tid=8570] ppid=8566 vsize=456668 CPUtime=2.94 cores=1,3,5,7
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 18464 0 0 0 286 8 0 0 20 0 5 0 516852109 467628032 63211 33554432000 4194304 5787044 140734107542240 18446744073709551615 5602395 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=456668 CPUtime=2.93 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 19387 0 0 0 284 9 0 0 20 0 5 0 516852110 467628032 63213 33554432000 4194304 5787044 140734107542240 18446744073709551615 5601306 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=456668 CPUtime=2.92 cores=1,3,5,7
/proc/8567/task/8572/stat : 8572 (priss) R 8566 8566 7814 0 -1 4202560 19682 0 0 0 284 8 0 0 21 0 5 0 516852113 467628032 63215 33554432000 4194304 5787044 140734107542240 18446744073709551615 5546323 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.95
Current children cumulated vsize (KiB) 465368
[startup+6.3007 s]
/proc/loadavg: 7.92 8.03 8.06 9/186 8572
/proc/meminfo: memFree=25473484/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[pid=8567] ppid=8566 vsize=467356 CPUtime=24.73 cores=1,3,5,7
/proc/8567/stat : 8567 (priss) S 8566 8566 7814 0 -1 4202496 98804 0 0 0 2433 40 0 0 18 0 5 0 516852098 478572544 69326 33554432000 4194304 5787044 140734107542240 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8567/statm: 116839 69326 418 389 0 112589 0
[pid=8567/tid=8569] ppid=8566 vsize=467356 CPUtime=6.17 cores=1,3,5,7
/proc/8567/task/8569/stat : 8569 (priss) R 8566 8566 7814 0 -1 4202560 21254 0 0 0 608 9 0 0 25 0 5 0 516852107 478572544 69326 33554432000 4194304 5787044 140734107542240 18446744073709551615 5588270 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=8567/tid=8570] ppid=8566 vsize=467356 CPUtime=6.12 cores=1,3,5,7
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 20133 0 0 0 604 8 0 0 25 0 5 0 516852109 478572544 69326 33554432000 4194304 5787044 140734107542240 18446744073709551615 4254581 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=467356 CPUtime=6.13 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 20296 0 0 0 603 10 0 0 25 0 5 0 516852110 478572544 69326 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591666 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=467356 CPUtime=6.12 cores=1,3,5,7
/proc/8567/task/8572/stat : 8572 (priss) R 8566 8566 7814 0 -1 4202560 25204 0 0 0 603 9 0 0 25 0 5 0 516852113 478572544 69326 33554432000 4194304 5787044 140734107542240 18446744073709551615 4238578 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.73
Current children cumulated vsize (KiB) 476056
[startup+12.7006 s]
/proc/loadavg: 7.92 8.03 8.06 9/186 8572
/proc/meminfo: memFree=25468360/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[pid=8567] ppid=8566 vsize=467356 CPUtime=50.29 cores=1,3,5,7
/proc/8567/stat : 8567 (priss) S 8566 8566 7814 0 -1 4202496 104099 0 0 0 4985 44 0 0 18 0 5 0 516852098 478572544 71605 33554432000 4194304 5787044 140734107542240 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8567/statm: 116839 71605 418 389 0 112589 0
[pid=8567/tid=8569] ppid=8566 vsize=467356 CPUtime=12.58 cores=1,3,5,7
/proc/8567/task/8569/stat : 8569 (priss) R 8566 8566 7814 0 -1 4202560 21343 0 0 0 1248 10 0 0 25 0 5 0 516852107 478572544 71605 33554432000 4194304 5787044 140734107542240 18446744073709551615 5586793 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=8567/tid=8570] ppid=8566 vsize=467356 CPUtime=12.48 cores=1,3,5,7
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 21480 0 0 0 1239 9 0 0 25 0 5 0 516852109 478572544 71605 33554432000 4194304 5787044 140734107542240 18446744073709551615 5585240 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=467356 CPUtime=12.53 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 20580 0 0 0 1242 11 0 0 25 0 5 0 516852110 478572544 71605 33554432000 4194304 5787044 140734107542240 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=467356 CPUtime=12.52 cores=1,3,5,7
/proc/8567/task/8572/stat : 8572 (priss) R 8566 8566 7814 0 -1 4202560 28779 0 0 0 1241 11 0 0 25 0 5 0 516852113 478572544 71605 33554432000 4194304 5787044 140734107542240 18446744073709551615 5527087 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.29
Current children cumulated vsize (KiB) 476056
[startup+25.5004 s]
/proc/loadavg: 7.65 7.96 8.04 10/186 8606
/proc/meminfo: memFree=26073608/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[pid=8567] ppid=8566 vsize=467356 CPUtime=99.86 cores=1,3,5,7
/proc/8567/stat : 8567 (priss) S 8566 8566 7814 0 -1 4202496 106574 0 0 0 9912 74 0 0 18 0 5 0 516852098 478572544 74080 33554432000 4194304 5787044 140734107542240 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8567/statm: 116839 74080 418 389 0 112589 0
[pid=8567/tid=8569] ppid=8566 vsize=467356 CPUtime=24.71 cores=1,3,5,7
/proc/8567/task/8569/stat : 8569 (priss) R 8566 8566 7814 0 -1 4202560 21672 0 0 0 2438 33 0 0 25 0 5 0 516852107 478572544 74080 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591328 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8570] ppid=8566 vsize=467356 CPUtime=24.64 cores=1,3,5,7
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 22004 0 0 0 2453 11 0 0 25 0 5 0 516852109 478572544 74080 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=467356 CPUtime=25.03 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 21596 0 0 0 2488 15 0 0 25 0 5 0 516852110 478572544 74080 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=467356 CPUtime=25.31 cores=1,3,5,7
/proc/8567/task/8572/stat : 8572 (priss) R 8566 8566 7814 0 -1 4202560 29385 0 0 0 2518 13 0 0 25 0 5 0 516852113 478572544 74080 33554432000 4194304 5787044 140734107542240 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 99.86
Current children cumulated vsize (KiB) 476056
[startup+51.101 s]
/proc/loadavg: 7.77 7.97 8.04 9/186 8606
/proc/meminfo: memFree=26030920/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[pid=8567] ppid=8566 vsize=467356 CPUtime=202.01 cores=1,3,5,7
/proc/8567/stat : 8567 (priss) S 8566 8566 7814 0 -1 4202496 111153 0 0 0 20113 88 0 0 18 0 5 0 516852098 478572544 78658 33554432000 4194304 5787044 140734107542240 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8567/statm: 116839 78658 418 389 0 112589 0
[pid=8567/tid=8569] ppid=8566 vsize=467356 CPUtime=50.18 cores=1,3,5,7
/proc/8567/task/8569/stat : 8569 (priss) R 8566 8566 7814 0 -1 4202560 22853 0 0 0 4982 36 0 0 25 0 5 0 516852107 478572544 78658 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8570] ppid=8566 vsize=467356 CPUtime=50.12 cores=1,3,5,7
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 22354 0 0 0 4995 17 0 0 25 0 5 0 516852109 478572544 78658 33554432000 4194304 5787044 140734107542240 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=467356 CPUtime=50.63 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 22493 0 0 0 5046 17 0 0 25 0 5 0 516852110 478572544 78658 33554432000 4194304 5787044 140734107542240 18446744073709551615 4238578 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=467356 CPUtime=50.9 cores=1,3,5,7
/proc/8567/task/8572/stat : 8572 (priss) R 8566 8566 7814 0 -1 4202560 31536 0 0 0 5075 15 0 0 21 0 5 0 516852113 478572544 78658 33554432000 4194304 5787044 140734107542240 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 202.01
Current children cumulated vsize (KiB) 476056
[startup+102.301 s]
/proc/loadavg: 8.00 8.00 8.04 9/186 8608
/proc/meminfo: memFree=25943244/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[pid=8567] ppid=8566 vsize=470468 CPUtime=406.53 cores=1,3,5,7
/proc/8567/stat : 8567 (priss) S 8566 8566 7814 0 -1 4202496 120119 0 0 0 40551 102 0 0 18 0 5 0 516852098 481759232 87579 33554432000 4194304 5787044 140734107542240 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8567/statm: 117617 87579 418 389 0 113367 0
[pid=8567/tid=8569] ppid=8566 vsize=470468 CPUtime=101.1 cores=1,3,5,7
/proc/8567/task/8569/stat : 8569 (priss) R 8566 8566 7814 0 -1 4202560 24612 0 0 0 10071 39 0 0 25 0 5 0 516852107 481759232 87579 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591246 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8570] ppid=8566 vsize=470468 CPUtime=101.33 cores=1,3,5,7
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 24274 0 0 0 10113 20 0 0 25 0 5 0 516852109 481759232 87579 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=470468 CPUtime=101.83 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 25400 0 0 0 10163 20 0 0 25 0 5 0 516852110 481759232 87579 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591564 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=470468 CPUtime=102.1 cores=1,3,5,7
################
# More data... #
################
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 40162 0 0 0 81765 37 0 0 25 0 5 0 516852109 960778240 173325 33554432000 4194304 5787044 140734107542240 18446744073709551615 4692703 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=938260 CPUtime=821.8 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 43756 0 0 0 82135 45 0 0 25 0 5 0 516852110 960778240 173325 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=938260 CPUtime=822.05 cores=1,3,5,7
/proc/8567/task/8572/stat : 8572 (priss) R 8566 8566 7814 0 -1 4202560 75560 0 0 0 82143 62 0 0 25 0 5 0 516852113 960778240 173325 33554432000 4194304 5787044 140734107542240 18446744073709551615 5527147 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3282.47
Current children cumulated vsize (KiB) 946960
[startup+882.307 s]
/proc/loadavg: 8.15 8.12 8.09 9/186 8637
/proc/meminfo: memFree=25112528/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[pid=8567] ppid=8566 vsize=938260 CPUtime=3522.14 cores=1,3,5,7
/proc/8567/stat : 8567 (priss) S 8566 8566 7814 0 -1 4202496 210674 0 0 0 352004 210 0 0 18 0 5 0 516852098 960778240 173560 33554432000 4194304 5787044 140734107542240 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8567/statm: 234565 173560 418 389 0 230315 0
[pid=8567/tid=8569] ppid=8566 vsize=938260 CPUtime=880.4 cores=1,3,5,7
/proc/8567/task/8569/stat : 8569 (priss) R 8566 8566 7814 0 -1 4202560 39147 0 0 0 87979 61 0 0 25 0 5 0 516852107 960778240 173560 33554432000 4194304 5787044 140734107542240 18446744073709551615 5586627 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=8567/tid=8570] ppid=8566 vsize=938260 CPUtime=877.69 cores=1,3,5,7
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 40163 0 0 0 87732 37 0 0 25 0 5 0 516852109 960778240 173560 33554432000 4194304 5787044 140734107542240 18446744073709551615 5576457 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=938260 CPUtime=881.8 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 43809 0 0 0 88135 45 0 0 25 0 5 0 516852110 960778240 173560 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=938260 CPUtime=882.05 cores=1,3,5,7
/proc/8567/task/8572/stat : 8572 (priss) R 8566 8566 7814 0 -1 4202560 75638 0 0 0 88143 62 0 0 25 0 5 0 516852113 960778240 173560 33554432000 4194304 5787044 140734107542240 18446744073709551615 4228509 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3522.14
Current children cumulated vsize (KiB) 946960
[startup+942.3 s]
/proc/loadavg: 8.16 8.13 8.09 9/186 8639
/proc/meminfo: memFree=25099244/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[pid=8567] ppid=8566 vsize=938644 CPUtime=3761.79 cores=1,3,5,7
/proc/8567/stat : 8567 (priss) S 8566 8566 7814 0 -1 4202496 212471 0 0 0 375963 216 0 0 18 0 5 0 516852098 961171456 175357 33554432000 4194304 5787044 140734107542240 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8567/statm: 234661 175357 418 389 0 230411 0
[pid=8567/tid=8569] ppid=8566 vsize=938644 CPUtime=940.4 cores=1,3,5,7
/proc/8567/task/8569/stat : 8569 (priss) R 8566 8566 7814 0 -1 4202560 40867 0 0 0 93973 67 0 0 25 0 5 0 516852107 961171456 175357 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=8567/tid=8570] ppid=8566 vsize=938644 CPUtime=937.36 cores=1,3,5,7
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 40168 0 0 0 93699 37 0 0 25 0 5 0 516852109 961171456 175357 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=938644 CPUtime=941.79 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 43823 0 0 0 94134 45 0 0 25 0 5 0 516852110 961171456 175357 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=938644 CPUtime=942.05 cores=1,3,5,7
/proc/8567/task/8572/stat : 8572 (priss) R 8566 8566 7814 0 -1 4202560 75696 0 0 0 94142 63 0 0 25 0 5 0 516852113 961171456 175357 33554432000 4194304 5787044 140734107542240 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3761.79
Current children cumulated vsize (KiB) 947344
[startup+1002.3 s]
/proc/loadavg: 8.21 8.15 8.10 9/186 8641
/proc/meminfo: memFree=25035612/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[pid=8567] ppid=8566 vsize=939476 CPUtime=4001.46 cores=1,3,5,7
/proc/8567/stat : 8567 (priss) S 8566 8566 7814 0 -1 4202496 217672 0 0 0 399922 224 0 0 18 0 5 0 516852098 962023424 180558 33554432000 4194304 5787044 140734107542240 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8567/statm: 234869 180558 418 389 0 230619 0
[pid=8567/tid=8569] ppid=8566 vsize=939476 CPUtime=1000.41 cores=1,3,5,7
/proc/8567/task/8569/stat : 8569 (priss) R 8566 8566 7814 0 -1 4202560 44177 0 0 0 99969 72 0 0 25 0 5 0 516852107 962023424 180558 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=8567/tid=8570] ppid=8566 vsize=939476 CPUtime=997.03 cores=1,3,5,7
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 41347 0 0 0 99663 40 0 0 25 0 5 0 516852109 962023424 180558 33554432000 4194304 5787044 140734107542240 18446744073709551615 5590283 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=939476 CPUtime=1001.8 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 44349 0 0 0 100134 46 0 0 25 0 5 0 516852110 962023424 180558 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=939476 CPUtime=1002.05 cores=1,3,5,7
/proc/8567/task/8572/stat : 8572 (priss) R 8566 8566 7814 0 -1 4202560 75882 0 0 0 100142 63 0 0 25 0 5 0 516852113 962023424 180558 33554432000 4194304 5787044 140734107542240 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4001.46
Current children cumulated vsize (KiB) 948176
[startup+1062.3 s]
/proc/loadavg: 8.42 8.21 8.12 9/186 8645
/proc/meminfo: memFree=24953232/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[pid=8567] ppid=8566 vsize=1013420 CPUtime=4240.25 cores=1,3,5,7
/proc/8567/stat : 8567 (priss) S 8566 8566 7814 0 -1 4202496 225998 0 0 0 423790 235 0 0 18 0 5 0 516852098 1037742080 188884 33554432000 4194304 5787044 140734107542240 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8567/statm: 253355 188884 418 389 0 249105 0
[pid=8567/tid=8569] ppid=8566 vsize=1013420 CPUtime=1060.35 cores=1,3,5,7
/proc/8567/task/8569/stat : 8569 (priss) R 8566 8566 7814 0 -1 4202560 45714 0 0 0 105961 74 0 0 25 0 5 0 516852107 1037742080 188884 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8570] ppid=8566 vsize=1013420 CPUtime=1056.75 cores=1,3,5,7
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 44400 0 0 0 105630 45 0 0 25 0 5 0 516852109 1037742080 188884 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=1013420 CPUtime=1060.92 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 46407 0 0 0 106043 49 0 0 25 0 5 0 516852110 1037742080 188884 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=1013420 CPUtime=1062.04 cores=1,3,5,7
/proc/8567/task/8572/stat : 8572 (priss) R 8566 8566 7814 0 -1 4202560 77560 0 0 0 106141 63 0 0 25 0 5 0 516852113 1037742080 188884 33554432000 4194304 5787044 140734107542240 18446744073709551615 5528404 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4240.25
Current children cumulated vsize (KiB) 1022120
[startup+1122.3 s]
/proc/loadavg: 8.19 8.18 8.11 9/186 8647
/proc/meminfo: memFree=24872464/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[pid=8567] ppid=8566 vsize=1013420 CPUtime=4479.92 cores=1,3,5,7
/proc/8567/stat : 8567 (priss) S 8566 8566 7814 0 -1 4202496 233012 0 0 0 447747 245 0 0 18 0 5 0 516852098 1037742080 195898 33554432000 4194304 5787044 140734107542240 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8567/statm: 253355 195898 418 389 0 249105 0
[pid=8567/tid=8569] ppid=8566 vsize=1013420 CPUtime=1120.03 cores=1,3,5,7
/proc/8567/task/8569/stat : 8569 (priss) R 8566 8566 7814 0 -1 4202560 48773 0 0 0 111924 79 0 0 25 0 5 0 516852107 1037742080 195898 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8570] ppid=8566 vsize=1013420 CPUtime=1116.76 cores=1,3,5,7
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 45985 0 0 0 111628 48 0 0 25 0 5 0 516852109 1037742080 195898 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=1013420 CPUtime=1120.92 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 48591 0 0 0 112039 53 0 0 25 0 5 0 516852110 1037742080 195898 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=1013420 CPUtime=1122.04 cores=1,3,5,7
/proc/8567/task/8572/stat : 8572 (priss) R 8566 8566 7814 0 -1 4202560 77746 0 0 0 112141 63 0 0 25 0 5 0 516852113 1037742080 195898 33554432000 4194304 5787044 140734107542240 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4479.92
Current children cumulated vsize (KiB) 1022120
[startup+1182.3 s]
/proc/loadavg: 8.14 8.18 8.11 9/186 8648
/proc/meminfo: memFree=24816524/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[pid=8567] ppid=8566 vsize=1013420 CPUtime=4719.59 cores=1,3,5,7
/proc/8567/stat : 8567 (priss) S 8566 8566 7814 0 -1 4202496 240750 0 0 0 471703 256 0 0 18 0 5 0 516852098 1037742080 203636 33554432000 4194304 5787044 140734107542240 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8567/statm: 253355 203636 418 389 0 249105 0
[pid=8567/tid=8569] ppid=8566 vsize=1013420 CPUtime=1180 cores=1,3,5,7
/proc/8567/task/8569/stat : 8569 (priss) R 8566 8566 7814 0 -1 4202560 51326 0 0 0 117917 83 0 0 25 0 5 0 516852107 1037742080 203636 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591090 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=8567/tid=8570] ppid=8566 vsize=1013420 CPUtime=1176.45 cores=1,3,5,7
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 48090 0 0 0 117595 50 0 0 25 0 5 0 516852109 1037742080 203636 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591568 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=1013420 CPUtime=1180.93 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 50319 0 0 0 118036 57 0 0 25 0 5 0 516852110 1037742080 203636 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591304 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=1013420 CPUtime=1182.05 cores=1,3,5,7
/proc/8567/task/8572/stat : 8572 (priss) R 8566 8566 7814 0 -1 4202560 79098 0 0 0 118141 64 0 0 25 0 5 0 516852113 1037742080 203636 33554432000 4194304 5787044 140734107542240 18446744073709551615 5528398 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4719.59
Current children cumulated vsize (KiB) 1022120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1202.5 s]
/proc/loadavg: 8.24 8.20 8.12 9/186 8649
/proc/meminfo: memFree=24797428/32951132 swapFree=67111364/67111528
[pid=8566] ppid=8564 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/8566/stat : 8566 (priss.sh) S 8564 8566 7814 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 516852098 8908800 252 33554432000 4194304 4922060 140733252379936 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/8566/statm: 2175 252 211 178 0 68 0
[pid=8567] ppid=8566 vsize=1013420 CPUtime=4800.3 cores=1,3,5,7
/proc/8567/stat : 8567 (priss) S 8566 8566 7814 0 -1 4202496 243886 0 0 0 479770 260 0 0 18 0 5 0 516852098 1037742080 206772 33554432000 4194304 5787044 140734107542240 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/8567/statm: 253355 206772 418 389 0 249105 0
[pid=8567/tid=8569] ppid=8566 vsize=1013420 CPUtime=1200.2 cores=1,3,5,7
/proc/8567/task/8569/stat : 8569 (priss) R 8566 8566 7814 0 -1 4202560 51962 0 0 0 119936 84 0 0 25 0 5 0 516852107 1037742080 206772 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=8567/tid=8570] ppid=8566 vsize=1013420 CPUtime=1196.54 cores=1,3,5,7
/proc/8567/task/8570/stat : 8570 (priss) R 8566 8566 7814 0 -1 4202560 48799 0 0 0 119603 51 0 0 25 0 5 0 516852109 1037742080 206772 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591219 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=8567/tid=8571] ppid=8566 vsize=1013420 CPUtime=1201.13 cores=1,3,5,7
/proc/8567/task/8571/stat : 8571 (priss) R 8566 8566 7814 0 -1 4202560 51006 0 0 0 120055 58 0 0 25 0 5 0 516852110 1037742080 206772 33554432000 4194304 5787044 140734107542240 18446744073709551615 5591019 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=8567/tid=8572] ppid=8566 vsize=1013420 CPUtime=1202.25 cores=1,3,5,7
/proc/8567/task/8572/stat : 8572 (priss) R 8566 8566 7814 0 -1 4202560 80202 0 0 0 120161 64 0 0 25 0 5 0 516852113 1037742080 206772 33554432000 4194304 5787044 140734107542240 18446744073709551615 5527568 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 1022120
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8566 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=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 4800.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1202.52
CPU time (s): 4800.3
CPU user time (s): 4797.7
CPU system time (s): 2.6
CPU usage (%): 399.188
Max. virtual memory (cumulated for all children) (KiB): 1022120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333
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= 5
involuntary context switches= 2
runsolver used 1.62175 second user time and 4.95325 second system time
The end