runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3457057-1307215872/watcher-3457057-1307215872 -o /tmp/evaluation-result-3457057-1307215872/solver-3457057-1307215872 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457057-1307215872.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 4/345 383
/proc/meminfo: memFree=24066028/32951124 swapFree=67056304/67111528
[pid=383] ppid=381 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/383/stat : 383 (java) R 381 383 326 0 -1 4202496 414 0 0 0 0 0 0 0 21 0 1 0 911817766 9318400 161 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260020396023 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/383/statm: 2275 165 125 9 0 67 0
[pid=383/tid=384] ppid=381 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/383/task/384/stat : 384 (java) R 381 383 326 0 -1 4202560 2732 0 1 0 0 0 0 0 22 0 2 0 911817766 10694979584 3548 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.096664 s]
/proc/loadavg: 0.00 0.00 0.00 4/345 383
/proc/meminfo: memFree=24066028/32951124 swapFree=67056304/67111528
[pid=383] ppid=381 vsize=10540484 CPUtime=0.1 cores=1,3,5,7
/proc/383/stat : 383 (java) S 381 383 326 0 -1 4202496 13060 0 1 0 8 2 0 0 21 0 18 0 911817766 10793455616 12747 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/383/statm: 2635121 12747 2092 9 0 2625855 0
[pid=383/tid=384] ppid=381 vsize=10540484 CPUtime=0.08 cores=1,3,5,7
/proc/383/task/384/stat : 384 (java) R 381 383 326 0 -1 4202560 11130 0 1 0 7 1 0 0 18 0 18 0 911817766 10793455616 12748 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540484
[startup+0.100661 s]
/proc/loadavg: 0.00 0.00 0.00 4/345 383
/proc/meminfo: memFree=24066028/32951124 swapFree=67056304/67111528
[pid=383] ppid=381 vsize=10540484 CPUtime=0.11 cores=1,3,5,7
/proc/383/stat : 383 (java) S 381 383 326 0 -1 4202496 13123 0 1 0 9 2 0 0 21 0 18 0 911817766 10793455616 12810 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/383/statm: 2635121 12811 2092 9 0 2625855 0
[pid=383/tid=384] ppid=381 vsize=10540484 CPUtime=0.08 cores=1,3,5,7
/proc/383/task/384/stat : 384 (java) R 381 383 326 0 -1 4202560 11193 0 1 0 7 1 0 0 18 0 18 0 911817766 10793455616 12811 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 47930330630995 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540484
[startup+0.300579 s]
/proc/loadavg: 0.00 0.00 0.00 4/345 383
/proc/meminfo: memFree=24066028/32951124 swapFree=67056304/67111528
[pid=383] ppid=381 vsize=10542884 CPUtime=0.49 cores=1,3,5,7
/proc/383/stat : 383 (java) S 381 383 326 0 -1 4202496 16197 0 1 0 46 3 0 0 21 0 19 0 911817766 10795913216 15441 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/383/statm: 2635721 15441 2209 9 0 2626455 0
[pid=383/tid=384] ppid=381 vsize=10542884 CPUtime=0.28 cores=1,3,5,7
/proc/383/task/384/stat : 384 (java) R 381 383 326 0 -1 4202560 12988 0 1 0 26 2 0 0 18 0 19 0 911817766 10795913216 15441 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 46912505183275 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542884
[startup+0.70051 s]
/proc/loadavg: 0.00 0.00 0.00 4/345 383
/proc/meminfo: memFree=24066028/32951124 swapFree=67056304/67111528
[pid=383] ppid=381 vsize=10554072 CPUtime=1.62 cores=1,3,5,7
/proc/383/stat : 383 (java) S 381 383 326 0 -1 4202496 42761 0 1 0 156 6 0 0 21 0 19 0 911817766 10807369728 38847 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/383/statm: 2638518 38853 2222 9 0 2629252 0
[pid=383/tid=384] ppid=381 vsize=10554072 CPUtime=0.68 cores=1,3,5,7
/proc/383/task/384/stat : 384 (java) R 381 383 326 0 -1 4202560 30890 0 1 0 64 4 0 0 18 0 19 0 911817766 10807369728 38855 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 46912505641736 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10554072
[startup+1.50136 s]
/proc/loadavg: 0.00 0.00 0.00 3/364 402
/proc/meminfo: memFree=23409056/32951124 swapFree=67056304/67111528
[pid=383] ppid=381 vsize=10554072 CPUtime=2.74 cores=1,3,5,7
/proc/383/stat : 383 (java) S 381 383 326 0 -1 4202496 137355 0 1 0 257 17 0 0 21 0 19 0 911817766 10807369728 132344 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/383/statm: 2638518 132349 2226 9 0 2629252 0
[pid=383/tid=384] ppid=381 vsize=10554072 CPUtime=1.48 cores=1,3,5,7
/proc/383/task/384/stat : 384 (java) R 381 383 326 0 -1 4202560 124307 0 1 0 133 15 0 0 19 0 19 0 911817766 10807369728 132351 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 46912505666788 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=383/tid=386] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/386/stat : 386 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 911817768 10807369728 132354 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=387] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/387/stat : 387 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 132357 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=388] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/388/stat : 388 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 132359 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=389] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/389/stat : 389 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 132361 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=390] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/390/stat : 390 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 132362 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=391] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/391/stat : 391 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 132363 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=392] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/392/stat : 392 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 132366 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=393] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/393/stat : 393 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 132368 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=394] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/394/stat : 394 (java) S 381 383 326 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911817769 10807369728 132371 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 0 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=395] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/395/stat : 395 (java) S 381 383 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911817769 10807369728 132373 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=396] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/396/stat : 396 (java) S 381 383 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911817769 10807369728 132375 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=397] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/397/stat : 397 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817771 10807369728 132378 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032219569 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=398] ppid=381 vsize=10554072 CPUtime=0.66 cores=1,3,5,7
/proc/383/task/398/stat : 398 (java) R 381 383 326 0 -1 4202560 6896 0 0 0 66 0 0 0 20 0 19 0 911817771 10807369728 132381 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 47930326724347 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=383/tid=399] ppid=381 vsize=10554072 CPUtime=0.56 cores=1,3,5,7
/proc/383/task/399/stat : 399 (java) R 381 383 326 0 -1 4202560 4999 0 0 0 56 0 0 0 19 0 19 0 911817771 10807369728 132384 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 47930326984054 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=383/tid=400] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/400/stat : 400 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817771 10807369728 132388 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=401] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/401/stat : 401 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911817771 10807369728 132390 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=402] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/402/stat : 402 (java) S 381 383 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817795 10807369728 132392 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 10554072
[startup+3.10113 s]
/proc/loadavg: 0.24 0.05 0.02 3/364 402
/proc/meminfo: memFree=22393496/32951124 swapFree=67056304/67111528
[pid=383] ppid=381 vsize=10554072 CPUtime=4.36 cores=1,3,5,7
/proc/383/stat : 383 (java) S 381 383 326 0 -1 4202496 324902 0 1 0 400 36 0 0 21 0 19 0 911817766 10807369728 319891 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/383/statm: 2638518 319895 2226 9 0 2629252 0
[pid=383/tid=384] ppid=381 vsize=10554072 CPUtime=3.09 cores=1,3,5,7
/proc/383/task/384/stat : 384 (java) R 381 383 326 0 -1 4202560 311846 0 1 0 274 35 0 0 23 0 19 0 911817766 10807369728 319897 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 46912505666788 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=383/tid=386] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/386/stat : 386 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 911817768 10807369728 319898 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=387] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/387/stat : 387 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 319900 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=388] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/388/stat : 388 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 319902 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=389] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/389/stat : 389 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 319904 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=390] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/390/stat : 390 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 319906 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=391] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/391/stat : 391 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 319909 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=392] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/392/stat : 392 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 319911 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=393] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/393/stat : 393 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 319914 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=394] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/394/stat : 394 (java) S 381 383 326 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911817769 10807369728 319916 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 0 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=395] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/395/stat : 395 (java) S 381 383 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911817769 10807369728 319919 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=396] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/396/stat : 396 (java) S 381 383 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911817769 10807369728 319921 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=397] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/397/stat : 397 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817771 10807369728 319923 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032219569 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=398] ppid=381 vsize=10554072 CPUtime=0.68 cores=1,3,5,7
/proc/383/task/398/stat : 398 (java) S 381 383 326 0 -1 4202560 6900 0 0 0 68 0 0 0 18 0 19 0 911817771 10807369728 319926 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=399] ppid=381 vsize=10554072 CPUtime=0.57 cores=1,3,5,7
/proc/383/task/399/stat : 399 (java) S 381 383 326 0 -1 4202560 5002 0 0 0 57 0 0 0 19 0 19 0 911817771 10807369728 319928 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=400] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/400/stat : 400 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817771 10807369728 319930 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=401] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/401/stat : 401 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911817771 10807369728 319932 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=402] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/402/stat : 402 (java) S 381 383 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817795 10807369728 319935 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 10554072
[startup+6.30153 s]
/proc/loadavg: 0.24 0.05 0.02 3/364 402
/proc/meminfo: memFree=19662268/32951124 swapFree=67056304/67111528
[pid=383] ppid=381 vsize=10554072 CPUtime=7.57 cores=1,3,5,7
/proc/383/stat : 383 (java) S 381 383 326 0 -1 4202496 660689 0 1 0 684 73 0 0 21 0 19 0 911817766 10807369728 655669 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/383/statm: 2638518 655676 2227 9 0 2629252 0
[pid=383/tid=384] ppid=381 vsize=10554072 CPUtime=6.28 cores=1,3,5,7
/proc/383/task/384/stat : 384 (java) R 381 383 326 0 -1 4202560 647636 0 1 0 557 71 0 0 21 0 19 0 911817766 10807369728 655679 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 46912505635391 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=383/tid=386] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/386/stat : 386 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 911817768 10807369728 655683 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=387] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/387/stat : 387 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 655686 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=388] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/388/stat : 388 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 655690 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=389] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/389/stat : 389 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 655694 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=390] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/390/stat : 390 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 655697 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=391] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/391/stat : 391 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 655700 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=392] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/392/stat : 392 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 655703 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=393] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/393/stat : 393 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817768 10807369728 655705 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=394] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/394/stat : 394 (java) S 381 383 326 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911817769 10807369728 655708 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 0 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=395] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/395/stat : 395 (java) S 381 383 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911817769 10807369728 655709 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=396] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/396/stat : 396 (java) S 381 383 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911817769 10807369728 655711 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=397] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/397/stat : 397 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817771 10807369728 655712 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032219569 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=398] ppid=381 vsize=10554072 CPUtime=0.69 cores=1,3,5,7
/proc/383/task/398/stat : 398 (java) S 381 383 326 0 -1 4202560 6900 0 0 0 69 0 0 0 18 0 19 0 911817771 10807369728 655714 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=399] ppid=381 vsize=10554072 CPUtime=0.57 cores=1,3,5,7
/proc/383/task/399/stat : 399 (java) S 381 383 326 0 -1 4202560 5002 0 0 0 57 0 0 0 19 0 19 0 911817771 10807369728 655715 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/383/task/396/stat : 396 (java) S 381 383 326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911817769 10807369728 918539 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=397] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/397/stat : 397 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817771 10807369728 918539 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032219569 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=398] ppid=381 vsize=10554072 CPUtime=0.94 cores=1,3,5,7
/proc/383/task/398/stat : 398 (java) S 381 383 326 0 -1 4202560 6960 0 0 0 94 0 0 0 15 0 19 0 911817771 10807369728 918539 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=399] ppid=381 vsize=10554072 CPUtime=0.73 cores=1,3,5,7
/proc/383/task/399/stat : 399 (java) S 381 383 326 0 -1 4202560 5037 0 0 0 73 0 0 0 15 0 19 0 911817771 10807369728 918539 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=400] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/400/stat : 400 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817771 10807369728 918539 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=401] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/401/stat : 401 (java) S 381 383 326 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 911817771 10807369728 918539 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=402] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/402/stat : 402 (java) S 381 383 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817795 10807369728 918539 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1667.17
Current children cumulated vsize (KiB) 10554072
[startup+1722.3 s]
/proc/loadavg: 2.04 2.00 1.67 3/364 450
/proc/meminfo: memFree=16765072/32951124 swapFree=67056304/67111528
[pid=383] ppid=381 vsize=10554072 CPUtime=1727.3 cores=1,3,5,7
/proc/383/stat : 383 (java) S 381 383 326 0 -1 4202496 925268 0 1 0 172624 106 0 0 21 0 19 0 911817766 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/383/statm: 2638518 919169 2256 9 0 2629252 0
[pid=383/tid=384] ppid=381 vsize=10554072 CPUtime=1720.18 cores=1,3,5,7
/proc/383/task/384/stat : 384 (java) R 381 383 326 0 -1 4202560 835225 0 1 0 171927 91 0 0 25 0 19 0 911817766 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 46912505840333 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=383/tid=386] ppid=381 vsize=10554072 CPUtime=0.55 cores=1,3,5,7
/proc/383/task/386/stat : 386 (java) S 381 383 326 0 -1 4202560 7188 0 0 0 55 0 0 0 16 0 19 0 911817768 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=387] ppid=381 vsize=10554072 CPUtime=0.6 cores=1,3,5,7
/proc/383/task/387/stat : 387 (java) S 381 383 326 0 -1 4202560 9616 0 0 0 60 0 0 0 16 0 19 0 911817768 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=388] ppid=381 vsize=10554072 CPUtime=0.56 cores=1,3,5,7
/proc/383/task/388/stat : 388 (java) S 381 383 326 0 -1 4202560 7742 0 0 0 55 1 0 0 15 0 19 0 911817768 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=389] ppid=381 vsize=10554072 CPUtime=0.65 cores=1,3,5,7
/proc/383/task/389/stat : 389 (java) S 381 383 326 0 -1 4202560 10010 0 0 0 64 1 0 0 15 0 19 0 911817768 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=390] ppid=381 vsize=10554072 CPUtime=0.51 cores=1,3,5,7
/proc/383/task/390/stat : 390 (java) S 381 383 326 0 -1 4202560 7778 0 0 0 50 1 0 0 16 0 19 0 911817768 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=391] ppid=381 vsize=10554072 CPUtime=0.69 cores=1,3,5,7
/proc/383/task/391/stat : 391 (java) S 381 383 326 0 -1 4202560 8393 0 0 0 68 1 0 0 16 0 19 0 911817768 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=392] ppid=381 vsize=10554072 CPUtime=0.61 cores=1,3,5,7
/proc/383/task/392/stat : 392 (java) S 381 383 326 0 -1 4202560 9101 0 0 0 61 0 0 0 15 0 19 0 911817768 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=393] ppid=381 vsize=10554072 CPUtime=0.66 cores=1,3,5,7
/proc/383/task/393/stat : 393 (java) S 381 383 326 0 -1 4202560 11116 0 0 0 64 2 0 0 15 0 19 0 911817768 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=394] ppid=381 vsize=10554072 CPUtime=0.48 cores=1,3,5,7
/proc/383/task/394/stat : 394 (java) S 381 383 326 0 -1 4202560 5851 0 0 0 47 1 0 0 15 0 19 0 911817769 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 0 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=395] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/395/stat : 395 (java) S 381 383 326 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 911817769 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=396] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/396/stat : 396 (java) S 381 383 326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911817769 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=397] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/397/stat : 397 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817771 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032219569 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=398] ppid=381 vsize=10554072 CPUtime=0.94 cores=1,3,5,7
/proc/383/task/398/stat : 398 (java) S 381 383 326 0 -1 4202560 6960 0 0 0 94 0 0 0 15 0 19 0 911817771 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=399] ppid=381 vsize=10554072 CPUtime=0.73 cores=1,3,5,7
/proc/383/task/399/stat : 399 (java) S 381 383 326 0 -1 4202560 5037 0 0 0 73 0 0 0 15 0 19 0 911817771 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=400] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/400/stat : 400 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817771 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=401] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/401/stat : 401 (java) S 381 383 326 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 911817771 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=402] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/402/stat : 402 (java) S 381 383 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817795 10807369728 919169 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1727.3
Current children cumulated vsize (KiB) 10554072
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.69 3/364 452
/proc/meminfo: memFree=16759816/32951124 swapFree=67056304/67111528
[pid=383] ppid=381 vsize=10554072 CPUtime=1787.46 cores=1,3,5,7
/proc/383/stat : 383 (java) S 381 383 326 0 -1 4202496 926060 0 1 0 178640 106 0 0 21 0 19 0 911817766 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/383/statm: 2638518 919938 2256 9 0 2629252 0
[pid=383/tid=384] ppid=381 vsize=10554072 CPUtime=1779.63 cores=1,3,5,7
/proc/383/task/384/stat : 384 (java) R 381 383 326 0 -1 4202560 835229 0 1 0 177872 91 0 0 25 0 19 0 911817766 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 46912505712072 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=383/tid=386] ppid=381 vsize=10554072 CPUtime=0.56 cores=1,3,5,7
/proc/383/task/386/stat : 386 (java) S 381 383 326 0 -1 4202560 7287 0 0 0 56 0 0 0 16 0 19 0 911817768 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=387] ppid=381 vsize=10554072 CPUtime=0.63 cores=1,3,5,7
/proc/383/task/387/stat : 387 (java) S 381 383 326 0 -1 4202560 9683 0 0 0 63 0 0 0 15 0 19 0 911817768 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=388] ppid=381 vsize=10554072 CPUtime=0.59 cores=1,3,5,7
/proc/383/task/388/stat : 388 (java) S 381 383 326 0 -1 4202560 7756 0 0 0 58 1 0 0 16 0 19 0 911817768 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=389] ppid=381 vsize=10554072 CPUtime=0.69 cores=1,3,5,7
/proc/383/task/389/stat : 389 (java) S 381 383 326 0 -1 4202560 10292 0 0 0 68 1 0 0 15 0 19 0 911817768 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=390] ppid=381 vsize=10554072 CPUtime=0.53 cores=1,3,5,7
/proc/383/task/390/stat : 390 (java) S 381 383 326 0 -1 4202560 7808 0 0 0 52 1 0 0 15 0 19 0 911817768 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=391] ppid=381 vsize=10554072 CPUtime=0.71 cores=1,3,5,7
/proc/383/task/391/stat : 391 (java) S 381 383 326 0 -1 4202560 8594 0 0 0 70 1 0 0 15 0 19 0 911817768 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=392] ppid=381 vsize=10554072 CPUtime=0.62 cores=1,3,5,7
/proc/383/task/392/stat : 392 (java) S 381 383 326 0 -1 4202560 9106 0 0 0 62 0 0 0 16 0 19 0 911817768 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=393] ppid=381 vsize=10554072 CPUtime=0.68 cores=1,3,5,7
/proc/383/task/393/stat : 393 (java) S 381 383 326 0 -1 4202560 11143 0 0 0 66 2 0 0 16 0 19 0 911817768 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=394] ppid=381 vsize=10554072 CPUtime=0.98 cores=1,3,5,7
/proc/383/task/394/stat : 394 (java) S 381 383 326 0 -1 4202560 5911 0 0 0 97 1 0 0 15 0 19 0 911817769 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 0 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=395] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/395/stat : 395 (java) S 381 383 326 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 911817769 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=396] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/396/stat : 396 (java) S 381 383 326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911817769 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=397] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/397/stat : 397 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817771 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032219569 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=398] ppid=381 vsize=10554072 CPUtime=0.94 cores=1,3,5,7
/proc/383/task/398/stat : 398 (java) S 381 383 326 0 -1 4202560 6960 0 0 0 94 0 0 0 15 0 19 0 911817771 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=399] ppid=381 vsize=10554072 CPUtime=0.75 cores=1,3,5,7
/proc/383/task/399/stat : 399 (java) S 381 383 326 0 -1 4202560 5038 0 0 0 75 0 0 0 15 0 19 0 911817771 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=400] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/400/stat : 400 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817771 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=401] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/401/stat : 401 (java) S 381 383 326 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911817771 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=402] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/402/stat : 402 (java) S 381 383 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817795 10807369728 919938 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1787.46
Current children cumulated vsize (KiB) 10554072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.9 s]
/proc/loadavg: 2.01 2.00 1.69 3/348 474
/proc/meminfo: memFree=16869108/32951124 swapFree=67056304/67111528
[pid=383] ppid=381 vsize=10554072 CPUtime=1800.09 cores=1,3,5,7
/proc/383/stat : 383 (java) S 381 383 326 0 -1 4202496 926076 0 1 0 179903 106 0 0 21 0 19 0 911817766 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/383/statm: 2638518 919949 2256 9 0 2629252 0
[pid=383/tid=384] ppid=381 vsize=10554072 CPUtime=1792.23 cores=1,3,5,7
/proc/383/task/384/stat : 384 (java) R 381 383 326 0 -1 4202560 835230 0 1 0 179132 91 0 0 25 0 19 0 911817766 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 46912505646945 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=383/tid=386] ppid=381 vsize=10554072 CPUtime=0.57 cores=1,3,5,7
/proc/383/task/386/stat : 386 (java) S 381 383 326 0 -1 4202560 7288 0 0 0 57 0 0 0 16 0 19 0 911817768 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=387] ppid=381 vsize=10554072 CPUtime=0.63 cores=1,3,5,7
/proc/383/task/387/stat : 387 (java) S 381 383 326 0 -1 4202560 9683 0 0 0 63 0 0 0 15 0 19 0 911817768 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=388] ppid=381 vsize=10554072 CPUtime=0.59 cores=1,3,5,7
/proc/383/task/388/stat : 388 (java) S 381 383 326 0 -1 4202560 7756 0 0 0 58 1 0 0 15 0 19 0 911817768 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=389] ppid=381 vsize=10554072 CPUtime=0.69 cores=1,3,5,7
/proc/383/task/389/stat : 389 (java) S 381 383 326 0 -1 4202560 10292 0 0 0 68 1 0 0 15 0 19 0 911817768 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=390] ppid=381 vsize=10554072 CPUtime=0.54 cores=1,3,5,7
/proc/383/task/390/stat : 390 (java) S 381 383 326 0 -1 4202560 7813 0 0 0 53 1 0 0 16 0 19 0 911817768 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=391] ppid=381 vsize=10554072 CPUtime=0.73 cores=1,3,5,7
/proc/383/task/391/stat : 391 (java) S 381 383 326 0 -1 4202560 8599 0 0 0 72 1 0 0 16 0 19 0 911817768 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=392] ppid=381 vsize=10554072 CPUtime=0.62 cores=1,3,5,7
/proc/383/task/392/stat : 392 (java) S 381 383 326 0 -1 4202560 9106 0 0 0 62 0 0 0 15 0 19 0 911817768 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=393] ppid=381 vsize=10554072 CPUtime=0.68 cores=1,3,5,7
/proc/383/task/393/stat : 393 (java) S 381 383 326 0 -1 4202560 11143 0 0 0 66 2 0 0 15 0 19 0 911817768 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=394] ppid=381 vsize=10554072 CPUtime=0.98 cores=1,3,5,7
/proc/383/task/394/stat : 394 (java) S 381 383 326 0 -1 4202560 5913 0 0 0 97 1 0 0 15 0 19 0 911817769 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 0 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
[pid=383/tid=395] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/395/stat : 395 (java) S 381 383 326 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 911817769 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=396] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/396/stat : 396 (java) S 381 383 326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911817769 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=397] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/397/stat : 397 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817771 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032219569 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=398] ppid=381 vsize=10554072 CPUtime=0.94 cores=1,3,5,7
/proc/383/task/398/stat : 398 (java) S 381 383 326 0 -1 4202560 6960 0 0 0 94 0 0 0 15 0 19 0 911817771 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0
[pid=383/tid=399] ppid=381 vsize=10554072 CPUtime=0.75 cores=1,3,5,7
/proc/383/task/399/stat : 399 (java) S 381 383 326 0 -1 4202560 5038 0 0 0 75 0 0 0 15 0 19 0 911817771 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=400] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/400/stat : 400 (java) S 381 383 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911817771 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0
[pid=383/tid=401] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/401/stat : 401 (java) S 381 383 326 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 911817771 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0
[pid=383/tid=402] ppid=381 vsize=10554072 CPUtime=0 cores=1,3,5,7
/proc/383/task/402/stat : 402 (java) S 381 383 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911817795 10807369728 919949 33554432000 1073741824 1073778376 140734115388848 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10554072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.02 s]
/proc/loadavg: 2.01 2.00 1.69 3/348 474
/proc/meminfo: memFree=16869108/32951124 swapFree=67056304/67111528
[pid=383] ppid=381 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/383/stat : 383 (java) Z 381 383 326 0 -1 4203548 926112 0 1 0 179907 113 0 0 17 0 2 0 911817766 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/383/statm: 0 0 0 0 0 0 0
[pid=383/tid=400] ppid=381 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/383/task/400/stat : 400 (java) R 381 383 326 0 -1 4203588 1 0 0 0 0 7 0 0 18 0 2 0 911817771 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.09
CPU time (s): 1800.28
CPU user time (s): 1799.08
CPU system time (s): 1.20182
CPU usage (%): 100.289
Max. virtual memory (cumulated for all children) (KiB): 10554072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.20182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 926112
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40274
involuntary context switches= 16076
runsolver used 5.82511 second user time and 13.7899 second system time
The end