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-3453914-1307194431/watcher-3453914-1307194431 -o /tmp/evaluation-result-3453914-1307194431/solver-3453914-1307194431 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453914-1307194431.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: 3.46 3.60 3.58 1/291 15603
/proc/meminfo: memFree=27483300/32951124 swapFree=55664332/67111528
[pid=15603] ppid=15601 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/15603/stat : 15603 (java) R 15601 15603 10640 0 -1 4202496 952 0 0 0 0 0 0 0 22 0 1 0 831043802 23580672 695 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222916814312 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15603/statm: 5757 695 512 9 0 124 0
[pid=15603/tid=15604] ppid=15601 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15604/stat : 15604 (java) S 15601 15603 10640 0 -1 4202560 202 0 0 0 0 0 0 0 23 0 2 0 831043803 36646912 1017 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222921797190 0 0 0 16784584 4441784813073989631 0 0 -1 3 0 0 0
[startup+0.07767 s]
/proc/loadavg: 3.46 3.60 3.58 1/291 15603
/proc/meminfo: memFree=27483300/32951124 swapFree=55664332/67111528
[pid=15603] ppid=15601 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/15603/stat : 15603 (java) S 15601 15603 10640 0 -1 4202496 11940 0 1 0 5 1 0 0 22 0 18 0 831043802 10791550976 11636 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15603/statm: 2634656 11636 1754 9 0 2625390 0
[pid=15603/tid=15604] ppid=15601 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/15603/task/15604/stat : 15604 (java) R 15601 15603 10640 0 -1 4202560 10766 0 1 0 5 1 0 0 25 0 18 0 831043803 10791550976 11637 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 47437375104536 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538624
[startup+0.104714 s]
/proc/loadavg: 3.46 3.60 3.58 1/291 15603
/proc/meminfo: memFree=27483300/32951124 swapFree=55664332/67111528
[pid=15603] ppid=15601 vsize=10540124 CPUtime=0.1 cores=1,3,5,7
/proc/15603/stat : 15603 (java) S 15601 15603 10640 0 -1 4202496 13091 0 1 0 9 1 0 0 22 0 18 0 831043802 10793086976 12787 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15603/statm: 2635031 12788 2093 9 0 2625765 0
[pid=15603/tid=15604] ppid=15601 vsize=10540124 CPUtime=0.08 cores=1,3,5,7
/proc/15603/task/15604/stat : 15604 (java) R 15601 15603 10640 0 -1 4202560 11191 0 1 0 7 1 0 0 18 0 18 0 831043803 10793086976 12788 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222921438241 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540124
[startup+0.300643 s]
/proc/loadavg: 3.46 3.60 3.58 1/291 15603
/proc/meminfo: memFree=27483300/32951124 swapFree=55664332/67111528
[pid=15603] ppid=15601 vsize=10541352 CPUtime=0.45 cores=1,3,5,7
/proc/15603/stat : 15603 (java) S 15601 15603 10640 0 -1 4202496 15574 0 1 0 43 2 0 0 22 0 18 0 831043802 10794344448 14940 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15603/statm: 2635338 14941 2208 9 0 2626072 0
[pid=15603/tid=15604] ppid=15601 vsize=10541352 CPUtime=0.27 cores=1,3,5,7
/proc/15603/task/15604/stat : 15604 (java) R 15601 15603 10640 0 -1 4202560 12788 0 1 0 26 1 0 0 18 0 18 0 831043803 10794344448 14941 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541352
[startup+0.700524 s]
/proc/loadavg: 3.46 3.60 3.58 1/291 15603
/proc/meminfo: memFree=27483300/32951124 swapFree=55664332/67111528
[pid=15603] ppid=15601 vsize=10559980 CPUtime=1.71 cores=1,3,5,7
/proc/15603/stat : 15603 (java) S 15601 15603 10640 0 -1 4202496 35502 0 1 0 166 5 0 0 22 0 20 0 831043802 10813419520 29523 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15603/statm: 2639995 29523 2231 9 0 2630729 0
[pid=15603/tid=15604] ppid=15601 vsize=10559980 CPUtime=0.54 cores=1,3,5,7
/proc/15603/task/15604/stat : 15604 (java) S 15601 15603 10640 0 -1 4202560 17095 0 1 0 52 2 0 0 19 0 20 0 831043803 10813419520 29523 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10559980
[startup+1.50141 s]
/proc/loadavg: 3.46 3.60 3.58 5/313 15628
/proc/meminfo: memFree=27374756/32951124 swapFree=55664332/67111528
[pid=15603] ppid=15601 vsize=10559980 CPUtime=2.52 cores=1,3,5,7
/proc/15603/stat : 15603 (java) S 15601 15603 10640 0 -1 4202496 39590 0 1 0 247 5 0 0 22 0 19 0 831043802 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15603/statm: 2639995 29596 2241 9 0 2630729 0
[pid=15603/tid=15604] ppid=15601 vsize=10559980 CPUtime=0.55 cores=1,3,5,7
/proc/15603/task/15604/stat : 15604 (java) S 15601 15603 10640 0 -1 4202560 17185 0 1 0 53 2 0 0 17 0 19 0 831043803 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15606] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15606/stat : 15606 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831043805 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15607] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15607/stat : 15607 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831043805 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15608] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15608/stat : 15608 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831043805 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15609] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15609/stat : 15609 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831043805 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15610] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15610/stat : 15610 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831043805 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15611] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15611/stat : 15611 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831043805 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15612] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15612/stat : 15612 (java) S 15601 15603 10640 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 831043805 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15613] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15613/stat : 15613 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831043805 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15614] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15614/stat : 15614 (java) S 15601 15603 10640 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 19 0 831043806 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 0 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15615] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15615/stat : 15615 (java) S 15601 15603 10640 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 831043806 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15616] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15616/stat : 15616 (java) S 15601 15603 10640 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831043806 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15617] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15617/stat : 15617 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 831043808 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933600689 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15618] ppid=15601 vsize=10559980 CPUtime=0.79 cores=1,3,5,7
/proc/15603/task/15618/stat : 15618 (java) S 15601 15603 10640 0 -1 4202560 7027 0 0 0 79 0 0 0 25 0 19 0 831043808 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15619] ppid=15601 vsize=10559980 CPUtime=0.8 cores=1,3,5,7
/proc/15603/task/15619/stat : 15619 (java) S 15601 15603 10640 0 -1 4202560 13017 0 0 0 79 1 0 0 16 0 19 0 831043809 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15620] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15620/stat : 15620 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 831043809 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15621] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15621/stat : 15621 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831043809 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15627] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15627/stat : 15627 (java) S 15601 15603 10640 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831043861 10813419520 29596 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 10559980
[startup+3.10112 s]
/proc/loadavg: 3.46 3.60 3.58 6/316 15637
/proc/meminfo: memFree=27352608/32951124 swapFree=55664332/67111528
[pid=15603] ppid=15601 vsize=10565732 CPUtime=4.04 cores=1,3,5,7
/proc/15603/stat : 15603 (java) S 15601 15603 10640 0 -1 4202496 61724 0 1 0 396 8 0 0 22 0 19 0 831043802 10819309568 47919 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15603/statm: 2641433 47927 2242 9 0 2632167 0
[pid=15603/tid=15604] ppid=15601 vsize=10565732 CPUtime=0.56 cores=1,3,5,7
/proc/15603/task/15604/stat : 15604 (java) R 15601 15603 10640 0 -1 4202560 17395 0 1 0 54 2 0 0 15 0 19 0 831043803 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 46912506243812 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15603/tid=15606] ppid=15601 vsize=10565732 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15606/stat : 15606 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831043805 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15607] ppid=15601 vsize=10565732 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15607/stat : 15607 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831043805 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15608] ppid=15601 vsize=10565732 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15608/stat : 15608 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831043805 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15609] ppid=15601 vsize=10565732 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15609/stat : 15609 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831043805 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15610] ppid=15601 vsize=10565732 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15610/stat : 15610 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831043805 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15611] ppid=15601 vsize=10565732 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15611/stat : 15611 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831043805 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15612] ppid=15601 vsize=10565732 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15612/stat : 15612 (java) S 15601 15603 10640 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 831043805 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15613] ppid=15601 vsize=10565732 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15613/stat : 15613 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831043805 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15614] ppid=15601 vsize=10565732 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15614/stat : 15614 (java) S 15601 15603 10640 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 831043806 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 0 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15615] ppid=15601 vsize=10565732 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15615/stat : 15615 (java) S 15601 15603 10640 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 831043806 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15616] ppid=15601 vsize=10565732 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15616/stat : 15616 (java) S 15601 15603 10640 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831043806 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15617] ppid=15601 vsize=10565732 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15617/stat : 15617 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 831043808 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933600689 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15618] ppid=15601 vsize=10565732 CPUtime=1.16 cores=1,3,5,7
/proc/15603/task/15618/stat : 15618 (java) S 15601 15603 10640 0 -1 4202560 8453 0 0 0 115 1 0 0 15 0 19 0 831043808 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15619] ppid=15601 vsize=10565732 CPUtime=1.37 cores=1,3,5,7
/proc/15603/task/15619/stat : 15619 (java) S 15601 15603 10640 0 -1 4202560 18517 0 0 0 135 2 0 0 15 0 19 0 831043809 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15620] ppid=15601 vsize=10565732 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15620/stat : 15620 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 831043809 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15621] ppid=15601 vsize=10565732 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15621/stat : 15621 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831043809 10819309568 47927 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 10565732
[startup+6.30153 s]
/proc/loadavg: 3.50 3.60 3.58 5/316 15643
/proc/meminfo: memFree=26453608/32951124 swapFree=55664332/67111528
[pid=15603] ppid=15601 vsize=10559980 CPUtime=10.63 cores=1,3,5,7
/proc/15603/stat : 15603 (java) S 15601 15603 10640 0 -1 4202496 274956 0 1 0 1032 31 0 0 22 0 22 0 831043802 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15603/statm: 2639995 258251 2270 9 0 2630729 0
[pid=15603/tid=15604] ppid=15601 vsize=10559980 CPUtime=0.56 cores=1,3,5,7
/proc/15603/task/15604/stat : 15604 (java) S 15601 15603 10640 0 -1 4202560 17454 0 1 0 54 2 0 0 15 0 22 0 831043803 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15606] ppid=15601 vsize=10559980 CPUtime=0.01 cores=1,3,5,7
/proc/15603/task/15606/stat : 15606 (java) S 15601 15603 10640 0 -1 4202560 1028 0 0 0 1 0 0 0 18 0 22 0 831043805 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15607] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15607/stat : 15607 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831043805 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15608] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15608/stat : 15608 (java) S 15601 15603 10640 0 -1 4202560 749 0 0 0 0 0 0 0 18 0 22 0 831043805 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15609] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15609/stat : 15609 (java) S 15601 15603 10640 0 -1 4202560 699 0 0 0 0 0 0 0 18 0 22 0 831043805 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15610] ppid=15601 vsize=10559980 CPUtime=0.01 cores=1,3,5,7
/proc/15603/task/15610/stat : 15610 (java) S 15601 15603 10640 0 -1 4202560 1491 0 0 0 1 0 0 0 18 0 22 0 831043805 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15611] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15611/stat : 15611 (java) S 15601 15603 10640 0 -1 4202560 414 0 0 0 0 0 0 0 16 0 22 0 831043805 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15612] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15612/stat : 15612 (java) S 15601 15603 10640 0 -1 4202560 271 0 0 0 0 0 0 0 18 0 22 0 831043805 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15613] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15613/stat : 15613 (java) S 15601 15603 10640 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 22 0 831043805 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15614] ppid=15601 vsize=10559980 CPUtime=0.1 cores=1,3,5,7
/proc/15603/task/15614/stat : 15614 (java) S 15601 15603 10640 0 -1 4202560 4379 0 0 0 10 0 0 0 16 0 22 0 831043806 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 0 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15615] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15615/stat : 15615 (java) S 15601 15603 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831043806 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15616] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15616/stat : 15616 (java) S 15601 15603 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831043806 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15617] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15617/stat : 15617 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831043808 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933600689 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15618] ppid=15601 vsize=10559980 CPUtime=1.31 cores=1,3,5,7
/proc/15603/task/15618/stat : 15618 (java) S 15601 15603 10640 0 -1 4202560 8471 0 0 0 130 1 0 0 15 0 22 0 831043808 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15619] ppid=15601 vsize=10559980 CPUtime=1.51 cores=1,3,5,7
/proc/15603/task/15619/stat : 15619 (java) S 15601 15603 10640 0 -1 4202560 18533 0 0 0 149 2 0 0 15 0 22 0 831043809 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15620] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15620/stat : 15620 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 831043809 10813419520 258251 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=15603/tid=15684] ppid=15601 vsize=10559980 CPUtime=372.79 cores=1,3,5,7
/proc/15603/task/15684/stat : 15684 (java) R 15601 15603 10640 0 -1 4202560 83 0 0 0 37279 0 0 0 21 0 22 0 831081005 10813419520 472254 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 46912506180825 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15603/tid=15685] ppid=15601 vsize=10559980 CPUtime=372.8 cores=1,3,5,7
/proc/15603/task/15685/stat : 15685 (java) R 15601 15603 10640 0 -1 4202560 1 0 0 0 37280 0 0 0 21 0 22 0 831081005 10813419520 472254 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 46912506145308 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15603/tid=15686] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15686/stat : 15686 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831081005 10813419520 472254 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1531.7
Current children cumulated vsize (KiB) 10559980
[startup+882.301 s]
/proc/loadavg: 1.83 2.09 2.79 3/289 15699
/proc/meminfo: memFree=26524036/32951124 swapFree=55664332/67111528
[pid=15603] ppid=15601 vsize=10559980 CPUtime=1640.95 cores=1,3,5,7
/proc/15603/stat : 15603 (java) S 15601 15603 10640 0 -1 4202496 494366 0 1 0 164034 61 0 0 22 0 22 0 831043802 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15603/statm: 2639995 476454 2271 9 0 2630729 0
[pid=15603/tid=15604] ppid=15601 vsize=10559980 CPUtime=0.59 cores=1,3,5,7
/proc/15603/task/15604/stat : 15604 (java) S 15601 15603 10640 0 -1 4202560 17519 0 1 0 56 3 0 0 15 0 22 0 831043803 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15606] ppid=15601 vsize=10559980 CPUtime=1.23 cores=1,3,5,7
/proc/15603/task/15606/stat : 15606 (java) S 15601 15603 10640 0 -1 4202560 1445 0 0 0 123 0 0 0 16 0 22 0 831043805 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15607] ppid=15601 vsize=10559980 CPUtime=1.27 cores=1,3,5,7
/proc/15603/task/15607/stat : 15607 (java) S 15601 15603 10640 0 -1 4202560 602 0 0 0 127 0 0 0 15 0 22 0 831043805 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15608] ppid=15601 vsize=10559980 CPUtime=1.27 cores=1,3,5,7
/proc/15603/task/15608/stat : 15608 (java) S 15601 15603 10640 0 -1 4202560 928 0 0 0 127 0 0 0 15 0 22 0 831043805 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15609] ppid=15601 vsize=10559980 CPUtime=1.29 cores=1,3,5,7
/proc/15603/task/15609/stat : 15609 (java) S 15601 15603 10640 0 -1 4202560 1313 0 0 0 129 0 0 0 16 0 22 0 831043805 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15610] ppid=15601 vsize=10559980 CPUtime=1.35 cores=1,3,5,7
/proc/15603/task/15610/stat : 15610 (java) S 15601 15603 10640 0 -1 4202560 1764 0 0 0 135 0 0 0 15 0 22 0 831043805 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15611] ppid=15601 vsize=10559980 CPUtime=1.25 cores=1,3,5,7
/proc/15603/task/15611/stat : 15611 (java) S 15601 15603 10640 0 -1 4202560 491 0 0 0 125 0 0 0 16 0 22 0 831043805 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15612] ppid=15601 vsize=10559980 CPUtime=1.23 cores=1,3,5,7
/proc/15603/task/15612/stat : 15612 (java) S 15601 15603 10640 0 -1 4202560 344 0 0 0 123 0 0 0 15 0 22 0 831043805 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15613] ppid=15601 vsize=10559980 CPUtime=1.27 cores=1,3,5,7
/proc/15603/task/15613/stat : 15613 (java) S 15601 15603 10640 0 -1 4202560 307 0 0 0 127 0 0 0 16 0 22 0 831043805 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15614] ppid=15601 vsize=10559980 CPUtime=124.34 cores=1,3,5,7
/proc/15603/task/15614/stat : 15614 (java) S 15601 15603 10640 0 -1 4202560 102899 0 0 0 12421 13 0 0 17 0 22 0 831043806 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 0 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15615] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15615/stat : 15615 (java) S 15601 15603 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831043806 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15616] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15616/stat : 15616 (java) S 15601 15603 10640 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 831043806 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15617] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15617/stat : 15617 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831043808 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933600689 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15618] ppid=15601 vsize=10559980 CPUtime=1.5 cores=1,3,5,7
/proc/15603/task/15618/stat : 15618 (java) S 15601 15603 10640 0 -1 4202560 8472 0 0 0 149 1 0 0 16 0 22 0 831043808 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15619] ppid=15601 vsize=10559980 CPUtime=1.97 cores=1,3,5,7
/proc/15603/task/15619/stat : 15619 (java) S 15601 15603 10640 0 -1 4202560 18558 0 0 0 195 2 0 0 15 0 22 0 831043809 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15620] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15620/stat : 15620 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 831043809 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15621] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15621/stat : 15621 (java) S 15601 15603 10640 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 831043809 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15661] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15661/stat : 15661 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065676 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15684] ppid=15601 vsize=10559980 CPUtime=421.52 cores=1,3,5,7
/proc/15603/task/15684/stat : 15684 (java) R 15601 15603 10640 0 -1 4202560 97 0 0 0 42151 1 0 0 19 0 22 0 831081005 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 46912506100567 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15603/tid=15685] ppid=15601 vsize=10559980 CPUtime=421.52 cores=1,3,5,7
/proc/15603/task/15685/stat : 15685 (java) R 15601 15603 10640 0 -1 4202560 1 0 0 0 42152 0 0 0 19 0 22 0 831081005 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 46912506370421 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15603/tid=15686] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15686/stat : 15686 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831081005 10813419520 476454 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1640.95
Current children cumulated vsize (KiB) 10559980
[startup+942.301 s]
/proc/loadavg: 1.83 2.04 2.72 2/289 15701
/proc/meminfo: memFree=26506920/32951124 swapFree=55664332/67111528
[pid=15603] ppid=15601 vsize=10559980 CPUtime=1750.1 cores=1,3,5,7
/proc/15603/stat : 15603 (java) S 15601 15603 10640 0 -1 4202496 499039 0 1 0 174947 63 0 0 22 0 22 0 831043802 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15603/statm: 2639995 481105 2271 9 0 2630729 0
[pid=15603/tid=15604] ppid=15601 vsize=10559980 CPUtime=0.59 cores=1,3,5,7
/proc/15603/task/15604/stat : 15604 (java) S 15601 15603 10640 0 -1 4202560 17519 0 1 0 56 3 0 0 15 0 22 0 831043803 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15606] ppid=15601 vsize=10559980 CPUtime=1.32 cores=1,3,5,7
/proc/15603/task/15606/stat : 15606 (java) S 15601 15603 10640 0 -1 4202560 1445 0 0 0 132 0 0 0 15 0 22 0 831043805 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15607] ppid=15601 vsize=10559980 CPUtime=1.34 cores=1,3,5,7
/proc/15603/task/15607/stat : 15607 (java) S 15601 15603 10640 0 -1 4202560 602 0 0 0 134 0 0 0 16 0 22 0 831043805 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15608] ppid=15601 vsize=10559980 CPUtime=1.39 cores=1,3,5,7
/proc/15603/task/15608/stat : 15608 (java) S 15601 15603 10640 0 -1 4202560 928 0 0 0 139 0 0 0 16 0 22 0 831043805 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15609] ppid=15601 vsize=10559980 CPUtime=1.38 cores=1,3,5,7
/proc/15603/task/15609/stat : 15609 (java) S 15601 15603 10640 0 -1 4202560 1318 0 0 0 138 0 0 0 15 0 22 0 831043805 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15610] ppid=15601 vsize=10559980 CPUtime=1.45 cores=1,3,5,7
/proc/15603/task/15610/stat : 15610 (java) S 15601 15603 10640 0 -1 4202560 1767 0 0 0 145 0 0 0 16 0 22 0 831043805 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15611] ppid=15601 vsize=10559980 CPUtime=1.36 cores=1,3,5,7
/proc/15603/task/15611/stat : 15611 (java) S 15601 15603 10640 0 -1 4202560 492 0 0 0 136 0 0 0 16 0 22 0 831043805 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15612] ppid=15601 vsize=10559980 CPUtime=1.29 cores=1,3,5,7
/proc/15603/task/15612/stat : 15612 (java) S 15601 15603 10640 0 -1 4202560 347 0 0 0 129 0 0 0 15 0 22 0 831043805 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15613] ppid=15601 vsize=10559980 CPUtime=1.34 cores=1,3,5,7
/proc/15603/task/15613/stat : 15613 (java) S 15601 15603 10640 0 -1 4202560 307 0 0 0 134 0 0 0 15 0 22 0 831043805 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15614] ppid=15601 vsize=10559980 CPUtime=135.56 cores=1,3,5,7
/proc/15603/task/15614/stat : 15614 (java) S 15601 15603 10640 0 -1 4202560 107537 0 0 0 13543 13 0 0 16 0 22 0 831043806 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 0 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15615] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15615/stat : 15615 (java) S 15601 15603 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831043806 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15616] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15616/stat : 15616 (java) S 15601 15603 10640 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 831043806 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15617] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15617/stat : 15617 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831043808 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933600689 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15618] ppid=15601 vsize=10559980 CPUtime=1.5 cores=1,3,5,7
/proc/15603/task/15618/stat : 15618 (java) S 15601 15603 10640 0 -1 4202560 8472 0 0 0 149 1 0 0 16 0 22 0 831043808 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15619] ppid=15601 vsize=10559980 CPUtime=1.99 cores=1,3,5,7
/proc/15603/task/15619/stat : 15619 (java) S 15601 15603 10640 0 -1 4202560 18559 0 0 0 197 2 0 0 15 0 22 0 831043809 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15620] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15620/stat : 15620 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 831043809 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15621] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15621/stat : 15621 (java) S 15601 15603 10640 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 831043809 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15661] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15661/stat : 15661 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065676 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15684] ppid=15601 vsize=10559980 CPUtime=470.1 cores=1,3,5,7
/proc/15603/task/15684/stat : 15684 (java) R 15601 15603 10640 0 -1 4202560 111 0 0 0 47009 1 0 0 19 0 22 0 831081005 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 46912506248486 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15603/tid=15685] ppid=15601 vsize=10559980 CPUtime=470.1 cores=1,3,5,7
/proc/15603/task/15685/stat : 15685 (java) R 15601 15603 10640 0 -1 4202560 7 0 0 0 47010 0 0 0 19 0 22 0 831081005 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 46912506361299 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15603/tid=15686] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15686/stat : 15686 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831081005 10813419520 481105 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1750.1
Current children cumulated vsize (KiB) 10559980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+969.801 s]
/proc/loadavg: 1.83 2.02 2.69 3/289 15702
/proc/meminfo: memFree=26503936/32951124 swapFree=55664332/67111528
[pid=15603] ppid=15601 vsize=10559980 CPUtime=1800.13 cores=1,3,5,7
/proc/15603/stat : 15603 (java) S 15601 15603 10640 0 -1 4202496 499395 0 1 0 179950 63 0 0 22 0 22 0 831043802 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15603/statm: 2639995 481451 2271 9 0 2630729 0
[pid=15603/tid=15604] ppid=15601 vsize=10559980 CPUtime=0.59 cores=1,3,5,7
/proc/15603/task/15604/stat : 15604 (java) S 15601 15603 10640 0 -1 4202560 17521 0 1 0 56 3 0 0 15 0 22 0 831043803 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15606] ppid=15601 vsize=10559980 CPUtime=1.34 cores=1,3,5,7
/proc/15603/task/15606/stat : 15606 (java) S 15601 15603 10640 0 -1 4202560 1445 0 0 0 134 0 0 0 16 0 22 0 831043805 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15607] ppid=15601 vsize=10559980 CPUtime=1.38 cores=1,3,5,7
/proc/15603/task/15607/stat : 15607 (java) S 15601 15603 10640 0 -1 4202560 602 0 0 0 138 0 0 0 15 0 22 0 831043805 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15608] ppid=15601 vsize=10559980 CPUtime=1.46 cores=1,3,5,7
/proc/15603/task/15608/stat : 15608 (java) S 15601 15603 10640 0 -1 4202560 928 0 0 0 146 0 0 0 16 0 22 0 831043805 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15609] ppid=15601 vsize=10559980 CPUtime=1.44 cores=1,3,5,7
/proc/15603/task/15609/stat : 15609 (java) S 15601 15603 10640 0 -1 4202560 1318 0 0 0 144 0 0 0 16 0 22 0 831043805 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15610] ppid=15601 vsize=10559980 CPUtime=1.5 cores=1,3,5,7
/proc/15603/task/15610/stat : 15610 (java) S 15601 15603 10640 0 -1 4202560 1768 0 0 0 150 0 0 0 16 0 22 0 831043805 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15611] ppid=15601 vsize=10559980 CPUtime=1.38 cores=1,3,5,7
/proc/15603/task/15611/stat : 15611 (java) S 15601 15603 10640 0 -1 4202560 492 0 0 0 138 0 0 0 15 0 22 0 831043805 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15612] ppid=15601 vsize=10559980 CPUtime=1.34 cores=1,3,5,7
/proc/15603/task/15612/stat : 15612 (java) S 15601 15603 10640 0 -1 4202560 348 0 0 0 134 0 0 0 16 0 22 0 831043805 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15613] ppid=15601 vsize=10559980 CPUtime=1.37 cores=1,3,5,7
/proc/15603/task/15613/stat : 15613 (java) S 15601 15603 10640 0 -1 4202560 312 0 0 0 137 0 0 0 15 0 22 0 831043805 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15614] ppid=15601 vsize=10559980 CPUtime=140.69 cores=1,3,5,7
/proc/15603/task/15614/stat : 15614 (java) S 15601 15603 10640 0 -1 4202560 107878 0 0 0 14056 13 0 0 15 0 22 0 831043806 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 0 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15615] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15615/stat : 15615 (java) S 15601 15603 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831043806 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15616] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15616/stat : 15616 (java) S 15601 15603 10640 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 831043806 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15617] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15617/stat : 15617 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831043808 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933600689 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15618] ppid=15601 vsize=10559980 CPUtime=1.5 cores=1,3,5,7
/proc/15603/task/15618/stat : 15618 (java) S 15601 15603 10640 0 -1 4202560 8472 0 0 0 149 1 0 0 16 0 22 0 831043808 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15619] ppid=15601 vsize=10559980 CPUtime=1.99 cores=1,3,5,7
/proc/15603/task/15619/stat : 15619 (java) S 15601 15603 10640 0 -1 4202560 18559 0 0 0 197 2 0 0 15 0 22 0 831043809 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 5 0 0 0
[pid=15603/tid=15620] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15620/stat : 15620 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 831043809 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746048 0 0 -1 3 0 0 0
[pid=15603/tid=15621] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15621/stat : 15621 (java) S 15601 15603 10640 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 831043809 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 1 0 0 0
[pid=15603/tid=15661] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15661/stat : 15661 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065676 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
[pid=15603/tid=15684] ppid=15601 vsize=10559980 CPUtime=492.39 cores=1,3,5,7
/proc/15603/task/15684/stat : 15684 (java) R 15601 15603 10640 0 -1 4202560 115 0 0 0 49238 1 0 0 22 0 22 0 831081005 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 46912506229647 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15603/tid=15685] ppid=15601 vsize=10559980 CPUtime=492.39 cores=1,3,5,7
/proc/15603/task/15685/stat : 15685 (java) R 15601 15603 10640 0 -1 4202560 7 0 0 0 49239 0 0 0 22 0 22 0 831081005 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 46912506132633 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15603/tid=15686] ppid=15601 vsize=10559980 CPUtime=0 cores=1,3,5,7
/proc/15603/task/15686/stat : 15686 (java) S 15601 15603 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831081005 10813419520 481451 33554432000 1073741824 1073778376 140737045884640 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10559980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 969.915
CPU time (s): 1800.28
CPU user time (s): 1799.57
CPU system time (s): 0.706892
CPU usage (%): 185.612
Max. virtual memory (cumulated for all children) (KiB): 10565732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.706892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 499424
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= 30396
involuntary context switches= 17390
runsolver used 2.52961 second user time and 6.33604 second system time
The end