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-3257280-1304042562/watcher-3257280-1304042562 -o /tmp/evaluation-result-3257280-1304042562/solver-3257280-1304042562 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3257280-1304042562.cnf 86449682 4800 15500 4 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.94 8.04 7.79 6/182 15903
/proc/meminfo: memFree=16584744/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0

[startup+0.104413 s]
/proc/loadavg: 7.94 8.04 7.79 6/182 15903
/proc/meminfo: memFree=16584744/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.911307 s]
/proc/loadavg: 7.94 8.04 7.79 6/182 15903
/proc/meminfo: memFree=16584744/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.01129 s]
/proc/loadavg: 7.94 8.04 7.79 6/182 15903
/proc/meminfo: memFree=16584744/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.11127 s]
/proc/loadavg: 7.94 8.04 7.79 6/182 15903
/proc/meminfo: memFree=16584744/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5002 s]
/proc/loadavg: 7.94 8.04 7.79 6/182 15903
/proc/meminfo: memFree=16584744/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+3.10091 s]
/proc/loadavg: 7.94 8.04 7.79 9/188 15909
/proc/meminfo: memFree=16545528/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=283320 CPUtime=12.34 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) S 15903 15903 15086 0 -1 4202496 12193 0 0 0 1229 5 0 0 20 0 5 0 594486753 290119680 10390 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 70830 10390 405 389 0 66580 0
[pid=15904/tid=15906] ppid=15903 vsize=283320 CPUtime=3.07 cores=1,3,5,7
/proc/15904/task/15906/stat : 15906 (priss) R 15903 15903 15086 0 -1 4202560 2337 0 0 0 305 2 0 0 25 0 5 0 594486754 290119680 10390 33554432000 4194304 5787044 140733963876016 18446744073709551615 4220902 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15904/tid=15907] ppid=15903 vsize=283320 CPUtime=3.08 cores=1,3,5,7
/proc/15904/task/15907/stat : 15907 (priss) R 15903 15903 15086 0 -1 4202560 3495 0 0 0 307 1 0 0 25 0 5 0 594486754 290119680 10390 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15904/tid=15908] ppid=15903 vsize=283320 CPUtime=3.08 cores=1,3,5,7
/proc/15904/task/15908/stat : 15908 (priss) R 15903 15903 15086 0 -1 4202560 2485 0 0 0 307 1 0 0 25 0 5 0 594486754 290119680 10390 33554432000 4194304 5787044 140733963876016 18446744073709551615 4215354 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15904/tid=15909] ppid=15903 vsize=283320 CPUtime=3.08 cores=1,3,5,7
/proc/15904/task/15909/stat : 15909 (priss) R 15903 15903 15086 0 -1 4202560 2298 0 0 0 308 0 0 0 25 0 5 0 594486754 290119680 10390 33554432000 4194304 5787044 140733963876016 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 292020

[startup+6.30632 s]
/proc/loadavg: 7.94 8.04 7.79 9/188 15909
/proc/meminfo: memFree=16533672/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=288152 CPUtime=25.14 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) S 15903 15903 15086 0 -1 4202496 15812 0 0 0 2507 7 0 0 20 0 5 0 594486753 295067648 13031 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 72038 13031 419 389 0 67788 0
[pid=15904/tid=15906] ppid=15903 vsize=288152 CPUtime=6.25 cores=1,3,5,7
/proc/15904/task/15906/stat : 15906 (priss) R 15903 15903 15086 0 -1 4202560 2918 0 0 0 623 2 0 0 25 0 5 0 594486754 295067648 13031 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15904/tid=15907] ppid=15903 vsize=288152 CPUtime=6.29 cores=1,3,5,7
/proc/15904/task/15907/stat : 15907 (priss) R 15903 15903 15086 0 -1 4202560 3916 0 0 0 627 2 0 0 25 0 5 0 594486754 295067648 13031 33554432000 4194304 5787044 140733963876016 18446744073709551615 4213707 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15904/tid=15908] ppid=15903 vsize=288152 CPUtime=6.28 cores=1,3,5,7
/proc/15904/task/15908/stat : 15908 (priss) R 15903 15903 15086 0 -1 4202560 2842 0 0 0 627 1 0 0 25 0 5 0 594486754 295067648 13031 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15904/tid=15909] ppid=15903 vsize=288152 CPUtime=6.29 cores=1,3,5,7
/proc/15904/task/15909/stat : 15909 (priss) R 15903 15903 15086 0 -1 4202560 4558 0 0 0 628 1 0 0 25 0 5 0 594486754 295067648 13031 33554432000 4194304 5787044 140733963876016 18446744073709551615 260020501023 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 296852

