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-4243304-1500669978/watcher-4243304-1500669978 -o /tmp/evaluation-result-4243304-1500669978/solver-4243304-1500669978 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500669978-4895 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243304-1500669978.xml
pid=4917
running on 8 cores: 0,2,4,6,8,10,12,14
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.01 1.02 1.15 2/240 4920
/proc/meminfo: memFree=32034320/32770624 swapFree=5668/226036
[pid=4920] ppid=4917 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/stat : 4920 (java) S 4917 4920 2474 0 -1 1077944320 1715 0 0 0 0 0 0 0 20 0 2 0 2265316 369864704 1934 33554432000 4194304 4196468 140728893013488 140728892996032 140361138544375 0 0 0 16784584 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
/proc/4920/statm: 90299 1934 1081 1 0 79210 0
[pid=4920/tid=4921] ppid=4917 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4921/stat : 4921 (java) S 4917 4920 2474 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 2 0 2265317 369864704 1934 33554432000 4194304 4196468 140728893013488 140361142786464 140361138555522 0 4 0 16784584 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[startup+0.100105 s]
/proc/loadavg: 1.01 1.02 1.15 2/240 4920
/proc/meminfo: memFree=32034320/32770624 swapFree=5668/226036
[pid=4920] ppid=4917 vsize=10900556 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/4920/stat : 4920 (java) S 4917 4920 2474 0 -1 1077944320 5012 0 0 0 9 1 0 0 20 0 20 0 2265316 11162169344 6073 33554432000 4194304 4196468 140728893013488 140728892996032 140361138544375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
/proc/4920/statm: 2725139 6073 2630 1 0 2713552 0
[pid=4920/tid=4921] ppid=4917 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4921/stat : 4921 (java) R 4917 4920 2474 0 -1 4202560 3081 0 0 0 8 0 0 0 20 0 20 0 2265317 11162169344 6073 33554432000 4194304 4196468 140728893013488 140361142775568 140361130785817 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556
[startup+0.200465 s]
/proc/loadavg: 1.01 1.02 1.15 2/240 4920
/proc/meminfo: memFree=32034320/32770624 swapFree=5668/226036
[pid=4920] ppid=4917 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/4920/stat : 4920 (java) S 4917 4920 2474 0 -1 1077944320 7192 0 0 0 24 2 0 0 20 0 20 0 2265316 11162169344 9024 33554432000 4194304 4196468 140728893013488 140728892996032 140361138544375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
/proc/4920/statm: 2725139 9024 2880 1 0 2713552 0
[pid=4920/tid=4921] ppid=4917 vsize=10900556 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4921/stat : 4921 (java) R 4917 4920 2474 0 -1 4202560 4782 0 0 0 16 1 0 0 20 0 20 0 2265317 11162169344 9024 33554432000 4194304 4196468 140728893013488 140361142750064 140360756086751 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300354 s]
/proc/loadavg: 1.01 1.02 1.15 2/240 4920
/proc/meminfo: memFree=32034320/32770624 swapFree=5668/226036
[pid=4920] ppid=4917 vsize=10900556 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/4920/stat : 4920 (java) S 4917 4920 2474 0 -1 1077944320 9062 0 0 0 47 3 0 0 20 0 20 0 2265316 11162169344 11460 33554432000 4194304 4196468 140728893013488 140728892996032 140361138544375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
/proc/4920/statm: 2725139 11460 3026 1 0 2713552 0
[pid=4920/tid=4921] ppid=4917 vsize=10900556 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4921/stat : 4921 (java) R 4917 4920 2474 0 -1 4202560 5285 0 0 0 26 1 0 0 20 0 20 0 2265317 11162169344 11460 33554432000 4194304 4196468 140728893013488 140361142773088 140361122624862 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10900556
[startup+0.700309 s]
/proc/loadavg: 1.01 1.02 1.15 2/240 4920
/proc/meminfo: memFree=32034320/32770624 swapFree=5668/226036
[pid=4920] ppid=4917 vsize=10900632 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/4920/stat : 4920 (java) S 4917 4920 2474 0 -1 1077944320 12308 0 0 0 190 29 0 0 20 0 20 0 2265316 11162247168 56367 33554432000 4194304 4196468 140728893013488 140728892996032 140361138544375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
/proc/4920/statm: 2725158 56367 3100 1 0 2713552 0
[pid=4920/tid=4921] ppid=4917 vsize=10900632 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4921/stat : 4921 (java) S 4917 4920 2474 0 -1 1077944384 5751 0 0 0 58 3 0 0 20 0 20 0 2265317 11162247168 56367 33554432000 4194304 4196468 140728893013488 140361142781136 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 10900632
[startup+1.50189 s]
/proc/loadavg: 1.01 1.02 1.15 17/282 4965
/proc/meminfo: memFree=30682840/32770624 swapFree=5668/226036
[pid=4920] ppid=4917 vsize=10900632 CPUtime=5.11 cores=0,2,4,6,8,10,12,14
/proc/4920/stat : 4920 (java) S 4917 4920 2474 0 -1 1077944320 15309 0 0 0 367 144 0 0 20 0 20 0 2265316 11162247168 258600 33554432000 4194304 4196468 140728893013488 140728892996032 140361138544375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
/proc/4920/statm: 2725158 258600 3116 1 0 2713552 0
[pid=4920/tid=4921] ppid=4917 vsize=10900632 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4921/stat : 4921 (java) R 4917 4920 2474 0 -1 4202560 6558 0 0 0 98 12 0 0 20 0 20 0 2265317 11162247168 258600 33554432000 4194304 4196468 140728893013488 140361142781752 140361124612494 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4925] ppid=4917 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4925/stat : 4925 (java) S 4917 4920 2474 0 -1 1077944384 212 0 0 0 19 16 0 0 20 0 20 0 2265317 11162247168 258600 33554432000 4194304 4196468 140728893013488 140360745348240 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4926] ppid=4917 vsize=10900632 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4926/stat : 4926 (java) S 4917 4920 2474 0 -1 1077944384 239 0 0 0 19 15 0 0 20 0 20 0 2265317 11162247168 258600 33554432000 4194304 4196468 140728893013488 140360744295440 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4927] ppid=4917 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4927/stat : 4927 (java) S 4917 4920 2474 0 -1 1077944384 189 0 0 0 17 18 0 0 20 0 20 0 2265317 11162247168 258600 33554432000 4194304 4196468 140728893013488 140360743242640 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4928] ppid=4917 vsize=10900632 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4928/stat : 4928 (java) S 4917 4920 2474 0 -1 1077944384 207 0 0 0 18 15 0 0 20 0 20 0 2265317 11162247168 258600 33554432000 4194304 4196468 140728893013488 140360742189840 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4929] ppid=4917 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4929/stat : 4929 (java) S 4917 4920 2474 0 -1 1077944384 447 0 0 0 20 15 0 0 20 0 20 0 2265318 11162247168 258600 33554432000 4194304 4196468 140728893013488 140360741137040 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4930] ppid=4917 vsize=10900632 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4930/stat : 4930 (java) S 4917 4920 2474 0 -1 1077944384 184 0 0 0 19 14 0 0 20 0 20 0 2265318 11162247168 258600 33554432000 4194304 4196468 140728893013488 140360740084240 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4931] ppid=4917 vsize=10900632 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4931/stat : 4931 (java) S 4917 4920 2474 0 -1 1077944384 252 0 0 0 17 14 0 0 20 0 20 0 2265318 11162247168 259112 33554432000 4194304 4196468 140728893013488 140360739031440 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4932] ppid=4917 vsize=10900632 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4932/stat : 4932 (java) S 4917 4920 2474 0 -1 1077944384 257 0 0 0 18 16 0 0 20 0 20 0 2265318 11162247168 259112 33554432000 4194304 4196468 140728893013488 140360737978640 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4946] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4946/stat : 4946 (java) S 4917 4920 2474 0 -1 1077944384 506 0 0 0 0 0 0 0 20 0 20 0 2265320 11162247168 259112 33554432000 4194304 4196468 140728893013488 140360681446256 140361138555522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4947] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4947/stat : 4947 (java) S 4917 4920 2474 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2265321 11162247168 259112 33554432000 4194304 4196468 140728893013488 140360680392224 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4948] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4948/stat : 4948 (java) S 4917 4920 2474 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2265321 11162247168 259112 33554432000 4194304 4196468 140728893013488 140360679339376 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4952] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4952/stat : 4952 (java) S 4917 4920 2474 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2265324 11162247168 259112 33554432000 4194304 4196468 140728893013488 140360678287696 140361138562971 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4953] ppid=4917 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4953/stat : 4953 (java) S 4917 4920 2474 0 -1 1077944384 1365 0 0 0 28 0 0 0 20 0 20 0 2265324 11162247168 259112 33554432000 4194304 4196468 140728893013488 140360677235056 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4954] ppid=4917 vsize=10900632 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4954/stat : 4954 (java) S 4917 4920 2474 0 -1 1077944384 1191 0 0 0 31 0 0 0 20 0 20 0 2265324 11162247168 259112 33554432000 4194304 4196468 140728893013488 140360676182256 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4955] ppid=4917 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4955/stat : 4955 (java) S 4917 4920 2474 0 -1 1077944384 780 0 0 0 28 0 0 0 20 0 20 0 2265324 11162247168 259112 33554432000 4194304 4196468 140728893013488 140360675129456 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4956] ppid=4917 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4956/stat : 4956 (java) S 4917 4920 2474 0 -1 1077944384 1557 0 0 0 30 0 0 0 20 0 20 0 2265324 11162247168 259112 33554432000 4194304 4196468 140728893013488 140360674076656 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4957] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4957/stat : 4957 (java) S 4917 4920 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2265325 11162247168 259112 33554432000 4194304 4196468 140728893013488 140360604970080 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4958] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4958/stat : 4958 (java) S 4917 4920 2474 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2265325 11162247168 259112 33554432000 4194304 4196468 140728893013488 140360603917360 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
Current children cumulated CPU time (s) 5.11
Current children cumulated vsize (KiB) 10900632
[startup+3.10162 s]
/proc/loadavg: 1.01 1.02 1.15 3/282 4965
/proc/meminfo: memFree=28801928/32770624 swapFree=5668/226280
[pid=4920] ppid=4917 vsize=10900632 CPUtime=10.72 cores=0,2,4,6,8,10,12,14
/proc/4920/stat : 4920 (java) S 4917 4920 2474 0 -1 1077944320 21130 0 0 0 713 359 0 0 20 0 20 0 2265316 11162247168 672169 33554432000 4194304 4196468 140728893013488 140728892996032 140361138544375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
/proc/4920/statm: 2725158 672169 3116 1 0 2713552 0
[pid=4920/tid=4921] ppid=4917 vsize=10900632 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4921/stat : 4921 (java) S 4917 4920 2474 0 -1 1077944384 8466 0 0 0 182 29 0 0 20 0 20 0 2265317 11162247168 672169 33554432000 4194304 4196468 140728893013488 140361142781264 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4925] ppid=4917 vsize=10900632 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4925/stat : 4925 (java) R 4917 4920 2474 0 -1 4202560 535 0 0 0 51 41 0 0 20 0 20 0 2265317 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360745348128 140361123566565 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4926] ppid=4917 vsize=10900632 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4926/stat : 4926 (java) R 4917 4920 2474 0 -1 4202560 574 0 0 0 50 41 0 0 20 0 20 0 2265317 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360744295640 140361123585334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4927] ppid=4917 vsize=10900632 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4927/stat : 4927 (java) R 4917 4920 2474 0 -1 4202560 645 0 0 0 50 42 0 0 20 0 20 0 2265317 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360743242840 140361123572240 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4928] ppid=4917 vsize=10900632 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4928/stat : 4928 (java) R 4917 4920 2474 0 -1 4202560 699 0 0 0 50 40 0 0 20 0 20 0 2265317 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360742190040 140361123568078 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4929] ppid=4917 vsize=10900632 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4929/stat : 4929 (java) R 4917 4920 2474 0 -1 4202560 1051 0 0 0 53 39 0 0 20 0 20 0 2265318 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360741137240 140361123572258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4930] ppid=4917 vsize=10900632 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4930/stat : 4930 (java) R 4917 4920 2474 0 -1 4202560 503 0 0 0 51 39 0 0 20 0 20 0 2265318 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360740084440 140361123566565 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4931] ppid=4917 vsize=10900632 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4931/stat : 4931 (java) R 4917 4920 2474 0 -1 4202560 571 0 0 0 50 39 0 0 20 0 20 0 2265318 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360739031640 140361123566496 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4932] ppid=4917 vsize=10900632 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4932/stat : 4932 (java) R 4917 4920 2474 0 -1 4202560 571 0 0 0 50 41 0 0 20 0 20 0 2265318 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360737978840 140361123567728 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4946] ppid=4917 vsize=10900632 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4946/stat : 4946 (java) S 4917 4920 2474 0 -1 1077944384 1236 0 0 0 1 0 0 0 20 0 20 0 2265320 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360681444768 140361138554581 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4947] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4947/stat : 4947 (java) S 4917 4920 2474 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2265321 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360680392224 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4948] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4948/stat : 4948 (java) S 4917 4920 2474 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2265321 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360679339376 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4952] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4952/stat : 4952 (java) S 4917 4920 2474 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2265324 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360678287696 140361138562971 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4953] ppid=4917 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4953/stat : 4953 (java) S 4917 4920 2474 0 -1 1077944384 1367 0 0 0 29 0 0 0 20 0 20 0 2265324 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360677235056 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4954] ppid=4917 vsize=10900632 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4954/stat : 4954 (java) S 4917 4920 2474 0 -1 1077944384 1191 0 0 0 31 0 0 0 20 0 20 0 2265324 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360676182256 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4955] ppid=4917 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4955/stat : 4955 (java) S 4917 4920 2474 0 -1 1077944384 784 0 0 0 29 0 0 0 20 0 20 0 2265324 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360675129456 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4956] ppid=4917 vsize=10900632 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4956/stat : 4956 (java) S 4917 4920 2474 0 -1 1077944384 1572 0 0 0 31 0 0 0 20 0 20 0 2265324 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360674076656 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4957] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4957/stat : 4957 (java) S 4917 4920 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2265325 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360604970080 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4958] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4958/stat : 4958 (java) S 4917 4920 2474 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2265325 11162247168 672169 33554432000 4194304 4196468 140728893013488 140360603917360 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
Current children cumulated CPU time (s) 10.72
Current children cumulated vsize (KiB) 10900632
[startup+6.30088 s]
/proc/loadavg: 1.01 1.02 1.15 10/282 4965
/proc/meminfo: memFree=25828200/32770624 swapFree=5668/226280
[pid=4920] ppid=4917 vsize=10900632 CPUtime=23.48 cores=0,2,4,6,8,10,12,14
/proc/4920/stat : 4920 (java) S 4917 4920 2474 0 -1 1077944320 32624 0 0 0 1929 419 0 0 20 0 20 0 2265316 11162247168 775535 33554432000 4194304 4196468 140728893013488 140728892996032 140361138544375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
/proc/4920/statm: 2725158 775535 3131 1 0 2713552 0
[pid=4920/tid=4921] ppid=4917 vsize=10900632 CPUtime=3.36 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4921/stat : 4921 (java) S 4917 4920 2474 0 -1 1077944384 10029 0 0 0 305 31 0 0 20 0 20 0 2265317 11162247168 775535 33554432000 4194304 4196468 140728893013488 140361142781456 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4925] ppid=4917 vsize=10900632 CPUtime=2.28 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4925/stat : 4925 (java) R 4917 4920 2474 0 -1 4202560 1630 0 0 0 181 47 0 0 20 0 20 0 2265317 11162247168 775535 33554432000 4194304 4196468 140728893013488 140360745348440 140361123566465 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4926] ppid=4917 vsize=10900632 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4926/stat : 4926 (java) R 4917 4920 2474 0 -1 4202560 811 0 0 0 180 49 0 0 20 0 20 0 2265317 11162247168 775535 33554432000 4194304 4196468 140728893013488 140360744295640 140361120170453 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4927] ppid=4917 vsize=10900632 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4927/stat : 4927 (java) R 4917 4920 2474 0 -1 4202560 1728 0 0 0 180 50 0 0 20 0 20 0 2265317 11162247168 775535 33554432000 4194304 4196468 140728893013488 140360743240160 140361131647234 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4928] ppid=4917 vsize=10900632 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4928/stat : 4928 (java) R 4917 4920 2474 0 -1 4202560 1355 0 0 0 177 47 0 0 20 0 20 0 2265317 11162247168 775535 33554432000 4194304 4196468 140728893013488 140360742190040 140361123572240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4929] ppid=4917 vsize=10900632 CPUtime=2.28 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4929/stat : 4929 (java) R 4917 4920 2474 0 -1 4202560 1723 0 0 0 182 46 0 0 20 0 20 0 2265318 11162247168 775535 33554432000 4194304 4196468 140728893013488 140360741134840 140361123568179 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4930] ppid=4917 vsize=10900632 CPUtime=2.28 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4930/stat : 4930 (java) D 4917 4920 2474 0 -1 4202560 2501 0 0 0 181 47 0 0 20 0 20 0 2265318 11162247168 775535 33554432000 4194304 4196468 140728893013488 140360740083928 140361123572240 0 4 0 16800975 18446744071582151416 0 0 -1 12 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4931] ppid=4917 vsize=10900632 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4931/stat : 4931 (java) D 4917 4920 2474 0 -1 4202560 2288 0 0 0 181 45 0 0 20 0 20 0 2265318 11162247168 775535 33554432000 4194304 4196468 140728893013488 140360739031640 140361123572258 0 4 0 16800975 18446744071582151416 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4932] ppid=4917 vsize=10900632 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4932/stat : 4932 (java) D 4917 4920 2474 0 -1 4202560 1598 0 0 0 182 48 0 0 20 0 20 0 2265318 11162247168 775535 33554432000 4194304 4196468 140728893013488 140360737978024 140361131261527 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4946] ppid=4917 vsize=10900632 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4946/stat : 4946 (java) S 4917 4920 2474 0 -1 1077944384 2276 0 0 0 55 0 0 0 20 0 20 0 2265320 11162247168 775535 33554432000 4194304 4196468 140728893013488 140360681444768 140361138554581 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4947] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4947/stat : 4947 (java) S 4917 4920 2474 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2265321 11162247168 775535 33554432000 4194304 4196468 140728893013488 140360680392224 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4948] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4948/stat : 4948 (java) S 4917 4920 2474 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2265321 11162247168 775535 33554432000 4194304 4196468 140728893013488 140360679339376 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4952] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=4920/tid=4954] ppid=4917 vsize=10900632 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4954/stat : 4954 (java) S 4917 4920 2474 0 -1 1077944384 3445 0 0 0 59 0 0 0 20 0 20 0 2265324 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360676182016 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4955] ppid=4917 vsize=10900632 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4955/stat : 4955 (java) S 4917 4920 2474 0 -1 1077944384 3217 0 0 0 54 0 0 0 20 0 20 0 2265324 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360675129504 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4956] ppid=4917 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4956/stat : 4956 (java) S 4917 4920 2474 0 -1 1077944384 3308 0 0 0 35 0 0 0 20 0 20 0 2265324 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360674076704 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4957] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4957/stat : 4957 (java) S 4917 4920 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2265325 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360604970080 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4958] ppid=4917 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4958/stat : 4958 (java) S 4917 4920 2474 0 -1 1077944384 1108 0 0 0 7 4 0 0 20 0 20 0 2265325 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360603917360 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
Current children cumulated CPU time (s) 2400.57
Current children cumulated vsize (KiB) 10900632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4920
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4920 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+334.401 s]
/proc/loadavg: 15.66 10.29 5.17 11/282 5012
/proc/meminfo: memFree=23671072/32770624 swapFree=5668/226536
[pid=4920] ppid=4917 vsize=10900632 CPUtime=2408.51 cores=0,2,4,6,8,10,12,14
/proc/4920/stat : 4920 (java) S 4917 4920 2474 0 -1 1077944320 1428103 0 0 0 238104 2747 0 0 20 0 20 0 2265316 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140728892996032 140361138544375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
/proc/4920/statm: 2725158 2085972 3139 1 0 2713552 0
[pid=4920/tid=4921] ppid=4917 vsize=10900632 CPUtime=17.44 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4921/stat : 4921 (java) S 4917 4920 2474 0 -1 1077944384 23308 0 0 0 1711 33 0 0 20 0 20 0 2265317 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140361142778064 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4925] ppid=4917 vsize=10900632 CPUtime=297.26 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4925/stat : 4925 (java) R 4917 4920 2474 0 -1 4202560 225454 0 0 0 29403 323 0 0 20 0 20 0 2265317 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360745348440 140361123243191 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4926] ppid=4917 vsize=10900632 CPUtime=296.12 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4926/stat : 4926 (java) R 4917 4920 2474 0 -1 4202560 111677 0 0 0 29261 351 0 0 20 0 20 0 2265317 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360744295328 140361123540727 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4927] ppid=4917 vsize=10900632 CPUtime=296.55 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4927/stat : 4927 (java) R 4917 4920 2474 0 -1 4202560 99501 0 0 0 29320 335 0 0 20 0 20 0 2265317 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360743242840 140361120154061 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4928] ppid=4917 vsize=10900632 CPUtime=297.83 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4928/stat : 4928 (java) R 4917 4920 2474 0 -1 4202560 228631 0 0 0 29444 339 0 0 20 0 20 0 2265317 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360742190040 140361123540756 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4929] ppid=4917 vsize=10900632 CPUtime=297.51 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4929/stat : 4929 (java) R 4917 4920 2474 0 -1 4202560 213841 0 0 0 29409 342 0 0 20 0 20 0 2265318 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360741137240 140361120154125 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4930] ppid=4917 vsize=10900632 CPUtime=296.83 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4930/stat : 4930 (java) R 4917 4920 2474 0 -1 4202560 160046 0 0 0 29361 322 0 0 20 0 20 0 2265318 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360740084440 140361123540776 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4931] ppid=4917 vsize=10900632 CPUtime=296.67 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4931/stat : 4931 (java) R 4917 4920 2474 0 -1 4202560 154475 0 0 0 29330 337 0 0 20 0 20 0 2265318 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360739031560 140361124303192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4932] ppid=4917 vsize=10900632 CPUtime=296.79 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4932/stat : 4932 (java) R 4917 4920 2474 0 -1 4202560 130892 0 0 0 29327 352 0 0 20 0 20 0 2265318 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360737978840 140361123540779 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4946] ppid=4917 vsize=10900632 CPUtime=13.24 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4946/stat : 4946 (java) S 4917 4920 2474 0 -1 1077944384 64193 0 0 0 1320 4 0 0 20 0 20 0 2265320 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360681444800 140361138554581 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4947] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4947/stat : 4947 (java) S 4917 4920 2474 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 2265321 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360680392288 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4948] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4948/stat : 4948 (java) S 4917 4920 2474 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 2265321 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360679339376 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4952] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4952/stat : 4952 (java) S 4917 4920 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2265324 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360678287344 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4953] ppid=4917 vsize=10900632 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4953/stat : 4953 (java) S 4917 4920 2474 0 -1 1077944384 3561 0 0 0 54 0 0 0 20 0 20 0 2265324 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360677235104 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4954] ppid=4917 vsize=10900632 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4954/stat : 4954 (java) S 4917 4920 2474 0 -1 1077944384 3445 0 0 0 59 0 0 0 20 0 20 0 2265324 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360676182016 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4955] ppid=4917 vsize=10900632 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4955/stat : 4955 (java) S 4917 4920 2474 0 -1 1077944384 3217 0 0 0 54 0 0 0 20 0 20 0 2265324 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360675129504 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4956] ppid=4917 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4956/stat : 4956 (java) S 4917 4920 2474 0 -1 1077944384 3308 0 0 0 35 0 0 0 20 0 20 0 2265324 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360674076704 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4957] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4957/stat : 4957 (java) S 4917 4920 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2265325 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360604970080 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4958] ppid=4917 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4958/stat : 4958 (java) S 4917 4920 2474 0 -1 1077944384 1108 0 0 0 7 4 0 0 20 0 20 0 2265325 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360603917360 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
Current children cumulated CPU time (s) 2408.51
Current children cumulated vsize (KiB) 10900632
[startup+335.201 s]
/proc/loadavg: 15.66 10.29 5.17 11/282 5012
/proc/meminfo: memFree=23671072/32770624 swapFree=5668/226536
[pid=4920] ppid=4917 vsize=10900632 CPUtime=2414.6 cores=0,2,4,6,8,10,12,14
/proc/4920/stat : 4920 (java) S 4917 4920 2474 0 -1 1077944320 1428103 0 0 0 238710 2750 0 0 20 0 20 0 2265316 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140728892996032 140361138544375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
/proc/4920/statm: 2725158 2085972 3139 1 0 2713552 0
[pid=4920/tid=4921] ppid=4917 vsize=10900632 CPUtime=17.44 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4921/stat : 4921 (java) S 4917 4920 2474 0 -1 1077944384 23308 0 0 0 1711 33 0 0 20 0 20 0 2265317 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140361142778064 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4925] ppid=4917 vsize=10900632 CPUtime=298.03 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4925/stat : 4925 (java) S 4917 4920 2474 0 -1 1077944384 225454 0 0 0 29479 324 0 0 20 0 20 0 2265317 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360745348240 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4926] ppid=4917 vsize=10900632 CPUtime=296.86 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4926/stat : 4926 (java) S 4917 4920 2474 0 -1 1077944384 111677 0 0 0 29335 351 0 0 20 0 20 0 2265317 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360744295440 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4927] ppid=4917 vsize=10900632 CPUtime=297.31 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4927/stat : 4927 (java) S 4917 4920 2474 0 -1 1077944384 99501 0 0 0 29396 335 0 0 20 0 20 0 2265317 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360743242640 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4928] ppid=4917 vsize=10900632 CPUtime=298.6 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4928/stat : 4928 (java) S 4917 4920 2474 0 -1 1077944384 228631 0 0 0 29520 340 0 0 20 0 20 0 2265317 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360742189840 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4929] ppid=4917 vsize=10900632 CPUtime=298.27 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4929/stat : 4929 (java) S 4917 4920 2474 0 -1 1077944384 213841 0 0 0 29485 342 0 0 20 0 20 0 2265318 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360741137040 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4930] ppid=4917 vsize=10900632 CPUtime=297.61 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4930/stat : 4930 (java) S 4917 4920 2474 0 -1 1077944384 160046 0 0 0 29439 322 0 0 20 0 20 0 2265318 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360740084240 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4931] ppid=4917 vsize=10900632 CPUtime=297.41 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4931/stat : 4931 (java) S 4917 4920 2474 0 -1 1077944384 154475 0 0 0 29404 337 0 0 20 0 20 0 2265318 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360739031440 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4932] ppid=4917 vsize=10900632 CPUtime=297.55 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4932/stat : 4932 (java) S 4917 4920 2474 0 -1 1077944384 130892 0 0 0 29403 352 0 0 20 0 20 0 2265318 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360737978640 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4946] ppid=4917 vsize=10900632 CPUtime=13.24 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4946/stat : 4946 (java) R 4917 4920 2474 0 -1 4202560 64193 0 0 0 1320 4 0 0 20 0 20 0 2265320 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360681444800 140361123001945 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4947] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4947/stat : 4947 (java) S 4917 4920 2474 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 2265321 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360680392288 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4948] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4948/stat : 4948 (java) S 4917 4920 2474 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 2265321 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360679339376 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4952] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4952/stat : 4952 (java) S 4917 4920 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2265324 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360678287344 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4953] ppid=4917 vsize=10900632 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4953/stat : 4953 (java) S 4917 4920 2474 0 -1 1077944384 3561 0 0 0 54 0 0 0 20 0 20 0 2265324 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360677235104 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4954] ppid=4917 vsize=10900632 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4954/stat : 4954 (java) S 4917 4920 2474 0 -1 1077944384 3445 0 0 0 59 0 0 0 20 0 20 0 2265324 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360676182016 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4955] ppid=4917 vsize=10900632 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4955/stat : 4955 (java) S 4917 4920 2474 0 -1 1077944384 3217 0 0 0 54 0 0 0 20 0 20 0 2265324 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360675129504 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4956] ppid=4917 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4956/stat : 4956 (java) S 4917 4920 2474 0 -1 1077944384 3308 0 0 0 35 0 0 0 20 0 20 0 2265324 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360674076704 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4957] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4957/stat : 4957 (java) S 4917 4920 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2265325 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360604970080 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4958] ppid=4917 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4958/stat : 4958 (java) S 4917 4920 2474 0 -1 1077944384 1108 0 0 0 7 4 0 0 20 0 20 0 2265325 11162247168 2085972 33554432000 4194304 4196468 140728893013488 140360603917360 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
Current children cumulated CPU time (s) 2414.6
Current children cumulated vsize (KiB) 10900632
[startup+335.401 s]
/proc/loadavg: 15.66 10.29 5.17 11/282 5012
/proc/meminfo: memFree=23671072/32770624 swapFree=5668/226536
[pid=4920] ppid=4917 vsize=10900632 CPUtime=2415.9 cores=0,2,4,6,8,10,12,14
/proc/4920/stat : 4920 (java) S 4917 4920 2474 0 -1 1077944320 1428345 0 0 0 238840 2750 0 0 20 0 20 0 2265316 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140728892996032 140361138544375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
/proc/4920/statm: 2725158 2085973 3139 1 0 2713552 0
[pid=4920/tid=4921] ppid=4917 vsize=10900632 CPUtime=17.44 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4921/stat : 4921 (java) S 4917 4920 2474 0 -1 1077944384 23308 0 0 0 1711 33 0 0 20 0 20 0 2265317 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140361142778064 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4925] ppid=4917 vsize=10900632 CPUtime=298.19 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4925/stat : 4925 (java) R 4917 4920 2474 0 -1 4202560 225454 0 0 0 29495 324 0 0 20 0 20 0 2265317 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360745348440 140361121720959 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4926] ppid=4917 vsize=10900632 CPUtime=297.02 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4926/stat : 4926 (java) R 4917 4920 2474 0 -1 4202560 111677 0 0 0 29351 351 0 0 20 0 20 0 2265317 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360744295640 140361122998322 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4927] ppid=4917 vsize=10900632 CPUtime=297.46 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4927/stat : 4927 (java) R 4917 4920 2474 0 -1 4202560 99511 0 0 0 29411 335 0 0 20 0 20 0 2265317 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360743242528 140361123495011 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4928] ppid=4917 vsize=10900632 CPUtime=298.76 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4928/stat : 4928 (java) R 4917 4920 2474 0 -1 4202560 228631 0 0 0 29536 340 0 0 20 0 20 0 2265317 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360742189728 140361123494980 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4929] ppid=4917 vsize=10900632 CPUtime=298.43 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4929/stat : 4929 (java) R 4917 4920 2474 0 -1 4202560 214048 0 0 0 29501 342 0 0 20 0 20 0 2265318 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360741137240 140361123529672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4930] ppid=4917 vsize=10900632 CPUtime=297.77 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4930/stat : 4930 (java) R 4917 4920 2474 0 -1 4202560 160046 0 0 0 29455 322 0 0 20 0 20 0 2265318 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360740084440 140361122998552 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4931] ppid=4917 vsize=10900632 CPUtime=297.57 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4931/stat : 4931 (java) R 4917 4920 2474 0 -1 4202560 154475 0 0 0 29420 337 0 0 20 0 20 0 2265318 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360739031704 140361118570747 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4932] ppid=4917 vsize=10900632 CPUtime=297.71 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4932/stat : 4932 (java) R 4917 4920 2474 0 -1 4202560 130892 0 0 0 29419 352 0 0 20 0 20 0 2265318 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360737978840 140361123495059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4946] ppid=4917 vsize=10900632 CPUtime=13.28 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4946/stat : 4946 (java) S 4917 4920 2474 0 -1 1077944384 64195 0 0 0 1324 4 0 0 20 0 20 0 2265320 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360681444576 140361138554581 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4947] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4947/stat : 4947 (java) S 4917 4920 2474 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 2265321 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360680392288 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4948] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4948/stat : 4948 (java) S 4917 4920 2474 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 2265321 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360679339376 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4952] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4952/stat : 4952 (java) S 4917 4920 2474 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 2265324 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360678286448 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4953] ppid=4917 vsize=10900632 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4953/stat : 4953 (java) S 4917 4920 2474 0 -1 1077944384 3561 0 0 0 54 0 0 0 20 0 20 0 2265324 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360677234816 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4954] ppid=4917 vsize=10900632 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4954/stat : 4954 (java) S 4917 4920 2474 0 -1 1077944384 3445 0 0 0 59 0 0 0 20 0 20 0 2265324 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360676182256 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4955] ppid=4917 vsize=10900632 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4955/stat : 4955 (java) S 4917 4920 2474 0 -1 1077944384 3217 0 0 0 54 0 0 0 20 0 20 0 2265324 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360675129504 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4956] ppid=4917 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4956/stat : 4956 (java) S 4917 4920 2474 0 -1 1077944384 3308 0 0 0 35 0 0 0 20 0 20 0 2265324 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360674076704 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4957] ppid=4917 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4957/stat : 4957 (java) S 4917 4920 2474 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2265325 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360604970080 140361138554581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
[pid=4920/tid=4958] ppid=4917 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/4920/task/4958/stat : 4958 (java) S 4917 4920 2474 0 -1 1077944384 1108 0 0 0 7 4 0 0 20 0 20 0 2265325 11162247168 2085973 33554432000 4194304 4196468 140728893013488 140360603917360 140361138555522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15093760 140728893015211 140728893015364 140728893015364 140728893018063 0
Current children cumulated CPU time (s) 2415.9
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 335.472
CPU time (s): 2416.01
CPU user time (s): 2388.44
CPU system time (s): 27.572
CPU usage (%): 720.181
Max. virtual memory (cumulated for all children) (KiB): 10900632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.44
system time used= 27.572
maximum resident set size= 8344148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1428349
page faults= 0
swaps= 0
block input operations= 768
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56020
involuntary context switches= 215620
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.97189 second user time and 3.42023 second system time
The end