runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3458824-1307150978/watcher-3458824-1307150978 -o /tmp/evaluation-result-3458824-1307150978/solver-3458824-1307150978 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458824-1307150978.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.07 2.05 2.01 2/532 11443
/proc/meminfo: memFree=18662048/32950940 swapFree=67111364/67111528
[pid=11443] ppid=11441 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/11443/stat : 11443 (java) S 11441 11443 8697 0 -1 4202496 1177 0 0 0 0 0 0 0 25 0 2 0 905328628 27824128 906 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000395237 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/11443/statm: 6793 906 688 9 0 381 0
[pid=11443/tid=11444] ppid=11441 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11444/stat : 11444 (java) R 11441 11443 8697 0 -1 4202560 5792 0 1 0 0 0 0 0 25 0 2 0 905328629 13850947584 6608 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.095487 s]
/proc/loadavg: 2.07 2.05 2.01 2/532 11443
/proc/meminfo: memFree=18662048/32950940 swapFree=67111364/67111528
[pid=11443] ppid=11441 vsize=13622328 CPUtime=0.1 cores=1,3,5,7
/proc/11443/stat : 11443 (java) S 11441 11443 8697 0 -1 4202496 15422 0 1 0 8 2 0 0 25 0 18 0 905328628 13949263872 15089 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11443/statm: 3405582 15089 2081 9 0 3396316 0
[pid=11443/tid=11444] ppid=11441 vsize=13622328 CPUtime=0.07 cores=1,3,5,7
/proc/11443/task/11444/stat : 11444 (java) R 11441 11443 8697 0 -1 4202560 13507 0 1 0 6 1 0 0 25 0 18 0 905328629 13949263872 15089 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622328
[startup+0.105503 s]
/proc/loadavg: 2.07 2.05 2.01 2/532 11443
/proc/meminfo: memFree=18662048/32950940 swapFree=67111364/67111528
[pid=11443] ppid=11441 vsize=13622328 CPUtime=0.11 cores=1,3,5,7
/proc/11443/stat : 11443 (java) S 11441 11443 8697 0 -1 4202496 15612 0 1 0 9 2 0 0 25 0 18 0 905328628 13949263872 15279 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11443/statm: 3405582 15279 2092 9 0 3396316 0
[pid=11443/tid=11444] ppid=11441 vsize=13622328 CPUtime=0.08 cores=1,3,5,7
/proc/11443/task/11444/stat : 11444 (java) R 11441 11443 8697 0 -1 4202560 13683 0 1 0 7 1 0 0 25 0 18 0 905328629 13949263872 15281 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 47957265854371 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622328
[startup+0.300383 s]
/proc/loadavg: 2.07 2.05 2.01 2/532 11443
/proc/meminfo: memFree=18662048/32950940 swapFree=67111364/67111528
[pid=11443] ppid=11441 vsize=13626920 CPUtime=0.54 cores=1,3,5,7
/proc/11443/stat : 11443 (java) S 11441 11443 8697 0 -1 4202496 21680 0 1 0 52 2 0 0 25 0 18 0 905328628 13953966080 20435 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11443/statm: 3406730 20438 2202 9 0 3397464 0
[pid=11443/tid=11444] ppid=11441 vsize=13626920 CPUtime=0.28 cores=1,3,5,7
/proc/11443/task/11444/stat : 11444 (java) R 11441 11443 8697 0 -1 4202560 16862 0 1 0 26 2 0 0 25 0 18 0 905328629 13953966080 20438 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 46912505597010 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13626920
[startup+0.700309 s]
/proc/loadavg: 2.07 2.05 2.01 2/532 11443
/proc/meminfo: memFree=18662048/32950940 swapFree=67111364/67111528
[pid=11443] ppid=11441 vsize=13626500 CPUtime=1.12 cores=1,3,5,7
/proc/11443/stat : 11443 (java) S 11441 11443 8697 0 -1 4202496 53800 0 1 0 106 6 0 0 25 0 18 0 905328628 13953536000 51776 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11443/statm: 3406625 51779 2211 9 0 3397359 0
[pid=11443/tid=11444] ppid=11441 vsize=13626500 CPUtime=0.68 cores=1,3,5,7
/proc/11443/task/11444/stat : 11444 (java) R 11441 11443 8697 0 -1 4202560 48225 0 1 0 63 5 0 0 25 0 18 0 905328629 13953536000 51781 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 46912505581944 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 13626500
[startup+1.50117 s]
/proc/loadavg: 2.07 2.05 2.01 4/551 11462
/proc/meminfo: memFree=18458672/32950940 swapFree=67111364/67111528
[pid=11443] ppid=11441 vsize=13628156 CPUtime=2.24 cores=1,3,5,7
/proc/11443/stat : 11443 (java) S 11441 11443 8697 0 -1 4202496 55154 0 1 0 218 6 0 0 25 0 19 0 905328628 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11443/statm: 3407039 53018 2233 9 0 3397773 0
[pid=11443/tid=11444] ppid=11441 vsize=13628156 CPUtime=1.49 cores=1,3,5,7
/proc/11443/task/11444/stat : 11444 (java) R 11441 11443 8697 0 -1 4202560 49254 0 1 0 143 6 0 0 25 0 19 0 905328629 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 46912505592825 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11443/tid=11446] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11446/stat : 11446 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328631 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11447] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11447/stat : 11447 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328631 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11448] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11448/stat : 11448 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328631 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11449] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11449/stat : 11449 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328631 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11450] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11450/stat : 11450 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328631 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11451] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11451/stat : 11451 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328631 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11452] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11452/stat : 11452 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328631 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11453] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11453/stat : 11453 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328631 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11454] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11454/stat : 11454 (java) S 11441 11443 8697 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 905328632 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 0 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11455] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11455/stat : 11455 (java) S 11441 11443 8697 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905328632 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11456] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11456/stat : 11456 (java) S 11441 11443 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905328632 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11457] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11457/stat : 11457 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328634 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000416177 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11458] ppid=11441 vsize=13628156 CPUtime=0.41 cores=1,3,5,7
/proc/11443/task/11458/stat : 11458 (java) S 11441 11443 8697 0 -1 4202560 2272 0 0 0 41 0 0 0 20 0 19 0 905328634 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11459] ppid=11441 vsize=13628156 CPUtime=0.33 cores=1,3,5,7
/proc/11443/task/11459/stat : 11459 (java) S 11441 11443 8697 0 -1 4202560 2469 0 0 0 33 0 0 0 19 0 19 0 905328634 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11460] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11460/stat : 11460 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328634 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11461] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11461/stat : 11461 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905328634 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11462] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11462/stat : 11462 (java) S 11441 11443 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905328701 13955231744 53018 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 13628156
[startup+3.10089 s]
/proc/loadavg: 2.07 2.05 2.01 3/551 11462
/proc/meminfo: memFree=18431020/32950940 swapFree=67111364/67111528
[pid=11443] ppid=11441 vsize=13628156 CPUtime=3.91 cores=1,3,5,7
/proc/11443/stat : 11443 (java) S 11441 11443 8697 0 -1 4202496 62669 0 1 0 384 7 0 0 25 0 19 0 905328628 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11443/statm: 3407039 60521 2259 9 0 3397773 0
[pid=11443/tid=11444] ppid=11441 vsize=13628156 CPUtime=3 cores=1,3,5,7
/proc/11443/task/11444/stat : 11444 (java) R 11441 11443 8697 0 -1 4202560 49630 0 1 0 294 6 0 0 25 0 19 0 905328629 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 46912505823835 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11443/tid=11446] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11446/stat : 11446 (java) S 11441 11443 8697 0 -1 4202560 522 0 0 0 0 0 0 0 15 0 19 0 905328631 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11447] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11447/stat : 11447 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905328631 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11448] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11448/stat : 11448 (java) S 11441 11443 8697 0 -1 4202560 269 0 0 0 0 0 0 0 15 0 19 0 905328631 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11449] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11449/stat : 11449 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905328631 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11450] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11450/stat : 11450 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905328631 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11451] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11451/stat : 11451 (java) S 11441 11443 8697 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 905328631 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11452] ppid=11441 vsize=13628156 CPUtime=0.01 cores=1,3,5,7
/proc/11443/task/11452/stat : 11452 (java) S 11441 11443 8697 0 -1 4202560 1648 0 0 0 1 0 0 0 15 0 19 0 905328631 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11453] ppid=11441 vsize=13628156 CPUtime=0.01 cores=1,3,5,7
/proc/11443/task/11453/stat : 11453 (java) S 11441 11443 8697 0 -1 4202560 1268 0 0 0 1 0 0 0 15 0 19 0 905328631 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11454] ppid=11441 vsize=13628156 CPUtime=0.06 cores=1,3,5,7
/proc/11443/task/11454/stat : 11454 (java) S 11441 11443 8697 0 -1 4202560 3310 0 0 0 6 0 0 0 16 0 19 0 905328632 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 0 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11455] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11455/stat : 11455 (java) S 11441 11443 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905328632 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11456] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11456/stat : 11456 (java) S 11441 11443 8697 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905328632 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11457] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11457/stat : 11457 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328634 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000416177 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11458] ppid=11441 vsize=13628156 CPUtime=0.43 cores=1,3,5,7
/proc/11443/task/11458/stat : 11458 (java) S 11441 11443 8697 0 -1 4202560 2278 0 0 0 43 0 0 0 15 0 19 0 905328634 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11459] ppid=11441 vsize=13628156 CPUtime=0.36 cores=1,3,5,7
/proc/11443/task/11459/stat : 11459 (java) S 11441 11443 8697 0 -1 4202560 2478 0 0 0 36 0 0 0 16 0 19 0 905328634 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11460] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11460/stat : 11460 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328634 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11461] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11461/stat : 11461 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905328634 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11462] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11462/stat : 11462 (java) S 11441 11443 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905328701 13955231744 60521 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 13628156
[startup+6.30133 s]
/proc/loadavg: 2.06 2.05 2.01 3/551 11462
/proc/meminfo: memFree=18422464/32950940 swapFree=67111364/67111528
[pid=11443] ppid=11441 vsize=13628156 CPUtime=7.19 cores=1,3,5,7
/proc/11443/stat : 11443 (java) S 11441 11443 8697 0 -1 4202496 64454 0 1 0 712 7 0 0 25 0 19 0 905328628 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11443/statm: 3407039 62299 2259 9 0 3397773 0
[pid=11443/tid=11444] ppid=11441 vsize=13628156 CPUtime=6.09 cores=1,3,5,7
/proc/11443/task/11444/stat : 11444 (java) R 11441 11443 8697 0 -1 4202560 49634 0 1 0 603 6 0 0 25 0 19 0 905328629 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 46912505780621 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11443/tid=11446] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11446/stat : 11446 (java) S 11441 11443 8697 0 -1 4202560 639 0 0 0 0 0 0 0 15 0 19 0 905328631 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11447] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11447/stat : 11447 (java) S 11441 11443 8697 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 905328631 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11448] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11448/stat : 11448 (java) S 11441 11443 8697 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 19 0 905328631 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11449] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11449/stat : 11449 (java) S 11441 11443 8697 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 905328631 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11450] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11450/stat : 11450 (java) S 11441 11443 8697 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 905328631 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11451] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11451/stat : 11451 (java) S 11441 11443 8697 0 -1 4202560 114 0 0 0 0 0 0 0 16 0 19 0 905328631 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11452] ppid=11441 vsize=13628156 CPUtime=0.01 cores=1,3,5,7
/proc/11443/task/11452/stat : 11452 (java) S 11441 11443 8697 0 -1 4202560 1648 0 0 0 1 0 0 0 15 0 19 0 905328631 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11453] ppid=11441 vsize=13628156 CPUtime=0.01 cores=1,3,5,7
/proc/11443/task/11453/stat : 11453 (java) S 11441 11443 8697 0 -1 4202560 1367 0 0 0 1 0 0 0 15 0 19 0 905328631 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11454] ppid=11441 vsize=13628156 CPUtime=0.16 cores=1,3,5,7
/proc/11443/task/11454/stat : 11454 (java) S 11441 11443 8697 0 -1 4202560 4625 0 0 0 16 0 0 0 16 0 19 0 905328632 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 0 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11455] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11455/stat : 11455 (java) S 11441 11443 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905328632 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11456] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11456/stat : 11456 (java) S 11441 11443 8697 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905328632 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11457] ppid=11441 vsize=13628156 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11457/stat : 11457 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328634 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000416177 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11458] ppid=11441 vsize=13628156 CPUtime=0.5 cores=1,3,5,7
/proc/11443/task/11458/stat : 11458 (java) S 11441 11443 8697 0 -1 4202560 2298 0 0 0 50 0 0 0 15 0 19 0 905328634 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11459] ppid=11441 vsize=13628156 CPUtime=0.37 cores=1,3,5,7
/proc/11443/task/11459/stat : 11459 (java) S 11441 11443 8697 0 -1 4202560 2478 0 0 0 37 0 0 0 15 0 19 0 905328634 13955231744 62299 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=11443/tid=11451] ppid=11441 vsize=13646412 CPUtime=0.27 cores=1,3,5,7
/proc/11443/task/11451/stat : 11451 (java) S 11441 11443 8697 0 -1 4202560 271 0 0 0 27 0 0 0 15 0 19 0 905328631 13973925888 77882 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11452] ppid=11441 vsize=13646412 CPUtime=0.32 cores=1,3,5,7
/proc/11443/task/11452/stat : 11452 (java) S 11441 11443 8697 0 -1 4202560 1749 0 0 0 32 0 0 0 16 0 19 0 905328631 13973925888 77882 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 5 0 0 0
[pid=11443/tid=11453] ppid=11441 vsize=13646412 CPUtime=0.32 cores=1,3,5,7
/proc/11443/task/11453/stat : 11453 (java) S 11441 11443 8697 0 -1 4202560 1505 0 0 0 31 1 0 0 15 0 19 0 905328631 13973925888 77882 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11454] ppid=11441 vsize=13646412 CPUtime=20.55 cores=1,3,5,7
/proc/11443/task/11454/stat : 11454 (java) S 11441 11443 8697 0 -1 4202560 12519 0 0 0 2050 5 0 0 15 0 19 0 905328632 13973925888 77882 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 0 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11455] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11455/stat : 11455 (java) S 11441 11443 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905328632 13973925888 77882 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11456] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11456/stat : 11456 (java) S 11441 11443 8697 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905328632 13973925888 77882 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11457] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11457/stat : 11457 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328634 13973925888 77882 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000416177 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11458] ppid=11441 vsize=13646412 CPUtime=0.54 cores=1,3,5,7
/proc/11443/task/11458/stat : 11458 (java) S 11441 11443 8697 0 -1 4202560 2301 0 0 0 54 0 0 0 15 0 19 0 905328634 13973925888 77882 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11459] ppid=11441 vsize=13646412 CPUtime=1.22 cores=1,3,5,7
/proc/11443/task/11459/stat : 11459 (java) S 11441 11443 8697 0 -1 4202560 11964 0 0 0 121 1 0 0 15 0 19 0 905328634 13973925888 77882 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11460] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11460/stat : 11460 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328634 13973925888 77882 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11461] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11461/stat : 11461 (java) S 11441 11443 8697 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 905328634 13973925888 77882 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 4 0 16800975 18446604454396009408 0 0 -1 5 0 0 0
[pid=11443/tid=11462] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11462/stat : 11462 (java) S 11441 11443 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905328701 13973925888 77882 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1725.57
Current children cumulated vsize (KiB) 13646412
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 11606
/proc/meminfo: memFree=18750116/32950940 swapFree=67111364/67111528
[pid=11443] ppid=11441 vsize=13646412 CPUtime=1785.69 cores=1,3,5,7
/proc/11443/stat : 11443 (java) S 11441 11443 8697 0 -1 4202496 87037 0 1 0 178547 22 0 0 25 0 19 0 905328628 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11443/statm: 3411603 78627 2260 9 0 3402337 0
[pid=11443/tid=11444] ppid=11441 vsize=13646412 CPUtime=1759.46 cores=1,3,5,7
/proc/11443/task/11444/stat : 11444 (java) R 11441 11443 8697 0 -1 4202560 50111 0 1 0 175940 6 0 0 25 0 19 0 905328629 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 46912505751339 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11443/tid=11446] ppid=11441 vsize=13646412 CPUtime=0.32 cores=1,3,5,7
/proc/11443/task/11446/stat : 11446 (java) S 11441 11443 8697 0 -1 4202560 1048 0 0 0 32 0 0 0 15 0 19 0 905328631 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11447] ppid=11441 vsize=13646412 CPUtime=0.29 cores=1,3,5,7
/proc/11443/task/11447/stat : 11447 (java) S 11441 11443 8697 0 -1 4202560 629 0 0 0 29 0 0 0 15 0 19 0 905328631 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11448] ppid=11441 vsize=13646412 CPUtime=0.35 cores=1,3,5,7
/proc/11443/task/11448/stat : 11448 (java) S 11441 11443 8697 0 -1 4202560 1327 0 0 0 34 1 0 0 15 0 19 0 905328631 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11449] ppid=11441 vsize=13646412 CPUtime=0.34 cores=1,3,5,7
/proc/11443/task/11449/stat : 11449 (java) S 11441 11443 8697 0 -1 4202560 477 0 0 0 34 0 0 0 15 0 19 0 905328631 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 5 0 0 0
[pid=11443/tid=11450] ppid=11441 vsize=13646412 CPUtime=0.34 cores=1,3,5,7
/proc/11443/task/11450/stat : 11450 (java) S 11441 11443 8697 0 -1 4202560 1151 0 0 0 34 0 0 0 15 0 19 0 905328631 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11451] ppid=11441 vsize=13646412 CPUtime=0.31 cores=1,3,5,7
/proc/11443/task/11451/stat : 11451 (java) S 11441 11443 8697 0 -1 4202560 273 0 0 0 31 0 0 0 15 0 19 0 905328631 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11452] ppid=11441 vsize=13646412 CPUtime=0.34 cores=1,3,5,7
/proc/11443/task/11452/stat : 11452 (java) S 11441 11443 8697 0 -1 4202560 1749 0 0 0 34 0 0 0 15 0 19 0 905328631 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11453] ppid=11441 vsize=13646412 CPUtime=0.33 cores=1,3,5,7
/proc/11443/task/11453/stat : 11453 (java) S 11441 11443 8697 0 -1 4202560 1510 0 0 0 32 1 0 0 15 0 19 0 905328631 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11454] ppid=11441 vsize=13646412 CPUtime=21.73 cores=1,3,5,7
/proc/11443/task/11454/stat : 11454 (java) S 11441 11443 8697 0 -1 4202560 13245 0 0 0 2167 6 0 0 16 0 19 0 905328632 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 0 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11455] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11455/stat : 11455 (java) S 11441 11443 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905328632 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11456] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11456/stat : 11456 (java) S 11441 11443 8697 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905328632 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11457] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11457/stat : 11457 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328634 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000416177 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11458] ppid=11441 vsize=13646412 CPUtime=0.54 cores=1,3,5,7
/proc/11443/task/11458/stat : 11458 (java) S 11441 11443 8697 0 -1 4202560 2301 0 0 0 54 0 0 0 15 0 19 0 905328634 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11459] ppid=11441 vsize=13646412 CPUtime=1.22 cores=1,3,5,7
/proc/11443/task/11459/stat : 11459 (java) S 11441 11443 8697 0 -1 4202560 11964 0 0 0 121 1 0 0 15 0 19 0 905328634 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11460] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11460/stat : 11460 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328634 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11461] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11461/stat : 11461 (java) S 11441 11443 8697 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905328634 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 4 0 16800975 18446604454396009408 0 0 -1 5 0 0 0
[pid=11443/tid=11462] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11462/stat : 11462 (java) S 11441 11443 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905328701 13973925888 78627 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1785.69
Current children cumulated vsize (KiB) 13646412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 11606
/proc/meminfo: memFree=18750232/32950940 swapFree=67111364/67111528
[pid=11443] ppid=11441 vsize=13646412 CPUtime=1800.1 cores=1,3,5,7
/proc/11443/stat : 11443 (java) S 11441 11443 8697 0 -1 4202496 87044 0 1 0 179988 22 0 0 25 0 19 0 905328628 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11443/statm: 3411603 78632 2260 9 0 3402337 0
[pid=11443/tid=11444] ppid=11441 vsize=13646412 CPUtime=1773.76 cores=1,3,5,7
/proc/11443/task/11444/stat : 11444 (java) R 11441 11443 8697 0 -1 4202560 50113 0 1 0 177370 6 0 0 25 0 19 0 905328629 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 46912505757561 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11443/tid=11446] ppid=11441 vsize=13646412 CPUtime=0.32 cores=1,3,5,7
/proc/11443/task/11446/stat : 11446 (java) S 11441 11443 8697 0 -1 4202560 1048 0 0 0 32 0 0 0 15 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11447] ppid=11441 vsize=13646412 CPUtime=0.29 cores=1,3,5,7
/proc/11443/task/11447/stat : 11447 (java) S 11441 11443 8697 0 -1 4202560 629 0 0 0 29 0 0 0 16 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11448] ppid=11441 vsize=13646412 CPUtime=0.35 cores=1,3,5,7
/proc/11443/task/11448/stat : 11448 (java) S 11441 11443 8697 0 -1 4202560 1330 0 0 0 34 1 0 0 16 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11449] ppid=11441 vsize=13646412 CPUtime=0.34 cores=1,3,5,7
/proc/11443/task/11449/stat : 11449 (java) S 11441 11443 8697 0 -1 4202560 478 0 0 0 34 0 0 0 15 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 5 0 0 0
[pid=11443/tid=11450] ppid=11441 vsize=13646412 CPUtime=0.34 cores=1,3,5,7
/proc/11443/task/11450/stat : 11450 (java) S 11441 11443 8697 0 -1 4202560 1151 0 0 0 34 0 0 0 15 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11451] ppid=11441 vsize=13646412 CPUtime=0.31 cores=1,3,5,7
/proc/11443/task/11451/stat : 11451 (java) S 11441 11443 8697 0 -1 4202560 273 0 0 0 31 0 0 0 15 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11452] ppid=11441 vsize=13646412 CPUtime=0.34 cores=1,3,5,7
/proc/11443/task/11452/stat : 11452 (java) S 11441 11443 8697 0 -1 4202560 1749 0 0 0 34 0 0 0 15 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11453] ppid=11441 vsize=13646412 CPUtime=0.33 cores=1,3,5,7
/proc/11443/task/11453/stat : 11453 (java) S 11441 11443 8697 0 -1 4202560 1511 0 0 0 32 1 0 0 15 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11454] ppid=11441 vsize=13646412 CPUtime=21.84 cores=1,3,5,7
/proc/11443/task/11454/stat : 11454 (java) S 11441 11443 8697 0 -1 4202560 13245 0 0 0 2178 6 0 0 15 0 19 0 905328632 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 0 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11455] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11455/stat : 11455 (java) S 11441 11443 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905328632 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11456] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11456/stat : 11456 (java) S 11441 11443 8697 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905328632 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11457] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11457/stat : 11457 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328634 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000416177 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11458] ppid=11441 vsize=13646412 CPUtime=0.54 cores=1,3,5,7
/proc/11443/task/11458/stat : 11458 (java) S 11441 11443 8697 0 -1 4202560 2301 0 0 0 54 0 0 0 15 0 19 0 905328634 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11459] ppid=11441 vsize=13646412 CPUtime=1.22 cores=1,3,5,7
/proc/11443/task/11459/stat : 11459 (java) S 11441 11443 8697 0 -1 4202560 11964 0 0 0 121 1 0 0 15 0 19 0 905328634 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11460] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11460/stat : 11460 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328634 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11461] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11461/stat : 11461 (java) S 11441 11443 8697 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905328634 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 4 0 16800975 18446604454396009408 0 0 -1 5 0 0 0
[pid=11443/tid=11462] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11462/stat : 11462 (java) S 11441 11443 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905328701 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13646412
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 11606
/proc/meminfo: memFree=18750232/32950940 swapFree=67111364/67111528
[pid=11443] ppid=11441 vsize=13646412 CPUtime=1800.1 cores=1,3,5,7
/proc/11443/stat : 11443 (java) S 11441 11443 8697 0 -1 4202496 87044 0 1 0 179988 22 0 0 25 0 19 0 905328628 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11443/statm: 3411603 78632 2260 9 0 3402337 0
[pid=11443/tid=11444] ppid=11441 vsize=13646412 CPUtime=1773.76 cores=1,3,5,7
/proc/11443/task/11444/stat : 11444 (java) R 11441 11443 8697 0 -1 4202560 50113 0 1 0 177370 6 0 0 25 0 19 0 905328629 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 46912505757561 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11443/tid=11446] ppid=11441 vsize=13646412 CPUtime=0.32 cores=1,3,5,7
/proc/11443/task/11446/stat : 11446 (java) S 11441 11443 8697 0 -1 4202560 1048 0 0 0 32 0 0 0 15 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11447] ppid=11441 vsize=13646412 CPUtime=0.29 cores=1,3,5,7
/proc/11443/task/11447/stat : 11447 (java) S 11441 11443 8697 0 -1 4202560 629 0 0 0 29 0 0 0 16 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11448] ppid=11441 vsize=13646412 CPUtime=0.35 cores=1,3,5,7
/proc/11443/task/11448/stat : 11448 (java) S 11441 11443 8697 0 -1 4202560 1330 0 0 0 34 1 0 0 16 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11449] ppid=11441 vsize=13646412 CPUtime=0.34 cores=1,3,5,7
/proc/11443/task/11449/stat : 11449 (java) S 11441 11443 8697 0 -1 4202560 478 0 0 0 34 0 0 0 15 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 5 0 0 0
[pid=11443/tid=11450] ppid=11441 vsize=13646412 CPUtime=0.34 cores=1,3,5,7
/proc/11443/task/11450/stat : 11450 (java) S 11441 11443 8697 0 -1 4202560 1151 0 0 0 34 0 0 0 15 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11451] ppid=11441 vsize=13646412 CPUtime=0.31 cores=1,3,5,7
/proc/11443/task/11451/stat : 11451 (java) S 11441 11443 8697 0 -1 4202560 273 0 0 0 31 0 0 0 15 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11452] ppid=11441 vsize=13646412 CPUtime=0.34 cores=1,3,5,7
/proc/11443/task/11452/stat : 11452 (java) S 11441 11443 8697 0 -1 4202560 1749 0 0 0 34 0 0 0 15 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11453] ppid=11441 vsize=13646412 CPUtime=0.33 cores=1,3,5,7
/proc/11443/task/11453/stat : 11453 (java) S 11441 11443 8697 0 -1 4202560 1511 0 0 0 32 1 0 0 15 0 19 0 905328631 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11454] ppid=11441 vsize=13646412 CPUtime=21.84 cores=1,3,5,7
/proc/11443/task/11454/stat : 11454 (java) S 11441 11443 8697 0 -1 4202560 13245 0 0 0 2178 6 0 0 15 0 19 0 905328632 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 0 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11455] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11455/stat : 11455 (java) S 11441 11443 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905328632 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11456] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11456/stat : 11456 (java) S 11441 11443 8697 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905328632 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11457] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11457/stat : 11457 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328634 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000416177 0 4 0 16800975 18446604454396009408 0 0 -1 1 0 0 0
[pid=11443/tid=11458] ppid=11441 vsize=13646412 CPUtime=0.54 cores=1,3,5,7
/proc/11443/task/11458/stat : 11458 (java) S 11441 11443 8697 0 -1 4202560 2301 0 0 0 54 0 0 0 15 0 19 0 905328634 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11459] ppid=11441 vsize=13646412 CPUtime=1.22 cores=1,3,5,7
/proc/11443/task/11459/stat : 11459 (java) S 11441 11443 8697 0 -1 4202560 11964 0 0 0 121 1 0 0 15 0 19 0 905328634 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
[pid=11443/tid=11460] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11460/stat : 11460 (java) S 11441 11443 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905328634 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000408473 0 4 0 16800975 18446604454396009408 0 0 -1 7 0 0 0
[pid=11443/tid=11461] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11461/stat : 11461 (java) S 11441 11443 8697 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905328634 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 4 0 16800975 18446604454396009408 0 0 -1 5 0 0 0
[pid=11443/tid=11462] ppid=11441 vsize=13646412 CPUtime=0 cores=1,3,5,7
/proc/11443/task/11462/stat : 11462 (java) S 11441 11443 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905328701 13973925888 78632 33554432000 1073741824 1073778376 140735221529568 18446744073709551615 216000409088 0 4 0 16800975 18446604454396009408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13646412
Child status: 143
Real time (s): 1796.77
CPU time (s): 1800.18
CPU user time (s): 1799.94
CPU system time (s): 0.238963
CPU usage (%): 100.19
Max. virtual memory (cumulated for all children) (KiB): 13651376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87082
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50863
involuntary context switches= 12822
runsolver used 9.1796 second user time and 21.5677 second system time
The end