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-4249620-1500773721/watcher-4249620-1500773721 -o /tmp/evaluation-result-4249620-1500773721/solver-4249620-1500773721 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500773721-22563 --watchdog 2560 bin/concrete HOME/instance-4249620-1500773721.xml
pid=22584
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.05 1.39 3/240 22589
/proc/meminfo: memFree=31588712/32770624 swapFree=5840/337564
[pid=22589] ppid=22584 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22589/stat : 22589 (bash) S 22584 22589 20264 0 -1 4202496 654 0 0 0 0 0 0 0 20 0 1 0 12640921 9736192 350 33554432000 4194304 5098028 140729970412480 140729970410120 139676163730432 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 29483008 140729970418958 140729970419043 140729970419043 140729970421742 0
/proc/22589/statm: 2377 350 278 221 0 86 0
[startup+0.100124 s]
/proc/loadavg: 1.00 1.05 1.39 3/240 22589
/proc/meminfo: memFree=31588712/32770624 swapFree=5840/337564
[pid=22589] ppid=22584 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22589/stat : 22589 (bash) S 22584 22589 20264 0 -1 4202496 878 6419 0 1 0 0 0 1 20 0 1 0 12640921 9871360 377 33554432000 4194304 5098028 140729970412480 140729970406488 139676163730432 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 0 0 0 7196144 7232144 29483008 140729970418958 140729970419043 140729970419043 140729970421742 0
/proc/22589/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200365 s]
/proc/loadavg: 1.00 1.05 1.39 3/240 22589
/proc/meminfo: memFree=31588712/32770624 swapFree=5840/337564
[pid=22589] ppid=22584 vsize=10435860 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/22589/stat : 22589 (java) S 22584 22589 20264 0 -1 1077944320 4991 12742 0 1 3 2 8 4 20 0 13 0 12640921 10686320640 5323 33554432000 4194304 4196468 140723200309200 140723200291744 140523206184695 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
/proc/22589/statm: 2608965 5323 2129 1 0 2597403 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10435860
[startup+0.300315 s]
/proc/loadavg: 1.00 1.05 1.39 3/240 22589
/proc/meminfo: memFree=31588712/32770624 swapFree=5840/337564
[pid=22589] ppid=22584 vsize=10902292 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/22589/stat : 22589 (java) S 22584 22589 20264 0 -1 1077944320 8348 12742 0 1 19 3 8 4 20 0 20 0 12640921 11163947008 9375 33554432000 4194304 4196468 140723200309200 140723200291744 140523206184695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
/proc/22589/statm: 2725573 9375 2962 1 0 2713890 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 10902292
[startup+0.700207 s]
/proc/loadavg: 1.00 1.05 1.39 3/240 22589
/proc/meminfo: memFree=31588712/32770624 swapFree=5840/337564
[pid=22589] ppid=22584 vsize=10902720 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/22589/stat : 22589 (java) S 22584 22589 20264 0 -1 1077944320 12783 12742 0 1 77 5 8 4 20 0 20 0 12640921 11164385280 16052 33554432000 4194304 4196468 140723200309200 140723200291744 140523206184695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
/proc/22589/statm: 2725680 16052 3205 1 0 2713890 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 10902720
[startup+1.50081 s]
/proc/loadavg: 1.08 1.06 1.40 3/283 22738
/proc/meminfo: memFree=31436572/32770624 swapFree=5840/337460
[pid=22589] ppid=22584 vsize=10909248 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/22589/stat : 22589 (java) S 22584 22589 20264 0 -1 1077944320 20596 12742 0 1 141 7 8 4 20 0 20 0 12640921 11171069952 29963 33554432000 4194304 4196468 140723200309200 140723200291744 140523206184695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
/proc/22589/statm: 2727312 29963 3355 1 0 2715426 0
[pid=22589/tid=22701] ppid=22584 vsize=10909248 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22701/stat : 22701 (java) R 22584 22589 20264 0 -1 4202560 15370 12742 0 1 88 5 8 4 20 0 20 0 12640936 11171069952 29963 33554432000 4194304 4196468 140723200309200 140523210406880 140523192356392 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22703] ppid=22584 vsize=10909248 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22703/stat : 22703 (java) S 22584 22589 20264 0 -1 1077944384 2 12742 0 1 0 0 8 4 20 0 20 0 12640937 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522813254160 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22704] ppid=22584 vsize=10909248 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22704/stat : 22704 (java) S 22584 22589 20264 0 -1 1077944384 3 12742 0 1 0 0 8 4 20 0 20 0 12640937 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522812201616 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22705] ppid=22584 vsize=10909248 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22705/stat : 22705 (java) S 22584 22589 20264 0 -1 1077944384 1 12742 0 1 0 0 8 4 20 0 20 0 12640937 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522811148560 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22706] ppid=22584 vsize=10909248 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22706/stat : 22706 (java) S 22584 22589 20264 0 -1 1077944384 1 12742 0 1 0 0 8 4 20 0 20 0 12640937 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522810096016 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22707] ppid=22584 vsize=10909248 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22707/stat : 22707 (java) S 22584 22589 20264 0 -1 1077944384 1 12742 0 1 0 0 8 4 20 0 20 0 12640937 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522809043984 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22708] ppid=22584 vsize=10909248 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22708/stat : 22708 (java) S 22584 22589 20264 0 -1 1077944384 2 12742 0 1 0 0 8 4 20 0 20 0 12640937 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522807991440 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22709] ppid=22584 vsize=10909248 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22709/stat : 22709 (java) S 22584 22589 20264 0 -1 1077944384 1 12742 0 1 0 0 8 4 20 0 20 0 12640937 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522806938384 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22710] ppid=22584 vsize=10909248 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22710/stat : 22710 (java) S 22584 22589 20264 0 -1 1077944384 1 12742 0 1 0 0 8 4 20 0 20 0 12640937 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522805885840 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22719] ppid=22584 vsize=10909248 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22719/stat : 22719 (java) S 22584 22589 20264 0 -1 1077944384 5 12742 0 1 0 0 8 4 20 0 20 0 12640939 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522747898096 140523206195842 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22720] ppid=22584 vsize=10909248 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22720/stat : 22720 (java) S 22584 22589 20264 0 -1 1077944384 33 12742 0 1 0 0 8 4 20 0 20 0 12640940 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522746844320 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22722] ppid=22584 vsize=10909248 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22722/stat : 22722 (java) S 22584 22589 20264 0 -1 1077944384 21 12742 0 1 0 0 8 4 20 0 20 0 12640940 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522745791216 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22725] ppid=22584 vsize=10909248 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22725/stat : 22725 (java) S 22584 22589 20264 0 -1 1077944384 1 12742 0 1 0 0 8 4 20 0 20 0 12640943 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522744739792 140523206203291 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22726] ppid=22584 vsize=10909248 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22726/stat : 22726 (java) S 22584 22589 20264 0 -1 1077944384 576 12742 0 1 7 0 8 4 20 0 20 0 12640943 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522743687920 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22727] ppid=22584 vsize=10909248 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22727/stat : 22727 (java) S 22584 22589 20264 0 -1 1077944384 1390 12742 0 1 14 0 8 4 20 0 20 0 12640943 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522742635376 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22728] ppid=22584 vsize=10909248 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22728/stat : 22728 (java) S 22584 22589 20264 0 -1 1077944384 369 12742 0 1 11 0 8 4 20 0 20 0 12640943 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522741582320 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22729] ppid=22584 vsize=10909248 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22729/stat : 22729 (java) S 22584 22589 20264 0 -1 1077944384 686 12742 0 1 19 0 8 4 20 0 20 0 12640943 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522404440688 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22730] ppid=22584 vsize=10909248 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22730/stat : 22730 (java) S 22584 22589 20264 0 -1 1077944384 3 12742 0 1 0 0 8 4 20 0 20 0 12640944 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522403387872 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22731] ppid=22584 vsize=10909248 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22731/stat : 22731 (java) S 22584 22589 20264 0 -1 1077944384 2 12742 0 1 0 0 8 4 20 0 20 0 12640944 11171069952 29963 33554432000 4194304 4196468 140723200309200 140522402335408 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10909248
[startup+3.10099 s]
/proc/loadavg: 1.08 1.06 1.40 7/283 22738
/proc/meminfo: memFree=31239088/32770624 swapFree=5840/339136
[pid=22589] ppid=22584 vsize=10923772 CPUtime=5.31 cores=1,3,5,7,9,11,13,15
/proc/22589/stat : 22589 (java) S 22584 22589 20264 0 -1 1077944320 41773 12742 0 1 501 18 8 4 20 0 20 0 12640921 11185942528 51865 33554432000 4194304 4196468 140723200309200 140723200291744 140523206184695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
/proc/22589/statm: 2730943 51865 3471 1 0 2718498 0
[pid=22589/tid=22701] ppid=22584 vsize=10923772 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22701/stat : 22701 (java) R 22584 22589 20264 0 -1 4202560 26498 12742 0 1 231 8 8 4 20 0 20 0 12640936 11185942528 51865 33554432000 4194304 4196468 140723200309200 140523210417904 140522831510881 0 4 0 16800975 0 0 0 -1 3 0 0 39 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22703] ppid=22584 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22703/stat : 22703 (java) S 22584 22589 20264 0 -1 1077944384 23 12742 0 1 0 0 8 4 20 0 20 0 12640937 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522813254160 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22704] ppid=22584 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22704/stat : 22704 (java) S 22584 22589 20264 0 -1 1077944384 30 12742 0 1 1 0 8 4 20 0 20 0 12640937 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522812201616 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22705] ppid=22584 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22705/stat : 22705 (java) S 22584 22589 20264 0 -1 1077944384 14 12742 0 1 0 0 8 4 20 0 20 0 12640937 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522811148560 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22706] ppid=22584 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22706/stat : 22706 (java) S 22584 22589 20264 0 -1 1077944384 134 12742 0 1 0 0 8 4 20 0 20 0 12640937 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522810096016 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22707] ppid=22584 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22707/stat : 22707 (java) S 22584 22589 20264 0 -1 1077944384 17 12742 0 1 0 0 8 4 20 0 20 0 12640937 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522809043984 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22708] ppid=22584 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22708/stat : 22708 (java) S 22584 22589 20264 0 -1 1077944384 29 12742 0 1 0 0 8 4 20 0 20 0 12640937 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522807991440 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22709] ppid=22584 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22709/stat : 22709 (java) S 22584 22589 20264 0 -1 1077944384 51 12742 0 1 0 0 8 4 20 0 20 0 12640937 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522806938384 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22710] ppid=22584 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22710/stat : 22710 (java) S 22584 22589 20264 0 -1 1077944384 13 12742 0 1 0 0 8 4 20 0 20 0 12640937 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522805885840 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22719] ppid=22584 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22719/stat : 22719 (java) S 22584 22589 20264 0 -1 1077944384 1348 12742 0 1 1 0 8 4 20 0 20 0 12640939 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522747898096 140523206195842 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22720] ppid=22584 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22720/stat : 22720 (java) S 22584 22589 20264 0 -1 1077944384 55 12742 0 1 0 0 8 4 20 0 20 0 12640940 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522746844384 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22722] ppid=22584 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22722/stat : 22722 (java) S 22584 22589 20264 0 -1 1077944384 44 12742 0 1 0 0 8 4 20 0 20 0 12640940 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522745791216 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22725] ppid=22584 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22725/stat : 22725 (java) S 22584 22589 20264 0 -1 1077944384 1 12742 0 1 0 0 8 4 20 0 20 0 12640943 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522744739792 140523206203291 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22726] ppid=22584 vsize=10923772 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22726/stat : 22726 (java) R 22584 22589 20264 0 -1 4202560 4400 12742 0 1 74 0 8 4 20 0 20 0 12640943 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522743668960 140523190161896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22727] ppid=22584 vsize=10923772 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22727/stat : 22727 (java) R 22584 22589 20264 0 -1 4202560 2347 12742 0 1 51 1 8 4 20 0 20 0 12640943 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522742626704 140523185361853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22728] ppid=22584 vsize=10923772 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22728/stat : 22728 (java) R 22584 22589 20264 0 -1 4202560 1313 12742 0 1 48 0 8 4 20 0 20 0 12640943 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522741568880 140523185452163 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22729] ppid=22584 vsize=10923772 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22729/stat : 22729 (java) R 22584 22589 20264 0 -1 4202560 3320 12742 0 1 85 1 8 4 20 0 20 0 12640943 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522404440688 140523190265182 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22730] ppid=22584 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22730/stat : 22730 (java) S 22584 22589 20264 0 -1 1077944384 3 12742 0 1 0 0 8 4 20 0 20 0 12640944 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522403387872 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22731] ppid=22584 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22731/stat : 22731 (java) S 22584 22589 20264 0 -1 1077944384 6 12742 0 1 0 0 8 4 20 0 20 0 12640944 11185942528 51865 33554432000 4194304 4196468 140723200309200 140522402335408 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 10923772
[startup+6.30089 s]
/proc/loadavg: 1.08 1.06 1.40 5/283 22738
/proc/meminfo: memFree=30694892/32770624 swapFree=5840/340140
[pid=22589] ppid=22584 vsize=10929916 CPUtime=16.03 cores=1,3,5,7,9,11,13,15
/proc/22589/stat : 22589 (java) S 22584 22589 20264 0 -1 1077944320 63644 12742 0 1 1528 63 8 4 20 0 20 0 12640921 11192233984 111072 33554432000 4194304 4196468 140723200309200 140723200291744 140523206184695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
/proc/22589/statm: 2732479 111072 3498 1 0 2720034 0
[pid=22589/tid=22701] ppid=22584 vsize=10929916 CPUtime=5.48 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22701/stat : 22701 (java) S 22584 22589 20264 0 -1 1077944384 35040 12742 0 1 525 11 8 4 20 0 20 0 12640936 11192233984 111072 33554432000 4194304 4196468 140723200309200 140523210413600 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 42 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22703] ppid=22584 vsize=10929916 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22703/stat : 22703 (java) S 22584 22589 20264 0 -1 1077944384 80 12742 0 1 10 4 8 4 20 0 20 0 12640937 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522813254160 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22704] ppid=22584 vsize=10929916 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22704/stat : 22704 (java) S 22584 22589 20264 0 -1 1077944384 76 12742 0 1 11 5 8 4 20 0 20 0 12640937 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522812201616 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22705] ppid=22584 vsize=10929916 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22705/stat : 22705 (java) S 22584 22589 20264 0 -1 1077944384 116 12742 0 1 12 4 8 4 20 0 20 0 12640937 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522811148560 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22706] ppid=22584 vsize=10929916 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22706/stat : 22706 (java) S 22584 22589 20264 0 -1 1077944384 175 12742 0 1 12 5 8 4 20 0 20 0 12640937 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522810096016 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22707] ppid=22584 vsize=10929916 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22707/stat : 22707 (java) S 22584 22589 20264 0 -1 1077944384 75 12742 0 1 12 4 8 4 20 0 20 0 12640937 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522809043984 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22708] ppid=22584 vsize=10929916 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22708/stat : 22708 (java) S 22584 22589 20264 0 -1 1077944384 670 12742 0 1 12 5 8 4 20 0 20 0 12640937 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522807991440 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22709] ppid=22584 vsize=10929916 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22709/stat : 22709 (java) S 22584 22589 20264 0 -1 1077944384 126 12742 0 1 11 5 8 4 20 0 20 0 12640937 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522806938384 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22710] ppid=22584 vsize=10929916 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22710/stat : 22710 (java) S 22584 22589 20264 0 -1 1077944384 63 12742 0 1 12 4 8 4 20 0 20 0 12640937 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522805885840 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22719] ppid=22584 vsize=10929916 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22719/stat : 22719 (java) S 22584 22589 20264 0 -1 1077944384 2222 12742 0 1 4 1 8 4 20 0 20 0 12640939 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522747898096 140523206195842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22720] ppid=22584 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22720/stat : 22720 (java) S 22584 22589 20264 0 -1 1077944384 56 12742 0 1 0 0 8 4 20 0 20 0 12640940 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522746844448 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22722] ppid=22584 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22722/stat : 22722 (java) S 22584 22589 20264 0 -1 1077944384 44 12742 0 1 0 0 8 4 20 0 20 0 12640940 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522745791232 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22725] ppid=22584 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22725/stat : 22725 (java) S 22584 22589 20264 0 -1 1077944384 1 12742 0 1 0 0 8 4 20 0 20 0 12640943 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522744739792 140523206203291 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22726] ppid=22584 vsize=10929916 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22726/stat : 22726 (java) S 22584 22589 20264 0 -1 1077944384 6620 12742 0 1 254 1 8 4 20 0 20 0 12640943 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522743687920 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22727] ppid=22584 vsize=10929916 CPUtime=2.32 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22727/stat : 22727 (java) S 22584 22589 20264 0 -1 1077944384 4278 12742 0 1 218 2 8 4 20 0 20 0 12640943 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522742635376 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22728] ppid=22584 vsize=10929916 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22728/stat : 22728 (java) R 22584 22589 20264 0 -1 4202560 4587 12742 0 1 219 0 8 4 20 0 20 0 12640943 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522741563248 140523186877959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22729] ppid=22584 vsize=10929916 CPUtime=2.23 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22729/stat : 22729 (java) R 22584 22589 20264 0 -1 4202560 7267 12742 0 1 209 2 8 4 20 0 20 0 12640943 11192233984 111072 33554432000 4194304 4196468 140723200309200 140522404440688 140523184176251 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22730] ppid=22584 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/22589/task/22727/stat : 22727 (java) S 22584 22589 20264 0 -1 1077944384 57788 12742 0 1 623 8 8 4 20 0 20 0 12640943 11261440000 235851 33554432000 4194304 4196468 140723200309200 140522742635376 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22728] ppid=22584 vsize=10997500 CPUtime=6.63 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22728/stat : 22728 (java) S 22584 22589 20264 0 -1 1077944384 54115 12742 0 1 645 6 8 4 20 0 20 0 12640943 11261440000 235851 33554432000 4194304 4196468 140723200309200 140522741582320 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22729] ppid=22584 vsize=10997500 CPUtime=3.5 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22729/stat : 22729 (java) S 22584 22589 20264 0 -1 1077944384 76110 12742 0 1 328 10 8 4 20 0 20 0 12640943 11261440000 235851 33554432000 4194304 4196468 140723200309200 140522404440688 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22730] ppid=22584 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22730/stat : 22730 (java) S 22584 22589 20264 0 -1 1077944384 3 12742 0 1 0 0 8 4 20 0 20 0 12640944 11261440000 235851 33554432000 4194304 4196468 140723200309200 140522403387872 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22731] ppid=22584 vsize=10997500 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22731/stat : 22731 (java) S 22584 22589 20264 0 -1 1077944384 2620 12742 0 1 61 73 8 4 20 0 20 0 12640944 11261440000 235851 33554432000 4194304 4196468 140723200309200 140522402335408 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 10997500
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 22589 sig 9
??? kill -22589 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2306.4 s]
/proc/loadavg: 1.85 1.51 1.44 5/282 23018
/proc/meminfo: memFree=30463580/32770624 swapFree=5840/341404
[pid=22589] ppid=22584 vsize=11130628 CPUtime=2402.89 cores=1,3,5,7,9,11,13,15
/proc/22589/stat : 22589 (java) S 22584 22589 20264 0 -1 1077944320 492458 12742 0 1 239493 784 8 4 20 0 22 0 12640921 11397763072 238978 33554432000 4194304 4196468 140723200309200 140723200291744 140523206184695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
/proc/22589/statm: 2782657 238978 3512 1 0 2770212 0
[pid=22589/tid=22701] ppid=22584 vsize=11130628 CPUtime=2282.8 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22701/stat : 22701 (java) S 22584 22589 20264 0 -1 1077944384 146181 12742 0 1 228186 82 8 4 20 0 22 0 12640936 11397763072 238978 33554432000 4194304 4196468 140723200309200 140523210422416 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22703] ppid=22584 vsize=11130628 CPUtime=11.25 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22703/stat : 22703 (java) R 22584 22589 20264 0 -1 4202560 7466 12742 0 1 1041 72 8 4 20 0 22 0 12640937 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522813254280 140523198812903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22704] ppid=22584 vsize=11130628 CPUtime=11.32 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22704/stat : 22704 (java) R 22584 22589 20264 0 -1 4202560 10612 12742 0 1 1052 68 8 4 20 0 22 0 12640937 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522812201736 140523190885383 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22705] ppid=22584 vsize=11130628 CPUtime=11.21 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22705/stat : 22705 (java) R 22584 22589 20264 0 -1 4202560 10485 12742 0 1 1041 68 8 4 20 0 22 0 12640937 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522811148680 140523198812903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22706] ppid=22584 vsize=11130628 CPUtime=11.3 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22706/stat : 22706 (java) R 22584 22589 20264 0 -1 4202560 10963 12742 0 1 1049 69 8 4 20 0 22 0 12640937 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522810096136 140523190885318 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22707] ppid=22584 vsize=11130628 CPUtime=11.23 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22707/stat : 22707 (java) R 22584 22589 20264 0 -1 4202560 11506 12742 0 1 1041 70 8 4 20 0 22 0 12640937 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522809044104 140523198812903 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22708] ppid=22584 vsize=11130628 CPUtime=11.23 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22708/stat : 22708 (java) R 22584 22589 20264 0 -1 4202560 11126 12742 0 1 1043 68 8 4 20 0 22 0 12640937 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522807991560 140523190885429 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22709] ppid=22584 vsize=11130628 CPUtime=11.28 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22709/stat : 22709 (java) R 22584 22589 20264 0 -1 4202560 11081 12742 0 1 1044 72 8 4 20 0 22 0 12640937 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522806938504 140523190885420 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22710] ppid=22584 vsize=11130628 CPUtime=11.37 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22710/stat : 22710 (java) R 22584 22589 20264 0 -1 4202560 8652 12742 0 1 1050 75 8 4 20 0 22 0 12640937 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522805885960 140523190885328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22719] ppid=22584 vsize=11130628 CPUtime=7.11 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22719/stat : 22719 (java) S 22584 22589 20264 0 -1 1077944384 19158 12742 0 1 603 96 8 4 20 0 22 0 12640939 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522747896720 140523206194901 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22720] ppid=22584 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22720/stat : 22720 (java) S 22584 22589 20264 0 -1 1077944384 60 12742 0 1 0 0 8 4 20 0 22 0 12640940 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522746844448 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22722] ppid=22584 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22722/stat : 22722 (java) S 22584 22589 20264 0 -1 1077944384 52 12742 0 1 0 0 8 4 20 0 22 0 12640940 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522745791232 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22725] ppid=22584 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22725/stat : 22725 (java) S 22584 22589 20264 0 -1 1077944384 75 12742 0 1 0 0 8 4 20 0 22 0 12640943 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522744739792 140523206203291 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22726] ppid=22584 vsize=11130628 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22726/stat : 22726 (java) S 22584 22589 20264 0 -1 1077944384 52187 12742 0 1 610 5 8 4 20 0 22 0 12640943 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522743687920 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22727] ppid=22584 vsize=11130628 CPUtime=6.43 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22727/stat : 22727 (java) S 22584 22589 20264 0 -1 1077944384 57788 12742 0 1 623 8 8 4 20 0 22 0 12640943 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522742635376 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22728] ppid=22584 vsize=11130628 CPUtime=6.63 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22728/stat : 22728 (java) S 22584 22589 20264 0 -1 1077944384 54115 12742 0 1 645 6 8 4 20 0 22 0 12640943 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522741582320 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22729] ppid=22584 vsize=11130628 CPUtime=3.5 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22729/stat : 22729 (java) S 22584 22589 20264 0 -1 1077944384 76110 12742 0 1 328 10 8 4 20 0 22 0 12640943 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522404440688 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22730] ppid=22584 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22730/stat : 22730 (java) S 22584 22589 20264 0 -1 1077944384 3 12742 0 1 0 0 8 4 20 0 22 0 12640944 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522403387872 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22731] ppid=22584 vsize=11130628 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22731/stat : 22731 (java) S 22584 22589 20264 0 -1 1077944384 2620 12742 0 1 61 73 8 4 20 0 22 0 12640944 11397763072 238978 33554432000 4194304 4196468 140723200309200 140522402335408 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
Current children cumulated CPU time (s) 2402.89
Current children cumulated vsize (KiB) 11130628
[startup+2306.6 s]
/proc/loadavg: 1.85 1.51 1.44 5/282 23018
/proc/meminfo: memFree=30463580/32770624 swapFree=5840/341404
[pid=22589] ppid=22584 vsize=11130628 CPUtime=2404.17 cores=1,3,5,7,9,11,13,15
/proc/22589/stat : 22589 (java) S 22584 22589 20264 0 -1 1077944320 492569 12742 0 1 239621 784 8 4 20 0 22 0 12640921 11397763072 238524 33554432000 4194304 4196468 140723200309200 140723200291744 140523206184695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
/proc/22589/statm: 2782657 238524 3512 1 0 2770212 0
[pid=22589/tid=22701] ppid=22584 vsize=11130628 CPUtime=2282.8 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22701/stat : 22701 (java) S 22584 22589 20264 0 -1 1077944384 146181 12742 0 1 228186 82 8 4 20 0 22 0 12640936 11397763072 238524 33554432000 4194304 4196468 140723200309200 140523210422416 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22703] ppid=22584 vsize=11130628 CPUtime=11.4 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22703/stat : 22703 (java) R 22584 22589 20264 0 -1 4202560 7467 12742 0 1 1056 72 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522813254160 140523190882334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22704] ppid=22584 vsize=11130628 CPUtime=11.48 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22704/stat : 22704 (java) R 22584 22589 20264 0 -1 4202560 10612 12742 0 1 1067 69 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522812201616 140523187781706 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22705] ppid=22584 vsize=11130628 CPUtime=11.37 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22705/stat : 22705 (java) R 22584 22589 20264 0 -1 4202560 10485 12742 0 1 1057 68 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522811148760 140523190639452 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22706] ppid=22584 vsize=11130628 CPUtime=11.45 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22706/stat : 22706 (java) R 22584 22589 20264 0 -1 4202560 10963 12742 0 1 1064 69 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522810096016 140523187781214 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22707] ppid=22584 vsize=11130628 CPUtime=11.39 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22707/stat : 22707 (java) R 22584 22589 20264 0 -1 4202560 11507 12742 0 1 1057 70 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522809044184 140523187781706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22708] ppid=22584 vsize=11130628 CPUtime=11.39 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22708/stat : 22708 (java) R 22584 22589 20264 0 -1 4202560 11126 12742 0 1 1059 68 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522807991440 140523191135401 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22709] ppid=22584 vsize=11130628 CPUtime=11.43 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22709/stat : 22709 (java) R 22584 22589 20264 0 -1 4202560 11081 12742 0 1 1059 72 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522806938584 140523190882334 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22710] ppid=22584 vsize=11130628 CPUtime=11.53 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22710/stat : 22710 (java) R 22584 22589 20264 0 -1 4202560 8652 12742 0 1 1066 75 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522805885840 140523191135326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22719] ppid=22584 vsize=11130628 CPUtime=7.15 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22719/stat : 22719 (java) S 22584 22589 20264 0 -1 1077944384 19263 12742 0 1 607 96 8 4 20 0 22 0 12640939 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522747896496 140523206194901 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22720] ppid=22584 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22720/stat : 22720 (java) S 22584 22589 20264 0 -1 1077944384 63 12742 0 1 0 0 8 4 20 0 22 0 12640940 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522746843952 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22722] ppid=22584 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22722/stat : 22722 (java) S 22584 22589 20264 0 -1 1077944384 52 12742 0 1 0 0 8 4 20 0 22 0 12640940 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522745791232 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22725] ppid=22584 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22725/stat : 22725 (java) S 22584 22589 20264 0 -1 1077944384 75 12742 0 1 0 0 8 4 20 0 22 0 12640943 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522744739792 140523206203291 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22726] ppid=22584 vsize=11130628 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22726/stat : 22726 (java) S 22584 22589 20264 0 -1 1077944384 52187 12742 0 1 610 5 8 4 20 0 22 0 12640943 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522743687920 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22727] ppid=22584 vsize=11130628 CPUtime=6.43 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22727/stat : 22727 (java) S 22584 22589 20264 0 -1 1077944384 57788 12742 0 1 623 8 8 4 20 0 22 0 12640943 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522742635376 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22728] ppid=22584 vsize=11130628 CPUtime=6.63 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22728/stat : 22728 (java) S 22584 22589 20264 0 -1 1077944384 54115 12742 0 1 645 6 8 4 20 0 22 0 12640943 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522741582320 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22729] ppid=22584 vsize=11130628 CPUtime=3.5 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22729/stat : 22729 (java) S 22584 22589 20264 0 -1 1077944384 76110 12742 0 1 328 10 8 4 20 0 22 0 12640943 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522404440688 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22730] ppid=22584 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22730/stat : 22730 (java) S 22584 22589 20264 0 -1 1077944384 3 12742 0 1 0 0 8 4 20 0 22 0 12640944 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522403387872 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22731] ppid=22584 vsize=11130628 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22731/stat : 22731 (java) S 22584 22589 20264 0 -1 1077944384 2620 12742 0 1 61 73 8 4 20 0 22 0 12640944 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522402335408 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
Current children cumulated CPU time (s) 2404.17
Current children cumulated vsize (KiB) 11130628
[startup+2306.7 s]
/proc/loadavg: 2.50 1.65 1.49 12/284 23020
/proc/meminfo: memFree=30351988/32770624 swapFree=5840/341404
[pid=22589] ppid=22584 vsize=11130628 CPUtime=2404.9 cores=1,3,5,7,9,11,13,15
/proc/22589/stat : 22589 (java) S 22584 22589 20264 0 -1 1077944320 492573 12742 0 1 239694 784 8 4 20 0 22 0 12640921 11397763072 238524 33554432000 4194304 4196468 140723200309200 140723200291744 140523206184695 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
/proc/22589/statm: 2782657 238524 3512 1 0 2770212 0
[pid=22589/tid=22701] ppid=22584 vsize=11130628 CPUtime=2282.8 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22701/stat : 22701 (java) S 22584 22589 20264 0 -1 1077944384 146181 12742 0 1 228186 82 8 4 20 0 22 0 12640936 11397763072 238524 33554432000 4194304 4196468 140723200309200 140523210422416 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22703] ppid=22584 vsize=11130628 CPUtime=11.49 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22703/stat : 22703 (java) R 22584 22589 20264 0 -1 4202560 7467 12742 0 1 1065 72 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522813254360 140523198812903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22704] ppid=22584 vsize=11130628 CPUtime=11.58 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22704/stat : 22704 (java) R 22584 22589 20264 0 -1 4202560 10612 12742 0 1 1077 69 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522812201816 140523198812903 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22705] ppid=22584 vsize=11130628 CPUtime=11.46 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22705/stat : 22705 (java) R 22584 22589 20264 0 -1 4202560 10485 12742 0 1 1066 68 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522811148760 140523198812903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22706] ppid=22584 vsize=11130628 CPUtime=11.54 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22706/stat : 22706 (java) R 22584 22589 20264 0 -1 4202560 10963 12742 0 1 1073 69 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522810096216 140523198812903 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22707] ppid=22584 vsize=11130628 CPUtime=11.48 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22707/stat : 22707 (java) R 22584 22589 20264 0 -1 4202560 11507 12742 0 1 1066 70 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522809044184 140523198812903 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22708] ppid=22584 vsize=11130628 CPUtime=11.49 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22708/stat : 22708 (java) R 22584 22589 20264 0 -1 4202560 11126 12742 0 1 1069 68 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522807991328 140523198812903 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22709] ppid=22584 vsize=11130628 CPUtime=11.51 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22709/stat : 22709 (java) R 22584 22589 20264 0 -1 4202560 11082 12742 0 1 1067 72 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522806938584 140523190638693 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22710] ppid=22584 vsize=11130628 CPUtime=11.63 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22710/stat : 22710 (java) R 22584 22589 20264 0 -1 4202560 8654 12742 0 1 1076 75 8 4 20 0 22 0 12640937 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522805885736 140523198812903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22719] ppid=22584 vsize=11130628 CPUtime=7.16 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22719/stat : 22719 (java) S 22584 22589 20264 0 -1 1077944384 19263 12742 0 1 608 96 8 4 20 0 22 0 12640939 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522747896496 140523206194901 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22720] ppid=22584 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22720/stat : 22720 (java) S 22584 22589 20264 0 -1 1077944384 63 12742 0 1 0 0 8 4 20 0 22 0 12640940 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522746844352 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22722] ppid=22584 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22722/stat : 22722 (java) S 22584 22589 20264 0 -1 1077944384 52 12742 0 1 0 0 8 4 20 0 22 0 12640940 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522745791232 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22725] ppid=22584 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22725/stat : 22725 (java) S 22584 22589 20264 0 -1 1077944384 75 12742 0 1 0 0 8 4 20 0 22 0 12640943 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522744739792 140523206203291 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22726] ppid=22584 vsize=11130628 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22726/stat : 22726 (java) S 22584 22589 20264 0 -1 1077944384 52187 12742 0 1 610 5 8 4 20 0 22 0 12640943 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522743687920 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22727] ppid=22584 vsize=11130628 CPUtime=6.43 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22727/stat : 22727 (java) S 22584 22589 20264 0 -1 1077944384 57788 12742 0 1 623 8 8 4 20 0 22 0 12640943 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522742635376 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22728] ppid=22584 vsize=11130628 CPUtime=6.63 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22728/stat : 22728 (java) S 22584 22589 20264 0 -1 1077944384 54115 12742 0 1 645 6 8 4 20 0 22 0 12640943 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522741582320 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22729] ppid=22584 vsize=11130628 CPUtime=3.5 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22729/stat : 22729 (java) S 22584 22589 20264 0 -1 1077944384 76110 12742 0 1 328 10 8 4 20 0 22 0 12640943 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522404440688 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22730] ppid=22584 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22730/stat : 22730 (java) S 22584 22589 20264 0 -1 1077944384 3 12742 0 1 0 0 8 4 20 0 22 0 12640944 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522403387872 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=22731] ppid=22584 vsize=11130628 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/22589/task/22731/stat : 22731 (java) S 22584 22589 20264 0 -1 1077944384 2620 12742 0 1 61 73 8 4 20 0 22 0 12640944 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522402335408 140523206195842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=23019] ppid=22584 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/23019/stat : 23019 (java) S 22584 22589 20264 0 -1 1077944384 63 12742 0 1 0 0 8 4 20 0 22 0 12871522 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522371239920 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
[pid=22589/tid=23020] ppid=22584 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22589/task/23020/stat : 23020 (java) S 22584 22589 20264 0 -1 1077944384 27 12742 0 1 0 0 8 4 20 0 22 0 12871522 11397763072 238524 33554432000 4194304 4196468 140723200309200 140522370188096 140523206194901 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22102016 140723200318145 140723200320919 140723200320919 140723200323535 0
Current children cumulated CPU time (s) 2404.9
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2306.79
CPU time (s): 2405.31
CPU user time (s): 2397.41
CPU system time (s): 7.89864
CPU usage (%): 104.271
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.41
system time used= 7.89864
maximum resident set size= 2587260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 505464
page faults= 1
swaps= 0
block input operations= 3272
block output operations= 3224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 279458
involuntary context switches= 174523
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2737 second user time and 24.4227 second system time
The end