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

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

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


[startup+0 s]
/proc/loadavg: 8.10 8.09 8.02 5/182 20363
/proc/meminfo: memFree=23964072/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0

[startup+0.066565 s]
/proc/loadavg: 8.10 8.09 8.02 5/182 20363
/proc/meminfo: memFree=23964072/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100682 s]
/proc/loadavg: 8.10 8.09 8.02 5/182 20363
/proc/meminfo: memFree=23964072/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.953339 s]
/proc/loadavg: 8.10 8.09 8.02 5/182 20363
/proc/meminfo: memFree=23964072/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.00033 s]
/proc/loadavg: 8.10 8.09 8.02 5/182 20363
/proc/meminfo: memFree=23964072/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50024 s]
/proc/loadavg: 8.10 8.09 8.02 5/182 20363
/proc/meminfo: memFree=23964072/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+3.10096 s]
/proc/loadavg: 8.18 8.10 8.03 10/188 20369
/proc/meminfo: memFree=23887028/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=306852 CPUtime=12.06 cores=0,2,4,6
/proc/20364/stat : 20364 (priss) S 20363 20363 17192 0 -1 4202496 21173 0 0 0 1201 5 0 0 18 0 5 0 499539136 314216448 19329 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20364/statm: 76713 19329 352 389 0 72463 0
[pid=20364/tid=20366] ppid=20363 vsize=306852 CPUtime=3.01 cores=0,2,4,6
/proc/20364/task/20366/stat : 20366 (priss) R 20363 20363 17192 0 -1 4202560 3297 0 0 0 300 1 0 0 25 0 5 0 499539143 314216448 19329 33554432000 4194304 5787044 140736095921248 18446744073709551615 212039352926 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20364/tid=20367] ppid=20363 vsize=306852 CPUtime=2.97 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 3013 0 0 0 296 1 0 0 25 0 5 0 499539145 314216448 19329 33554432000 4194304 5787044 140736095921248 18446744073709551615 4336131 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=306852 CPUtime=2.97 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 1639 0 0 0 297 0 0 0 24 0 5 0 499539148 314216448 19329 33554432000 4194304 5787044 140736095921248 18446744073709551615 4336823 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=306852 CPUtime=2.95 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 2275 0 0 0 295 0 0 0 18 0 5 0 499539150 314216448 19329 33554432000 4194304 5787044 140736095921248 18446744073709551615 4336773 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 315552

[startup+6.30038 s]
/proc/loadavg: 8.16 8.10 8.02 9/188 20369
/proc/meminfo: memFree=23860668/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=324900 CPUtime=24.83 cores=0,2,4,6
/proc/20364/stat : 20364 (priss) S 20363 20363 17192 0 -1 4202496 28118 0 0 0 2477 6 0 0 18 0 5 0 499539136 332697600 25922 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20364/statm: 81225 25922 405 389 0 76975 0
[pid=20364/tid=20366] ppid=20363 vsize=324900 CPUtime=6.21 cores=0,2,4,6
/proc/20364/task/20366/stat : 20366 (priss) R 20363 20363 17192 0 -1 4202560 5590 0 0 0 619 2 0 0 25 0 5 0 499539143 332697600 25922 33554432000 4194304 5787044 140736095921248 18446744073709551615 5585240 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20364/tid=20367] ppid=20363 vsize=324900 CPUtime=6.15 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 4449 0 0 0 614 1 0 0 25 0 5 0 499539145 332697600 25922 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=324900 CPUtime=6.17 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 2728 0 0 0 617 0 0 0 25 0 5 0 499539148 332697600 25922 33554432000 4194304 5787044 140736095921248 18446744073709551615 5576473 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=324900 CPUtime=6.15 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 4402 0 0 0 615 0 0 0 25 0 5 0 499539150 332697600 25922 33554432000 4194304 5787044 140736095921248 18446744073709551615 4359259 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.83
Current children cumulated vsize (KiB) 333600

