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-3261063-1304058255/watcher-3261063-1304058255 -o /tmp/evaluation-result-3261063-1304058255/solver-3261063-1304058255 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3261063-1304058255.cnf 1306071492 4800 15500 4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.00 8.04 8.00 5/182 13319
/proc/meminfo: memFree=24269548/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0

[startup+0.141169 s]
/proc/loadavg: 8.00 8.04 8.00 5/182 13319
/proc/meminfo: memFree=24269548/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.200157 s]
/proc/loadavg: 8.00 8.04 8.00 5/182 13319
/proc/meminfo: memFree=24269548/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300139 s]
/proc/loadavg: 8.00 8.04 8.00 5/182 13319
/proc/meminfo: memFree=24269548/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.811922 s]
/proc/loadavg: 8.00 8.04 8.00 5/182 13319
/proc/meminfo: memFree=24269548/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50091 s]
/proc/loadavg: 8.00 8.04 8.00 9/188 13325
/proc/meminfo: memFree=24238756/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=279504 CPUtime=5.93 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 12447 0 0 0 589 4 0 0 25 0 5 0 517425218 286212096 7954 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 69876 7954 404 389 0 65626 0
[pid=13320/tid=13322] ppid=13319 vsize=279504 CPUtime=1.47 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 2510 0 0 0 147 0 0 0 18 0 5 0 517425219 286212096 7954 33554432000 4194304 5787044 140734469855920 18446744073709551615 208080337439 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=279504 CPUtime=1.47 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 2778 0 0 0 146 1 0 0 18 0 5 0 517425219 286212096 7954 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591315 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=279504 CPUtime=1.47 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 2818 0 0 0 146 1 0 0 18 0 5 0 517425219 286212096 7954 33554432000 4194304 5787044 140734469855920 18446744073709551615 4218220 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=279504 CPUtime=1.47 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 2635 0 0 0 147 0 0 0 19 0 5 0 517425219 286212096 7954 33554432000 4194304 5787044 140734469855920 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 288204

[startup+3.10061 s]
/proc/loadavg: 8.00 8.04 8.00 9/188 13325
/proc/meminfo: memFree=24230820/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=283868 CPUtime=12.32 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 14562 0 0 0 1227 5 0 0 25 0 5 0 517425218 290680832 10069 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 70967 10069 404 389 0 66717 0
[pid=13320/tid=13322] ppid=13319 vsize=283868 CPUtime=3.07 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 2907 0 0 0 306 1 0 0 21 0 5 0 517425219 290680832 10069 33554432000 4194304 5787044 140734469855920 18446744073709551615 5592100 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=283868 CPUtime=3.06 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 3096 0 0 0 305 1 0 0 21 0 5 0 517425219 290680832 10069 33554432000 4194304 5787044 140734469855920 18446744073709551615 4220372 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=283868 CPUtime=3.07 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 3190 0 0 0 306 1 0 0 21 0 5 0 517425219 290680832 10069 33554432000 4194304 5787044 140734469855920 18446744073709551615 4692090 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=283868 CPUtime=3.07 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 3663 0 0 0 307 0 0 0 22 0 5 0 517425219 290680832 10069 33554432000 4194304 5787044 140734469855920 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 292568

[startup+6.301 s]
/proc/loadavg: 8.00 8.04 8.00 5/178 13343
/proc/meminfo: memFree=26286496/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=289104 CPUtime=25.07 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 17786 0 0 0 2497 10 0 0 25 0 5 0 517425218 296042496 12589 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 72276 12589 417 389 0 68026 0
[pid=13320/tid=13322] ppid=13319 vsize=289104 CPUtime=6.26 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 3462 0 0 0 624 2 0 0 18 0 5 0 517425219 296042496 12589 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=289104 CPUtime=6.23 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 3832 0 0 0 621 2 0 0 25 0 5 0 517425219 296042496 12589 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=289104 CPUtime=6.26 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 3667 0 0 0 623 3 0 0 19 0 5 0 517425219 296042496 12589 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=289104 CPUtime=6.27 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 5119 0 0 0 627 0 0 0 25 0 5 0 517425219 296042496 12589 33554432000 4194304 5787044 140734469855920 18446744073709551615 4220712 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 297804

