runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3257851-1307647628/watcher-3257851-1307647628 -o /tmp/evaluation-result-3257851-1307647628/solver-3257851-1307647628 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3257851-1307647628.cnf 1629021375 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.91 7.87 7.79 5/182 5403
/proc/meminfo: memFree=31265576/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0

[startup+0.0739519 s]
/proc/loadavg: 7.91 7.87 7.79 5/182 5403
/proc/meminfo: memFree=31265576/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.353826 s]
/proc/loadavg: 7.91 7.87 7.79 5/182 5403
/proc/meminfo: memFree=31265576/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.975336 s]
/proc/loadavg: 7.91 7.87 7.79 5/182 5403
/proc/meminfo: memFree=31265576/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.07532 s]
/proc/loadavg: 7.91 7.87 7.79 5/182 5403
/proc/meminfo: memFree=31265576/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50024 s]
/proc/loadavg: 7.91 7.87 7.79 5/182 5403
/proc/meminfo: memFree=31265576/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+3.10095 s]
/proc/loadavg: 7.91 7.87 7.79 9/188 5409
/proc/meminfo: memFree=31205660/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=359240 CPUtime=12.25 cores=1,3,5,7
/proc/5404/stat : 5404 (priss) S 5403 5403 4755 0 -1 4202496 27975 0 0 0 1219 6 0 0 18 0 5 0 857178671 367861760 15365 33554432000 4194304 5787044 140733843055904 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5404/statm: 89810 15365 404 389 0 85560 0
[pid=5404/tid=5406] ppid=5403 vsize=359240 CPUtime=3.04 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 5569 0 0 0 303 1 0 0 18 0 5 0 857178674 367861760 15365 33554432000 4194304 5787044 140733843055904 18446744073709551615 5590455 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=359240 CPUtime=3.05 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 6063 0 0 0 305 0 0 0 18 0 5 0 857178674 367861760 15365 33554432000 4194304 5787044 140733843055904 18446744073709551615 5590291 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=359240 CPUtime=3.04 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 6413 0 0 0 302 2 0 0 18 0 5 0 857178675 367861760 15365 33554432000 4194304 5787044 140733843055904 18446744073709551615 5588240 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=359240 CPUtime=3.04 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 4847 0 0 0 303 1 0 0 25 0 5 0 857178676 367861760 15365 33554432000 4194304 5787044 140733843055904 18446744073709551615 233509991390 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 367940

[startup+6.30038 s]
/proc/loadavg: 7.92 7.87 7.79 9/188 5409
/proc/meminfo: memFree=31202312/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=360296 CPUtime=25.03 cores=1,3,5,7
/proc/5404/stat : 5404 (priss) S 5403 5403 4755 0 -1 4202496 28842 0 0 0 2496 7 0 0 18 0 5 0 857178671 368943104 16232 33554432000 4194304 5787044 140733843055904 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5404/statm: 90074 16232 404 389 0 85824 0
[pid=5404/tid=5406] ppid=5403 vsize=360296 CPUtime=6.22 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 5821 0 0 0 621 1 0 0 25 0 5 0 857178674 368943104 16232 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=360296 CPUtime=6.26 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 6336 0 0 0 625 1 0 0 25 0 5 0 857178674 368943104 16232 33554432000 4194304 5787044 140733843055904 18446744073709551615 5590573 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=360296 CPUtime=6.24 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 6754 0 0 0 622 2 0 0 25 0 5 0 857178675 368943104 16232 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=360296 CPUtime=6.24 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 4848 0 0 0 623 1 0 0 25 0 5 0 857178676 368943104 16232 33554432000 4194304 5787044 140733843055904 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 368996