[startup+12.7011 s]
/proc/loadavg: 7.94 8.04 7.79 9/188 15909
/proc/meminfo: memFree=16511368/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=298168 CPUtime=50.69 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) S 15903 15903 15086 0 -1 4202496 21900 0 0 0 5056 13 0 0 20 0 5 0 594486753 305324032 19119 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 74542 19119 419 389 0 70292 0
[pid=15904/tid=15906] ppid=15903 vsize=298168 CPUtime=12.61 cores=1,3,5,7
/proc/15904/task/15906/stat : 15906 (priss) R 15903 15903 15086 0 -1 4202560 4159 0 0 0 1258 3 0 0 25 0 5 0 594486754 305324032 19119 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15904/tid=15907] ppid=15903 vsize=298168 CPUtime=12.68 cores=1,3,5,7
/proc/15904/task/15907/stat : 15907 (priss) R 15903 15903 15086 0 -1 4202560 6035 0 0 0 1264 4 0 0 25 0 5 0 594486754 305324032 19119 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15904/tid=15908] ppid=15903 vsize=298168 CPUtime=12.67 cores=1,3,5,7
/proc/15904/task/15908/stat : 15908 (priss) R 15903 15903 15086 0 -1 4202560 4133 0 0 0 1265 2 0 0 25 0 5 0 594486754 305324032 19119 33554432000 4194304 5787044 140733963876016 18446744073709551615 5585240 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15904/tid=15909] ppid=15903 vsize=298168 CPUtime=12.68 cores=1,3,5,7
/proc/15904/task/15909/stat : 15909 (priss) R 15903 15903 15086 0 -1 4202560 5995 0 0 0 1266 2 0 0 25 0 5 0 594486754 305324032 19119 33554432000 4194304 5787044 140733963876016 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 306868

[startup+25.5008 s]
/proc/loadavg: 7.96 8.04 7.79 9/188 15910
/proc/meminfo: memFree=16484748/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=303184 CPUtime=101.81 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) S 15903 15903 15086 0 -1 4202496 27137 0 0 0 10161 20 0 0 20 0 5 0 594486753 310460416 24353 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 75796 24353 419 389 0 71546 0
[pid=15904/tid=15906] ppid=15903 vsize=303184 CPUtime=25.34 cores=1,3,5,7
/proc/15904/task/15906/stat : 15906 (priss) R 15903 15903 15086 0 -1 4202560 5301 0 0 0 2529 5 0 0 25 0 5 0 594486754 310460416 24353 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15904/tid=15907] ppid=15903 vsize=303184 CPUtime=25.48 cores=1,3,5,7
/proc/15904/task/15907/stat : 15907 (priss) R 15903 15903 15086 0 -1 4202560 7456 0 0 0 2542 6 0 0 25 0 5 0 594486754 310460416 24353 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591031 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15904/tid=15908] ppid=15903 vsize=303184 CPUtime=25.47 cores=1,3,5,7
/proc/15904/task/15908/stat : 15908 (priss) R 15903 15903 15086 0 -1 4202560 5384 0 0 0 2543 4 0 0 25 0 5 0 594486754 310460416 24353 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15904/tid=15909] ppid=15903 vsize=303184 CPUtime=25.48 cores=1,3,5,7
/proc/15904/task/15909/stat : 15909 (priss) R 15903 15903 15086 0 -1 4202560 7418 0 0 0 2544 4 0 0 25 0 5 0 594486754 310460416 24353 33554432000 4194304 5787044 140733963876016 18446744073709551615 5527227 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 311884

