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-4243614-1500674606/watcher-4243614-1500674606 -o /tmp/evaluation-result-4243614-1500674606/solver-4243614-1500674606 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500674606-12924 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243614-1500674606.xml
pid=12950
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: 1.00 1.01 1.25 4/244 12953
/proc/meminfo: memFree=32015932/32770624 swapFree=5908/203324
[pid=12953] ppid=12950 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/stat : 12953 (java) S 12950 12953 9822 0 -1 1077944320 1716 0 0 0 0 0 0 0 20 0 2 0 2727476 369864704 1423 33554432000 4194304 4196468 140727671989600 140727671972144 140327354109687 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
/proc/12953/statm: 90299 1423 1081 1 0 79210 0
[pid=12953/tid=12963] ppid=12950 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12963/stat : 12963 (java) S 12950 12953 9822 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 2 0 2727477 369864704 1423 33554432000 4194304 4196468 140727671989600 140327358351776 140327354120834 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[startup+0.100117 s]
/proc/loadavg: 1.00 1.01 1.25 4/244 12953
/proc/meminfo: memFree=32015932/32770624 swapFree=5908/203324
[pid=12953] ppid=12950 vsize=10434508 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12953/stat : 12953 (java) S 12950 12953 9822 0 -1 1077944320 4074 0 0 0 6 0 0 0 20 0 13 0 2727476 10684936192 5253 33554432000 4194304 4196468 140727671989600 140727671972144 140327354109687 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
/proc/12953/statm: 2608627 5253 2148 1 0 2597065 0
[pid=12953/tid=12963] ppid=12950 vsize=10434508 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12963/stat : 12963 (java) D 12950 12953 9822 0 -1 1077944384 2701 0 0 0 5 0 0 0 20 0 13 0 2727477 10684936192 5253 33554432000 4194304 4196468 140727671989600 140327358345080 140327346788976 0 4 0 16800971 18446744072101600804 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10434508
[startup+0.200343 s]
/proc/loadavg: 1.00 1.01 1.25 4/244 12953
/proc/meminfo: memFree=32015932/32770624 swapFree=5908/203324
[pid=12953] ppid=12950 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12953/stat : 12953 (java) S 12950 12953 9822 0 -1 1077944320 6626 0 0 0 17 1 0 0 20 0 20 0 2727476 11162169344 7575 33554432000 4194304 4196468 140727671989600 140727671972144 140327354109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
/proc/12953/statm: 2725139 7575 2826 1 0 2713552 0
[pid=12953/tid=12963] ppid=12950 vsize=10900556 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12963/stat : 12963 (java) R 12950 12953 9822 0 -1 4202560 4461 0 0 0 13 1 0 0 20 0 20 0 2727477 11162169344 7575 33554432000 4194304 4196468 140727671989600 140327358330816 140327338190174 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10900556
[startup+0.300287 s]
/proc/loadavg: 1.00 1.01 1.25 4/244 12953
/proc/meminfo: memFree=32015932/32770624 swapFree=5908/203324
[pid=12953] ppid=12950 vsize=10900556 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/12953/stat : 12953 (java) S 12950 12953 9822 0 -1 1077944320 7460 0 0 0 32 2 0 0 20 0 20 0 2727476 11162169344 9282 33554432000 4194304 4196468 140727671989600 140727671972144 140327354109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
/proc/12953/statm: 2725139 9282 2902 1 0 2713552 0
[pid=12953/tid=12963] ppid=12950 vsize=10900556 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12963/stat : 12963 (java) R 12950 12953 9822 0 -1 4202560 5078 0 0 0 22 1 0 0 20 0 20 0 2727477 11162169344 9282 33554432000 4194304 4196468 140727671989600 140327358343648 140327354121622 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 10900556
[startup+0.700254 s]
/proc/loadavg: 1.00 1.01 1.25 4/244 12953
/proc/meminfo: memFree=32015932/32770624 swapFree=5908/203324
[pid=12953] ppid=12950 vsize=10900632 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/12953/stat : 12953 (java) S 12950 12953 9822 0 -1 1077944320 12262 0 0 0 180 7 0 0 20 0 20 0 2727476 11162247168 46791 33554432000 4194304 4196468 140727671989600 140727671972144 140327354109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
/proc/12953/statm: 2725158 46791 3102 1 0 2713552 0
[pid=12953/tid=12963] ppid=12950 vsize=10900632 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12963/stat : 12963 (java) R 12950 12953 9822 0 -1 4202560 5813 0 0 0 58 4 0 0 20 0 20 0 2727477 11162247168 46791 33554432000 4194304 4196468 140727671989600 140327358345360 140327338153317 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10900632
[startup+1.50113 s]
/proc/loadavg: 1.88 1.20 1.31 10/283 12992
/proc/meminfo: memFree=31583308/32770624 swapFree=5908/203584
[pid=12953] ppid=12950 vsize=10902296 CPUtime=5.71 cores=1,3,5,7,9,11,13,15
/proc/12953/stat : 12953 (java) S 12950 12953 9822 0 -1 1077944320 19377 0 0 0 504 67 0 0 20 0 20 0 2727476 11163951104 116721 33554432000 4194304 4196468 140727671989600 140727671972144 140327354109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
/proc/12953/statm: 2725574 116729 3130 1 0 2713968 0
[pid=12953/tid=12963] ppid=12950 vsize=10902296 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12963/stat : 12963 (java) S 12950 12953 9822 0 -1 1077944384 6197 0 0 0 118 6 0 0 20 0 20 0 2727477 11163951104 116729 33554432000 4194304 4196468 140727671989600 140327358346528 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12965] ppid=12950 vsize=10902296 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12965/stat : 12965 (java) R 12950 12953 9822 0 -1 4202560 112 0 0 0 8 5 0 0 20 0 20 0 2727478 11163951104 116729 33554432000 4194304 4196468 140727671989600 140326960999640 140327339136889 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12966] ppid=12950 vsize=10902296 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12966/stat : 12966 (java) R 12950 12953 9822 0 -1 4202560 87 0 0 0 7 3 0 0 20 0 20 0 2727478 11163951104 116729 33554432000 4194304 4196468 140727671989600 140326959946784 140327339137561 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12967] ppid=12950 vsize=10902296 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12967/stat : 12967 (java) R 12950 12953 9822 0 -1 4202560 116 0 0 0 7 8 0 0 20 0 20 0 2727478 11163951104 116729 33554432000 4194304 4196468 140727671989600 140326958894040 140327339137561 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12968] ppid=12950 vsize=10902296 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12968/stat : 12968 (java) R 12950 12953 9822 0 -1 4202560 109 0 0 0 7 8 0 0 20 0 20 0 2727478 11163951104 116729 33554432000 4194304 4196468 140727671989600 140326957841496 140327339137570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12969] ppid=12950 vsize=10902296 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12969/stat : 12969 (java) R 12950 12953 9822 0 -1 4202560 103 0 0 0 7 7 0 0 20 0 20 0 2727478 11163951104 116729 33554432000 4194304 4196468 140727671989600 140326956788440 140327339137561 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12970] ppid=12950 vsize=10902296 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12970/stat : 12970 (java) R 12950 12953 9822 0 -1 4202560 60 0 0 0 7 8 0 0 20 0 20 0 2727478 11163951104 117241 33554432000 4194304 4196468 140727671989600 140326955735896 140327339137561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12971] ppid=12950 vsize=10902296 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12971/stat : 12971 (java) R 12950 12953 9822 0 -1 4202560 65 0 0 0 7 8 0 0 20 0 20 0 2727478 11163951104 117241 33554432000 4194304 4196468 140727671989600 140326954682840 140327339137561 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12972] ppid=12950 vsize=10902296 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12972/stat : 12972 (java) R 12950 12953 9822 0 -1 4202560 106 0 0 0 7 7 0 0 20 0 20 0 2727478 11163951104 117241 33554432000 4194304 4196468 140727671989600 140326953630296 140327339137561 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12976] ppid=12950 vsize=10902296 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12976/stat : 12976 (java) S 12950 12953 9822 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2727480 11163951104 117241 33554432000 4194304 4196468 140727671989600 140326694991136 140327354119893 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12977] ppid=12950 vsize=10902296 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12977/stat : 12977 (java) S 12950 12953 9822 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2727481 11163951104 117241 33554432000 4194304 4196468 140727671989600 140326693938912 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12978] ppid=12950 vsize=10902296 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12978/stat : 12978 (java) S 12950 12953 9822 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2727481 11163951104 117241 33554432000 4194304 4196468 140727671989600 140326692885744 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12986] ppid=12950 vsize=10902296 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12986/stat : 12986 (java) S 12950 12953 9822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2727489 11163951104 117241 33554432000 4194304 4196468 140727671989600 140326691834320 140327354128283 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12987] ppid=12950 vsize=10902296 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12987/stat : 12987 (java) R 12950 12953 9822 0 -1 4202560 3543 0 0 0 99 0 0 0 20 0 20 0 2727489 11163951104 117241 33554432000 4194304 4196468 140727671989600 140326690767448 140327335629001 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12988] ppid=12950 vsize=10902296 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12988/stat : 12988 (java) S 12950 12953 9822 0 -1 1077944384 2391 0 0 0 86 0 0 0 20 0 20 0 2727489 11163951104 117241 33554432000 4194304 4196468 140727671989600 140326689728880 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12989] ppid=12950 vsize=10902296 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12989/stat : 12989 (java) S 12950 12953 9822 0 -1 1077944384 3155 0 0 0 92 0 0 0 20 0 20 0 2727489 11163951104 117241 33554432000 4194304 4196468 140727671989600 140326688675824 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12990] ppid=12950 vsize=10902296 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12990/stat : 12990 (java) S 12950 12953 9822 0 -1 1077944384 1882 0 0 0 45 0 0 0 20 0 20 0 2727489 11163951104 117241 33554432000 4194304 4196468 140727671989600 140326687623280 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12991] ppid=12950 vsize=10902296 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12991/stat : 12991 (java) S 12950 12953 9822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2727489 11163951104 117241 33554432000 4194304 4196468 140727671989600 140326686571488 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12992] ppid=12950 vsize=10902296 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12992/stat : 12992 (java) S 12950 12953 9822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2727490 11163951104 117241 33554432000 4194304 4196468 140727671989600 140326685519024 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 10902296
[startup+3.10078 s]
/proc/loadavg: 1.88 1.20 1.31 10/283 12992
/proc/meminfo: memFree=30770572/32770624 swapFree=5908/203784
[pid=12953] ppid=12950 vsize=10900632 CPUtime=15.82 cores=1,3,5,7,9,11,13,15
/proc/12953/stat : 12953 (java) S 12950 12953 9822 0 -1 1077944320 22030 0 0 0 1407 175 0 0 20 0 20 0 2727476 11162247168 174138 33554432000 4194304 4196468 140727671989600 140727671972144 140327354109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
/proc/12953/statm: 2725158 174138 3143 1 0 2713552 0
[pid=12953/tid=12963] ppid=12950 vsize=10900632 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12963/stat : 12963 (java) S 12950 12953 9822 0 -1 1077944384 6198 0 0 0 145 6 0 0 20 0 20 0 2727477 11162247168 174138 33554432000 4194304 4196468 140727671989600 140327358346624 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12965] ppid=12950 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12965/stat : 12965 (java) S 12950 12953 9822 0 -1 1077944384 305 0 0 0 113 17 0 0 20 0 20 0 2727478 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326960999440 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12966] ppid=12950 vsize=10900632 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12966/stat : 12966 (java) S 12950 12953 9822 0 -1 1077944384 265 0 0 0 106 15 0 0 20 0 20 0 2727478 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326959946896 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12967] ppid=12950 vsize=10900632 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12967/stat : 12967 (java) S 12950 12953 9822 0 -1 1077944384 342 0 0 0 111 22 0 0 20 0 20 0 2727478 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326958893840 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12968] ppid=12950 vsize=10900632 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12968/stat : 12968 (java) S 12950 12953 9822 0 -1 1077944384 461 0 0 0 113 21 0 0 20 0 20 0 2727478 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326957841296 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12969] ppid=12950 vsize=10900632 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12969/stat : 12969 (java) S 12950 12953 9822 0 -1 1077944384 293 0 0 0 111 22 0 0 20 0 20 0 2727478 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326956788240 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12970] ppid=12950 vsize=10900632 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12970/stat : 12970 (java) S 12950 12953 9822 0 -1 1077944384 297 0 0 0 111 23 0 0 20 0 20 0 2727478 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326955735696 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12971] ppid=12950 vsize=10900632 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12971/stat : 12971 (java) S 12950 12953 9822 0 -1 1077944384 288 0 0 0 110 23 0 0 20 0 20 0 2727478 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326954682640 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12972] ppid=12950 vsize=10900632 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12972/stat : 12972 (java) S 12950 12953 9822 0 -1 1077944384 435 0 0 0 114 19 0 0 20 0 20 0 2727478 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326953630096 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12976] ppid=12950 vsize=10900632 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12976/stat : 12976 (java) R 12950 12953 9822 0 -1 4202560 229 0 0 0 13 0 0 0 20 0 20 0 2727480 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326694991056 140327338810272 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12977] ppid=12950 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12977/stat : 12977 (java) S 12950 12953 9822 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2727481 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326693938912 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12978] ppid=12950 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12978/stat : 12978 (java) S 12950 12953 9822 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2727481 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326692885744 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12986] ppid=12950 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12986/stat : 12986 (java) S 12950 12953 9822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2727489 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326691834320 140327354128283 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12987] ppid=12950 vsize=10900632 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12987/stat : 12987 (java) S 12950 12953 9822 0 -1 1077944384 4102 0 0 0 116 0 0 0 20 0 20 0 2727489 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326690781424 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12988] ppid=12950 vsize=10900632 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12988/stat : 12988 (java) S 12950 12953 9822 0 -1 1077944384 2391 0 0 0 91 0 0 0 20 0 20 0 2727489 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326689728880 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12989] ppid=12950 vsize=10900632 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12989/stat : 12989 (java) S 12950 12953 9822 0 -1 1077944384 3172 0 0 0 100 0 0 0 20 0 20 0 2727489 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326688675824 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12990] ppid=12950 vsize=10900632 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12990/stat : 12990 (java) S 12950 12953 9822 0 -1 1077944384 1885 0 0 0 46 0 0 0 20 0 20 0 2727489 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326687623280 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12991] ppid=12950 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12991/stat : 12991 (java) S 12950 12953 9822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2727489 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326686571488 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12992] ppid=12950 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12992/stat : 12992 (java) S 12950 12953 9822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2727490 11162247168 174138 33554432000 4194304 4196468 140727671989600 140326685519024 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
Current children cumulated CPU time (s) 15.82
Current children cumulated vsize (KiB) 10900632
[startup+6.30153 s]
/proc/loadavg: 1.88 1.20 1.31 4/283 12992
/proc/meminfo: memFree=29681852/32770624 swapFree=5908/203784
[pid=12953] ppid=12950 vsize=10900632 CPUtime=29.33 cores=1,3,5,7,9,11,13,15
/proc/12953/stat : 12953 (java) S 12950 12953 9822 0 -1 1077944320 30317 0 0 0 2607 326 0 0 20 0 20 0 2727476 11162247168 304013 33554432000 4194304 4196468 140727671989600 140727671972144 140327354109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
/proc/12953/statm: 2725158 304013 3157 1 0 2713552 0
[pid=12953/tid=12963] ppid=12950 vsize=10900632 CPUtime=2.28 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12963/stat : 12963 (java) R 12950 12953 9822 0 -1 4202560 7504 0 0 0 218 10 0 0 20 0 20 0 2727477 11162247168 304013 33554432000 4194304 4196468 140727671989600 140327358344664 140326991820637 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12965] ppid=12950 vsize=10900632 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12965/stat : 12965 (java) S 12950 12953 9822 0 -1 1077944384 775 0 0 0 240 37 0 0 20 0 20 0 2727478 11162247168 304013 33554432000 4194304 4196468 140727671989600 140326960999440 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12966] ppid=12950 vsize=10900632 CPUtime=2.65 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12966/stat : 12966 (java) S 12950 12953 9822 0 -1 1077944384 502 0 0 0 232 33 0 0 20 0 20 0 2727478 11162247168 304013 33554432000 4194304 4196468 140727671989600 140326959946896 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12967] ppid=12950 vsize=10900632 CPUtime=2.8 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12967/stat : 12967 (java) S 12950 12953 9822 0 -1 1077944384 840 0 0 0 241 39 0 0 20 0 20 0 2727478 11162247168 304013 33554432000 4194304 4196468 140727671989600 140326958893840 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12968] ppid=12950 vsize=10900632 CPUtime=2.8 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12968/stat : 12968 (java) S 12950 12953 9822 0 -1 1077944384 681 0 0 0 242 38 0 0 20 0 20 0 2727478 11162247168 304013 33554432000 4194304 4196468 140727671989600 140326957841296 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12969] ppid=12950 vsize=10900632 CPUtime=2.78 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12969/stat : 12969 (java) S 12950 12953 9822 0 -1 1077944384 686 0 0 0 239 39 0 0 20 0 20 0 2727478 11162247168 304013 33554432000 4194304 4196468 140727671989600 140326956788240 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12970] ppid=12950 vsize=10900632 CPUtime=2.8 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12970/stat : 12970 (java) S 12950 12953 9822 0 -1 1077944384 1002 0 0 0 239 41 0 0 20 0 20 0 2727478 11162247168 304013 33554432000 4194304 4196468 140727671989600 140326955735696 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12971] ppid=12950 vsize=10900632 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12971/stat : 12971 (java) S 12950 12953 9822 0 -1 1077944384 919 0 0 0 237 42 0 0 20 0 20 0 2727478 11162247168 304013 33554432000 4194304 4196468 140727671989600 140326954682640 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12972] ppid=12950 vsize=10900632 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12972/stat : 12972 (java) S 12950 12953 9822 0 -1 1077944384 724 0 0 0 241 38 0 0 20 0 20 0 2727478 11162247168 304013 33554432000 4194304 4196468 140727671989600 140326953630096 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12976] ppid=12950 vsize=10900632 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12976/stat : 12976 (java) S 12950 12953 9822 0 -1 1077944384 2361 0 0 0 109 0 0 0 20 0 20 0 2727480 11162247168 304013 33554432000 4194304 4196468 140727671989600 140326694992624 140327354120834 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12977] ppid=12950 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12977/stat : 12977 (java) S 12950 12953 9822 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2727481 11162247168 304013 33554432000 4194304 4196468 140727671989600 140326693938912 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12978] ppid=12950 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12978/stat : 12978 (java) S 12950 12953 9822 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2727481 11162247168 304013 33554432000 4194304 4196468 140727671989600 140326692885744 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12986] ppid=12950 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=12953/tid=12991] ppid=12950 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12991/stat : 12991 (java) S 12950 12953 9822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2727489 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326686571488 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12992] ppid=12950 vsize=10967196 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12992/stat : 12992 (java) S 12950 12953 9822 0 -1 1077944384 2634 0 0 0 48 62 0 0 20 0 21 0 2727490 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326685519024 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12993] ppid=12950 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12993/stat : 12993 (java) S 12950 12953 9822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2731883 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326684464304 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
Current children cumulated CPU time (s) 2311.97
Current children cumulated vsize (KiB) 10967196
[startup+2142.3 s]
/proc/loadavg: 2.07 2.06 2.14 3/283 13143
/proc/meminfo: memFree=21643952/32770624 swapFree=5908/205888
[pid=12953] ppid=12950 vsize=10967196 CPUtime=2371.98 cores=1,3,5,7,9,11,13,15
/proc/12953/stat : 12953 (java) S 12950 12953 9822 0 -1 1077944320 599700 0 0 0 234802 2396 0 0 20 0 21 0 2727476 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140727671972144 140327354109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
/proc/12953/statm: 2741799 1837902 3173 1 0 2730193 0
[pid=12953/tid=12963] ppid=12950 vsize=10967196 CPUtime=2097.64 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12963/stat : 12963 (java) R 12950 12953 9822 0 -1 4202560 435814 0 0 0 209720 44 0 0 20 0 21 0 2727477 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140327358348688 140326997486122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12965] ppid=12950 vsize=10967196 CPUtime=31.87 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12965/stat : 12965 (java) S 12950 12953 9822 0 -1 1077944384 12262 0 0 0 2898 289 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326960999440 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12966] ppid=12950 vsize=10967196 CPUtime=31.88 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12966/stat : 12966 (java) S 12950 12953 9822 0 -1 1077944384 12916 0 0 0 2892 296 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326959946896 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12967] ppid=12950 vsize=10967196 CPUtime=31.89 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12967/stat : 12967 (java) S 12950 12953 9822 0 -1 1077944384 9038 0 0 0 2926 263 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326958893840 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12968] ppid=12950 vsize=10967196 CPUtime=31.82 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12968/stat : 12968 (java) S 12950 12953 9822 0 -1 1077944384 18802 0 0 0 2905 277 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326957841296 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12969] ppid=12950 vsize=10967196 CPUtime=32.03 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12969/stat : 12969 (java) S 12950 12953 9822 0 -1 1077944384 8654 0 0 0 2937 266 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326956788240 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12970] ppid=12950 vsize=10967196 CPUtime=31.91 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12970/stat : 12970 (java) S 12950 12953 9822 0 -1 1077944384 14762 0 0 0 2892 299 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326955735696 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12971] ppid=12950 vsize=10967196 CPUtime=31.92 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12971/stat : 12971 (java) S 12950 12953 9822 0 -1 1077944384 8924 0 0 0 2894 298 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326954682640 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12972] ppid=12950 vsize=10967196 CPUtime=31.68 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12972/stat : 12972 (java) S 12950 12953 9822 0 -1 1077944384 7536 0 0 0 2882 286 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326953630096 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12976] ppid=12950 vsize=10967196 CPUtime=11.45 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12976/stat : 12976 (java) S 12950 12953 9822 0 -1 1077944384 25277 0 0 0 1141 4 0 0 20 0 21 0 2727480 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326694992624 140327354120834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12977] ppid=12950 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12977/stat : 12977 (java) S 12950 12953 9822 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 21 0 2727481 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326693938912 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12978] ppid=12950 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12978/stat : 12978 (java) S 12950 12953 9822 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 21 0 2727481 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326692885760 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12986] ppid=12950 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12986/stat : 12986 (java) S 12950 12953 9822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2727489 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326691834320 140327354128283 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12987] ppid=12950 vsize=10967196 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12987/stat : 12987 (java) S 12950 12953 9822 0 -1 1077944384 15609 0 0 0 227 2 0 0 20 0 21 0 2727489 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326690781424 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12988] ppid=12950 vsize=10967196 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12988/stat : 12988 (java) S 12950 12953 9822 0 -1 1077944384 8380 0 0 0 174 2 0 0 20 0 21 0 2727489 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326689728880 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12989] ppid=12950 vsize=10967196 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12989/stat : 12989 (java) S 12950 12953 9822 0 -1 1077944384 10213 0 0 0 190 1 0 0 20 0 21 0 2727489 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326688675824 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12990] ppid=12950 vsize=10967196 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12990/stat : 12990 (java) S 12950 12953 9822 0 -1 1077944384 7319 0 0 0 65 2 0 0 20 0 21 0 2727489 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326687623280 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12991] ppid=12950 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12991/stat : 12991 (java) S 12950 12953 9822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2727489 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326686571488 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12992] ppid=12950 vsize=10967196 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12992/stat : 12992 (java) S 12950 12953 9822 0 -1 1077944384 2674 0 0 0 49 63 0 0 20 0 21 0 2727490 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326685519024 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12993] ppid=12950 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12993/stat : 12993 (java) S 12950 12953 9822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2731883 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326684464304 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
Current children cumulated CPU time (s) 2371.98
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2170.41 s]
/proc/loadavg: 2.05 2.05 2.13 3/283 13144
/proc/meminfo: memFree=21643556/32770624 swapFree=5908/205924
[pid=12953] ppid=12950 vsize=10967196 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/12953/stat : 12953 (java) S 12950 12953 9822 0 -1 1077944320 600958 0 0 0 237612 2397 0 0 20 0 21 0 2727476 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140727671972144 140327354109687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
/proc/12953/statm: 2741799 1837902 3173 1 0 2730193 0
[pid=12953/tid=12963] ppid=12950 vsize=10967196 CPUtime=2125.74 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12963/stat : 12963 (java) R 12950 12953 9822 0 -1 4202560 436994 0 0 0 212530 44 0 0 20 0 21 0 2727477 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140327358348688 140326997496102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12965] ppid=12950 vsize=10967196 CPUtime=31.87 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12965/stat : 12965 (java) S 12950 12953 9822 0 -1 1077944384 12262 0 0 0 2898 289 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326960999440 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12966] ppid=12950 vsize=10967196 CPUtime=31.88 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12966/stat : 12966 (java) S 12950 12953 9822 0 -1 1077944384 12916 0 0 0 2892 296 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326959946896 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12967] ppid=12950 vsize=10967196 CPUtime=31.89 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12967/stat : 12967 (java) S 12950 12953 9822 0 -1 1077944384 9038 0 0 0 2926 263 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326958893840 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12968] ppid=12950 vsize=10967196 CPUtime=31.82 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12968/stat : 12968 (java) S 12950 12953 9822 0 -1 1077944384 18802 0 0 0 2905 277 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326957841296 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12969] ppid=12950 vsize=10967196 CPUtime=32.03 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12969/stat : 12969 (java) S 12950 12953 9822 0 -1 1077944384 8654 0 0 0 2937 266 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326956788240 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12970] ppid=12950 vsize=10967196 CPUtime=31.91 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12970/stat : 12970 (java) S 12950 12953 9822 0 -1 1077944384 14762 0 0 0 2892 299 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326955735696 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12971] ppid=12950 vsize=10967196 CPUtime=31.92 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12971/stat : 12971 (java) S 12950 12953 9822 0 -1 1077944384 8924 0 0 0 2894 298 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326954682640 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12972] ppid=12950 vsize=10967196 CPUtime=31.68 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12972/stat : 12972 (java) S 12950 12953 9822 0 -1 1077944384 7536 0 0 0 2882 286 0 0 20 0 21 0 2727478 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326953630096 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12976] ppid=12950 vsize=10967196 CPUtime=11.45 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12976/stat : 12976 (java) S 12950 12953 9822 0 -1 1077944384 25287 0 0 0 1141 4 0 0 20 0 21 0 2727480 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326694992624 140327354120834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12977] ppid=12950 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12977/stat : 12977 (java) S 12950 12953 9822 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 21 0 2727481 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326693938912 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12978] ppid=12950 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12978/stat : 12978 (java) S 12950 12953 9822 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 21 0 2727481 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326692885760 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12986] ppid=12950 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12986/stat : 12986 (java) S 12950 12953 9822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2727489 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326691834320 140327354128283 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12987] ppid=12950 vsize=10967196 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12987/stat : 12987 (java) S 12950 12953 9822 0 -1 1077944384 15617 0 0 0 227 2 0 0 20 0 21 0 2727489 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326690781424 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12988] ppid=12950 vsize=10967196 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12988/stat : 12988 (java) S 12950 12953 9822 0 -1 1077944384 8386 0 0 0 174 2 0 0 20 0 21 0 2727489 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326689728880 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12989] ppid=12950 vsize=10967196 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12989/stat : 12989 (java) S 12950 12953 9822 0 -1 1077944384 10219 0 0 0 190 1 0 0 20 0 21 0 2727489 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326688675824 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12990] ppid=12950 vsize=10967196 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12990/stat : 12990 (java) S 12950 12953 9822 0 -1 1077944384 7329 0 0 0 65 2 0 0 20 0 21 0 2727489 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326687623280 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12991] ppid=12950 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12991/stat : 12991 (java) S 12950 12953 9822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2727489 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326686571488 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12992] ppid=12950 vsize=10967196 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12992/stat : 12992 (java) S 12950 12953 9822 0 -1 1077944384 2712 0 0 0 50 64 0 0 20 0 21 0 2727490 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326685519024 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12993] ppid=12950 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12993/stat : 12993 (java) S 12950 12953 9822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2731883 11230408704 1837902 33554432000 4194304 4196468 140727671989600 140326684464304 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
Current children cumulated CPU time (s) 2400.09
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 12953 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2170.6 s]
/proc/loadavg: 2.05 2.05 2.13 3/283 13144
/proc/meminfo: memFree=21643556/32770624 swapFree=5908/205924
[pid=12953] ppid=12950 vsize=11168936 CPUtime=2400.17 cores=1,3,5,7,9,11,13,15
/proc/12953/stat : 12953 (java) S 12950 12953 9822 0 -1 1077944320 604444 0 0 0 237620 2397 0 0 20 0 22 0 2727476 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140727671972144 140327354109687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
/proc/12953/statm: 2792234 1837999 3176 1 0 2780628 0
[pid=12953/tid=12963] ppid=12950 vsize=11168936 CPUtime=2125.8 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12963/stat : 12963 (java) S 12950 12953 9822 0 -1 1077944384 438600 0 0 0 212536 44 0 0 20 0 22 0 2727477 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140327358352560 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12965] ppid=12950 vsize=11168936 CPUtime=31.87 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12965/stat : 12965 (java) S 12950 12953 9822 0 -1 1077944384 12262 0 0 0 2898 289 0 0 20 0 22 0 2727478 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326960999440 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12966] ppid=12950 vsize=11168936 CPUtime=31.88 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12966/stat : 12966 (java) S 12950 12953 9822 0 -1 1077944384 12916 0 0 0 2892 296 0 0 20 0 22 0 2727478 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326959946896 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12967] ppid=12950 vsize=11168936 CPUtime=31.89 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12967/stat : 12967 (java) S 12950 12953 9822 0 -1 1077944384 9038 0 0 0 2926 263 0 0 20 0 22 0 2727478 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326958893840 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12968] ppid=12950 vsize=11168936 CPUtime=31.82 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12968/stat : 12968 (java) S 12950 12953 9822 0 -1 1077944384 18802 0 0 0 2905 277 0 0 20 0 22 0 2727478 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326957841296 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12969] ppid=12950 vsize=11168936 CPUtime=32.03 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12969/stat : 12969 (java) S 12950 12953 9822 0 -1 1077944384 8654 0 0 0 2937 266 0 0 20 0 22 0 2727478 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326956788240 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12970] ppid=12950 vsize=11168936 CPUtime=31.91 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12970/stat : 12970 (java) S 12950 12953 9822 0 -1 1077944384 14762 0 0 0 2892 299 0 0 20 0 22 0 2727478 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326955735696 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12971] ppid=12950 vsize=11168936 CPUtime=31.92 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12971/stat : 12971 (java) S 12950 12953 9822 0 -1 1077944384 8924 0 0 0 2894 298 0 0 20 0 22 0 2727478 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326954682640 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12972] ppid=12950 vsize=11168936 CPUtime=31.68 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12972/stat : 12972 (java) S 12950 12953 9822 0 -1 1077944384 7536 0 0 0 2882 286 0 0 20 0 22 0 2727478 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326953630096 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12976] ppid=12950 vsize=11168936 CPUtime=11.45 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12976/stat : 12976 (java) S 12950 12953 9822 0 -1 1077944384 25335 0 0 0 1141 4 0 0 20 0 22 0 2727480 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326694992624 140327354120834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12977] ppid=12950 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12977/stat : 12977 (java) S 12950 12953 9822 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 22 0 2727481 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326693938912 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12978] ppid=12950 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12978/stat : 12978 (java) S 12950 12953 9822 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 22 0 2727481 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326692885760 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12986] ppid=12950 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12986/stat : 12986 (java) S 12950 12953 9822 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 22 0 2727489 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326691834320 140327354128283 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12987] ppid=12950 vsize=11168936 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12987/stat : 12987 (java) S 12950 12953 9822 0 -1 1077944384 15680 0 0 0 227 2 0 0 20 0 22 0 2727489 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326690781424 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12988] ppid=12950 vsize=11168936 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12988/stat : 12988 (java) S 12950 12953 9822 0 -1 1077944384 8471 0 0 0 174 2 0 0 20 0 22 0 2727489 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326689728880 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12989] ppid=12950 vsize=11168936 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12989/stat : 12989 (java) S 12950 12953 9822 0 -1 1077944384 10432 0 0 0 191 1 0 0 20 0 22 0 2727489 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326688675824 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12990] ppid=12950 vsize=11168936 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12990/stat : 12990 (java) S 12950 12953 9822 0 -1 1077944384 8173 0 0 0 66 2 0 0 20 0 22 0 2727489 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326687623280 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12991] ppid=12950 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12991/stat : 12991 (java) S 12950 12953 9822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2727489 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326686571488 140327354119893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
[pid=12953/tid=12992] ppid=12950 vsize=11168936 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/12953/task/12992/stat : 12992 (java) S 12950 12953 9822 0 -1 1077944384 2712 0 0 0 50 64 0 0 20 0 22 0 2727490 11436990464 1837999 33554432000 4194304 4196468 140727671989600 140326685519024 140327354120834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10190848 140727671993515 140727671993668 140727671993668 140727671996367 0
Current children cumulated CPU time (s) 2400.17
Current children cumulated vsize (KiB) 11168936
Child status: 143
Real time (s): 2170.67
CPU time (s): 2400.24
CPU user time (s): 2376.23
CPU system time (s): 24.0134
CPU usage (%): 110.576
Max. virtual memory (cumulated for all children) (KiB): 11168936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2376.23
system time used= 24.0134
maximum resident set size= 7352164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605259
page faults= 0
swaps= 0
block input operations= 200
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55305
involuntary context switches= 127336
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1792 second user time and 17.7852 second system time
The end