[startup+12.7012 s]
/proc/loadavg: 7.92 7.87 7.79 9/188 5410
/proc/meminfo: memFree=31190144/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=366524 CPUtime=50.62 cores=1,3,5,7
/proc/5404/stat : 5404 (priss) S 5403 5403 4755 0 -1 4202496 31462 0 0 0 5054 8 0 0 18 0 5 0 857178671 375320576 18852 33554432000 4194304 5787044 140733843055904 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5404/statm: 91631 18852 404 389 0 87381 0
[pid=5404/tid=5406] ppid=5403 vsize=366524 CPUtime=12.59 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 7334 0 0 0 1258 1 0 0 25 0 5 0 857178674 375320576 18852 33554432000 4194304 5787044 140733843055904 18446744073709551615 5586709 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=366524 CPUtime=12.66 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 6845 0 0 0 1265 1 0 0 25 0 5 0 857178674 375320576 18852 33554432000 4194304 5787044 140733843055904 18446744073709551615 5588062 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=366524 CPUtime=12.64 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 7352 0 0 0 1262 2 0 0 25 0 5 0 857178675 375320576 18852 33554432000 4194304 5787044 140733843055904 18446744073709551615 5588013 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=366524 CPUtime=12.65 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 4848 0 0 0 1264 1 0 0 25 0 5 0 857178676 375320576 18852 33554432000 4194304 5787044 140733843055904 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 375224

[startup+25.5009 s]
/proc/loadavg: 8.02 7.89 7.80 9/188 5410
/proc/meminfo: memFree=31134132/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=370096 CPUtime=101.73 cores=1,3,5,7
/proc/5404/stat : 5404 (priss) S 5403 5403 4755 0 -1 4202496 38202 0 0 0 10162 11 0 0 18 0 5 0 857178671 378978304 22906 33554432000 4194304 5787044 140733843055904 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5404/statm: 92524 22906 417 389 0 88274 0
[pid=5404/tid=5406] ppid=5403 vsize=370096 CPUtime=25.32 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 8343 0 0 0 2530 2 0 0 25 0 5 0 857178674 378978304 22906 33554432000 4194304 5787044 140733843055904 18446744073709551615 5592111 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=370096 CPUtime=25.45 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 7742 0 0 0 2544 1 0 0 25 0 5 0 857178674 378978304 22906 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=370096 CPUtime=25.43 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 8284 0 0 0 2540 3 0 0 25 0 5 0 857178675 378978304 22906 33554432000 4194304 5787044 140733843055904 18446744073709551615 5576608 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=370096 CPUtime=25.44 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 8750 0 0 0 2542 2 0 0 25 0 5 0 857178676 378978304 22906 33554432000 4194304 5787044 140733843055904 18446744073709551615 5527008 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 378796

[startup+51.1004 s]
/proc/loadavg: 8.01 7.90 7.81 9/188 5411
/proc/meminfo: memFree=31105448/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=379968 CPUtime=203.98 cores=1,3,5,7
/proc/5404/stat : 5404 (priss) S 5403 5403 4755 0 -1 4202496 45051 0 0 0 20379 19 0 0 18 0 5 0 857178671 389087232 29753 33554432000 4194304 5787044 140733843055904 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5404/statm: 94992 29753 417 389 0 90742 0
[pid=5404/tid=5406] ppid=5403 vsize=379968 CPUtime=50.78 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 10705 0 0 0 5073 5 0 0 25 0 5 0 857178674 389087232 29753 33554432000 4194304 5787044 140733843055904 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=379968 CPUtime=51.05 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 9115 0 0 0 5103 2 0 0 25 0 5 0 857178674 389087232 29753 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=379968 CPUtime=51.04 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 9882 0 0 0 5098 6 0 0 25 0 5 0 857178675 389087232 29753 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=379968 CPUtime=51.04 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 10266 0 0 0 5100 4 0 0 25 0 5 0 857178676 389087232 29753 33554432000 4194304 5787044 140733843055904 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 388668

[startup+102.301 s]
/proc/loadavg: 8.06 7.93 7.82 9/188 5412
/proc/meminfo: memFree=31046244/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=397640 CPUtime=408.48 cores=1,3,5,7
/proc/5404/stat : 5404 (priss) S 5403 5403 4755 0 -1 4202496 57223 0 0 0 40812 36 0 0 18 0 5 0 857178671 407183360 41795 33554432000 4194304 5787044 140733843055904 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5404/statm: 99410 41795 417 389 0 95160 0
[pid=5404/tid=5406] ppid=5403 vsize=397640 CPUtime=101.69 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 14247 0 0 0 10160 9 0 0 25 0 5 0 857178674 407183360 41795 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=397640 CPUtime=102.24 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 11393 0 0 0 10220 4 0 0 25 0 5 0 857178674 407183360 41795 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591488 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=397640 CPUtime=102.23 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 12888 0 0 0 10212 11 0 0 25 0 5 0 857178675 407183360 41795 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=397640 CPUtime=102.23 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 13612 0 0 0 10214 9 0 0 25 0 5 0 857178676 407183360 41795 33554432000 4194304 5787044 140733843055904 18446744073709551615 4220881 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.48
Current children cumulated vsize (KiB) 406340