[startup+51.1011 s]
/proc/loadavg: 8.03 8.05 7.80 9/188 15910
/proc/meminfo: memFree=16447772/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=315504 CPUtime=204.06 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) S 15903 15903 15086 0 -1 4202496 35363 0 0 0 20376 30 0 0 20 0 5 0 594486753 323076096 32576 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 78876 32576 419 389 0 74626 0
[pid=15904/tid=15906] ppid=15903 vsize=315504 CPUtime=50.8 cores=1,3,5,7
/proc/15904/task/15906/stat : 15906 (priss) R 15903 15903 15086 0 -1 4202560 8133 0 0 0 5072 8 0 0 25 0 5 0 594486754 323076096 32576 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15904/tid=15907] ppid=15903 vsize=315504 CPUtime=51.08 cores=1,3,5,7
/proc/15904/task/15907/stat : 15907 (priss) R 15903 15903 15086 0 -1 4202560 8767 0 0 0 5101 7 0 0 25 0 5 0 594486754 323076096 32576 33554432000 4194304 5787044 140733963876016 18446744073709551615 4220143 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15904/tid=15908] ppid=15903 vsize=315504 CPUtime=51.07 cores=1,3,5,7
/proc/15904/task/15908/stat : 15908 (priss) R 15903 15903 15086 0 -1 4202560 7104 0 0 0 5101 6 0 0 25 0 5 0 594486754 323076096 32576 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591727 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15904/tid=15909] ppid=15903 vsize=315504 CPUtime=51.07 cores=1,3,5,7
/proc/15904/task/15909/stat : 15909 (priss) R 15903 15903 15086 0 -1 4202560 9781 0 0 0 5099 8 0 0 25 0 5 0 594486754 323076096 32576 33554432000 4194304 5787044 140733963876016 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 324204

[startup+102.301 s]
/proc/loadavg: 8.01 8.04 7.81 9/188 15912
/proc/meminfo: memFree=16368016/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=336156 CPUtime=408.57 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) S 15903 15903 15086 0 -1 4202496 51868 0 0 0 40806 51 0 0 20 0 5 0 594486753 344223744 48998 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 84039 48998 419 389 0 79789 0
[pid=15904/tid=15906] ppid=15903 vsize=336156 CPUtime=101.71 cores=1,3,5,7
/proc/15904/task/15906/stat : 15906 (priss) R 15903 15903 15086 0 -1 4202560 12683 0 0 0 10157 14 0 0 25 0 5 0 594486754 344223744 48998 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15904/tid=15907] ppid=15903 vsize=336156 CPUtime=102.27 cores=1,3,5,7
/proc/15904/task/15907/stat : 15907 (priss) R 15903 15903 15086 0 -1 4202560 13705 0 0 0 10213 14 0 0 25 0 5 0 594486754 344223744 48998 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15904/tid=15908] ppid=15903 vsize=336156 CPUtime=102.26 cores=1,3,5,7
/proc/15904/task/15908/stat : 15908 (priss) R 15903 15903 15086 0 -1 4202560 9207 0 0 0 10217 9 0 0 25 0 5 0 594486754 344223744 48998 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15904/tid=15909] ppid=15903 vsize=336156 CPUtime=102.26 cores=1,3,5,7
/proc/15904/task/15909/stat : 15909 (priss) R 15903 15903 15086 0 -1 4202560 14695 0 0 0 10215 11 0 0 25 0 5 0 594486754 344223744 48998 33554432000 4194304 5787044 140733963876016 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) 344856

[startup+162.301 s]
/proc/loadavg: 8.08 8.05 7.83 9/188 15913
/proc/meminfo: memFree=16330908/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=345136 CPUtime=648.23 cores=1,3,5,7

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

[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=609584 CPUtime=1846.57 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) S 15903 15903 15086 0 -1 4202496 111855 0 0 0 184526 131 0 0 20 0 5 0 594486753 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 152396 108308 419 389 0 148146 0
[pid=15904/tid=15906] ppid=15903 vsize=609584 CPUtime=459.75 cores=1,3,5,7
/proc/15904/task/15906/stat : 15906 (priss) R 15903 15903 15086 0 -1 4202560 27887 0 0 0 45942 33 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15904/tid=15907] ppid=15903 vsize=609584 CPUtime=462.27 cores=1,3,5,7
/proc/15904/task/15907/stat : 15907 (priss) R 15903 15903 15086 0 -1 4202560 28496 0 0 0 46191 36 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15904/tid=15908] ppid=15903 vsize=609584 CPUtime=462.26 cores=1,3,5,7
/proc/15904/task/15908/stat : 15908 (priss) R 15903 15903 15086 0 -1 4202560 22746 0 0 0 46195 31 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591328 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15904/tid=15909] ppid=15903 vsize=609584 CPUtime=462.26 cores=1,3,5,7
/proc/15904/task/15909/stat : 15909 (priss) R 15903 15903 15086 0 -1 4202560 31148 0 0 0 46196 30 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1846.57
Current children cumulated vsize (KiB) 618284

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

