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-4244134-1500680876/watcher-4244134-1500680876 -o /tmp/evaluation-result-4244134-1500680876/solver-4244134-1500680876 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500680876-8377 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244134-1500680876.xml
pid=8393
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.03 1.27 3/240 8400
/proc/meminfo: memFree=32148676/32770624 swapFree=5916/42536
[pid=8400] ppid=8393 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/stat : 8400 (java) S 8393 8400 2461 0 -1 1077944320 2151 0 0 0 0 0 0 0 20 0 2 0 3355972 8550137856 2376 33554432000 4194304 4196468 140729932229024 140729932211568 140293898559223 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
/proc/8400/statm: 2087436 2376 1197 1 0 2076347 0
[pid=8400/tid=8401] ppid=8393 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8401/stat : 8401 (java) R 8393 8400 2461 0 -1 4202560 912 0 0 0 0 0 0 0 20 0 2 0 3355972 8550137856 2442 33554432000 4194304 4196468 140729932229024 140293902801312 140293890800613 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[startup+0.100134 s]
/proc/loadavg: 1.00 1.03 1.27 3/240 8400
/proc/meminfo: memFree=32148676/32770624 swapFree=5916/42536
[pid=8400] ppid=8393 vsize=10900556 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/8400/stat : 8400 (java) S 8393 8400 2461 0 -1 1077944320 4906 0 0 0 8 1 0 0 20 0 20 0 3355972 11162169344 6013 33554432000 4194304 4196468 140729932229024 140729932211568 140293898559223 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
/proc/8400/statm: 2725139 6013 2630 1 0 2713552 0
[pid=8400/tid=8401] ppid=8393 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8401/stat : 8401 (java) R 8393 8400 2461 0 -1 4202560 2987 0 0 0 7 1 0 0 20 0 20 0 3355972 11162169344 6013 33554432000 4194304 4196468 140729932229024 140293902801504 140293898581149 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556
[startup+0.200567 s]
/proc/loadavg: 1.00 1.03 1.27 3/240 8400
/proc/meminfo: memFree=32148676/32770624 swapFree=5916/42536
[pid=8400] ppid=8393 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/8400/stat : 8400 (java) S 8393 8400 2461 0 -1 1077944320 7031 0 0 0 23 3 0 0 20 0 20 0 3355972 11162169344 8349 33554432000 4194304 4196468 140729932229024 140729932211568 140293898559223 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
/proc/8400/statm: 2725139 8349 2879 1 0 2713552 0
[pid=8400/tid=8401] ppid=8393 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8401/stat : 8401 (java) R 8393 8400 2461 0 -1 4202560 4698 0 0 0 16 2 0 0 20 0 20 0 3355972 11162169344 8349 33554432000 4194304 4196468 140729932229024 140293902780528 140293898581149 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300387 s]
/proc/loadavg: 1.00 1.03 1.27 3/240 8400
/proc/meminfo: memFree=32148676/32770624 swapFree=5916/42536
[pid=8400] ppid=8393 vsize=10900556 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/8400/stat : 8400 (java) S 8393 8400 2461 0 -1 1077944320 7924 0 0 0 37 3 0 0 20 0 20 0 3355972 11162169344 10092 33554432000 4194304 4196468 140729932229024 140729932211568 140293898559223 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
/proc/8400/statm: 2725139 10092 2927 1 0 2713552 0
[pid=8400/tid=8401] ppid=8393 vsize=10900556 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8401/stat : 8401 (java) R 8393 8400 2461 0 -1 4202560 5444 0 0 0 25 2 0 0 20 0 20 0 3355972 11162169344 10092 33554432000 4194304 4196468 140729932229024 140293902781296 140293898571158 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 10900556
[startup+0.70028 s]
/proc/loadavg: 1.00 1.03 1.27 3/240 8400
/proc/meminfo: memFree=32148676/32770624 swapFree=5916/42536
[pid=8400] ppid=8393 vsize=10900632 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/8400/stat : 8400 (java) S 8393 8400 2461 0 -1 1077944320 15414 0 0 0 193 6 0 0 20 0 20 0 3355972 11162247168 32864 33554432000 4194304 4196468 140729932229024 140729932211568 140293898559223 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
/proc/8400/statm: 2725158 32864 3094 1 0 2713552 0
[pid=8400/tid=8401] ppid=8393 vsize=10900632 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8401/stat : 8401 (java) R 8393 8400 2461 0 -1 4202560 5997 0 0 0 64 3 0 0 20 0 20 0 3355972 11162247168 32864 33554432000 4194304 4196468 140729932229024 140293902792744 140293880509889 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 10900632
[startup+1.5014 s]
/proc/loadavg: 1.00 1.03 1.27 14/282 8445
/proc/meminfo: memFree=31618380/32770624 swapFree=5916/42548
[pid=8400] ppid=8393 vsize=10900632 CPUtime=5.68 cores=1,3,5,7,9,11,13,15
/proc/8400/stat : 8400 (java) S 8393 8400 2461 0 -1 1077944320 25046 0 0 0 525 43 0 0 20 0 20 0 3355972 11162247168 77543 33554432000 4194304 4196468 140729932229024 140729932211568 140293898559223 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
/proc/8400/statm: 2725158 77543 3131 1 0 2713552 0
[pid=8400/tid=8401] ppid=8393 vsize=10900632 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8401/stat : 8401 (java) R 8393 8400 2461 0 -1 4202560 6084 0 0 0 129 4 0 0 20 0 20 0 3355972 11162247168 77543 33554432000 4194304 4196468 140729932229024 140293902784360 140293884249905 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8404] ppid=8393 vsize=10900632 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8404/stat : 8404 (java) S 8393 8400 2461 0 -1 1077944384 103 0 0 0 6 3 0 0 20 0 20 0 3355973 11162247168 77543 33554432000 4194304 4196468 140729932229024 140293835250832 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8406] ppid=8393 vsize=10900632 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8406/stat : 8406 (java) S 8393 8400 2461 0 -1 1077944384 108 0 0 0 6 3 0 0 20 0 20 0 3355973 11162247168 77543 33554432000 4194304 4196468 140729932229024 140293834198032 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8407] ppid=8393 vsize=10900632 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8407/stat : 8407 (java) S 8393 8400 2461 0 -1 1077944384 85 0 0 0 4 3 0 0 20 0 20 0 3355973 11162247168 77543 33554432000 4194304 4196468 140729932229024 140293833145232 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8408] ppid=8393 vsize=10900632 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8408/stat : 8408 (java) S 8393 8400 2461 0 -1 1077944384 69 0 0 0 5 5 0 0 20 0 20 0 3355973 11162247168 77543 33554432000 4194304 4196468 140729932229024 140293502266128 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8409] ppid=8393 vsize=10900632 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8409/stat : 8409 (java) S 8393 8400 2461 0 -1 1077944384 38 0 0 0 4 4 0 0 20 0 20 0 3355973 11162247168 77543 33554432000 4194304 4196468 140729932229024 140293501213328 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8410] ppid=8393 vsize=10900632 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8410/stat : 8410 (java) S 8393 8400 2461 0 -1 1077944384 93 0 0 0 5 5 0 0 20 0 20 0 3355973 11162247168 77543 33554432000 4194304 4196468 140729932229024 140293500160528 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8411] ppid=8393 vsize=10900632 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8411/stat : 8411 (java) S 8393 8400 2461 0 -1 1077944384 39 0 0 0 4 5 0 0 20 0 20 0 3355973 11162247168 77543 33554432000 4194304 4196468 140729932229024 140293499107728 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8412] ppid=8393 vsize=10900632 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8412/stat : 8412 (java) S 8393 8400 2461 0 -1 1077944384 41 0 0 0 5 3 0 0 20 0 20 0 3355973 11162247168 77543 33554432000 4194304 4196468 140729932229024 140293498054928 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8426] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8426/stat : 8426 (java) S 8393 8400 2461 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 3355976 11162247168 77543 33554432000 4194304 4196468 140729932229024 140293374323568 140293898570370 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8427] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8427/stat : 8427 (java) S 8393 8400 2461 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3355976 11162247168 77543 33554432000 4194304 4196468 140729932229024 140293373269536 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8428] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8428/stat : 8428 (java) S 8393 8400 2461 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3355977 11162247168 77543 33554432000 4194304 4196468 140729932229024 140293372216688 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8432] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8432/stat : 8432 (java) S 8393 8400 2461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3355981 11162247168 77609 33554432000 4194304 4196468 140729932229024 140293371165008 140293898577819 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8433] ppid=8393 vsize=10900632 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8433/stat : 8433 (java) R 8393 8400 2461 0 -1 4202560 6604 0 0 0 109 1 0 0 20 0 20 0 3355981 11162247168 77609 33554432000 4194304 4196468 140729932229024 140293370098392 140293880076974 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8434] ppid=8393 vsize=10900632 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8434/stat : 8434 (java) R 8393 8400 2461 0 -1 4202560 4509 0 0 0 101 0 0 0 20 0 20 0 3355981 11162247168 77609 33554432000 4194304 4196468 140729932229024 140293369045064 140293880105960 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8435] ppid=8393 vsize=10900632 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8435/stat : 8435 (java) R 8393 8400 2461 0 -1 4202560 4163 0 0 0 105 1 0 0 20 0 20 0 3355981 11162247168 77609 33554432000 4194304 4196468 140729932229024 140293367988336 140293878214432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8436] ppid=8393 vsize=10900632 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8436/stat : 8436 (java) S 8393 8400 2461 0 -1 1077944384 1684 0 0 0 35 0 0 0 20 0 20 0 3355981 11162247168 77609 33554432000 4194304 4196468 140729932229024 140293366953968 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8437] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8437/stat : 8437 (java) S 8393 8400 2461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3355981 11162247168 77609 33554432000 4194304 4196468 140729932229024 140293365902432 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8438] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8438/stat : 8438 (java) S 8393 8400 2461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3355981 11162247168 77609 33554432000 4194304 4196468 140729932229024 140293364849712 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 10900632
[startup+3.10083 s]
/proc/loadavg: 1.80 1.19 1.32 10/282 8445
/proc/meminfo: memFree=31055508/32770624 swapFree=5916/42548
[pid=8400] ppid=8393 vsize=10900632 CPUtime=9.88 cores=1,3,5,7,9,11,13,15
/proc/8400/stat : 8400 (java) S 8393 8400 2461 0 -1 1077944320 29077 0 0 0 873 115 0 0 20 0 20 0 3355972 11162247168 176572 33554432000 4194304 4196468 140729932229024 140729932211568 140293898559223 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
/proc/8400/statm: 2725158 176572 3134 1 0 2713552 0
[pid=8400/tid=8401] ppid=8393 vsize=10900632 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8401/stat : 8401 (java) R 8393 8400 2461 0 -1 4202560 6513 0 0 0 260 7 0 0 20 0 20 0 3355972 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293902792240 140293880480702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8404] ppid=8393 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8404/stat : 8404 (java) S 8393 8400 2461 0 -1 1077944384 720 0 0 0 23 11 0 0 20 0 20 0 3355973 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293835250832 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8406] ppid=8393 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8406/stat : 8406 (java) S 8393 8400 2461 0 -1 1077944384 245 0 0 0 22 12 0 0 20 0 20 0 3355973 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293834198032 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8407] ppid=8393 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8407/stat : 8407 (java) S 8393 8400 2461 0 -1 1077944384 199 0 0 0 21 11 0 0 20 0 20 0 3355973 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293833145232 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8408] ppid=8393 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8408/stat : 8408 (java) S 8393 8400 2461 0 -1 1077944384 209 0 0 0 22 15 0 0 20 0 20 0 3355973 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293502266128 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8409] ppid=8393 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8409/stat : 8409 (java) S 8393 8400 2461 0 -1 1077944384 186 0 0 0 21 13 0 0 20 0 20 0 3355973 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293501213328 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8410] ppid=8393 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8410/stat : 8410 (java) S 8393 8400 2461 0 -1 1077944384 249 0 0 0 23 13 0 0 20 0 20 0 3355973 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293500160528 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8411] ppid=8393 vsize=10900632 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8411/stat : 8411 (java) S 8393 8400 2461 0 -1 1077944384 241 0 0 0 20 13 0 0 20 0 20 0 3355973 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293499107728 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8412] ppid=8393 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8412/stat : 8412 (java) S 8393 8400 2461 0 -1 1077944384 123 0 0 0 20 12 0 0 20 0 20 0 3355973 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293498054928 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8426] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8426/stat : 8426 (java) S 8393 8400 2461 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 20 0 3355976 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293374323568 140293898570370 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8427] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8427/stat : 8427 (java) S 8393 8400 2461 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3355976 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293373269536 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8428] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8428/stat : 8428 (java) S 8393 8400 2461 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3355977 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293372216688 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8432] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8432/stat : 8432 (java) S 8393 8400 2461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3355981 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293371165008 140293898577819 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8433] ppid=8393 vsize=10900632 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8433/stat : 8433 (java) S 8393 8400 2461 0 -1 1077944384 6685 0 0 0 136 1 0 0 20 0 20 0 3355981 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293370112368 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8434] ppid=8393 vsize=10900632 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8434/stat : 8434 (java) S 8393 8400 2461 0 -1 1077944384 6227 0 0 0 127 0 0 0 20 0 20 0 3355981 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293369059568 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8435] ppid=8393 vsize=10900632 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8435/stat : 8435 (java) S 8393 8400 2461 0 -1 1077944384 4207 0 0 0 133 1 0 0 20 0 20 0 3355981 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293368006768 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8436] ppid=8393 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8436/stat : 8436 (java) S 8393 8400 2461 0 -1 1077944384 1698 0 0 0 36 0 0 0 20 0 20 0 3355981 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293366953968 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8437] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8437/stat : 8437 (java) S 8393 8400 2461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3355981 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293365902432 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8438] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8438/stat : 8438 (java) S 8393 8400 2461 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3355981 11162247168 176572 33554432000 4194304 4196468 140729932229024 140293364849712 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (KiB) 10900632
[startup+6.3009 s]
/proc/loadavg: 1.80 1.19 1.32 12/282 8445
/proc/meminfo: memFree=30053220/32770624 swapFree=5916/42560
[pid=8400] ppid=8393 vsize=10900632 CPUtime=20.59 cores=1,3,5,7,9,11,13,15
/proc/8400/stat : 8400 (java) S 8393 8400 2461 0 -1 1077944320 34575 0 0 0 1851 208 0 0 20 0 20 0 3355972 11162247168 290583 33554432000 4194304 4196468 140729932229024 140729932211568 140293898559223 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
/proc/8400/statm: 2725158 290583 3150 1 0 2713552 0
[pid=8400/tid=8401] ppid=8393 vsize=10900632 CPUtime=4.3 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8401/stat : 8401 (java) R 8393 8400 2461 0 -1 4202560 7249 0 0 0 421 9 0 0 20 0 20 0 3355972 11162247168 290583 33554432000 4194304 4196468 140729932229024 140293902794880 140293879965498 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8404] ppid=8393 vsize=10900632 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8404/stat : 8404 (java) S 8393 8400 2461 0 -1 1077944384 1114 0 0 0 110 24 0 0 20 0 20 0 3355973 11162247168 290583 33554432000 4194304 4196468 140729932229024 140293835250832 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8406] ppid=8393 vsize=10900632 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8406/stat : 8406 (java) S 8393 8400 2461 0 -1 1077944384 553 0 0 0 107 25 0 0 20 0 20 0 3355973 11162247168 290583 33554432000 4194304 4196468 140729932229024 140293834198032 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8407] ppid=8393 vsize=10900632 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8407/stat : 8407 (java) S 8393 8400 2461 0 -1 1077944384 575 0 0 0 106 25 0 0 20 0 20 0 3355973 11162247168 290583 33554432000 4194304 4196468 140729932229024 140293833145232 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8408] ppid=8393 vsize=10900632 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8408/stat : 8408 (java) S 8393 8400 2461 0 -1 1077944384 777 0 0 0 108 27 0 0 20 0 20 0 3355973 11162247168 290583 33554432000 4194304 4196468 140729932229024 140293502266128 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8409] ppid=8393 vsize=10900632 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8409/stat : 8409 (java) S 8393 8400 2461 0 -1 1077944384 952 0 0 0 107 20 0 0 20 0 20 0 3355973 11162247168 290583 33554432000 4194304 4196468 140729932229024 140293501213328 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8410] ppid=8393 vsize=10900632 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8410/stat : 8410 (java) S 8393 8400 2461 0 -1 1077944384 1001 0 0 0 104 21 0 0 20 0 20 0 3355973 11162247168 290583 33554432000 4194304 4196468 140729932229024 140293500160528 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8411] ppid=8393 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8411/stat : 8411 (java) S 8393 8400 2461 0 -1 1077944384 623 0 0 0 104 26 0 0 20 0 20 0 3355973 11162247168 290583 33554432000 4194304 4196468 140729932229024 140293499107728 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8412] ppid=8393 vsize=10900632 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8412/stat : 8412 (java) S 8393 8400 2461 0 -1 1077944384 438 0 0 0 107 21 0 0 20 0 20 0 3355973 11162247168 290583 33554432000 4194304 4196468 140729932229024 140293498054928 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8426] ppid=8393 vsize=10900632 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8426/stat : 8426 (java) S 8393 8400 2461 0 -1 1077944384 1038 0 0 0 54 0 0 0 20 0 20 0 3355976 11162247168 290583 33554432000 4194304 4196468 140729932229024 140293374323568 140293898570370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8427] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8427/stat : 8427 (java) S 8393 8400 2461 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3355976 11162247168 290583 33554432000 4194304 4196468 140729932229024 140293373269600 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8428] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8428/stat : 8428 (java) S 8393 8400 2461 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3355977 11162247168 290583 33554432000 4194304 4196468 140729932229024 140293372216704 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8432] ppid=8393 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=8400/tid=8437] ppid=8393 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8437/stat : 8437 (java) S 8393 8400 2461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293365902432 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8438] ppid=8393 vsize=10967196 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8438/stat : 8438 (java) S 8393 8400 2461 0 -1 1077944384 2523 0 0 0 58 61 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293364849712 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8447] ppid=8393 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8447/stat : 8447 (java) S 8393 8400 2461 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3360626 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293363795248 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
Current children cumulated CPU time (s) 2307.31
Current children cumulated vsize (KiB) 10967196
[startup+2142.3 s]
/proc/loadavg: 2.10 2.09 2.04 3/284 8541
/proc/meminfo: memFree=21159676/32770624 swapFree=5916/44252
[pid=8400] ppid=8393 vsize=10967196 CPUtime=2367.31 cores=1,3,5,7,9,11,13,15
/proc/8400/stat : 8400 (java) S 8393 8400 2461 0 -1 1077944320 1354521 0 0 0 234859 1872 0 0 20 0 21 0 3355972 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140729932211568 140293898559223 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
/proc/8400/statm: 2741799 1740155 3168 1 0 2730193 0
[pid=8400/tid=8401] ppid=8393 vsize=10967196 CPUtime=2102.5 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8401/stat : 8401 (java) R 8393 8400 2461 0 -1 4202560 941777 0 0 0 210177 73 0 0 20 0 21 0 3355972 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293902798144 140293518731461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8404] ppid=8393 vsize=10967196 CPUtime=30.98 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8404/stat : 8404 (java) S 8393 8400 2461 0 -1 1077944384 44179 0 0 0 2869 229 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293835250832 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8406] ppid=8393 vsize=10967196 CPUtime=30.88 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8406/stat : 8406 (java) S 8393 8400 2461 0 -1 1077944384 47531 0 0 0 2882 206 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293834198032 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8407] ppid=8393 vsize=10967196 CPUtime=30.99 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8407/stat : 8407 (java) S 8393 8400 2461 0 -1 1077944384 35078 0 0 0 2871 228 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293833145232 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8408] ppid=8393 vsize=10967196 CPUtime=31.03 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8408/stat : 8408 (java) S 8393 8400 2461 0 -1 1077944384 38634 0 0 0 2888 215 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293502266128 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8409] ppid=8393 vsize=10967196 CPUtime=30.5 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8409/stat : 8409 (java) S 8393 8400 2461 0 -1 1077944384 38435 0 0 0 2862 188 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293501213328 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8410] ppid=8393 vsize=10967196 CPUtime=30.92 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8410/stat : 8410 (java) S 8393 8400 2461 0 -1 1077944384 38043 0 0 0 2880 212 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293500160528 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8411] ppid=8393 vsize=10967196 CPUtime=31.02 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8411/stat : 8411 (java) S 8393 8400 2461 0 -1 1077944384 46152 0 0 0 2865 237 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293499107728 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8412] ppid=8393 vsize=10967196 CPUtime=30.93 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8412/stat : 8412 (java) S 8393 8400 2461 0 -1 1077944384 43290 0 0 0 2884 209 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293498054928 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8426] ppid=8393 vsize=10967196 CPUtime=7.01 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8426/stat : 8426 (java) S 8393 8400 2461 0 -1 1077944384 23175 0 0 0 696 5 0 0 20 0 21 0 3355976 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293374323568 140293898570370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8427] ppid=8393 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8427/stat : 8427 (java) S 8393 8400 2461 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 3355976 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293373269600 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8428] ppid=8393 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8428/stat : 8428 (java) S 8393 8400 2461 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 21 0 3355977 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293372216704 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8432] ppid=8393 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8432/stat : 8432 (java) S 8393 8400 2461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293371165008 140293898577819 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8433] ppid=8393 vsize=10967196 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8433/stat : 8433 (java) S 8393 8400 2461 0 -1 1077944384 17687 0 0 0 309 3 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293370112368 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8434] ppid=8393 vsize=10967196 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8434/stat : 8434 (java) S 8393 8400 2461 0 -1 1077944384 14335 0 0 0 278 1 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293369059568 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8435] ppid=8393 vsize=10967196 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8435/stat : 8435 (java) S 8393 8400 2461 0 -1 1077944384 14461 0 0 0 267 2 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293368006768 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8436] ppid=8393 vsize=10967196 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8436/stat : 8436 (java) S 8393 8400 2461 0 -1 1077944384 7712 0 0 0 56 2 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293366953968 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8437] ppid=8393 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8437/stat : 8437 (java) S 8393 8400 2461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293365902432 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8438] ppid=8393 vsize=10967196 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8438/stat : 8438 (java) S 8393 8400 2461 0 -1 1077944384 2562 0 0 0 60 63 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293364849712 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8447] ppid=8393 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8447/stat : 8447 (java) S 8393 8400 2461 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3360626 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293363795248 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
Current children cumulated CPU time (s) 2367.31
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2175 s]
/proc/loadavg: 2.06 2.08 2.04 3/284 8542
/proc/meminfo: memFree=21159636/32770624 swapFree=5916/44276
[pid=8400] ppid=8393 vsize=10967196 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15
/proc/8400/stat : 8400 (java) S 8393 8400 2461 0 -1 1077944320 1355171 0 0 0 238128 1873 0 0 20 0 21 0 3355972 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140729932211568 140293898559223 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
/proc/8400/statm: 2741799 1740155 3168 1 0 2730193 0
[pid=8400/tid=8401] ppid=8393 vsize=10967196 CPUtime=2135.17 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8401/stat : 8401 (java) R 8393 8400 2461 0 -1 4202560 942358 0 0 0 213444 73 0 0 20 0 21 0 3355972 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293902798144 140293514992527 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8404] ppid=8393 vsize=10967196 CPUtime=30.98 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8404/stat : 8404 (java) S 8393 8400 2461 0 -1 1077944384 44179 0 0 0 2869 229 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293835250832 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8406] ppid=8393 vsize=10967196 CPUtime=30.88 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8406/stat : 8406 (java) S 8393 8400 2461 0 -1 1077944384 47531 0 0 0 2882 206 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293834198032 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8407] ppid=8393 vsize=10967196 CPUtime=30.99 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8407/stat : 8407 (java) S 8393 8400 2461 0 -1 1077944384 35078 0 0 0 2871 228 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293833145232 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8408] ppid=8393 vsize=10967196 CPUtime=31.03 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8408/stat : 8408 (java) S 8393 8400 2461 0 -1 1077944384 38634 0 0 0 2888 215 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293502266128 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8409] ppid=8393 vsize=10967196 CPUtime=30.5 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8409/stat : 8409 (java) S 8393 8400 2461 0 -1 1077944384 38435 0 0 0 2862 188 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293501213328 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8410] ppid=8393 vsize=10967196 CPUtime=30.92 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8410/stat : 8410 (java) S 8393 8400 2461 0 -1 1077944384 38043 0 0 0 2880 212 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293500160528 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8411] ppid=8393 vsize=10967196 CPUtime=31.02 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8411/stat : 8411 (java) S 8393 8400 2461 0 -1 1077944384 46152 0 0 0 2865 237 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293499107728 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8412] ppid=8393 vsize=10967196 CPUtime=30.93 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8412/stat : 8412 (java) S 8393 8400 2461 0 -1 1077944384 43290 0 0 0 2884 209 0 0 20 0 21 0 3355973 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293498054928 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8426] ppid=8393 vsize=10967196 CPUtime=7.01 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8426/stat : 8426 (java) S 8393 8400 2461 0 -1 1077944384 23180 0 0 0 696 5 0 0 20 0 21 0 3355976 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293374323568 140293898570370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8427] ppid=8393 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8427/stat : 8427 (java) S 8393 8400 2461 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 3355976 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293373269600 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8428] ppid=8393 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8428/stat : 8428 (java) S 8393 8400 2461 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 21 0 3355977 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293372216704 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8432] ppid=8393 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8432/stat : 8432 (java) S 8393 8400 2461 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293371165008 140293898577819 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8433] ppid=8393 vsize=10967196 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8433/stat : 8433 (java) S 8393 8400 2461 0 -1 1077944384 17703 0 0 0 309 3 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293370112368 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8434] ppid=8393 vsize=10967196 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8434/stat : 8434 (java) S 8393 8400 2461 0 -1 1077944384 14338 0 0 0 278 1 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293369059568 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8435] ppid=8393 vsize=10967196 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8435/stat : 8435 (java) S 8393 8400 2461 0 -1 1077944384 14464 0 0 0 267 2 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293368006768 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8436] ppid=8393 vsize=10967196 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8436/stat : 8436 (java) S 8393 8400 2461 0 -1 1077944384 7717 0 0 0 56 2 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293366953968 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8437] ppid=8393 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8437/stat : 8437 (java) S 8393 8400 2461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293365902432 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8438] ppid=8393 vsize=10967196 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8438/stat : 8438 (java) S 8393 8400 2461 0 -1 1077944384 2599 0 0 0 61 64 0 0 20 0 21 0 3355981 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293364849712 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8447] ppid=8393 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8447/stat : 8447 (java) S 8393 8400 2461 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3360626 11230408704 1740155 33554432000 4194304 4196468 140729932229024 140293363795248 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
Current children cumulated CPU time (s) 2400.01
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 8400 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2175.2 s]
/proc/loadavg: 2.06 2.08 2.04 3/284 8542
/proc/meminfo: memFree=21159636/32770624 swapFree=5916/44276
[pid=8400] ppid=8393 vsize=11166888 CPUtime=2400.11 cores=1,3,5,7,9,11,13,15
/proc/8400/stat : 8400 (java) S 8393 8400 2461 0 -1 1077944320 1356502 0 0 0 238138 1873 0 0 20 0 22 0 3355972 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140729932211568 140293898559223 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
/proc/8400/statm: 2791722 1740212 3170 1 0 2780116 0
[pid=8400/tid=8401] ppid=8393 vsize=11166888 CPUtime=2135.27 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8401/stat : 8401 (java) S 8393 8400 2461 0 -1 1077944384 942556 0 0 0 213454 73 0 0 20 0 22 0 3355972 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293902802096 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8404] ppid=8393 vsize=11166888 CPUtime=30.98 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8404/stat : 8404 (java) S 8393 8400 2461 0 -1 1077944384 44179 0 0 0 2869 229 0 0 20 0 22 0 3355973 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293835250832 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8406] ppid=8393 vsize=11166888 CPUtime=30.88 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8406/stat : 8406 (java) S 8393 8400 2461 0 -1 1077944384 47531 0 0 0 2882 206 0 0 20 0 22 0 3355973 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293834198032 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8407] ppid=8393 vsize=11166888 CPUtime=30.99 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8407/stat : 8407 (java) S 8393 8400 2461 0 -1 1077944384 35078 0 0 0 2871 228 0 0 20 0 22 0 3355973 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293833145232 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8408] ppid=8393 vsize=11166888 CPUtime=31.03 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8408/stat : 8408 (java) S 8393 8400 2461 0 -1 1077944384 38634 0 0 0 2888 215 0 0 20 0 22 0 3355973 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293502266128 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8409] ppid=8393 vsize=11166888 CPUtime=30.5 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8409/stat : 8409 (java) S 8393 8400 2461 0 -1 1077944384 38435 0 0 0 2862 188 0 0 20 0 22 0 3355973 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293501213328 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8410] ppid=8393 vsize=11166888 CPUtime=30.92 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8410/stat : 8410 (java) S 8393 8400 2461 0 -1 1077944384 38043 0 0 0 2880 212 0 0 20 0 22 0 3355973 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293500160528 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8411] ppid=8393 vsize=11166888 CPUtime=31.02 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8411/stat : 8411 (java) S 8393 8400 2461 0 -1 1077944384 46152 0 0 0 2865 237 0 0 20 0 22 0 3355973 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293499107728 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8412] ppid=8393 vsize=11166888 CPUtime=30.93 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8412/stat : 8412 (java) S 8393 8400 2461 0 -1 1077944384 43290 0 0 0 2884 209 0 0 20 0 22 0 3355973 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293498054928 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8426] ppid=8393 vsize=11166888 CPUtime=7.01 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8426/stat : 8426 (java) S 8393 8400 2461 0 -1 1077944384 23217 0 0 0 696 5 0 0 20 0 22 0 3355976 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293374323568 140293898570370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8427] ppid=8393 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8427/stat : 8427 (java) S 8393 8400 2461 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 22 0 3355976 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293373269600 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8428] ppid=8393 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8428/stat : 8428 (java) S 8393 8400 2461 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 22 0 3355977 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293372216704 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8432] ppid=8393 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8432/stat : 8432 (java) S 8393 8400 2461 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 22 0 3355981 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293371165008 140293898577819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8433] ppid=8393 vsize=11166888 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8433/stat : 8433 (java) S 8393 8400 2461 0 -1 1077944384 17703 0 0 0 309 3 0 0 20 0 22 0 3355981 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293370112368 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8434] ppid=8393 vsize=11166888 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8434/stat : 8434 (java) S 8393 8400 2461 0 -1 1077944384 14338 0 0 0 278 1 0 0 20 0 22 0 3355981 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293369059568 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8435] ppid=8393 vsize=11166888 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8435/stat : 8435 (java) S 8393 8400 2461 0 -1 1077944384 14464 0 0 0 267 2 0 0 20 0 22 0 3355981 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293368006768 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8436] ppid=8393 vsize=11166888 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8436/stat : 8436 (java) S 8393 8400 2461 0 -1 1077944384 8253 0 0 0 56 2 0 0 20 0 22 0 3355981 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293366953968 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8437] ppid=8393 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8437/stat : 8437 (java) S 8393 8400 2461 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3355981 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293365902432 140293898569429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
[pid=8400/tid=8438] ppid=8393 vsize=11166888 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/8400/task/8438/stat : 8438 (java) S 8393 8400 2461 0 -1 1077944384 2599 0 0 0 61 64 0 0 20 0 22 0 3355981 11434893312 1740212 33554432000 4194304 4196468 140729932229024 140293364849712 140293898570370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24203264 140729932231851 140729932232004 140729932232004 140729932234703 0
Current children cumulated CPU time (s) 2400.11
Current children cumulated vsize (KiB) 11166888
Child status: 143
Real time (s): 2175.27
CPU time (s): 2400.17
CPU user time (s): 2381.39
CPU system time (s): 18.7778
CPU usage (%): 110.339
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2381.39
system time used= 18.7778
maximum resident set size= 6961112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1357924
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57744
involuntary context switches= 126409
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4702 second user time and 18.3967 second system time
The end