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-4244083-1500679720/watcher-4244083-1500679720 -o /tmp/evaluation-result-4244083-1500679720/solver-4244083-1500679720 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500672327-13435 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244083-1500679720.xml
pid=15253
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.96 2.02 2.36 3/262 15256
/proc/meminfo: memFree=31112056/32770624 swapFree=5920/209556
[pid=15256] ppid=15253 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/stat : 15256 (java) S 15253 15256 9824 0 -1 1077944320 2216 0 0 0 0 0 0 0 20 0 2 0 3240941 8550137856 2462 33554432000 4194304 4196468 140736595504448 140736595486992 140241738288887 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
/proc/15256/statm: 2087436 2462 1197 1 0 2076347 0
[pid=15256/tid=15257] ppid=15253 vsize=8350772 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15257/stat : 15257 (java) S 15253 15256 9824 0 -1 1077944384 921 0 0 0 0 0 0 0 20 0 3 0 3240942 8551190528 2462 33554432000 4194304 4196468 140736595504448 140241742530256 140241738299093 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15258] ppid=15253 vsize=8350772 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15258/stat : 15258 (java) S 15253 15256 9824 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 3 0 3240943 8551190528 2462 33554432000 4194304 4196468 140736595504448 140241690910176 140241738299093 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[startup+0.100061 s]
/proc/loadavg: 1.96 2.02 2.36 3/262 15256
/proc/meminfo: memFree=31112056/32770624 swapFree=5920/209556
[pid=15256] ppid=15253 vsize=10900556 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15256/stat : 15256 (java) S 15253 15256 9824 0 -1 1077944320 4754 0 0 0 9 1 0 0 20 0 20 0 3240941 11162169344 5848 33554432000 4194304 4196468 140736595504448 140736595486992 140241738288887 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
/proc/15256/statm: 2725139 5848 2624 1 0 2713552 0
[pid=15256/tid=15257] ppid=15253 vsize=10900556 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15257/stat : 15257 (java) R 15253 15256 9824 0 -1 4202560 2840 0 0 0 7 0 0 0 20 0 20 0 3240942 11162169344 5848 33554432000 4194304 4196468 140736595504448 140241742531168 140241738300822 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15258] ppid=15253 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15258/stat : 15258 (java) S 15253 15256 9824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3240943 11162169344 5848 33554432000 4194304 4196468 140736595504448 140241690909840 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556
[startup+0.200453 s]
/proc/loadavg: 1.96 2.02 2.36 3/262 15256
/proc/meminfo: memFree=31112056/32770624 swapFree=5920/209556
[pid=15256] ppid=15253 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/15256/stat : 15256 (java) S 15253 15256 9824 0 -1 1077944320 7006 0 0 0 24 2 0 0 20 0 20 0 3240941 11162169344 8296 33554432000 4194304 4196468 140736595504448 140736595486992 140241738288887 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
/proc/15256/statm: 2725139 8296 2828 1 0 2713552 0
[pid=15256/tid=15257] ppid=15253 vsize=10900556 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15257/stat : 15257 (java) R 15253 15256 9824 0 -1 4202560 4670 0 0 0 16 1 0 0 20 0 20 0 3240942 11162169344 8296 33554432000 4194304 4196468 140736595504448 140241742516560 140241738310813 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15258] ppid=15253 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15258/stat : 15258 (java) S 15253 15256 9824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3240943 11162169344 8296 33554432000 4194304 4196468 140736595504448 140241690909840 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300372 s]
/proc/loadavg: 1.96 2.02 2.36 3/262 15256
/proc/meminfo: memFree=31112056/32770624 swapFree=5920/209556
[pid=15256] ppid=15253 vsize=10900556 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/15256/stat : 15256 (java) S 15253 15256 9824 0 -1 1077944320 8517 0 0 0 40 3 0 0 20 0 20 0 3240941 11162169344 10659 33554432000 4194304 4196468 140736595504448 140736595486992 140241738288887 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
/proc/15256/statm: 2725139 10659 2988 1 0 2713552 0
[pid=15256/tid=15257] ppid=15253 vsize=10900556 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15257/stat : 15257 (java) R 15253 15256 9824 0 -1 4202560 5450 0 0 0 26 2 0 0 20 0 20 0 3240942 11162169344 10659 33554432000 4194304 4196468 140736595504448 140241742521952 140241738300822 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15258] ppid=15253 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15258/stat : 15258 (java) S 15253 15256 9824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3240943 11162169344 10659 33554432000 4194304 4196468 140736595504448 140241690909840 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10900556
[startup+0.700281 s]
/proc/loadavg: 1.96 2.02 2.36 3/262 15256
/proc/meminfo: memFree=31112056/32770624 swapFree=5920/209556
[pid=15256] ppid=15253 vsize=10900632 CPUtime=2.16 cores=0,2,4,6,8,10,12,14
/proc/15256/stat : 15256 (java) S 15253 15256 9824 0 -1 1077944320 11906 0 0 0 170 46 0 0 20 0 20 0 3240941 11162247168 61897 33554432000 4194304 4196468 140736595504448 140736595486992 140241738288887 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
/proc/15256/statm: 2725158 61897 3080 1 0 2713552 0
[pid=15256/tid=15257] ppid=15253 vsize=10900632 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15257/stat : 15257 (java) S 15253 15256 9824 0 -1 1077944384 5915 0 0 0 53 4 0 0 20 0 20 0 3240942 11162247168 61897 33554432000 4194304 4196468 140736595504448 140241742498176 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15258] ppid=15253 vsize=10900632 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15258/stat : 15258 (java) R 15253 15256 9824 0 -1 4202560 45 0 0 0 4 4 0 0 20 0 20 0 3240943 11162247168 61897 33554432000 4194304 4196468 140736595504448 140241690910040 140241723311008 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 10900632
[startup+1.50097 s]
/proc/loadavg: 1.96 2.02 2.36 3/282 15276
/proc/meminfo: memFree=30706720/32770624 swapFree=5920/209588
[pid=15256] ppid=15253 vsize=10900632 CPUtime=6.51 cores=0,2,4,6,8,10,12,14
/proc/15256/stat : 15256 (java) S 15253 15256 9824 0 -1 1077944320 14871 0 0 0 475 176 0 0 20 0 20 0 3240941 11162247168 162495 33554432000 4194304 4196468 140736595504448 140736595486992 140241738288887 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
/proc/15256/statm: 2725158 162495 3117 1 0 2713552 0
[pid=15256/tid=15257] ppid=15253 vsize=10900632 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15257/stat : 15257 (java) S 15253 15256 9824 0 -1 1077944384 5975 0 0 0 82 5 0 0 20 0 20 0 3240942 11162247168 162495 33554432000 4194304 4196468 140736595504448 140241742518736 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15258] ppid=15253 vsize=10900632 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15258/stat : 15258 (java) R 15253 15256 9824 0 -1 4202560 483 0 0 0 37 21 0 0 20 0 20 0 3240943 11162247168 162495 33554432000 4194304 4196468 140736595504448 140241690910040 140241722986662 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15259] ppid=15253 vsize=10900632 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15259/stat : 15259 (java) R 15253 15256 9824 0 -1 4202560 716 0 0 0 38 19 0 0 20 0 20 0 3240943 11162247168 162495 33554432000 4194304 4196468 140736595504448 140241689857240 140241723274183 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15260] ppid=15253 vsize=10900632 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15260/stat : 15260 (java) R 15253 15256 9824 0 -1 4202560 276 0 0 0 36 20 0 0 20 0 20 0 3240943 11162247168 162495 33554432000 4194304 4196468 140736595504448 140241342749480 140241721671922 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15262] ppid=15253 vsize=10900632 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15262/stat : 15262 (java) R 15253 15256 9824 0 -1 4202560 494 0 0 0 37 21 0 0 20 0 20 0 3240943 11162247168 162495 33554432000 4194304 4196468 140736595504448 140241341696984 140241722986526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15263] ppid=15253 vsize=10900632 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15263/stat : 15263 (java) R 15253 15256 9824 0 -1 4202560 304 0 0 0 38 20 0 0 20 0 20 0 3240943 11162247168 162495 33554432000 4194304 4196468 140736595504448 140241340644184 140241718315292 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15264] ppid=15253 vsize=10900632 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15264/stat : 15264 (java) R 15253 15256 9824 0 -1 4202560 190 0 0 0 36 22 0 0 20 0 20 0 3240943 11162247168 162495 33554432000 4194304 4196468 140736595504448 140241339591384 140241722986639 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15265] ppid=15253 vsize=10900632 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15265/stat : 15265 (java) R 15253 15256 9824 0 -1 4202560 243 0 0 0 37 21 0 0 20 0 20 0 3240943 11162247168 162495 33554432000 4194304 4196468 140736595504448 140241338538584 140241719885539 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15266] ppid=15253 vsize=10900632 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15266/stat : 15266 (java) R 15253 15256 9824 0 -1 4202560 310 0 0 0 37 21 0 0 20 0 20 0 3240943 11162247168 162495 33554432000 4194304 4196468 140736595504448 140241337485784 140241718315021 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15267] ppid=15253 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15267/stat : 15267 (java) S 15253 15256 9824 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 20 0 3240945 11162247168 162495 33554432000 4194304 4196468 140736595504448 140240556631264 140241738299093 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15268] ppid=15253 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15268/stat : 15268 (java) S 15253 15256 9824 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3240946 11162247168 162495 33554432000 4194304 4196468 140736595504448 140240555578912 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15269] ppid=15253 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15269/stat : 15269 (java) S 15253 15256 9824 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3240946 11162247168 162495 33554432000 4194304 4196468 140736595504448 140240554526064 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15270] ppid=15253 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15270/stat : 15270 (java) S 15253 15256 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3240950 11162247168 162495 33554432000 4194304 4196468 140736595504448 140240553474384 140241738307483 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15271] ppid=15253 vsize=10900632 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15271/stat : 15271 (java) S 15253 15256 9824 0 -1 1077944384 1573 0 0 0 26 0 0 0 20 0 20 0 3240950 11162247168 162495 33554432000 4194304 4196468 140736595504448 140240552421744 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15272] ppid=15253 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15272/stat : 15272 (java) S 15253 15256 9824 0 -1 1077944384 994 0 0 0 24 0 0 0 20 0 20 0 3240950 11162247168 162495 33554432000 4194304 4196468 140736595504448 140240551368944 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15273] ppid=15253 vsize=10900632 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15273/stat : 15273 (java) S 15253 15256 9824 0 -1 1077944384 700 0 0 0 20 0 0 0 20 0 20 0 3240950 11162247168 162495 33554432000 4194304 4196468 140736595504448 140240550316144 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15274] ppid=15253 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15274/stat : 15274 (java) S 15253 15256 9824 0 -1 1077944384 1033 0 0 0 22 0 0 0 20 0 20 0 3240950 11162247168 162495 33554432000 4194304 4196468 140736595504448 140240549263344 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15275] ppid=15253 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15275/stat : 15275 (java) S 15253 15256 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3240950 11162247168 162495 33554432000 4194304 4196468 140736595504448 140239943232608 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15276] ppid=15253 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15276/stat : 15276 (java) S 15253 15256 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3240951 11162247168 162495 33554432000 4194304 4196468 140736595504448 140239942179888 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
Current children cumulated CPU time (s) 6.51
Current children cumulated vsize (KiB) 10900632
[startup+3.10075 s]
/proc/loadavg: 1.96 2.02 2.36 3/282 15276
/proc/meminfo: memFree=30461032/32770624 swapFree=5920/209588
[pid=15256] ppid=15253 vsize=10900632 CPUtime=14.95 cores=0,2,4,6,8,10,12,14
/proc/15256/stat : 15256 (java) S 15253 15256 9824 0 -1 1077944320 18617 0 0 0 1263 232 0 0 20 0 20 0 3240941 11162247168 223595 33554432000 4194304 4196468 140736595504448 140736595486992 140241738288887 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
/proc/15256/statm: 2725158 223595 3133 1 0 2713552 0
[pid=15256/tid=15257] ppid=15253 vsize=10900632 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15257/stat : 15257 (java) S 15253 15256 9824 0 -1 1077944384 5988 0 0 0 108 5 0 0 20 0 20 0 3240942 11162247168 223595 33554432000 4194304 4196468 140736595504448 140241742511216 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15258] ppid=15253 vsize=10900632 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15258/stat : 15258 (java) R 15253 15256 9824 0 -1 4202560 665 0 0 0 125 28 0 0 20 0 20 0 3240943 11162247168 223595 33554432000 4194304 4196468 140736595504448 140241690909424 140241730917095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15259] ppid=15253 vsize=10900632 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15259/stat : 15259 (java) R 15253 15256 9824 0 -1 4202560 829 0 0 0 126 27 0 0 20 0 20 0 3240943 11162247168 223595 33554432000 4194304 4196468 140736595504448 140241689856936 140241721671922 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15260] ppid=15253 vsize=10900632 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15260/stat : 15260 (java) R 15253 15256 9824 0 -1 4202560 585 0 0 0 123 27 0 0 20 0 20 0 3240943 11162247168 223595 33554432000 4194304 4196468 140736595504448 140241342749784 140241723274183 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15262] ppid=15253 vsize=10900632 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15262/stat : 15262 (java) R 15253 15256 9824 0 -1 4202560 1056 0 0 0 124 28 0 0 20 0 20 0 3240943 11162247168 223595 33554432000 4194304 4196468 140736595504448 140241341696368 140241730917095 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15263] ppid=15253 vsize=10900632 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15263/stat : 15263 (java) R 15253 15256 9824 0 -1 4202560 471 0 0 0 125 27 0 0 20 0 20 0 3240943 11162247168 223595 33554432000 4194304 4196468 140736595504448 140241340643880 140241730917095 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15264] ppid=15253 vsize=10900632 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15264/stat : 15264 (java) R 15253 15256 9824 0 -1 4202560 306 0 0 0 124 28 0 0 20 0 20 0 3240943 11162247168 223595 33554432000 4194304 4196468 140736595504448 140241339591080 140241730917095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15265] ppid=15253 vsize=10900632 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15265/stat : 15265 (java) R 15253 15256 9824 0 -1 4202560 344 0 0 0 124 29 0 0 20 0 20 0 3240943 11162247168 223595 33554432000 4194304 4196468 140736595504448 140241338537968 140241730917095 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15266] ppid=15253 vsize=10900632 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15266/stat : 15266 (java) R 15253 15256 9824 0 -1 4202560 1421 0 0 0 123 26 0 0 20 0 20 0 3240943 11162247168 223595 33554432000 4194304 4196468 140736595504448 140241337485480 140241730917095 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15267] ppid=15253 vsize=10900632 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15267/stat : 15267 (java) S 15253 15256 9824 0 -1 1077944384 659 0 0 0 37 0 0 0 20 0 20 0 3240945 11162247168 223595 33554432000 4194304 4196468 140736595504448 140240556631264 140241738299093 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15268] ppid=15253 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15268/stat : 15268 (java) S 15253 15256 9824 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 3240946 11162247168 223595 33554432000 4194304 4196468 140736595504448 140240555578976 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15269] ppid=15253 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15269/stat : 15269 (java) S 15253 15256 9824 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3240946 11162247168 223595 33554432000 4194304 4196468 140736595504448 140240554526080 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15270] ppid=15253 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15270/stat : 15270 (java) S 15253 15256 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3240950 11162247168 223595 33554432000 4194304 4196468 140736595504448 140240553474384 140241738307483 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15271] ppid=15253 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15271/stat : 15271 (java) S 15253 15256 9824 0 -1 1077944384 1580 0 0 0 32 0 0 0 20 0 20 0 3240950 11162247168 223595 33554432000 4194304 4196468 140736595504448 140240552421744 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15272] ppid=15253 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15272/stat : 15272 (java) S 15253 15256 9824 0 -1 1077944384 1003 0 0 0 30 0 0 0 20 0 20 0 3240950 11162247168 223595 33554432000 4194304 4196468 140736595504448 140240551368944 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15273] ppid=15253 vsize=10900632 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15273/stat : 15273 (java) S 15253 15256 9824 0 -1 1077944384 1284 0 0 0 33 0 0 0 20 0 20 0 3240950 11162247168 223595 33554432000 4194304 4196468 140736595504448 140240550301136 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15274] ppid=15253 vsize=10900632 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15274/stat : 15274 (java) S 15253 15256 9824 0 -1 1077944384 1057 0 0 0 23 0 0 0 20 0 20 0 3240950 11162247168 223595 33554432000 4194304 4196468 140736595504448 140240549263344 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15275] ppid=15253 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15275/stat : 15275 (java) S 15253 15256 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3240950 11162247168 223595 33554432000 4194304 4196468 140736595504448 140239943232608 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15276] ppid=15253 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15276/stat : 15276 (java) S 15253 15256 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3240951 11162247168 223595 33554432000 4194304 4196468 140736595504448 140239942179888 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
Current children cumulated CPU time (s) 14.95
Current children cumulated vsize (KiB) 10900632
[startup+6.30094 s]
/proc/loadavg: 1.96 2.02 2.36 10/282 15276
/proc/meminfo: memFree=29398476/32770624 swapFree=5920/209600
[pid=15256] ppid=15253 vsize=10900632 CPUtime=33.12 cores=0,2,4,6,8,10,12,14
/proc/15256/stat : 15256 (java) S 15253 15256 9824 0 -1 1077944320 35734 0 0 0 2926 386 0 0 20 0 20 0 3240941 11162247168 435454 33554432000 4194304 4196468 140736595504448 140736595486992 140241738288887 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
/proc/15256/statm: 2725158 435454 3136 1 0 2713552 0
[pid=15256/tid=15257] ppid=15253 vsize=10900632 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15257/stat : 15257 (java) S 15253 15256 9824 0 -1 1077944384 7520 0 0 0 178 8 0 0 20 0 20 0 3240942 11162247168 435454 33554432000 4194304 4196468 140736595504448 140241742492320 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15258] ppid=15253 vsize=10900632 CPUtime=3.67 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15258/stat : 15258 (java) R 15253 15256 9824 0 -1 4202560 1404 0 0 0 318 49 0 0 20 0 20 0 3240943 11162247168 435454 33554432000 4194304 4196468 140736595504448 140241690909736 140241730917095 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15259] ppid=15253 vsize=10900632 CPUtime=3.65 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15259/stat : 15259 (java) R 15253 15256 9824 0 -1 4202560 3884 0 0 0 319 46 0 0 20 0 20 0 3240943 11162247168 435454 33554432000 4194304 4196468 140736595504448 140241689857240 140241722986526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15260] ppid=15253 vsize=10900632 CPUtime=3.6 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15260/stat : 15260 (java) R 15253 15256 9824 0 -1 4202560 2360 0 0 0 315 45 0 0 20 0 20 0 3240943 11162247168 435454 33554432000 4194304 4196468 140736595504448 140241342749168 140241730917095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15262] ppid=15253 vsize=10900632 CPUtime=3.65 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15262/stat : 15262 (java) R 15253 15256 9824 0 -1 4202560 3612 0 0 0 320 45 0 0 20 0 20 0 3240943 11162247168 435454 33554432000 4194304 4196468 140736595504448 140241341696680 140241721671920 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15263] ppid=15253 vsize=10900632 CPUtime=3.67 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15263/stat : 15263 (java) R 15253 15256 9824 0 -1 4202560 895 0 0 0 322 45 0 0 20 0 20 0 3240943 11162247168 435454 33554432000 4194304 4196468 140736595504448 140241340643880 140241730917095 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15264] ppid=15253 vsize=10900632 CPUtime=3.66 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15264/stat : 15264 (java) R 15253 15256 9824 0 -1 4202560 2175 0 0 0 319 47 0 0 20 0 20 0 3240943 11162247168 435454 33554432000 4194304 4196468 140736595504448 140241339591080 140241730917095 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15265] ppid=15253 vsize=10900632 CPUtime=3.68 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=15256/tid=15275] ppid=15253 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15275/stat : 15275 (java) S 15253 15256 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3240950 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140239943232608 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15276] ppid=15253 vsize=10967196 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15276/stat : 15276 (java) S 15253 15256 9824 0 -1 1077944384 2006 0 0 0 60 59 0 0 20 0 21 0 3240951 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140239942179888 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15278] ppid=15253 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15278/stat : 15278 (java) S 15253 15256 9824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3248592 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140239941125424 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
Current children cumulated CPU time (s) 2289.88
Current children cumulated vsize (KiB) 10967196
[startup+1962.3 s]
/proc/loadavg: 1.00 1.03 1.39 2/257 15421
/proc/meminfo: memFree=23528144/32770624 swapFree=5920/211308
[pid=15256] ppid=15253 vsize=10967196 CPUtime=2349.89 cores=0,2,4,6,8,10,12,14
/proc/15256/stat : 15256 (java) S 15253 15256 9824 0 -1 1077944320 359629 0 0 0 233036 1953 0 0 20 0 21 0 3240941 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140736595486992 140241738288887 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
/proc/15256/statm: 2741799 2118828 3159 1 0 2730193 0
[pid=15256/tid=15257] ppid=15253 vsize=10967196 CPUtime=1893.24 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15257/stat : 15257 (java) R 15253 15256 9824 0 -1 4202560 151455 0 0 0 189296 28 0 0 20 0 21 0 3240942 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241742525544 140241373039350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15258] ppid=15253 vsize=10967196 CPUtime=55.24 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15258/stat : 15258 (java) S 15253 15256 9824 0 -1 1077944384 26644 0 0 0 5285 239 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241690909840 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15259] ppid=15253 vsize=10967196 CPUtime=55.06 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15259/stat : 15259 (java) S 15253 15256 9824 0 -1 1077944384 19460 0 0 0 5289 217 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241689857040 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15260] ppid=15253 vsize=10967196 CPUtime=55.18 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15260/stat : 15260 (java) S 15253 15256 9824 0 -1 1077944384 17249 0 0 0 5278 240 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241342749584 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15262] ppid=15253 vsize=10967196 CPUtime=54.76 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15262/stat : 15262 (java) S 15253 15256 9824 0 -1 1077944384 13138 0 0 0 5243 233 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241341696784 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15263] ppid=15253 vsize=10967196 CPUtime=55.01 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15263/stat : 15263 (java) S 15253 15256 9824 0 -1 1077944384 8867 0 0 0 5251 250 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241340643984 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15264] ppid=15253 vsize=10967196 CPUtime=55.31 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15264/stat : 15264 (java) S 15253 15256 9824 0 -1 1077944384 21902 0 0 0 5309 222 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241339591184 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15265] ppid=15253 vsize=10967196 CPUtime=55.18 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15265/stat : 15265 (java) S 15253 15256 9824 0 -1 1077944384 28867 0 0 0 5289 229 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241338538384 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15266] ppid=15253 vsize=10967196 CPUtime=55.11 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15266/stat : 15266 (java) S 15253 15256 9824 0 -1 1077944384 20918 0 0 0 5279 232 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241337485584 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15267] ppid=15253 vsize=10967196 CPUtime=11.93 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15267/stat : 15267 (java) S 15253 15256 9824 0 -1 1077944384 18671 0 0 0 1189 4 0 0 20 0 21 0 3240945 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240556632944 140241738300034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15268] ppid=15253 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15268/stat : 15268 (java) S 15253 15256 9824 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 21 0 3240946 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240555578976 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15269] ppid=15253 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15269/stat : 15269 (java) S 15253 15256 9824 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 3240946 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240554526080 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15270] ppid=15253 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15270/stat : 15270 (java) S 15253 15256 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3240950 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240553474384 140241738307483 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15271] ppid=15253 vsize=10967196 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15271/stat : 15271 (java) S 15253 15256 9824 0 -1 1077944384 7565 0 0 0 65 2 0 0 20 0 21 0 3240950 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240552421744 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15272] ppid=15253 vsize=10967196 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15272/stat : 15272 (java) S 15253 15256 9824 0 -1 1077944384 7676 0 0 0 65 1 0 0 20 0 21 0 3240950 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240551368944 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15273] ppid=15253 vsize=10967196 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15273/stat : 15273 (java) S 15253 15256 9824 0 -1 1077944384 9141 0 0 0 83 1 0 0 20 0 21 0 3240950 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240550316144 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15274] ppid=15253 vsize=10967196 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15274/stat : 15274 (java) S 15253 15256 9824 0 -1 1077944384 4618 0 0 0 33 0 0 0 20 0 21 0 3240950 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240549263344 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15275] ppid=15253 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15275/stat : 15275 (java) S 15253 15256 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3240950 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140239943232608 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15276] ppid=15253 vsize=10967196 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15276/stat : 15276 (java) S 15253 15256 9824 0 -1 1077944384 2046 0 0 0 62 61 0 0 20 0 21 0 3240951 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140239942179888 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15278] ppid=15253 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15278/stat : 15278 (java) S 15253 15256 9824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3248592 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140239941125424 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
Current children cumulated CPU time (s) 2349.89
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2012.4 s]
/proc/loadavg: 1.00 1.03 1.37 2/257 15422
/proc/meminfo: memFree=23528284/32770624 swapFree=5920/211348
[pid=15256] ppid=15253 vsize=10967196 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/15256/stat : 15256 (java) S 15253 15256 9824 0 -1 1077944320 362080 0 0 0 238046 1955 0 0 20 0 21 0 3240941 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140736595486992 140241738288887 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
/proc/15256/statm: 2741799 2118828 3159 1 0 2730193 0
[pid=15256/tid=15257] ppid=15253 vsize=10967196 CPUtime=1943.32 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15257/stat : 15257 (java) R 15253 15256 9824 0 -1 4202560 153830 0 0 0 194304 28 0 0 20 0 21 0 3240942 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241742525544 140241373137760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15258] ppid=15253 vsize=10967196 CPUtime=55.24 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15258/stat : 15258 (java) S 15253 15256 9824 0 -1 1077944384 26644 0 0 0 5285 239 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241690909840 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15259] ppid=15253 vsize=10967196 CPUtime=55.06 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15259/stat : 15259 (java) S 15253 15256 9824 0 -1 1077944384 19460 0 0 0 5289 217 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241689857040 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15260] ppid=15253 vsize=10967196 CPUtime=55.18 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15260/stat : 15260 (java) S 15253 15256 9824 0 -1 1077944384 17249 0 0 0 5278 240 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241342749584 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15262] ppid=15253 vsize=10967196 CPUtime=54.76 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15262/stat : 15262 (java) S 15253 15256 9824 0 -1 1077944384 13138 0 0 0 5243 233 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241341696784 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15263] ppid=15253 vsize=10967196 CPUtime=55.01 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15263/stat : 15263 (java) S 15253 15256 9824 0 -1 1077944384 8867 0 0 0 5251 250 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241340643984 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15264] ppid=15253 vsize=10967196 CPUtime=55.31 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15264/stat : 15264 (java) S 15253 15256 9824 0 -1 1077944384 21902 0 0 0 5309 222 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241339591184 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15265] ppid=15253 vsize=10967196 CPUtime=55.18 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15265/stat : 15265 (java) S 15253 15256 9824 0 -1 1077944384 28867 0 0 0 5289 229 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241338538384 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15266] ppid=15253 vsize=10967196 CPUtime=55.11 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15266/stat : 15266 (java) S 15253 15256 9824 0 -1 1077944384 20918 0 0 0 5279 232 0 0 20 0 21 0 3240943 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140241337485584 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15267] ppid=15253 vsize=10967196 CPUtime=11.93 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15267/stat : 15267 (java) S 15253 15256 9824 0 -1 1077944384 18681 0 0 0 1189 4 0 0 20 0 21 0 3240945 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240556632944 140241738300034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15268] ppid=15253 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15268/stat : 15268 (java) S 15253 15256 9824 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 21 0 3240946 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240555578976 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15269] ppid=15253 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15269/stat : 15269 (java) S 15253 15256 9824 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 3240946 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240554526080 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15270] ppid=15253 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15270/stat : 15270 (java) S 15253 15256 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3240950 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240553474384 140241738307483 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15271] ppid=15253 vsize=10967196 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15271/stat : 15271 (java) S 15253 15256 9824 0 -1 1077944384 7573 0 0 0 65 2 0 0 20 0 21 0 3240950 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240552421744 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15272] ppid=15253 vsize=10967196 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15272/stat : 15272 (java) S 15253 15256 9824 0 -1 1077944384 7682 0 0 0 65 1 0 0 20 0 21 0 3240950 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240551368944 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15273] ppid=15253 vsize=10967196 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15273/stat : 15273 (java) S 15253 15256 9824 0 -1 1077944384 9144 0 0 0 84 1 0 0 20 0 21 0 3240950 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240550316144 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15274] ppid=15253 vsize=10967196 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15274/stat : 15274 (java) S 15253 15256 9824 0 -1 1077944384 4629 0 0 0 33 0 0 0 20 0 21 0 3240950 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140240549263344 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15275] ppid=15253 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15275/stat : 15275 (java) S 15253 15256 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3240950 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140239943232608 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15276] ppid=15253 vsize=10967196 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15276/stat : 15276 (java) S 15253 15256 9824 0 -1 1077944384 2084 0 0 0 63 63 0 0 20 0 21 0 3240951 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140239942179888 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15278] ppid=15253 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15278/stat : 15278 (java) S 15253 15256 9824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3248592 11230408704 2118828 33554432000 4194304 4196468 140736595504448 140239941125424 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 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 15256 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2012.6 s]
/proc/loadavg: 1.00 1.03 1.37 2/257 15422
/proc/meminfo: memFree=23528284/32770624 swapFree=5920/211348
[pid=15256] ppid=15253 vsize=11166888 CPUtime=2400.21 cores=0,2,4,6,8,10,12,14
/proc/15256/stat : 15256 (java) S 15253 15256 9824 0 -1 1077944320 362889 0 0 0 238066 1955 0 0 20 0 22 0 3240941 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140736595486992 140241738288887 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
/proc/15256/statm: 2791722 2118884 3161 1 0 2780116 0
[pid=15256/tid=15257] ppid=15253 vsize=11166888 CPUtime=1943.52 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15257/stat : 15257 (java) R 15253 15256 9824 0 -1 4202560 153863 0 0 0 194324 28 0 0 20 0 22 0 3240942 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140241742524848 140241373412887 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15258] ppid=15253 vsize=11166888 CPUtime=55.24 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15258/stat : 15258 (java) S 15253 15256 9824 0 -1 1077944384 26644 0 0 0 5285 239 0 0 20 0 22 0 3240943 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140241690909840 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15259] ppid=15253 vsize=11166888 CPUtime=55.06 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15259/stat : 15259 (java) S 15253 15256 9824 0 -1 1077944384 19460 0 0 0 5289 217 0 0 20 0 22 0 3240943 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140241689857040 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15260] ppid=15253 vsize=11166888 CPUtime=55.18 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15260/stat : 15260 (java) S 15253 15256 9824 0 -1 1077944384 17249 0 0 0 5278 240 0 0 20 0 22 0 3240943 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140241342749584 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15262] ppid=15253 vsize=11166888 CPUtime=54.76 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15262/stat : 15262 (java) S 15253 15256 9824 0 -1 1077944384 13138 0 0 0 5243 233 0 0 20 0 22 0 3240943 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140241341696784 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15263] ppid=15253 vsize=11166888 CPUtime=55.01 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15263/stat : 15263 (java) S 15253 15256 9824 0 -1 1077944384 8867 0 0 0 5251 250 0 0 20 0 22 0 3240943 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140241340643984 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15264] ppid=15253 vsize=11166888 CPUtime=55.31 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15264/stat : 15264 (java) S 15253 15256 9824 0 -1 1077944384 21902 0 0 0 5309 222 0 0 20 0 22 0 3240943 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140241339591184 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15265] ppid=15253 vsize=11166888 CPUtime=55.18 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15265/stat : 15265 (java) S 15253 15256 9824 0 -1 1077944384 28867 0 0 0 5289 229 0 0 20 0 22 0 3240943 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140241338538384 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15266] ppid=15253 vsize=11166888 CPUtime=55.11 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15266/stat : 15266 (java) S 15253 15256 9824 0 -1 1077944384 20918 0 0 0 5279 232 0 0 20 0 22 0 3240943 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140241337485584 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15267] ppid=15253 vsize=11166888 CPUtime=11.93 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15267/stat : 15267 (java) S 15253 15256 9824 0 -1 1077944384 18714 0 0 0 1189 4 0 0 20 0 22 0 3240945 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140240556632944 140241738300034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15268] ppid=15253 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15268/stat : 15268 (java) S 15253 15256 9824 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 22 0 3240946 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140240555578976 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15269] ppid=15253 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15269/stat : 15269 (java) S 15253 15256 9824 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 22 0 3240946 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140240554526080 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15270] ppid=15253 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15270/stat : 15270 (java) S 15253 15256 9824 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 22 0 3240950 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140240553474384 140241738307483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15271] ppid=15253 vsize=11166888 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15271/stat : 15271 (java) S 15253 15256 9824 0 -1 1077944384 7573 0 0 0 65 2 0 0 20 0 22 0 3240950 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140240552421744 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15272] ppid=15253 vsize=11166888 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15272/stat : 15272 (java) S 15253 15256 9824 0 -1 1077944384 7682 0 0 0 65 1 0 0 20 0 22 0 3240950 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140240551368944 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15273] ppid=15253 vsize=11166888 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15273/stat : 15273 (java) S 15253 15256 9824 0 -1 1077944384 9144 0 0 0 84 1 0 0 20 0 22 0 3240950 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140240550316144 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15274] ppid=15253 vsize=11166888 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15274/stat : 15274 (java) S 15253 15256 9824 0 -1 1077944384 4792 0 0 0 33 0 0 0 20 0 22 0 3240950 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140240549263344 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15275] ppid=15253 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15275/stat : 15275 (java) S 15253 15256 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3240950 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140239943232608 140241738299093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
[pid=15256/tid=15276] ppid=15253 vsize=11166888 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/15256/task/15276/stat : 15276 (java) S 15253 15256 9824 0 -1 1077944384 2084 0 0 0 63 63 0 0 20 0 22 0 3240951 11434893312 2118884 33554432000 4194304 4196468 140736595504448 140239942179888 140241738300034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27676672 140736595510443 140736595510596 140736595510596 140736595513295 0
Current children cumulated CPU time (s) 2400.21
Current children cumulated vsize (KiB) 11166888
Child status: 143
Real time (s): 2012.67
CPU time (s): 2400.28
CPU user time (s): 2380.67
CPU system time (s): 19.6127
CPU usage (%): 119.258
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2380.67
system time used= 19.6127
maximum resident set size= 8475912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59877
involuntary context switches= 135298
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2909 second user time and 12.852 second system time
The end