[startup+474.301 s]
/proc/loadavg: 8.14 8.10 7.91 9/188 15922
/proc/meminfo: memFree=16081872/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=609584 CPUtime=1894.51 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) S 15903 15903 15086 0 -1 4202496 111855 0 0 0 189320 131 0 0 20 0 5 0 594486753 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 152396 108308 419 389 0 148146 0
[pid=15904/tid=15906] ppid=15903 vsize=609584 CPUtime=471.69 cores=1,3,5,7
/proc/15904/task/15906/stat : 15906 (priss) R 15903 15903 15086 0 -1 4202560 27887 0 0 0 47136 33 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15904/tid=15907] ppid=15903 vsize=609584 CPUtime=474.27 cores=1,3,5,7
/proc/15904/task/15907/stat : 15907 (priss) R 15903 15903 15086 0 -1 4202560 28496 0 0 0 47391 36 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15904/tid=15908] ppid=15903 vsize=609584 CPUtime=474.26 cores=1,3,5,7
/proc/15904/task/15908/stat : 15908 (priss) R 15903 15903 15086 0 -1 4202560 22746 0 0 0 47395 31 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591719 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15904/tid=15909] ppid=15903 vsize=609584 CPUtime=474.26 cores=1,3,5,7
/proc/15904/task/15909/stat : 15909 (priss) R 15903 15903 15086 0 -1 4202560 31148 0 0 0 47396 30 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5527037 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1894.51
Current children cumulated vsize (KiB) 618284

[startup+487.101 s]
/proc/loadavg: 8.20 8.12 7.91 9/188 15922
/proc/meminfo: memFree=16079388/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=609584 CPUtime=1945.65 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) S 15903 15903 15086 0 -1 4202496 111855 0 0 0 194433 132 0 0 20 0 5 0 594486753 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 152396 108308 419 389 0 148146 0
[pid=15904/tid=15906] ppid=15903 vsize=609584 CPUtime=484.41 cores=1,3,5,7
/proc/15904/task/15906/stat : 15906 (priss) R 15903 15903 15086 0 -1 4202560 27887 0 0 0 48408 33 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591246 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15904/tid=15907] ppid=15903 vsize=609584 CPUtime=487.07 cores=1,3,5,7
/proc/15904/task/15907/stat : 15907 (priss) R 15903 15903 15086 0 -1 4202560 28496 0 0 0 48671 36 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591741 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15904/tid=15908] ppid=15903 vsize=609584 CPUtime=487.06 cores=1,3,5,7
/proc/15904/task/15908/stat : 15908 (priss) R 15903 15903 15086 0 -1 4202560 22746 0 0 0 48675 31 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15904/tid=15909] ppid=15903 vsize=609584 CPUtime=487.06 cores=1,3,5,7
/proc/15904/task/15909/stat : 15909 (priss) R 15903 15903 15086 0 -1 4202560 31148 0 0 0 48676 30 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1945.65
Current children cumulated vsize (KiB) 618284

[startup+493.501 s]
/proc/loadavg: 8.17 8.11 7.91 9/188 15922
/proc/meminfo: memFree=16078024/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=609584 CPUtime=1971.24 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) S 15903 15903 15086 0 -1 4202496 111855 0 0 0 196992 132 0 0 20 0 5 0 594486753 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 152396 108308 419 389 0 148146 0
[pid=15904/tid=15906] ppid=15903 vsize=609584 CPUtime=490.78 cores=1,3,5,7
/proc/15904/task/15906/stat : 15906 (priss) R 15903 15903 15086 0 -1 4202560 27887 0 0 0 49045 33 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15904/tid=15907] ppid=15903 vsize=609584 CPUtime=493.48 cores=1,3,5,7
/proc/15904/task/15907/stat : 15907 (priss) R 15903 15903 15086 0 -1 4202560 28496 0 0 0 49312 36 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15904/tid=15908] ppid=15903 vsize=609584 CPUtime=493.46 cores=1,3,5,7
/proc/15904/task/15908/stat : 15908 (priss) R 15903 15903 15086 0 -1 4202560 22746 0 0 0 49315 31 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5586888 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15904/tid=15909] ppid=15903 vsize=609584 CPUtime=493.47 cores=1,3,5,7
/proc/15904/task/15909/stat : 15909 (priss) R 15903 15903 15086 0 -1 4202560 31148 0 0 0 49317 30 0 0 25 0 5 0 594486754 624214016 108308 33554432000 4194304 5787044 140733963876016 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1971.24
Current children cumulated vsize (KiB) 618284

