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-3265023-1304068445/watcher-3265023-1304068445 -o /tmp/evaluation-result-3265023-1304068445/solver-3265023-1304068445 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3265023-1304068445.cnf 2074148920 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.06 8.05 8.02 5/182 22134
/proc/meminfo: memFree=13899396/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[startup+0.031663 s]
/proc/loadavg: 8.06 8.05 8.02 5/182 22134
/proc/meminfo: memFree=13899396/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.131642 s]
/proc/loadavg: 8.06 8.05 8.02 5/182 22134
/proc/meminfo: memFree=13899396/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.331604 s]
/proc/loadavg: 8.06 8.05 8.02 5/182 22134
/proc/meminfo: memFree=13899396/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700536 s]
/proc/loadavg: 8.06 8.05 8.02 5/182 22134
/proc/meminfo: memFree=13899396/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50039 s]
/proc/loadavg: 8.13 8.06 8.03 10/188 22140
/proc/meminfo: memFree=13876160/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=276040 CPUtime=5.96 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 7672 0 0 0 594 2 0 0 18 0 5 0 597075149 282664960 6600 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 69010 6600 405 389 0 64760 0
[pid=22135/tid=22137] ppid=22134 vsize=276040 CPUtime=1.48 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 1319 0 0 0 148 0 0 0 24 0 5 0 597075149 282664960 6600 33554432000 4194304 5787044 140737401833696 18446744073709551615 4255030 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=276040 CPUtime=1.48 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 1540 0 0 0 148 0 0 0 23 0 5 0 597075149 282664960 6600 33554432000 4194304 5787044 140737401833696 18446744073709551615 4238741 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=276040 CPUtime=1.48 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 1251 0 0 0 148 0 0 0 20 0 5 0 597075149 282664960 6600 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591640 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=276040 CPUtime=1.48 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 2043 0 0 0 148 0 0 0 23 0 5 0 597075149 282664960 6600 33554432000 4194304 5787044 140737401833696 18446744073709551615 4359266 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 284740
[startup+3.10109 s]
/proc/loadavg: 8.13 8.06 8.03 9/188 22140
/proc/meminfo: memFree=13872584/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=277292 CPUtime=12.35 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 8531 0 0 0 1233 2 0 0 18 0 5 0 597075149 283947008 7459 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 69323 7459 405 389 0 65073 0
[pid=22135/tid=22137] ppid=22134 vsize=277292 CPUtime=3.08 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 1614 0 0 0 308 0 0 0 25 0 5 0 597075149 283947008 7459 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=277292 CPUtime=3.07 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 1830 0 0 0 307 0 0 0 25 0 5 0 597075149 283947008 7459 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=277292 CPUtime=3.09 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 1525 0 0 0 308 1 0 0 25 0 5 0 597075149 283947008 7459 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=277292 CPUtime=3.08 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 2043 0 0 0 308 0 0 0 25 0 5 0 597075149 283947008 7459 33554432000 4194304 5787044 140737401833696 18446744073709551615 4359259 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 285992
[startup+6.3005 s]
/proc/loadavg: 8.20 8.08 8.03 9/188 22140
/proc/meminfo: memFree=13863048/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=278676 CPUtime=25.14 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 11493 0 0 0 2510 4 0 0 18 0 5 0 597075149 285364224 9455 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 69669 9455 419 389 0 65419 0
[pid=22135/tid=22137] ppid=22134 vsize=278676 CPUtime=6.28 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 1975 0 0 0 627 1 0 0 25 0 5 0 597075149 285364224 9455 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=278676 CPUtime=6.25 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 2086 0 0 0 625 0 0 0 25 0 5 0 597075149 285364224 9455 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591552 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=278676 CPUtime=6.28 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 1954 0 0 0 627 1 0 0 25 0 5 0 597075149 285364224 9455 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=278676 CPUtime=6.28 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 3959 0 0 0 628 0 0 0 25 0 5 0 597075149 285364224 9455 33554432000 4194304 5787044 140737401833696 18446744073709551615 5527168 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) 287376
[startup+12.7003 s]
/proc/loadavg: 8.19 8.08 8.03 10/188 22140
/proc/meminfo: memFree=13850052/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=284128 CPUtime=50.69 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 14847 0 0 0 5063 6 0 0 18 0 5 0 597075149 290947072 12809 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 71032 12809 419 389 0 66782 0
[pid=22135/tid=22137] ppid=22134 vsize=284128 CPUtime=12.68 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 2538 0 0 0 1267 1 0 0 25 0 5 0 597075149 290947072 12809 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=284128 CPUtime=12.64 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 2826 0 0 0 1263 1 0 0 25 0 5 0 597075149 290947072 12809 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=284128 CPUtime=12.68 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 3673 0 0 0 1267 1 0 0 25 0 5 0 597075149 290947072 12809 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=284128 CPUtime=12.66 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 4291 0 0 0 1265 1 0 0 25 0 5 0 597075149 290947072 12809 33554432000 4194304 5787044 140737401833696 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 292828
[startup+25.5009 s]
/proc/loadavg: 8.23 8.09 8.04 9/188 22141
/proc/meminfo: memFree=13840536/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=286504 CPUtime=101.82 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 17041 0 0 0 10174 8 0 0 18 0 5 0 597075149 293380096 15002 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 71626 15002 419 389 0 67376 0
[pid=22135/tid=22137] ppid=22134 vsize=286504 CPUtime=25.49 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 3064 0 0 0 2547 2 0 0 25 0 5 0 597075149 293380096 15002 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=286504 CPUtime=25.43 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 3377 0 0 0 2542 1 0 0 22 0 5 0 597075149 293380096 15002 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=286504 CPUtime=25.48 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 4410 0 0 0 2546 2 0 0 25 0 5 0 597075149 293380096 15002 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591521 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=286504 CPUtime=25.38 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 4671 0 0 0 2537 1 0 0 25 0 5 0 597075149 293380096 15002 33554432000 4194304 5787044 140737401833696 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 295204
[startup+51.1011 s]
/proc/loadavg: 8.14 8.08 8.04 9/188 22141
/proc/meminfo: memFree=13823148/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=292844 CPUtime=204.06 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 21271 0 0 0 20392 14 0 0 18 0 5 0 597075149 299872256 19207 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 73211 19207 419 389 0 68961 0
[pid=22135/tid=22137] ppid=22134 vsize=292844 CPUtime=51.07 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 3761 0 0 0 5105 2 0 0 25 0 5 0 597075149 299872256 19207 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=292844 CPUtime=51.03 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 5406 0 0 0 5099 4 0 0 25 0 5 0 597075149 299872256 19207 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=292844 CPUtime=51.08 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 4768 0 0 0 5106 2 0 0 25 0 5 0 597075149 299872256 19207 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=292844 CPUtime=50.85 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 5817 0 0 0 5081 4 0 0 25 0 5 0 597075149 299872256 19207 33554432000 4194304 5787044 140737401833696 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 301544
[startup+102.307 s]
/proc/loadavg: 8.15 8.10 8.04 9/188 22143
/proc/meminfo: memFree=13803664/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=300896 CPUtime=408.6 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 26398 0 0 0 40841 19 0 0 18 0 5 0 597075149 308117504 24235 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 75224 24235 419 389 0 70974 0
[pid=22135/tid=22137] ppid=22134 vsize=300896 CPUtime=102.28 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 6116 0 0 0 10224 4 0 0 25 0 5 0 597075149 308117504 24235 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=300896 CPUtime=102.23 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 6835 0 0 0 10217 6 0 0 25 0 5 0 597075149 308117504 24235 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591304 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=300896 CPUtime=102.29 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 5392 0 0 0 10226 3 0 0 25 0 5 0 597075149 308117504 24235 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=300896 CPUtime=101.77 cores=1,3,5,7
################
# More data... #
################
[pid=22135/tid=22138] ppid=22134 vsize=356160 CPUtime=942.22 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 17944 0 0 0 94201 21 0 0 25 0 5 0 597075149 364707840 58180 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591243 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=356160 CPUtime=942.29 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 12177 0 0 0 94221 8 0 0 25 0 5 0 597075149 364707840 58180 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=356160 CPUtime=937.22 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 16979 0 0 0 93708 14 0 0 25 0 5 0 597075149 364707840 58180 33554432000 4194304 5787044 140737401833696 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 364860
Solver just ended. Dumping a history of the last processes samples
[startup+972.7 s]
/proc/loadavg: 8.20 8.06 8.02 9/188 22199
/proc/meminfo: memFree=17459676/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=356160 CPUtime=3885.48 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 61946 0 0 0 388490 58 0 0 18 0 5 0 597075149 364707840 58943 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 89040 58943 419 389 0 84790 0
[pid=22135/tid=22137] ppid=22134 vsize=356160 CPUtime=972.69 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 12647 0 0 0 97256 13 0 0 25 0 5 0 597075149 364707840 58943 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=356160 CPUtime=972.62 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 17944 0 0 0 97241 21 0 0 25 0 5 0 597075149 364707840 58943 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591246 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=356160 CPUtime=972.7 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 12532 0 0 0 97261 9 0 0 25 0 5 0 597075149 364707840 58943 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=356160 CPUtime=967.44 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 17304 0 0 0 96730 14 0 0 25 0 5 0 597075149 364707840 58943 33554432000 4194304 5787044 140737401833696 18446744073709551615 5528390 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3885.48
Current children cumulated vsize (KiB) 364860
[startup+985.501 s]
/proc/loadavg: 8.16 8.06 8.01 9/188 22199
/proc/meminfo: memFree=17458416/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=356160 CPUtime=3936.63 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 62250 0 0 0 393604 59 0 0 18 0 5 0 597075149 364707840 59247 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 89040 59247 419 389 0 84790 0
[pid=22135/tid=22137] ppid=22134 vsize=356160 CPUtime=985.49 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 12663 0 0 0 98536 13 0 0 25 0 5 0 597075149 364707840 59247 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=356160 CPUtime=985.43 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 17944 0 0 0 98522 21 0 0 25 0 5 0 597075149 364707840 59247 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=356160 CPUtime=985.5 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 12651 0 0 0 98541 9 0 0 25 0 5 0 597075149 364707840 59247 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=356160 CPUtime=980.18 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 17473 0 0 0 98003 15 0 0 25 0 5 0 597075149 364707840 59247 33554432000 4194304 5787044 140737401833696 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3936.63
Current children cumulated vsize (KiB) 364860
[startup+991.901 s]
/proc/loadavg: 8.14 8.06 8.01 9/188 22199
/proc/meminfo: memFree=17457788/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=356160 CPUtime=3962.18 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 62407 0 0 0 396158 60 0 0 18 0 5 0 597075149 364707840 59404 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 89040 59404 419 389 0 84790 0
[pid=22135/tid=22137] ppid=22134 vsize=356160 CPUtime=991.89 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 12670 0 0 0 99176 13 0 0 25 0 5 0 597075149 364707840 59404 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=356160 CPUtime=991.82 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 17944 0 0 0 99161 21 0 0 25 0 5 0 597075149 364707840 59404 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=356160 CPUtime=991.89 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 12719 0 0 0 99180 9 0 0 25 0 5 0 597075149 364707840 59404 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=356160 CPUtime=986.54 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 17555 0 0 0 98639 15 0 0 25 0 5 0 597075149 364707840 59404 33554432000 4194304 5787044 140737401833696 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3962.18
Current children cumulated vsize (KiB) 364860
[startup+995.101 s]
/proc/loadavg: 8.14 8.06 8.01 9/188 22199
/proc/meminfo: memFree=17457540/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=356160 CPUtime=3974.97 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 62486 0 0 0 397437 60 0 0 18 0 5 0 597075149 364707840 59483 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 89040 59483 419 389 0 84790 0
[pid=22135/tid=22137] ppid=22134 vsize=356160 CPUtime=995.09 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 12685 0 0 0 99496 13 0 0 25 0 5 0 597075149 364707840 59483 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591246 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=356160 CPUtime=995.02 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 17944 0 0 0 99481 21 0 0 25 0 5 0 597075149 364707840 59483 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=356160 CPUtime=995.09 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 12746 0 0 0 99500 9 0 0 25 0 5 0 597075149 364707840 59483 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=356160 CPUtime=989.73 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 17592 0 0 0 98958 15 0 0 25 0 5 0 597075149 364707840 59483 33554432000 4194304 5787044 140737401833696 18446744073709551615 4254966 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3974.97
Current children cumulated vsize (KiB) 364860
[startup+996.701 s]
/proc/loadavg: 8.13 8.06 8.01 9/188 22200
/proc/meminfo: memFree=17457044/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=356160 CPUtime=3981.35 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 62529 0 0 0 398075 60 0 0 18 0 5 0 597075149 364707840 59526 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 89040 59526 419 389 0 84790 0
[pid=22135/tid=22137] ppid=22134 vsize=356160 CPUtime=996.69 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 12694 0 0 0 99656 13 0 0 25 0 5 0 597075149 364707840 59526 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=356160 CPUtime=996.62 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 17944 0 0 0 99641 21 0 0 25 0 5 0 597075149 364707840 59526 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=356160 CPUtime=996.69 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 12763 0 0 0 99660 9 0 0 25 0 5 0 597075149 364707840 59526 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=356160 CPUtime=991.31 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 17609 0 0 0 99116 15 0 0 25 0 5 0 597075149 364707840 59526 33554432000 4194304 5787044 140737401833696 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3981.35
Current children cumulated vsize (KiB) 364860
[startup+998.301 s]
/proc/loadavg: 8.13 8.06 8.01 9/188 22200
/proc/meminfo: memFree=17456796/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=356160 CPUtime=3987.74 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 62665 0 0 0 398714 60 0 0 18 0 5 0 597075149 364707840 59662 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 89040 59662 419 389 0 84790 0
[pid=22135/tid=22137] ppid=22134 vsize=356160 CPUtime=998.29 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 12766 0 0 0 99816 13 0 0 25 0 5 0 597075149 364707840 59662 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=356160 CPUtime=998.22 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 17944 0 0 0 99801 21 0 0 25 0 5 0 597075149 364707840 59662 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=356160 CPUtime=998.29 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 12811 0 0 0 99820 9 0 0 25 0 5 0 597075149 364707840 59662 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=356160 CPUtime=992.91 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 17625 0 0 0 99276 15 0 0 25 0 5 0 597075149 364707840 59662 33554432000 4194304 5787044 140737401833696 18446744073709551615 5527057 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3987.74
Current children cumulated vsize (KiB) 364860
[startup+999.1 s]
/proc/loadavg: 8.13 8.06 8.01 9/188 22200
/proc/meminfo: memFree=17456424/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=356160 CPUtime=3990.94 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 62678 0 0 0 399034 60 0 0 18 0 5 0 597075149 364707840 59675 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 89040 59675 419 389 0 84790 0
[pid=22135/tid=22137] ppid=22134 vsize=356160 CPUtime=999.09 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 12767 0 0 0 99896 13 0 0 25 0 5 0 597075149 364707840 59675 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=356160 CPUtime=999.02 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 17944 0 0 0 99881 21 0 0 25 0 5 0 597075149 364707840 59675 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=356160 CPUtime=999.09 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 12815 0 0 0 99900 9 0 0 25 0 5 0 597075149 364707840 59675 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=356160 CPUtime=993.7 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 17633 0 0 0 99355 15 0 0 25 0 5 0 597075149 364707840 59675 33554432000 4194304 5787044 140737401833696 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3990.94
Current children cumulated vsize (KiB) 364860
[startup+999.5 s]
/proc/loadavg: 8.13 8.06 8.01 9/188 22200
/proc/meminfo: memFree=17456424/32950928 swapFree=67111524/67111528
[pid=22134] ppid=22132 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22134/stat : 22134 (prissAuto.sh) S 22132 22134 20564 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 597075149 8908800 252 33554432000 4194304 4922060 140737420321808 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22134/statm: 2175 252 211 178 0 68 0
[pid=22135] ppid=22134 vsize=356160 CPUtime=3992.53 cores=1,3,5,7
/proc/22135/stat : 22135 (priss) S 22134 22134 20564 0 -1 4202496 62709 0 0 0 399192 61 0 0 18 0 5 0 597075149 364707840 59706 33554432000 4194304 5787044 140737401833696 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22135/statm: 89040 59706 433 389 0 84790 0
[pid=22135/tid=22137] ppid=22134 vsize=356160 CPUtime=999.49 cores=1,3,5,7
/proc/22135/task/22137/stat : 22137 (priss) R 22134 22134 20564 0 -1 4202560 12768 0 0 0 99936 13 0 0 25 0 5 0 597075149 364707840 59706 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22135/tid=22138] ppid=22134 vsize=356160 CPUtime=999.42 cores=1,3,5,7
/proc/22135/task/22138/stat : 22138 (priss) R 22134 22134 20564 0 -1 4202560 17944 0 0 0 99921 21 0 0 25 0 5 0 597075149 364707840 59706 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22135/tid=22139] ppid=22134 vsize=356160 CPUtime=999.49 cores=1,3,5,7
/proc/22135/task/22139/stat : 22139 (priss) R 22134 22134 20564 0 -1 4202560 12815 0 0 0 99940 9 0 0 25 0 5 0 597075149 364707840 59706 33554432000 4194304 5787044 140737401833696 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22135/tid=22140] ppid=22134 vsize=356160 CPUtime=994.09 cores=1,3,5,7
/proc/22135/task/22140/stat : 22140 (priss) R 22134 22134 20564 0 -1 4202560 17663 0 0 0 99394 15 0 0 25 0 5 0 597075149 364707840 59706 33554432000 4194304 5787044 140737401833696 18446744073709551615 256415047589 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3992.53
Current children cumulated vsize (KiB) 364860
Child status: 10
Real time (s): 999.585
CPU time (s): 3992.83
CPU user time (s): 3992.2
CPU system time (s): 0.625904
CPU usage (%): 399.449
Max. virtual memory (cumulated for all children) (KiB): 364860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3992.21
system time used= 0.625904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63082
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= 2201
involuntary context switches= 27928
runsolver used 1.3378 second user time and 4.11737 second system time
The end