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-3709876-1338151494/watcher-3709876-1338151494 -o /tmp/evaluation-result-3709876-1338151494/solver-3709876-1338151494 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709876-1338151494.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: 2.27 2.11 2.04 3/194 26342
/proc/meminfo: memFree=30597044/32873844 swapFree=6872/6872
[pid=26342] ppid=26340 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/26342/stat : 26342 (java) R 26340 26342 22966 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 281277906 278528 34 33554432000 1073741824 1073778376 140735640958992 140735640956168 270109046240 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26342/statm: 625 42 34 9 0 25 0
[startup+0.0719001 s]
/proc/loadavg: 2.27 2.11 2.04 3/194 26342
/proc/meminfo: memFree=30597044/32873844 swapFree=6872/6872
[pid=26342] ppid=26340 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26342 22966 0 -1 4202496 3073 0 1 0 3 0 0 0 20 0 13 0 281277906 9446973440 3771 33554432000 1073741824 1073778376 140733803874704 140733803865840 270121599037 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26342/statm: 2306390 3771 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100258 s]
/proc/loadavg: 2.27 2.11 2.04 3/194 26342
/proc/meminfo: memFree=30597044/32873844 swapFree=6872/6872
[pid=26342] ppid=26340 vsize=9558440 CPUtime=0.05 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26342 22966 0 -1 4202496 3375 0 1 0 5 0 0 0 20 0 18 0 281277906 9787842560 4584 33554432000 1073741824 1073778376 140733803874704 140733803865840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26342/statm: 2389610 4584 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558440
[startup+0.30021 s]
/proc/loadavg: 2.27 2.11 2.04 3/194 26342
/proc/meminfo: memFree=30597044/32873844 swapFree=6872/6872
[pid=26342] ppid=26340 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26342 22966 0 -1 4202496 6600 0 1 0 46 2 0 0 20 0 19 0 281277906 9856004096 8010 33554432000 1073741824 1073778376 140733803874704 140733803865840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26342/statm: 2406251 8010 2235 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625004
[startup+0.700184 s]
/proc/loadavg: 2.27 2.11 2.04 3/194 26342
/proc/meminfo: memFree=30597044/32873844 swapFree=6872/6872
[pid=26342] ppid=26340 vsize=9625004 CPUtime=0.94 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26342 22966 0 -1 4202496 6609 0 1 0 92 2 0 0 20 0 19 0 281277906 9856004096 9552 33554432000 1073741824 1073778376 140733803874704 140733803865840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26342/statm: 2406251 9552 2241 9 0 2396937 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 9625004
[startup+1.50063 s]
/proc/loadavg: 2.27 2.11 2.04 3/213 26361
/proc/meminfo: memFree=30554808/32873844 swapFree=6872/6872
[pid=26342] ppid=26340 vsize=9625004 CPUtime=1.8 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26342 22966 0 -1 4202496 6737 0 1 0 178 2 0 0 20 0 19 0 281277906 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140733803865840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26342/statm: 2406251 12704 2273 9 0 2396937 0
[pid=26342/tid=26344] ppid=26340 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/26342/task/26344/stat : 26344 (java) R 26340 26342 22966 0 -1 4202560 2500 0 1 0 142 2 0 0 20 0 19 0 281277908 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108793791032 140108628387475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26345/stat : 26345 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108755282216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26346/stat : 26346 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108754229416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26347/stat : 26347 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108753177128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26348/stat : 26348 (java) S 26340 26342 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108752124328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26349/stat : 26349 (java) S 26340 26342 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108751072040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26350/stat : 26350 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108750019240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26351/stat : 26351 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108748966952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26352/stat : 26352 (java) S 26340 26342 22966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108747914152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26353/stat : 26353 (java) S 26340 26342 22966 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 281277911 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108617869544 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26354/stat : 26354 (java) S 26340 26342 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281277911 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108616815608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26355/stat : 26355 (java) S 26340 26342 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281277912 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108615763208 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26356/stat : 26356 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277914 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108614711696 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=9625004 CPUtime=0.16 cores=0,2,4,6
/proc/26342/task/26357/stat : 26357 (java) S 26340 26342 22966 0 -1 4202560 1684 0 0 0 16 0 0 0 20 0 19 0 281277914 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108613659320 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=9625004 CPUtime=0.15 cores=0,2,4,6
/proc/26342/task/26358/stat : 26358 (java) S 26340 26342 22966 0 -1 4202560 1318 0 0 0 15 0 0 0 20 0 19 0 281277914 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140108612606520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26359/stat : 26359 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277915 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140107738770552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26360/stat : 26360 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277915 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140107737717960 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26361/stat : 26361 (java) S 26340 26342 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281277926 9856004096 12704 33554432000 1073741824 1073778376 140733803874704 140107736662952 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 9625004
[startup+3.1007 s]
/proc/loadavg: 2.27 2.11 2.04 3/213 26361
/proc/meminfo: memFree=30544320/32873844 swapFree=6872/6872
[pid=26342] ppid=26340 vsize=9625004 CPUtime=3.46 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26342 22966 0 -1 4202496 6771 0 1 0 343 3 0 0 20 0 19 0 281277906 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140733803865840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26342/statm: 2406251 16810 2273 9 0 2396937 0
[pid=26342/tid=26344] ppid=26340 vsize=9625004 CPUtime=3.01 cores=0,2,4,6
/proc/26342/task/26344/stat : 26344 (java) R 26340 26342 22966 0 -1 4202560 2501 0 1 0 299 2 0 0 20 0 19 0 281277908 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108793790728 140108628387475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26345/stat : 26345 (java) S 26340 26342 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108755282216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26346/stat : 26346 (java) S 26340 26342 22966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108754229416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26347/stat : 26347 (java) S 26340 26342 22966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108753177128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26348/stat : 26348 (java) S 26340 26342 22966 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108752124328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26349/stat : 26349 (java) S 26340 26342 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108751072040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26350/stat : 26350 (java) S 26340 26342 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108750019240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26351/stat : 26351 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108748966952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26352/stat : 26352 (java) S 26340 26342 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108747914152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/26342/task/26353/stat : 26353 (java) S 26340 26342 22966 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 281277911 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108617869544 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26354/stat : 26354 (java) S 26340 26342 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281277911 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108616815608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26355/stat : 26355 (java) S 26340 26342 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281277912 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108615763208 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26356/stat : 26356 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277914 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108614711696 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/26342/task/26357/stat : 26357 (java) S 26340 26342 22966 0 -1 4202560 1684 0 0 0 18 0 0 0 20 0 19 0 281277914 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108613659320 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=9625004 CPUtime=0.17 cores=0,2,4,6
/proc/26342/task/26358/stat : 26358 (java) S 26340 26342 22966 0 -1 4202560 1319 0 0 0 17 0 0 0 20 0 19 0 281277914 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140108612606520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26359/stat : 26359 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277915 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140107738770552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26360/stat : 26360 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277915 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140107737717960 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26361/stat : 26361 (java) S 26340 26342 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281277926 9856004096 16810 33554432000 1073741824 1073778376 140733803874704 140107736662952 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 9625004
[startup+6.30071 s]
/proc/loadavg: 2.25 2.11 2.04 3/213 26361
/proc/meminfo: memFree=30533708/32873844 swapFree=6872/6872
[pid=26342] ppid=26340 vsize=9625004 CPUtime=6.71 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26342 22966 0 -1 4202496 6803 0 1 0 667 4 0 0 20 0 19 0 281277906 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140733803865840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26342/statm: 2406251 20392 2275 9 0 2396937 0
[pid=26342/tid=26344] ppid=26340 vsize=9625004 CPUtime=6.16 cores=0,2,4,6
/proc/26342/task/26344/stat : 26344 (java) R 26340 26342 22966 0 -1 4202560 2504 0 1 0 614 2 0 0 20 0 19 0 281277908 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108793790768 140108628499538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26345/stat : 26345 (java) S 26340 26342 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108755282216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26346/stat : 26346 (java) S 26340 26342 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108754229416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26347/stat : 26347 (java) S 26340 26342 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108753177128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26348/stat : 26348 (java) S 26340 26342 22966 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108752124328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26349/stat : 26349 (java) S 26340 26342 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108751072040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26350/stat : 26350 (java) S 26340 26342 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108750019240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26351/stat : 26351 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108748966952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26352/stat : 26352 (java) S 26340 26342 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281277910 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108747914152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/26342/task/26353/stat : 26353 (java) S 26340 26342 22966 0 -1 4202560 36 0 0 0 5 0 0 0 20 0 19 0 281277911 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108617869544 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26354/stat : 26354 (java) S 26340 26342 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281277911 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108616815608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26355/stat : 26355 (java) S 26340 26342 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281277912 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108615763208 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26356/stat : 26356 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277914 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108614711696 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/26342/task/26357/stat : 26357 (java) S 26340 26342 22966 0 -1 4202560 1684 0 0 0 18 0 0 0 20 0 19 0 281277914 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108613659320 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=9625004 CPUtime=0.21 cores=0,2,4,6
/proc/26342/task/26358/stat : 26358 (java) S 26340 26342 22966 0 -1 4202560 1322 0 0 0 21 0 0 0 20 0 19 0 281277914 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140108612606520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26359/stat : 26359 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277915 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140107738770552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26360/stat : 26360 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277915 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140107737717960 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26361/stat : 26361 (java) S 26340 26342 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281277926 9856004096 20392 33554432000 1073741824 1073778376 140733803874704 140107736662952 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
################
# More data... #
################
[pid=26342/tid=26357] ppid=26340 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/26342/task/26357/stat : 26357 (java) S 26340 26342 22966 0 -1 4202560 1684 0 0 0 18 0 0 0 20 0 19 0 281277914 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108613659320 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/26342/task/26358/stat : 26358 (java) S 26340 26342 22966 0 -1 4202560 1518 0 0 0 25 0 0 0 20 0 19 0 281277914 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108612606520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26359/stat : 26359 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277915 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140107738770552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/26342/task/26360/stat : 26360 (java) S 26340 26342 22966 0 -1 4202560 99 0 0 0 49 15 0 0 20 0 19 0 281277915 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140107737717960 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26361/stat : 26361 (java) S 26340 26342 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281277926 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140107736662952 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1727.44
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 26458
/proc/meminfo: memFree=30007112/32873844 swapFree=6872/6872
[pid=26342] ppid=26340 vsize=9625004 CPUtime=1787.46 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26342 22966 0 -1 4202496 9343 0 1 0 178699 47 0 0 20 0 19 0 281277906 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140733803865840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26342/statm: 2406251 97605 2276 9 0 2396937 0
[pid=26342/tid=26344] ppid=26340 vsize=9625004 CPUtime=1771.03 cores=0,2,4,6
/proc/26342/task/26344/stat : 26344 (java) R 26340 26342 22966 0 -1 4202560 2627 0 1 0 177073 30 0 0 20 0 19 0 281277908 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108793790768 140108628387265 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=9625004 CPUtime=0.77 cores=0,2,4,6
/proc/26342/task/26345/stat : 26345 (java) S 26340 26342 22966 0 -1 4202560 318 0 0 0 74 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108755282216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/26342/task/26346/stat : 26346 (java) S 26340 26342 22966 0 -1 4202560 173 0 0 0 65 2 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108754229416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/26342/task/26347/stat : 26347 (java) S 26340 26342 22966 0 -1 4202560 85 0 0 0 75 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108753177128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=9625004 CPUtime=0.82 cores=0,2,4,6
/proc/26342/task/26348/stat : 26348 (java) S 26340 26342 22966 0 -1 4202560 363 0 0 0 79 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108752124328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=9625004 CPUtime=0.79 cores=0,2,4,6
/proc/26342/task/26349/stat : 26349 (java) S 26340 26342 22966 0 -1 4202560 270 0 0 0 76 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108751072040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/26342/task/26350/stat : 26350 (java) S 26340 26342 22966 0 -1 4202560 228 0 0 0 83 4 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108750019240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=9625004 CPUtime=0.89 cores=0,2,4,6
/proc/26342/task/26351/stat : 26351 (java) S 26340 26342 22966 0 -1 4202560 376 0 0 0 85 4 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108748966952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/26342/task/26352/stat : 26352 (java) S 26340 26342 22966 0 -1 4202560 248 0 0 0 83 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108747914152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=9625004 CPUtime=4.63 cores=0,2,4,6
/proc/26342/task/26353/stat : 26353 (java) S 26340 26342 22966 0 -1 4202560 170 0 0 0 460 3 0 0 20 0 19 0 281277911 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108617869544 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26354/stat : 26354 (java) S 26340 26342 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281277911 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108616815608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26355/stat : 26355 (java) S 26340 26342 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281277912 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108615763208 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26356/stat : 26356 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277914 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108614711696 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/26342/task/26357/stat : 26357 (java) S 26340 26342 22966 0 -1 4202560 1684 0 0 0 18 0 0 0 20 0 19 0 281277914 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108613659320 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/26342/task/26358/stat : 26358 (java) S 26340 26342 22966 0 -1 4202560 1518 0 0 0 25 0 0 0 20 0 19 0 281277914 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108612606520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26359/stat : 26359 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277915 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140107738770552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/26342/task/26360/stat : 26360 (java) S 26340 26342 22966 0 -1 4202560 103 0 0 0 51 15 0 0 20 0 19 0 281277915 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140107737717960 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26361/stat : 26361 (java) S 26340 26342 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281277926 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140107736662952 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1787.46
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.9 s]
/proc/loadavg: 2.00 2.03 2.00 4/213 26458
/proc/meminfo: memFree=30007112/32873844 swapFree=6872/6872
[pid=26342] ppid=26340 vsize=9625004 CPUtime=1800.07 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26342 22966 0 -1 4202496 9343 0 1 0 179959 48 0 0 20 0 19 0 281277906 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140733803865840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26342/statm: 2406251 97605 2276 9 0 2396937 0
[pid=26342/tid=26344] ppid=26340 vsize=9625004 CPUtime=1783.6 cores=0,2,4,6
/proc/26342/task/26344/stat : 26344 (java) R 26340 26342 22966 0 -1 4202560 2627 0 1 0 178329 31 0 0 20 0 19 0 281277908 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108793790768 140108628387924 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=9625004 CPUtime=0.77 cores=0,2,4,6
/proc/26342/task/26345/stat : 26345 (java) S 26340 26342 22966 0 -1 4202560 318 0 0 0 74 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108755282216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/26342/task/26346/stat : 26346 (java) S 26340 26342 22966 0 -1 4202560 173 0 0 0 65 2 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108754229416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/26342/task/26347/stat : 26347 (java) S 26340 26342 22966 0 -1 4202560 85 0 0 0 75 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108753177128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=9625004 CPUtime=0.82 cores=0,2,4,6
/proc/26342/task/26348/stat : 26348 (java) S 26340 26342 22966 0 -1 4202560 363 0 0 0 79 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108752124328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=9625004 CPUtime=0.79 cores=0,2,4,6
/proc/26342/task/26349/stat : 26349 (java) S 26340 26342 22966 0 -1 4202560 270 0 0 0 76 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108751072040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/26342/task/26350/stat : 26350 (java) S 26340 26342 22966 0 -1 4202560 228 0 0 0 83 4 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108750019240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=9625004 CPUtime=0.89 cores=0,2,4,6
/proc/26342/task/26351/stat : 26351 (java) S 26340 26342 22966 0 -1 4202560 376 0 0 0 85 4 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108748966952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/26342/task/26352/stat : 26352 (java) S 26340 26342 22966 0 -1 4202560 248 0 0 0 83 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108747914152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=9625004 CPUtime=4.63 cores=0,2,4,6
/proc/26342/task/26353/stat : 26353 (java) S 26340 26342 22966 0 -1 4202560 170 0 0 0 460 3 0 0 20 0 19 0 281277911 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108617869544 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26354/stat : 26354 (java) S 26340 26342 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281277911 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108616815608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26355/stat : 26355 (java) S 26340 26342 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281277912 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108615763208 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26356/stat : 26356 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277914 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108614711696 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/26342/task/26357/stat : 26357 (java) S 26340 26342 22966 0 -1 4202560 1684 0 0 0 18 0 0 0 20 0 19 0 281277914 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108613659320 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/26342/task/26358/stat : 26358 (java) S 26340 26342 22966 0 -1 4202560 1518 0 0 0 25 0 0 0 20 0 19 0 281277914 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108612606520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26359/stat : 26359 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277915 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140107738770552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/26342/task/26360/stat : 26360 (java) S 26340 26342 22966 0 -1 4202560 103 0 0 0 51 15 0 0 20 0 19 0 281277915 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140107737717960 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26361/stat : 26361 (java) S 26340 26342 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281277926 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140107736662952 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.9 s]
/proc/loadavg: 2.00 2.03 2.00 4/213 26458
/proc/meminfo: memFree=30007112/32873844 swapFree=6872/6872
[pid=26342] ppid=26340 vsize=9625004 CPUtime=1800.07 cores=0,2,4,6
/proc/26342/stat : 26342 (java) S 26340 26342 22966 0 -1 4202496 9343 0 1 0 179959 48 0 0 20 0 19 0 281277906 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140733803865840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26342/statm: 2406251 97605 2276 9 0 2396937 0
[pid=26342/tid=26344] ppid=26340 vsize=9625004 CPUtime=1783.6 cores=0,2,4,6
/proc/26342/task/26344/stat : 26344 (java) R 26340 26342 22966 0 -1 4202560 2627 0 1 0 178329 31 0 0 20 0 19 0 281277908 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108793790768 140108628387924 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=9625004 CPUtime=0.77 cores=0,2,4,6
/proc/26342/task/26345/stat : 26345 (java) S 26340 26342 22966 0 -1 4202560 318 0 0 0 74 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108755282216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/26342/task/26346/stat : 26346 (java) S 26340 26342 22966 0 -1 4202560 173 0 0 0 65 2 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108754229416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/26342/task/26347/stat : 26347 (java) S 26340 26342 22966 0 -1 4202560 85 0 0 0 75 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108753177128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=9625004 CPUtime=0.82 cores=0,2,4,6
/proc/26342/task/26348/stat : 26348 (java) S 26340 26342 22966 0 -1 4202560 363 0 0 0 79 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108752124328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=9625004 CPUtime=0.79 cores=0,2,4,6
/proc/26342/task/26349/stat : 26349 (java) S 26340 26342 22966 0 -1 4202560 270 0 0 0 76 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108751072040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/26342/task/26350/stat : 26350 (java) S 26340 26342 22966 0 -1 4202560 228 0 0 0 83 4 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108750019240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=9625004 CPUtime=0.89 cores=0,2,4,6
/proc/26342/task/26351/stat : 26351 (java) S 26340 26342 22966 0 -1 4202560 376 0 0 0 85 4 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108748966952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/26342/task/26352/stat : 26352 (java) S 26340 26342 22966 0 -1 4202560 248 0 0 0 83 3 0 0 20 0 19 0 281277910 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108747914152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=9625004 CPUtime=4.63 cores=0,2,4,6
/proc/26342/task/26353/stat : 26353 (java) S 26340 26342 22966 0 -1 4202560 170 0 0 0 460 3 0 0 20 0 19 0 281277911 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108617869544 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26354/stat : 26354 (java) S 26340 26342 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281277911 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108616815608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26355/stat : 26355 (java) S 26340 26342 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281277912 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108615763208 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26356/stat : 26356 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277914 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108614711696 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/26342/task/26357/stat : 26357 (java) S 26340 26342 22966 0 -1 4202560 1684 0 0 0 18 0 0 0 20 0 19 0 281277914 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108613659320 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/26342/task/26358/stat : 26358 (java) S 26340 26342 22966 0 -1 4202560 1518 0 0 0 25 0 0 0 20 0 19 0 281277914 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140108612606520 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26359/stat : 26359 (java) S 26340 26342 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281277915 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140107738770552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/26342/task/26360/stat : 26360 (java) S 26340 26342 22966 0 -1 4202560 103 0 0 0 51 15 0 0 20 0 19 0 281277915 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140107737717960 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26342/task/26361/stat : 26361 (java) S 26340 26342 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281277926 9856004096 97605 33554432000 1073741824 1073778376 140733803874704 140107736662952 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625004
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26342 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=249080
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=881865
# CPU time returned by wait4() is 1796.13
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1794.95
CPU time (s): 1800.07
CPU user time (s): 1799.59
CPU system time (s): 0.48
CPU usage (%): 100.285
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.25
system time used= 0.881865
maximum resident set size= 394672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9388
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40334
involuntary context switches= 26757
runsolver used 4.92225 second user time and 16.2815 second system time
The end