[startup+12.7012 s]
/proc/loadavg: 8.15 8.10 8.02 9/188 20369
/proc/meminfo: memFree=23855232/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=325720 CPUtime=50.43 cores=0,2,4,6
/proc/20364/stat : 20364 (priss) S 20363 20363 17192 0 -1 4202496 29367 0 0 0 5035 8 0 0 18 0 5 0 499539136 333537280 27171 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20364/statm: 81430 27171 405 389 0 77180 0
[pid=20364/tid=20366] ppid=20363 vsize=325720 CPUtime=12.62 cores=0,2,4,6
/proc/20364/task/20366/stat : 20366 (priss) R 20363 20363 17192 0 -1 4202560 5641 0 0 0 1260 2 0 0 25 0 5 0 499539143 333537280 27171 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20364/tid=20367] ppid=20363 vsize=325720 CPUtime=12.53 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 4953 0 0 0 1251 2 0 0 25 0 5 0 499539145 333537280 27171 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591019 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=325720 CPUtime=12.58 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 3422 0 0 0 1257 1 0 0 25 0 5 0 499539148 333537280 27171 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591547 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=325720 CPUtime=12.55 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 4402 0 0 0 1255 0 0 0 25 0 5 0 499539150 333537280 27171 33554432000 4194304 5787044 140736095921248 18446744073709551615 4359259 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 334420

[startup+25.501 s]
/proc/loadavg: 8.12 8.10 8.02 9/188 20369
/proc/meminfo: memFree=23831276/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=331108 CPUtime=101.52 cores=0,2,4,6
/proc/20364/stat : 20364 (priss) S 20363 20363 17192 0 -1 4202496 36558 0 0 0 10138 14 0 0 18 0 5 0 499539136 339054592 33180 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20364/statm: 82777 33180 419 389 0 78527 0
[pid=20364/tid=20366] ppid=20363 vsize=331108 CPUtime=25.4 cores=0,2,4,6
/proc/20364/task/20366/stat : 20366 (priss) R 20363 20363 17192 0 -1 4202560 6471 0 0 0 2538 2 0 0 25 0 5 0 499539143 339054592 33180 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20364/tid=20367] ppid=20363 vsize=331108 CPUtime=25.25 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 5971 0 0 0 2521 4 0 0 25 0 5 0 499539145 339054592 33180 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591776 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=331108 CPUtime=25.36 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 5373 0 0 0 2533 3 0 0 25 0 5 0 499539148 339054592 33180 33554432000 4194304 5787044 140736095921248 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=331108 CPUtime=25.34 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 7794 0 0 0 2533 1 0 0 25 0 5 0 499539150 339054592 33180 33554432000 4194304 5787044 140736095921248 18446744073709551615 5527607 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 339808

[startup+51.1004 s]
/proc/loadavg: 8.15 8.10 8.03 9/188 20379
/proc/meminfo: memFree=23790524/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=344360 CPUtime=203.74 cores=0,2,4,6
/proc/20364/stat : 20364 (priss) S 20363 20363 17192 0 -1 4202496 45247 0 0 0 20351 23 0 0 18 0 5 0 499539136 352624640 41821 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20364/statm: 86090 41821 419 389 0 81840 0
[pid=20364/tid=20366] ppid=20363 vsize=344360 CPUtime=50.98 cores=0,2,4,6
/proc/20364/task/20366/stat : 20366 (priss) R 20363 20363 17192 0 -1 4202560 8381 0 0 0 5094 4 0 0 25 0 5 0 499539143 352624640 41821 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051481269 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20364/tid=20367] ppid=20363 vsize=344360 CPUtime=50.7 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 8397 0 0 0 5064 6 0 0 25 0 5 0 499539145 352624640 41821 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=344360 CPUtime=50.95 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 7767 0 0 0 5089 6 0 0 25 0 5 0 499539148 352624640 41821 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=344360 CPUtime=50.94 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 9753 0 0 0 5090 4 0 0 25 0 5 0 499539150 352624640 41821 33554432000 4194304 5787044 140736095921248 18446744073709551615 5524571 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.74
Current children cumulated vsize (KiB) 353060

[startup+102.301 s]
/proc/loadavg: 8.13 8.10 8.03 9/188 20380
/proc/meminfo: memFree=23688440/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=372376 CPUtime=408.22 cores=0,2,4,6
/proc/20364/stat : 20364 (priss) S 20363 20363 17192 0 -1 4202496 62416 0 0 0 40781 41 0 0 18 0 5 0 499539136 381313024 58756 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20364/statm: 93094 58756 419 389 0 88844 0
[pid=20364/tid=20366] ppid=20363 vsize=372376 CPUtime=102.18 cores=0,2,4,6
/proc/20364/task/20366/stat : 20366 (priss) R 20363 20363 17192 0 -1 4202560 13300 0 0 0 10209 9 0 0 25 0 5 0 499539143 381313024 58756 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20364/tid=20367] ppid=20363 vsize=372376 CPUtime=101.61 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 11979 0 0 0 10151 10 0 0 25 0 5 0 499539145 381313024 58756 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=372376 CPUtime=102.14 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 13291 0 0 0 10203 11 0 0 25 0 5 0 499539148 381313024 58756 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=372376 CPUtime=102.13 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 12897 0 0 0 10206 7 0 0 21 0 5 0 499539150 381313024 58756 33554432000 4194304 5787044 140736095921248 18446744073709551615 5527392 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.22
Current children cumulated vsize (KiB) 381076

