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 (15396 MiB free)
memory of node 1: 16384 MiB (14206 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263080-1502627061/watcher-4263080-1502627061 -o /tmp/evaluation-result-4263080-1502627061/solver-4263080-1502627061 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502596857-19456 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263080-1502627061.xml
running on 4 cores: 0,2,4,6
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
solver pid=26958, runsolver pid=26955
Current StackSize limit: 8192 KiB
[startup+0.100199 s]*
/proc/loadavg: 5.35 5.76 4.82 4/208 26967
/proc/meminfo: memFree=30302140/32770624 swapFree=67105588/67108860
[pid=26958] ppid=26955 vsize=10417928 memory=22756 CPUtime=0.05 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26955 26958 12560 0 -1 1077944320 4595 0 0 0 4 1 0 0 20 0 13 0 64901467 10667958272 5689 18446744073709551615 4194304 4196468 140732772468160 140732772450704 140495960997623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
/proc/26958/statm: 2604482 5689 2400 1 0 2593979 0
[pid=26958/tid=26960] ppid=26955 vsize=10417928 memory=7077796292425249400 CPUtime=0.04 cores=0,2,4,6
/proc/26958/task/26960/stat : 26960 (java) R 26955 26958 12560 0 -1 4202560 2926 0 0 0 4 0 0 0 20 0 13 0 64901473 10667958272 5689 18446744073709551615 4194304 4196468 140732772468160 140495965231512 140495961019549 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26961] ppid=26955 vsize=10417928 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26961/stat : 26961 (java) S 26955 26958 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 64901473 10667958272 5689 18446744073709551615 4194304 4196468 140732772468160 140495902034320 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26962] ppid=26955 vsize=10417928 memory=140686640563840 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26962/stat : 26962 (java) S 26955 26958 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 64901473 10667958272 5689 18446744073709551615 4194304 4196468 140732772468160 140495900981520 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26963] ppid=26955 vsize=10417928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26963/stat : 26963 (java) S 26955 26958 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 64901473 10667958272 5689 18446744073709551615 4194304 4196468 140732772468160 140495899929232 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26964] ppid=26955 vsize=10417928 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26964/stat : 26964 (java) S 26955 26958 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 64901473 10667958272 5689 18446744073709551615 4194304 4196468 140732772468160 140495898876432 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26965] ppid=26955 vsize=10417928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26965/stat : 26965 (java) S 26955 26958 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 64901475 10667958272 5689 18446744073709551615 4194304 4196468 140732772468160 140495457892976 140495961008770 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26966] ppid=26955 vsize=10417928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) S 26955 26958 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 64901475 10667958272 5689 18446744073709551615 4194304 4196468 140732772468160 140495456838944 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26967] ppid=26955 vsize=10417928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26955 26958 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 64901475 10667958272 5689 18446744073709551615 4194304 4196468 140732772468160 140495455786608 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26968] ppid=26955 vsize=10417928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26968/stat : 26968 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 64901478 10667958272 5689 18446744073709551615 4194304 4196468 140732772468160 140495454734928 140495961016219 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26969] ppid=26955 vsize=10417928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26969/stat : 26969 (java) R 26955 26958 12560 0 -1 4202560 281 0 0 0 0 0 0 0 20 0 13 0 64901478 10667958272 5754 18446744073709551615 4194304 4196468 140732772468160 140495453669192 140495953234750 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26970] ppid=26955 vsize=10417928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26970/stat : 26970 (java) S 26955 26958 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 64901478 10667958272 5754 18446744073709551615 4194304 4196468 140732772468160 140495452628672 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26971] ppid=26955 vsize=10417928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26971/stat : 26971 (java) R 26955 26958 12560 0 -1 4202560 96 0 0 0 0 0 0 0 20 0 13 0 64901478 10667958272 5754 18446744073709551615 4194304 4196468 140732772468160 140495451576608 140495939589712 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10417928 KiB
Current children cumulated memory: 22756 KiB
[startup+0.210252 s]*
/proc/loadavg: 5.16 5.71 4.81 3/214 26973
/proc/meminfo: memFree=30298808/32770624 swapFree=67105588/67108860
[pid=26958] ppid=26955 vsize=10552180 memory=30324 CPUtime=0.11 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26955 26958 12560 0 -1 1077944320 6965 0 0 0 9 2 0 0 20 0 15 0 64901467 10805432320 7581 18446744073709551615 4194304 4196468 140732772468160 140732772450704 140495960997623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
/proc/26958/statm: 2638045 7581 2795 1 0 2627517 0
[pid=26958/tid=26960] ppid=26955 vsize=10552180 memory=8316850467074736180 CPUtime=0.08 cores=0,2,4,6
/proc/26958/task/26960/stat : 26960 (java) R 26955 26958 12560 0 -1 4202560 4961 0 0 0 7 1 0 0 20 0 15 0 64901473 10805432320 7647 18446744073709551615 4194304 4196468 140732772468160 140495965185968 140495953677341 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26961] ppid=26955 vsize=10552180 memory=9220 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26961/stat : 26961 (java) S 26955 26958 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64901473 10805432320 7647 18446744073709551615 4194304 4196468 140732772468160 140495902034320 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26962] ppid=26955 vsize=10552180 memory=288371062792275584 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26962/stat : 26962 (java) S 26955 26958 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64901473 10805432320 7713 18446744073709551615 4194304 4196468 140732772468160 140495900981520 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26963] ppid=26955 vsize=10552180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26963/stat : 26963 (java) S 26955 26958 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64901473 10805432320 7713 18446744073709551615 4194304 4196468 140732772468160 140495899929232 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26964] ppid=26955 vsize=10552180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26964/stat : 26964 (java) S 26955 26958 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64901473 10805432320 7713 18446744073709551615 4194304 4196468 140732772468160 140495898876432 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26965] ppid=26955 vsize=10552180 memory=140686640563840 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26965/stat : 26965 (java) S 26955 26958 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64901475 10805432320 7713 18446744073709551615 4194304 4196468 140732772468160 140495457892976 140495961008770 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26966] ppid=26955 vsize=10552180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) S 26955 26958 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64901475 10805432320 7713 18446744073709551615 4194304 4196468 140732772468160 140495456838944 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26967] ppid=26955 vsize=10552180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26955 26958 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64901475 10805432320 7713 18446744073709551615 4194304 4196468 140732772468160 140495455786608 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26968] ppid=26955 vsize=10552180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26968/stat : 26968 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64901478 10805432320 7713 18446744073709551615 4194304 4196468 140732772468160 140495454734928 140495961016219 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26969] ppid=26955 vsize=10552180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26969/stat : 26969 (java) S 26955 26958 12560 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 64901478 10805432320 7713 18446744073709551615 4194304 4196468 140732772468160 140495453681776 140495961008770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26970] ppid=26955 vsize=10552180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26970/stat : 26970 (java) S 26955 26958 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64901478 10805432320 7713 18446744073709551615 4194304 4196468 140732772468160 140495452628976 140495961008770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26971] ppid=26955 vsize=10552180 memory=140686640563840 CPUtime=0.01 cores=0,2,4,6
/proc/26958/task/26971/stat : 26971 (java) S 26955 26958 12560 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 15 0 64901478 10805432320 7713 18446744073709551615 4194304 4196468 140732772468160 140495451576688 140495961008770 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26972] ppid=26955 vsize=10552180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26972/stat : 26972 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64901478 10805432320 7713 18446744073709551615 4194304 4196468 140732772468160 140495450524128 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26973] ppid=26955 vsize=10552180 memory=140686640563840 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26973/stat : 26973 (java) S 26955 26958 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64901485 10805432320 7713 18446744073709551615 4194304 4196468 140732772468160 140495449471920 140495961008770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10552180 KiB
Current children cumulated memory: 30324 KiB
[startup+0.310395 s]*
/proc/loadavg: 5.16 5.71 4.81 3/214 26973
/proc/meminfo: memFree=30288360/32770624 swapFree=67105588/67108860
[pid=26958] ppid=26955 vsize=10551156 memory=37260 CPUtime=0.26 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26955 26958 12560 0 -1 1077944320 8525 0 0 0 24 2 0 0 20 0 15 0 64901467 10804383744 9315 18446744073709551615 4194304 4196468 140732772468160 140732772450704 140495960997623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
/proc/26958/statm: 2637789 9315 2926 1 0 2627261 0
[pid=26958/tid=26960] ppid=26955 vsize=10551156 memory=8316850467074736180 CPUtime=0.18 cores=0,2,4,6
/proc/26958/task/26960/stat : 26960 (java) R 26955 26958 12560 0 -1 4202560 6153 0 0 0 16 2 0 0 20 0 15 0 64901473 10804383744 9315 18446744073709551615 4194304 4196468 140732772468160 140495965232720 140495961009558 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26961] ppid=26955 vsize=10551156 memory=8889 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26961/stat : 26961 (java) S 26955 26958 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64901473 10804383744 9315 18446744073709551615 4194304 4196468 140732772468160 140495902034320 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26962] ppid=26955 vsize=10551156 memory=317194098844281472 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26962/stat : 26962 (java) S 26955 26958 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64901473 10804383744 9315 18446744073709551615 4194304 4196468 140732772468160 140495900981520 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26963] ppid=26955 vsize=10551156 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26963/stat : 26963 (java) S 26955 26958 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64901473 10804383744 9356 18446744073709551615 4194304 4196468 140732772468160 140495899929232 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26964] ppid=26955 vsize=10551156 memory=3472323898181169199 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26964/stat : 26964 (java) S 26955 26958 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64901473 10804383744 9356 18446744073709551615 4194304 4196468 140732772468160 140495898876432 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26965] ppid=26955 vsize=10551156 memory=3472468982867982000 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26965/stat : 26965 (java) S 26955 26958 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64901475 10804383744 9356 18446744073709551615 4194304 4196468 140732772468160 140495457892976 140495961008770 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26966] ppid=26955 vsize=10551156 memory=4212118448125207652 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) S 26955 26958 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64901475 10804383744 9356 18446744073709551615 4194304 4196468 140732772468160 140495456838944 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26967] ppid=26955 vsize=10551156 memory=2867664656611125 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26955 26958 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64901475 10804383744 9356 18446744073709551615 4194304 4196468 140732772468160 140495455786608 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26968] ppid=26955 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26968/stat : 26968 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64901478 10804383744 9356 18446744073709551615 4194304 4196468 140732772468160 140495454734928 140495961016219 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26969] ppid=26955 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26958/task/26969/stat : 26969 (java) S 26955 26958 12560 0 -1 1077944384 530 0 0 0 1 0 0 0 20 0 15 0 64901478 10804383744 9356 18446744073709551615 4194304 4196468 140732772468160 140495453681776 140495961008770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26970] ppid=26955 vsize=10551156 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26958/task/26970/stat : 26970 (java) S 26955 26958 12560 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 15 0 64901478 10804383744 9356 18446744073709551615 4194304 4196468 140732772468160 140495452628976 140495961008770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26971] ppid=26955 vsize=10551156 memory=140686640563840 CPUtime=0.04 cores=0,2,4,6
/proc/26958/task/26971/stat : 26971 (java) R 26955 26958 12560 0 -1 4202560 408 0 0 0 4 0 0 0 20 0 15 0 64901478 10804383744 9356 18446744073709551615 4194304 4196468 140732772468160 140495451572368 140495961018970 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26972] ppid=26955 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26972/stat : 26972 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64901478 10804383744 9356 18446744073709551615 4194304 4196468 140732772468160 140495450524128 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26973] ppid=26955 vsize=10551156 memory=140686640563840 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26973/stat : 26973 (java) S 26955 26958 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64901485 10804383744 9356 18446744073709551615 4194304 4196468 140732772468160 140495449471920 140495961008770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 37260 KiB
[startup+0.700716 s]
/proc/loadavg: 5.16 5.71 4.81 3/214 26973
/proc/meminfo: memFree=30270468/32770624 swapFree=67105588/67108860
[pid=26958] ppid=26955 vsize=10551232 memory=204652 CPUtime=1.21 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26955 26958 12560 0 -1 1077944320 12875 0 0 0 112 9 0 0 20 0 15 0 64901467 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140732772450704 140495960997623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
/proc/26958/statm: 2637808 51163 3068 1 0 2627261 0
[pid=26958/tid=26960] ppid=26955 vsize=10551232 memory=4612 CPUtime=0.53 cores=0,2,4,6
/proc/26958/task/26960/stat : 26960 (java) R 26955 26958 12560 0 -1 4202560 7486 0 0 0 49 4 0 0 20 0 15 0 64901473 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140495965230640 140495961009558 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26961] ppid=26955 vsize=10551232 memory=1004 CPUtime=0.01 cores=0,2,4,6
/proc/26958/task/26961/stat : 26961 (java) R 26955 26958 12560 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 64901473 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140495902034320 140495961007829 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26962] ppid=26955 vsize=10551232 memory=2016 CPUtime=0.01 cores=0,2,4,6
/proc/26958/task/26962/stat : 26962 (java) S 26955 26958 12560 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 15 0 64901473 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140495900981520 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26963] ppid=26955 vsize=10551232 memory=22740 CPUtime=0.01 cores=0,2,4,6
/proc/26958/task/26963/stat : 26963 (java) S 26955 26958 12560 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 64901473 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140495899929232 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26964] ppid=26955 vsize=10551232 memory=4048 CPUtime=0.02 cores=0,2,4,6
/proc/26958/task/26964/stat : 26964 (java) S 26955 26958 12560 0 -1 1077944384 32 0 0 0 2 0 0 0 20 0 15 0 64901473 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140495898876432 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26965] ppid=26955 vsize=10551232 memory=644 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26965/stat : 26965 (java) S 26955 26958 12560 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 64901475 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140495457892976 140495961008770 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26966] ppid=26955 vsize=10551232 memory=1744 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) R 26955 26958 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64901475 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140495456838944 140495961007829 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26967] ppid=26955 vsize=10551232 memory=956 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26955 26958 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64901475 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140495455786608 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26968] ppid=26955 vsize=10551232 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26968/stat : 26968 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64901478 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140495454734928 140495961016219 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26969] ppid=26955 vsize=10551232 memory=2240 CPUtime=0.17 cores=0,2,4,6
/proc/26958/task/26969/stat : 26969 (java) R 26955 26958 12560 0 -1 4202560 1677 0 0 0 17 0 0 0 20 0 15 0 64901478 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140495453661712 140495944987727 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26970] ppid=26955 vsize=10551232 memory=4088 CPUtime=0.16 cores=0,2,4,6
/proc/26958/task/26970/stat : 26970 (java) R 26955 26958 12560 0 -1 4202560 1097 0 0 0 16 0 0 0 20 0 15 0 64901478 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140495452620256 140495944908585 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26971] ppid=26955 vsize=10551232 memory=1620 CPUtime=0.21 cores=0,2,4,6
/proc/26958/task/26971/stat : 26971 (java) S 26955 26958 12560 0 -1 1077944384 1089 0 0 0 21 0 0 0 20 0 15 0 64901478 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140495451576688 140495961008770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26972] ppid=26955 vsize=10551232 memory=920 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26972/stat : 26972 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64901478 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140495450524128 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26973] ppid=26955 vsize=10551232 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26973/stat : 26973 (java) S 26955 26958 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64901485 10804461568 51163 18446744073709551615 4194304 4196468 140732772468160 140495449471920 140495961008770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 204652 KiB
[startup+1.50709 s]
/proc/loadavg: 5.16 5.71 4.81 6/214 26973
/proc/meminfo: memFree=30038616/32770624 swapFree=67105588/67108860
[pid=26958] ppid=26955 vsize=10551232 memory=545824 CPUtime=3.44 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26955 26958 12560 0 -1 1077944320 16065 0 0 0 306 38 0 0 20 0 15 0 64901467 10804461568 136456 18446744073709551615 4194304 4196468 140732772468160 140732772450704 140495960997623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
/proc/26958/statm: 2637808 136456 3083 1 0 2627261 0
[pid=26958/tid=26960] ppid=26955 vsize=10551232 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/26958/task/26960/stat : 26960 (java) S 26955 26958 12560 0 -1 1077944384 7568 0 0 0 100 6 0 0 20 0 15 0 64901473 10804461568 136456 18446744073709551615 4194304 4196468 140732772468160 140495965233024 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26961] ppid=26955 vsize=10551232 memory=37000 CPUtime=0.28 cores=0,2,4,6
/proc/26958/task/26961/stat : 26961 (java) R 26955 26958 12560 0 -1 4202560 244 0 0 0 21 7 0 0 20 0 15 0 64901473 10804461568 136456 18446744073709551615 4194304 4196468 140732772468160 140495902034520 140495946025042 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26962] ppid=26955 vsize=10551232 memory=1292 CPUtime=0.25 cores=0,2,4,6
/proc/26958/task/26962/stat : 26962 (java) R 26955 26958 12560 0 -1 4202560 166 0 0 0 18 7 0 0 20 0 15 0 64901473 10804461568 136456 18446744073709551615 4194304 4196468 140732772468160 140495900981408 140495946021321 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26963] ppid=26955 vsize=10551232 memory=377300 CPUtime=0.28 cores=0,2,4,6
/proc/26958/task/26963/stat : 26963 (java) R 26955 26958 12560 0 -1 4202560 303 0 0 0 21 7 0 0 20 0 15 0 64901473 10804461568 136456 18446744073709551615 4194304 4196468 140732772468160 140495899929432 140495946025042 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26964] ppid=26955 vsize=10551232 memory=288230617509003574 CPUtime=0.27 cores=0,2,4,6
/proc/26958/task/26964/stat : 26964 (java) R 26955 26958 12560 0 -1 4202560 155 0 0 0 20 7 0 0 20 0 15 0 64901473 10804461568 136456 18446744073709551615 4194304 4196468 140732772468160 140495898876632 140495946025042 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26965] ppid=26955 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26965/stat : 26965 (java) S 26955 26958 12560 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 64901475 10804461568 136456 18446744073709551615 4194304 4196468 140732772468160 140495457891488 140495961007829 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26966] ppid=26955 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) S 26955 26958 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64901475 10804461568 136456 18446744073709551615 4194304 4196468 140732772468160 140495456838944 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26967] ppid=26955 vsize=10551232 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26955 26958 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 64901475 10804461568 136456 18446744073709551615 4194304 4196468 140732772468160 140495455786608 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
################
# More data... #
################
/proc/26958/task/26965/stat : 26965 (java) S 26955 26958 12560 0 -1 1077944384 73521 0 0 0 2356 4 0 0 20 0 17 0 64901475 10943037440 2037617 18446744073709551615 4194304 4196468 140732772468160 140495457891520 140495961007829 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26966] ppid=26955 vsize=10686560 memory=8150468 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) S 26955 26958 12560 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 64901475 10943037440 2037617 18446744073709551615 4194304 4196468 140732772468160 140495456839008 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26967] ppid=26955 vsize=10686560 memory=8150468 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26955 26958 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 64901475 10943037440 2037617 18446744073709551615 4194304 4196468 140732772468160 140495455786624 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26968] ppid=26955 vsize=10686560 memory=644 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26968/stat : 26968 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 64901478 10943037440 2037617 18446744073709551615 4194304 4196468 140732772468160 140495454734928 140495961016219 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26969] ppid=26955 vsize=10686560 memory=8150468 CPUtime=0.57 cores=0,2,4,6
/proc/26958/task/26969/stat : 26969 (java) S 26955 26958 12560 0 -1 1077944384 3912 0 0 0 57 0 0 0 20 0 17 0 64901478 10943037440 2037617 18446744073709551615 4194304 4196468 140732772468160 140495453681824 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26970] ppid=26955 vsize=10686560 memory=4144 CPUtime=0.57 cores=0,2,4,6
/proc/26958/task/26970/stat : 26970 (java) S 26955 26958 12560 0 -1 1077944384 3136 0 0 0 57 0 0 0 20 0 17 0 64901478 10943037440 2037617 18446744073709551615 4194304 4196468 140732772468160 140495452629024 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26971] ppid=26955 vsize=10686560 memory=8150464 CPUtime=0.3 cores=0,2,4,6
/proc/26958/task/26971/stat : 26971 (java) S 26955 26958 12560 0 -1 1077944384 3330 0 0 0 30 0 0 0 20 0 17 0 64901478 10943037440 2037617 18446744073709551615 4194304 4196468 140732772468160 140495451576448 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26972] ppid=26955 vsize=10686560 memory=8150464 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26972/stat : 26972 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 64901478 10943037440 2037617 18446744073709551615 4194304 4196468 140732772468160 140495450524128 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26973] ppid=26955 vsize=10686560 memory=8150468 CPUtime=0.26 cores=0,2,4,6
/proc/26958/task/26973/stat : 26973 (java) S 26955 26958 12560 0 -1 1077944384 368 0 0 0 20 6 0 0 20 0 17 0 64901485 10943037440 2037617 18446744073709551615 4194304 4196468 140732772468160 140495449471920 140495961008770 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26986] ppid=26955 vsize=10686560 memory=8150468 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26986/stat : 26986 (java) S 26955 26958 12560 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 17 0 64939041 10943037440 2037617 18446744073709551615 4194304 4196468 140732772468160 140495446318960 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26987] ppid=26955 vsize=10686560 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26987/stat : 26987 (java) S 26955 26958 12560 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 17 0 64939041 10943037440 2037617 18446744073709551615 4194304 4196468 140732772468160 140495445267120 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
Current children cumulated CPU time: 1474.99 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8150468 KiB
[startup+462.301 s]
/proc/loadavg: 4.53 4.81 4.68 6/211 26990
/proc/meminfo: memFree=22123932/32770624 swapFree=67105588/67108860
[pid=26958] ppid=26955 vsize=10686560 memory=8150820 CPUtime=1706.35 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26955 26958 12560 0 -1 1077944320 316148 0 0 0 169821 814 0 0 20 0 16 0 64901467 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140732772450704 140495960997623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
/proc/26958/statm: 2671640 2037705 3152 1 0 2661055 0
[pid=26958/tid=26960] ppid=26955 vsize=10686560 memory=1688 CPUtime=13.89 cores=0,2,4,6
/proc/26958/task/26960/stat : 26960 (java) S 26955 26958 12560 0 -1 1077944384 17906 0 0 0 1378 11 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495965238304 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26961] ppid=26955 vsize=10686560 memory=8150820 CPUtime=416.85 cores=0,2,4,6
/proc/26958/task/26961/stat : 26961 (java) R 26955 26958 12560 0 -1 4202560 66810 0 0 0 41478 207 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495902034520 140495945987177 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26962] ppid=26955 vsize=10686560 memory=8150812 CPUtime=416 cores=0,2,4,6
/proc/26958/task/26962/stat : 26962 (java) R 26955 26958 12560 0 -1 4202560 48161 0 0 0 41404 196 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495900981328 140495953625831 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26963] ppid=26955 vsize=10686560 memory=8150792 CPUtime=417.15 cores=0,2,4,6
/proc/26958/task/26963/stat : 26963 (java) R 26955 26958 12560 0 -1 4202560 55162 0 0 0 41526 189 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495899929352 140495953625831 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26964] ppid=26955 vsize=10686560 memory=8150696 CPUtime=415.52 cores=0,2,4,6
/proc/26958/task/26964/stat : 26964 (java) S 26955 26958 12560 0 -1 1077944384 33471 0 0 0 41352 200 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495898876240 140495961008770 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26965] ppid=26955 vsize=10686560 memory=8150588 CPUtime=25.09 cores=0,2,4,6
/proc/26958/task/26965/stat : 26965 (java) S 26955 26958 12560 0 -1 1077944384 82234 0 0 0 2504 5 0 0 20 0 16 0 64901475 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495457891520 140495961007829 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26966] ppid=26955 vsize=10686560 memory=8150792 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) S 26955 26958 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 64901475 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495456839008 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26967] ppid=26955 vsize=10686560 memory=8150820 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26955 26958 12560 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 64901475 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495455786624 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26968] ppid=26955 vsize=10686560 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26968/stat : 26968 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495454734928 140495961016219 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26969] ppid=26955 vsize=10686560 memory=170092 CPUtime=0.57 cores=0,2,4,6
/proc/26958/task/26969/stat : 26969 (java) S 26955 26958 12560 0 -1 1077944384 3914 0 0 0 57 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495453681824 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26970] ppid=26955 vsize=10686560 memory=8150696 CPUtime=0.58 cores=0,2,4,6
/proc/26958/task/26970/stat : 26970 (java) S 26955 26958 12560 0 -1 1077944384 3140 0 0 0 58 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495452628736 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26971] ppid=26955 vsize=10686560 memory=6655300316396806240 CPUtime=0.3 cores=0,2,4,6
/proc/26958/task/26971/stat : 26971 (java) S 26955 26958 12560 0 -1 1077944384 3383 0 0 0 30 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495451574192 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26972] ppid=26955 vsize=10686560 memory=14260 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26972/stat : 26972 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495450524128 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26973] ppid=26955 vsize=10686560 memory=4144 CPUtime=0.3 cores=0,2,4,6
/proc/26958/task/26973/stat : 26973 (java) S 26955 26958 12560 0 -1 1077944384 395 0 0 0 24 6 0 0 20 0 16 0 64901485 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495449471920 140495961008770 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26987] ppid=26955 vsize=10686560 memory=37000 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26987/stat : 26987 (java) S 26955 26958 12560 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 64939041 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495445266336 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
Current children cumulated CPU time: 1706.35 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8150820 KiB
[startup+463.212 s]
# the end of solver process 26958 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1699.82 s, system=8.18708 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+462.401 s]
/proc/loadavg: 4.53 4.81 4.68 6/211 26990
/proc/meminfo: memFree=22123932/32770624 swapFree=67105588/67108860
[pid=26958] ppid=26955 vsize=10686560 memory=8150820 CPUtime=1706.73 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26955 26958 12560 0 -1 1077944320 316185 0 0 0 169859 814 0 0 20 0 16 0 64901467 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140732772450704 140495960997623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
/proc/26958/statm: 2671640 2037705 3152 1 0 2661055 0
[pid=26958/tid=26960] ppid=26955 vsize=10686560 memory=2384 CPUtime=13.89 cores=0,2,4,6
/proc/26958/task/26960/stat : 26960 (java) S 26955 26958 12560 0 -1 1077944384 17906 0 0 0 1378 11 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495965238304 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26961] ppid=26955 vsize=10686560 memory=8150820 CPUtime=416.95 cores=0,2,4,6
/proc/26958/task/26961/stat : 26961 (java) R 26955 26958 12560 0 -1 4202560 66847 0 0 0 41488 207 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495902034520 140495945994033 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26962] ppid=26955 vsize=10686560 memory=8150820 CPUtime=416.1 cores=0,2,4,6
/proc/26958/task/26962/stat : 26962 (java) R 26955 26958 12560 0 -1 4202560 48161 0 0 0 41414 196 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495900981328 140495953625831 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26963] ppid=26955 vsize=10686560 memory=796 CPUtime=417.24 cores=0,2,4,6
/proc/26958/task/26963/stat : 26963 (java) R 26955 26958 12560 0 -1 4202560 55162 0 0 0 41535 189 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495899929040 140495953625831 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26964] ppid=26955 vsize=10686560 memory=1228 CPUtime=415.62 cores=0,2,4,6
/proc/26958/task/26964/stat : 26964 (java) R 26955 26958 12560 0 -1 4202560 33471 0 0 0 41362 200 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495898876240 140495953625831 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26965] ppid=26955 vsize=10686560 memory=1412 CPUtime=25.09 cores=0,2,4,6
/proc/26958/task/26965/stat : 26965 (java) S 26955 26958 12560 0 -1 1077944384 82234 0 0 0 2504 5 0 0 20 0 16 0 64901475 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495457891520 140495961007829 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26966] ppid=26955 vsize=10686560 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) S 26955 26958 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 64901475 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495456839008 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26967] ppid=26955 vsize=10686560 memory=22740 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26955 26958 12560 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 64901475 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495455786624 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26968] ppid=26955 vsize=10686560 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26968/stat : 26968 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495454734928 140495961016219 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26969] ppid=26955 vsize=10686560 memory=644 CPUtime=0.57 cores=0,2,4,6
/proc/26958/task/26969/stat : 26969 (java) S 26955 26958 12560 0 -1 1077944384 3914 0 0 0 57 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495453681824 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26970] ppid=26955 vsize=10686560 memory=-8774313645642428999 CPUtime=0.58 cores=0,2,4,6
/proc/26958/task/26970/stat : 26970 (java) S 26955 26958 12560 0 -1 1077944384 3140 0 0 0 58 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495452628736 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26971] ppid=26955 vsize=10686560 memory=1156 CPUtime=0.3 cores=0,2,4,6
/proc/26958/task/26971/stat : 26971 (java) S 26955 26958 12560 0 -1 1077944384 3383 0 0 0 30 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495451574192 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26972] ppid=26955 vsize=10686560 memory=3192 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26972/stat : 26972 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495450524128 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26973] ppid=26955 vsize=10686560 memory=8150820 CPUtime=0.3 cores=0,2,4,6
/proc/26958/task/26973/stat : 26973 (java) S 26955 26958 12560 0 -1 1077944384 395 0 0 0 24 6 0 0 20 0 16 0 64901485 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495449471920 140495961008770 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26987] ppid=26955 vsize=10686560 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26987/stat : 26987 (java) S 26955 26958 12560 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 64939041 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495445266336 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
Current children cumulated CPU time: 1706.73 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8150820 KiB
[startup+462.801 s]
/proc/loadavg: 4.53 4.81 4.68 6/211 26990
/proc/meminfo: memFree=22123932/32770624 swapFree=67105588/67108860
[pid=26958] ppid=26955 vsize=10686560 memory=8150820 CPUtime=1707.59 cores=0,2,4,6
/proc/26958/stat : 26958 (java) S 26955 26958 12560 0 -1 1077944320 316253 0 0 0 169945 814 0 0 20 0 16 0 64901467 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140732772450704 140495960997623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
/proc/26958/statm: 2671640 2037705 3152 1 0 2661055 0
[pid=26958/tid=26960] ppid=26955 vsize=10686560 memory=37000 CPUtime=13.89 cores=0,2,4,6
/proc/26958/task/26960/stat : 26960 (java) S 26955 26958 12560 0 -1 1077944384 17906 0 0 0 1378 11 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495965238304 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26961] ppid=26955 vsize=10686560 memory=1292 CPUtime=417.11 cores=0,2,4,6
/proc/26958/task/26961/stat : 26961 (java) S 26955 26958 12560 0 -1 1077944384 66915 0 0 0 41504 207 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495902034320 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26962] ppid=26955 vsize=10686560 memory=8149964 CPUtime=416.25 cores=0,2,4,6
/proc/26958/task/26962/stat : 26962 (java) S 26955 26958 12560 0 -1 1077944384 48161 0 0 0 41429 196 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495900981520 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26963] ppid=26955 vsize=10686560 memory=-8774313645642428999 CPUtime=417.4 cores=0,2,4,6
/proc/26958/task/26963/stat : 26963 (java) S 26955 26958 12560 0 -1 1077944384 55162 0 0 0 41551 189 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495899929232 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26964] ppid=26955 vsize=10686560 memory=832 CPUtime=415.78 cores=0,2,4,6
/proc/26958/task/26964/stat : 26964 (java) S 26955 26958 12560 0 -1 1077944384 33471 0 0 0 41377 201 0 0 20 0 16 0 64901473 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495898876432 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26965] ppid=26955 vsize=10686560 memory=16448 CPUtime=25.33 cores=0,2,4,6
/proc/26958/task/26965/stat : 26965 (java) R 26955 26958 12560 0 -1 4202560 82234 0 0 0 2528 5 0 0 20 0 16 0 64901475 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495457891520 140495945994033 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26966] ppid=26955 vsize=10686560 memory=3908 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26966/stat : 26966 (java) S 26955 26958 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 64901475 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495456839008 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26967] ppid=26955 vsize=10686560 memory=3548 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26967/stat : 26967 (java) S 26955 26958 12560 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 64901475 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495455786624 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26968] ppid=26955 vsize=10686560 memory=11204 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26968/stat : 26968 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495454734928 140495961016219 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26969] ppid=26955 vsize=10686560 memory=6944656592455359580 CPUtime=0.57 cores=0,2,4,6
/proc/26958/task/26969/stat : 26969 (java) S 26955 26958 12560 0 -1 1077944384 3914 0 0 0 57 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495453681824 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26970] ppid=26955 vsize=10686560 memory=6944656592455097440 CPUtime=0.58 cores=0,2,4,6
/proc/26958/task/26970/stat : 26970 (java) S 26955 26958 12560 0 -1 1077944384 3140 0 0 0 58 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495452628736 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26971] ppid=26955 vsize=10686560 memory=281372971846592 CPUtime=0.3 cores=0,2,4,6
/proc/26958/task/26971/stat : 26971 (java) S 26955 26958 12560 0 -1 1077944384 3383 0 0 0 30 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495451574192 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26972] ppid=26955 vsize=10686560 memory=7233736994252652628 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26972/stat : 26972 (java) S 26955 26958 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64901478 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495450524128 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26973] ppid=26955 vsize=10686560 memory=7233736994252652628 CPUtime=0.3 cores=0,2,4,6
/proc/26958/task/26973/stat : 26973 (java) S 26955 26958 12560 0 -1 1077944384 395 0 0 0 24 6 0 0 20 0 16 0 64901485 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495449471920 140495961008770 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
[pid=26958/tid=26987] ppid=26955 vsize=10686560 memory=288291082108945548 CPUtime=0 cores=0,2,4,6
/proc/26958/task/26987/stat : 26987 (java) S 26955 26958 12560 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 64939041 10943037440 2037705 18446744073709551615 4194304 4196468 140732772468160 140495445266336 140495961007829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140732772475280 140732772475433 140732772475433 140732772478927 0
Current children cumulated CPU time: 1707.59 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8150820 KiB
[startup+463.203 s]*
/proc/loadavg: 4.53 4.81 4.68 3/197 26990
/proc/meminfo: memFree=30274908/32770624 swapFree=67105588/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 463.212
CPU time (s): 1708.01
CPU user time (s): 1699.82
CPU system time (s): 8.18708
CPU usage (%): 368.731
Max. virtual memory (cumulated for all children) (KiB): 10686560
Max. memory (cumulated for all children) (KiB): 8150820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1699.82
system time used= 8.18708
maximum resident set size= 8150952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316402
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31426
involuntary context switches= 16485
# summary of solver processes directly reported to runsolver:
# pid: 26958
# total CPU time (s): 1708.01
# total CPU user time (s): 1699.82
# total CPU system time (s): 8.18708
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.81312 second user time and 4.52427 second system time
The end