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-3266651-1304079636/watcher-3266651-1304079636 -o /tmp/evaluation-result-3266651-1304079636/solver-3266651-1304079636 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3266651-1304079636.cnf 1963786918 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.89 7.99 7.98 5/182 32254
/proc/meminfo: memFree=22644672/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[startup+0.05755 s]
/proc/loadavg: 7.89 7.99 7.98 5/182 32254
/proc/meminfo: memFree=22644672/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.105546 s]
/proc/loadavg: 7.89 7.99 7.98 5/182 32254
/proc/meminfo: memFree=22644672/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.722667 s]
/proc/loadavg: 7.89 7.99 7.98 5/182 32254
/proc/meminfo: memFree=22644672/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.802396 s]
/proc/loadavg: 7.89 7.99 7.98 5/182 32254
/proc/meminfo: memFree=22644672/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50027 s]
/proc/loadavg: 7.89 7.99 7.98 9/188 32260
/proc/meminfo: memFree=22596396/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=289268 CPUtime=5.83 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 22507 0 0 0 577 6 0 0 18 0 5 0 500379092 296210432 11709 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 72317 11709 350 389 0 68067 0
[pid=32255/tid=32257] ppid=32254 vsize=289268 CPUtime=1.46 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 5270 0 0 0 144 2 0 0 20 0 5 0 500379095 296210432 11709 33554432000 4194304 5787044 140734404835008 18446744073709551615 4336560 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=289268 CPUtime=1.44 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 4067 0 0 0 143 1 0 0 19 0 5 0 500379097 296210432 11709 33554432000 4194304 5787044 140734404835008 18446744073709551615 4336790 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=289268 CPUtime=1.43 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 3459 0 0 0 143 0 0 0 19 0 5 0 500379098 296210432 11709 33554432000 4194304 5787044 140734404835008 18446744073709551615 4336827 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=289268 CPUtime=1.4 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 3257 0 0 0 140 0 0 0 19 0 5 0 500379100 296210432 11709 33554432000 4194304 5787044 140734404835008 18446744073709551615 18446744073699066043 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 297968
[startup+3.10097 s]
/proc/loadavg: 7.89 7.99 7.98 9/188 32260
/proc/meminfo: memFree=22593424/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=289268 CPUtime=12.21 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 23653 0 0 0 1215 6 0 0 18 0 5 0 500379092 296210432 12855 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 72317 12855 352 389 0 68067 0
[pid=32255/tid=32257] ppid=32254 vsize=289268 CPUtime=3.05 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 5657 0 0 0 303 2 0 0 25 0 5 0 500379095 296210432 12855 33554432000 4194304 5787044 140734404835008 18446744073709551615 4336801 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=289268 CPUtime=3.04 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 4460 0 0 0 303 1 0 0 25 0 5 0 500379097 296210432 12855 33554432000 4194304 5787044 140734404835008 18446744073709551615 4336777 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=289268 CPUtime=3.02 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 3459 0 0 0 302 0 0 0 25 0 5 0 500379098 296210432 12855 33554432000 4194304 5787044 140734404835008 18446744073709551615 4336703 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=289268 CPUtime=3 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 3623 0 0 0 299 1 0 0 25 0 5 0 500379100 296210432 12855 33554432000 4194304 5787044 140734404835008 18446744073709551615 4336688 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 297968
[startup+6.30037 s]
/proc/loadavg: 7.90 7.99 7.98 9/188 32260
/proc/meminfo: memFree=22560496/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=301592 CPUtime=24.98 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 39465 0 0 0 2488 10 0 0 18 0 5 0 500379092 308830208 19184 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 75398 19184 404 389 0 71148 0
[pid=32255/tid=32257] ppid=32254 vsize=301592 CPUtime=6.25 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 10130 0 0 0 622 3 0 0 18 0 5 0 500379095 308830208 19184 33554432000 4194304 5787044 140734404835008 18446744073709551615 4220366 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=301592 CPUtime=6.24 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 10292 0 0 0 621 3 0 0 18 0 5 0 500379097 308830208 19184 33554432000 4194304 5787044 140734404835008 18446744073709551615 5592076 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=301592 CPUtime=6.22 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 7345 0 0 0 621 1 0 0 18 0 5 0 500379098 308830208 19184 33554432000 4194304 5787044 140734404835008 18446744073709551615 4254919 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=301592 CPUtime=6.18 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 5244 0 0 0 617 1 0 0 25 0 5 0 500379100 308830208 19184 33554432000 4194304 5787044 140734404835008 18446744073709551615 4359266 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 310292
[startup+12.7012 s]
/proc/loadavg: 7.90 7.99 7.98 9/188 32260
/proc/meminfo: memFree=22549844/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=304124 CPUtime=50.55 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 41248 0 0 0 5044 11 0 0 18 0 5 0 500379092 311422976 20967 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 76031 20967 404 389 0 71781 0
[pid=32255/tid=32257] ppid=32254 vsize=304124 CPUtime=12.64 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 10737 0 0 0 1261 3 0 0 25 0 5 0 500379095 311422976 20967 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591587 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=304124 CPUtime=12.64 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 10854 0 0 0 1261 3 0 0 25 0 5 0 500379097 311422976 20967 33554432000 4194304 5787044 140734404835008 18446744073709551615 5590624 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=304124 CPUtime=12.62 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 7958 0 0 0 1261 1 0 0 25 0 5 0 500379098 311422976 20967 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=304124 CPUtime=12.54 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 5245 0 0 0 1253 1 0 0 25 0 5 0 500379100 311422976 20967 33554432000 4194304 5787044 140734404835008 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 312824
[startup+25.5008 s]
/proc/loadavg: 7.92 7.99 7.98 9/188 32260
/proc/meminfo: memFree=22515116/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=312356 CPUtime=101.67 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 50258 0 0 0 10153 14 0 0 18 0 5 0 500379092 319852544 26315 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 78089 26315 417 389 0 73839 0
[pid=32255/tid=32257] ppid=32254 vsize=312356 CPUtime=25.45 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 11763 0 0 0 2541 4 0 0 25 0 5 0 500379095 319852544 26315 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=312356 CPUtime=25.43 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 11860 0 0 0 2539 4 0 0 25 0 5 0 500379097 319852544 26315 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591596 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=312356 CPUtime=25.43 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 9985 0 0 0 2541 2 0 0 25 0 5 0 500379098 319852544 26315 33554432000 4194304 5787044 140734404835008 18446744073709551615 5576432 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=312356 CPUtime=25.27 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 10196 0 0 0 2525 2 0 0 25 0 5 0 500379100 319852544 26315 33554432000 4194304 5787044 140734404835008 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 321056
[startup+51.1071 s]
/proc/loadavg: 7.95 7.99 7.98 9/188 32261
/proc/meminfo: memFree=22454028/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=322888 CPUtime=203.95 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 57537 0 0 0 20373 22 0 0 18 0 5 0 500379092 330637312 33591 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 80722 33591 417 389 0 76472 0
[pid=32255/tid=32257] ppid=32254 vsize=322888 CPUtime=51.04 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 13048 0 0 0 5099 5 0 0 25 0 5 0 500379095 330637312 33591 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591722 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=322888 CPUtime=51.03 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 13166 0 0 0 5098 5 0 0 25 0 5 0 500379097 330637312 33591 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591719 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=322888 CPUtime=51.02 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 11550 0 0 0 5099 3 0 0 25 0 5 0 500379098 330637312 33591 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=322888 CPUtime=50.73 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 13319 0 0 0 5068 5 0 0 25 0 5 0 500379100 330637312 33591 33554432000 4194304 5787044 140734404835008 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 331588
[startup+102.301 s]
/proc/loadavg: 7.98 7.99 7.98 9/188 32262
/proc/meminfo: memFree=22376480/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=343892 CPUtime=408.43 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 69869 0 0 0 40806 37 0 0 18 0 5 0 500379092 352145408 45791 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 85973 45791 417 389 0 81723 0
[pid=32255/tid=32257] ppid=32254 vsize=343892 CPUtime=102.24 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 15703 0 0 0 10214 10 0 0 25 0 5 0 500379095 352145408 45791 33554432000 4194304 5787044 140734404835008 18446744073709551615 5592123 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=343892 CPUtime=102.22 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 17667 0 0 0 10212 10 0 0 25 0 5 0 500379097 352145408 45791 33554432000 4194304 5787044 140734404835008 18446744073709551615 5590216 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=343892 CPUtime=102.22 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 14673 0 0 0 10216 6 0 0 25 0 5 0 500379098 352145408 45791 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=343892 CPUtime=101.65 cores=1,3,5,7
################
# More data... #
################
[pid=32255/tid=32258] ppid=32254 vsize=360824 CPUtime=162.22 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 20508 0 0 0 16209 13 0 0 25 0 5 0 500379097 369483776 55506 33554432000 4194304 5787044 140734404835008 18446744073709551615 5576674 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=360824 CPUtime=162.22 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 16911 0 0 0 16213 9 0 0 25 0 5 0 500379098 369483776 55506 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=360824 CPUtime=161.32 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 18218 0 0 0 16121 11 0 0 25 0 5 0 500379100 369483776 55506 33554432000 4194304 5787044 140734404835008 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.09
Current children cumulated vsize (KiB) 369524
Solver just ended. Dumping a history of the last processes samples
[startup+179.601 s]
/proc/loadavg: 7.99 7.99 7.98 9/188 32264
/proc/meminfo: memFree=22270092/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=362120 CPUtime=717.2 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 81384 0 0 0 71669 51 0 0 18 0 5 0 500379092 370810880 57178 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 90530 57178 417 389 0 86280 0
[pid=32255/tid=32257] ppid=32254 vsize=362120 CPUtime=179.54 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 17631 0 0 0 17941 13 0 0 25 0 5 0 500379095 370810880 57178 33554432000 4194304 5787044 140734404835008 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=362120 CPUtime=179.51 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 20509 0 0 0 17938 13 0 0 25 0 5 0 500379097 370810880 57178 33554432000 4194304 5787044 140734404835008 18446744073709551615 5586853 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=362120 CPUtime=179.52 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 17216 0 0 0 17943 9 0 0 25 0 5 0 500379098 370810880 57178 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=362120 CPUtime=178.53 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 19574 0 0 0 17840 13 0 0 25 0 5 0 500379100 370810880 57178 33554432000 4194304 5787044 140734404835008 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 717.2
Current children cumulated vsize (KiB) 370820
[startup+192.401 s]
/proc/loadavg: 7.99 7.99 7.98 9/188 32265
/proc/meminfo: memFree=22222852/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=362120 CPUtime=768.33 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 82066 0 0 0 76781 52 0 0 18 0 5 0 500379092 370810880 57812 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 90530 57812 417 389 0 86280 0
[pid=32255/tid=32257] ppid=32254 vsize=362120 CPUtime=192.33 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 17668 0 0 0 19220 13 0 0 25 0 5 0 500379095 370810880 57812 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=362120 CPUtime=192.31 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 20535 0 0 0 19218 13 0 0 25 0 5 0 500379097 370810880 57812 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=362120 CPUtime=192.32 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 17216 0 0 0 19223 9 0 0 25 0 5 0 500379098 370810880 57812 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=362120 CPUtime=191.26 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 20193 0 0 0 19112 14 0 0 25 0 5 0 500379100 370810880 57812 33554432000 4194304 5787044 140734404835008 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 768.33
Current children cumulated vsize (KiB) 370820
[startup+198.801 s]
/proc/loadavg: 7.99 7.99 7.98 9/188 32265
/proc/meminfo: memFree=22199768/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=362120 CPUtime=793.89 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 82108 0 0 0 79337 52 0 0 18 0 5 0 500379092 370810880 57854 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 90530 57854 417 389 0 86280 0
[pid=32255/tid=32257] ppid=32254 vsize=362120 CPUtime=198.73 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 17699 0 0 0 19860 13 0 0 25 0 5 0 500379095 370810880 57854 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591197 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=362120 CPUtime=198.71 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 20545 0 0 0 19858 13 0 0 25 0 5 0 500379097 370810880 57854 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591024 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=362120 CPUtime=198.72 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 17216 0 0 0 19863 9 0 0 25 0 5 0 500379098 370810880 57854 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=362120 CPUtime=197.62 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 20194 0 0 0 19748 14 0 0 25 0 5 0 500379100 370810880 57854 33554432000 4194304 5787044 140734404835008 18446744073709551615 5524571 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 793.89
Current children cumulated vsize (KiB) 370820
[startup+202.001 s]
/proc/loadavg: 7.99 7.99 7.98 9/188 32265
/proc/meminfo: memFree=22199132/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=362120 CPUtime=806.67 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 82156 0 0 0 80615 52 0 0 18 0 5 0 500379092 370810880 57902 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 90530 57902 417 389 0 86280 0
[pid=32255/tid=32257] ppid=32254 vsize=362120 CPUtime=201.93 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 17720 0 0 0 20180 13 0 0 25 0 5 0 500379095 370810880 57902 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=362120 CPUtime=201.91 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 20571 0 0 0 20178 13 0 0 25 0 5 0 500379097 370810880 57902 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=362120 CPUtime=201.92 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 17216 0 0 0 20183 9 0 0 25 0 5 0 500379098 370810880 57902 33554432000 4194304 5787044 140734404835008 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=362120 CPUtime=200.81 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 20195 0 0 0 20067 14 0 0 25 0 5 0 500379100 370810880 57902 33554432000 4194304 5787044 140734404835008 18446744073709551615 5526852 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 806.67
Current children cumulated vsize (KiB) 370820
[startup+203.601 s]
/proc/loadavg: 7.99 7.99 7.98 9/188 32265
/proc/meminfo: memFree=22197768/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=362120 CPUtime=813.06 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 82163 0 0 0 81254 52 0 0 18 0 5 0 500379092 370810880 57909 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 90530 57909 417 389 0 86280 0
[pid=32255/tid=32257] ppid=32254 vsize=362120 CPUtime=203.53 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 17721 0 0 0 20340 13 0 0 25 0 5 0 500379095 370810880 57909 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=362120 CPUtime=203.51 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 20577 0 0 0 20338 13 0 0 25 0 5 0 500379097 370810880 57909 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=362120 CPUtime=203.52 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 17216 0 0 0 20343 9 0 0 25 0 5 0 500379098 370810880 57909 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591640 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=362120 CPUtime=202.4 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 20195 0 0 0 20226 14 0 0 25 0 5 0 500379100 370810880 57909 33554432000 4194304 5787044 140734404835008 18446744073709551615 5530981 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 813.06
Current children cumulated vsize (KiB) 370820
[startup+205.201 s]
/proc/loadavg: 7.99 7.99 7.98 9/188 32265
/proc/meminfo: memFree=22195908/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=362120 CPUtime=819.46 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 82175 0 0 0 81893 53 0 0 18 0 5 0 500379092 370810880 57921 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 90530 57921 417 389 0 86280 0
[pid=32255/tid=32257] ppid=32254 vsize=362120 CPUtime=205.13 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 17722 0 0 0 20500 13 0 0 25 0 5 0 500379095 370810880 57921 33554432000 4194304 5787044 140734404835008 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=362120 CPUtime=205.1 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 20588 0 0 0 20497 13 0 0 25 0 5 0 500379097 370810880 57921 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=362120 CPUtime=205.11 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 17216 0 0 0 20502 9 0 0 25 0 5 0 500379098 370810880 57921 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=362120 CPUtime=203.99 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 20195 0 0 0 20385 14 0 0 25 0 5 0 500379100 370810880 57921 33554432000 4194304 5787044 140734404835008 18446744073709551615 5524687 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 819.46
Current children cumulated vsize (KiB) 370820
[startup+206 s]
/proc/loadavg: 7.99 7.99 7.98 9/188 32265
/proc/meminfo: memFree=22195908/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=362120 CPUtime=822.66 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 82186 0 0 0 82213 53 0 0 18 0 5 0 500379092 370810880 57932 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 90530 57932 417 389 0 86280 0
[pid=32255/tid=32257] ppid=32254 vsize=362120 CPUtime=205.93 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 17730 0 0 0 20580 13 0 0 25 0 5 0 500379095 370810880 57932 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=362120 CPUtime=205.9 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 20591 0 0 0 20577 13 0 0 25 0 5 0 500379097 370810880 57932 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=362120 CPUtime=205.91 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 17216 0 0 0 20582 9 0 0 25 0 5 0 500379098 370810880 57932 33554432000 4194304 5787044 140734404835008 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=362120 CPUtime=204.79 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 20195 0 0 0 20465 14 0 0 25 0 5 0 500379100 370810880 57932 33554432000 4194304 5787044 140734404835008 18446744073709551615 5527168 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 822.66
Current children cumulated vsize (KiB) 370820
[startup+206.207 s]
/proc/loadavg: 7.99 7.99 7.98 9/188 32265
/proc/meminfo: memFree=22195908/32951124 swapFree=67111524/67111528
[pid=32254] ppid=32252 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32254/stat : 32254 (prissAuto.sh) S 32252 32254 30205 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 500379092 8908800 252 33554432000 4194304 4922060 140735844709152 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/32254/statm: 2175 252 211 178 0 68 0
[pid=32255] ppid=32254 vsize=362120 CPUtime=823.47 cores=1,3,5,7
/proc/32255/stat : 32255 (priss) S 32254 32254 30205 0 -1 4202496 82223 0 0 0 82294 53 0 0 18 0 5 0 500379092 370810880 57969 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107274673 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/32255/statm: 90530 57969 431 389 0 86280 0
[pid=32255/tid=32257] ppid=32254 vsize=362120 CPUtime=206.14 cores=1,3,5,7
/proc/32255/task/32257/stat : 32257 (priss) R 32254 32254 30205 0 -1 4202560 17737 0 0 0 20601 13 0 0 25 0 5 0 500379095 370810880 57969 33554432000 4194304 5787044 140734404835008 18446744073709551615 5588000 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32255/tid=32258] ppid=32254 vsize=362120 CPUtime=206.12 cores=1,3,5,7
/proc/32255/task/32258/stat : 32258 (priss) R 32254 32254 30205 0 -1 4202560 20621 0 0 0 20598 14 0 0 25 0 5 0 500379097 370810880 57969 33554432000 4194304 5787044 140734404835008 18446744073709551615 228107263224 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32255/tid=32259] ppid=32254 vsize=362120 CPUtime=206.12 cores=1,3,5,7
/proc/32255/task/32259/stat : 32259 (priss) R 32254 32254 30205 0 -1 4202560 17216 0 0 0 20603 9 0 0 25 0 5 0 500379098 370810880 57969 33554432000 4194304 5787044 140734404835008 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=32255/tid=32260] ppid=32254 vsize=362120 CPUtime=204.99 cores=1,3,5,7
/proc/32255/task/32260/stat : 32260 (priss) R 32254 32254 30205 0 -1 4202560 20195 0 0 0 20485 14 0 0 25 0 5 0 500379100 370810880 57969 33554432000 4194304 5787044 140734404835008 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 823.47
Current children cumulated vsize (KiB) 370820
Child status: 10
Real time (s): 206.253
CPU time (s): 823.631
CPU user time (s): 823.083
CPU system time (s): 0.547916
CPU usage (%): 399.33
Max. virtual memory (cumulated for all children) (KiB): 370820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 823.083
system time used= 0.547916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82597
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= 7851
involuntary context switches= 6374
runsolver used 0.309952 second user time and 0.820875 second system time
The end