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-3257279-1304041786/watcher-3257279-1304041786 -o /tmp/evaluation-result-3257279-1304041786/solver-3257279-1304041786 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3257279-1304041786.cnf 663377686 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: 7.53 7.89 7.00 5/182 29222
/proc/meminfo: memFree=15079332/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0

[startup+0.0419299 s]
/proc/loadavg: 7.53 7.89 7.00 5/182 29222
/proc/meminfo: memFree=15079332/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.118378 s]
/proc/loadavg: 7.53 7.89 7.00 5/182 29222
/proc/meminfo: memFree=15079332/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300346 s]
/proc/loadavg: 7.53 7.89 7.00 5/182 29222
/proc/meminfo: memFree=15079332/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700275 s]
/proc/loadavg: 7.53 7.89 7.00 5/182 29222
/proc/meminfo: memFree=15079332/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50114 s]
/proc/loadavg: 7.53 7.89 7.00 10/188 29228
/proc/meminfo: memFree=15025968/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=277272 CPUtime=5.95 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 9658 0 0 0 593 2 0 0 25 0 5 0 515778220 283926528 7989 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 69318 7989 405 389 0 65068 0
[pid=29223/tid=29225] ppid=29222 vsize=277272 CPUtime=1.48 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 1799 0 0 0 148 0 0 0 25 0 5 0 515778221 283926528 7989 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591787 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=277272 CPUtime=1.48 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 1963 0 0 0 147 1 0 0 25 0 5 0 515778221 283926528 7989 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=277272 CPUtime=1.48 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 1963 0 0 0 148 0 0 0 25 0 5 0 515778221 283926528 7989 33554432000 4194304 5787044 140734284451216 18446744073709551615 274473628705 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=277272 CPUtime=1.48 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 2341 0 0 0 148 0 0 0 25 0 5 0 515778221 283926528 7989 33554432000 4194304 5787044 140734284451216 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 285972

[startup+3.10086 s]
/proc/loadavg: 7.53 7.89 7.00 9/188 29229
/proc/meminfo: memFree=15008732/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=281372 CPUtime=12.34 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 11972 0 0 0 1231 3 0 0 25 0 5 0 515778220 288124928 10303 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 70343 10303 405 389 0 66093 0
[pid=29223/tid=29225] ppid=29222 vsize=281372 CPUtime=3.07 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 2225 0 0 0 307 0 0 0 18 0 5 0 515778221 288124928 10303 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=281372 CPUtime=3.08 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 2406 0 0 0 307 1 0 0 25 0 5 0 515778221 288124928 10303 33554432000 4194304 5787044 140734284451216 18446744073709551615 5576696 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=281372 CPUtime=3.07 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 3409 0 0 0 307 0 0 0 25 0 5 0 515778221 288124928 10304 33554432000 4194304 5787044 140734284451216 18446744073709551615 274473628705 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=281372 CPUtime=3.07 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 2341 0 0 0 307 0 0 0 25 0 5 0 515778221 288124928 10304 33554432000 4194304 5787044 140734284451216 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 290072

[startup+6.30029 s]
/proc/loadavg: 7.57 7.89 7.00 9/188 29229
/proc/meminfo: memFree=14991204/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=284896 CPUtime=25.11 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 15355 0 0 0 2506 5 0 0 25 0 5 0 515778220 291733504 12982 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 71224 12982 419 389 0 66974 0
[pid=29223/tid=29225] ppid=29222 vsize=284896 CPUtime=6.28 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 2454 0 0 0 627 1 0 0 25 0 5 0 515778221 291733504 12982 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=284896 CPUtime=6.28 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 2889 0 0 0 626 2 0 0 25 0 5 0 515778221 291733504 12982 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=284896 CPUtime=6.28 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 3742 0 0 0 627 1 0 0 25 0 5 0 515778221 291733504 12982 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=284896 CPUtime=6.25 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 4678 0 0 0 624 1 0 0 25 0 5 0 515778221 291733504 12982 33554432000 4194304 5787044 140734284451216 18446744073709551615 5527057 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 293596

[startup+12.7012 s]
/proc/loadavg: 7.61 7.89 7.01 9/188 29229
/proc/meminfo: memFree=14977864/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=291372 CPUtime=50.67 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 20233 0 0 0 5057 10 0 0 25 0 5 0 515778220 298364928 17860 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 72843 17860 419 389 0 68593 0
[pid=29223/tid=29225] ppid=29222 vsize=291372 CPUtime=12.67 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 3355 0 0 0 1266 1 0 0 25 0 5 0 515778221 298364928 17860 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591044 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=291372 CPUtime=12.67 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 4568 0 0 0 1264 3 0 0 25 0 5 0 515778221 298364928 17860 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=291372 CPUtime=12.68 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 4589 0 0 0 1266 2 0 0 25 0 5 0 515778221 298364928 17860 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591780 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=291372 CPUtime=12.61 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 6129 0 0 0 1259 2 0 0 25 0 5 0 515778221 298364928 17860 33554432000 4194304 5787044 140734284451216 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 300072