[startup+162.3 s]
/proc/loadavg: 8.08 7.96 7.83 9/188 5414
/proc/meminfo: memFree=30967320/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=413056 CPUtime=648.16 cores=1,3,5,7

################
# More data... #
################

[pid=5404/tid=5406] ppid=5403 vsize=736608 CPUtime=894.68 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 36509 0 0 0 89425 43 0 0 25 0 5 0 857178674 754286592 122320 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=736608 CPUtime=896.53 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 29074 0 0 0 89632 21 0 0 25 0 5 0 857178674 754286592 122320 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=736608 CPUtime=894.84 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 36646 0 0 0 89438 46 0 0 25 0 5 0 857178675 754286592 122320 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=736608 CPUtime=895.18 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 31797 0 0 0 89482 36 0 0 25 0 5 0 857178676 754286592 122320 33554432000 4194304 5787044 140733843055904 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3581.31
Current children cumulated vsize (KiB) 745308

[startup+909.401 s]
/proc/loadavg: 8.02 8.03 7.94 9/188 5477
/proc/meminfo: memFree=31840964/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=738388 CPUtime=3632.43 cores=1,3,5,7
/proc/5404/stat : 5404 (priss) S 5403 5403 4755 0 -1 4202496 141385 0 0 0 363092 151 0 0 18 0 5 0 857178671 756109312 124371 33554432000 4194304 5787044 140733843055904 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5404/statm: 184597 124371 418 389 0 180347 0
[pid=5404/tid=5406] ppid=5403 vsize=738388 CPUtime=907.47 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 37359 0 0 0 90704 43 0 0 25 0 5 0 857178674 756109312 124371 33554432000 4194304 5787044 140733843055904 18446744073709551615 233509946482 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=738388 CPUtime=909.33 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 29512 0 0 0 90912 21 0 0 25 0 5 0 857178674 756109312 124371 33554432000 4194304 5787044 140733843055904 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=738388 CPUtime=907.57 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 37247 0 0 0 90709 48 0 0 25 0 5 0 857178675 756109312 124371 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=738388 CPUtime=907.98 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 32184 0 0 0 90762 36 0 0 25 0 5 0 857178676 756109312 124371 33554432000 4194304 5787044 140733843055904 18446744073709551615 4213865 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3632.43
Current children cumulated vsize (KiB) 747088

[startup+915.8 s]
/proc/loadavg: 7.94 8.01 7.93 9/188 5478
/proc/meminfo: memFree=31822236/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=740716 CPUtime=3658.02 cores=1,3,5,7
/proc/5404/stat : 5404 (priss) S 5403 5403 4755 0 -1 4202496 142355 0 0 0 365649 153 0 0 18 0 5 0 857178671 758493184 125341 33554432000 4194304 5787044 140733843055904 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5404/statm: 185179 125341 418 389 0 180929 0
[pid=5404/tid=5406] ppid=5403 vsize=740716 CPUtime=913.88 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 37359 0 0 0 91345 43 0 0 25 0 5 0 857178674 758493184 125341 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=740716 CPUtime=915.74 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 29927 0 0 0 91552 22 0 0 25 0 5 0 857178674 758493184 125341 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=740716 CPUtime=913.94 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 37579 0 0 0 91346 48 0 0 25 0 5 0 857178675 758493184 125341 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=740716 CPUtime=914.38 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 32407 0 0 0 91401 37 0 0 25 0 5 0 857178676 758493184 125341 33554432000 4194304 5787044 140733843055904 18446744073709551615 5528078 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3658.02
Current children cumulated vsize (KiB) 749416