[startup+162.301 s]
/proc/loadavg: 8.12 8.09 8.03 9/188 20382
/proc/meminfo: memFree=23579408/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=391476 CPUtime=647.87 cores=0,2,4,6

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

[pid=20364/tid=20367] ppid=20363 vsize=644504 CPUtime=459.61 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 26340 0 0 0 45937 24 0 0 25 0 5 0 499539145 659972096 111443 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=644504 CPUtime=462.11 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 26235 0 0 0 46183 28 0 0 25 0 5 0 499539148 659972096 111443 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591539 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=644504 CPUtime=462.06 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 24435 0 0 0 46187 19 0 0 25 0 5 0 499539150 659972096 111443 33554432000 4194304 5787044 140736095921248 18446744073709551615 5527024 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1846.09
Current children cumulated vsize (KiB) 653204

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

[startup+474.201 s]
/proc/loadavg: 8.09 8.09 8.03 9/188 20390
/proc/meminfo: memFree=23338444/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=649012 CPUtime=1893.62 cores=0,2,4,6
/proc/20364/stat : 20364 (priss) S 20363 20363 17192 0 -1 4202496 118119 0 0 0 189260 102 0 0 18 0 5 0 499539136 664588288 113582 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20364/statm: 162253 113582 419 389 0 158003 0
[pid=20364/tid=20366] ppid=20363 vsize=649012 CPUtime=474.04 cores=0,2,4,6
/proc/20364/task/20366/stat : 20366 (priss) R 20363 20363 17192 0 -1 4202560 28080 0 0 0 47379 25 0 0 25 0 5 0 499539143 664588288 113582 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20364/tid=20367] ppid=20363 vsize=649012 CPUtime=471.44 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 27451 0 0 0 47120 24 0 0 25 0 5 0 499539145 664588288 113582 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=649012 CPUtime=474.01 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 27134 0 0 0 47371 30 0 0 25 0 5 0 499539148 664588288 113582 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=649012 CPUtime=473.96 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 24505 0 0 0 47377 19 0 0 25 0 5 0 499539150 664588288 113582 33554432000 4194304 5787044 140736095921248 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1893.62
Current children cumulated vsize (KiB) 657712

[startup+480.601 s]
/proc/loadavg: 8.07 8.08 8.03 9/188 20390
/proc/meminfo: memFree=23333604/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=649148 CPUtime=1919.18 cores=0,2,4,6
/proc/20364/stat : 20364 (priss) S 20363 20363 17192 0 -1 4202496 118740 0 0 0 191815 103 0 0 18 0 5 0 499539136 664727552 114203 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20364/statm: 162287 114203 419 389 0 158037 0
[pid=20364/tid=20366] ppid=20363 vsize=649148 CPUtime=480.44 cores=0,2,4,6
/proc/20364/task/20366/stat : 20366 (priss) R 20363 20363 17192 0 -1 4202560 28112 0 0 0 48019 25 0 0 25 0 5 0 499539143 664727552 114203 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20364/tid=20367] ppid=20363 vsize=649148 CPUtime=477.81 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 27464 0 0 0 47757 24 0 0 25 0 5 0 499539145 664727552 114203 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=649148 CPUtime=480.41 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 27662 0 0 0 48010 31 0 0 25 0 5 0 499539148 664727552 114203 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=649148 CPUtime=480.36 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 24553 0 0 0 48017 19 0 0 25 0 5 0 499539150 664727552 114203 33554432000 4194304 5787044 140736095921248 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1919.18
Current children cumulated vsize (KiB) 657848

[startup+487.001 s]
/proc/loadavg: 8.15 8.10 8.03 9/188 20391
/proc/meminfo: memFree=23326412/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=650472 CPUtime=1944.74 cores=0,2,4,6
/proc/20364/stat : 20364 (priss) S 20363 20363 17192 0 -1 4202496 119714 0 0 0 194370 104 0 0 18 0 5 0 499539136 666083328 115177 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20364/statm: 162618 115177 419 389 0 158368 0
[pid=20364/tid=20366] ppid=20363 vsize=650472 CPUtime=486.84 cores=0,2,4,6
/proc/20364/task/20366/stat : 20366 (priss) R 20363 20363 17192 0 -1 4202560 28149 0 0 0 48659 25 0 0 25 0 5 0 499539143 666083328 115177 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20364/tid=20367] ppid=20363 vsize=650472 CPUtime=484.17 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 27521 0 0 0 48393 24 0 0 25 0 5 0 499539145 666083328 115177 33554432000 4194304 5787044 140736095921248 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=650472 CPUtime=486.81 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 28211 0 0 0 48649 32 0 0 25 0 5 0 499539148 666083328 115177 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=650472 CPUtime=486.75 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 24884 0 0 0 48656 19 0 0 25 0 5 0 499539150 666083328 115177 33554432000 4194304 5787044 140736095921248 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1944.74
Current children cumulated vsize (KiB) 659172

