runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742119-1338784942/watcher-3742119-1338784942 -o /tmp/evaluation-result-3742119-1338784942/solver-3742119-1338784942 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742119-1338784942.opb
running on 4 cores: 0,2,4,6
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.92 3.94 3.79 4/199 24667
/proc/meminfo: memFree=28067048/32873844 swapFree=7380/7380
[pid=24667] ppid=24665 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24667/stat : 24667 (java) D 24665 24667 24174 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 344619020 9515008 185 33554432000 1073741824 1073778376 140734543063856 140734543052920 215134334247 0 0 4096 0 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/24667/statm: 2323 185 143 9 0 71 0
[startup+0.0112011 s]
/proc/loadavg: 3.92 3.94 3.79 4/199 24667
/proc/meminfo: memFree=28067048/32873844 swapFree=7380/7380
[pid=24667] ppid=24665 vsize=101592 CPUtime=0 cores=0,2,4,6
/proc/24667/stat : 24667 (java) S 24665 24667 24174 0 -1 4202496 1356 0 0 0 0 0 0 0 20 0 2 0 344619020 104030208 1045 33554432000 1073741824 1073778376 140734543063856 140734543054992 215146856509 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24667/statm: 25382 1042 797 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101592
[startup+0.100261 s]
/proc/loadavg: 3.92 3.94 3.79 4/199 24667
/proc/meminfo: memFree=28067048/32873844 swapFree=7380/7380
[pid=24667] ppid=24665 vsize=2699928 CPUtime=0.1 cores=0,2,4,6
/proc/24667/stat : 24667 (java) S 24665 24667 24174 0 -1 4202496 4696 0 1 0 9 1 0 0 20 0 18 0 344619020 2764726272 6399 33554432000 1073741824 1073778376 140734543063856 140734543054992 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24667/statm: 674982 6399 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300147 s]
/proc/loadavg: 3.92 3.94 3.79 4/199 24667
/proc/meminfo: memFree=28067048/32873844 swapFree=7380/7380
[pid=24667] ppid=24665 vsize=2699928 CPUtime=0.56 cores=0,2,4,6
/proc/24667/stat : 24667 (java) S 24665 24667 24174 0 -1 4202496 7323 0 1 0 54 2 0 0 20 0 18 0 344619020 2764726272 10725 33554432000 1073741824 1073778376 140734543063856 140734543054992 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24667/statm: 674982 10725 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 2699928
[startup+0.700151 s]
/proc/loadavg: 3.92 3.94 3.79 4/199 24667
/proc/meminfo: memFree=28067048/32873844 swapFree=7380/7380
[pid=24667] ppid=24665 vsize=2966184 CPUtime=1.9 cores=0,2,4,6
/proc/24667/stat : 24667 (java) S 24665 24667 24174 0 -1 4202496 12725 0 1 0 187 3 0 0 20 0 22 0 344619020 3037372416 22076 33554432000 1073741824 1073778376 140734543063856 140734543054992 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24667/statm: 741546 22076 2253 9 0 732240 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 2966184
[startup+1.50079 s]
/proc/loadavg: 3.92 3.94 3.79 6/221 24689
/proc/meminfo: memFree=27945560/32873844 swapFree=7380/7380
[pid=24667] ppid=24665 vsize=2966184 CPUtime=4.35 cores=0,2,4,6
/proc/24667/stat : 24667 (java) S 24665 24667 24174 0 -1 4202496 19969 0 1 0 426 9 0 0 20 0 22 0 344619020 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140734543054992 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24667/statm: 741546 90169 2258 9 0 732240 0
[pid=24667/tid=24669] ppid=24665 vsize=2966184 CPUtime=0.45 cores=0,2,4,6
/proc/24667/task/24669/stat : 24669 (java) S 24665 24667 24174 0 -1 4202560 2818 0 1 0 43 2 0 0 20 0 22 0 344619020 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140226747831448 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24670] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24670/stat : 24670 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140226732112552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24671] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24671/stat : 24671 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140226731060008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24672] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140226730007464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24673] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24673/stat : 24673 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140226728954920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24674] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24674/stat : 24674 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140226727901352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24675] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24675/stat : 24675 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140226726848808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24676] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24676/stat : 24676 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140226725796264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24677] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24174 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140226724743720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24678] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24174 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344619022 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140226593987176 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24679] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24174 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344619023 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140226592933496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24680] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344619023 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140226591880840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24681] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619025 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140226590829584 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24682] ppid=24665 vsize=2966184 CPUtime=1.05 cores=0,2,4,6
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24174 0 -1 4202560 8680 0 0 0 103 2 0 0 20 0 22 0 344619025 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140226589775928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24683] ppid=24665 vsize=2966184 CPUtime=0.78 cores=0,2,4,6
/proc/24667/task/24683/stat : 24683 (java) S 24665 24667 24174 0 -1 4202560 7045 0 0 0 76 2 0 0 20 0 22 0 344619025 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140225716152504 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24684] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24684/stat : 24684 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619025 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140225715100152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24685] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24685/stat : 24685 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619025 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140225714047816 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24686] ppid=24665 vsize=2966184 CPUtime=1.01 cores=0,2,4,6
/proc/24667/task/24686/stat : 24686 (java) R 24665 24667 24174 0 -1 4202560 25 0 0 0 101 0 0 0 20 0 22 0 344619067 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140225712993016 140226606230165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24687] ppid=24665 vsize=2966184 CPUtime=1.01 cores=0,2,4,6
/proc/24667/task/24687/stat : 24687 (java) R 24665 24667 24174 0 -1 4202560 200 0 0 0 96 5 0 0 20 0 22 0 344619067 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140225711940232 140226606039646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24688] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24688/stat : 24688 (java) S 24665 24667 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344619069 3037372416 90169 33554432000 1073741824 1073778376 140734543063856 140225710888488 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24689] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24689/stat : 24689 (java) S 24665 24667 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344619069 3037372416 90681 33554432000 1073741824 1073778376 140734543063856 140225709835944 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 2966184
[startup+3.1008 s]
/proc/loadavg: 3.92 3.94 3.79 5/221 24689
/proc/meminfo: memFree=27670696/32873844 swapFree=7380/7380
[pid=24667] ppid=24665 vsize=2966184 CPUtime=7.71 cores=0,2,4,6
/proc/24667/stat : 24667 (java) S 24665 24667 24174 0 -1 4202496 20602 0 1 0 762 9 0 0 20 0 22 0 344619020 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140734543054992 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24667/statm: 741546 106121 2283 9 0 732240 0
[pid=24667/tid=24669] ppid=24665 vsize=2966184 CPUtime=0.45 cores=0,2,4,6
/proc/24667/task/24669/stat : 24669 (java) S 24665 24667 24174 0 -1 4202560 2818 0 1 0 43 2 0 0 20 0 22 0 344619020 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140226747831448 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24670] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24670/stat : 24670 (java) S 24665 24667 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140226732112552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24671] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24671/stat : 24671 (java) S 24665 24667 24174 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140226731060008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24672] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24174 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140226730007464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24673] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24673/stat : 24673 (java) S 24665 24667 24174 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140226728954920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24674] ppid=24665 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24667/task/24674/stat : 24674 (java) S 24665 24667 24174 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 344619021 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140226727901352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24675] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24675/stat : 24675 (java) S 24665 24667 24174 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140226726848808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24676] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24676/stat : 24676 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140226725796264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24677] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140226724743720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24678] ppid=24665 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24174 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 344619022 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140226593987176 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24679] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344619023 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140226592933496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24680] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344619023 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140226591880840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24681] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619025 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140226590829584 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24682] ppid=24665 vsize=2966184 CPUtime=1.14 cores=0,2,4,6
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24174 0 -1 4202560 8682 0 0 0 112 2 0 0 20 0 22 0 344619025 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140226589775928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24683] ppid=24665 vsize=2966184 CPUtime=0.85 cores=0,2,4,6
/proc/24667/task/24683/stat : 24683 (java) S 24665 24667 24174 0 -1 4202560 7576 0 0 0 83 2 0 0 20 0 22 0 344619025 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140225716152504 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24684] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24684/stat : 24684 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619025 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140225715100152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24685] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24685/stat : 24685 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619025 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140225714047816 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24686] ppid=24665 vsize=2966184 CPUtime=2.55 cores=0,2,4,6
/proc/24667/task/24686/stat : 24686 (java) R 24665 24667 24174 0 -1 4202560 25 0 0 0 255 0 0 0 20 0 22 0 344619067 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140225712992848 140226606206640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24687] ppid=24665 vsize=2966184 CPUtime=2.55 cores=0,2,4,6
/proc/24667/task/24687/stat : 24687 (java) R 24665 24667 24174 0 -1 4202560 220 0 0 0 250 5 0 0 20 0 22 0 344619067 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140225711940024 140226606502863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24688] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24688/stat : 24688 (java) S 24665 24667 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344619069 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140225710888488 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24689] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24689/stat : 24689 (java) S 24665 24667 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344619069 3037372416 106121 33554432000 1073741824 1073778376 140734543063856 140225709835944 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.71
Current children cumulated vsize (KiB) 2966184
[startup+6.3008 s]
/proc/loadavg: 3.76 3.91 3.78 5/221 24689
/proc/meminfo: memFree=27633896/32873844 swapFree=7380/7380
[pid=24667] ppid=24665 vsize=2966184 CPUtime=14.3 cores=0,2,4,6
/proc/24667/stat : 24667 (java) S 24665 24667 24174 0 -1 4202496 24192 0 1 0 1420 10 0 0 20 0 22 0 344619020 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140734543054992 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24667/statm: 741546 108313 2283 9 0 732240 0
[pid=24667/tid=24669] ppid=24665 vsize=2966184 CPUtime=0.45 cores=0,2,4,6
/proc/24667/task/24669/stat : 24669 (java) S 24665 24667 24174 0 -1 4202560 2818 0 1 0 43 2 0 0 20 0 22 0 344619020 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140226747831448 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24670] ppid=24665 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24667/task/24670/stat : 24670 (java) S 24665 24667 24174 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 344619021 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140226732112552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24671] ppid=24665 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24667/task/24671/stat : 24671 (java) S 24665 24667 24174 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 344619021 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140226731060008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24672] ppid=24665 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24174 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 344619021 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140226730007464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24673] ppid=24665 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24667/task/24673/stat : 24673 (java) S 24665 24667 24174 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 344619021 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140226728954920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24674] ppid=24665 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24667/task/24674/stat : 24674 (java) S 24665 24667 24174 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 344619021 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140226727901352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24675] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24675/stat : 24675 (java) S 24665 24667 24174 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140226726848808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24676] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24676/stat : 24676 (java) S 24665 24667 24174 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344619021 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140226725796264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24677] ppid=24665 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24174 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 344619021 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140226724743720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24678] ppid=24665 vsize=2966184 CPUtime=0.1 cores=0,2,4,6
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24174 0 -1 4202560 38 0 0 0 10 0 0 0 20 0 22 0 344619022 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140226593987176 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24679] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344619023 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140226592933496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24680] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344619023 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140226591880840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24681] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619025 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140226590829584 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24682] ppid=24665 vsize=2966184 CPUtime=1.23 cores=0,2,4,6
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24174 0 -1 4202560 8685 0 0 0 121 2 0 0 20 0 22 0 344619025 3037372416 108313 33554432000 1073741824 1073778376 140734543063856 140226589775928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=24667/tid=24687] ppid=24665 vsize=2966184 CPUtime=768.45 cores=0,2,4,6
/proc/24667/task/24687/stat : 24687 (java) R 24665 24667 24174 0 -1 4202560 428 0 0 0 76825 20 0 0 20 0 22 0 344619067 3037372416 225078 33554432000 1073741824 1073778376 140734543063856 140225711938464 140226606444740 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24688] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24688/stat : 24688 (java) S 24665 24667 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344619069 3037372416 225078 33554432000 1073741824 1073778376 140734543063856 140225710888488 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24689] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24689/stat : 24689 (java) S 24665 24667 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344619069 3037372416 225078 33554432000 1073741824 1073778376 140734543063856 140225709835944 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1612.14
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.65 3.81 3.80 5/221 24696
/proc/meminfo: memFree=26830404/32873844 swapFree=7380/7380
[pid=24667] ppid=24665 vsize=2966184 CPUtime=1729.16 cores=0,2,4,6
/proc/24667/stat : 24667 (java) S 24665 24667 24174 0 -1 4202496 27502 0 1 0 172805 111 0 0 20 0 22 0 344619020 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140734543054992 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24667/statm: 741546 229758 2284 9 0 732240 0
[pid=24667/tid=24669] ppid=24665 vsize=2966184 CPUtime=0.48 cores=0,2,4,6
/proc/24667/task/24669/stat : 24669 (java) S 24665 24667 24174 0 -1 4202560 2851 0 1 0 45 3 0 0 20 0 22 0 344619020 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140226747831448 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24670] ppid=24665 vsize=2966184 CPUtime=3.54 cores=0,2,4,6
/proc/24667/task/24670/stat : 24670 (java) S 24665 24667 24174 0 -1 4202560 205 0 0 0 348 6 0 0 20 0 22 0 344619021 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140226732112552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24671] ppid=24665 vsize=2966184 CPUtime=3.72 cores=0,2,4,6
/proc/24667/task/24671/stat : 24671 (java) S 24665 24667 24174 0 -1 4202560 231 0 0 0 366 6 0 0 20 0 22 0 344619021 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140226731060008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24672] ppid=24665 vsize=2966184 CPUtime=3.51 cores=0,2,4,6
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24174 0 -1 4202560 205 0 0 0 344 7 0 0 20 0 22 0 344619021 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140226730007464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24673] ppid=24665 vsize=2966184 CPUtime=3.48 cores=0,2,4,6
/proc/24667/task/24673/stat : 24673 (java) S 24665 24667 24174 0 -1 4202560 178 0 0 0 342 6 0 0 20 0 22 0 344619021 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140226728954920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24674] ppid=24665 vsize=2966184 CPUtime=3.82 cores=0,2,4,6
/proc/24667/task/24674/stat : 24674 (java) S 24665 24667 24174 0 -1 4202560 248 0 0 0 376 6 0 0 20 0 22 0 344619021 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140226727901352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24675] ppid=24665 vsize=2966184 CPUtime=3.61 cores=0,2,4,6
/proc/24667/task/24675/stat : 24675 (java) S 24665 24667 24174 0 -1 4202560 218 0 0 0 354 7 0 0 20 0 22 0 344619021 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140226726848808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24676] ppid=24665 vsize=2966184 CPUtime=3.63 cores=0,2,4,6
/proc/24667/task/24676/stat : 24676 (java) S 24665 24667 24174 0 -1 4202560 198 0 0 0 356 7 0 0 20 0 22 0 344619021 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140226725796264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24677] ppid=24665 vsize=2966184 CPUtime=3.76 cores=0,2,4,6
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24174 0 -1 4202560 244 0 0 0 369 7 0 0 20 0 22 0 344619021 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140226724743720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24678] ppid=24665 vsize=2966184 CPUtime=49.51 cores=0,2,4,6
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24174 0 -1 4202560 138 0 0 0 4926 25 0 0 20 0 22 0 344619022 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140226593987176 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24679] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344619023 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140226592933496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24680] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344619023 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140226591880840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24681] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619025 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140226590829584 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24682] ppid=24665 vsize=2966184 CPUtime=1.69 cores=0,2,4,6
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24174 0 -1 4202560 9656 0 0 0 167 2 0 0 20 0 22 0 344619025 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140226589775928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24683] ppid=24665 vsize=2966184 CPUtime=1.04 cores=0,2,4,6
/proc/24667/task/24683/stat : 24683 (java) S 24665 24667 24174 0 -1 4202560 11136 0 0 0 102 2 0 0 20 0 22 0 344619025 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140225716152504 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24684] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24684/stat : 24684 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619025 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140225715100152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24685] ppid=24665 vsize=2966184 CPUtime=0.32 cores=0,2,4,6
/proc/24667/task/24685/stat : 24685 (java) S 24665 24667 24174 0 -1 4202560 48 0 0 0 14 18 0 0 20 0 22 0 344619025 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140225714047816 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24686] ppid=24665 vsize=2966184 CPUtime=823.73 cores=0,2,4,6
/proc/24667/task/24686/stat : 24686 (java) R 24665 24667 24174 0 -1 4202560 321 0 0 0 82358 15 0 0 20 0 22 0 344619067 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140225712991904 140226606808723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24687] ppid=24665 vsize=2966184 CPUtime=823.82 cores=0,2,4,6
/proc/24667/task/24687/stat : 24687 (java) R 24665 24667 24174 0 -1 4202560 437 0 0 0 82361 21 0 0 20 0 22 0 344619067 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140225711938464 140226606444754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24688] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24688/stat : 24688 (java) S 24665 24667 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344619069 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140225710888488 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24689] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24689/stat : 24689 (java) S 24665 24667 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344619069 3037372416 229758 33554432000 1073741824 1073778376 140734543063856 140225709835944 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1729.16
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+919.101 s]
/proc/loadavg: 3.68 3.80 3.80 6/221 24758
/proc/meminfo: memFree=27238928/32873844 swapFree=7380/7380
[pid=24667] ppid=24665 vsize=2966184 CPUtime=1800.17 cores=0,2,4,6
/proc/24667/stat : 24667 (java) S 24665 24667 24174 0 -1 4202496 27581 0 1 0 179905 112 0 0 20 0 22 0 344619020 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140734543054992 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24667/statm: 741546 229813 2284 9 0 732240 0
[pid=24667/tid=24669] ppid=24665 vsize=2966184 CPUtime=0.48 cores=0,2,4,6
/proc/24667/task/24669/stat : 24669 (java) S 24665 24667 24174 0 -1 4202560 2852 0 1 0 45 3 0 0 20 0 22 0 344619020 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226747831448 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24670] ppid=24665 vsize=2966184 CPUtime=3.72 cores=0,2,4,6
/proc/24667/task/24670/stat : 24670 (java) S 24665 24667 24174 0 -1 4202560 208 0 0 0 366 6 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226732112552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24671] ppid=24665 vsize=2966184 CPUtime=3.98 cores=0,2,4,6
/proc/24667/task/24671/stat : 24671 (java) S 24665 24667 24174 0 -1 4202560 238 0 0 0 392 6 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226731060008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24672] ppid=24665 vsize=2966184 CPUtime=3.67 cores=0,2,4,6
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24174 0 -1 4202560 212 0 0 0 360 7 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226730007464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24673] ppid=24665 vsize=2966184 CPUtime=3.68 cores=0,2,4,6
/proc/24667/task/24673/stat : 24673 (java) S 24665 24667 24174 0 -1 4202560 184 0 0 0 362 6 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226728954920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24674] ppid=24665 vsize=2966184 CPUtime=4.03 cores=0,2,4,6
/proc/24667/task/24674/stat : 24674 (java) S 24665 24667 24174 0 -1 4202560 255 0 0 0 397 6 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226727901352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24675] ppid=24665 vsize=2966184 CPUtime=3.82 cores=0,2,4,6
/proc/24667/task/24675/stat : 24675 (java) S 24665 24667 24174 0 -1 4202560 225 0 0 0 375 7 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226726848808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24676] ppid=24665 vsize=2966184 CPUtime=3.82 cores=0,2,4,6
/proc/24667/task/24676/stat : 24676 (java) S 24665 24667 24174 0 -1 4202560 207 0 0 0 375 7 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226725796264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24677] ppid=24665 vsize=2966184 CPUtime=3.91 cores=0,2,4,6
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24174 0 -1 4202560 254 0 0 0 384 7 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226724743720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24678] ppid=24665 vsize=2966184 CPUtime=52.78 cores=0,2,4,6
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24174 0 -1 4202560 140 0 0 0 5253 25 0 0 20 0 22 0 344619022 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226593987176 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24679] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344619023 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226592933496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24680] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344619023 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226591880840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24681] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619025 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226590829584 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24682] ppid=24665 vsize=2966184 CPUtime=1.69 cores=0,2,4,6
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24174 0 -1 4202560 9656 0 0 0 167 2 0 0 20 0 22 0 344619025 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226589775928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24683] ppid=24665 vsize=2966184 CPUtime=1.04 cores=0,2,4,6
/proc/24667/task/24683/stat : 24683 (java) S 24665 24667 24174 0 -1 4202560 11136 0 0 0 102 2 0 0 20 0 22 0 344619025 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140225716152504 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24684] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24684/stat : 24684 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619025 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140225715100152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24685] ppid=24665 vsize=2966184 CPUtime=0.34 cores=0,2,4,6
/proc/24667/task/24685/stat : 24685 (java) S 24665 24667 24174 0 -1 4202560 50 0 0 0 15 19 0 0 20 0 22 0 344619025 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140225714047816 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24686] ppid=24665 vsize=2966184 CPUtime=856.84 cores=0,2,4,6
/proc/24667/task/24686/stat : 24686 (java) R 24665 24667 24174 0 -1 4202560 332 0 0 0 85668 16 0 0 20 0 22 0 344619067 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140225712991904 140226605967084 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24687] ppid=24665 vsize=2966184 CPUtime=856.94 cores=0,2,4,6
/proc/24667/task/24687/stat : 24687 (java) R 24665 24667 24174 0 -1 4202560 444 0 0 0 85672 22 0 0 20 0 22 0 344619067 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140225711938576 140226606308234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24688] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24688/stat : 24688 (java) S 24665 24667 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344619069 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140225710888488 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24689] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24689/stat : 24689 (java) S 24665 24667 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344619069 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140225709835944 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+919.101 s]
/proc/loadavg: 3.68 3.80 3.80 6/221 24758
/proc/meminfo: memFree=27238928/32873844 swapFree=7380/7380
[pid=24667] ppid=24665 vsize=2966184 CPUtime=1800.17 cores=0,2,4,6
/proc/24667/stat : 24667 (java) S 24665 24667 24174 0 -1 4202496 27581 0 1 0 179905 112 0 0 20 0 22 0 344619020 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140734543054992 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24667/statm: 741546 229813 2284 9 0 732240 0
[pid=24667/tid=24669] ppid=24665 vsize=2966184 CPUtime=0.48 cores=0,2,4,6
/proc/24667/task/24669/stat : 24669 (java) S 24665 24667 24174 0 -1 4202560 2852 0 1 0 45 3 0 0 20 0 22 0 344619020 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226747831448 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24670] ppid=24665 vsize=2966184 CPUtime=3.72 cores=0,2,4,6
/proc/24667/task/24670/stat : 24670 (java) S 24665 24667 24174 0 -1 4202560 208 0 0 0 366 6 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226732112552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24671] ppid=24665 vsize=2966184 CPUtime=3.98 cores=0,2,4,6
/proc/24667/task/24671/stat : 24671 (java) S 24665 24667 24174 0 -1 4202560 238 0 0 0 392 6 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226731060008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24672] ppid=24665 vsize=2966184 CPUtime=3.67 cores=0,2,4,6
/proc/24667/task/24672/stat : 24672 (java) S 24665 24667 24174 0 -1 4202560 212 0 0 0 360 7 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226730007464 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24673] ppid=24665 vsize=2966184 CPUtime=3.68 cores=0,2,4,6
/proc/24667/task/24673/stat : 24673 (java) S 24665 24667 24174 0 -1 4202560 184 0 0 0 362 6 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226728954920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24674] ppid=24665 vsize=2966184 CPUtime=4.03 cores=0,2,4,6
/proc/24667/task/24674/stat : 24674 (java) S 24665 24667 24174 0 -1 4202560 255 0 0 0 397 6 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226727901352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24675] ppid=24665 vsize=2966184 CPUtime=3.82 cores=0,2,4,6
/proc/24667/task/24675/stat : 24675 (java) S 24665 24667 24174 0 -1 4202560 225 0 0 0 375 7 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226726848808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24676] ppid=24665 vsize=2966184 CPUtime=3.82 cores=0,2,4,6
/proc/24667/task/24676/stat : 24676 (java) S 24665 24667 24174 0 -1 4202560 207 0 0 0 375 7 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226725796264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24677] ppid=24665 vsize=2966184 CPUtime=3.91 cores=0,2,4,6
/proc/24667/task/24677/stat : 24677 (java) S 24665 24667 24174 0 -1 4202560 254 0 0 0 384 7 0 0 20 0 22 0 344619021 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226724743720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24678] ppid=24665 vsize=2966184 CPUtime=52.78 cores=0,2,4,6
/proc/24667/task/24678/stat : 24678 (java) S 24665 24667 24174 0 -1 4202560 140 0 0 0 5253 25 0 0 20 0 22 0 344619022 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226593987176 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24679] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24679/stat : 24679 (java) S 24665 24667 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344619023 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226592933496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24680] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24680/stat : 24680 (java) S 24665 24667 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344619023 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226591880840 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24681] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24681/stat : 24681 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619025 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226590829584 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24682] ppid=24665 vsize=2966184 CPUtime=1.69 cores=0,2,4,6
/proc/24667/task/24682/stat : 24682 (java) S 24665 24667 24174 0 -1 4202560 9656 0 0 0 167 2 0 0 20 0 22 0 344619025 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140226589775928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24683] ppid=24665 vsize=2966184 CPUtime=1.04 cores=0,2,4,6
/proc/24667/task/24683/stat : 24683 (java) S 24665 24667 24174 0 -1 4202560 11136 0 0 0 102 2 0 0 20 0 22 0 344619025 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140225716152504 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24684] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24684/stat : 24684 (java) S 24665 24667 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344619025 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140225715100152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24667/tid=24685] ppid=24665 vsize=2966184 CPUtime=0.34 cores=0,2,4,6
/proc/24667/task/24685/stat : 24685 (java) S 24665 24667 24174 0 -1 4202560 50 0 0 0 15 19 0 0 20 0 22 0 344619025 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140225714047816 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24686] ppid=24665 vsize=2966184 CPUtime=856.84 cores=0,2,4,6
/proc/24667/task/24686/stat : 24686 (java) R 24665 24667 24174 0 -1 4202560 332 0 0 0 85668 16 0 0 20 0 22 0 344619067 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140225712991904 140226605967084 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24667/tid=24687] ppid=24665 vsize=2966184 CPUtime=856.94 cores=0,2,4,6
/proc/24667/task/24687/stat : 24687 (java) R 24665 24667 24174 0 -1 4202560 444 0 0 0 85672 22 0 0 20 0 22 0 344619067 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140225711938576 140226606308234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24667/tid=24688] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24688/stat : 24688 (java) S 24665 24667 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344619069 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140225710888488 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24667/tid=24689] ppid=24665 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24667/task/24689/stat : 24689 (java) S 24665 24667 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344619069 3037372416 229813 33554432000 1073741824 1073778376 140734543063856 140225709835944 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 2966184
Child status: 143
Real time (s): 919.154
CPU time (s): 1801.13
CPU user time (s): 1799.55
CPU system time (s): 1.58276
CPU usage (%): 195.955
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 1.58276
maximum resident set size= 919372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27613
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36651
involuntary context switches= 62045
runsolver used 3.39948 second user time and 8.30674 second system time
The end