runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (5979 MiB free)
memory of node 1: 16384 MiB (10398 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293333-1532316908/watcher-4293333-1532316908 -o /tmp/evaluation-result-4293333-1532316908/solver-4293333-1532316908 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532297047-7325 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1530190691 HOME/instance-4293333-1532316908.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11548, runsolver pid=11545
[startup+0.100139 s]*
/proc/loadavg: 1.90 1.89 2.01 3/206 11605
/proc/meminfo: memFree=16764520/32770624 swapFree=67108860/67108860
[pid=11548] ppid=11545 vsize=9972712 memory=17076 CPUtime=0.1 cores=1,3,5,7
/proc/11548/stat : 11548 (java) S 11545 11548 7293 0 -1 1077944320 4411 12939 0 0 1 1 5 3 20 0 6 0 49253998 10212057088 4269 33554432000 4194304 4196468 140732510969456 140732510952000 140506349162231 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
/proc/11548/statm: 2493178 4269 1934 1 0 2481616 0
[pid=11548/tid=11601] ppid=11545 vsize=9972712 memory=4279135704013962638 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11601/stat : 11601 (java) R 11545 11548 7293 0 -1 4202560 2250 12939 0 0 0 0 5 3 20 0 6 0 49254007 10212057088 4269 33554432000 4194304 4196468 140732510969456 140506320998992 140506334285168 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11602] ppid=11545 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11602/stat : 11602 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 6 0 49254008 10212057088 4269 33554432000 4194304 4196468 140732510969456 140506353404560 140506349172437 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11603] ppid=11545 vsize=9972712 memory=140709155563136 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11603/stat : 11603 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 6 0 49254008 10212057088 4269 33554432000 4194304 4196468 140732510969456 140506241677840 140506349172437 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11604] ppid=11545 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11604/stat : 11604 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 6 0 49254008 10212057088 4269 33554432000 4194304 4196468 140732510969456 140506240625040 140506349172437 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11605] ppid=11545 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11605/stat : 11605 (java) S 11545 11548 7293 0 -1 1077944384 2 12939 0 0 0 0 5 3 20 0 6 0 49254008 10212057088 4269 33554432000 4194304 4196468 140732510969456 140506239572240 140506349172437 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.20988 s]*
/proc/loadavg: 1.90 1.89 2.01 3/215 11614
/proc/meminfo: memFree=16746048/32770624 swapFree=67108860/67108860
[pid=11548] ppid=11545 vsize=10818904 memory=41432 CPUtime=0.26 cores=1,3,5,7
/proc/11548/stat : 11548 (java) S 11545 11548 7293 0 -1 1077944320 8075 12939 0 0 16 2 5 3 20 0 15 0 49253998 11078557696 10358 33554432000 4194304 4196468 140732510969456 140732510952000 140506349162231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
/proc/11548/statm: 2704726 10358 2982 1 0 2667149 0
[pid=11548/tid=11601] ppid=11545 vsize=10821524 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/11548/task/11601/stat : 11601 (java) R 11545 11548 7293 0 -1 4202560 4924 12939 0 0 10 1 5 3 20 0 15 0 49254007 11081240576 10688 33554432000 4194304 4196468 140732510969456 140506320987040 140506341841949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11602] ppid=11545 vsize=10821524 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11602/stat : 11602 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254008 11081240576 10688 33554432000 4194304 4196468 140732510969456 140506353404560 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11603] ppid=11545 vsize=10821524 memory=140709155846395 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11603/stat : 11603 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254008 11081240576 10754 33554432000 4194304 4196468 140732510969456 140506241677840 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11604] ppid=11545 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11604/stat : 11604 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254008 11081240576 10754 33554432000 4194304 4196468 140732510969456 140506240625040 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11605] ppid=11545 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11605/stat : 11605 (java) S 11545 11548 7293 0 -1 1077944384 2 12939 0 0 0 0 5 3 20 0 15 0 49254008 11081240576 10754 33554432000 4194304 4196468 140732510969456 140506239572240 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11606] ppid=11545 vsize=10821524 memory=140709155563136 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11606/stat : 11606 (java) S 11545 11548 7293 0 -1 1077944384 2 12939 0 0 0 0 5 3 20 0 15 0 49254009 11081240576 10754 33554432000 4194304 4196468 140732510969456 140505351400304 140506349173378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11607] ppid=11545 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11607/stat : 11607 (java) S 11545 11548 7293 0 -1 1077944384 33 12939 0 0 0 0 5 3 20 0 15 0 49254010 11081240576 10820 33554432000 4194304 4196468 140732510969456 140505350346272 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11608] ppid=11545 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11608/stat : 11608 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254010 11081240576 10820 33554432000 4194304 4196468 140732510969456 140505224570224 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11609] ppid=11545 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11609/stat : 11609 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11081240576 10820 33554432000 4194304 4196468 140732510969456 140504917170512 140506349180827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11610] ppid=11545 vsize=10821524 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11548/task/11610/stat : 11610 (java) S 11545 11548 7293 0 -1 1077944384 544 12939 0 0 1 0 5 3 20 0 15 0 49254013 11081240576 10820 33554432000 4194304 4196468 140732510969456 140505316788592 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11611] ppid=11545 vsize=10821524 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/11548/task/11611/stat : 11611 (java) S 11545 11548 7293 0 -1 1077944384 68 12939 0 0 1 0 5 3 20 0 15 0 49254013 11081240576 10886 33554432000 4194304 4196468 140732510969456 140505315735792 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11612] ppid=11545 vsize=10821524 memory=140709155563136 CPUtime=0.11 cores=1,3,5,7
/proc/11548/task/11612/stat : 11612 (java) S 11545 11548 7293 0 -1 1077944384 616 12939 0 0 3 0 5 3 20 0 15 0 49254013 11081240576 10886 33554432000 4194304 4196468 140732510969456 140505314682992 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11613] ppid=11545 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11613/stat : 11613 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11081240576 10886 33554432000 4194304 4196468 140732510969456 140504883611872 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11614] ppid=11545 vsize=10821524 memory=140709155563136 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11614/stat : 11614 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254013 11081240576 10886 33554432000 4194304 4196468 140732510969456 140505313631408 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41432 KiB
[startup+0.310252 s]*
/proc/loadavg: 1.90 1.89 2.01 3/215 11614
/proc/meminfo: memFree=16733904/32770624 swapFree=67108860/67108860
[pid=11548] ppid=11545 vsize=10819352 memory=52116 CPUtime=0.39 cores=1,3,5,7
/proc/11548/stat : 11548 (java) S 11545 11548 7293 0 -1 1077944320 10581 12939 0 0 28 3 5 3 20 0 15 0 49253998 11079016448 13029 33554432000 4194304 4196468 140732510969456 140732510952000 140506349162231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
/proc/11548/statm: 2704838 13029 3101 1 0 2667149 0
[pid=11548/tid=11601] ppid=11545 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/11548/task/11601/stat : 11601 (java) R 11545 11548 7293 0 -1 4202560 7107 12939 0 0 19 2 5 3 20 0 15 0 49254007 11079016448 13029 33554432000 4194304 4196468 140732510969456 140506320974240 140506349184157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11602] ppid=11545 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11602/stat : 11602 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254008 11079016448 13029 33554432000 4194304 4196468 140732510969456 140506353404560 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11603] ppid=11545 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11603/stat : 11603 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254008 11079016448 13029 33554432000 4194304 4196468 140732510969456 140506241677840 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11604] ppid=11545 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11604/stat : 11604 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254008 11079016448 13029 33554432000 4194304 4196468 140732510969456 140506240625040 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11605] ppid=11545 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11605/stat : 11605 (java) S 11545 11548 7293 0 -1 1077944384 2 12939 0 0 0 0 5 3 20 0 15 0 49254008 11079016448 13029 33554432000 4194304 4196468 140732510969456 140506239572240 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11606] ppid=11545 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11606/stat : 11606 (java) S 11545 11548 7293 0 -1 1077944384 2 12939 0 0 0 0 5 3 20 0 15 0 49254009 11079016448 13029 33554432000 4194304 4196468 140732510969456 140505351400304 140506349173378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11607] ppid=11545 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11607/stat : 11607 (java) S 11545 11548 7293 0 -1 1077944384 33 12939 0 0 0 0 5 3 20 0 15 0 49254010 11079016448 13029 33554432000 4194304 4196468 140732510969456 140505350346272 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11608] ppid=11545 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11608/stat : 11608 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254010 11079016448 13029 33554432000 4194304 4196468 140732510969456 140505224570224 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11609] ppid=11545 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11609/stat : 11609 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11079016448 13029 33554432000 4194304 4196468 140732510969456 140504917170512 140506349180827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11610] ppid=11545 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11548/task/11610/stat : 11610 (java) S 11545 11548 7293 0 -1 1077944384 546 12939 0 0 1 0 5 3 20 0 15 0 49254013 11079016448 13029 33554432000 4194304 4196468 140732510969456 140505316788592 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11611] ppid=11545 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/11548/task/11611/stat : 11611 (java) S 11545 11548 7293 0 -1 1077944384 68 12939 0 0 1 0 5 3 20 0 15 0 49254013 11079016448 13029 33554432000 4194304 4196468 140732510969456 140505315735792 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11612] ppid=11545 vsize=10819352 memory=140709155563136 CPUtime=0.12 cores=1,3,5,7
/proc/11548/task/11612/stat : 11612 (java) R 11545 11548 7293 0 -1 4202560 622 12939 0 0 4 0 5 3 20 0 15 0 49254013 11079016448 13029 33554432000 4194304 4196468 140732510969456 140505314682992 140506349183578 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11613] ppid=11545 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11613/stat : 11613 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11079016448 13029 33554432000 4194304 4196468 140732510969456 140504883611872 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11614] ppid=11545 vsize=10819352 memory=140709155563136 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11614/stat : 11614 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254013 11079016448 13029 33554432000 4194304 4196468 140732510969456 140505313631408 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52116 KiB
[startup+0.70078 s]
/proc/loadavg: 1.90 1.89 2.01 3/215 11614
/proc/meminfo: memFree=16723484/32770624 swapFree=67108860/67108860
[pid=11548] ppid=11545 vsize=10819352 memory=84556 CPUtime=1 cores=1,3,5,7
/proc/11548/stat : 11548 (java) S 11545 11548 7293 0 -1 1077944320 16786 12939 0 0 87 5 5 3 20 0 15 0 49253998 11079016448 21139 33554432000 4194304 4196468 140732510969456 140732510952000 140506349162231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
/proc/11548/statm: 2704838 21139 3237 1 0 2667149 0
[pid=11548/tid=11601] ppid=11545 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/11548/task/11601/stat : 11601 (java) R 11545 11548 7293 0 -1 4202560 12189 12939 0 0 56 3 5 3 20 0 15 0 49254007 11079016448 21139 33554432000 4194304 4196468 140732510969456 140506320983056 140506329440632 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11602] ppid=11545 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11602/stat : 11602 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254008 11079016448 21139 33554432000 4194304 4196468 140732510969456 140506353404560 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11603] ppid=11545 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11603/stat : 11603 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254008 11079016448 21139 33554432000 4194304 4196468 140732510969456 140506241677840 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11604] ppid=11545 vsize=10819352 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11604/stat : 11604 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254008 11079016448 21139 33554432000 4194304 4196468 140732510969456 140506240625040 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11605] ppid=11545 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11605/stat : 11605 (java) S 11545 11548 7293 0 -1 1077944384 2 12939 0 0 0 0 5 3 20 0 15 0 49254008 11079016448 21139 33554432000 4194304 4196468 140732510969456 140506239572240 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11606] ppid=11545 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11606/stat : 11606 (java) S 11545 11548 7293 0 -1 1077944384 5 12939 0 0 0 0 5 3 20 0 15 0 49254009 11079016448 21139 33554432000 4194304 4196468 140732510969456 140505351400304 140506349173378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11607] ppid=11545 vsize=10819352 memory=140709034341072 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11607/stat : 11607 (java) S 11545 11548 7293 0 -1 1077944384 33 12939 0 0 0 0 5 3 20 0 15 0 49254010 11079016448 21139 33554432000 4194304 4196468 140732510969456 140505350346272 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11608] ppid=11545 vsize=10819352 memory=140711718552163 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11608/stat : 11608 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254010 11079016448 21139 33554432000 4194304 4196468 140732510969456 140505224570224 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11609] ppid=11545 vsize=10819352 memory=10416 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11609/stat : 11609 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11079016448 21139 33554432000 4194304 4196468 140732510969456 140504917170512 140506349180827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11610] ppid=11545 vsize=10819352 memory=7234564758908855872 CPUtime=0.16 cores=1,3,5,7
/proc/11548/task/11610/stat : 11610 (java) S 11545 11548 7293 0 -1 1077944384 973 12939 0 0 8 0 5 3 20 0 15 0 49254013 11079016448 21139 33554432000 4194304 4196468 140732510969456 140505316788592 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11611] ppid=11545 vsize=10819352 memory=7597685182856913236 CPUtime=0.17 cores=1,3,5,7
/proc/11548/task/11611/stat : 11611 (java) S 11545 11548 7293 0 -1 1077944384 681 12939 0 0 9 0 5 3 20 0 15 0 49254013 11079016448 21139 33554432000 4194304 4196468 140732510969456 140505315735792 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11612] ppid=11545 vsize=10819352 memory=5787219346483269989 CPUtime=0.21 cores=1,3,5,7
/proc/11548/task/11612/stat : 11612 (java) S 11545 11548 7293 0 -1 1077944384 699 12939 0 0 13 0 5 3 20 0 15 0 49254013 11079016448 21139 33554432000 4194304 4196468 140732510969456 140505314682992 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11613] ppid=11545 vsize=10819352 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11613/stat : 11613 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11079016448 21139 33554432000 4194304 4196468 140732510969456 140504883611872 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11614] ppid=11545 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11614/stat : 11614 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254013 11079016448 21139 33554432000 4194304 4196468 140732510969456 140505313631408 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84556 KiB
[startup+1.5011 s]
/proc/loadavg: 1.90 1.89 2.01 3/215 11614
/proc/meminfo: memFree=16676936/32770624 swapFree=67108860/67108860
[pid=11548] ppid=11545 vsize=10834252 memory=180540 CPUtime=2.47 cores=1,3,5,7
/proc/11548/stat : 11548 (java) S 11545 11548 7293 0 -1 1077944320 23865 12939 0 0 229 10 5 3 20 0 15 0 49253998 11094274048 45135 33554432000 4194304 4196468 140732510969456 140732510952000 140506349162231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
/proc/11548/statm: 2708563 45135 3473 1 0 2670221 0
[pid=11548/tid=11601] ppid=11545 vsize=10834252 memory=12813 CPUtime=1.43 cores=1,3,5,7
/proc/11548/task/11601/stat : 11601 (java) R 11545 11548 7293 0 -1 4202560 17397 12939 0 0 130 5 5 3 20 0 15 0 49254007 11094274048 45135 33554432000 4194304 4196468 140732510969456 140506320965928 140506330727193 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11602] ppid=11545 vsize=10834252 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/11548/task/11602/stat : 11602 (java) S 11545 11548 7293 0 -1 1077944384 65 12939 0 0 1 0 5 3 20 0 15 0 49254008 11094274048 45135 33554432000 4194304 4196468 140732510969456 140506353404560 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11603] ppid=11545 vsize=10834252 memory=1673 CPUtime=0.09 cores=1,3,5,7
/proc/11548/task/11603/stat : 11603 (java) S 11545 11548 7293 0 -1 1077944384 14 12939 0 0 1 0 5 3 20 0 15 0 49254008 11094274048 45135 33554432000 4194304 4196468 140732510969456 140506241677840 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11604] ppid=11545 vsize=10834252 memory=112509 CPUtime=0.09 cores=1,3,5,7
/proc/11548/task/11604/stat : 11604 (java) S 11545 11548 7293 0 -1 1077944384 167 12939 0 0 1 0 5 3 20 0 15 0 49254008 11094274048 45135 33554432000 4194304 4196468 140732510969456 140506240625040 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11605] ppid=11545 vsize=10834252 memory=84556 CPUtime=0.09 cores=1,3,5,7
/proc/11548/task/11605/stat : 11605 (java) S 11545 11548 7293 0 -1 1077944384 36 12939 0 0 1 0 5 3 20 0 15 0 49254008 11094274048 45135 33554432000 4194304 4196468 140732510969456 140506239572240 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11606] ppid=11545 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11548/task/11606/stat : 11606 (java) S 11545 11548 7293 0 -1 1077944384 53 12939 0 0 1 0 5 3 20 0 15 0 49254009 11094274048 45135 33554432000 4194304 4196468 140732510969456 140505351400304 140506349173378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11607] ppid=11545 vsize=10834252 memory=281418068623856 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11607/stat : 11607 (java) S 11545 11548 7293 0 -1 1077944384 34 12939 0 0 0 0 5 3 20 0 15 0 49254010 11094274048 45135 33554432000 4194304 4196468 140732510969456 140505350346336 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11608] ppid=11545 vsize=10834252 memory=281418068674656 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11608/stat : 11608 (java) S 11545 11548 7293 0 -1 1077944384 2 12939 0 0 0 0 5 3 20 0 15 0 49254010 11094274048 45135 33554432000 4194304 4196468 140732510969456 140505224570240 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11609] ppid=11545 vsize=10834252 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11609/stat : 11609 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11094274048 45135 33554432000 4194304 4196468 140732510969456 140504917170512 140506349180827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11610] ppid=11545 vsize=10834252 memory=4638778398332698720 CPUtime=0.34 cores=1,3,5,7
/proc/11548/task/11610/stat : 11610 (java) S 11545 11548 7293 0 -1 1077944384 1320 12939 0 0 26 0 5 3 20 0 15 0 49254013 11094274048 45135 33554432000 4194304 4196468 140732510969456 140505316788592 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11611] ppid=11545 vsize=10834252 memory=281418068958144 CPUtime=0.35 cores=1,3,5,7
/proc/11548/task/11611/stat : 11611 (java) S 11545 11548 7293 0 -1 1077944384 1204 12939 0 0 27 0 5 3 20 0 15 0 49254013 11094274048 45135 33554432000 4194304 4196468 140732510969456 140505315735792 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11612] ppid=11545 vsize=10834252 memory=-7531822216213012384 CPUtime=0.45 cores=1,3,5,7
/proc/11548/task/11612/stat : 11612 (java) S 11545 11548 7293 0 -1 1077944384 1373 12939 0 0 37 0 5 3 20 0 15 0 49254013 11094274048 45135 33554432000 4194304 4196468 140732510969456 140505314682992 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11613] ppid=11545 vsize=10834252 memory=-7531822216213012384 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11613/stat : 11613 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11094274048 45135 33554432000 4194304 4196468 140732510969456 140504883611872 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11614] ppid=11545 vsize=10834252 memory=1399101730491701635 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11614/stat : 11614 (java) S 11545 11548 7293 0 -1 1077944384 1 12939 0 0 0 0 5 3 20 0 15 0 49254013 11094274048 45135 33554432000 4194304 4196468 140732510969456 140505313631408 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/11548/task/11601/stat : 11601 (java) R 11545 11548 7293 0 -1 4202560 111556 12939 0 0 236398 29 5 3 20 0 15 0 49254007 11176083456 289114 33554432000 4194304 4196468 140732510969456 140506320997152 140505929437778 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11602] ppid=11545 vsize=10914144 memory=1195568 CPUtime=14.84 cores=1,3,5,7
/proc/11548/task/11602/stat : 11602 (java) S 11545 11548 7293 0 -1 1077944384 30719 12939 0 0 1440 36 5 3 20 0 15 0 49254008 11176083456 289114 33554432000 4194304 4196468 140732510969456 140506353404560 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11603] ppid=11545 vsize=10914144 memory=140709034245879 CPUtime=14.86 cores=1,3,5,7
/proc/11548/task/11603/stat : 11603 (java) S 11545 11548 7293 0 -1 1077944384 24170 12939 0 0 1439 39 5 3 20 0 15 0 49254008 11176083456 289114 33554432000 4194304 4196468 140732510969456 140506241677840 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11604] ppid=11545 vsize=10914144 memory=1161072 CPUtime=14.82 cores=1,3,5,7
/proc/11548/task/11604/stat : 11604 (java) S 11545 11548 7293 0 -1 1077944384 25650 12939 0 0 1437 37 5 3 20 0 15 0 49254008 11176083456 289114 33554432000 4194304 4196468 140732510969456 140506240625040 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11605] ppid=11545 vsize=10914144 memory=1159532 CPUtime=14.8 cores=1,3,5,7
/proc/11548/task/11605/stat : 11605 (java) S 11545 11548 7293 0 -1 1077944384 27942 12939 0 0 1434 38 5 3 20 0 15 0 49254008 11176083456 289114 33554432000 4194304 4196468 140732510969456 140506239572240 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11606] ppid=11545 vsize=10914144 memory=1159020 CPUtime=2.1 cores=1,3,5,7
/proc/11548/task/11606/stat : 11606 (java) S 11545 11548 7293 0 -1 1077944384 17533 12939 0 0 182 20 5 3 20 0 15 0 49254009 11176083456 289114 33554432000 4194304 4196468 140732510969456 140505351400304 140506349173378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11607] ppid=11545 vsize=10914144 memory=1156968 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11607/stat : 11607 (java) S 11545 11548 7293 0 -1 1077944384 45 12939 0 0 0 0 5 3 20 0 15 0 49254010 11176083456 289114 33554432000 4194304 4196468 140732510969456 140505350346336 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11608] ppid=11545 vsize=10914144 memory=1156456 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11608/stat : 11608 (java) S 11545 11548 7293 0 -1 1077944384 13 12939 0 0 0 0 5 3 20 0 15 0 49254010 11176083456 289114 33554432000 4194304 4196468 140732510969456 140505224570240 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11609] ppid=11545 vsize=10914144 memory=1156456 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11609/stat : 11609 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11176083456 289114 33554432000 4194304 4196468 140732510969456 140504917170512 140506349180827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11610] ppid=11545 vsize=10914144 memory=1160560 CPUtime=7.4 cores=1,3,5,7
/proc/11548/task/11610/stat : 11610 (java) S 11545 11548 7293 0 -1 1077944384 21871 12939 0 0 727 5 5 3 20 0 15 0 49254013 11176083456 289114 33554432000 4194304 4196468 140732510969456 140505316788592 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11611] ppid=11545 vsize=10914144 memory=1157480 CPUtime=7.13 cores=1,3,5,7
/proc/11548/task/11611/stat : 11611 (java) S 11545 11548 7293 0 -1 1077944384 20753 12939 0 0 700 5 5 3 20 0 15 0 49254013 11176083456 289114 33554432000 4194304 4196468 140732510969456 140505315735792 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11612] ppid=11545 vsize=10914144 memory=1157996 CPUtime=3.25 cores=1,3,5,7
/proc/11548/task/11612/stat : 11612 (java) S 11545 11548 7293 0 -1 1077944384 20298 12939 0 0 312 5 5 3 20 0 15 0 49254013 11176083456 289114 33554432000 4194304 4196468 140732510969456 140505314682992 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11613] ppid=11545 vsize=10914144 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11613/stat : 11613 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11176083456 289114 33554432000 4194304 4196468 140732510969456 140504883611872 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11614] ppid=11545 vsize=10914144 memory=4048 CPUtime=1.25 cores=1,3,5,7
/proc/11548/task/11614/stat : 11614 (java) S 11545 11548 7293 0 -1 1077944384 1707 12939 0 0 56 61 5 3 20 0 15 0 49254013 11176083456 289114 33554432000 4194304 4196468 140732510969456 140505313631408 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
Current children cumulated CPU time: 2444.19 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1156456 KiB
[startup+2442.3 s]
/proc/loadavg: 1.36 1.45 1.52 3/215 11837
/proc/meminfo: memFree=16612640/32770624 swapFree=67108860/67108860
[pid=11548] ppid=11545 vsize=10914144 memory=1149940 CPUtime=2505.52 cores=1,3,5,7
/proc/11548/stat : 11548 (java) S 11545 11548 7293 0 -1 1077944320 307065 12939 0 0 250281 263 5 3 20 0 15 0 49253998 11176083456 287485 33554432000 4194304 4196468 140732510969456 140732510952000 140506349162231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
/proc/11548/statm: 2728536 287485 3529 1 0 2690189 0
[pid=11548/tid=11601] ppid=11545 vsize=10914144 memory=1149912 CPUtime=2423.79 cores=1,3,5,7
/proc/11548/task/11601/stat : 11601 (java) R 11545 11548 7293 0 -1 4202560 112267 12939 0 0 242342 29 5 3 20 0 15 0 49254007 11176083456 287485 33554432000 4194304 4196468 140732510969456 140506320997152 140505929437738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11602] ppid=11545 vsize=10914144 memory=1149940 CPUtime=15.29 cores=1,3,5,7
/proc/11548/task/11602/stat : 11602 (java) S 11545 11548 7293 0 -1 1077944384 31045 12939 0 0 1485 36 5 3 20 0 15 0 49254008 11176083456 287485 33554432000 4194304 4196468 140732510969456 140506353404560 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11603] ppid=11545 vsize=10914144 memory=1149940 CPUtime=15.3 cores=1,3,5,7
/proc/11548/task/11603/stat : 11603 (java) S 11545 11548 7293 0 -1 1077944384 25010 12939 0 0 1483 39 5 3 20 0 15 0 49254008 11176083456 287485 33554432000 4194304 4196468 140732510969456 140506241677840 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11604] ppid=11545 vsize=10914144 memory=1149784 CPUtime=15.27 cores=1,3,5,7
/proc/11548/task/11604/stat : 11604 (java) S 11545 11548 7293 0 -1 1077944384 25896 12939 0 0 1481 38 5 3 20 0 15 0 49254008 11176083456 287485 33554432000 4194304 4196468 140732510969456 140506240625040 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11605] ppid=11545 vsize=10914144 memory=1156968 CPUtime=15.25 cores=1,3,5,7
/proc/11548/task/11605/stat : 11605 (java) S 11545 11548 7293 0 -1 1077944384 28118 12939 0 0 1479 38 5 3 20 0 15 0 49254008 11176083456 287485 33554432000 4194304 4196468 140732510969456 140506239572240 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11606] ppid=11545 vsize=10914144 memory=1150296 CPUtime=2.17 cores=1,3,5,7
/proc/11548/task/11606/stat : 11606 (java) S 11545 11548 7293 0 -1 1077944384 17820 12939 0 0 188 21 5 3 20 0 15 0 49254009 11176083456 287485 33554432000 4194304 4196468 140732510969456 140505351400304 140506349173378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11607] ppid=11545 vsize=10914144 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11607/stat : 11607 (java) S 11545 11548 7293 0 -1 1077944384 45 12939 0 0 0 0 5 3 20 0 15 0 49254010 11176083456 287485 33554432000 4194304 4196468 140732510969456 140505350346336 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11608] ppid=11545 vsize=10914144 memory=1149784 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11608/stat : 11608 (java) S 11545 11548 7293 0 -1 1077944384 13 12939 0 0 0 0 5 3 20 0 15 0 49254010 11176083456 287485 33554432000 4194304 4196468 140732510969456 140505224570240 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11609] ppid=11545 vsize=10914144 memory=281418070213184 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11609/stat : 11609 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11176083456 287485 33554432000 4194304 4196468 140732510969456 140504917170512 140506349180827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11610] ppid=11545 vsize=10914144 memory=1149912 CPUtime=7.4 cores=1,3,5,7
/proc/11548/task/11610/stat : 11610 (java) S 11545 11548 7293 0 -1 1077944384 21872 12939 0 0 727 5 5 3 20 0 15 0 49254013 11176083456 287485 33554432000 4194304 4196468 140732510969456 140505316788592 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11611] ppid=11545 vsize=10914144 memory=1149912 CPUtime=7.13 cores=1,3,5,7
/proc/11548/task/11611/stat : 11611 (java) S 11545 11548 7293 0 -1 1077944384 20753 12939 0 0 700 5 5 3 20 0 15 0 49254013 11176083456 287485 33554432000 4194304 4196468 140732510969456 140505315735792 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11612] ppid=11545 vsize=10914144 memory=1149912 CPUtime=3.25 cores=1,3,5,7
/proc/11548/task/11612/stat : 11612 (java) S 11545 11548 7293 0 -1 1077944384 20299 12939 0 0 312 5 5 3 20 0 15 0 49254013 11176083456 287485 33554432000 4194304 4196468 140732510969456 140505314682992 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11613] ppid=11545 vsize=10914144 memory=1149940 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11613/stat : 11613 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11176083456 287485 33554432000 4194304 4196468 140732510969456 140504883611872 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11614] ppid=11545 vsize=10914144 memory=1149940 CPUtime=1.28 cores=1,3,5,7
/proc/11548/task/11614/stat : 11614 (java) S 11545 11548 7293 0 -1 1077944384 1728 12939 0 0 57 63 5 3 20 0 15 0 49254013 11176083456 287485 33554432000 4194304 4196468 140732510969456 140505313631408 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
Current children cumulated CPU time: 2505.52 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1149940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2456.5 s]
/proc/loadavg: 1.29 1.43 1.51 3/215 11838
/proc/meminfo: memFree=16609872/32770624 swapFree=67108860/67108860
[pid=11548] ppid=11545 vsize=10914144 memory=1150420 CPUtime=2520.02 cores=1,3,5,7
/proc/11548/stat : 11548 (java) S 11545 11548 7293 0 -1 1077944320 307257 12939 0 0 251730 264 5 3 20 0 15 0 49253998 11176083456 287605 33554432000 4194304 4196468 140732510969456 140732510952000 140506349162231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
/proc/11548/statm: 2728536 287605 3529 1 0 2690189 0
[pid=11548/tid=11601] ppid=11545 vsize=10914144 memory=1150420 CPUtime=2437.85 cores=1,3,5,7
/proc/11548/task/11601/stat : 11601 (java) R 11545 11548 7293 0 -1 4202560 112340 12939 0 0 243748 29 5 3 20 0 15 0 49254007 11176083456 287605 33554432000 4194304 4196468 140732510969456 140506320997040 140505929437513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11602] ppid=11545 vsize=10914144 memory=1150420 CPUtime=15.39 cores=1,3,5,7
/proc/11548/task/11602/stat : 11602 (java) S 11545 11548 7293 0 -1 1077944384 31046 12939 0 0 1495 36 5 3 20 0 15 0 49254008 11176083456 287605 33554432000 4194304 4196468 140732510969456 140506353404560 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11603] ppid=11545 vsize=10914144 memory=1149940 CPUtime=15.4 cores=1,3,5,7
/proc/11548/task/11603/stat : 11603 (java) S 11545 11548 7293 0 -1 1077944384 25057 12939 0 0 1493 39 5 3 20 0 15 0 49254008 11176083456 287605 33554432000 4194304 4196468 140732510969456 140506241677840 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11604] ppid=11545 vsize=10914144 memory=1149912 CPUtime=15.38 cores=1,3,5,7
/proc/11548/task/11604/stat : 11604 (java) S 11545 11548 7293 0 -1 1077944384 25898 12939 0 0 1492 38 5 3 20 0 15 0 49254008 11176083456 287605 33554432000 4194304 4196468 140732510969456 140506240625040 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11605] ppid=11545 vsize=10914144 memory=281418070213184 CPUtime=15.36 cores=1,3,5,7
/proc/11548/task/11605/stat : 11605 (java) S 11545 11548 7293 0 -1 1077944384 28156 12939 0 0 1490 38 5 3 20 0 15 0 49254008 11176083456 287605 33554432000 4194304 4196468 140732510969456 140506239572240 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11606] ppid=11545 vsize=10914144 memory=1149784 CPUtime=2.18 cores=1,3,5,7
/proc/11548/task/11606/stat : 11606 (java) S 11545 11548 7293 0 -1 1077944384 17843 12939 0 0 189 21 5 3 20 0 15 0 49254009 11176083456 287605 33554432000 4194304 4196468 140732510969456 140505351400304 140506349173378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11607] ppid=11545 vsize=10914144 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11607/stat : 11607 (java) S 11545 11548 7293 0 -1 1077944384 45 12939 0 0 0 0 5 3 20 0 15 0 49254010 11176083456 287605 33554432000 4194304 4196468 140732510969456 140505350346336 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11608] ppid=11545 vsize=10914144 memory=1150296 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11608/stat : 11608 (java) S 11545 11548 7293 0 -1 1077944384 13 12939 0 0 0 0 5 3 20 0 15 0 49254010 11176083456 287605 33554432000 4194304 4196468 140732510969456 140505224570240 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11609] ppid=11545 vsize=10914144 memory=1156968 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11609/stat : 11609 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11176083456 287605 33554432000 4194304 4196468 140732510969456 140504917170512 140506349180827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11610] ppid=11545 vsize=10914144 memory=1149784 CPUtime=7.4 cores=1,3,5,7
/proc/11548/task/11610/stat : 11610 (java) S 11545 11548 7293 0 -1 1077944384 21874 12939 0 0 727 5 5 3 20 0 15 0 49254013 11176083456 287605 33554432000 4194304 4196468 140732510969456 140505316788592 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11611] ppid=11545 vsize=10914144 memory=1150420 CPUtime=7.13 cores=1,3,5,7
/proc/11548/task/11611/stat : 11611 (java) S 11545 11548 7293 0 -1 1077944384 20755 12939 0 0 700 5 5 3 20 0 15 0 49254013 11176083456 287605 33554432000 4194304 4196468 140732510969456 140505315735792 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11612] ppid=11545 vsize=10914144 memory=1150420 CPUtime=3.25 cores=1,3,5,7
/proc/11548/task/11612/stat : 11612 (java) S 11545 11548 7293 0 -1 1077944384 20301 12939 0 0 312 5 5 3 20 0 15 0 49254013 11176083456 287605 33554432000 4194304 4196468 140732510969456 140505314682992 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11613] ppid=11545 vsize=10914144 memory=1150420 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11613/stat : 11613 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11176083456 287605 33554432000 4194304 4196468 140732510969456 140504883611872 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11614] ppid=11545 vsize=10914144 memory=1149940 CPUtime=1.29 cores=1,3,5,7
/proc/11548/task/11614/stat : 11614 (java) S 11545 11548 7293 0 -1 1077944384 1730 12939 0 0 58 63 5 3 20 0 15 0 49254013 11176083456 287605 33554432000 4194304 4196468 140732510969456 140505313631408 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1150420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2456.53 s]
# the end of solver process 11548 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.37 s, system=2.68241 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2456.5 s]
/proc/loadavg: 1.29 1.43 1.51 3/215 11838
/proc/meminfo: memFree=16609872/32770624 swapFree=67108860/67108860
[pid=11548] ppid=11545 vsize=10914144 memory=1150420 CPUtime=2520.02 cores=1,3,5,7
/proc/11548/stat : 11548 (java) S 11545 11548 7293 0 -1 1077944320 307257 12939 0 0 251730 264 5 3 20 0 15 0 49253998 11176083456 287605 33554432000 4194304 4196468 140732510969456 140732510952000 140506349162231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
/proc/11548/statm: 2728536 287605 3529 1 0 2690189 0
[pid=11548/tid=11601] ppid=11545 vsize=10914144 memory=1150420 CPUtime=2437.85 cores=1,3,5,7
/proc/11548/task/11601/stat : 11601 (java) R 11545 11548 7293 0 -1 4202560 112340 12939 0 0 243748 29 5 3 20 0 15 0 49254007 11176083456 287605 33554432000 4194304 4196468 140732510969456 140506320997040 140505929437513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11602] ppid=11545 vsize=10914144 memory=1150420 CPUtime=15.39 cores=1,3,5,7
/proc/11548/task/11602/stat : 11602 (java) S 11545 11548 7293 0 -1 1077944384 31046 12939 0 0 1495 36 5 3 20 0 15 0 49254008 11176083456 287605 33554432000 4194304 4196468 140732510969456 140506353404560 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11603] ppid=11545 vsize=10914144 memory=1149940 CPUtime=15.4 cores=1,3,5,7
/proc/11548/task/11603/stat : 11603 (java) S 11545 11548 7293 0 -1 1077944384 25057 12939 0 0 1493 39 5 3 20 0 15 0 49254008 11176083456 287605 33554432000 4194304 4196468 140732510969456 140506241677840 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11604] ppid=11545 vsize=10914144 memory=1149912 CPUtime=15.38 cores=1,3,5,7
/proc/11548/task/11604/stat : 11604 (java) S 11545 11548 7293 0 -1 1077944384 25898 12939 0 0 1492 38 5 3 20 0 15 0 49254008 11176083456 287605 33554432000 4194304 4196468 140732510969456 140506240625040 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11605] ppid=11545 vsize=10914144 memory=281418070213184 CPUtime=15.36 cores=1,3,5,7
/proc/11548/task/11605/stat : 11605 (java) S 11545 11548 7293 0 -1 1077944384 28156 12939 0 0 1490 38 5 3 20 0 15 0 49254008 11176083456 287605 33554432000 4194304 4196468 140732510969456 140506239572240 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11606] ppid=11545 vsize=10914144 memory=1149784 CPUtime=2.18 cores=1,3,5,7
/proc/11548/task/11606/stat : 11606 (java) S 11545 11548 7293 0 -1 1077944384 17843 12939 0 0 189 21 5 3 20 0 15 0 49254009 11176083456 287605 33554432000 4194304 4196468 140732510969456 140505351400304 140506349173378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11607] ppid=11545 vsize=10914144 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11607/stat : 11607 (java) S 11545 11548 7293 0 -1 1077944384 45 12939 0 0 0 0 5 3 20 0 15 0 49254010 11176083456 287605 33554432000 4194304 4196468 140732510969456 140505350346336 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11608] ppid=11545 vsize=10914144 memory=1150296 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11608/stat : 11608 (java) S 11545 11548 7293 0 -1 1077944384 13 12939 0 0 0 0 5 3 20 0 15 0 49254010 11176083456 287605 33554432000 4194304 4196468 140732510969456 140505224570240 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11609] ppid=11545 vsize=10914144 memory=1156968 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11609/stat : 11609 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11176083456 287605 33554432000 4194304 4196468 140732510969456 140504917170512 140506349180827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11610] ppid=11545 vsize=10914144 memory=1149784 CPUtime=7.4 cores=1,3,5,7
/proc/11548/task/11610/stat : 11610 (java) S 11545 11548 7293 0 -1 1077944384 21874 12939 0 0 727 5 5 3 20 0 15 0 49254013 11176083456 287605 33554432000 4194304 4196468 140732510969456 140505316788592 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11611] ppid=11545 vsize=10914144 memory=1150420 CPUtime=7.13 cores=1,3,5,7
/proc/11548/task/11611/stat : 11611 (java) S 11545 11548 7293 0 -1 1077944384 20755 12939 0 0 700 5 5 3 20 0 15 0 49254013 11176083456 287605 33554432000 4194304 4196468 140732510969456 140505315735792 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11612] ppid=11545 vsize=10914144 memory=1150420 CPUtime=3.25 cores=1,3,5,7
/proc/11548/task/11612/stat : 11612 (java) S 11545 11548 7293 0 -1 1077944384 20301 12939 0 0 312 5 5 3 20 0 15 0 49254013 11176083456 287605 33554432000 4194304 4196468 140732510969456 140505314682992 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11613] ppid=11545 vsize=10914144 memory=1150420 CPUtime=0.08 cores=1,3,5,7
/proc/11548/task/11613/stat : 11613 (java) S 11545 11548 7293 0 -1 1077944384 3 12939 0 0 0 0 5 3 20 0 15 0 49254013 11176083456 287605 33554432000 4194304 4196468 140732510969456 140504883611872 140506349172437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
[pid=11548/tid=11614] ppid=11545 vsize=10914144 memory=1149940 CPUtime=1.29 cores=1,3,5,7
/proc/11548/task/11614/stat : 11614 (java) S 11545 11548 7293 0 -1 1077944384 1730 12939 0 0 58 63 5 3 20 0 15 0 49254013 11176083456 287605 33554432000 4194304 4196468 140732510969456 140505313631408 140506349173378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36429824 140732510976622 140732510979420 140732510979420 140732510982095 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1150420 KiB
Child status: 143
Real time (s): 2456.53
CPU time (s): 2520.06
CPU user time (s): 2517.37
CPU system time (s): 2.68241
CPU usage (%): 102.586
Max. virtual memory (cumulated for all children) (KiB): 10914144
Max. memory (cumulated for all children) (KiB): 1782636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.37
system time used= 2.68241
maximum resident set size= 1782636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321027
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99356
involuntary context switches= 3321
# summary of solver processes directly reported to runsolver:
# pid: 11548
# total CPU time (s): 2520.06
# total CPU user time (s): 2517.37
# total CPU system time (s): 2.68241
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8377 second user time and 22.9916 second system time
The end