[startup+919.001 s]
/proc/loadavg: 7.94 8.01 7.93 9/188 5478
/proc/meminfo: memFree=31818516/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=740716 CPUtime=3670.78 cores=1,3,5,7
/proc/5404/stat : 5404 (priss) S 5403 5403 4755 0 -1 4202496 142615 0 0 0 366925 153 0 0 18 0 5 0 857178671 758493184 125601 33554432000 4194304 5787044 140733843055904 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5404/statm: 185179 125601 418 389 0 180929 0
[pid=5404/tid=5406] ppid=5403 vsize=740716 CPUtime=917.07 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 37359 0 0 0 91664 43 0 0 25 0 5 0 857178674 758493184 125601 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=740716 CPUtime=918.93 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 29927 0 0 0 91871 22 0 0 25 0 5 0 857178674 758493184 125601 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=740716 CPUtime=917.12 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 37748 0 0 0 91664 48 0 0 25 0 5 0 857178675 758493184 125601 33554432000 4194304 5787044 140733843055904 18446744073709551615 5590455 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=740716 CPUtime=917.58 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 32498 0 0 0 91721 37 0 0 25 0 5 0 857178676 758493184 125601 33554432000 4194304 5787044 140733843055904 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3670.78
Current children cumulated vsize (KiB) 749416

[startup+922.2 s]
/proc/loadavg: 7.95 8.01 7.93 9/188 5478
/proc/meminfo: memFree=31817140/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=740716 CPUtime=3683.56 cores=1,3,5,7
/proc/5404/stat : 5404 (priss) S 5403 5403 4755 0 -1 4202496 142887 0 0 0 368203 153 0 0 18 0 5 0 857178671 758493184 125873 33554432000 4194304 5787044 140733843055904 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5404/statm: 185179 125873 418 389 0 180929 0
[pid=5404/tid=5406] ppid=5403 vsize=740716 CPUtime=920.27 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 37359 0 0 0 91984 43 0 0 25 0 5 0 857178674 758493184 125873 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=740716 CPUtime=922.13 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 29927 0 0 0 92191 22 0 0 25 0 5 0 857178674 758493184 125873 33554432000 4194304 5787044 140733843055904 18446744073709551615 4254531 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=740716 CPUtime=920.31 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 37903 0 0 0 91982 49 0 0 25 0 5 0 857178675 758493184 125873 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591304 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=740716 CPUtime=920.77 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 32615 0 0 0 92040 37 0 0 25 0 5 0 857178676 758493184 125873 33554432000 4194304 5787044 140733843055904 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3683.56
Current children cumulated vsize (KiB) 749416

[startup+923.001 s]
/proc/loadavg: 7.95 8.01 7.93 9/188 5478
/proc/meminfo: memFree=31816148/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=740716 CPUtime=3686.76 cores=1,3,5,7
/proc/5404/stat : 5404 (priss) S 5403 5403 4755 0 -1 4202496 142958 0 0 0 368522 154 0 0 18 0 5 0 857178671 758493184 125944 33554432000 4194304 5787044 140733843055904 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5404/statm: 185179 125944 418 389 0 180929 0
[pid=5404/tid=5406] ppid=5403 vsize=740716 CPUtime=921.07 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 37359 0 0 0 92064 43 0 0 25 0 5 0 857178674 758493184 125944 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=740716 CPUtime=922.93 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 29927 0 0 0 92271 22 0 0 25 0 5 0 857178674 758493184 125944 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=740716 CPUtime=921.1 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 37945 0 0 0 92061 49 0 0 25 0 5 0 857178675 758493184 125944 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=740716 CPUtime=921.57 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 32644 0 0 0 92120 37 0 0 25 0 5 0 857178676 758493184 125944 33554432000 4194304 5787044 140733843055904 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3686.76
Current children cumulated vsize (KiB) 749416

[startup+923.801 s]
/proc/loadavg: 7.95 8.01 7.93 9/188 5478
/proc/meminfo: memFree=31814908/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=740716 CPUtime=3689.95 cores=1,3,5,7
/proc/5404/stat : 5404 (priss) S 5403 5403 4755 0 -1 4202496 143031 0 0 0 368841 154 0 0 18 0 5 0 857178671 758493184 126017 33554432000 4194304 5787044 140733843055904 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5404/statm: 185179 126017 418 389 0 180929 0
[pid=5404/tid=5406] ppid=5403 vsize=740716 CPUtime=921.87 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 37359 0 0 0 92144 43 0 0 25 0 5 0 857178674 758493184 126017 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=740716 CPUtime=923.73 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 29927 0 0 0 92351 22 0 0 25 0 5 0 857178674 758493184 126017 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=740716 CPUtime=921.89 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 37986 0 0 0 92140 49 0 0 25 0 5 0 857178675 758493184 126017 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=740716 CPUtime=922.37 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 32676 0 0 0 92200 37 0 0 25 0 5 0 857178676 758493184 126017 33554432000 4194304 5787044 140733843055904 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3689.95
Current children cumulated vsize (KiB) 749416