[startup+12.7008 s]
/proc/loadavg: 8.15 8.07 8.01 10/188 13390
/proc/meminfo: memFree=26231520/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=296264 CPUtime=50.62 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 22567 0 0 0 5045 17 0 0 25 0 5 0 517425218 303374336 17369 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 74066 17370 417 389 0 69816 0
[pid=13320/tid=13322] ppid=13319 vsize=296264 CPUtime=12.66 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 4441 0 0 0 1262 4 0 0 25 0 5 0 517425219 303374336 17371 33554432000 4194304 5787044 140734469855920 18446744073709551615 5586709 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=296264 CPUtime=12.6 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 4635 0 0 0 1257 3 0 0 25 0 5 0 517425219 303374336 17371 33554432000 4194304 5787044 140734469855920 18446744073709551615 208079893537 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=296264 CPUtime=12.65 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 5698 0 0 0 1260 5 0 0 19 0 5 0 517425219 303374336 17371 33554432000 4194304 5787044 140734469855920 18446744073709551615 5590534 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=296264 CPUtime=12.65 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 6089 0 0 0 1263 2 0 0 25 0 5 0 517425219 303374336 17371 33554432000 4194304 5787044 140734469855920 18446744073709551615 5530827 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 304964

[startup+25.5003 s]
/proc/loadavg: 8.12 8.06 8.01 9/188 13390
/proc/meminfo: memFree=26176580/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=310476 CPUtime=101.74 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 29691 0 0 0 10147 27 0 0 25 0 5 0 517425218 317927424 24467 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 77619 24467 417 389 0 73369 0
[pid=13320/tid=13322] ppid=13319 vsize=310476 CPUtime=25.46 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 5579 0 0 0 2539 7 0 0 25 0 5 0 517425219 317927424 24468 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=310476 CPUtime=25.41 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 5744 0 0 0 2536 5 0 0 25 0 5 0 517425219 317927424 24468 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591246 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=310476 CPUtime=25.46 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 8093 0 0 0 2538 8 0 0 25 0 5 0 517425219 317927424 24468 33554432000 4194304 5787044 140734469855920 18446744073709551615 5576432 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=310476 CPUtime=25.38 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 8570 0 0 0 2533 5 0 0 25 0 5 0 517425219 317927424 24468 33554432000 4194304 5787044 140734469855920 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 319176

[startup+51.1005 s]
/proc/loadavg: 8.08 8.06 8.01 9/188 13391
/proc/meminfo: memFree=26107600/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=332272 CPUtime=203.96 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 42944 0 0 0 20355 41 0 0 25 0 5 0 517425218 340246528 37542 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 83068 37542 417 389 0 78818 0
[pid=13320/tid=13322] ppid=13319 vsize=332272 CPUtime=51.04 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 8581 0 0 0 5094 10 0 0 25 0 5 0 517425219 340246528 37542 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=332272 CPUtime=51 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 9882 0 0 0 5092 8 0 0 25 0 5 0 517425219 340246528 37542 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=332272 CPUtime=51.04 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 10448 0 0 0 5092 12 0 0 25 0 5 0 517425219 340246528 37542 33554432000 4194304 5787044 140734469855920 18446744073709551615 5586694 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=332272 CPUtime=50.83 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 12327 0 0 0 5074 9 0 0 25 0 5 0 517425219 340246528 37542 33554432000 4194304 5787044 140734469855920 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 340972

[startup+102.301 s]
/proc/loadavg: 8.03 8.05 8.00 9/188 13392
/proc/meminfo: memFree=26007884/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=354348 CPUtime=408.41 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 62100 0 0 0 40776 65 0 0 25 0 5 0 517425218 362852352 56260 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 88587 56260 417 389 0 84337 0
[pid=13320/tid=13322] ppid=13319 vsize=354348 CPUtime=102.22 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 12947 0 0 0 10205 17 0 0 25 0 5 0 517425219 362852352 56260 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=354348 CPUtime=102.18 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 14508 0 0 0 10204 14 0 0 25 0 5 0 517425219 362852352 56260 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=354348 CPUtime=102.23 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 16413 0 0 0 10206 17 0 0 25 0 5 0 517425219 362852352 56260 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=354348 CPUtime=101.73 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 16526 0 0 0 10158 15 0 0 25 0 5 0 517425219 362852352 56260 33554432000 4194304 5787044 140734469855920 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.41
Current children cumulated vsize (KiB) 363048

[startup+162.3 s]
/proc/loadavg: 8.09 8.05 8.01 9/188 13394
/proc/meminfo: memFree=25911016/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=383444 CPUtime=647.99 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 79536 0 0 0 64712 87 0 0 25 0 5 0 517425218 392646656 73501 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 95861 73501 417 389 0 91611 0
[pid=13320/tid=13322] ppid=13319 vsize=383444 CPUtime=162.19 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 16157 0 0 0 16196 23 0 0 25 0 5 0 517425219 392646656 73501 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591289 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=383444 CPUtime=162.15 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 19817 0 0 0 16197 18 0 0 25 0 5 0 517425219 392646656 73501 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=383444 CPUtime=162.21 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 21546 0 0 0 16197 24 0 0 25 0 5 0 517425219 392646656 73501 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591219 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=383444 CPUtime=161.39 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 20310 0 0 0 16119 20 0 0 25 0 5 0 517425219 392646656 73501 33554432000 4194304 5787044 140734469855920 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.99
Current children cumulated vsize (KiB) 392144