[startup+488.601 s]
/proc/loadavg: 8.15 8.10 8.03 9/188 20391
/proc/meminfo: memFree=23324800/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=650868 CPUtime=1951.14 cores=0,2,4,6
/proc/20364/stat : 20364 (priss) S 20363 20363 17192 0 -1 4202496 119983 0 0 0 195010 104 0 0 18 0 5 0 499539136 666488832 115446 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20364/statm: 162717 115446 419 389 0 158467 0
[pid=20364/tid=20366] ppid=20363 vsize=650868 CPUtime=488.44 cores=0,2,4,6
/proc/20364/task/20366/stat : 20366 (priss) R 20363 20363 17192 0 -1 4202560 28164 0 0 0 48819 25 0 0 25 0 5 0 499539143 666488832 115446 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20364/tid=20367] ppid=20363 vsize=650868 CPUtime=485.76 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 27540 0 0 0 48552 24 0 0 25 0 5 0 499539145 666488832 115446 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=650868 CPUtime=488.41 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 28343 0 0 0 48809 32 0 0 25 0 5 0 499539148 666488832 115446 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591547 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=650868 CPUtime=488.36 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 24987 0 0 0 48816 20 0 0 25 0 5 0 499539150 666488832 115446 33554432000 4194304 5787044 140736095921248 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1951.14
Current children cumulated vsize (KiB) 659568

[startup+490.207 s]
/proc/loadavg: 8.15 8.10 8.03 9/188 20391
/proc/meminfo: memFree=23320088/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=655496 CPUtime=1957.55 cores=0,2,4,6
/proc/20364/stat : 20364 (priss) S 20363 20363 17192 0 -1 4202496 121229 0 0 0 195650 105 0 0 18 0 5 0 499539136 671227904 116692 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20364/statm: 163874 116692 419 389 0 159624 0
[pid=20364/tid=20366] ppid=20363 vsize=655496 CPUtime=490.04 cores=0,2,4,6
/proc/20364/task/20366/stat : 20366 (priss) R 20363 20363 17192 0 -1 4202560 29292 0 0 0 48979 25 0 0 25 0 5 0 499539143 671227904 116692 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20364/tid=20367] ppid=20363 vsize=655496 CPUtime=487.36 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 27574 0 0 0 48712 24 0 0 25 0 5 0 499539145 671227904 116692 33554432000 4194304 5787044 140736095921248 18446744073709551615 5576636 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=655496 CPUtime=490.02 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 28355 0 0 0 48970 32 0 0 25 0 5 0 499539148 671227904 116692 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=655496 CPUtime=489.96 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 25059 0 0 0 48976 20 0 0 25 0 5 0 499539150 671227904 116692 33554432000 4194304 5787044 140736095921248 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1957.55
Current children cumulated vsize (KiB) 664196

[startup+490.601 s]
/proc/loadavg: 8.15 8.10 8.03 9/188 20391
/proc/meminfo: memFree=23320088/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=655496 CPUtime=1959.12 cores=0,2,4,6
/proc/20364/stat : 20364 (priss) S 20363 20363 17192 0 -1 4202496 121298 0 0 0 195807 105 0 0 18 0 5 0 499539136 671227904 116761 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20364/statm: 163874 116761 419 389 0 159624 0
[pid=20364/tid=20366] ppid=20363 vsize=655496 CPUtime=490.44 cores=0,2,4,6
/proc/20364/task/20366/stat : 20366 (priss) R 20363 20363 17192 0 -1 4202560 29310 0 0 0 49019 25 0 0 25 0 5 0 499539143 671227904 116761 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20364/tid=20367] ppid=20363 vsize=655496 CPUtime=487.75 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 27600 0 0 0 48751 24 0 0 25 0 5 0 499539145 671227904 116761 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=655496 CPUtime=490.41 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 28363 0 0 0 49009 32 0 0 25 0 5 0 499539148 671227904 116761 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=655496 CPUtime=490.36 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 25076 0 0 0 49016 20 0 0 25 0 5 0 499539150 671227904 116761 33554432000 4194304 5787044 140736095921248 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1959.12
Current children cumulated vsize (KiB) 664196

