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-3260844-1304057322/watcher-3260844-1304057322 -o /tmp/evaluation-result-3260844-1304057322/solver-3260844-1304057322 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3260844-1304057322.cnf 1738268208 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: 8.08 8.08 8.00 5/182 30781
/proc/meminfo: memFree=25571368/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[startup+0.0813849 s]
/proc/loadavg: 8.08 8.08 8.00 5/182 30781
/proc/meminfo: memFree=25571368/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.347422 s]
/proc/loadavg: 8.08 8.08 8.00 5/182 30781
/proc/meminfo: memFree=25571368/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.23729 s]
/proc/loadavg: 8.08 8.08 8.00 5/182 30781
/proc/meminfo: memFree=25571368/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.33728 s]
/proc/loadavg: 8.08 8.08 8.00 5/182 30781
/proc/meminfo: memFree=25571368/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.53724 s]
/proc/loadavg: 8.08 8.08 8.00 5/182 30781
/proc/meminfo: memFree=25571368/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+3.10095 s]
/proc/loadavg: 8.24 8.11 8.01 9/188 30787
/proc/meminfo: memFree=25514960/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=282348 CPUtime=12.36 cores=1,3,5,7
/proc/30782/stat : 30782 (priss) S 30781 30781 30400 0 -1 4202496 14423 0 0 0 1231 5 0 0 25 0 5 0 498148089 289124352 11156 33554432000 4194304 5787044 140735710970240 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30782/statm: 70587 11156 419 389 0 66337 0
[pid=30782/tid=30784] ppid=30781 vsize=282348 CPUtime=3.09 cores=1,3,5,7
/proc/30782/task/30784/stat : 30784 (priss) R 30781 30781 30400 0 -1 4202560 1980 0 0 0 308 1 0 0 25 0 5 0 498148090 289124352 11156 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591488 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30782/tid=30785] ppid=30781 vsize=282348 CPUtime=3.07 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 2398 0 0 0 306 1 0 0 23 0 5 0 498148090 289124352 11156 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=282348 CPUtime=3.08 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 2300 0 0 0 307 1 0 0 25 0 5 0 498148090 289124352 11156 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=282348 CPUtime=3.09 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 6196 0 0 0 308 1 0 0 25 0 5 0 498148090 289124352 11156 33554432000 4194304 5787044 140735710970240 18446744073709551615 5527024 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 291048
[startup+6.30036 s]
/proc/loadavg: 8.24 8.11 8.01 9/188 30787
/proc/meminfo: memFree=25507080/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=284540 CPUtime=25.13 cores=1,3,5,7
/proc/30782/stat : 30782 (priss) S 30781 30781 30400 0 -1 4202496 15984 0 0 0 2506 7 0 0 25 0 5 0 498148089 291368960 12717 33554432000 4194304 5787044 140735710970240 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30782/statm: 71135 12717 419 389 0 66885 0
[pid=30782/tid=30784] ppid=30781 vsize=284540 CPUtime=6.28 cores=1,3,5,7
/proc/30782/task/30784/stat : 30784 (priss) R 30781 30781 30400 0 -1 4202560 2488 0 0 0 627 1 0 0 25 0 5 0 498148090 291368960 12717 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30782/tid=30785] ppid=30781 vsize=284540 CPUtime=6.25 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 2900 0 0 0 624 1 0 0 25 0 5 0 498148090 291368960 12717 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591529 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=284540 CPUtime=6.27 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 2716 0 0 0 626 1 0 0 25 0 5 0 498148090 291368960 12717 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591289 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=284540 CPUtime=6.28 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 6331 0 0 0 627 1 0 0 25 0 5 0 498148090 291368960 12717 33554432000 4194304 5787044 140735710970240 18446744073709551615 4228052 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 293240
[startup+12.7012 s]
/proc/loadavg: 8.20 8.11 8.01 9/188 30787
/proc/meminfo: memFree=25481076/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=290712 CPUtime=50.68 cores=1,3,5,7
/proc/30782/stat : 30782 (priss) S 30781 30781 30400 0 -1 4202496 19475 0 0 0 5059 9 0 0 25 0 5 0 498148089 297689088 16208 33554432000 4194304 5787044 140735710970240 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30782/statm: 72678 16208 419 389 0 68428 0
[pid=30782/tid=30784] ppid=30781 vsize=290712 CPUtime=12.67 cores=1,3,5,7
/proc/30782/task/30784/stat : 30784 (priss) R 30781 30781 30400 0 -1 4202560 3066 0 0 0 1265 2 0 0 25 0 5 0 498148090 297689088 16208 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591760 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30782/tid=30785] ppid=30781 vsize=290712 CPUtime=12.62 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 4471 0 0 0 1260 2 0 0 25 0 5 0 498148090 297689088 16208 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=290712 CPUtime=12.68 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 3530 0 0 0 1265 3 0 0 25 0 5 0 498148090 297689088 16208 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=290712 CPUtime=12.68 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 6859 0 0 0 1267 1 0 0 25 0 5 0 498148090 297689088 16208 33554432000 4194304 5787044 140735710970240 18446744073709551615 5532613 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 299412
[startup+25.5008 s]
/proc/loadavg: 8.17 8.10 8.01 9/188 30788
/proc/meminfo: memFree=25441140/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=300256 CPUtime=101.8 cores=1,3,5,7
/proc/30782/stat : 30782 (priss) S 30781 30781 30400 0 -1 4202496 25076 0 0 0 10164 16 0 0 25 0 5 0 498148089 307462144 21805 33554432000 4194304 5787044 140735710970240 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30782/statm: 75064 21805 419 389 0 70814 0
[pid=30782/tid=30784] ppid=30781 vsize=300256 CPUtime=25.47 cores=1,3,5,7
/proc/30782/task/30784/stat : 30784 (priss) R 30781 30781 30400 0 -1 4202560 4290 0 0 0 2542 5 0 0 25 0 5 0 498148090 307462144 21805 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30782/tid=30785] ppid=30781 vsize=300256 CPUtime=25.34 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 5745 0 0 0 2531 3 0 0 25 0 5 0 498148090 307462144 21805 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=300256 CPUtime=25.47 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 4231 0 0 0 2543 4 0 0 25 0 5 0 498148090 307462144 21805 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591304 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=300256 CPUtime=25.48 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 9261 0 0 0 2545 3 0 0 25 0 5 0 498148090 307462144 21805 33554432000 4194304 5787044 140735710970240 18446744073709551615 4220912 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 308956
[startup+51.1011 s]
/proc/loadavg: 8.17 8.11 8.01 9/188 30788
/proc/meminfo: memFree=25383304/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=309468 CPUtime=204.07 cores=1,3,5,7
/proc/30782/stat : 30782 (priss) S 30781 30781 30400 0 -1 4202496 31643 0 0 0 20382 25 0 0 25 0 5 0 498148089 316895232 28276 33554432000 4194304 5787044 140735710970240 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30782/statm: 77367 28276 419 389 0 73117 0
[pid=30782/tid=30784] ppid=30781 vsize=309468 CPUtime=51.07 cores=1,3,5,7
/proc/30782/task/30784/stat : 30784 (priss) R 30781 30781 30400 0 -1 4202560 5507 0 0 0 5100 7 0 0 25 0 5 0 498148090 316895232 28276 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591246 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30782/tid=30785] ppid=30781 vsize=309468 CPUtime=50.81 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 8040 0 0 0 5077 4 0 0 25 0 5 0 498148090 316895232 28276 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591280 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=309468 CPUtime=51.07 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 6119 0 0 0 5100 7 0 0 25 0 5 0 498148090 316895232 28276 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=309468 CPUtime=51.08 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 10428 0 0 0 5103 5 0 0 25 0 5 0 498148090 316895232 28276 33554432000 4194304 5787044 140735710970240 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 318168
[startup+102.301 s]
/proc/loadavg: 8.10 8.10 8.01 9/188 30790
/proc/meminfo: memFree=25313336/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=326048 CPUtime=408.57 cores=1,3,5,7
/proc/30782/stat : 30782 (priss) S 30781 30781 30400 0 -1 4202496 41173 0 0 0 40821 36 0 0 25 0 5 0 498148089 333873152 37693 33554432000 4194304 5787044 140735710970240 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30782/statm: 81512 37693 419 389 0 77262 0
[pid=30782/tid=30784] ppid=30781 vsize=326048 CPUtime=102.26 cores=1,3,5,7
/proc/30782/task/30784/stat : 30784 (priss) R 30781 30781 30400 0 -1 4202560 7653 0 0 0 10216 10 0 0 25 0 5 0 498148090 333873152 37693 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30782/tid=30785] ppid=30781 vsize=326048 CPUtime=101.72 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 10951 0 0 0 10166 6 0 0 25 0 5 0 498148090 333873152 37693 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=326048 CPUtime=102.27 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 8635 0 0 0 10216 11 0 0 25 0 5 0 498148090 333873152 37693 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=326048 CPUtime=102.28 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 12385 0 0 0 10221 7 0 0 25 0 5 0 498148090 333873152 37693 33554432000 4194304 5787044 140735710970240 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (KiB) 334748
[startup+162.301 s]
/proc/loadavg: 8.15 8.11 8.02 9/188 30791
/proc/meminfo: memFree=25252412/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=339032 CPUtime=648.24 cores=1,3,5,7
################
# More data... #
################
[pid=30782/tid=30785] ppid=30781 vsize=525808 CPUtime=459.76 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 23176 0 0 0 45962 14 0 0 25 0 5 0 498148090 538427392 80018 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591568 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=525808 CPUtime=462.27 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 20316 0 0 0 46198 29 0 0 25 0 5 0 498148090 538427392 80018 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=525808 CPUtime=462.28 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 22277 0 0 0 46210 18 0 0 25 0 5 0 498148090 538427392 80018 33554432000 4194304 5787044 140735710970240 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1846.62
Current children cumulated vsize (KiB) 534508
[startup+522.301 s]
/proc/loadavg: 8.08 8.08 8.02 9/188 30801
/proc/meminfo: memFree=25019112/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=525808 CPUtime=2086.32 cores=1,3,5,7
/proc/30782/stat : 30782 (priss) S 30781 30781 30400 0 -1 4202496 84566 0 0 0 208545 87 0 0 25 0 5 0 498148089 538427392 80205 33554432000 4194304 5787044 140735710970240 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30782/statm: 131452 80205 419 389 0 127202 0
[pid=30782/tid=30784] ppid=30781 vsize=525808 CPUtime=522.04 cores=1,3,5,7
/proc/30782/task/30784/stat : 30784 (priss) R 30781 30781 30400 0 -1 4202560 16861 0 0 0 52181 23 0 0 25 0 5 0 498148090 538427392 80205 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30785] ppid=30781 vsize=525808 CPUtime=519.67 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 23196 0 0 0 51953 14 0 0 25 0 5 0 498148090 538427392 80205 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=525808 CPUtime=522.28 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 20659 0 0 0 52198 30 0 0 25 0 5 0 498148090 538427392 80205 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=525808 CPUtime=522.29 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 22301 0 0 0 52211 18 0 0 25 0 5 0 498148090 538427392 80205 33554432000 4194304 5787044 140735710970240 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2086.32
Current children cumulated vsize (KiB) 534508
[startup+582.301 s]
/proc/loadavg: 8.03 8.07 8.01 9/188 30802
/proc/meminfo: memFree=25005800/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=526032 CPUtime=2325.98 cores=1,3,5,7
/proc/30782/stat : 30782 (priss) S 30781 30781 30400 0 -1 4202496 85021 0 0 0 232511 87 0 0 25 0 5 0 498148089 538656768 80660 33554432000 4194304 5787044 140735710970240 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30782/statm: 131508 80660 419 389 0 127258 0
[pid=30782/tid=30784] ppid=30781 vsize=526032 CPUtime=581.71 cores=1,3,5,7
/proc/30782/task/30784/stat : 30784 (priss) R 30781 30781 30400 0 -1 4202560 16962 0 0 0 58148 23 0 0 25 0 5 0 498148090 538656768 80660 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591666 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30785] ppid=30781 vsize=526032 CPUtime=579.67 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 23292 0 0 0 57953 14 0 0 25 0 5 0 498148090 538656768 80660 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=526032 CPUtime=582.27 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 20662 0 0 0 58197 30 0 0 25 0 5 0 498148090 538656768 80660 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=526032 CPUtime=582.29 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 22556 0 0 0 58210 19 0 0 25 0 5 0 498148090 538656768 80660 33554432000 4194304 5787044 140735710970240 18446744073709551615 5527024 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2325.98
Current children cumulated vsize (KiB) 534732
Solver just ended. Dumping a history of the last processes samples
[startup+589.701 s]
/proc/loadavg: 8.02 8.06 8.01 9/188 30803
/proc/meminfo: memFree=25004184/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=526176 CPUtime=2355.53 cores=1,3,5,7
/proc/30782/stat : 30782 (priss) S 30781 30781 30400 0 -1 4202496 85203 0 0 0 235466 87 0 0 25 0 5 0 498148089 538804224 80842 33554432000 4194304 5787044 140735710970240 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30782/statm: 131544 80842 419 389 0 127294 0
[pid=30782/tid=30784] ppid=30781 vsize=526176 CPUtime=589.07 cores=1,3,5,7
/proc/30782/task/30784/stat : 30784 (priss) R 30781 30781 30400 0 -1 4202560 16983 0 0 0 58884 23 0 0 25 0 5 0 498148090 538804224 80842 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591787 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30785] ppid=30781 vsize=526176 CPUtime=587.07 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 23336 0 0 0 58693 14 0 0 25 0 5 0 498148090 538804224 80842 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=526176 CPUtime=589.67 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 20665 0 0 0 58937 30 0 0 25 0 5 0 498148090 538804224 80842 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=526176 CPUtime=589.69 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 22670 0 0 0 58950 19 0 0 25 0 5 0 498148090 538804224 80842 33554432000 4194304 5787044 140735710970240 18446744073709551615 5527449 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2355.53
Current children cumulated vsize (KiB) 534876
[startup+596.107 s]
/proc/loadavg: 8.02 8.06 8.01 9/188 30803
/proc/meminfo: memFree=25002448/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=526432 CPUtime=2381.12 cores=1,3,5,7
/proc/30782/stat : 30782 (priss) S 30781 30781 30400 0 -1 4202496 85502 0 0 0 238025 87 0 0 25 0 5 0 498148089 539066368 81141 33554432000 4194304 5787044 140735710970240 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30782/statm: 131608 81141 419 389 0 127358 0
[pid=30782/tid=30784] ppid=30781 vsize=526432 CPUtime=595.44 cores=1,3,5,7
/proc/30782/task/30784/stat : 30784 (priss) R 30781 30781 30400 0 -1 4202560 17040 0 0 0 59521 23 0 0 25 0 5 0 498148090 539066368 81141 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30785] ppid=30781 vsize=526432 CPUtime=593.47 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 23380 0 0 0 59333 14 0 0 25 0 5 0 498148090 539066368 81141 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=526432 CPUtime=596.08 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 20667 0 0 0 59578 30 0 0 25 0 5 0 498148090 539066368 81141 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=526432 CPUtime=596.09 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 22866 0 0 0 59590 19 0 0 25 0 5 0 498148090 539066368 81141 33554432000 4194304 5787044 140735710970240 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2381.12
Current children cumulated vsize (KiB) 535132
[startup+597.701 s]
/proc/loadavg: 8.02 8.06 8.01 9/188 30803
/proc/meminfo: memFree=25001828/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=526688 CPUtime=2387.5 cores=1,3,5,7
/proc/30782/stat : 30782 (priss) S 30781 30781 30400 0 -1 4202496 85605 0 0 0 238662 88 0 0 25 0 5 0 498148089 539328512 81244 33554432000 4194304 5787044 140735710970240 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30782/statm: 131672 81244 419 389 0 127422 0
[pid=30782/tid=30784] ppid=30781 vsize=526688 CPUtime=597.03 cores=1,3,5,7
/proc/30782/task/30784/stat : 30784 (priss) R 30781 30781 30400 0 -1 4202560 17063 0 0 0 59680 23 0 0 25 0 5 0 498148090 539328512 81244 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30785] ppid=30781 vsize=526688 CPUtime=595.07 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 23403 0 0 0 59493 14 0 0 25 0 5 0 498148090 539328512 81244 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=526688 CPUtime=597.67 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 20670 0 0 0 59737 30 0 0 25 0 5 0 498148090 539328512 81244 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=526688 CPUtime=597.69 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 22920 0 0 0 59750 19 0 0 25 0 5 0 498148090 539328512 81244 33554432000 4194304 5787044 140735710970240 18446744073709551615 5528398 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2387.5
Current children cumulated vsize (KiB) 535388
[startup+598.501 s]
/proc/loadavg: 8.02 8.06 8.01 9/188 30803
/proc/meminfo: memFree=25001208/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=526688 CPUtime=2390.69 cores=1,3,5,7
/proc/30782/stat : 30782 (priss) S 30781 30781 30400 0 -1 4202496 85636 0 0 0 238981 88 0 0 25 0 5 0 498148089 539328512 81275 33554432000 4194304 5787044 140735710970240 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30782/statm: 131672 81275 419 389 0 127422 0
[pid=30782/tid=30784] ppid=30781 vsize=526688 CPUtime=597.82 cores=1,3,5,7
/proc/30782/task/30784/stat : 30784 (priss) R 30781 30781 30400 0 -1 4202560 17069 0 0 0 59759 23 0 0 25 0 5 0 498148090 539328512 81275 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30785] ppid=30781 vsize=526688 CPUtime=595.87 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 23405 0 0 0 59573 14 0 0 25 0 5 0 498148090 539328512 81275 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=526688 CPUtime=598.47 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 20670 0 0 0 59817 30 0 0 25 0 5 0 498148090 539328512 81275 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591764 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=526688 CPUtime=598.49 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 22943 0 0 0 59830 19 0 0 25 0 5 0 498148090 539328512 81275 33554432000 4194304 5787044 140735710970240 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2390.69
Current children cumulated vsize (KiB) 535388
[startup+599.301 s]
/proc/loadavg: 8.02 8.06 8.01 9/188 30803
/proc/meminfo: memFree=25001084/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=526688 CPUtime=2393.91 cores=1,3,5,7
/proc/30782/stat : 30782 (priss) S 30781 30781 30400 0 -1 4202496 85662 0 0 0 239303 88 0 0 25 0 5 0 498148089 539328512 81301 33554432000 4194304 5787044 140735710970240 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30782/statm: 131672 81301 419 389 0 127422 0
[pid=30782/tid=30784] ppid=30781 vsize=526688 CPUtime=598.62 cores=1,3,5,7
/proc/30782/task/30784/stat : 30784 (priss) R 30781 30781 30400 0 -1 4202560 17072 0 0 0 59839 23 0 0 25 0 5 0 498148090 539328512 81301 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30785] ppid=30781 vsize=526688 CPUtime=596.67 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 23406 0 0 0 59653 14 0 0 25 0 5 0 498148090 539328512 81301 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=526688 CPUtime=599.28 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 20671 0 0 0 59898 30 0 0 25 0 5 0 498148090 539328512 81301 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=526688 CPUtime=599.29 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 22964 0 0 0 59910 19 0 0 25 0 5 0 498148090 539328512 81301 33554432000 4194304 5787044 140735710970240 18446744073709551615 5527168 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2393.91
Current children cumulated vsize (KiB) 535388
[startup+599.501 s]
/proc/loadavg: 8.02 8.06 8.01 9/188 30803
/proc/meminfo: memFree=25001084/32951124 swapFree=67111524/67111528
[pid=30781] ppid=30779 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30781/stat : 30781 (priss.sh) S 30779 30781 30400 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 498148089 8908800 251 33554432000 4194304 4922060 140733225597600 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30781/statm: 2175 251 211 178 0 68 0
[pid=30782] ppid=30781 vsize=526688 CPUtime=2394.68 cores=1,3,5,7
/proc/30782/stat : 30782 (priss) S 30781 30781 30400 0 -1 4202496 85698 0 0 0 239380 88 0 0 25 0 5 0 498148089 539328512 81337 33554432000 4194304 5787044 140735710970240 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30782/statm: 131672 81337 433 389 0 127422 0
[pid=30782/tid=30784] ppid=30781 vsize=526688 CPUtime=598.82 cores=1,3,5,7
/proc/30782/task/30784/stat : 30784 (priss) R 30781 30781 30400 0 -1 4202560 17086 0 0 0 59859 23 0 0 25 0 5 0 498148090 539328512 81337 33554432000 4194304 5787044 140735710970240 18446744073709551615 4768896 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30782/tid=30785] ppid=30781 vsize=526688 CPUtime=596.87 cores=1,3,5,7
/proc/30782/task/30785/stat : 30785 (priss) R 30781 30781 30400 0 -1 4202560 23407 0 0 0 59673 14 0 0 25 0 5 0 498148090 539328512 81337 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30782/tid=30786] ppid=30781 vsize=526688 CPUtime=599.47 cores=1,3,5,7
/proc/30782/task/30786/stat : 30786 (priss) R 30781 30781 30400 0 -1 4202560 20671 0 0 0 59917 30 0 0 25 0 5 0 498148090 539328512 81337 33554432000 4194304 5787044 140735710970240 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30782/tid=30787] ppid=30781 vsize=526688 CPUtime=599.48 cores=1,3,5,7
/proc/30782/task/30787/stat : 30787 (priss) R 30781 30781 30400 0 -1 4202560 22985 0 0 0 59929 19 0 0 25 0 5 0 498148090 539328512 81337 33554432000 4194304 5787044 140735710970240 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2394.68
Current children cumulated vsize (KiB) 535388
Child status: 10
Real time (s): 599.596
CPU time (s): 2395.02
CPU user time (s): 2394.12
CPU system time (s): 0.898863
CPU usage (%): 399.439
Max. virtual memory (cumulated for all children) (KiB): 535388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.12
system time used= 0.898863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86070
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= 4679
involuntary context switches= 16502
runsolver used 0.806877 second user time and 2.46663 second system time
The end