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-4244202-1500681754/watcher-4244202-1500681754 -o /tmp/evaluation-result-4244202-1500681754/solver-4244202-1500681754 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500681061-15129 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244202-1500681754.xml
pid=15656
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.10 13.81 9.46 5/266 15659
/proc/meminfo: memFree=31950620/32770624 swapFree=5940/57488
[pid=15659] ppid=15656 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/stat : 15659 (java) S 15656 15659 15097 0 -1 1077944320 1716 0 0 0 0 0 0 0 20 0 2 0 3445035 369864704 1935 33554432000 4194304 4196468 140724286764448 140724286746992 139761552092919 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
/proc/15659/statm: 90299 1935 1081 1 0 79210 0
[pid=15659/tid=15660] ppid=15656 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15660/stat : 15660 (java) S 15656 15659 15097 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 2 0 3445036 369864704 1935 33554432000 4194304 4196468 140724286764448 139761556335008 139761552104066 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[startup+0.100074 s]
/proc/loadavg: 15.10 13.81 9.46 5/266 15659
/proc/meminfo: memFree=31950620/32770624 swapFree=5940/57488
[pid=15659] ppid=15656 vsize=10900556 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15659/stat : 15659 (java) S 15656 15659 15097 0 -1 1077944320 4589 0 0 0 9 1 0 0 20 0 20 0 3445035 11162169344 6203 33554432000 4194304 4196468 140724286764448 140724286746992 139761552092919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
/proc/15659/statm: 2725139 6203 2641 1 0 2713552 0
[pid=15659/tid=15660] ppid=15656 vsize=10900556 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15660/stat : 15660 (java) R 15656 15659 15097 0 -1 4202560 2673 0 0 0 7 0 0 0 20 0 20 0 3445036 11162169344 6203 33554432000 4194304 4196468 140724286764448 139761556335200 139761552114845 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556
[startup+0.200527 s]
/proc/loadavg: 15.10 13.81 9.46 5/266 15659
/proc/meminfo: memFree=31950620/32770624 swapFree=5940/57488
[pid=15659] ppid=15656 vsize=10900556 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/15659/stat : 15659 (java) S 15656 15659 15097 0 -1 1077944320 6264 0 0 0 14 1 0 0 20 0 20 0 3445035 11162169344 7682 33554432000 4194304 4196468 140724286764448 140724286746992 139761552092919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
/proc/15659/statm: 2725139 7682 2782 1 0 2713552 0
[pid=15659/tid=15660] ppid=15656 vsize=10900556 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15660/stat : 15660 (java) D 15656 15659 15097 0 -1 1077944384 4163 0 0 0 11 1 0 0 20 0 20 0 3445036 11162169344 7682 33554432000 4194304 4196468 140724286764448 139761556281264 139761544772141 0 4 0 16800975 18446744072101617188 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 10900556
[startup+0.300467 s]
/proc/loadavg: 15.10 13.81 9.46 5/266 15659
/proc/meminfo: memFree=31950620/32770624 swapFree=5940/57488
[pid=15659] ppid=15656 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15659/stat : 15659 (java) S 15656 15659 15097 0 -1 1077944320 6399 0 0 0 16 2 0 0 20 0 20 0 3445035 11162169344 7775 33554432000 4194304 4196468 140724286764448 140724286746992 139761552092919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
/proc/15659/statm: 2725139 7775 2785 1 0 2713552 0
[pid=15659/tid=15660] ppid=15656 vsize=10900556 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15660/stat : 15660 (java) R 15656 15659 15097 0 -1 4202560 4229 0 0 0 12 1 0 0 20 0 20 0 3445036 11162169344 7775 33554432000 4194304 4196468 140724286764448 139761556282784 139761536173406 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10900556
[startup+0.700299 s]
/proc/loadavg: 15.10 13.81 9.46 5/266 15659
/proc/meminfo: memFree=31950620/32770624 swapFree=5940/57488
[pid=15659] ppid=15656 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/15659/stat : 15659 (java) S 15656 15659 15097 0 -1 1077944320 11711 0 0 0 126 4 0 0 20 0 20 0 3445035 11162247168 19029 33554432000 4194304 4196468 140724286764448 140724286746992 139761552092919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
/proc/15659/statm: 2725158 19029 3076 1 0 2713552 0
[pid=15659/tid=15660] ppid=15656 vsize=10900632 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15660/stat : 15660 (java) R 15656 15659 15097 0 -1 4202560 5400 0 0 0 51 1 0 0 20 0 20 0 3445036 11162247168 19029 33554432000 4194304 4196468 140724286764448 139761556323552 139761140955128 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 10900632
[startup+1.50114 s]
/proc/loadavg: 15.10 13.81 9.46 3/285 15716
/proc/meminfo: memFree=31990536/32770624 swapFree=5940/57572
[pid=15659] ppid=15656 vsize=10967196 CPUtime=3.39 cores=1,3,5,7,9,11,13,15
/proc/15659/stat : 15659 (java) S 15656 15659 15097 0 -1 1077944320 18505 0 0 0 333 6 0 0 20 0 21 0 3445035 11230408704 28946 33554432000 4194304 4196468 140724286764448 140724286746992 139761552092919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
/proc/15659/statm: 2741799 28946 3095 1 0 2730193 0
[pid=15659/tid=15660] ppid=15656 vsize=10967196 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15660/stat : 15660 (java) R 15656 15659 15097 0 -1 4202560 5671 0 0 0 130 2 0 0 20 0 21 0 3445036 11230408704 28946 33554432000 4194304 4196468 140724286764448 139761556329048 139761142360810 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15662] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15662/stat : 15662 (java) S 15656 15659 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3445036 11230408704 28946 33554432000 4194304 4196468 140724286764448 139761478167312 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15663] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15663/stat : 15663 (java) S 15656 15659 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3445036 11230408704 28946 33554432000 4194304 4196468 140724286764448 139761477114768 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15664] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15664/stat : 15664 (java) S 15656 15659 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3445036 11230408704 28946 33554432000 4194304 4196468 140724286764448 139761476062224 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15665] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15665/stat : 15665 (java) S 15656 15659 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3445036 11230408704 28946 33554432000 4194304 4196468 140724286764448 139761475009680 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15666] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15666/stat : 15666 (java) S 15656 15659 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3445037 11230408704 28946 33554432000 4194304 4196468 140724286764448 139761473956112 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15667] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15667/stat : 15667 (java) S 15656 15659 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3445037 11230408704 28946 33554432000 4194304 4196468 140724286764448 139761472903568 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15668] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15668/stat : 15668 (java) S 15656 15659 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3445037 11230408704 28946 33554432000 4194304 4196468 140724286764448 139761471851024 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15669] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15669/stat : 15669 (java) S 15656 15659 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3445037 11230408704 28946 33554432000 4194304 4196468 140724286764448 139761470798480 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15670] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15670/stat : 15670 (java) S 15656 15659 15097 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 3445039 11230408704 28946 33554432000 4194304 4196468 140724286764448 139760624355824 139761552104066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15671] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15671/stat : 15671 (java) S 15656 15659 15097 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 3445040 11230408704 28946 33554432000 4194304 4196468 140724286764448 139760623302048 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15672] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15672/stat : 15672 (java) S 15656 15659 15097 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3445040 11230408704 28946 33554432000 4194304 4196468 140724286764448 139760622249456 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15673] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15673/stat : 15673 (java) S 15656 15659 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3445043 11230408704 28946 33554432000 4194304 4196468 140724286764448 139760621198032 139761552111515 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15674] ppid=15656 vsize=10967196 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15674/stat : 15674 (java) S 15656 15659 15097 0 -1 1077944384 2567 0 0 0 43 1 0 0 20 0 21 0 3445043 11230408704 28946 33554432000 4194304 4196468 140724286764448 139760620144624 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15675] ppid=15656 vsize=10967196 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15675/stat : 15675 (java) S 15656 15659 15097 0 -1 1077944384 1809 0 0 0 52 0 0 0 20 0 21 0 3445043 11230408704 28946 33554432000 4194304 4196468 140724286764448 139760619092080 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15676] ppid=15656 vsize=10967196 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15676/stat : 15676 (java) R 15656 15659 15097 0 -1 4202560 4687 0 0 0 63 0 0 0 20 0 21 0 3445043 11230408704 28946 33554432000 4194304 4196468 140724286764448 139760618025560 139761530510608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15677] ppid=15656 vsize=10967196 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15677/stat : 15677 (java) S 15656 15659 15097 0 -1 1077944384 2358 0 0 0 43 0 0 0 20 0 21 0 3445043 11230408704 28946 33554432000 4194304 4196468 140724286764448 139760616986992 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15678] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15678/stat : 15678 (java) S 15656 15659 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3445044 11230408704 28946 33554432000 4194304 4196468 140724286764448 139760615934688 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15679] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15679/stat : 15679 (java) S 15656 15659 15097 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 21 0 3445044 11230408704 28946 33554432000 4194304 4196468 140724286764448 139760614882224 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15682] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15682/stat : 15682 (java) S 15656 15659 15097 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3445114 11230408704 28946 33554432000 4194304 4196468 140724286764448 139760613828016 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 10967196
[startup+3.10116 s]
/proc/loadavg: 14.13 13.63 9.42 6/286 15774
/proc/meminfo: memFree=31913052/32770624 swapFree=5940/57572
[pid=15659] ppid=15656 vsize=10967196 CPUtime=5.4 cores=1,3,5,7,9,11,13,15
/proc/15659/stat : 15659 (java) S 15656 15659 15097 0 -1 1077944320 20420 0 0 0 534 6 0 0 20 0 21 0 3445035 11230408704 30053 33554432000 4194304 4196468 140724286764448 140724286746992 139761552092919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
/proc/15659/statm: 2741799 30053 3098 1 0 2730193 0
[pid=15659/tid=15660] ppid=15656 vsize=10967196 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15660/stat : 15660 (java) R 15656 15659 15097 0 -1 4202560 5828 0 0 0 290 2 0 0 20 0 21 0 3445036 11230408704 30053 33554432000 4194304 4196468 140724286764448 139761556329416 139761142233319 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15662] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15662/stat : 15662 (java) S 15656 15659 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3445036 11230408704 30053 33554432000 4194304 4196468 140724286764448 139761478167312 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15663] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15663/stat : 15663 (java) S 15656 15659 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3445036 11230408704 30053 33554432000 4194304 4196468 140724286764448 139761477114768 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15664] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15664/stat : 15664 (java) S 15656 15659 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3445036 11230408704 30053 33554432000 4194304 4196468 140724286764448 139761476062224 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15665] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15665/stat : 15665 (java) S 15656 15659 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3445036 11230408704 30053 33554432000 4194304 4196468 140724286764448 139761475009680 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15666] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15666/stat : 15666 (java) S 15656 15659 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3445037 11230408704 30053 33554432000 4194304 4196468 140724286764448 139761473956112 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15667] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15667/stat : 15667 (java) S 15656 15659 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3445037 11230408704 30053 33554432000 4194304 4196468 140724286764448 139761472903568 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15668] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15668/stat : 15668 (java) S 15656 15659 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3445037 11230408704 30053 33554432000 4194304 4196468 140724286764448 139761471851024 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15669] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15669/stat : 15669 (java) S 15656 15659 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3445037 11230408704 30053 33554432000 4194304 4196468 140724286764448 139761470798480 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15670] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15670/stat : 15670 (java) S 15656 15659 15097 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 21 0 3445039 11230408704 30053 33554432000 4194304 4196468 140724286764448 139760624355824 139761552104066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15671] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15671/stat : 15671 (java) S 15656 15659 15097 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 3445040 11230408704 30053 33554432000 4194304 4196468 140724286764448 139760623302048 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15672] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15672/stat : 15672 (java) S 15656 15659 15097 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3445040 11230408704 30053 33554432000 4194304 4196468 140724286764448 139760622249456 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15673] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15673/stat : 15673 (java) S 15656 15659 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3445043 11230408704 30053 33554432000 4194304 4196468 140724286764448 139760621198032 139761552111515 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15674] ppid=15656 vsize=10967196 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15674/stat : 15674 (java) S 15656 15659 15097 0 -1 1077944384 3535 0 0 0 64 1 0 0 20 0 21 0 3445043 11230408704 30053 33554432000 4194304 4196468 140724286764448 139760620144624 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15675] ppid=15656 vsize=10967196 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15675/stat : 15675 (java) R 15656 15659 15097 0 -1 4202560 2451 0 0 0 65 0 0 0 20 0 21 0 3445043 11230408704 30053 33554432000 4194304 4196468 140724286764448 139760619092376 139761537219186 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15676] ppid=15656 vsize=10967196 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15676/stat : 15676 (java) S 15656 15659 15097 0 -1 1077944384 4734 0 0 0 68 0 0 0 20 0 21 0 3445043 11230408704 30053 33554432000 4194304 4196468 140724286764448 139760618039536 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15677] ppid=15656 vsize=10967196 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15677/stat : 15677 (java) S 15656 15659 15097 0 -1 1077944384 2387 0 0 0 44 0 0 0 20 0 21 0 3445043 11230408704 30053 33554432000 4194304 4196468 140724286764448 139760616986992 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15678] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15678/stat : 15678 (java) S 15656 15659 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3445044 11230408704 30053 33554432000 4194304 4196468 140724286764448 139760615934688 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15679] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15679/stat : 15679 (java) S 15656 15659 15097 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 21 0 3445044 11230408704 30053 33554432000 4194304 4196468 140724286764448 139760614882224 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15682] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15682/stat : 15682 (java) S 15656 15659 15097 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3445114 11230408704 30053 33554432000 4194304 4196468 140724286764448 139760613828016 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 10967196
[startup+6.30117 s]
/proc/loadavg: 14.13 13.63 9.42 10/286 15774
/proc/meminfo: memFree=30876560/32770624 swapFree=5940/57632
[pid=15659] ppid=15656 vsize=10967196 CPUtime=8.91 cores=1,3,5,7,9,11,13,15
/proc/15659/stat : 15659 (java) S 15656 15659 15097 0 -1 1077944320 24324 0 0 0 884 7 0 0 20 0 21 0 3445035 11230408704 32136 33554432000 4194304 4196468 140724286764448 140724286746992 139761552092919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
/proc/15659/statm: 2741799 32136 3110 1 0 2730193 0
[pid=15659/tid=15660] ppid=15656 vsize=10967196 CPUtime=6.12 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15660/stat : 15660 (java) R 15656 15659 15097 0 -1 4202560 6205 0 0 0 610 2 0 0 20 0 21 0 3445036 11230408704 32136 33554432000 4194304 4196468 140724286764448 139761556331256 139761142431072 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15662] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15662/stat : 15662 (java) S 15656 15659 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3445036 11230408704 32136 33554432000 4194304 4196468 140724286764448 139761478167312 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15663] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15663/stat : 15663 (java) S 15656 15659 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3445036 11230408704 32136 33554432000 4194304 4196468 140724286764448 139761477114768 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15664] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15664/stat : 15664 (java) S 15656 15659 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3445036 11230408704 32136 33554432000 4194304 4196468 140724286764448 139761476062224 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15665] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15665/stat : 15665 (java) S 15656 15659 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3445036 11230408704 32136 33554432000 4194304 4196468 140724286764448 139761475009680 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15666] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15666/stat : 15666 (java) S 15656 15659 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3445037 11230408704 32136 33554432000 4194304 4196468 140724286764448 139761473956112 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15667] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15667/stat : 15667 (java) S 15656 15659 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3445037 11230408704 32136 33554432000 4194304 4196468 140724286764448 139761472903568 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15668] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15668/stat : 15668 (java) S 15656 15659 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3445037 11230408704 32136 33554432000 4194304 4196468 140724286764448 139761471851024 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15669] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15669/stat : 15669 (java) S 15656 15659 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3445037 11230408704 32136 33554432000 4194304 4196468 140724286764448 139761470798480 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15670] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15670/stat : 15670 (java) S 15656 15659 15097 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 21 0 3445039 11230408704 32136 33554432000 4194304 4196468 140724286764448 139760624355824 139761552104066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15671] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=15659/tid=15682] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15682/stat : 15682 (java) S 15656 15659 15097 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3445114 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760613828016 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
Current children cumulated CPU time (s) 2332.12
Current children cumulated vsize (KiB) 10967196
[startup+2382.3 s]
/proc/loadavg: 1.47 1.89 2.56 2/256 15898
/proc/meminfo: memFree=31364000/32770624 swapFree=5940/59540
[pid=15659] ppid=15656 vsize=10967196 CPUtime=2392.14 cores=1,3,5,7,9,11,13,15
/proc/15659/stat : 15659 (java) S 15656 15659 15097 0 -1 1077944320 58612 0 0 0 238870 344 0 0 20 0 21 0 3445035 11230408704 186303 33554432000 4194304 4196468 140724286764448 140724286746992 139761552092919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
/proc/15659/statm: 2741799 186303 3154 1 0 2730193 0
[pid=15659/tid=15660] ppid=15656 vsize=10967196 CPUtime=2380.13 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15660/stat : 15660 (java) R 15656 15659 15097 0 -1 4202560 18534 0 0 0 238009 4 0 0 20 0 21 0 3445036 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761556331856 139761142233142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15662] ppid=15656 vsize=10967196 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15662/stat : 15662 (java) S 15656 15659 15097 0 -1 1077944384 1270 0 0 0 62 34 0 0 20 0 21 0 3445036 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761478167312 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15663] ppid=15656 vsize=10967196 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15663/stat : 15663 (java) S 15656 15659 15097 0 -1 1077944384 1571 0 0 0 65 32 0 0 20 0 21 0 3445036 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761477114768 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15664] ppid=15656 vsize=10967196 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15664/stat : 15664 (java) S 15656 15659 15097 0 -1 1077944384 1208 0 0 0 62 30 0 0 20 0 21 0 3445036 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761476062224 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15665] ppid=15656 vsize=10967196 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15665/stat : 15665 (java) S 15656 15659 15097 0 -1 1077944384 1808 0 0 0 63 31 0 0 20 0 21 0 3445036 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761475009680 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15666] ppid=15656 vsize=10967196 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15666/stat : 15666 (java) S 15656 15659 15097 0 -1 1077944384 1536 0 0 0 62 34 0 0 20 0 21 0 3445037 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761473956112 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15667] ppid=15656 vsize=10967196 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15667/stat : 15667 (java) S 15656 15659 15097 0 -1 1077944384 1671 0 0 0 60 37 0 0 20 0 21 0 3445037 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761472903568 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15668] ppid=15656 vsize=10967196 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15668/stat : 15668 (java) S 15656 15659 15097 0 -1 1077944384 2356 0 0 0 64 33 0 0 20 0 21 0 3445037 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761471851024 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15669] ppid=15656 vsize=10967196 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15669/stat : 15669 (java) S 15656 15659 15097 0 -1 1077944384 1616 0 0 0 61 33 0 0 20 0 21 0 3445037 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761470798480 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15670] ppid=15656 vsize=10967196 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15670/stat : 15670 (java) S 15656 15659 15097 0 -1 1077944384 4789 0 0 0 9 3 0 0 20 0 21 0 3445039 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760624355824 139761552104066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15671] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15671/stat : 15671 (java) S 15656 15659 15097 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 21 0 3445040 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760623302048 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15672] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15672/stat : 15672 (java) S 15656 15659 15097 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 21 0 3445040 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760622249456 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15673] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15673/stat : 15673 (java) S 15656 15659 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3445043 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760621198032 139761552111515 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15674] ppid=15656 vsize=10967196 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15674/stat : 15674 (java) S 15656 15659 15097 0 -1 1077944384 4596 0 0 0 72 1 0 0 20 0 21 0 3445043 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760620144624 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15675] ppid=15656 vsize=10967196 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15675/stat : 15675 (java) S 15656 15659 15097 0 -1 1077944384 5783 0 0 0 87 1 0 0 20 0 21 0 3445043 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760619092080 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15676] ppid=15656 vsize=10967196 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15676/stat : 15676 (java) S 15656 15659 15097 0 -1 1077944384 5725 0 0 0 75 1 0 0 20 0 21 0 3445043 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760618039536 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15677] ppid=15656 vsize=10967196 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15677/stat : 15677 (java) S 15656 15659 15097 0 -1 1077944384 3129 0 0 0 46 1 0 0 20 0 21 0 3445043 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760616986992 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15678] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15678/stat : 15678 (java) S 15656 15659 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3445044 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760615934688 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15679] ppid=15656 vsize=10967196 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15679/stat : 15679 (java) S 15656 15659 15097 0 -1 1077944384 1578 0 0 0 58 69 0 0 20 0 21 0 3445044 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760614882224 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15682] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15682/stat : 15682 (java) S 15656 15659 15097 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3445114 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760613828016 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
Current children cumulated CPU time (s) 2392.14
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2390.2 s]
/proc/loadavg: 1.40 1.86 2.54 2/256 15898
/proc/meminfo: memFree=31364000/32770624 swapFree=5940/59544
[pid=15659] ppid=15656 vsize=10967196 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/15659/stat : 15659 (java) S 15656 15659 15097 0 -1 1077944320 58616 0 0 0 239660 344 0 0 20 0 21 0 3445035 11230408704 186303 33554432000 4194304 4196468 140724286764448 140724286746992 139761552092919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
/proc/15659/statm: 2741799 186303 3154 1 0 2730193 0
[pid=15659/tid=15660] ppid=15656 vsize=10967196 CPUtime=2388.03 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15660/stat : 15660 (java) R 15656 15659 15097 0 -1 4202560 18536 0 0 0 238799 4 0 0 20 0 21 0 3445036 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761556331856 139761142233308 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15662] ppid=15656 vsize=10967196 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15662/stat : 15662 (java) S 15656 15659 15097 0 -1 1077944384 1270 0 0 0 62 34 0 0 20 0 21 0 3445036 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761478167312 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15663] ppid=15656 vsize=10967196 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15663/stat : 15663 (java) S 15656 15659 15097 0 -1 1077944384 1571 0 0 0 65 32 0 0 20 0 21 0 3445036 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761477114768 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15664] ppid=15656 vsize=10967196 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15664/stat : 15664 (java) S 15656 15659 15097 0 -1 1077944384 1208 0 0 0 62 30 0 0 20 0 21 0 3445036 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761476062224 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15665] ppid=15656 vsize=10967196 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15665/stat : 15665 (java) S 15656 15659 15097 0 -1 1077944384 1808 0 0 0 63 31 0 0 20 0 21 0 3445036 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761475009680 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15666] ppid=15656 vsize=10967196 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15666/stat : 15666 (java) S 15656 15659 15097 0 -1 1077944384 1536 0 0 0 62 34 0 0 20 0 21 0 3445037 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761473956112 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15667] ppid=15656 vsize=10967196 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15667/stat : 15667 (java) S 15656 15659 15097 0 -1 1077944384 1671 0 0 0 60 37 0 0 20 0 21 0 3445037 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761472903568 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15668] ppid=15656 vsize=10967196 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15668/stat : 15668 (java) S 15656 15659 15097 0 -1 1077944384 2356 0 0 0 64 33 0 0 20 0 21 0 3445037 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761471851024 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15669] ppid=15656 vsize=10967196 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15669/stat : 15669 (java) S 15656 15659 15097 0 -1 1077944384 1616 0 0 0 61 33 0 0 20 0 21 0 3445037 11230408704 186303 33554432000 4194304 4196468 140724286764448 139761470798480 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15670] ppid=15656 vsize=10967196 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15670/stat : 15670 (java) S 15656 15659 15097 0 -1 1077944384 4789 0 0 0 9 3 0 0 20 0 21 0 3445039 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760624355824 139761552104066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15671] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15671/stat : 15671 (java) S 15656 15659 15097 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 21 0 3445040 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760623302048 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15672] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15672/stat : 15672 (java) S 15656 15659 15097 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 21 0 3445040 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760622249456 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15673] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15673/stat : 15673 (java) S 15656 15659 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3445043 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760621198032 139761552111515 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15674] ppid=15656 vsize=10967196 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15674/stat : 15674 (java) S 15656 15659 15097 0 -1 1077944384 4596 0 0 0 72 1 0 0 20 0 21 0 3445043 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760620144624 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15675] ppid=15656 vsize=10967196 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15675/stat : 15675 (java) S 15656 15659 15097 0 -1 1077944384 5783 0 0 0 87 1 0 0 20 0 21 0 3445043 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760619092080 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15676] ppid=15656 vsize=10967196 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15676/stat : 15676 (java) S 15656 15659 15097 0 -1 1077944384 5725 0 0 0 75 1 0 0 20 0 21 0 3445043 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760618039536 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15677] ppid=15656 vsize=10967196 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15677/stat : 15677 (java) S 15656 15659 15097 0 -1 1077944384 3129 0 0 0 46 1 0 0 20 0 21 0 3445043 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760616986992 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15678] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15678/stat : 15678 (java) S 15656 15659 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3445044 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760615934688 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15679] ppid=15656 vsize=10967196 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15679/stat : 15679 (java) S 15656 15659 15097 0 -1 1077944384 1580 0 0 0 58 69 0 0 20 0 21 0 3445044 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760614882224 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15682] ppid=15656 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15682/stat : 15682 (java) S 15656 15659 15097 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3445114 11230408704 186303 33554432000 4194304 4196468 140724286764448 139760613828016 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10967196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15659 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2390.41 s]
/proc/loadavg: 1.40 1.86 2.54 2/257 15901
/proc/meminfo: memFree=31364000/32770624 swapFree=5940/59544
[pid=15659] ppid=15656 vsize=11166888 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/15659/stat : 15659 (java) S 15656 15659 15097 0 -1 1077944320 59248 0 0 0 239662 344 0 0 20 0 22 0 3445035 11434893312 186389 33554432000 4194304 4196468 140724286764448 140724286746992 139761552092919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
/proc/15659/statm: 2791722 186389 3157 1 0 2780116 0
[pid=15659/tid=15660] ppid=15656 vsize=11166888 CPUtime=2388.04 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15660/stat : 15660 (java) S 15656 15659 15097 0 -1 1077944384 18575 0 0 0 238800 4 0 0 20 0 22 0 3445036 11434893312 186389 33554432000 4194304 4196468 140724286764448 139761556335792 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15662] ppid=15656 vsize=11166888 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15662/stat : 15662 (java) S 15656 15659 15097 0 -1 1077944384 1270 0 0 0 62 34 0 0 20 0 22 0 3445036 11434893312 186389 33554432000 4194304 4196468 140724286764448 139761478167312 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15663] ppid=15656 vsize=11166888 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15663/stat : 15663 (java) S 15656 15659 15097 0 -1 1077944384 1571 0 0 0 65 32 0 0 20 0 22 0 3445036 11434893312 186389 33554432000 4194304 4196468 140724286764448 139761477114768 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15664] ppid=15656 vsize=11166888 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15664/stat : 15664 (java) S 15656 15659 15097 0 -1 1077944384 1208 0 0 0 62 30 0 0 20 0 22 0 3445036 11434893312 186389 33554432000 4194304 4196468 140724286764448 139761476062224 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15665] ppid=15656 vsize=11166888 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15665/stat : 15665 (java) S 15656 15659 15097 0 -1 1077944384 1808 0 0 0 63 31 0 0 20 0 22 0 3445036 11434893312 186389 33554432000 4194304 4196468 140724286764448 139761475009680 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15666] ppid=15656 vsize=11166888 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15666/stat : 15666 (java) S 15656 15659 15097 0 -1 1077944384 1536 0 0 0 62 34 0 0 20 0 22 0 3445037 11434893312 186389 33554432000 4194304 4196468 140724286764448 139761473956112 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15667] ppid=15656 vsize=11166888 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15667/stat : 15667 (java) S 15656 15659 15097 0 -1 1077944384 1671 0 0 0 60 37 0 0 20 0 22 0 3445037 11434893312 186389 33554432000 4194304 4196468 140724286764448 139761472903568 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15668] ppid=15656 vsize=11166888 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15668/stat : 15668 (java) S 15656 15659 15097 0 -1 1077944384 2356 0 0 0 64 33 0 0 20 0 22 0 3445037 11434893312 186389 33554432000 4194304 4196468 140724286764448 139761471851024 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15669] ppid=15656 vsize=11166888 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15669/stat : 15669 (java) S 15656 15659 15097 0 -1 1077944384 1616 0 0 0 61 33 0 0 20 0 22 0 3445037 11434893312 186389 33554432000 4194304 4196468 140724286764448 139761470798480 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15670] ppid=15656 vsize=11166888 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15670/stat : 15670 (java) S 15656 15659 15097 0 -1 1077944384 4789 0 0 0 9 3 0 0 20 0 22 0 3445039 11434893312 186389 33554432000 4194304 4196468 140724286764448 139760624355824 139761552104066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15671] ppid=15656 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15671/stat : 15671 (java) S 15656 15659 15097 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 22 0 3445040 11434893312 186389 33554432000 4194304 4196468 140724286764448 139760623302048 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15672] ppid=15656 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15672/stat : 15672 (java) S 15656 15659 15097 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 22 0 3445040 11434893312 186389 33554432000 4194304 4196468 140724286764448 139760622249456 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15673] ppid=15656 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15673/stat : 15673 (java) S 15656 15659 15097 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 22 0 3445043 11434893312 186389 33554432000 4194304 4196468 140724286764448 139760621198032 139761552111515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15674] ppid=15656 vsize=11166888 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15674/stat : 15674 (java) S 15656 15659 15097 0 -1 1077944384 4644 0 0 0 72 1 0 0 20 0 22 0 3445043 11434893312 186389 33554432000 4194304 4196468 140724286764448 139760620144624 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15675] ppid=15656 vsize=11166888 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15675/stat : 15675 (java) S 15656 15659 15097 0 -1 1077944384 5818 0 0 0 87 1 0 0 20 0 22 0 3445043 11434893312 186389 33554432000 4194304 4196468 140724286764448 139760619092080 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15676] ppid=15656 vsize=11166888 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15676/stat : 15676 (java) S 15656 15659 15097 0 -1 1077944384 5744 0 0 0 75 1 0 0 20 0 22 0 3445043 11434893312 186389 33554432000 4194304 4196468 140724286764448 139760618039536 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15677] ppid=15656 vsize=11166888 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15677/stat : 15677 (java) S 15656 15659 15097 0 -1 1077944384 3252 0 0 0 46 1 0 0 20 0 22 0 3445043 11434893312 186389 33554432000 4194304 4196468 140724286764448 139760616986992 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15678] ppid=15656 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15678/stat : 15678 (java) S 15656 15659 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3445044 11434893312 186389 33554432000 4194304 4196468 140724286764448 139760615934688 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15679] ppid=15656 vsize=11166888 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15679/stat : 15679 (java) S 15656 15659 15097 0 -1 1077944384 1580 0 0 0 58 69 0 0 20 0 22 0 3445044 11434893312 186389 33554432000 4194304 4196468 140724286764448 139760614882224 139761552104066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15899] ppid=15656 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15899/stat : 15899 (java) S 15656 15659 15097 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 22 0 3684056 11434893312 186389 33554432000 4194304 4196468 140724286764448 139760612774768 139761552103125 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
[pid=15659/tid=15900] ppid=15656 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15659/task/15900/stat : 15900 (java) R 15656 15659 15097 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 22 0 3684056 11434893312 186389 33554432000 4194304 4196468 140724286764448 139760611718264 139761138303044 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10907648 140724286772395 140724286772548 140724286772548 140724286775247 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 11166888
Child status: 143
Real time (s): 2390.47
CPU time (s): 2400.13
CPU user time (s): 2396.68
CPU system time (s): 3.45295
CPU usage (%): 100.404
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.68
system time used= 3.45295
maximum resident set size= 795116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59424
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55327
involuntary context switches= 121694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6351 second user time and 20.3769 second system time
The end