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-3251073-1304082241/watcher-3251073-1304082241 -o /tmp/evaluation-result-3251073-1304082241/solver-3251073-1304082241 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3251073-1304082241.cnf 1847366751 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.02 7.88 7.91 2/174 16503
/proc/meminfo: memFree=19970132/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[startup+0.0893789 s]
/proc/loadavg: 7.02 7.88 7.91 2/174 16503
/proc/meminfo: memFree=19970132/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100387 s]
/proc/loadavg: 7.02 7.88 7.91 2/174 16503
/proc/meminfo: memFree=19970132/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.301301 s]
/proc/loadavg: 7.02 7.88 7.91 2/174 16503
/proc/meminfo: memFree=19970132/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700227 s]
/proc/loadavg: 7.02 7.88 7.91 2/174 16503
/proc/meminfo: memFree=19970132/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50107 s]
/proc/loadavg: 6.86 7.83 7.89 10/188 16520
/proc/meminfo: memFree=19422816/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[pid=16504] ppid=16503 vsize=339604 CPUtime=4.57 cores=1,3,5,7
/proc/16504/stat : 16504 (priss) S 16503 16503 16471 0 -1 4202496 63537 0 0 0 416 41 0 0 18 0 5 0 500639767 347754496 28291 33554432000 4194304 5787044 140735407026880 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16504/statm: 84901 28291 349 389 0 80651 0
[pid=16504/tid=16506] ppid=16503 vsize=339604 CPUtime=1.13 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (priss) R 16503 16503 16471 0 -1 4202560 12425 0 0 0 100 13 0 0 18 0 5 0 500639778 347754496 28291 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336159 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16504/tid=16507] ppid=16503 vsize=339604 CPUtime=1.1 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (priss) R 16503 16503 16471 0 -1 4202560 11647 0 0 0 97 13 0 0 19 0 5 0 500639782 347754496 28291 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336240 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16504/tid=16508] ppid=16503 vsize=339604 CPUtime=1.08 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (priss) R 16503 16503 16471 0 -1 4202560 10785 0 0 0 104 4 0 0 19 0 5 0 500639785 347754496 28291 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16504/tid=16516] ppid=16503 vsize=339604 CPUtime=1.03 cores=1,3,5,7
/proc/16504/task/16516/stat : 16516 (priss) R 16503 16503 16471 0 -1 4202560 9336 0 0 0 96 7 0 0 19 0 5 0 500639789 347754496 28291 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336801 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 348304
[startup+3.10077 s]
/proc/loadavg: 6.86 7.83 7.89 9/188 16520
/proc/meminfo: memFree=19577572/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[pid=16504] ppid=16503 vsize=339604 CPUtime=10.97 cores=1,3,5,7
/proc/16504/stat : 16504 (priss) S 16503 16503 16471 0 -1 4202496 63537 0 0 0 1056 41 0 0 18 0 5 0 500639767 347754496 28291 33554432000 4194304 5787044 140735407026880 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16504/statm: 84901 28291 349 389 0 80651 0
[pid=16504/tid=16506] ppid=16503 vsize=339604 CPUtime=2.73 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (priss) R 16503 16503 16471 0 -1 4202560 12425 0 0 0 260 13 0 0 22 0 5 0 500639778 347754496 28291 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16504/tid=16507] ppid=16503 vsize=339604 CPUtime=2.69 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (priss) R 16503 16503 16471 0 -1 4202560 11647 0 0 0 256 13 0 0 22 0 5 0 500639782 347754496 28291 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336193 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16504/tid=16508] ppid=16503 vsize=339604 CPUtime=2.68 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (priss) R 16503 16503 16471 0 -1 4202560 10785 0 0 0 264 4 0 0 22 0 5 0 500639785 347754496 28291 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16504/tid=16516] ppid=16503 vsize=339604 CPUtime=2.63 cores=1,3,5,7
/proc/16504/task/16516/stat : 16516 (priss) R 16503 16503 16471 0 -1 4202560 9336 0 0 0 256 7 0 0 22 0 5 0 500639789 347754496 28291 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336159 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.97
Current children cumulated vsize (KiB) 348304
[startup+6.30117 s]
/proc/loadavg: 6.95 7.83 7.89 9/188 16520
/proc/meminfo: memFree=19574596/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[pid=16504] ppid=16503 vsize=336664 CPUtime=23.74 cores=1,3,5,7
/proc/16504/stat : 16504 (priss) S 16503 16503 16471 0 -1 4202496 66009 0 0 0 2333 41 0 0 18 0 5 0 500639767 344743936 29163 33554432000 4194304 5787044 140735407026880 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16504/statm: 84166 29163 350 389 0 79916 0
[pid=16504/tid=16506] ppid=16503 vsize=336664 CPUtime=5.92 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (priss) R 16503 16503 16471 0 -1 4202560 13199 0 0 0 579 13 0 0 25 0 5 0 500639778 344743936 29163 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16504/tid=16507] ppid=16503 vsize=336664 CPUtime=5.87 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (priss) R 16503 16503 16471 0 -1 4202560 12512 0 0 0 574 13 0 0 25 0 5 0 500639782 344743936 29163 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16504/tid=16508] ppid=16503 vsize=336664 CPUtime=5.88 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (priss) R 16503 16503 16471 0 -1 4202560 11240 0 0 0 584 4 0 0 25 0 5 0 500639785 344743936 29163 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16504/tid=16516] ppid=16503 vsize=336664 CPUtime=5.84 cores=1,3,5,7
/proc/16504/task/16516/stat : 16516 (priss) R 16503 16503 16471 0 -1 4202560 9714 0 0 0 576 8 0 0 25 0 5 0 500639789 344743936 29163 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.74
Current children cumulated vsize (KiB) 345364
[startup+12.701 s]
/proc/loadavg: 7.03 7.84 7.89 9/188 16520
/proc/meminfo: memFree=19574948/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[pid=16504] ppid=16503 vsize=336664 CPUtime=49.3 cores=1,3,5,7
/proc/16504/stat : 16504 (priss) S 16503 16503 16471 0 -1 4202496 66009 0 0 0 4889 41 0 0 18 0 5 0 500639767 344743936 29163 33554432000 4194304 5787044 140735407026880 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16504/statm: 84166 29163 350 389 0 79916 0
[pid=16504/tid=16506] ppid=16503 vsize=336664 CPUtime=12.32 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (priss) R 16503 16503 16471 0 -1 4202560 13199 0 0 0 1219 13 0 0 25 0 5 0 500639778 344743936 29163 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336786 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16504/tid=16507] ppid=16503 vsize=336664 CPUtime=12.23 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (priss) R 16503 16503 16471 0 -1 4202560 12512 0 0 0 1210 13 0 0 25 0 5 0 500639782 344743936 29163 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336763 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16504/tid=16508] ppid=16503 vsize=336664 CPUtime=12.28 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (priss) R 16503 16503 16471 0 -1 4202560 11240 0 0 0 1224 4 0 0 25 0 5 0 500639785 344743936 29163 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336763 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16504/tid=16516] ppid=16503 vsize=336664 CPUtime=12.24 cores=1,3,5,7
/proc/16504/task/16516/stat : 16516 (priss) R 16503 16503 16471 0 -1 4202560 9714 0 0 0 1216 8 0 0 25 0 5 0 500639789 344743936 29163 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.3
Current children cumulated vsize (KiB) 345364
[startup+25.5005 s]
/proc/loadavg: 7.18 7.84 7.89 9/188 16520
/proc/meminfo: memFree=19554304/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[pid=16504] ppid=16503 vsize=340756 CPUtime=100.44 cores=1,3,5,7
/proc/16504/stat : 16504 (priss) S 16503 16503 16471 0 -1 4202496 69998 0 0 0 10002 42 0 0 18 0 5 0 500639767 348934144 33152 33554432000 4194304 5787044 140735407026880 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16504/statm: 85189 33152 352 389 0 80939 0
[pid=16504/tid=16506] ppid=16503 vsize=340756 CPUtime=25.12 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (priss) R 16503 16503 16471 0 -1 4202560 14244 0 0 0 2499 13 0 0 25 0 5 0 500639778 348934144 33152 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336138 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16504/tid=16507] ppid=16503 vsize=340756 CPUtime=24.96 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (priss) R 16503 16503 16471 0 -1 4202560 13557 0 0 0 2483 13 0 0 25 0 5 0 500639782 348934144 33152 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16504/tid=16508] ppid=16503 vsize=340756 CPUtime=25.09 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (priss) R 16503 16503 16471 0 -1 4202560 12286 0 0 0 2504 5 0 0 25 0 5 0 500639785 348934144 33152 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336181 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16504/tid=16516] ppid=16503 vsize=340756 CPUtime=25.04 cores=1,3,5,7
/proc/16504/task/16516/stat : 16516 (priss) R 16503 16503 16471 0 -1 4202560 10567 0 0 0 2496 8 0 0 25 0 5 0 500639789 348934144 33152 33554432000 4194304 5787044 140735407026880 18446744073709551615 4336664 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.44
Current children cumulated vsize (KiB) 349456
[startup+51.1007 s]
/proc/loadavg: 7.50 7.86 7.90 9/188 16521
/proc/meminfo: memFree=19478196/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[pid=16504] ppid=16503 vsize=367720 CPUtime=202.69 cores=1,3,5,7
/proc/16504/stat : 16504 (priss) S 16503 16503 16471 0 -1 4202496 127487 0 0 0 20215 54 0 0 18 0 5 0 500639767 376545280 52504 33554432000 4194304 5787044 140735407026880 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16504/statm: 91930 52504 417 389 0 87680 0
[pid=16504/tid=16506] ppid=16503 vsize=367720 CPUtime=50.72 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (priss) R 16503 16503 16471 0 -1 4202560 31149 0 0 0 5056 16 0 0 25 0 5 0 500639778 376545280 52504 33554432000 4194304 5787044 140735407026880 18446744073709551615 5576446 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16504/tid=16507] ppid=16503 vsize=367720 CPUtime=50.42 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (priss) R 16503 16503 16471 0 -1 4202560 27978 0 0 0 5025 17 0 0 25 0 5 0 500639782 376545280 52504 33554432000 4194304 5787044 140735407026880 18446744073709551615 5586783 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16504/tid=16508] ppid=16503 vsize=367720 CPUtime=50.68 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (priss) R 16503 16503 16471 0 -1 4202560 22974 0 0 0 5062 6 0 0 25 0 5 0 500639785 376545280 52504 33554432000 4194304 5787044 140735407026880 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16504/tid=16516] ppid=16503 vsize=367720 CPUtime=50.63 cores=1,3,5,7
/proc/16504/task/16516/stat : 16516 (priss) R 16503 16503 16471 0 -1 4202560 26042 0 0 0 5052 11 0 0 25 0 5 0 500639789 376545280 52504 33554432000 4194304 5787044 140735407026880 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 202.69
Current children cumulated vsize (KiB) 376420
[startup+102.307 s]
/proc/loadavg: 7.78 7.88 7.90 9/188 16523
/proc/meminfo: memFree=19379976/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[pid=16504] ppid=16503 vsize=386052 CPUtime=407.23 cores=1,3,5,7
/proc/16504/stat : 16504 (priss) S 16503 16503 16471 0 -1 4202496 139717 0 0 0 40661 62 0 0 18 0 5 0 500639767 395317248 64729 33554432000 4194304 5787044 140735407026880 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16504/statm: 96513 64729 417 389 0 92263 0
[pid=16504/tid=16506] ppid=16503 vsize=386052 CPUtime=101.93 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (priss) R 16503 16503 16471 0 -1 4202560 34451 0 0 0 10175 18 0 0 25 0 5 0 500639778 395317248 64729 33554432000 4194304 5787044 140735407026880 18446744073709551615 5591564 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16504/tid=16507] ppid=16503 vsize=386052 CPUtime=101.34 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (priss) R 16503 16503 16471 0 -1 4202560 30333 0 0 0 10116 18 0 0 25 0 5 0 500639782 395317248 64729 33554432000 4194304 5787044 140735407026880 18446744073709551615 4254649 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16504/tid=16508] ppid=16503 vsize=386052 CPUtime=101.88 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (priss) R 16503 16503 16471 0 -1 4202560 25460 0 0 0 10180 8 0 0 25 0 5 0 500639785 395317248 64729 33554432000 4194304 5787044 140735407026880 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16504/tid=16516] ppid=16503 vsize=386052 CPUtime=101.84 cores=1,3,5,7
/proc/16504/task/16516/stat : 16516 (priss) R 16503 16503 16471 0 -1 4202560 30129 0 0 0 10170 14 0 0 25 0 5 0 500639789 395317248 64729 33554432000 4194304 5787044 140735407026880 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.23
Current children cumulated vsize (KiB) 394752
Solver just ended. Dumping a history of the last processes samples
[startup+108.701 s]
/proc/loadavg: 7.80 7.88 7.90 9/188 16523
/proc/meminfo: memFree=19372288/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[pid=16504] ppid=16503 vsize=389088 CPUtime=432.77 cores=1,3,5,7
/proc/16504/stat : 16504 (priss) S 16503 16503 16471 0 -1 4202496 141874 0 0 0 43214 63 0 0 18 0 5 0 500639767 398426112 66886 33554432000 4194304 5787044 140735407026880 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16504/statm: 97272 66886 417 389 0 93022 0
[pid=16504/tid=16506] ppid=16503 vsize=389088 CPUtime=108.32 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (priss) R 16503 16503 16471 0 -1 4202560 35062 0 0 0 10814 18 0 0 25 0 5 0 500639778 398426112 66886 33554432000 4194304 5787044 140735407026880 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16504/tid=16507] ppid=16503 vsize=389088 CPUtime=107.71 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (priss) R 16503 16503 16471 0 -1 4202560 31094 0 0 0 10752 19 0 0 25 0 5 0 500639782 398426112 66886 33554432000 4194304 5787044 140735407026880 18446744073709551615 5591640 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16504/tid=16508] ppid=16503 vsize=389088 CPUtime=108.28 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (priss) R 16503 16503 16471 0 -1 4202560 26245 0 0 0 10819 9 0 0 25 0 5 0 500639785 398426112 66886 33554432000 4194304 5787044 140735407026880 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16504/tid=16516] ppid=16503 vsize=389088 CPUtime=108.23 cores=1,3,5,7
/proc/16504/task/16516/stat : 16516 (priss) R 16503 16503 16471 0 -1 4202560 30129 0 0 0 10809 14 0 0 25 0 5 0 500639789 398426112 66886 33554432000 4194304 5787044 140735407026880 18446744073709551615 4218756 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 432.77
Current children cumulated vsize (KiB) 397788
[startup+111.901 s]
/proc/loadavg: 7.81 7.88 7.90 9/188 16523
/proc/meminfo: memFree=19367824/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[pid=16504] ppid=16503 vsize=390936 CPUtime=445.56 cores=1,3,5,7
/proc/16504/stat : 16504 (priss) S 16503 16503 16471 0 -1 4202496 142969 0 0 0 44492 64 0 0 18 0 5 0 500639767 400318464 67939 33554432000 4194304 5787044 140735407026880 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16504/statm: 97734 67939 417 389 0 93484 0
[pid=16504/tid=16506] ppid=16503 vsize=390936 CPUtime=111.52 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (priss) R 16503 16503 16471 0 -1 4202560 35180 0 0 0 11134 18 0 0 25 0 5 0 500639778 400318464 67939 33554432000 4194304 5787044 140735407026880 18446744073709551615 5586605 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16504/tid=16507] ppid=16503 vsize=390936 CPUtime=110.89 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (priss) R 16503 16503 16471 0 -1 4202560 31330 0 0 0 11070 19 0 0 25 0 5 0 500639782 400318464 67939 33554432000 4194304 5787044 140735407026880 18446744073709551615 5588013 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16504/tid=16508] ppid=16503 vsize=390936 CPUtime=111.48 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (priss) R 16503 16503 16471 0 -1 4202560 26721 0 0 0 11139 9 0 0 25 0 5 0 500639785 400318464 67939 33554432000 4194304 5787044 140735407026880 18446744073709551615 4254550 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16504/tid=16516] ppid=16503 vsize=390936 CPUtime=111.44 cores=1,3,5,7
/proc/16504/task/16516/stat : 16516 (priss) R 16503 16503 16471 0 -1 4202560 30394 0 0 0 11129 15 0 0 25 0 5 0 500639789 400318464 67939 33554432000 4194304 5787044 140735407026880 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 445.56
Current children cumulated vsize (KiB) 399636
[startup+113.501 s]
/proc/loadavg: 7.81 7.88 7.90 9/188 16523
/proc/meminfo: memFree=19365096/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[pid=16504] ppid=16503 vsize=391756 CPUtime=451.95 cores=1,3,5,7
/proc/16504/stat : 16504 (priss) S 16503 16503 16471 0 -1 4202496 143424 0 0 0 45130 65 0 0 18 0 5 0 500639767 401158144 68394 33554432000 4194304 5787044 140735407026880 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16504/statm: 97939 68394 417 389 0 93689 0
[pid=16504/tid=16506] ppid=16503 vsize=391756 CPUtime=113.12 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (priss) R 16503 16503 16471 0 -1 4202560 35180 0 0 0 11294 18 0 0 25 0 5 0 500639778 401158144 68394 33554432000 4194304 5787044 140735407026880 18446744073709551615 5591535 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16504/tid=16507] ppid=16503 vsize=391756 CPUtime=112.47 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (priss) R 16503 16503 16471 0 -1 4202560 31330 0 0 0 11228 19 0 0 25 0 5 0 500639782 401158144 68394 33554432000 4194304 5787044 140735407026880 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16504/tid=16508] ppid=16503 vsize=391756 CPUtime=113.08 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (priss) R 16503 16503 16471 0 -1 4202560 26932 0 0 0 11299 9 0 0 25 0 5 0 500639785 401158144 68394 33554432000 4194304 5787044 140735407026880 18446744073709551615 4220703 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16504/tid=16516] ppid=16503 vsize=391756 CPUtime=113.04 cores=1,3,5,7
/proc/16504/task/16516/stat : 16516 (priss) R 16503 16503 16471 0 -1 4202560 30638 0 0 0 11289 15 0 0 25 0 5 0 500639789 401158144 68394 33554432000 4194304 5787044 140735407026880 18446744073709551615 5527212 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 451.95
Current children cumulated vsize (KiB) 400456
[startup+114.301 s]
/proc/loadavg: 7.81 7.88 7.90 9/188 16523
/proc/meminfo: memFree=19364476/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[pid=16504] ppid=16503 vsize=391756 CPUtime=455.16 cores=1,3,5,7
/proc/16504/stat : 16504 (priss) S 16503 16503 16471 0 -1 4202496 143546 0 0 0 45451 65 0 0 18 0 5 0 500639767 401158144 68516 33554432000 4194304 5787044 140735407026880 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16504/statm: 97939 68516 417 389 0 93689 0
[pid=16504/tid=16506] ppid=16503 vsize=391756 CPUtime=113.93 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (priss) R 16503 16503 16471 0 -1 4202560 35180 0 0 0 11375 18 0 0 25 0 5 0 500639778 401158144 68516 33554432000 4194304 5787044 140735407026880 18446744073709551615 5576461 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16504/tid=16507] ppid=16503 vsize=391756 CPUtime=113.27 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (priss) R 16503 16503 16471 0 -1 4202560 31330 0 0 0 11308 19 0 0 25 0 5 0 500639782 401158144 68516 33554432000 4194304 5787044 140735407026880 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16504/tid=16508] ppid=16503 vsize=391756 CPUtime=113.88 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (priss) R 16503 16503 16471 0 -1 4202560 26932 0 0 0 11379 9 0 0 25 0 5 0 500639785 401158144 68516 33554432000 4194304 5787044 140735407026880 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16504/tid=16516] ppid=16503 vsize=391756 CPUtime=113.84 cores=1,3,5,7
/proc/16504/task/16516/stat : 16516 (priss) R 16503 16503 16471 0 -1 4202560 30760 0 0 0 11369 15 0 0 25 0 5 0 500639789 401158144 68516 33554432000 4194304 5787044 140735407026880 18446744073709551615 5527582 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 455.16
Current children cumulated vsize (KiB) 400456
[startup+115.101 s]
/proc/loadavg: 7.81 7.88 7.90 9/188 16523
/proc/meminfo: memFree=19364476/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[pid=16504] ppid=16503 vsize=391756 CPUtime=458.34 cores=1,3,5,7
/proc/16504/stat : 16504 (priss) S 16503 16503 16471 0 -1 4202496 143657 0 0 0 45769 65 0 0 18 0 5 0 500639767 401158144 68627 33554432000 4194304 5787044 140735407026880 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16504/statm: 97939 68627 417 389 0 93689 0
[pid=16504/tid=16506] ppid=16503 vsize=391756 CPUtime=114.72 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (priss) R 16503 16503 16471 0 -1 4202560 35180 0 0 0 11454 18 0 0 25 0 5 0 500639778 401158144 68627 33554432000 4194304 5787044 140735407026880 18446744073709551615 5591268 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16504/tid=16507] ppid=16503 vsize=391756 CPUtime=114.07 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (priss) R 16503 16503 16471 0 -1 4202560 31330 0 0 0 11388 19 0 0 25 0 5 0 500639782 401158144 68627 33554432000 4194304 5787044 140735407026880 18446744073709551615 5591568 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16504/tid=16508] ppid=16503 vsize=391756 CPUtime=114.67 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (priss) R 16503 16503 16471 0 -1 4202560 26932 0 0 0 11458 9 0 0 25 0 5 0 500639785 401158144 68627 33554432000 4194304 5787044 140735407026880 18446744073709551615 4215354 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16504/tid=16516] ppid=16503 vsize=391756 CPUtime=114.64 cores=1,3,5,7
/proc/16504/task/16516/stat : 16516 (priss) R 16503 16503 16471 0 -1 4202560 30871 0 0 0 11449 15 0 0 25 0 5 0 500639789 401158144 68627 33554432000 4194304 5787044 140735407026880 18446744073709551615 5527082 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 458.34
Current children cumulated vsize (KiB) 400456
[startup+115.301 s]
/proc/loadavg: 7.81 7.88 7.90 9/188 16523
/proc/meminfo: memFree=19364476/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[pid=16504] ppid=16503 vsize=391756 CPUtime=459.14 cores=1,3,5,7
/proc/16504/stat : 16504 (priss) S 16503 16503 16471 0 -1 4202496 143685 0 0 0 45849 65 0 0 18 0 5 0 500639767 401158144 68655 33554432000 4194304 5787044 140735407026880 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16504/statm: 97939 68655 417 389 0 93689 0
[pid=16504/tid=16506] ppid=16503 vsize=391756 CPUtime=114.92 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (priss) R 16503 16503 16471 0 -1 4202560 35180 0 0 0 11474 18 0 0 25 0 5 0 500639778 401158144 68655 33554432000 4194304 5787044 140735407026880 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16504/tid=16507] ppid=16503 vsize=391756 CPUtime=114.28 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (priss) R 16503 16503 16471 0 -1 4202560 31330 0 0 0 11408 20 0 0 25 0 5 0 500639782 401158144 68655 33554432000 4194304 5787044 140735407026880 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16504/tid=16508] ppid=16503 vsize=391756 CPUtime=114.87 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (priss) R 16503 16503 16471 0 -1 4202560 26932 0 0 0 11478 9 0 0 25 0 5 0 500639785 401158144 68655 33554432000 4194304 5787044 140735407026880 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16504/tid=16516] ppid=16503 vsize=391756 CPUtime=114.84 cores=1,3,5,7
/proc/16504/task/16516/stat : 16516 (priss) R 16503 16503 16471 0 -1 4202560 30899 0 0 0 11469 15 0 0 25 0 5 0 500639789 401158144 68655 33554432000 4194304 5787044 140735407026880 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 459.14
Current children cumulated vsize (KiB) 400456
[startup+115.401 s]
/proc/loadavg: 7.83 7.88 7.90 9/188 16523
/proc/meminfo: memFree=19363856/32951124 swapFree=67111524/67111528
[pid=16503] ppid=16501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (prissAuto.sh) S 16501 16503 16471 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 500639767 8908800 251 33554432000 4194304 4922060 140736321540352 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16503/statm: 2175 251 211 178 0 68 0
[pid=16504] ppid=16503 vsize=391756 CPUtime=459.55 cores=1,3,5,7
/proc/16504/stat : 16504 (priss) S 16503 16503 16471 0 -1 4202496 143722 0 0 0 45890 65 0 0 18 0 5 0 500639767 401158144 68692 33554432000 4194304 5787044 140735407026880 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16504/statm: 97939 68692 431 389 0 93689 0
[pid=16504/tid=16506] ppid=16503 vsize=391756 CPUtime=115.03 cores=1,3,5,7
/proc/16504/task/16506/stat : 16506 (priss) R 16503 16503 16471 0 -1 4202560 35195 0 0 0 11485 18 0 0 25 0 5 0 500639778 401158144 68692 33554432000 4194304 5787044 140735407026880 18446744073709551615 264726062866 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16504/tid=16507] ppid=16503 vsize=391756 CPUtime=114.38 cores=1,3,5,7
/proc/16504/task/16507/stat : 16507 (priss) R 16503 16503 16471 0 -1 4202560 31330 0 0 0 11418 20 0 0 25 0 5 0 500639782 401158144 68692 33554432000 4194304 5787044 140735407026880 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16504/tid=16508] ppid=16503 vsize=391756 CPUtime=114.98 cores=1,3,5,7
/proc/16504/task/16508/stat : 16508 (priss) R 16503 16503 16471 0 -1 4202560 26932 0 0 0 11489 9 0 0 25 0 5 0 500639785 401158144 68692 33554432000 4194304 5787044 140735407026880 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16504/tid=16516] ppid=16503 vsize=391756 CPUtime=114.94 cores=1,3,5,7
/proc/16504/task/16516/stat : 16516 (priss) R 16503 16503 16471 0 -1 4202560 30921 0 0 0 11479 15 0 0 25 0 5 0 500639789 401158144 68692 33554432000 4194304 5787044 140735407026880 18446744073709551615 5549715 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 459.55
Current children cumulated vsize (KiB) 400456
Child status: 10
Real time (s): 115.427
CPU time (s): 459.605
CPU user time (s): 458.936
CPU system time (s): 0.668898
CPU usage (%): 398.178
Max. virtual memory (cumulated for all children) (KiB): 462664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 458.936
system time used= 0.668898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144095
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= 40671
involuntary context switches= 2356
runsolver used 0.19097 second user time and 0.445932 second system time
The end