[startup+25.5009 s]
/proc/loadavg: 7.69 7.90 7.02 9/188 29229
/proc/meminfo: memFree=14950824/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=299700 CPUtime=101.78 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 25995 0 0 0 10163 15 0 0 25 0 5 0 515778220 306892800 23621 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 74925 23621 419 389 0 70675 0
[pid=29223/tid=29225] ppid=29222 vsize=299700 CPUtime=25.47 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 4765 0 0 0 2544 3 0 0 25 0 5 0 515778221 306892800 23621 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=299700 CPUtime=25.47 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 5622 0 0 0 2543 4 0 0 25 0 5 0 515778221 306892800 23621 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591808 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=299700 CPUtime=25.47 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 6667 0 0 0 2544 3 0 0 25 0 5 0 515778221 306892800 23621 33554432000 4194304 5787044 140734284451216 18446744073709551615 5588240 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=299700 CPUtime=25.33 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 7349 0 0 0 2530 3 0 0 25 0 5 0 515778221 306892800 23621 33554432000 4194304 5787044 140734284451216 18446744073709551615 5527666 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 308400

[startup+51.1004 s]
/proc/loadavg: 7.86 7.92 7.05 9/188 29230
/proc/meminfo: memFree=14918072/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=309212 CPUtime=204.02 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 34492 0 0 0 20379 23 0 0 25 0 5 0 515778220 316633088 32113 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 77303 32113 419 389 0 73053 0
[pid=29223/tid=29225] ppid=29222 vsize=309212 CPUtime=51.06 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 6556 0 0 0 5102 4 0 0 25 0 5 0 515778221 316633088 32113 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=309212 CPUtime=51.06 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 7641 0 0 0 5100 6 0 0 25 0 5 0 515778221 316633088 32113 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=309212 CPUtime=51.07 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 9115 0 0 0 5102 5 0 0 25 0 5 0 515778221 316633088 32113 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591751 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=309212 CPUtime=50.79 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 9588 0 0 0 5072 7 0 0 25 0 5 0 515778221 316633088 32113 33554432000 4194304 5787044 140734284451216 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 317912

[startup+102.306 s]
/proc/loadavg: 8.08 7.96 7.11 9/188 29231
/proc/meminfo: memFree=14843156/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=328300 CPUtime=408.55 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 49799 0 0 0 40812 43 0 0 25 0 5 0 515778220 336179200 47378 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 82075 47378 419 389 0 77825 0
[pid=29223/tid=29225] ppid=29222 vsize=328300 CPUtime=102.27 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 10883 0 0 0 10220 7 0 0 25 0 5 0 515778221 336179200 47378 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=328300 CPUtime=102.26 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 10255 0 0 0 10217 9 0 0 25 0 5 0 515778221 336179200 47378 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=328300 CPUtime=102.27 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 12849 0 0 0 10215 12 0 0 25 0 5 0 515778221 336179200 47378 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=328300 CPUtime=101.7 cores=0,2,4,6

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

[pid=29223/tid=29225] ppid=29222 vsize=343100 CPUtime=179.06 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 13709 0 0 0 17897 9 0 0 25 0 5 0 515778221 351334400 58696 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=343100 CPUtime=179.04 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 13570 0 0 0 17893 11 0 0 25 0 5 0 515778221 351334400 58696 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=343100 CPUtime=179.07 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 15404 0 0 0 17891 16 0 0 25 0 5 0 515778221 351334400 58696 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=343100 CPUtime=178.08 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 16974 0 0 0 17792 16 0 0 25 0 5 0 515778221 351334400 58696 33554432000 4194304 5787044 140734284451216 18446744073709551615 5527590 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 715.29
Current children cumulated vsize (KiB) 351800

[startup+204.7 s]
/proc/loadavg: 8.18 8.02 7.21 9/188 29266
/proc/meminfo: memFree=14689108/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=357400 CPUtime=817.53 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 72643 0 0 0 81690 63 0 0 25 0 5 0 515778220 365977600 70090 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 89350 70090 419 389 0 85100 0
[pid=29223/tid=29225] ppid=29222 vsize=357400 CPUtime=204.66 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 16307 0 0 0 20455 11 0 0 25 0 5 0 515778221 365977600 70090 33554432000 4194304 5787044 140734284451216 18446744073709551615 5586729 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=357400 CPUtime=204.64 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 17281 0 0 0 20450 14 0 0 25 0 5 0 515778221 365977600 70090 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=357400 CPUtime=204.66 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 17953 0 0 0 20449 17 0 0 25 0 5 0 515778221 365977600 70090 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=357400 CPUtime=203.53 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 19510 0 0 0 20334 19 0 0 25 0 5 0 515778221 365977600 70090 33554432000 4194304 5787044 140734284451216 18446744073709551615 5527205 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 817.53
Current children cumulated vsize (KiB) 366100