[startup+924.001 s]
/proc/loadavg: 7.95 8.01 7.93 9/188 5478
/proc/meminfo: memFree=31814908/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=740716 CPUtime=3690.75 cores=1,3,5,7
/proc/5404/stat : 5404 (priss) S 5403 5403 4755 0 -1 4202496 143066 0 0 0 368921 154 0 0 18 0 5 0 857178671 758493184 126052 33554432000 4194304 5787044 140733843055904 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5404/statm: 185179 126052 432 389 0 180929 0
[pid=5404/tid=5406] ppid=5403 vsize=740716 CPUtime=922.07 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 37359 0 0 0 92164 43 0 0 25 0 5 0 857178674 758493184 126052 33554432000 4194304 5787044 140733843055904 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=740716 CPUtime=923.93 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 29927 0 0 0 92371 22 0 0 25 0 5 0 857178674 758493184 126052 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591268 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=740716 CPUtime=922.09 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 38017 0 0 0 92160 49 0 0 25 0 5 0 857178675 758493184 126052 33554432000 4194304 5787044 140733843055904 18446744073709551615 233509952865 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=740716 CPUtime=922.57 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 32680 0 0 0 92220 37 0 0 25 0 5 0 857178676 758493184 126052 33554432000 4194304 5787044 140733843055904 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3690.75
Current children cumulated vsize (KiB) 749416

[startup+924.101 s]
/proc/loadavg: 7.95 8.01 7.93 9/188 5478
/proc/meminfo: memFree=31814908/32951124 swapFree=67056964/67111528
[pid=5403] ppid=5401 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5403/stat : 5403 (prissAuto.sh) S 5401 5403 4755 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 857178671 8908800 252 33554432000 4194304 4922060 140734245193856 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/5403/statm: 2175 252 211 178 0 68 0
[pid=5404] ppid=5403 vsize=740716 CPUtime=3691.15 cores=1,3,5,7
/proc/5404/stat : 5404 (priss) S 5403 5403 4755 0 -1 4202496 143069 0 0 0 368961 154 0 0 18 0 5 0 857178671 758493184 126055 33554432000 4194304 5787044 140733843055904 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5404/statm: 185179 126055 432 389 0 180929 0
[pid=5404/tid=5406] ppid=5403 vsize=740716 CPUtime=922.17 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (priss) R 5403 5403 4755 0 -1 4202560 37359 0 0 0 92174 43 0 0 25 0 5 0 857178674 758493184 126055 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591289 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5404/tid=5407] ppid=5403 vsize=740716 CPUtime=924.03 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (priss) R 5403 5403 4755 0 -1 4202560 29927 0 0 0 92381 22 0 0 25 0 5 0 857178674 758493184 126055 33554432000 4194304 5787044 140733843055904 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5404/tid=5408] ppid=5403 vsize=740716 CPUtime=922.19 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (priss) R 5403 5403 4755 0 -1 4202560 38017 0 0 0 92170 49 0 0 25 0 5 0 857178675 758493184 126055 33554432000 4194304 5787044 140733843055904 18446744073709551615 233509946770 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5404/tid=5409] ppid=5403 vsize=740716 CPUtime=922.67 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (priss) R 5403 5403 4755 0 -1 4202560 32683 0 0 0 92230 37 0 0 25 0 5 0 857178676 758493184 126055 33554432000 4194304 5787044 140733843055904 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3691.15
Current children cumulated vsize (KiB) 749416

Child status: 10
Real time (s): 924.154
CPU time (s): 3691.31
CPU user time (s): 3689.74
CPU system time (s): 1.57076
CPU usage (%): 399.426
Max. virtual memory (cumulated for all children) (KiB): 749416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3689.74
system time used= 1.57076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143442
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= 7990
involuntary context switches= 25610

runsolver used 1.3388 second user time and 3.70144 second system time

The end