[startup+496.701 s]
/proc/loadavg: 8.17 8.11 7.91 9/188 15922
/proc/meminfo: memFree=16077648/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=609584 CPUtime=1984 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) S 15903 15903 15086 0 -1 4202496 111867 0 0 0 198268 132 0 0 20 0 5 0 594486753 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 152396 108320 419 389 0 148146 0
[pid=15904/tid=15906] ppid=15903 vsize=609584 CPUtime=493.97 cores=1,3,5,7
/proc/15904/task/15906/stat : 15906 (priss) R 15903 15903 15086 0 -1 4202560 27888 0 0 0 49364 33 0 0 25 0 5 0 594486754 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15904/tid=15907] ppid=15903 vsize=609584 CPUtime=496.67 cores=1,3,5,7
/proc/15904/task/15907/stat : 15907 (priss) R 15903 15903 15086 0 -1 4202560 28507 0 0 0 49631 36 0 0 25 0 5 0 594486754 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15904/tid=15908] ppid=15903 vsize=609584 CPUtime=496.66 cores=1,3,5,7
/proc/15904/task/15908/stat : 15908 (priss) R 15903 15903 15086 0 -1 4202560 22746 0 0 0 49635 31 0 0 25 0 5 0 594486754 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15904/tid=15909] ppid=15903 vsize=609584 CPUtime=496.66 cores=1,3,5,7
/proc/15904/task/15909/stat : 15909 (priss) R 15903 15903 15086 0 -1 4202560 31148 0 0 0 49636 30 0 0 25 0 5 0 594486754 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1984
Current children cumulated vsize (KiB) 618284

[startup+497.501 s]
/proc/loadavg: 8.17 8.11 7.91 9/188 15922
/proc/meminfo: memFree=16077524/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=609584 CPUtime=1987.2 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) S 15903 15903 15086 0 -1 4202496 111867 0 0 0 198588 132 0 0 20 0 5 0 594486753 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 152396 108320 419 389 0 148146 0
[pid=15904/tid=15906] ppid=15903 vsize=609584 CPUtime=494.76 cores=1,3,5,7
/proc/15904/task/15906/stat : 15906 (priss) R 15903 15903 15086 0 -1 4202560 27888 0 0 0 49443 33 0 0 25 0 5 0 594486754 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15904/tid=15907] ppid=15903 vsize=609584 CPUtime=497.47 cores=1,3,5,7
/proc/15904/task/15907/stat : 15907 (priss) R 15903 15903 15086 0 -1 4202560 28507 0 0 0 49711 36 0 0 25 0 5 0 594486754 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15904/tid=15908] ppid=15903 vsize=609584 CPUtime=497.46 cores=1,3,5,7
/proc/15904/task/15908/stat : 15908 (priss) R 15903 15903 15086 0 -1 4202560 22746 0 0 0 49715 31 0 0 25 0 5 0 594486754 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 5590540 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15904/tid=15909] ppid=15903 vsize=609584 CPUtime=497.46 cores=1,3,5,7
/proc/15904/task/15909/stat : 15909 (priss) R 15903 15903 15086 0 -1 4202560 31148 0 0 0 49716 30 0 0 25 0 5 0 594486754 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 5528408 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1987.2
Current children cumulated vsize (KiB) 618284

