runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4106453-1466270855/watcher-4106453-1466270855 -o /tmp/evaluation-result-4106453-1466270855/solver-4106453-1466270855 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466265808-19865 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106453-1466270855.opb
pid=21485
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.36 2.25 2.19 3/194 21488
/proc/meminfo: memFree=30562464/32872528 swapFree=877056/942464
[pid=21488] ppid=21485 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/21488/stat : 21488 (java) S 21485 21488 19848 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 29134427 98570240 977 33554432000 1073741824 1073778376 140737076278144 140737076269280 213196505149 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21488/statm: 24065 977 743 9 0 16771 0
[pid=21488/tid=21489] ppid=21485 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21489/stat : 21489 (java) R 21485 21488 19848 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 29134427 98570240 977 33554432000 1073741824 1073778376 140737076278144 140173945994792 213193147776 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100115 s]
/proc/loadavg: 2.36 2.25 2.19 3/194 21488
/proc/meminfo: memFree=30562464/32872528 swapFree=877056/942464
[pid=21488] ppid=21485 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/21488/stat : 21488 (java) S 21485 21488 19848 0 -1 4202496 4495 0 1 0 10 1 0 0 20 0 18 0 29134427 9787879424 6125 33554432000 1073741824 1073778376 140737076278144 140737076269280 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21488/statm: 2389619 6125 2157 9 0 2380296 0
[pid=21488/tid=21489] ppid=21485 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/21488/task/21489/stat : 21489 (java) R 21485 21488 19848 0 -1 4202560 2378 0 1 0 7 0 0 0 20 0 18 0 29134427 9787879424 6125 33554432000 1073741824 1073778376 140737076278144 140173945996552 140173790791766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200338 s]
/proc/loadavg: 2.36 2.25 2.19 3/194 21488
/proc/meminfo: memFree=30562464/32872528 swapFree=877056/942464
[pid=21488] ppid=21485 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/21488/stat : 21488 (java) S 21485 21488 19848 0 -1 4202496 4709 0 1 0 25 1 0 0 20 0 19 0 29134427 9856040960 7313 33554432000 1073741824 1073778376 140737076278144 140737076269280 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21488/statm: 2406260 7313 2214 9 0 2396937 0
[pid=21488/tid=21489] ppid=21485 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/21488/task/21489/stat : 21489 (java) R 21485 21488 19848 0 -1 4202560 2403 0 1 0 16 1 0 0 20 0 19 0 29134427 9856040960 7313 33554432000 1073741824 1073778376 140737076278144 140173946000000 140173790785816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9625040
[startup+0.300307 s]
/proc/loadavg: 2.36 2.25 2.19 3/194 21488
/proc/meminfo: memFree=30562464/32872528 swapFree=877056/942464
[pid=21488] ppid=21485 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/21488/stat : 21488 (java) S 21485 21488 19848 0 -1 4202496 6354 0 1 0 48 2 0 0 20 0 19 0 29134427 9856040960 8144 33554432000 1073741824 1073778376 140737076278144 140737076269280 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21488/statm: 2406260 8144 2243 9 0 2396937 0
[pid=21488/tid=21489] ppid=21485 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/21488/task/21489/stat : 21489 (java) R 21485 21488 19848 0 -1 4202560 2410 0 1 0 26 1 0 0 20 0 19 0 29134427 9856040960 8144 33554432000 1073741824 1073778376 140737076278144 140173946000000 140173791126240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040
[startup+0.700287 s]
/proc/loadavg: 2.36 2.25 2.19 3/194 21488
/proc/meminfo: memFree=30562464/32872528 swapFree=877056/942464
[pid=21488] ppid=21485 vsize=9625040 CPUtime=1.2 cores=1,3,5,7
/proc/21488/stat : 21488 (java) S 21485 21488 19848 0 -1 4202496 15387 0 1 0 117 3 0 0 20 0 19 0 29134427 9856040960 15209 33554432000 1073741824 1073778376 140737076278144 140737076269280 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21488/statm: 2406260 15213 2255 9 0 2396937 0
[pid=21488/tid=21489] ppid=21485 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/21488/task/21489/stat : 21489 (java) R 21485 21488 19848 0 -1 4202560 2412 0 1 0 66 1 0 0 20 0 19 0 29134427 9856040960 15215 33554432000 1073741824 1073778376 140737076278144 140173945999848 140173791145788 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9625040
[startup+1.50065 s]
/proc/loadavg: 2.36 2.25 2.19 3/213 21507
/proc/meminfo: memFree=30508616/32872528 swapFree=877056/942464
[pid=21488] ppid=21485 vsize=9625040 CPUtime=2.09 cores=1,3,5,7
/proc/21488/stat : 21488 (java) S 21485 21488 19848 0 -1 4202496 15484 0 1 0 206 3 0 0 20 0 19 0 29134427 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140737076269280 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21488/statm: 2406260 16838 2257 9 0 2396937 0
[pid=21488/tid=21489] ppid=21485 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/21488/task/21489/stat : 21489 (java) R 21485 21488 19848 0 -1 4202560 2416 0 1 0 145 2 0 0 20 0 19 0 29134427 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173945990864 140173791137343 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21488/tid=21491] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21491/stat : 21491 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173918452776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21492] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21492/stat : 21492 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173917399976 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21493] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21493/stat : 21493 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173916347176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21488/tid=21494] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21494/stat : 21494 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173915294376 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21495] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21495/stat : 21495 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173914241576 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21496] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21496/stat : 21496 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173913188776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21497] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21497/stat : 21497 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173912135976 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21498] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21498/stat : 21498 (java) S 21485 21488 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173911083176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21499] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21499/stat : 21499 (java) S 21485 21488 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173299919848 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21500] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21500/stat : 21500 (java) S 21485 21488 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173298865912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21501] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21501/stat : 21501 (java) S 21485 21488 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173297813000 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21502] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21502/stat : 21502 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173296761488 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21503] ppid=21485 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/21488/task/21503/stat : 21503 (java) S 21485 21488 19848 0 -1 4202560 8289 0 0 0 30 1 0 0 20 0 19 0 29134432 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173295708600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21504] ppid=21485 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/21488/task/21504/stat : 21504 (java) S 21485 21488 19848 0 -1 4202560 3507 0 0 0 27 0 0 0 20 0 19 0 29134432 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173294655800 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21505] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21505/stat : 21505 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173293603192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21506] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21506/stat : 21506 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173292550600 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21507] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21507/stat : 21507 (java) S 21485 21488 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29134447 9856040960 16838 33554432000 1073741824 1073778376 140737076278144 140173291497128 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9625040
[startup+3.10072 s]
/proc/loadavg: 2.36 2.25 2.19 3/213 21507
/proc/meminfo: memFree=30501852/32872528 swapFree=877056/942464
[pid=21488] ppid=21485 vsize=9625040 CPUtime=3.7 cores=1,3,5,7
/proc/21488/stat : 21488 (java) S 21485 21488 19848 0 -1 4202496 15489 0 1 0 366 4 0 0 20 0 19 0 29134427 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140737076269280 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21488/statm: 2406260 18375 2257 9 0 2396937 0
[pid=21488/tid=21489] ppid=21485 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/21488/task/21489/stat : 21489 (java) R 21485 21488 19848 0 -1 4202560 2420 0 1 0 305 2 0 0 20 0 19 0 29134427 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173945997760 140173791219757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21491] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21491/stat : 21491 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173918452776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21492] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21492/stat : 21492 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173917399976 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21493] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21493/stat : 21493 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173916347176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21488/tid=21494] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21494/stat : 21494 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173915294376 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21495] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21495/stat : 21495 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173914241576 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21496] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21496/stat : 21496 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173913188776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21497] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21497/stat : 21497 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173912135976 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21498] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21498/stat : 21498 (java) S 21485 21488 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173911083176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21499] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21499/stat : 21499 (java) S 21485 21488 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173299919848 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21500] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21500/stat : 21500 (java) S 21485 21488 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173298865912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21501] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21501/stat : 21501 (java) S 21485 21488 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173297813000 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21502] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21502/stat : 21502 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173296761488 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21503] ppid=21485 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/21488/task/21503/stat : 21503 (java) S 21485 21488 19848 0 -1 4202560 8290 0 0 0 32 1 0 0 20 0 19 0 29134432 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173295708600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21504] ppid=21485 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/21488/task/21504/stat : 21504 (java) S 21485 21488 19848 0 -1 4202560 3507 0 0 0 27 0 0 0 20 0 19 0 29134432 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173294655800 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21505] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21505/stat : 21505 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173293603192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21506] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21506/stat : 21506 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173292550600 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21507] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21507/stat : 21507 (java) S 21485 21488 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29134447 9856040960 18375 33554432000 1073741824 1073778376 140737076278144 140173291497128 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 9625040
[startup+6.30073 s]
/proc/loadavg: 2.33 2.25 2.19 3/213 21507
/proc/meminfo: memFree=30489016/32872528 swapFree=877056/942464
[pid=21488] ppid=21485 vsize=9625040 CPUtime=6.9 cores=1,3,5,7
/proc/21488/stat : 21488 (java) S 21485 21488 19848 0 -1 4202496 15498 0 1 0 686 4 0 0 20 0 19 0 29134427 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140737076269280 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21488/statm: 2406260 21398 2258 9 0 2396937 0
[pid=21488/tid=21489] ppid=21485 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/21488/task/21489/stat : 21489 (java) R 21485 21488 19848 0 -1 4202560 2428 0 1 0 624 2 0 0 20 0 19 0 29134427 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140173945999752 140173791146089 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21491] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21491/stat : 21491 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140173918452776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21492] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21492/stat : 21492 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140173917399976 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21493] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21493/stat : 21493 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140173916347176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21488/tid=21494] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21494/stat : 21494 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140173915294376 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21495] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21495/stat : 21495 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140173914241576 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21496] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21496/stat : 21496 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140173913188776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21497] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21497/stat : 21497 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140173912135976 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21498] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21498/stat : 21498 (java) S 21485 21488 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29134428 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140173911083176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21499] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21499/stat : 21499 (java) S 21485 21488 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140173299919848 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21500] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21500/stat : 21500 (java) S 21485 21488 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140173298865912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21501] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21501/stat : 21501 (java) S 21485 21488 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140173297813000 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21502] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21502/stat : 21502 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140173296761488 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21503] ppid=21485 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/21488/task/21503/stat : 21503 (java) S 21485 21488 19848 0 -1 4202560 8290 0 0 0 32 1 0 0 20 0 19 0 29134432 9856040960 21398 33554432000 1073741824 1073778376 140737076278144 140173295708600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21504] ppid=21485 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
################
# More data... #
################
[pid=21488/tid=21500] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21500/stat : 21500 (java) S 21485 21488 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173298865912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21501] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21501/stat : 21501 (java) S 21485 21488 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173297813000 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21502] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21502/stat : 21502 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173296761488 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21503] ppid=21485 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/21488/task/21503/stat : 21503 (java) S 21485 21488 19848 0 -1 4202560 11223 0 0 0 107 2 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173295708600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21504] ppid=21485 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/21488/task/21504/stat : 21504 (java) S 21485 21488 19848 0 -1 4202560 3509 0 0 0 33 0 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173294655800 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21505] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21505/stat : 21505 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173293603192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21506] ppid=21485 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/21488/task/21506/stat : 21506 (java) S 21485 21488 19848 0 -1 4202560 40 0 0 0 5 9 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173292550600 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21507] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21507/stat : 21507 (java) S 21485 21488 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29134447 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173291497128 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 670.88
Current children cumulated vsize (KiB) 9625040
[startup+668.801 s]
/proc/loadavg: 2.21 2.16 2.16 3/213 21783
/proc/meminfo: memFree=30051124/32872528 swapFree=877056/942464
[pid=21488] ppid=21485 vsize=9625040 CPUtime=671.68 cores=1,3,5,7
/proc/21488/stat : 21488 (java) S 21485 21488 19848 0 -1 4202496 20963 0 1 0 67107 61 0 0 20 0 19 0 29134427 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140737076269280 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21488/statm: 2406260 140167 2272 9 0 2396937 0
[pid=21488/tid=21489] ppid=21485 vsize=9625040 CPUtime=666.5 cores=1,3,5,7
/proc/21488/task/21489/stat : 21489 (java) R 21485 21488 19848 0 -1 4202560 2498 0 1 0 66637 13 0 0 20 0 19 0 29134427 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173945990848 140173791187277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21491] ppid=21485 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/21488/task/21491/stat : 21491 (java) S 21485 21488 19848 0 -1 4202560 249 0 0 0 24 6 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173918452776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21492] ppid=21485 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/21488/task/21492/stat : 21492 (java) S 21485 21488 19848 0 -1 4202560 149 0 0 0 12 5 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173917399976 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21488/tid=21493] ppid=21485 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/21488/task/21493/stat : 21493 (java) S 21485 21488 19848 0 -1 4202560 293 0 0 0 20 6 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173916347176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21494] ppid=21485 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/21488/task/21494/stat : 21494 (java) S 21485 21488 19848 0 -1 4202560 307 0 0 0 17 5 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173915294376 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21495] ppid=21485 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/21488/task/21495/stat : 21495 (java) S 21485 21488 19848 0 -1 4202560 288 0 0 0 17 5 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173914241576 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21488/tid=21496] ppid=21485 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/21488/task/21496/stat : 21496 (java) S 21485 21488 19848 0 -1 4202560 315 0 0 0 15 3 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173913188776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21488/tid=21497] ppid=21485 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/21488/task/21497/stat : 21497 (java) S 21485 21488 19848 0 -1 4202560 288 0 0 0 11 4 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173912135976 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21498] ppid=21485 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/21488/task/21498/stat : 21498 (java) S 21485 21488 19848 0 -1 4202560 436 0 0 0 22 9 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173911083176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21499] ppid=21485 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/21488/task/21499/stat : 21499 (java) S 21485 21488 19848 0 -1 4202560 110 0 0 0 0 1 0 0 20 0 19 0 29134429 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173299919848 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21500] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21500/stat : 21500 (java) S 21485 21488 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173298865912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21501] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21501/stat : 21501 (java) S 21485 21488 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173297813000 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21502] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21502/stat : 21502 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173296761488 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21503] ppid=21485 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/21488/task/21503/stat : 21503 (java) S 21485 21488 19848 0 -1 4202560 11223 0 0 0 107 2 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173295708600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21504] ppid=21485 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/21488/task/21504/stat : 21504 (java) S 21485 21488 19848 0 -1 4202560 3509 0 0 0 33 0 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173294655800 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21505] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21505/stat : 21505 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173293603192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21506] ppid=21485 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/21488/task/21506/stat : 21506 (java) S 21485 21488 19848 0 -1 4202560 40 0 0 0 5 9 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173292550600 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21507] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21507/stat : 21507 (java) S 21485 21488 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29134447 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173291497128 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 671.68
Current children cumulated vsize (KiB) 9625040
[startup+669.201 s]
/proc/loadavg: 2.21 2.16 2.16 3/213 21783
/proc/meminfo: memFree=30051124/32872528 swapFree=877056/942464
[pid=21488] ppid=21485 vsize=9625040 CPUtime=672.08 cores=1,3,5,7
/proc/21488/stat : 21488 (java) S 21485 21488 19848 0 -1 4202496 20963 0 1 0 67147 61 0 0 20 0 19 0 29134427 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140737076269280 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21488/statm: 2406260 140167 2272 9 0 2396937 0
[pid=21488/tid=21489] ppid=21485 vsize=9625040 CPUtime=666.89 cores=1,3,5,7
/proc/21488/task/21489/stat : 21489 (java) R 21485 21488 19848 0 -1 4202560 2498 0 1 0 66676 13 0 0 20 0 19 0 29134427 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173945990848 140173791188191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21491] ppid=21485 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/21488/task/21491/stat : 21491 (java) S 21485 21488 19848 0 -1 4202560 249 0 0 0 24 6 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173918452776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21492] ppid=21485 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/21488/task/21492/stat : 21492 (java) S 21485 21488 19848 0 -1 4202560 149 0 0 0 12 5 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173917399976 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21488/tid=21493] ppid=21485 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/21488/task/21493/stat : 21493 (java) S 21485 21488 19848 0 -1 4202560 293 0 0 0 20 6 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173916347176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21494] ppid=21485 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/21488/task/21494/stat : 21494 (java) S 21485 21488 19848 0 -1 4202560 307 0 0 0 17 5 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173915294376 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21495] ppid=21485 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/21488/task/21495/stat : 21495 (java) S 21485 21488 19848 0 -1 4202560 288 0 0 0 17 5 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173914241576 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21488/tid=21496] ppid=21485 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/21488/task/21496/stat : 21496 (java) S 21485 21488 19848 0 -1 4202560 315 0 0 0 15 3 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173913188776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21488/tid=21497] ppid=21485 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/21488/task/21497/stat : 21497 (java) S 21485 21488 19848 0 -1 4202560 288 0 0 0 11 4 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173912135976 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21498] ppid=21485 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/21488/task/21498/stat : 21498 (java) S 21485 21488 19848 0 -1 4202560 436 0 0 0 22 9 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173911083176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21499] ppid=21485 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/21488/task/21499/stat : 21499 (java) S 21485 21488 19848 0 -1 4202560 110 0 0 0 0 1 0 0 20 0 19 0 29134429 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173299919848 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21500] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21500/stat : 21500 (java) S 21485 21488 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173298865912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21501] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21501/stat : 21501 (java) S 21485 21488 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173297813000 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21502] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21502/stat : 21502 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173296761488 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21503] ppid=21485 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/21488/task/21503/stat : 21503 (java) S 21485 21488 19848 0 -1 4202560 11223 0 0 0 107 2 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173295708600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21504] ppid=21485 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/21488/task/21504/stat : 21504 (java) S 21485 21488 19848 0 -1 4202560 3509 0 0 0 33 0 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173294655800 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21505] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21505/stat : 21505 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173293603192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21506] ppid=21485 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/21488/task/21506/stat : 21506 (java) S 21485 21488 19848 0 -1 4202560 40 0 0 0 5 9 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173292550600 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21507] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21507/stat : 21507 (java) S 21485 21488 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29134447 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173291497128 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 672.08
Current children cumulated vsize (KiB) 9625040
[startup+669.301 s]
/proc/loadavg: 2.21 2.16 2.16 3/213 21783
/proc/meminfo: memFree=30051124/32872528 swapFree=877056/942464
[pid=21488] ppid=21485 vsize=9625040 CPUtime=672.18 cores=1,3,5,7
/proc/21488/stat : 21488 (java) S 21485 21488 19848 0 -1 4202496 20964 0 1 0 67157 61 0 0 20 0 19 0 29134427 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140737076269280 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21488/statm: 2406260 140167 2272 9 0 2396937 0
[pid=21488/tid=21489] ppid=21485 vsize=9625040 CPUtime=666.99 cores=1,3,5,7
/proc/21488/task/21489/stat : 21489 (java) R 21485 21488 19848 0 -1 4202560 2498 0 1 0 66686 13 0 0 20 0 19 0 29134427 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173945990848 140173791335792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21491] ppid=21485 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/21488/task/21491/stat : 21491 (java) S 21485 21488 19848 0 -1 4202560 249 0 0 0 24 6 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173918452776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21492] ppid=21485 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/21488/task/21492/stat : 21492 (java) S 21485 21488 19848 0 -1 4202560 149 0 0 0 12 5 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173917399976 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21488/tid=21493] ppid=21485 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/21488/task/21493/stat : 21493 (java) S 21485 21488 19848 0 -1 4202560 293 0 0 0 20 6 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173916347176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21494] ppid=21485 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/21488/task/21494/stat : 21494 (java) S 21485 21488 19848 0 -1 4202560 307 0 0 0 17 5 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173915294376 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21495] ppid=21485 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/21488/task/21495/stat : 21495 (java) S 21485 21488 19848 0 -1 4202560 288 0 0 0 17 5 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173914241576 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21488/tid=21496] ppid=21485 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/21488/task/21496/stat : 21496 (java) S 21485 21488 19848 0 -1 4202560 315 0 0 0 15 3 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173913188776 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21488/tid=21497] ppid=21485 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/21488/task/21497/stat : 21497 (java) S 21485 21488 19848 0 -1 4202560 288 0 0 0 11 4 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173912135976 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21498] ppid=21485 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/21488/task/21498/stat : 21498 (java) S 21485 21488 19848 0 -1 4202560 436 0 0 0 22 9 0 0 20 0 19 0 29134428 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173911083176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21499] ppid=21485 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/21488/task/21499/stat : 21499 (java) S 21485 21488 19848 0 -1 4202560 110 0 0 0 0 1 0 0 20 0 19 0 29134429 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173299919848 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21500] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21500/stat : 21500 (java) S 21485 21488 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173298865912 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21501] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21501/stat : 21501 (java) S 21485 21488 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29134429 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173297813000 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21502] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21502/stat : 21502 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173296761488 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21503] ppid=21485 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/21488/task/21503/stat : 21503 (java) S 21485 21488 19848 0 -1 4202560 11223 0 0 0 107 2 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173295708600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21488/tid=21504] ppid=21485 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/21488/task/21504/stat : 21504 (java) S 21485 21488 19848 0 -1 4202560 3510 0 0 0 33 0 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173294655800 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21505] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21505/stat : 21505 (java) S 21485 21488 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173293603192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21488/tid=21506] ppid=21485 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/21488/task/21506/stat : 21506 (java) S 21485 21488 19848 0 -1 4202560 40 0 0 0 5 9 0 0 20 0 19 0 29134432 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173292550600 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21488/tid=21507] ppid=21485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21488/task/21507/stat : 21507 (java) S 21485 21488 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29134447 9856040960 140167 33554432000 1073741824 1073778376 140737076278144 140173291497128 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 672.18
Current children cumulated vsize (KiB) 9625040
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21488 and gives
# childrusage.ru_utime.tv_sec=669
# childrusage.ru_utime.tv_usec=899159
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=811876
# CPU time returned by wait4() is 670.711
# while last known CPU time is 672.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 669.377
CPU time (s): 672.18
CPU user time (s): 671.57
CPU system time (s): 0.61
CPU usage (%): 100.419
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 669.899
system time used= 0.811876
maximum resident set size= 567016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20992
page faults= 1
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14708
involuntary context switches= 4473
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.57246 second user time and 5.08723 second system time
The end