[startup+211.101 s]
/proc/loadavg: 8.15 8.01 7.22 9/188 29266
/proc/meminfo: memFree=14673980/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=359644 CPUtime=843.12 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 74981 0 0 0 84247 65 0 0 25 0 5 0 515778220 368275456 72428 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 89911 72428 419 389 0 85661 0
[pid=29223/tid=29225] ppid=29222 vsize=359644 CPUtime=211.07 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 16903 0 0 0 21095 12 0 0 25 0 5 0 515778221 368275456 72428 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=359644 CPUtime=211.05 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 17837 0 0 0 21090 15 0 0 25 0 5 0 515778221 368275456 72428 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=359644 CPUtime=211.07 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 18515 0 0 0 21090 17 0 0 25 0 5 0 515778221 368275456 72428 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=359644 CPUtime=209.9 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 20134 0 0 0 20970 20 0 0 25 0 5 0 515778221 368275456 72428 33554432000 4194304 5787044 140734284451216 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 843.12
Current children cumulated vsize (KiB) 368344

[startup+217.501 s]
/proc/loadavg: 8.14 8.01 7.22 9/188 29266
/proc/meminfo: memFree=14666164/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=492844 CPUtime=868.67 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 77243 0 0 0 86799 68 0 0 25 0 5 0 515778220 504672256 74690 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 123211 74690 419 389 0 118961 0
[pid=29223/tid=29225] ppid=29222 vsize=492844 CPUtime=217.45 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 17477 0 0 0 21733 12 0 0 25 0 5 0 515778221 504672256 74690 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=492844 CPUtime=217.45 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 18407 0 0 0 21729 16 0 0 25 0 5 0 515778221 504672256 74690 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=492844 CPUtime=217.47 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 19050 0 0 0 21729 18 0 0 25 0 5 0 515778221 504672256 74690 33554432000 4194304 5787044 140734284451216 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=492844 CPUtime=216.26 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 20717 0 0 0 21606 20 0 0 25 0 5 0 515778221 504672256 74690 33554432000 4194304 5787044 140734284451216 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 868.67
Current children cumulated vsize (KiB) 501544

[startup+219.101 s]
/proc/loadavg: 8.14 8.01 7.22 9/188 29266
/proc/meminfo: memFree=14662940/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=493376 CPUtime=875.06 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 77897 0 0 0 87437 69 0 0 25 0 5 0 515778220 505217024 75296 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 123344 75296 419 389 0 119094 0
[pid=29223/tid=29225] ppid=29222 vsize=493376 CPUtime=219.06 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 17609 0 0 0 21893 13 0 0 25 0 5 0 515778221 505217024 75296 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=493376 CPUtime=219.04 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 18642 0 0 0 21888 16 0 0 25 0 5 0 515778221 505217024 75296 33554432000 4194304 5787044 140734284451216 18446744073709551615 4692895 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=493376 CPUtime=219.07 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 19192 0 0 0 21889 18 0 0 25 0 5 0 515778221 505217024 75296 33554432000 4194304 5787044 140734284451216 18446744073709551615 4255030 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=493376 CPUtime=217.85 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 20862 0 0 0 21765 20 0 0 25 0 5 0 515778221 505217024 75296 33554432000 4194304 5787044 140734284451216 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 875.06
Current children cumulated vsize (KiB) 502076

[startup+219.901 s]
/proc/loadavg: 8.13 8.01 7.23 9/188 29266
/proc/meminfo: memFree=14661452/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=493508 CPUtime=878.27 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 78053 0 0 0 87758 69 0 0 25 0 5 0 515778220 505352192 75447 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 123377 75447 419 389 0 119127 0
[pid=29223/tid=29225] ppid=29222 vsize=493508 CPUtime=219.86 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 17644 0 0 0 21973 13 0 0 25 0 5 0 515778221 505352192 75447 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=493508 CPUtime=219.85 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 18657 0 0 0 21969 16 0 0 25 0 5 0 515778221 505352192 75447 33554432000 4194304 5787044 140734284451216 18446744073709551615 5586623 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=493508 CPUtime=219.87 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 19232 0 0 0 21969 18 0 0 25 0 5 0 515778221 505352192 75447 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=493508 CPUtime=218.65 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 20928 0 0 0 21845 20 0 0 25 0 5 0 515778221 505352192 75447 33554432000 4194304 5787044 140734284451216 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 878.27
Current children cumulated vsize (KiB) 502208