[startup+498.301 s]
/proc/loadavg: 8.17 8.11 7.91 9/188 15922
/proc/meminfo: memFree=16077384/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=609584 CPUtime=1990.39 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) S 15903 15903 15086 0 -1 4202496 111867 0 0 0 198907 132 0 0 20 0 5 0 594486753 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 152396 108320 419 389 0 148146 0
[pid=15904/tid=15906] ppid=15903 vsize=609584 CPUtime=495.55 cores=1,3,5,7
/proc/15904/task/15906/stat : 15906 (priss) R 15903 15903 15086 0 -1 4202560 27888 0 0 0 49522 33 0 0 25 0 5 0 594486754 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15904/tid=15907] ppid=15903 vsize=609584 CPUtime=498.27 cores=1,3,5,7
/proc/15904/task/15907/stat : 15907 (priss) R 15903 15903 15086 0 -1 4202560 28507 0 0 0 49791 36 0 0 25 0 5 0 594486754 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15904/tid=15908] ppid=15903 vsize=609584 CPUtime=498.26 cores=1,3,5,7
/proc/15904/task/15908/stat : 15908 (priss) R 15903 15903 15086 0 -1 4202560 22746 0 0 0 49795 31 0 0 25 0 5 0 594486754 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15904/tid=15909] ppid=15903 vsize=609584 CPUtime=498.26 cores=1,3,5,7
/proc/15904/task/15909/stat : 15909 (priss) R 15903 15903 15086 0 -1 4202560 31148 0 0 0 49796 30 0 0 25 0 5 0 594486754 624214016 108320 33554432000 4194304 5787044 140733963876016 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1990.39
Current children cumulated vsize (KiB) 618284

[startup+498.501 s]
/proc/loadavg: 8.17 8.11 7.91 9/188 15922
/proc/meminfo: memFree=16077384/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=609584 CPUtime=1991.18 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) S 15903 15903 15086 0 -1 4202496 111891 0 0 0 198986 132 0 0 20 0 5 0 594486753 624214016 108344 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 152396 108344 433 389 0 148146 0
[pid=15904/tid=15906] ppid=15903 vsize=609584 CPUtime=495.75 cores=1,3,5,7
/proc/15904/task/15906/stat : 15906 (priss) R 15903 15903 15086 0 -1 4202560 27888 0 0 0 49542 33 0 0 25 0 5 0 594486754 624214016 108344 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591197 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15904/tid=15907] ppid=15903 vsize=609584 CPUtime=498.47 cores=1,3,5,7
/proc/15904/task/15907/stat : 15907 (priss) R 15903 15903 15086 0 -1 4202560 28507 0 0 0 49811 36 0 0 25 0 5 0 594486754 624214016 108344 33554432000 4194304 5787044 140733963876016 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15904/tid=15908] ppid=15903 vsize=609584 CPUtime=498.46 cores=1,3,5,7
/proc/15904/task/15908/stat : 15908 (priss) R 15903 15903 15086 0 -1 4202560 22746 0 0 0 49815 31 0 0 25 0 5 0 594486754 624214016 108344 33554432000 4194304 5787044 140733963876016 18446744073709551615 260020501023 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15904/tid=15909] ppid=15903 vsize=609584 CPUtime=498.46 cores=1,3,5,7
/proc/15904/task/15909/stat : 15909 (priss) R 15903 15903 15086 0 -1 4202560 31172 0 0 0 49816 30 0 0 17 0 5 0 594486754 624214016 108344 33554432000 4194304 5787044 140733963876016 18446744073709551615 260032221877 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1991.18
Current children cumulated vsize (KiB) 618284

[startup+498.601 s]
/proc/loadavg: 8.17 8.11 7.91 9/188 15922
/proc/meminfo: memFree=16077384/32951124 swapFree=67111528/67111528
[pid=15903] ppid=15901 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15903/stat : 15903 (priss.sh) S 15901 15903 15086 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 594486753 8908800 252 33554432000 4194304 4922060 140737062862448 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15903/statm: 2175 252 211 178 0 68 0
[pid=15904] ppid=15903 vsize=0 CPUtime=1991.54 cores=1,3,5,7
/proc/15904/stat : 15904 (priss) R 15903 15903 15086 0 -1 4202500 111925 0 0 0 199017 137 0 0 17 0 1 0 594486753 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15904/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1991.54
Current children cumulated vsize (KiB) 8700

Child status: 10
Real time (s): 498.61
CPU time (s): 1991.56
CPU user time (s): 1990.17
CPU system time (s): 1.38479
CPU usage (%): 399.421
Max. virtual memory (cumulated for all children) (KiB): 618284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1990.17
system time used= 1.38479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112264
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= 6304
involuntary context switches= 14027

runsolver used 0.742887 second user time and 1.9787 second system time

The end