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-3280464-1304037066/watcher-3280464-1304037066 -o /tmp/evaluation-result-3280464-1304037066/solver-3280464-1304037066 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3280464-1304037066.cnf 122768304 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: 3.45 4.35 5.57 2/174 19663
/proc/meminfo: memFree=13906460/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[startup+0.616584 s]
/proc/loadavg: 3.45 4.35 5.57 2/174 19663
/proc/meminfo: memFree=13906460/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.725708 s]
/proc/loadavg: 3.45 4.35 5.57 2/174 19663
/proc/meminfo: memFree=13906460/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.800693 s]
/proc/loadavg: 3.45 4.35 5.57 2/174 19663
/proc/meminfo: memFree=13906460/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.900676 s]
/proc/loadavg: 3.45 4.35 5.57 2/174 19663
/proc/meminfo: memFree=13906460/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50058 s]
/proc/loadavg: 3.45 4.35 5.57 2/174 19663
/proc/meminfo: memFree=13906460/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+3.10029 s]
/proc/loadavg: 3.90 4.43 5.59 9/188 19680
/proc/meminfo: memFree=13539924/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[pid=19664] ppid=19663 vsize=351376 CPUtime=12.34 cores=1,3,5,7
/proc/19664/stat : 19664 (priss) S 19663 19663 19631 0 -1 4202496 13018 0 0 0 1230 4 0 0 18 0 5 0 515307558 359809024 10740 33554432000 4194304 5787044 140735241596816 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19664/statm: 87844 10740 419 389 0 83594 0
[pid=19664/tid=19666] ppid=19663 vsize=351376 CPUtime=3.07 cores=1,3,5,7
/proc/19664/task/19666/stat : 19666 (priss) R 19663 19663 19631 0 -1 4202560 2004 0 0 0 307 0 0 0 25 0 5 0 515307559 359809024 10740 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=19664/tid=19667] ppid=19663 vsize=351376 CPUtime=3.07 cores=1,3,5,7
/proc/19664/task/19667/stat : 19667 (priss) R 19663 19663 19631 0 -1 4202560 2053 0 0 0 307 0 0 0 25 0 5 0 515307559 359809024 10740 33554432000 4194304 5787044 140735241596816 18446744073709551615 4218260 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19664/tid=19668] ppid=19663 vsize=351376 CPUtime=3.06 cores=1,3,5,7
/proc/19664/task/19668/stat : 19668 (priss) R 19663 19663 19631 0 -1 4202560 2889 0 0 0 306 0 0 0 25 0 5 0 515307559 359809024 10740 33554432000 4194304 5787044 140735241596816 18446744073709551615 5588680 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19664/tid=19669] ppid=19663 vsize=351376 CPUtime=3.08 cores=1,3,5,7
/proc/19664/task/19669/stat : 19669 (priss) R 19663 19663 19631 0 -1 4202560 4520 0 0 0 307 1 0 0 25 0 5 0 515307559 359809024 10740 33554432000 4194304 5787044 140735241596816 18446744073709551615 4220738 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 360076
[startup+6.30073 s]
/proc/loadavg: 3.90 4.43 5.59 9/188 19680
/proc/meminfo: memFree=13530384/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[pid=19664] ppid=19663 vsize=351376 CPUtime=25.12 cores=1,3,5,7
/proc/19664/stat : 19664 (priss) S 19663 19663 19631 0 -1 4202496 14039 0 0 0 2507 5 0 0 18 0 5 0 515307558 359809024 11761 33554432000 4194304 5787044 140735241596816 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19664/statm: 87844 11761 419 389 0 83594 0
[pid=19664/tid=19666] ppid=19663 vsize=351376 CPUtime=6.27 cores=1,3,5,7
/proc/19664/task/19666/stat : 19666 (priss) R 19663 19663 19631 0 -1 4202560 2325 0 0 0 627 0 0 0 25 0 5 0 515307559 359809024 11761 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=19664/tid=19667] ppid=19663 vsize=351376 CPUtime=6.28 cores=1,3,5,7
/proc/19664/task/19667/stat : 19667 (priss) R 19663 19663 19631 0 -1 4202560 2361 0 0 0 627 1 0 0 25 0 5 0 515307559 359809024 11761 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19664/tid=19668] ppid=19663 vsize=351376 CPUtime=6.25 cores=1,3,5,7
/proc/19664/task/19668/stat : 19668 (priss) R 19663 19663 19631 0 -1 4202560 3281 0 0 0 624 1 0 0 25 0 5 0 515307559 359809024 11761 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591730 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19664/tid=19669] ppid=19663 vsize=351376 CPUtime=6.28 cores=1,3,5,7
/proc/19664/task/19669/stat : 19669 (priss) R 19663 19663 19631 0 -1 4202560 4520 0 0 0 627 1 0 0 25 0 5 0 515307559 359809024 11761 33554432000 4194304 5787044 140735241596816 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 360076
[startup+12.7066 s]
/proc/loadavg: 4.53 4.54 5.61 9/188 19680
/proc/meminfo: memFree=13401356/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[pid=19664] ppid=19663 vsize=352776 CPUtime=50.7 cores=1,3,5,7
/proc/19664/stat : 19664 (priss) S 19663 19663 19631 0 -1 4202496 15791 0 0 0 5064 6 0 0 18 0 5 0 515307558 361242624 13513 33554432000 4194304 5787044 140735241596816 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19664/statm: 88194 13513 419 389 0 83944 0
[pid=19664/tid=19666] ppid=19663 vsize=352776 CPUtime=12.68 cores=1,3,5,7
/proc/19664/task/19666/stat : 19666 (priss) R 19663 19663 19631 0 -1 4202560 2840 0 0 0 1267 1 0 0 25 0 5 0 515307559 361242624 13513 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591264 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=19664/tid=19667] ppid=19663 vsize=352776 CPUtime=12.68 cores=1,3,5,7
/proc/19664/task/19667/stat : 19667 (priss) R 19663 19663 19631 0 -1 4202560 2929 0 0 0 1267 1 0 0 25 0 5 0 515307559 361242624 13513 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591573 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19664/tid=19668] ppid=19663 vsize=352776 CPUtime=12.61 cores=1,3,5,7
/proc/19664/task/19668/stat : 19668 (priss) R 19663 19663 19631 0 -1 4202560 3658 0 0 0 1260 1 0 0 25 0 5 0 515307559 361242624 13513 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591573 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19664/tid=19669] ppid=19663 vsize=352776 CPUtime=12.69 cores=1,3,5,7
/proc/19664/task/19669/stat : 19669 (priss) R 19663 19663 19631 0 -1 4202560 4812 0 0 0 1268 1 0 0 25 0 5 0 515307559 361242624 13513 33554432000 4194304 5787044 140735241596816 18446744073709551615 5527468 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 361476
[startup+25.5003 s]
/proc/loadavg: 5.06 4.66 5.64 9/188 19681
/proc/meminfo: memFree=13369384/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[pid=19664] ppid=19663 vsize=357536 CPUtime=101.8 cores=1,3,5,7
/proc/19664/stat : 19664 (priss) S 19663 19663 19631 0 -1 4202496 19977 0 0 0 10170 10 0 0 18 0 5 0 515307558 366116864 17699 33554432000 4194304 5787044 140735241596816 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19664/statm: 89384 17699 419 389 0 85134 0
[pid=19664/tid=19666] ppid=19663 vsize=357536 CPUtime=25.48 cores=1,3,5,7
/proc/19664/task/19666/stat : 19666 (priss) R 19663 19663 19631 0 -1 4202560 3432 0 0 0 2546 2 0 0 25 0 5 0 515307559 366116864 17699 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591356 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=19664/tid=19667] ppid=19663 vsize=357536 CPUtime=25.48 cores=1,3,5,7
/proc/19664/task/19667/stat : 19667 (priss) R 19663 19663 19631 0 -1 4202560 4465 0 0 0 2546 2 0 0 25 0 5 0 515307559 366116864 17699 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19664/tid=19668] ppid=19663 vsize=357536 CPUtime=25.34 cores=1,3,5,7
/proc/19664/task/19668/stat : 19668 (priss) R 19663 19663 19631 0 -1 4202560 4647 0 0 0 2531 3 0 0 25 0 5 0 515307559 366116864 17699 33554432000 4194304 5787044 140735241596816 18446744073709551615 4254894 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19664/tid=19669] ppid=19663 vsize=357536 CPUtime=25.48 cores=1,3,5,7
/proc/19664/task/19669/stat : 19669 (priss) R 19663 19663 19631 0 -1 4202560 5881 0 0 0 2545 3 0 0 25 0 5 0 515307559 366116864 17699 33554432000 4194304 5787044 140735241596816 18446744073709551615 5528404 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 366236
[startup+51.1008 s]
/proc/loadavg: 6.14 4.94 5.70 9/188 19682
/proc/meminfo: memFree=13341424/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[pid=19664] ppid=19663 vsize=365936 CPUtime=204.08 cores=1,3,5,7
/proc/19664/stat : 19664 (priss) S 19663 19663 19631 0 -1 4202496 24667 0 0 0 20392 16 0 0 18 0 5 0 515307558 374718464 22383 33554432000 4194304 5787044 140735241596816 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19664/statm: 91484 22383 419 389 0 87234 0
[pid=19664/tid=19666] ppid=19663 vsize=365936 CPUtime=51.08 cores=1,3,5,7
/proc/19664/task/19666/stat : 19666 (priss) R 19663 19663 19631 0 -1 4202560 4163 0 0 0 5105 3 0 0 25 0 5 0 515307559 374718464 22383 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591328 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=19664/tid=19667] ppid=19663 vsize=365936 CPUtime=51.08 cores=1,3,5,7
/proc/19664/task/19667/stat : 19667 (priss) R 19663 19663 19631 0 -1 4202560 5651 0 0 0 5105 3 0 0 25 0 5 0 515307559 374718464 22383 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19664/tid=19668] ppid=19663 vsize=365936 CPUtime=50.8 cores=1,3,5,7
/proc/19664/task/19668/stat : 19668 (priss) R 19663 19663 19631 0 -1 4202560 5511 0 0 0 5076 4 0 0 25 0 5 0 515307559 374718464 22383 33554432000 4194304 5787044 140735241596816 18446744073709551615 5590283 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19664/tid=19669] ppid=19663 vsize=365936 CPUtime=51.09 cores=1,3,5,7
/proc/19664/task/19669/stat : 19669 (priss) R 19663 19663 19631 0 -1 4202560 7790 0 0 0 5105 4 0 0 25 0 5 0 515307559 374718464 22383 33554432000 4194304 5787044 140735241596816 18446744073709551615 4229323 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 374636
[startup+102.301 s]
/proc/loadavg: 7.38 5.48 5.85 9/188 19683
/proc/meminfo: memFree=13293060/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[pid=19664] ppid=19663 vsize=370612 CPUtime=408.57 cores=1,3,5,7
/proc/19664/stat : 19664 (priss) S 19663 19663 19631 0 -1 4202496 30045 0 0 0 40835 22 0 0 18 0 5 0 515307558 379506688 27675 33554432000 4194304 5787044 140735241596816 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19664/statm: 92653 27675 419 389 0 88403 0
[pid=19664/tid=19666] ppid=19663 vsize=370612 CPUtime=102.27 cores=1,3,5,7
/proc/19664/task/19666/stat : 19666 (priss) R 19663 19663 19631 0 -1 4202560 4838 0 0 0 10223 4 0 0 25 0 5 0 515307559 379506688 27675 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=19664/tid=19667] ppid=19663 vsize=370612 CPUtime=102.27 cores=1,3,5,7
/proc/19664/task/19667/stat : 19667 (priss) R 19663 19663 19631 0 -1 4202560 6753 0 0 0 10222 5 0 0 25 0 5 0 515307559 379506688 27675 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19664/tid=19668] ppid=19663 vsize=370612 CPUtime=101.72 cores=1,3,5,7
/proc/19664/task/19668/stat : 19668 (priss) R 19663 19663 19631 0 -1 4202560 8739 0 0 0 10164 8 0 0 25 0 5 0 515307559 379506688 27675 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19664/tid=19669] ppid=19663 vsize=370612 CPUtime=102.27 cores=1,3,5,7
/proc/19664/task/19669/stat : 19669 (priss) R 19663 19663 19631 0 -1 4202560 8163 0 0 0 10223 4 0 0 25 0 5 0 515307559 379506688 27675 33554432000 4194304 5787044 140735241596816 18446744073709551615 5527489 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (KiB) 379312
[startup+162.307 s]
/proc/loadavg: 7.89 5.97 5.99 9/188 19684
/proc/meminfo: memFree=13252756/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[pid=19664] ppid=19663 vsize=377792 CPUtime=648.27 cores=1,3,5,7
/proc/19664/stat : 19664 (priss) S 19663 19663 19631 0 -1 4202496 35374 0 0 0 64799 28 0 0 18 0 5 0 515307558 386859008 32905 33554432000 4194304 5787044 140735241596816 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19664/statm: 94448 32905 419 389 0 90198 0
[pid=19664/tid=19666] ppid=19663 vsize=377792 CPUtime=162.28 cores=1,3,5,7
/proc/19664/task/19666/stat : 19666 (priss) R 19663 19663 19631 0 -1 4202560 6249 0 0 0 16222 6 0 0 25 0 5 0 515307559 386859008 32905 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=19664/tid=19667] ppid=19663 vsize=377792 CPUtime=162.27 cores=1,3,5,7
/proc/19664/task/19667/stat : 19667 (priss) R 19663 19663 19631 0 -1 4202560 7342 0 0 0 16222 5 0 0 25 0 5 0 515307559 386859008 32905 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19664/tid=19668] ppid=19663 vsize=377792 CPUtime=161.39 cores=1,3,5,7
/proc/19664/task/19668/stat : 19668 (priss) R 19663 19663 19631 0 -1 4202560 10000 0 0 0 16130 9 0 0 25 0 5 0 515307559 386859008 32905 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19664/tid=19669] ppid=19663 vsize=377792 CPUtime=162.29 cores=1,3,5,7
/proc/19664/task/19669/stat : 19669 (priss) R 19663 19663 19631 0 -1 4202560 10231 0 0 0 16223 6 0 0 25 0 5 0 515307559 386859008 32905 33554432000 4194304 5787044 140735241596816 18446744073709551615 5527218 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.27
Current children cumulated vsize (KiB) 386492
Solver just ended. Dumping a history of the last processes samples
[startup+179.701 s]
/proc/loadavg: 7.99 6.09 6.02 9/188 19685
/proc/meminfo: memFree=13244572/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[pid=19664] ppid=19663 vsize=379256 CPUtime=717.76 cores=1,3,5,7
/proc/19664/stat : 19664 (priss) S 19663 19663 19631 0 -1 4202496 36285 0 0 0 71746 30 0 0 18 0 5 0 515307558 388358144 33816 33554432000 4194304 5787044 140735241596816 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19664/statm: 94814 33816 419 389 0 90564 0
[pid=19664/tid=19666] ppid=19663 vsize=379256 CPUtime=179.67 cores=1,3,5,7
/proc/19664/task/19666/stat : 19666 (priss) R 19663 19663 19631 0 -1 4202560 6251 0 0 0 17961 6 0 0 25 0 5 0 515307559 388358144 33816 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=19664/tid=19667] ppid=19663 vsize=379256 CPUtime=179.67 cores=1,3,5,7
/proc/19664/task/19667/stat : 19667 (priss) R 19663 19663 19631 0 -1 4202560 7697 0 0 0 17961 6 0 0 25 0 5 0 515307559 388358144 33816 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19664/tid=19668] ppid=19663 vsize=379256 CPUtime=178.7 cores=1,3,5,7
/proc/19664/task/19668/stat : 19668 (priss) R 19663 19663 19631 0 -1 4202560 10491 0 0 0 17860 10 0 0 25 0 5 0 515307559 388358144 33816 33554432000 4194304 5787044 140735241596816 18446744073709551615 5590564 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19664/tid=19669] ppid=19663 vsize=379256 CPUtime=179.68 cores=1,3,5,7
/proc/19664/task/19669/stat : 19669 (priss) R 19663 19663 19631 0 -1 4202560 10294 0 0 0 17962 6 0 0 25 0 5 0 515307559 388358144 33816 33554432000 4194304 5787044 140735241596816 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 717.76
Current children cumulated vsize (KiB) 387956
[startup+192.501 s]
/proc/loadavg: 7.99 6.18 6.06 9/188 19685
/proc/meminfo: memFree=13238248/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[pid=19664] ppid=19663 vsize=380480 CPUtime=768.89 cores=1,3,5,7
/proc/19664/stat : 19664 (priss) S 19663 19663 19631 0 -1 4202496 37303 0 0 0 76858 31 0 0 18 0 5 0 515307558 389611520 34834 33554432000 4194304 5787044 140735241596816 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19664/statm: 95120 34834 419 389 0 90870 0
[pid=19664/tid=19666] ppid=19663 vsize=380480 CPUtime=192.47 cores=1,3,5,7
/proc/19664/task/19666/stat : 19666 (priss) R 19663 19663 19631 0 -1 4202560 6272 0 0 0 19241 6 0 0 25 0 5 0 515307559 389611520 34834 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=19664/tid=19667] ppid=19663 vsize=380480 CPUtime=192.47 cores=1,3,5,7
/proc/19664/task/19667/stat : 19667 (priss) R 19663 19663 19631 0 -1 4202560 7980 0 0 0 19241 6 0 0 25 0 5 0 515307559 389611520 34834 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19664/tid=19668] ppid=19663 vsize=380480 CPUtime=191.43 cores=1,3,5,7
/proc/19664/task/19668/stat : 19668 (priss) R 19663 19663 19631 0 -1 4202560 11067 0 0 0 19132 11 0 0 25 0 5 0 515307559 389611520 34834 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19664/tid=19669] ppid=19663 vsize=380480 CPUtime=192.48 cores=1,3,5,7
/proc/19664/task/19669/stat : 19669 (priss) R 19663 19663 19631 0 -1 4202560 10432 0 0 0 19242 6 0 0 25 0 5 0 515307559 389611520 34834 33554432000 4194304 5787044 140735241596816 18446744073709551615 5527008 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 768.89
Current children cumulated vsize (KiB) 389180
[startup+198.901 s]
/proc/loadavg: 7.99 6.21 6.07 9/188 19685
/proc/meminfo: memFree=13231180/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[pid=19664] ppid=19663 vsize=384976 CPUtime=794.45 cores=1,3,5,7
/proc/19664/stat : 19664 (priss) S 19663 19663 19631 0 -1 4202496 38754 0 0 0 79414 31 0 0 18 0 5 0 515307558 394215424 36285 33554432000 4194304 5787044 140735241596816 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19664/statm: 96244 36285 419 389 0 91994 0
[pid=19664/tid=19666] ppid=19663 vsize=384976 CPUtime=198.87 cores=1,3,5,7
/proc/19664/task/19666/stat : 19666 (priss) R 19663 19663 19631 0 -1 4202560 7317 0 0 0 19881 6 0 0 25 0 5 0 515307559 394215424 36285 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591727 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=19664/tid=19667] ppid=19663 vsize=384976 CPUtime=198.87 cores=1,3,5,7
/proc/19664/task/19667/stat : 19667 (priss) R 19663 19663 19631 0 -1 4202560 8099 0 0 0 19881 6 0 0 25 0 5 0 515307559 394215424 36285 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591219 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19664/tid=19668] ppid=19663 vsize=384976 CPUtime=197.79 cores=1,3,5,7
/proc/19664/task/19668/stat : 19668 (priss) R 19663 19663 19631 0 -1 4202560 11337 0 0 0 19768 11 0 0 25 0 5 0 515307559 394215424 36285 33554432000 4194304 5787044 140735241596816 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19664/tid=19669] ppid=19663 vsize=384976 CPUtime=198.88 cores=1,3,5,7
/proc/19664/task/19669/stat : 19669 (priss) R 19663 19663 19631 0 -1 4202560 10449 0 0 0 19882 6 0 0 25 0 5 0 515307559 394215424 36285 33554432000 4194304 5787044 140735241596816 18446744073709551615 5527212 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 794.45
Current children cumulated vsize (KiB) 393676
[startup+200.5 s]
/proc/loadavg: 7.99 6.21 6.07 9/188 19685
/proc/meminfo: memFree=13230684/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[pid=19664] ppid=19663 vsize=385136 CPUtime=800.85 cores=1,3,5,7
/proc/19664/stat : 19664 (priss) S 19663 19663 19631 0 -1 4202496 38846 0 0 0 80053 32 0 0 18 0 5 0 515307558 394379264 36377 33554432000 4194304 5787044 140735241596816 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19664/statm: 96284 36377 419 389 0 92034 0
[pid=19664/tid=19666] ppid=19663 vsize=385136 CPUtime=200.47 cores=1,3,5,7
/proc/19664/task/19666/stat : 19666 (priss) R 19663 19663 19631 0 -1 4202560 7319 0 0 0 20041 6 0 0 25 0 5 0 515307559 394379264 36377 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=19664/tid=19667] ppid=19663 vsize=385136 CPUtime=200.47 cores=1,3,5,7
/proc/19664/task/19667/stat : 19667 (priss) R 19663 19663 19631 0 -1 4202560 8129 0 0 0 20041 6 0 0 25 0 5 0 515307559 394379264 36377 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19664/tid=19668] ppid=19663 vsize=385136 CPUtime=199.38 cores=1,3,5,7
/proc/19664/task/19668/stat : 19668 (priss) R 19663 19663 19631 0 -1 4202560 11396 0 0 0 19927 11 0 0 25 0 5 0 515307559 394379264 36377 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19664/tid=19669] ppid=19663 vsize=385136 CPUtime=200.48 cores=1,3,5,7
/proc/19664/task/19669/stat : 19669 (priss) R 19663 19663 19631 0 -1 4202560 10450 0 0 0 20042 6 0 0 25 0 5 0 515307559 394379264 36377 33554432000 4194304 5787044 140735241596816 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 800.85
Current children cumulated vsize (KiB) 393836
[startup+201.301 s]
/proc/loadavg: 7.99 6.21 6.07 9/188 19685
/proc/meminfo: memFree=13230560/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[pid=19664] ppid=19663 vsize=385136 CPUtime=804.04 cores=1,3,5,7
/proc/19664/stat : 19664 (priss) S 19663 19663 19631 0 -1 4202496 38896 0 0 0 80372 32 0 0 18 0 5 0 515307558 394379264 36427 33554432000 4194304 5787044 140735241596816 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19664/statm: 96284 36427 419 389 0 92034 0
[pid=19664/tid=19666] ppid=19663 vsize=385136 CPUtime=201.27 cores=1,3,5,7
/proc/19664/task/19666/stat : 19666 (priss) R 19663 19663 19631 0 -1 4202560 7322 0 0 0 20121 6 0 0 25 0 5 0 515307559 394379264 36427 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=19664/tid=19667] ppid=19663 vsize=385136 CPUtime=201.27 cores=1,3,5,7
/proc/19664/task/19667/stat : 19667 (priss) R 19663 19663 19631 0 -1 4202560 8140 0 0 0 20121 6 0 0 25 0 5 0 515307559 394379264 36427 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19664/tid=19668] ppid=19663 vsize=385136 CPUtime=200.18 cores=1,3,5,7
/proc/19664/task/19668/stat : 19668 (priss) R 19663 19663 19631 0 -1 4202560 11430 0 0 0 20007 11 0 0 25 0 5 0 515307559 394379264 36427 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19664/tid=19669] ppid=19663 vsize=385136 CPUtime=201.28 cores=1,3,5,7
/proc/19664/task/19669/stat : 19669 (priss) R 19663 19663 19631 0 -1 4202560 10452 0 0 0 20122 6 0 0 25 0 5 0 515307559 394379264 36427 33554432000 4194304 5787044 140735241596816 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.04
Current children cumulated vsize (KiB) 393836
[startup+201.701 s]
/proc/loadavg: 7.99 6.21 6.07 9/188 19685
/proc/meminfo: memFree=13230560/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[pid=19664] ppid=19663 vsize=385136 CPUtime=805.64 cores=1,3,5,7
/proc/19664/stat : 19664 (priss) S 19663 19663 19631 0 -1 4202496 38915 0 0 0 80532 32 0 0 18 0 5 0 515307558 394379264 36446 33554432000 4194304 5787044 140735241596816 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19664/statm: 96284 36446 419 389 0 92034 0
[pid=19664/tid=19666] ppid=19663 vsize=385136 CPUtime=201.67 cores=1,3,5,7
/proc/19664/task/19666/stat : 19666 (priss) R 19663 19663 19631 0 -1 4202560 7323 0 0 0 20161 6 0 0 25 0 5 0 515307559 394379264 36446 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591315 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=19664/tid=19667] ppid=19663 vsize=385136 CPUtime=201.67 cores=1,3,5,7
/proc/19664/task/19667/stat : 19667 (priss) R 19663 19663 19631 0 -1 4202560 8144 0 0 0 20161 6 0 0 25 0 5 0 515307559 394379264 36446 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19664/tid=19668] ppid=19663 vsize=385136 CPUtime=200.58 cores=1,3,5,7
/proc/19664/task/19668/stat : 19668 (priss) R 19663 19663 19631 0 -1 4202560 11443 0 0 0 20047 11 0 0 25 0 5 0 515307559 394379264 36446 33554432000 4194304 5787044 140735241596816 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19664/tid=19669] ppid=19663 vsize=385136 CPUtime=201.68 cores=1,3,5,7
/proc/19664/task/19669/stat : 19669 (priss) R 19663 19663 19631 0 -1 4202560 10453 0 0 0 20162 6 0 0 25 0 5 0 515307559 394379264 36446 33554432000 4194304 5787044 140735241596816 18446744073709551615 4218760 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 805.64
Current children cumulated vsize (KiB) 393836
[startup+201.907 s]
/proc/loadavg: 7.99 6.24 6.08 9/188 19686
/proc/meminfo: memFree=13230312/32951124 swapFree=67111528/67111528
[pid=19663] ppid=19661 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (prissAuto.sh) S 19661 19663 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515307558 8908800 252 33554432000 4194304 4922060 140733495314752 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19663/statm: 2175 252 211 178 0 68 0
[pid=19664] ppid=19663 vsize=383252 CPUtime=806.41 cores=1,3,5,7
/proc/19664/stat : 19664 (priss) S 19663 19663 19631 0 -1 4202496 38948 0 0 0 80606 35 0 0 18 0 3 0 515307558 392450048 36125 33554432000 4194304 5787044 140735241596816 18446744073709551615 270624913381 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19664/statm: 95813 36125 447 389 0 91563 0
[pid=19664/tid=19666] ppid=19663 vsize=383252 CPUtime=201.88 cores=1,3,5,7
/proc/19664/task/19666/stat : 19666 (priss) R 19663 19663 19631 0 -1 4202560 7323 0 0 0 20180 8 0 0 25 0 3 0 515307559 392450048 36125 33554432000 4194304 5787044 140735241596816 18446744073709551615 270612759944 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=19664/tid=19669] ppid=19663 vsize=383252 CPUtime=201.88 cores=1,3,5,7
/proc/19664/task/19669/stat : 19669 (priss) S 19663 19663 19631 0 -1 4202560 10454 0 0 0 20181 7 0 0 25 0 3 0 515307559 392450048 36125 33554432000 4194304 5787044 140735241596816 18446744073709551615 270613215726 0 0 4096 0 18446604470039591872 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 806.41
Current children cumulated vsize (KiB) 391952
Child status: 20
Real time (s): 201.962
CPU time (s): 806.52
CPU user time (s): 806.122
CPU system time (s): 0.397939
CPU usage (%): 399.342
Max. virtual memory (cumulated for all children) (KiB): 393836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 806.122
system time used= 0.397939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39303
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= 2518
involuntary context switches= 5452
runsolver used 0.279957 second user time and 0.826874 second system time
The end