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-3292194-1304070817/watcher-3292194-1304070817 -o /tmp/evaluation-result-3292194-1304070817/solver-3292194-1304070817 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3292194-1304070817.cnf 1136701111 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.00 8.05 8.01 5/182 20319
/proc/meminfo: memFree=24126772/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[startup+0.0724621 s]
/proc/loadavg: 8.00 8.05 8.01 5/182 20319
/proc/meminfo: memFree=24126772/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100444 s]
/proc/loadavg: 8.00 8.05 8.01 5/182 20319
/proc/meminfo: memFree=24126772/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300378 s]
/proc/loadavg: 8.00 8.05 8.01 5/182 20319
/proc/meminfo: memFree=24126772/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700306 s]
/proc/loadavg: 8.00 8.05 8.01 5/182 20319
/proc/meminfo: memFree=24126772/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50116 s]
/proc/loadavg: 8.00 8.05 8.01 9/188 20325
/proc/meminfo: memFree=24065220/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=305064 CPUtime=5.73 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 16907 0 0 0 570 3 0 0 20 0 5 0 499498007 312385536 15336 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 76266 15336 350 389 0 72016 0
[pid=20320/tid=20322] ppid=20319 vsize=305064 CPUtime=1.42 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 2195 0 0 0 142 0 0 0 20 0 5 0 499498013 312385536 15336 33554432000 4194304 5787044 140736437136928 18446744073709551615 18446744073699065918 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=305064 CPUtime=1.4 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 2219 0 0 0 140 0 0 0 19 0 5 0 499498015 312385536 15336 33554432000 4194304 5787044 140736437136928 18446744073709551615 4336171 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=305064 CPUtime=1.38 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 1561 0 0 0 138 0 0 0 25 0 5 0 499498017 312385536 15336 33554432000 4194304 5787044 140736437136928 18446744073709551615 4336823 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=305064 CPUtime=1.37 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 1086 0 0 0 137 0 0 0 25 0 5 0 499498019 312385536 15336 33554432000 4194304 5787044 140736437136928 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (KiB) 313764
[startup+3.10088 s]
/proc/loadavg: 8.00 8.05 8.01 9/188 20325
/proc/meminfo: memFree=24064480/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=306912 CPUtime=12.12 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 19319 0 0 0 1209 3 0 0 20 0 5 0 499498007 314277888 17748 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 76728 17748 352 389 0 72478 0
[pid=20320/tid=20322] ppid=20319 vsize=306912 CPUtime=3.02 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 2873 0 0 0 302 0 0 0 25 0 5 0 499498013 314277888 17748 33554432000 4194304 5787044 140736437136928 18446744073709551615 4336581 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=306912 CPUtime=3 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 2675 0 0 0 300 0 0 0 25 0 5 0 499498015 314277888 17748 33554432000 4194304 5787044 140736437136928 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=306912 CPUtime=2.97 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 1897 0 0 0 297 0 0 0 25 0 5 0 499498017 314277888 17748 33554432000 4194304 5787044 140736437136928 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=306912 CPUtime=2.97 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 2028 0 0 0 297 0 0 0 25 0 5 0 499498019 314277888 17748 33554432000 4194304 5787044 140736437136928 18446744073709551615 18446744073699065939 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 315612
[startup+6.3003 s]
/proc/loadavg: 8.00 8.05 8.01 9/188 20325
/proc/meminfo: memFree=24028308/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=325436 CPUtime=24.9 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 29531 0 0 0 2484 6 0 0 20 0 5 0 499498007 333246464 24407 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 81359 24407 405 389 0 77109 0
[pid=20320/tid=20322] ppid=20319 vsize=325436 CPUtime=6.22 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 5743 0 0 0 621 1 0 0 25 0 5 0 499498013 333246464 24407 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=325436 CPUtime=6.21 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 6399 0 0 0 619 2 0 0 25 0 5 0 499498015 333246464 24407 33554432000 4194304 5787044 140736437136928 18446744073709551615 5576446 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=325436 CPUtime=6.16 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 4420 0 0 0 615 1 0 0 25 0 5 0 499498017 333246464 24407 33554432000 4194304 5787044 140736437136928 18446744073709551615 4255024 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=325436 CPUtime=6.17 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 3123 0 0 0 617 0 0 0 25 0 5 0 499498019 333246464 24407 33554432000 4194304 5787044 140736437136928 18446744073709551615 4359259 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 334136
[startup+12.7012 s]
/proc/loadavg: 8.00 8.05 8.01 9/188 20325
/proc/meminfo: memFree=24019688/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=327008 CPUtime=50.47 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 31617 0 0 0 5039 8 0 0 20 0 5 0 499498007 334856192 26493 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 81752 26493 405 389 0 77502 0
[pid=20320/tid=20322] ppid=20319 vsize=327008 CPUtime=12.62 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 6101 0 0 0 1261 1 0 0 25 0 5 0 499498013 334856192 26493 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=327008 CPUtime=12.61 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 7329 0 0 0 1258 3 0 0 25 0 5 0 499498015 334856192 26493 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=327008 CPUtime=12.51 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 5218 0 0 0 1250 1 0 0 25 0 5 0 499498017 334856192 26493 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=327008 CPUtime=12.57 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 3123 0 0 0 1257 0 0 0 25 0 5 0 499498019 334856192 26493 33554432000 4194304 5787044 140736437136928 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 335708
[startup+25.5009 s]
/proc/loadavg: 8.00 8.04 8.00 9/188 20325
/proc/meminfo: memFree=23995400/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=330288 CPUtime=101.58 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 36832 0 0 0 10142 16 0 0 20 0 5 0 499498007 338214912 31003 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 82572 31003 419 389 0 78322 0
[pid=20320/tid=20322] ppid=20319 vsize=330288 CPUtime=25.41 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 6987 0 0 0 2538 3 0 0 25 0 5 0 499498013 338214912 31003 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591999 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=330288 CPUtime=25.4 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 8422 0 0 0 2535 5 0 0 25 0 5 0 499498015 338214912 31003 33554432000 4194304 5787044 140736437136928 18446744073709551615 5590295 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=330288 CPUtime=25.24 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 6311 0 0 0 2521 3 0 0 25 0 5 0 499498017 338214912 31003 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=330288 CPUtime=25.37 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 5266 0 0 0 2535 2 0 0 25 0 5 0 499498019 338214912 31003 33554432000 4194304 5787044 140736437136928 18446744073709551615 212039055884 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 338988
[startup+51.1003 s]
/proc/loadavg: 8.00 8.04 8.00 9/188 20326
/proc/meminfo: memFree=23947028/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=344784 CPUtime=203.82 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 47079 0 0 0 20349 33 0 0 20 0 5 0 499498007 353058816 41179 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 86196 41179 419 389 0 81946 0
[pid=20320/tid=20322] ppid=20319 vsize=344784 CPUtime=51 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 9618 0 0 0 5094 6 0 0 25 0 5 0 499498013 353058816 41179 33554432000 4194304 5787044 140736437136928 18446744073709551615 5592012 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=344784 CPUtime=51 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 9902 0 0 0 5090 10 0 0 25 0 5 0 499498015 353058816 41179 33554432000 4194304 5787044 140736437136928 18446744073709551615 5590783 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=344784 CPUtime=50.71 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 8932 0 0 0 5062 9 0 0 25 0 5 0 499498017 353058816 41179 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591747 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=344784 CPUtime=50.97 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 8781 0 0 0 5091 6 0 0 25 0 5 0 499498019 353058816 41179 33554432000 4194304 5787044 140736437136928 18446744073709551615 4219855 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 353484
[startup+102.307 s]
/proc/loadavg: 8.09 8.06 8.01 9/188 20327
/proc/meminfo: memFree=23881636/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=367300 CPUtime=408.33 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 61751 0 0 0 40778 55 0 0 20 0 5 0 499498007 376115200 55657 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 91825 55657 419 389 0 87575 0
[pid=20320/tid=20322] ppid=20319 vsize=367300 CPUtime=102.2 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 13354 0 0 0 10209 11 0 0 25 0 5 0 499498013 376115200 55657 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=367300 CPUtime=102.19 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 12808 0 0 0 10205 14 0 0 25 0 5 0 499498015 376115200 55657 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591780 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=367300 CPUtime=101.62 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 13905 0 0 0 10146 16 0 0 25 0 5 0 499498017 376115200 55657 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=367300 CPUtime=102.16 cores=1,3,5,7
################
# More data... #
################
[pid=20320/tid=20323] ppid=20319 vsize=708480 CPUtime=822.14 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 35053 0 0 0 82170 44 0 0 25 0 5 0 499498015 725483520 148859 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=708480 CPUtime=821.26 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 42413 0 0 0 82069 57 0 0 25 0 5 0 499498017 725483520 148859 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=708480 CPUtime=822.11 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 31699 0 0 0 82169 42 0 0 25 0 5 0 499498019 725483520 148859 33554432000 4194304 5787044 140736437136928 18446744073709551615 5527568 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.2
Current children cumulated vsize (KiB) 717180
[startup+882.301 s]
/proc/loadavg: 8.09 8.09 8.03 9/188 20390
/proc/meminfo: memFree=23340180/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=713588 CPUtime=3523.86 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 160112 0 0 0 352192 194 0 0 20 0 5 0 499498007 730714112 152451 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 178397 152451 419 389 0 174147 0
[pid=20320/tid=20322] ppid=20319 vsize=713588 CPUtime=878.21 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 38849 0 0 0 87776 45 0 0 25 0 5 0 499498013 730714112 152451 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=713588 CPUtime=882.14 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 35340 0 0 0 88170 44 0 0 25 0 5 0 499498015 730714112 152451 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=713588 CPUtime=881.27 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 42574 0 0 0 88069 58 0 0 25 0 5 0 499498017 730714112 152451 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=713588 CPUtime=882.11 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 33503 0 0 0 88165 46 0 0 25 0 5 0 499498019 730714112 152451 33554432000 4194304 5787044 140736437136928 18446744073709551615 5528412 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3523.86
Current children cumulated vsize (KiB) 722288
Solver just ended. Dumping a history of the last processes samples
[startup+895.9 s]
/proc/loadavg: 8.07 8.08 8.03 9/188 20391
/proc/meminfo: memFree=23329884/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=713996 CPUtime=3578.19 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 161335 0 0 0 357622 197 0 0 20 0 5 0 499498007 731131904 153674 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 178499 153674 419 389 0 174249 0
[pid=20320/tid=20322] ppid=20319 vsize=713996 CPUtime=891.73 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 38941 0 0 0 89128 45 0 0 25 0 5 0 499498013 731131904 153674 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=713996 CPUtime=895.74 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 35465 0 0 0 89530 44 0 0 25 0 5 0 499498015 731131904 153674 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591592 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=713996 CPUtime=894.87 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 42941 0 0 0 89428 59 0 0 25 0 5 0 499498017 731131904 153674 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=713996 CPUtime=895.71 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 34142 0 0 0 89524 47 0 0 25 0 5 0 499498019 731131904 153674 33554432000 4194304 5787044 140736437136928 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3578.19
Current children cumulated vsize (KiB) 722696
[startup+902.301 s]
/proc/loadavg: 8.14 8.10 8.03 9/188 20391
/proc/meminfo: memFree=23315252/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=719152 CPUtime=3603.76 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 162837 0 0 0 360177 199 0 0 20 0 5 0 499498007 736411648 155176 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 179788 155176 419 389 0 175538 0
[pid=20320/tid=20322] ppid=20319 vsize=719152 CPUtime=898.1 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 38972 0 0 0 89765 45 0 0 25 0 5 0 499498013 736411648 155176 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591532 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=719152 CPUtime=902.14 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 35748 0 0 0 90170 44 0 0 25 0 5 0 499498015 736411648 155176 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=719152 CPUtime=901.26 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 43766 0 0 0 90067 59 0 0 25 0 5 0 499498017 736411648 155176 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=719152 CPUtime=902.11 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 34505 0 0 0 90163 48 0 0 25 0 5 0 499498019 736411648 155176 33554432000 4194304 5787044 140736437136928 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3603.76
Current children cumulated vsize (KiB) 727852
[startup+908.701 s]
/proc/loadavg: 8.12 8.10 8.03 10/188 20423
/proc/meminfo: memFree=23757512/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=724460 CPUtime=3629.33 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 164798 0 0 0 362732 201 0 0 20 0 5 0 499498007 741847040 157137 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 181115 157137 419 389 0 176865 0
[pid=20320/tid=20322] ppid=20319 vsize=724460 CPUtime=904.46 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 38978 0 0 0 90401 45 0 0 25 0 5 0 499498013 741847040 157137 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=724460 CPUtime=908.53 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 36023 0 0 0 90809 44 0 0 25 0 5 0 499498015 741847040 157137 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=724460 CPUtime=907.66 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 44139 0 0 0 90706 60 0 0 25 0 5 0 499498017 741847040 157137 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=724460 CPUtime=908.51 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 35812 0 0 0 90802 49 0 0 25 0 5 0 499498019 741847040 157137 33554432000 4194304 5787044 140736437136928 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3629.33
Current children cumulated vsize (KiB) 733160
[startup+910.301 s]
/proc/loadavg: 8.12 8.10 8.03 9/188 20423
/proc/meminfo: memFree=23756632/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=724724 CPUtime=3635.72 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 165058 0 0 0 363371 201 0 0 20 0 5 0 499498007 742117376 157397 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 181181 157397 419 389 0 176931 0
[pid=20320/tid=20322] ppid=20319 vsize=724724 CPUtime=906.05 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 38982 0 0 0 90560 45 0 0 25 0 5 0 499498013 742117376 157397 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=724724 CPUtime=910.13 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 36104 0 0 0 90969 44 0 0 25 0 5 0 499498015 742117376 157397 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=724724 CPUtime=909.26 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 44241 0 0 0 90866 60 0 0 25 0 5 0 499498017 742117376 157397 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=724724 CPUtime=910.11 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 35885 0 0 0 90962 49 0 0 25 0 5 0 499498019 742117376 157397 33554432000 4194304 5787044 140736437136928 18446744073709551615 5527227 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3635.72
Current children cumulated vsize (KiB) 733424
[startup+911.907 s]
/proc/loadavg: 8.11 8.09 8.03 9/188 20423
/proc/meminfo: memFree=23755264/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=725120 CPUtime=3642.13 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 165312 0 0 0 364012 201 0 0 20 0 5 0 499498007 742522880 157651 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 181280 157651 419 389 0 177030 0
[pid=20320/tid=20322] ppid=20319 vsize=725120 CPUtime=907.65 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 38984 0 0 0 90720 45 0 0 25 0 5 0 499498013 742522880 157651 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=725120 CPUtime=911.74 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 36189 0 0 0 91130 44 0 0 25 0 5 0 499498015 742522880 157651 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591564 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=725120 CPUtime=910.87 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 44332 0 0 0 91027 60 0 0 25 0 5 0 499498017 742522880 157651 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591760 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=725120 CPUtime=911.72 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 35961 0 0 0 91123 49 0 0 25 0 5 0 499498019 742522880 157651 33554432000 4194304 5787044 140736437136928 18446744073709551615 4217171 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3642.13
Current children cumulated vsize (KiB) 733820
[startup+912.7 s]
/proc/loadavg: 8.11 8.09 8.03 9/188 20423
/proc/meminfo: memFree=23755264/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=725252 CPUtime=3645.3 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 165444 0 0 0 364329 201 0 0 20 0 5 0 499498007 742658048 157783 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 181313 157783 419 389 0 177063 0
[pid=20320/tid=20322] ppid=20319 vsize=725252 CPUtime=908.44 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 38985 0 0 0 90799 45 0 0 25 0 5 0 499498013 742658048 157783 33554432000 4194304 5787044 140736437136928 18446744073709551615 5590319 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=725252 CPUtime=912.53 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 36237 0 0 0 91209 44 0 0 25 0 5 0 499498015 742658048 157783 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=725252 CPUtime=911.66 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 44377 0 0 0 91106 60 0 0 25 0 5 0 499498017 742658048 157783 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=725252 CPUtime=912.51 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 35999 0 0 0 91202 49 0 0 25 0 5 0 499498019 742658048 157783 33554432000 4194304 5787044 140736437136928 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3645.3
Current children cumulated vsize (KiB) 733952
[startup+913.1 s]
/proc/loadavg: 8.11 8.09 8.03 9/188 20423
/proc/meminfo: memFree=23754396/32951124 swapFree=67111524/67111528
[pid=20319] ppid=20317 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20319/stat : 20319 (prissAuto.sh) S 20317 20319 17192 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 499498007 8908800 252 33554432000 4194304 4922060 140735432794896 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20319/statm: 2175 252 211 178 0 68 0
[pid=20320] ppid=20319 vsize=725252 CPUtime=3646.88 cores=1,3,5,7
/proc/20320/stat : 20320 (priss) S 20319 20319 17192 0 -1 4202496 165489 0 0 0 364487 201 0 0 20 0 5 0 499498007 742658048 157828 33554432000 4194304 5787044 140736437136928 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/20320/statm: 181313 157828 433 389 0 177063 0
[pid=20320/tid=20322] ppid=20319 vsize=725252 CPUtime=908.82 cores=1,3,5,7
/proc/20320/task/20322/stat : 20322 (priss) R 20319 20319 17192 0 -1 4202560 38999 0 0 0 90837 45 0 0 25 0 5 0 499498013 742658048 157828 33554432000 4194304 5787044 140736437136928 18446744073709551615 4768771 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20320/tid=20323] ppid=20319 vsize=725252 CPUtime=912.93 cores=1,3,5,7
/proc/20320/task/20323/stat : 20323 (priss) R 20319 20319 17192 0 -1 4202560 36246 0 0 0 91249 44 0 0 25 0 5 0 499498015 742658048 157828 33554432000 4194304 5787044 140736437136928 18446744073709551615 212039314164 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20320/tid=20324] ppid=20319 vsize=725252 CPUtime=912.06 cores=1,3,5,7
/proc/20320/task/20324/stat : 20324 (priss) R 20319 20319 17192 0 -1 4202560 44388 0 0 0 91146 60 0 0 25 0 5 0 499498017 742658048 157828 33554432000 4194304 5787044 140736437136928 18446744073709551615 5591197 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20320/tid=20325] ppid=20319 vsize=725252 CPUtime=912.91 cores=1,3,5,7
/proc/20320/task/20325/stat : 20325 (priss) R 20319 20319 17192 0 -1 4202560 36010 0 0 0 91242 49 0 0 25 0 5 0 499498019 742658048 157828 33554432000 4194304 5787044 140736437136928 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3646.88
Current children cumulated vsize (KiB) 733952
Child status: 10
Real time (s): 913.149
CPU time (s): 3646.99
CPU user time (s): 3644.94
CPU system time (s): 2.04869
CPU usage (%): 399.386
Max. virtual memory (cumulated for all children) (KiB): 733952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3644.94
system time used= 2.04869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165862
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= 13131
involuntary context switches= 24407
runsolver used 1.26481 second user time and 3.72243 second system time
The end