[startup+220.701 s]
/proc/loadavg: 8.13 8.01 7.23 9/188 29266
/proc/meminfo: memFree=14661452/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=559572 CPUtime=881.45 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 78251 0 0 0 88076 69 0 0 25 0 5 0 515778220 573001728 75645 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 139893 75645 419 389 0 135643 0
[pid=29223/tid=29225] ppid=29222 vsize=559572 CPUtime=220.66 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 17644 0 0 0 22053 13 0 0 25 0 5 0 515778221 573001728 75645 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591304 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=559572 CPUtime=220.64 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 18784 0 0 0 22048 16 0 0 25 0 5 0 515778221 573001728 75645 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=559572 CPUtime=220.67 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 19233 0 0 0 22049 18 0 0 25 0 5 0 515778221 573001728 75645 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=559572 CPUtime=219.44 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 20998 0 0 0 21924 20 0 0 25 0 5 0 515778221 573001728 75645 33554432000 4194304 5787044 140734284451216 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 881.45
Current children cumulated vsize (KiB) 568272

[startup+221.106 s]
/proc/loadavg: 8.13 8.01 7.23 9/188 29266
/proc/meminfo: memFree=14660088/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=559836 CPUtime=883.07 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 78357 0 0 0 88238 69 0 0 25 0 5 0 515778220 573272064 75751 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 139959 75751 419 389 0 135709 0
[pid=29223/tid=29225] ppid=29222 vsize=559836 CPUtime=221.06 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 17645 0 0 0 22093 13 0 0 25 0 5 0 515778221 573272064 75751 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591488 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=559836 CPUtime=221.05 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 18851 0 0 0 22089 16 0 0 25 0 5 0 515778221 573272064 75751 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=559836 CPUtime=221.07 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 19233 0 0 0 22089 18 0 0 25 0 5 0 515778221 573272064 75751 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=559836 CPUtime=219.84 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 21036 0 0 0 21964 20 0 0 25 0 5 0 515778221 573272064 75751 33554432000 4194304 5787044 140734284451216 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 883.07
Current children cumulated vsize (KiB) 568536

[startup+221.2 s]
/proc/loadavg: 8.13 8.01 7.23 9/188 29266
/proc/meminfo: memFree=14660088/32950928 swapFree=67111528/67111528
[pid=29222] ppid=29220 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29222/stat : 29222 (prissAuto.sh) S 29220 29222 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515778220 8908800 251 33554432000 4194304 4922060 140733620116224 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29222/statm: 2175 251 211 178 0 68 0
[pid=29223] ppid=29222 vsize=560020 CPUtime=883.44 cores=0,2,4,6
/proc/29223/stat : 29223 (priss) S 29222 29222 27798 0 -1 4202496 78407 0 0 0 88275 69 0 0 25 0 5 0 515778220 573460480 75801 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29223/statm: 140005 75801 433 389 0 135755 0
[pid=29223/tid=29225] ppid=29222 vsize=560020 CPUtime=221.16 cores=0,2,4,6
/proc/29223/task/29225/stat : 29225 (priss) R 29222 29222 27798 0 -1 4202560 17647 0 0 0 22103 13 0 0 25 0 5 0 515778221 573460480 75801 33554432000 4194304 5787044 140734284451216 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29223/tid=29226] ppid=29222 vsize=560020 CPUtime=221.14 cores=0,2,4,6
/proc/29223/task/29226/stat : 29226 (priss) R 29222 29222 27798 0 -1 4202560 18890 0 0 0 22098 16 0 0 25 0 5 0 515778221 573460480 75801 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485793461 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29223/tid=29227] ppid=29222 vsize=560020 CPUtime=221.17 cores=0,2,4,6
/proc/29223/task/29227/stat : 29227 (priss) R 29222 29222 27798 0 -1 4202560 19233 0 0 0 22099 18 0 0 25 0 5 0 515778221 573460480 75801 33554432000 4194304 5787044 140734284451216 18446744073709551615 274485793461 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29223/tid=29228] ppid=29222 vsize=560020 CPUtime=219.94 cores=0,2,4,6
/proc/29223/task/29228/stat : 29228 (priss) R 29222 29222 27798 0 -1 4202560 21045 0 0 0 21973 21 0 0 25 0 5 0 515778221 573460480 75801 33554432000 4194304 5787044 140734284451216 18446744073709551615 5527468 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 883.44
Current children cumulated vsize (KiB) 568720

Child status: 10
Real time (s): 221.223
CPU time (s): 883.498
CPU user time (s): 882.784
CPU system time (s): 0.713891
CPU usage (%): 399.369
Max. virtual memory (cumulated for all children) (KiB): 568720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 882.784
system time used= 0.713891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78777
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= 5798
involuntary context switches= 7011

runsolver used 0.365944 second user time and 0.845871 second system time

The end