Solver just ended. Dumping a history of the last processes samples

[startup+166.6 s]
/proc/loadavg: 8.08 8.05 8.00 9/188 13394
/proc/meminfo: memFree=25911016/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=383444 CPUtime=665.18 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 79545 0 0 0 66430 88 0 0 25 0 5 0 517425218 392646656 73510 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 95861 73510 417 389 0 91611 0
[pid=13320/tid=13322] ppid=13319 vsize=383444 CPUtime=166.49 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 16158 0 0 0 16626 23 0 0 25 0 5 0 517425219 392646656 73510 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=383444 CPUtime=166.46 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 19820 0 0 0 16627 19 0 0 25 0 5 0 517425219 392646656 73510 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=383444 CPUtime=166.51 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 21548 0 0 0 16627 24 0 0 25 0 5 0 517425219 392646656 73510 33554432000 4194304 5787044 140734469855920 18446744073709551615 5590295 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=383444 CPUtime=165.67 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 20313 0 0 0 16547 20 0 0 25 0 5 0 517425219 392646656 73510 33554432000 4194304 5787044 140734469855920 18446744073709551615 5528078 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 665.18
Current children cumulated vsize (KiB) 392144

[startup+179.401 s]
/proc/loadavg: 8.07 8.05 8.00 9/188 13394
/proc/meminfo: memFree=25897988/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=387544 CPUtime=716.31 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 83206 0 0 0 71539 92 0 0 25 0 5 0 517425218 396845056 77171 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 96886 77171 417 389 0 92636 0
[pid=13320/tid=13322] ppid=13319 vsize=387544 CPUtime=179.29 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 18042 0 0 0 17902 27 0 0 25 0 5 0 517425219 396845056 77171 33554432000 4194304 5787044 140734469855920 18446744073709551615 5592399 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=387544 CPUtime=179.26 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 20104 0 0 0 17907 19 0 0 25 0 5 0 517425219 396845056 77171 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=387544 CPUtime=179.31 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 21595 0 0 0 17907 24 0 0 25 0 5 0 517425219 396845056 77171 33554432000 4194304 5787044 140734469855920 18446744073709551615 4240914 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=387544 CPUtime=178.4 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 21759 0 0 0 17819 21 0 0 25 0 5 0 517425219 396845056 77171 33554432000 4194304 5787044 140734469855920 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 716.31
Current children cumulated vsize (KiB) 396244

[startup+185.801 s]
/proc/loadavg: 8.06 8.05 8.00 9/188 13394
/proc/meminfo: memFree=25880380/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=457180 CPUtime=741.87 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 87558 0 0 0 74090 97 0 0 25 0 5 0 517425218 468152320 81523 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 114295 81523 417 389 0 110045 0
[pid=13320/tid=13322] ppid=13319 vsize=457180 CPUtime=185.69 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 20178 0 0 0 18540 29 0 0 25 0 5 0 517425219 468152320 81523 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=457180 CPUtime=185.65 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 20491 0 0 0 18546 19 0 0 25 0 5 0 517425219 468152320 81523 33554432000 4194304 5787044 140734469855920 18446744073709551615 5588133 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=457180 CPUtime=185.71 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 22302 0 0 0 18546 25 0 0 25 0 5 0 517425219 468152320 81523 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=457180 CPUtime=184.77 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 22881 0 0 0 18455 22 0 0 25 0 5 0 517425219 468152320 81523 33554432000 4194304 5787044 140734469855920 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 741.87
Current children cumulated vsize (KiB) 465880

[startup+189.001 s]
/proc/loadavg: 8.06 8.05 8.00 9/188 13395
/proc/meminfo: memFree=25872196/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=458764 CPUtime=754.66 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 89636 0 0 0 75367 99 0 0 25 0 5 0 517425218 469774336 83601 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 114691 83601 417 389 0 110441 0
[pid=13320/tid=13322] ppid=13319 vsize=458764 CPUtime=188.89 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 20700 0 0 0 18860 29 0 0 25 0 5 0 517425219 469774336 83601 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591049 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=458764 CPUtime=188.86 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 21002 0 0 0 18866 20 0 0 25 0 5 0 517425219 469774336 83601 33554432000 4194304 5787044 140734469855920 18446744073709551615 5586841 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=458764 CPUtime=188.91 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 22830 0 0 0 18866 25 0 0 25 0 5 0 517425219 469774336 83601 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=458764 CPUtime=187.95 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 23398 0 0 0 18772 23 0 0 25 0 5 0 517425219 469774336 83601 33554432000 4194304 5787044 140734469855920 18446744073709551615 5527057 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 754.66
Current children cumulated vsize (KiB) 467464