[startup+491.001 s]
/proc/loadavg: 8.15 8.10 8.03 9/188 20391
/proc/meminfo: memFree=23320088/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=655628 CPUtime=1960.71 cores=0,2,4,6
/proc/20364/stat : 20364 (priss) S 20363 20363 17192 0 -1 4202496 121399 0 0 0 195966 105 0 0 18 0 5 0 499539136 671363072 116862 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20364/statm: 163907 116862 433 389 0 159657 0
[pid=20364/tid=20366] ppid=20363 vsize=655628 CPUtime=490.84 cores=0,2,4,6
/proc/20364/task/20366/stat : 20366 (priss) R 20363 20363 17192 0 -1 4202560 29330 0 0 0 49059 25 0 0 25 0 5 0 499539143 671363072 116862 33554432000 4194304 5787044 140736095921248 18446744073709551615 5586806 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20364/tid=20367] ppid=20363 vsize=655628 CPUtime=488.15 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 27625 0 0 0 48791 24 0 0 25 0 5 0 499539145 671363072 116862 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=655628 CPUtime=490.81 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 28366 0 0 0 49049 32 0 0 25 0 5 0 499539148 671363072 116862 33554432000 4194304 5787044 140736095921248 18446744073709551615 212039760415 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=655628 CPUtime=490.75 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 25129 0 0 0 49055 20 0 0 17 0 5 0 499539150 671363072 116862 33554432000 4194304 5787044 140736095921248 18446744073709551615 212039760415 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1960.71
Current children cumulated vsize (KiB) 664328

[startup+491.101 s]
/proc/loadavg: 8.15 8.10 8.03 9/188 20391
/proc/meminfo: memFree=23320088/32951124 swapFree=67111524/67111528
[pid=20363] ppid=20361 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20363/stat : 20363 (prissAuto.sh) S 20361 20363 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 499539136 8908800 251 33554432000 4194304 4922060 140734561442640 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20363/statm: 2175 251 211 178 0 68 0
[pid=20364] ppid=20363 vsize=648756 CPUtime=1961.11 cores=0,2,4,6
/proc/20364/stat : 20364 (priss) R 20363 20363 17192 0 -1 4202496 121405 0 0 0 196005 106 0 0 18 0 5 0 499539136 664326144 115605 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20364/statm: 162189 115605 434 389 0 157939 0
[pid=20364/tid=20366] ppid=20363 vsize=648756 CPUtime=490.94 cores=0,2,4,6
/proc/20364/task/20366/stat : 20366 (priss) R 20363 20363 17192 0 -1 4202560 29335 0 0 0 49069 25 0 0 25 0 5 0 499539143 664326144 115605 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20364/tid=20367] ppid=20363 vsize=648756 CPUtime=488.25 cores=0,2,4,6
/proc/20364/task/20367/stat : 20367 (priss) R 20363 20363 17192 0 -1 4202560 27625 0 0 0 48801 24 0 0 25 0 5 0 499539145 664326144 115605 33554432000 4194304 5787044 140736095921248 18446744073709551615 5590446 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20364/tid=20368] ppid=20363 vsize=648756 CPUtime=490.91 cores=0,2,4,6
/proc/20364/task/20368/stat : 20368 (priss) R 20363 20363 17192 0 -1 4202560 28366 0 0 0 49059 32 0 0 25 0 5 0 499539148 664326144 115605 33554432000 4194304 5787044 140736095921248 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20364/tid=20369] ppid=20363 vsize=648756 CPUtime=490.84 cores=0,2,4,6
/proc/20364/task/20369/stat : 20369 (priss) R 20363 20363 17192 0 -1 4202560 25130 0 0 0 49064 20 0 0 18 0 5 0 499539150 664326144 115605 33554432000 4194304 5787044 140736095921248 18446744073709551615 212051479407 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1961.11
Current children cumulated vsize (KiB) 657456

Child status: 10
Real time (s): 491.142
CPU time (s): 1961.21
CPU user time (s): 1960.12
CPU system time (s): 1.08783
CPU usage (%): 399.316
Max. virtual memory (cumulated for all children) (KiB): 664328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1960.12
system time used= 1.08783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121775
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= 12064
involuntary context switches= 9936

runsolver used 0.742887 second user time and 1.9407 second system time

The end