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-3718377-1338252350/watcher-3718377-1338252350 -o /tmp/evaluation-result-3718377-1338252350/solver-3718377-1338252350 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718377-1338252350.wbo
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.07 2.00 3/194 16669
/proc/meminfo: memFree=30357960/32873844 swapFree=7632/7632
[pid=16669] ppid=16667 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/16669/stat : 16669 (java) D 16667 16669 14287 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 291360577 2560000 46 33554432000 1073741824 1073778376 140735697636848 140735697633976 214360485159 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/16669/statm: 625 46 37 9 0 29 0
[startup+0.095954 s]
/proc/loadavg: 2.06 2.07 2.00 3/194 16669
/proc/meminfo: memFree=30357960/32873844 swapFree=7632/7632
[pid=16669] ppid=16667 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/16669/stat : 16669 (java) S 16667 16669 14287 0 -1 4202496 3312 0 1 0 5 1 0 0 20 0 18 0 291360577 9787817984 4520 33554432000 1073741824 1073778376 140733272997376 140733272988512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16669/statm: 2389604 4520 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558416
[startup+0.100342 s]
/proc/loadavg: 2.06 2.07 2.00 3/194 16669
/proc/meminfo: memFree=30357960/32873844 swapFree=7632/7632
[pid=16669] ppid=16667 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/16669/stat : 16669 (java) S 16667 16669 14287 0 -1 4202496 3358 0 1 0 5 1 0 0 20 0 18 0 291360577 9787817984 4566 33554432000 1073741824 1073778376 140733272997376 140733272988512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16669/statm: 2389604 4566 1773 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558416
[startup+0.300283 s]
/proc/loadavg: 2.06 2.07 2.00 3/194 16669
/proc/meminfo: memFree=30357960/32873844 swapFree=7632/7632
[pid=16669] ppid=16667 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/16669/stat : 16669 (java) S 16667 16669 14287 0 -1 4202496 6415 0 1 0 44 2 0 0 20 0 19 0 291360577 9855979520 7152 33554432000 1073741824 1073778376 140733272997376 140733272988512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16669/statm: 2406245 7152 2222 9 0 2396937 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9624980
[startup+0.700249 s]
/proc/loadavg: 2.06 2.07 2.00 3/194 16669
/proc/meminfo: memFree=30357960/32873844 swapFree=7632/7632
[pid=16669] ppid=16667 vsize=9624980 CPUtime=1 cores=1,3,5,7
/proc/16669/stat : 16669 (java) S 16667 16669 14287 0 -1 4202496 7439 0 1 0 97 3 0 0 20 0 19 0 291360577 9855979520 10335 33554432000 1073741824 1073778376 140733272997376 140733272988512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16669/statm: 2406245 10335 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 9624980
[startup+1.50068 s]
/proc/loadavg: 2.06 2.07 2.00 3/213 16688
/proc/meminfo: memFree=30324392/32873844 swapFree=7632/7632
[pid=16669] ppid=16667 vsize=9624980 CPUtime=1.83 cores=1,3,5,7
/proc/16669/stat : 16669 (java) S 16667 16669 14287 0 -1 4202496 7449 0 1 0 180 3 0 0 20 0 19 0 291360577 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140733272988512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16669/statm: 2406245 11873 2262 9 0 2396937 0
[pid=16669/tid=16671] ppid=16667 vsize=9624980 CPUtime=1.43 cores=1,3,5,7
/proc/16669/task/16671/stat : 16671 (java) R 16667 16669 14287 0 -1 4202560 2462 0 1 0 141 2 0 0 20 0 19 0 291360579 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614980280712 140614830595028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16672] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16672/stat : 16672 (java) S 16667 16669 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614952733096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16673] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16673/stat : 16673 (java) S 16667 16669 14287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614951680552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16674] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16674/stat : 16674 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614950627496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16675] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16675/stat : 16675 (java) S 16667 16669 14287 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614949574952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16676] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16676/stat : 16676 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614819163048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16677] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16677/stat : 16677 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614818110504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16678] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16678/stat : 16678 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614817057448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16679] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16679/stat : 16679 (java) S 16667 16669 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614816004904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16669/tid=16680] ppid=16667 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16669/task/16680/stat : 16680 (java) S 16667 16669 14287 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 291360581 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614333491560 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16669/tid=16681] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16681/stat : 16681 (java) S 16667 16669 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291360582 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614332437880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16682] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16682/stat : 16682 (java) S 16667 16669 14287 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291360582 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614331384712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16683] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16683/stat : 16683 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614330333456 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16684] ppid=16667 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/16669/task/16684/stat : 16684 (java) S 16667 16669 14287 0 -1 4202560 1961 0 0 0 16 0 0 0 20 0 19 0 291360585 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614329281336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16685] ppid=16667 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/16669/task/16685/stat : 16685 (java) S 16667 16669 14287 0 -1 4202560 1776 0 0 0 17 0 0 0 20 0 19 0 291360585 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614328228792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16686] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16686/stat : 16686 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614327175928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16687] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16687/stat : 16687 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614326123592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16688] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16688/stat : 16688 (java) S 16667 16669 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291360596 9855979520 11873 33554432000 1073741824 1073778376 140733272997376 140614325068840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9624980
[startup+3.10067 s]
/proc/loadavg: 2.05 2.07 2.00 3/213 16688
/proc/meminfo: memFree=30315704/32873844 swapFree=7632/7632
[pid=16669] ppid=16667 vsize=9624980 CPUtime=3.46 cores=1,3,5,7
/proc/16669/stat : 16669 (java) S 16667 16669 14287 0 -1 4202496 7474 0 1 0 343 3 0 0 20 0 19 0 291360577 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140733272988512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16669/statm: 2406245 12914 2263 9 0 2396937 0
[pid=16669/tid=16671] ppid=16667 vsize=9624980 CPUtime=2.97 cores=1,3,5,7
/proc/16669/task/16671/stat : 16671 (java) R 16667 16669 14287 0 -1 4202560 2463 0 1 0 295 2 0 0 20 0 19 0 291360579 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614980280592 140614830580131 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16672] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16672/stat : 16672 (java) S 16667 16669 14287 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614952733096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16673] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16673/stat : 16673 (java) S 16667 16669 14287 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614951680552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16674] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16674/stat : 16674 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614950627496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16675] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16675/stat : 16675 (java) S 16667 16669 14287 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614949574952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16676] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16676/stat : 16676 (java) S 16667 16669 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614819163048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16677] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16677/stat : 16677 (java) S 16667 16669 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614818110504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16678] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16678/stat : 16678 (java) S 16667 16669 14287 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614817057448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16679] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16679/stat : 16679 (java) S 16667 16669 14287 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614816004904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16680] ppid=16667 vsize=9624980 CPUtime=0.04 cores=1,3,5,7
/proc/16669/task/16680/stat : 16680 (java) S 16667 16669 14287 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 291360581 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614333491560 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16681] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16681/stat : 16681 (java) S 16667 16669 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291360582 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614332437880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16682] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16682/stat : 16682 (java) S 16667 16669 14287 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291360582 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614331384712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16683] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16683/stat : 16683 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614330333456 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16684] ppid=16667 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16669/task/16684/stat : 16684 (java) S 16667 16669 14287 0 -1 4202560 1964 0 0 0 18 0 0 0 20 0 19 0 291360585 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614329281336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16685] ppid=16667 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/16669/task/16685/stat : 16685 (java) S 16667 16669 14287 0 -1 4202560 1776 0 0 0 17 0 0 0 20 0 19 0 291360585 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614328228792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16686] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16686/stat : 16686 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614327175928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16687] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16687/stat : 16687 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614326123592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16688] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16688/stat : 16688 (java) S 16667 16669 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291360596 9855979520 12914 33554432000 1073741824 1073778376 140733272997376 140614325068840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 9624980
[startup+6.30063 s]
/proc/loadavg: 2.05 2.07 2.00 3/213 16688
/proc/meminfo: memFree=30309320/32873844 swapFree=7632/7632
[pid=16669] ppid=16667 vsize=9624980 CPUtime=6.71 cores=1,3,5,7
/proc/16669/stat : 16669 (java) S 16667 16669 14287 0 -1 4202496 7489 0 1 0 667 4 0 0 20 0 19 0 291360577 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140733272988512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16669/statm: 2406245 13937 2263 9 0 2396937 0
[pid=16669/tid=16671] ppid=16667 vsize=9624980 CPUtime=6.09 cores=1,3,5,7
/proc/16669/task/16671/stat : 16671 (java) R 16667 16669 14287 0 -1 4202560 2467 0 1 0 607 2 0 0 20 0 19 0 291360579 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614980280712 140614830539167 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16672] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16672/stat : 16672 (java) S 16667 16669 14287 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614952733096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16669/tid=16673] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16673/stat : 16673 (java) S 16667 16669 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614951680552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16674] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16674/stat : 16674 (java) S 16667 16669 14287 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614950627496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16675] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16675/stat : 16675 (java) S 16667 16669 14287 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614949574952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16676] ppid=16667 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16669/task/16676/stat : 16676 (java) S 16667 16669 14287 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291360580 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614819163048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16677] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16677/stat : 16677 (java) S 16667 16669 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614818110504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16678] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16678/stat : 16678 (java) S 16667 16669 14287 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614817057448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16679] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16679/stat : 16679 (java) S 16667 16669 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291360580 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614816004904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16680] ppid=16667 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/16669/task/16680/stat : 16680 (java) S 16667 16669 14287 0 -1 4202560 35 0 0 0 9 0 0 0 20 0 19 0 291360581 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614333491560 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16669/tid=16681] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16681/stat : 16681 (java) S 16667 16669 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291360582 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614332437880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16682] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16682/stat : 16682 (java) S 16667 16669 14287 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291360582 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614331384712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16683] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16683/stat : 16683 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614330333456 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16684] ppid=16667 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16669/task/16684/stat : 16684 (java) S 16667 16669 14287 0 -1 4202560 1964 0 0 0 18 0 0 0 20 0 19 0 291360585 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614329281336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16685] ppid=16667 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/16669/task/16685/stat : 16685 (java) S 16667 16669 14287 0 -1 4202560 1776 0 0 0 17 0 0 0 20 0 19 0 291360585 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614328228792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16686] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16686/stat : 16686 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614327175928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16687] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16687/stat : 16687 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614326123592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16688] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16688/stat : 16688 (java) S 16667 16669 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291360596 9855979520 13937 33554432000 1073741824 1073778376 140733272997376 140614325068840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 9624980
[startup+12.7007 s]
################
# More data... #
################
[pid=16669/tid=16684] ppid=16667 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16669/task/16684/stat : 16684 (java) S 16667 16669 14287 0 -1 4202560 1964 0 0 0 18 0 0 0 20 0 19 0 291360585 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614329281336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16685] ppid=16667 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16669/task/16685/stat : 16685 (java) S 16667 16669 14287 0 -1 4202560 2074 0 0 0 19 0 0 0 20 0 19 0 291360585 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614328228792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16686] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16686/stat : 16686 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614327175928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16687] ppid=16667 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/16669/task/16687/stat : 16687 (java) S 16667 16669 14287 0 -1 4202560 95 0 0 0 36 35 0 0 20 0 19 0 291360585 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614326123592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16688] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16688/stat : 16688 (java) S 16667 16669 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291360596 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614325068840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1668.27
Current children cumulated vsize (KiB) 9624980
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/214 16784
/proc/meminfo: memFree=30666180/32873844 swapFree=7632/7632
[pid=16669] ppid=16667 vsize=9624980 CPUtime=1728.34 cores=1,3,5,7
/proc/16669/stat : 16669 (java) S 16667 16669 14287 0 -1 4202496 10066 0 1 0 172755 79 0 0 20 0 19 0 291360577 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140733272988512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16669/statm: 2406245 71938 2264 9 0 2396937 0
[pid=16669/tid=16671] ppid=16667 vsize=9624980 CPUtime=1710.33 cores=1,3,5,7
/proc/16669/task/16671/stat : 16671 (java) R 16667 16669 14287 0 -1 4202560 2586 0 1 0 171005 28 0 0 20 0 19 0 291360579 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614980280592 140614830549634 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16672] ppid=16667 vsize=9624980 CPUtime=0.96 cores=1,3,5,7
/proc/16669/task/16672/stat : 16672 (java) S 16667 16669 14287 0 -1 4202560 270 0 0 0 93 3 0 0 20 0 19 0 291360580 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614952733096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16669/tid=16673] ppid=16667 vsize=9624980 CPUtime=0.9 cores=1,3,5,7
/proc/16669/task/16673/stat : 16673 (java) S 16667 16669 14287 0 -1 4202560 387 0 0 0 87 3 0 0 20 0 19 0 291360580 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614951680552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16674] ppid=16667 vsize=9624980 CPUtime=0.75 cores=1,3,5,7
/proc/16669/task/16674/stat : 16674 (java) S 16667 16669 14287 0 -1 4202560 135 0 0 0 72 3 0 0 20 0 19 0 291360580 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614950627496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16675] ppid=16667 vsize=9624980 CPUtime=0.94 cores=1,3,5,7
/proc/16669/task/16675/stat : 16675 (java) S 16667 16669 14287 0 -1 4202560 105 0 0 0 91 3 0 0 20 0 19 0 291360580 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614949574952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16676] ppid=16667 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/16669/task/16676/stat : 16676 (java) S 16667 16669 14287 0 -1 4202560 199 0 0 0 84 3 0 0 20 0 19 0 291360580 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614819163048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16677] ppid=16667 vsize=9624980 CPUtime=0.9 cores=1,3,5,7
/proc/16669/task/16677/stat : 16677 (java) S 16667 16669 14287 0 -1 4202560 350 0 0 0 87 3 0 0 20 0 19 0 291360580 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614818110504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16669/tid=16678] ppid=16667 vsize=9624980 CPUtime=0.83 cores=1,3,5,7
/proc/16669/task/16678/stat : 16678 (java) S 16667 16669 14287 0 -1 4202560 356 0 0 0 79 4 0 0 20 0 19 0 291360580 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614817057448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16679] ppid=16667 vsize=9624980 CPUtime=0.81 cores=1,3,5,7
/proc/16669/task/16679/stat : 16679 (java) S 16667 16669 14287 0 -1 4202560 216 0 0 0 78 3 0 0 20 0 19 0 291360580 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614816004904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16680] ppid=16667 vsize=9624980 CPUtime=5.35 cores=1,3,5,7
/proc/16669/task/16680/stat : 16680 (java) S 16667 16669 14287 0 -1 4202560 144 0 0 0 533 2 0 0 20 0 19 0 291360581 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614333491560 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16681] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16681/stat : 16681 (java) S 16667 16669 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291360582 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614332437880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16682] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16682/stat : 16682 (java) S 16667 16669 14287 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291360582 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614331384712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16683] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16683/stat : 16683 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614330333456 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16684] ppid=16667 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16669/task/16684/stat : 16684 (java) S 16667 16669 14287 0 -1 4202560 1964 0 0 0 18 0 0 0 20 0 19 0 291360585 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614329281336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16685] ppid=16667 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16669/task/16685/stat : 16685 (java) S 16667 16669 14287 0 -1 4202560 2074 0 0 0 19 0 0 0 20 0 19 0 291360585 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614328228792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16686] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16686/stat : 16686 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614327175928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16687] ppid=16667 vsize=9624980 CPUtime=0.74 cores=1,3,5,7
/proc/16669/task/16687/stat : 16687 (java) S 16667 16669 14287 0 -1 4202560 99 0 0 0 37 37 0 0 20 0 19 0 291360585 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614326123592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16688] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16688/stat : 16688 (java) S 16667 16669 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291360596 9855979520 71938 33554432000 1073741824 1073778376 140733272997376 140614325068840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1728.34
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 16785
/proc/meminfo: memFree=30567628/32873844 swapFree=7632/7632
[pid=16669] ppid=16667 vsize=9624980 CPUtime=1788.45 cores=1,3,5,7
/proc/16669/stat : 16669 (java) S 16667 16669 14287 0 -1 4202496 10083 0 1 0 178764 81 0 0 20 0 19 0 291360577 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140733272988512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16669/statm: 2406245 71948 2264 9 0 2396937 0
[pid=16669/tid=16671] ppid=16667 vsize=9624980 CPUtime=1770.06 cores=1,3,5,7
/proc/16669/task/16671/stat : 16671 (java) R 16667 16669 14287 0 -1 4202560 2587 0 1 0 176977 29 0 0 20 0 19 0 291360579 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614980280592 140614830609971 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16672] ppid=16667 vsize=9624980 CPUtime=0.98 cores=1,3,5,7
/proc/16669/task/16672/stat : 16672 (java) S 16667 16669 14287 0 -1 4202560 280 0 0 0 95 3 0 0 20 0 19 0 291360580 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614952733096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16673] ppid=16667 vsize=9624980 CPUtime=0.92 cores=1,3,5,7
/proc/16669/task/16673/stat : 16673 (java) S 16667 16669 14287 0 -1 4202560 387 0 0 0 89 3 0 0 20 0 19 0 291360580 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614951680552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16674] ppid=16667 vsize=9624980 CPUtime=0.76 cores=1,3,5,7
/proc/16669/task/16674/stat : 16674 (java) S 16667 16669 14287 0 -1 4202560 135 0 0 0 73 3 0 0 20 0 19 0 291360580 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614950627496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16675] ppid=16667 vsize=9624980 CPUtime=0.94 cores=1,3,5,7
/proc/16669/task/16675/stat : 16675 (java) S 16667 16669 14287 0 -1 4202560 105 0 0 0 91 3 0 0 20 0 19 0 291360580 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614949574952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16676] ppid=16667 vsize=9624980 CPUtime=0.88 cores=1,3,5,7
/proc/16669/task/16676/stat : 16676 (java) S 16667 16669 14287 0 -1 4202560 199 0 0 0 85 3 0 0 20 0 19 0 291360580 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614819163048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16669/tid=16677] ppid=16667 vsize=9624980 CPUtime=0.91 cores=1,3,5,7
/proc/16669/task/16677/stat : 16677 (java) S 16667 16669 14287 0 -1 4202560 350 0 0 0 88 3 0 0 20 0 19 0 291360580 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614818110504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16669/tid=16678] ppid=16667 vsize=9624980 CPUtime=0.84 cores=1,3,5,7
/proc/16669/task/16678/stat : 16678 (java) S 16667 16669 14287 0 -1 4202560 356 0 0 0 80 4 0 0 20 0 19 0 291360580 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614817057448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16679] ppid=16667 vsize=9624980 CPUtime=0.82 cores=1,3,5,7
/proc/16669/task/16679/stat : 16679 (java) S 16667 16669 14287 0 -1 4202560 216 0 0 0 79 3 0 0 20 0 19 0 291360580 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614816004904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16680] ppid=16667 vsize=9624980 CPUtime=5.44 cores=1,3,5,7
/proc/16669/task/16680/stat : 16680 (java) S 16667 16669 14287 0 -1 4202560 146 0 0 0 542 2 0 0 20 0 19 0 291360581 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614333491560 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16681] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16681/stat : 16681 (java) S 16667 16669 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291360582 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614332437880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16682] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16682/stat : 16682 (java) S 16667 16669 14287 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291360582 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614331384712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16683] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16683/stat : 16683 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614330333456 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16684] ppid=16667 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16669/task/16684/stat : 16684 (java) S 16667 16669 14287 0 -1 4202560 1964 0 0 0 18 0 0 0 20 0 19 0 291360585 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614329281336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16685] ppid=16667 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16669/task/16685/stat : 16685 (java) S 16667 16669 14287 0 -1 4202560 2074 0 0 0 19 0 0 0 20 0 19 0 291360585 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614328228792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16686] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16686/stat : 16686 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614327175928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16687] ppid=16667 vsize=9624980 CPUtime=0.77 cores=1,3,5,7
/proc/16669/task/16687/stat : 16687 (java) S 16667 16669 14287 0 -1 4202560 103 0 0 0 39 38 0 0 20 0 19 0 291360585 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614326123592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16688] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16688/stat : 16688 (java) S 16667 16669 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291360596 9855979520 71948 33554432000 1073741824 1073778376 140733272997376 140614325068840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1788.45
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 16785
/proc/meminfo: memFree=30567504/32873844 swapFree=7632/7632
[pid=16669] ppid=16667 vsize=9624980 CPUtime=1800.03 cores=1,3,5,7
/proc/16669/stat : 16669 (java) S 16667 16669 14287 0 -1 4202496 10129 0 1 0 179921 82 0 0 20 0 19 0 291360577 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140733272988512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16669/statm: 2406245 71991 2264 9 0 2396937 0
[pid=16669/tid=16671] ppid=16667 vsize=9624980 CPUtime=1781.42 cores=1,3,5,7
/proc/16669/task/16671/stat : 16671 (java) R 16667 16669 14287 0 -1 4202560 2588 0 1 0 178112 30 0 0 20 0 19 0 291360579 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614980280592 140614830609952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16672] ppid=16667 vsize=9624980 CPUtime=1 cores=1,3,5,7
/proc/16669/task/16672/stat : 16672 (java) S 16667 16669 14287 0 -1 4202560 284 0 0 0 97 3 0 0 20 0 19 0 291360580 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614952733096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16673] ppid=16667 vsize=9624980 CPUtime=0.92 cores=1,3,5,7
/proc/16669/task/16673/stat : 16673 (java) S 16667 16669 14287 0 -1 4202560 387 0 0 0 89 3 0 0 20 0 19 0 291360580 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614951680552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16674] ppid=16667 vsize=9624980 CPUtime=0.77 cores=1,3,5,7
/proc/16669/task/16674/stat : 16674 (java) S 16667 16669 14287 0 -1 4202560 135 0 0 0 74 3 0 0 20 0 19 0 291360580 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614950627496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16675] ppid=16667 vsize=9624980 CPUtime=0.95 cores=1,3,5,7
/proc/16669/task/16675/stat : 16675 (java) S 16667 16669 14287 0 -1 4202560 105 0 0 0 92 3 0 0 20 0 19 0 291360580 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614949574952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16676] ppid=16667 vsize=9624980 CPUtime=0.89 cores=1,3,5,7
/proc/16669/task/16676/stat : 16676 (java) S 16667 16669 14287 0 -1 4202560 199 0 0 0 86 3 0 0 20 0 19 0 291360580 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614819163048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16677] ppid=16667 vsize=9624980 CPUtime=0.92 cores=1,3,5,7
/proc/16669/task/16677/stat : 16677 (java) S 16667 16669 14287 0 -1 4202560 350 0 0 0 89 3 0 0 20 0 19 0 291360580 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614818110504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16669/tid=16678] ppid=16667 vsize=9624980 CPUtime=0.86 cores=1,3,5,7
/proc/16669/task/16678/stat : 16678 (java) S 16667 16669 14287 0 -1 4202560 395 0 0 0 82 4 0 0 20 0 19 0 291360580 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614817057448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16679] ppid=16667 vsize=9624980 CPUtime=0.82 cores=1,3,5,7
/proc/16669/task/16679/stat : 16679 (java) S 16667 16669 14287 0 -1 4202560 216 0 0 0 79 3 0 0 20 0 19 0 291360580 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614816004904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16680] ppid=16667 vsize=9624980 CPUtime=5.53 cores=1,3,5,7
/proc/16669/task/16680/stat : 16680 (java) S 16667 16669 14287 0 -1 4202560 148 0 0 0 551 2 0 0 20 0 19 0 291360581 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614333491560 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16681] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16681/stat : 16681 (java) S 16667 16669 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291360582 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614332437880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16682] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16682/stat : 16682 (java) S 16667 16669 14287 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291360582 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614331384712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16683] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16683/stat : 16683 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614330333456 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16669/tid=16684] ppid=16667 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16669/task/16684/stat : 16684 (java) S 16667 16669 14287 0 -1 4202560 1964 0 0 0 18 0 0 0 20 0 19 0 291360585 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614329281336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16685] ppid=16667 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16669/task/16685/stat : 16685 (java) S 16667 16669 14287 0 -1 4202560 2074 0 0 0 19 0 0 0 20 0 19 0 291360585 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614328228792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16686] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16686/stat : 16686 (java) S 16667 16669 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291360585 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614327175928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16669/tid=16687] ppid=16667 vsize=9624980 CPUtime=0.79 cores=1,3,5,7
/proc/16669/task/16687/stat : 16687 (java) S 16667 16669 14287 0 -1 4202560 103 0 0 0 40 39 0 0 20 0 19 0 291360585 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614326123592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16669/tid=16688] ppid=16667 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16669/task/16688/stat : 16688 (java) S 16667 16669 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291360596 9855979520 71991 33554432000 1073741824 1073778376 140733272997376 140614325068840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16669 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=510192
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=103832
# CPU time returned by wait4() is 1795.61
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1793.85
CPU time (s): 1800.03
CPU user time (s): 1799.21
CPU system time (s): 0.82
CPU usage (%): 100.344
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.51
system time used= 1.10383
maximum resident set size= 288128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10172
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40764
involuntary context switches= 21142
runsolver used 6.40103 second user time and 16.3925 second system time
The end