[startup+190.607 s]
/proc/loadavg: 8.06 8.05 8.00 9/188 13395
/proc/meminfo: memFree=25865996/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=591024 CPUtime=761.07 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 90702 0 0 0 76007 100 0 0 25 0 5 0 517425218 605208576 84667 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 147756 84667 417 389 0 143506 0
[pid=13320/tid=13322] ppid=13319 vsize=591024 CPUtime=190.5 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 20975 0 0 0 19021 29 0 0 25 0 5 0 517425219 605208576 84667 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591640 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=591024 CPUtime=190.46 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 21278 0 0 0 19026 20 0 0 25 0 5 0 517425219 605208576 84667 33554432000 4194304 5787044 140734469855920 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=591024 CPUtime=190.51 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 23084 0 0 0 19026 25 0 0 25 0 5 0 517425219 605208576 84667 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=591024 CPUtime=189.54 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 23659 0 0 0 18931 23 0 0 25 0 5 0 517425219 605208576 84667 33554432000 4194304 5787044 140734469855920 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 761.07
Current children cumulated vsize (KiB) 599724

[startup+191.401 s]
/proc/loadavg: 8.06 8.05 8.00 9/188 13395
/proc/meminfo: memFree=25865996/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=595520 CPUtime=764.24 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 92222 0 0 0 76323 101 0 0 25 0 5 0 517425218 609812480 86187 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 148880 86187 417 389 0 144630 0
[pid=13320/tid=13322] ppid=13319 vsize=595520 CPUtime=191.29 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 21097 0 0 0 19099 30 0 0 25 0 5 0 517425219 609812480 86187 33554432000 4194304 5787044 140734469855920 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=595520 CPUtime=191.25 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 21411 0 0 0 19105 20 0 0 25 0 5 0 517425219 609812480 86187 33554432000 4194304 5787044 140734469855920 18446744073709551615 5601760 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=595520 CPUtime=191.31 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 24227 0 0 0 19105 26 0 0 25 0 5 0 517425219 609812480 86187 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=595520 CPUtime=190.33 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 23781 0 0 0 19010 23 0 0 25 0 5 0 517425219 609812480 86187 33554432000 4194304 5787044 140734469855920 18446744073709551615 5527008 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 764.24
Current children cumulated vsize (KiB) 604220

[startup+191.601 s]
/proc/loadavg: 8.05 8.05 8.00 9/188 13395
/proc/meminfo: memFree=25859176/32950928 swapFree=67111364/67111528
[pid=13319] ppid=13317 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/13319/stat : 13319 (prissAuto.sh) S 13317 13319 12570 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517425218 8908800 252 33554432000 4194304 4922060 140737368295328 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/13319/statm: 2175 252 211 178 0 68 0
[pid=13320] ppid=13319 vsize=595652 CPUtime=765.04 cores=0,2,4,6
/proc/13320/stat : 13320 (priss) S 13319 13319 12570 0 -1 4202496 92357 0 0 0 76403 101 0 0 25 0 5 0 517425218 609947648 86322 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13320/statm: 148913 86322 431 389 0 144663 0
[pid=13320/tid=13322] ppid=13319 vsize=595652 CPUtime=191.5 cores=0,2,4,6
/proc/13320/task/13322/stat : 13322 (priss) R 13319 13319 12570 0 -1 4202560 21124 0 0 0 19120 30 0 0 25 0 5 0 517425219 609947648 86322 33554432000 4194304 5787044 140734469855920 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13319 vsize=595652 CPUtime=191.46 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (priss) R 13319 13319 12570 0 -1 4202560 21443 0 0 0 19126 20 0 0 25 0 5 0 517425219 609947648 86322 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092058293 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13320/tid=13324] ppid=13319 vsize=595652 CPUtime=191.52 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (priss) R 13319 13319 12570 0 -1 4202560 24263 0 0 0 19126 26 0 0 25 0 5 0 517425219 609947648 86322 33554432000 4194304 5787044 140734469855920 18446744073709551615 208092058293 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=13320/tid=13325] ppid=13319 vsize=595652 CPUtime=190.54 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (priss) R 13319 13319 12570 0 -1 4202560 23821 0 0 0 19030 24 0 0 25 0 5 0 517425219 609947648 86322 33554432000 4194304 5787044 140734469855920 18446744073709551615 5526868 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 765.04
Current children cumulated vsize (KiB) 604352

Child status: 10
Real time (s): 191.677
CPU time (s): 765.29
CPU user time (s): 764.254
CPU system time (s): 1.03584
CPU usage (%): 399.26
Max. virtual memory (cumulated for all children) (KiB): 604352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 764.254
system time used= 1.03584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92729
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= 19352
involuntary context switches= 3412

runsolver used 0.283956 second user time and 0.764883 second system time

The end