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 (15179 MiB free)
memory of node 1: 16384 MiB (8855 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263685-1502635488/watcher-4263685-1502635488 -o /tmp/evaluation-result-4263685-1502635488/solver-4263685-1502635488 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502619490-21334 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263685-1502635488.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=24091, runsolver pid=24088
Current StackSize limit: 8192 KiB
[startup+0.101797 s]*
/proc/loadavg: 2.81 2.33 2.41 4/212 24100
/proc/meminfo: memFree=24601592/32770624 swapFree=67108860/67108860
[pid=24091] ppid=24088 vsize=10151672 memory=21148 CPUtime=0.02 cores=0,2,4,6
/proc/24091/stat : 24091 (java) S 24088 24091 8289 0 -1 1077944320 4181 0 0 0 2 0 0 0 20 0 9 0 111363955 10395312128 5287 18446744073709551615 4194304 4196468 140724040904240 140724040886784 140382185422583 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
/proc/24091/statm: 2537918 5287 2112 1 0 2527415 0
[pid=24091/tid=24093] ppid=24088 vsize=10151672 memory=7077796292425249400 CPUtime=0.02 cores=0,2,4,6
/proc/24091/task/24093/stat : 24093 (java) R 24088 24091 8289 0 -1 4202560 2821 0 0 0 2 0 0 0 20 0 9 0 111363962 10395312128 5352 18446744073709551615 4194304 4196468 140724040904240 140382189658568 140382185444509 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24094] ppid=24088 vsize=10151672 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24094/stat : 24094 (java) S 24088 24091 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 111363963 10395312128 5352 18446744073709551615 4194304 4196468 140724040904240 140382148528912 140382185432789 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24095] ppid=24088 vsize=10151672 memory=139952020956800 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24095/stat : 24095 (java) S 24088 24091 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 111363963 10395312128 5352 18446744073709551615 4194304 4196468 140724040904240 140381795462032 140382185432789 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24096] ppid=24088 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24096/stat : 24096 (java) S 24088 24091 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 111363963 10395312128 5352 18446744073709551615 4194304 4196468 140724040904240 140381794409488 140382185432789 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24097] ppid=24088 vsize=10151672 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24097/stat : 24097 (java) S 24088 24091 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 111363963 10395312128 5352 18446744073709551615 4194304 4196468 140724040904240 140381793356944 140382185432789 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24098] ppid=24088 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24098/stat : 24098 (java) S 24088 24091 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 111363964 10395312128 5352 18446744073709551615 4194304 4196468 140724040904240 140381749454832 140382185433730 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24099] ppid=24088 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24099/stat : 24099 (java) S 24088 24091 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 111363965 10395312128 5352 18446744073709551615 4194304 4196468 140724040904240 140381748401056 140382185432789 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24100] ppid=24088 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24100/stat : 24100 (java) S 24088 24091 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 111363965 10395312128 5352 18446744073709551615 4194304 4196468 140724040904240 140381747348528 140382185432789 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 21148 KiB
[startup+0.211497 s]*
/proc/loadavg: 2.81 2.33 2.41 4/218 24106
/proc/meminfo: memFree=24597536/32770624 swapFree=67108860/67108860
[pid=24091] ppid=24088 vsize=10551156 memory=24184 CPUtime=0.07 cores=0,2,4,6
/proc/24091/stat : 24091 (java) S 24088 24091 8289 0 -1 1077944320 5055 0 0 0 6 1 0 0 20 0 15 0 111363955 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140724040886784 140382185422583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
/proc/24091/statm: 2637789 6046 2613 1 0 2627261 0
[pid=24091/tid=24093] ppid=24088 vsize=10551156 memory=8316850467074736180 CPUtime=0.05 cores=0,2,4,6
/proc/24091/task/24093/stat : 24093 (java) R 24088 24091 8289 0 -1 4202560 3164 0 0 0 5 0 0 0 20 0 15 0 111363962 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140382189648272 140382185444605 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24094] ppid=24088 vsize=10551156 memory=8293 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24094/stat : 24094 (java) S 24088 24091 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111363963 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140382148528912 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24095] ppid=24088 vsize=10551156 memory=139952021921704 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24095/stat : 24095 (java) S 24088 24091 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111363963 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140381795462032 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24096] ppid=24088 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24096/stat : 24096 (java) S 24088 24091 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111363963 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140381794409488 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24097] ppid=24088 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24097/stat : 24097 (java) S 24088 24091 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111363963 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140381793356944 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24098] ppid=24088 vsize=10551156 memory=139952020956800 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24098/stat : 24098 (java) S 24088 24091 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111363964 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140381749454832 140382185433730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24099] ppid=24088 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24099/stat : 24099 (java) S 24088 24091 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111363965 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140381748401056 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24100] ppid=24088 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24100/stat : 24100 (java) S 24088 24091 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111363965 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140381747348464 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24101] ppid=24088 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24101/stat : 24101 (java) S 24088 24091 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111363967 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140381746297040 140382185441179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24102] ppid=24088 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24102/stat : 24102 (java) S 24088 24091 8289 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 111363967 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140381677152752 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24103] ppid=24088 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24103/stat : 24103 (java) S 24088 24091 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111363967 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140381676100208 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24104] ppid=24088 vsize=10551156 memory=139952020956800 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24104/stat : 24104 (java) S 24088 24091 8289 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 111363967 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140381675047664 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24105] ppid=24088 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24105/stat : 24105 (java) S 24088 24091 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111363967 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140381673995360 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24106] ppid=24088 vsize=10551156 memory=139952020956800 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24106/stat : 24106 (java) S 24088 24091 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111363975 10804383744 6046 18446744073709551615 4194304 4196468 140724040904240 140381672941872 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 24184 KiB
[startup+0.310626 s]*
/proc/loadavg: 2.81 2.33 2.41 3/218 24106
/proc/meminfo: memFree=24585228/32770624 swapFree=67108860/67108860
[pid=24091] ppid=24088 vsize=10551156 memory=36248 CPUtime=0.23 cores=0,2,4,6
/proc/24091/stat : 24091 (java) S 24088 24091 8289 0 -1 1077944320 8322 0 0 0 20 3 0 0 20 0 15 0 111363955 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140724040886784 140382185422583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
/proc/24091/statm: 2637789 9062 2866 1 0 2627261 0
[pid=24091/tid=24093] ppid=24088 vsize=10551156 memory=8316850467074736180 CPUtime=0.15 cores=0,2,4,6
/proc/24091/task/24093/stat : 24093 (java) R 24088 24091 8289 0 -1 4202560 5974 0 0 0 13 2 0 0 20 0 15 0 111363962 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140382189634416 140382165045511 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24094] ppid=24088 vsize=10551156 memory=8293 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24094/stat : 24094 (java) S 24088 24091 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111363963 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140382148528912 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24095] ppid=24088 vsize=10551156 memory=139952021921704 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24095/stat : 24095 (java) S 24088 24091 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111363963 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140381795462032 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24096] ppid=24088 vsize=10551156 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24096/stat : 24096 (java) S 24088 24091 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111363963 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140381794409488 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24097] ppid=24088 vsize=10551156 memory=3472323898181169199 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24097/stat : 24097 (java) S 24088 24091 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111363963 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140381793356944 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24098] ppid=24088 vsize=10551156 memory=3471342348341794480 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24098/stat : 24098 (java) S 24088 24091 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111363964 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140381749454832 140382185433730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24099] ppid=24088 vsize=10551156 memory=6879655668675933547 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24099/stat : 24099 (java) S 24088 24091 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111363965 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140381748401056 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24100] ppid=24088 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24100/stat : 24100 (java) S 24088 24091 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111363965 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140381747348464 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24101] ppid=24088 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24101/stat : 24101 (java) S 24088 24091 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111363967 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140381746297040 140382185441179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24102] ppid=24088 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24091/task/24102/stat : 24102 (java) S 24088 24091 8289 0 -1 1077944384 476 0 0 0 1 0 0 0 20 0 15 0 111363967 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140381677152752 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24103] ppid=24088 vsize=10551156 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/24091/task/24103/stat : 24103 (java) S 24088 24091 8289 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 15 0 111363967 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140381676100208 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24104] ppid=24088 vsize=10551156 memory=7599809702045096675 CPUtime=0.03 cores=0,2,4,6
/proc/24091/task/24104/stat : 24104 (java) S 24088 24091 8289 0 -1 1077944384 400 0 0 0 3 0 0 0 20 0 15 0 111363967 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140381675047664 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24105] ppid=24088 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24105/stat : 24105 (java) S 24088 24091 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111363967 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140381673995360 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24106] ppid=24088 vsize=10551156 memory=139952020956800 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24106/stat : 24106 (java) S 24088 24091 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111363975 10804383744 9062 18446744073709551615 4194304 4196468 140724040904240 140381672941872 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36248 KiB
[startup+0.703353 s]
/proc/loadavg: 2.81 2.33 2.41 3/218 24106
/proc/meminfo: memFree=24577344/32770624 swapFree=67108860/67108860
[pid=24091] ppid=24088 vsize=10551232 memory=93556 CPUtime=1.27 cores=0,2,4,6
/proc/24091/stat : 24091 (java) S 24088 24091 8289 0 -1 1077944320 15086 0 0 0 121 6 0 0 20 0 15 0 111363955 10804461568 23389 18446744073709551615 4194304 4196468 140724040904240 140724040886784 140382185422583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
/proc/24091/statm: 2637808 23389 3057 1 0 2627261 0
[pid=24091/tid=24093] ppid=24088 vsize=10551232 memory=956 CPUtime=0.54 cores=0,2,4,6
/proc/24091/task/24093/stat : 24093 (java) R 24088 24091 8289 0 -1 4202560 7504 0 0 0 50 4 0 0 20 0 15 0 111363962 10804461568 23389 18446744073709551615 4194304 4196468 140724040904240 140382189658672 140381828705672 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24094] ppid=24088 vsize=10551232 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24094/stat : 24094 (java) S 24088 24091 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111363963 10804461568 23389 18446744073709551615 4194304 4196468 140724040904240 140382148528912 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24095] ppid=24088 vsize=10551232 memory=4288 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24095/stat : 24095 (java) S 24088 24091 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111363963 10804461568 23389 18446744073709551615 4194304 4196468 140724040904240 140381795462032 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24096] ppid=24088 vsize=10551232 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24096/stat : 24096 (java) S 24088 24091 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111363963 10804461568 23389 18446744073709551615 4194304 4196468 140724040904240 140381794409488 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24097] ppid=24088 vsize=10551232 memory=928 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24097/stat : 24097 (java) S 24088 24091 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111363963 10804461568 23389 18446744073709551615 4194304 4196468 140724040904240 140381793356944 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24098] ppid=24088 vsize=10551232 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24098/stat : 24098 (java) S 24088 24091 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 111363964 10804461568 23389 18446744073709551615 4194304 4196468 140724040904240 140381749454832 140382185433730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24099] ppid=24088 vsize=10551232 memory=33 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24099/stat : 24099 (java) S 24088 24091 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111363965 10804461568 23389 18446744073709551615 4194304 4196468 140724040904240 140381748401056 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24100] ppid=24088 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24100/stat : 24100 (java) S 24088 24091 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111363965 10804461568 23389 18446744073709551615 4194304 4196468 140724040904240 140381747348464 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24101] ppid=24088 vsize=10551232 memory=737 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24101/stat : 24101 (java) S 24088 24091 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111363967 10804461568 23389 18446744073709551615 4194304 4196468 140724040904240 140381746297040 140382185441179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24102] ppid=24088 vsize=10551232 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/24091/task/24102/stat : 24102 (java) R 24088 24091 8289 0 -1 4202560 1987 0 0 0 21 0 0 0 20 0 15 0 111363967 10804461568 23389 18446744073709551615 4194304 4196468 140724040904240 140381677145240 140382169811476 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24103] ppid=24088 vsize=10551232 memory=844 CPUtime=0.21 cores=0,2,4,6
/proc/24091/task/24103/stat : 24103 (java) R 24088 24091 8289 0 -1 4202560 1611 0 0 0 20 1 0 0 20 0 15 0 111363967 10804461568 23389 18446744073709551615 4194304 4196468 140724040904240 140381676080424 140382168919266 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24104] ppid=24088 vsize=10551232 memory=18484 CPUtime=0.29 cores=0,2,4,6
/proc/24091/task/24104/stat : 24104 (java) S 24088 24091 8289 0 -1 1077944384 2611 0 0 0 29 0 0 0 20 0 15 0 111363967 10804461568 23389 18446744073709551615 4194304 4196468 140724040904240 140381675047664 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24105] ppid=24088 vsize=10551232 memory=3912 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24105/stat : 24105 (java) S 24088 24091 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111363967 10804461568 23901 18446744073709551615 4194304 4196468 140724040904240 140381673995360 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24106] ppid=24088 vsize=10551232 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24106/stat : 24106 (java) S 24088 24091 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111363975 10804461568 23901 18446744073709551615 4194304 4196468 140724040904240 140381672941872 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 93556 KiB
[startup+1.5008 s]
/proc/loadavg: 2.81 2.33 2.41 5/219 24107
/proc/meminfo: memFree=24517324/32770624 swapFree=67108860/67108860
[pid=24091] ppid=24088 vsize=10617796 memory=110160 CPUtime=3.31 cores=0,2,4,6
/proc/24091/stat : 24091 (java) S 24088 24091 8289 0 -1 1077944320 20728 0 0 0 325 6 0 0 20 0 16 0 111363955 10872623104 27540 18446744073709551615 4194304 4196468 140724040904240 140724040886784 140382185422583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
/proc/24091/statm: 2654449 27540 3073 1 0 2643902 0
[pid=24091/tid=24093] ppid=24088 vsize=10617796 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/24091/task/24093/stat : 24093 (java) R 24088 24091 8289 0 -1 4202560 7826 0 0 0 129 4 0 0 20 0 16 0 111363962 10872623104 27540 18446744073709551615 4194304 4196468 140724040904240 140382189661240 140381829941218 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24094] ppid=24088 vsize=10617796 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24094/stat : 24094 (java) S 24088 24091 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 111363963 10872623104 27540 18446744073709551615 4194304 4196468 140724040904240 140382148528912 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24095] ppid=24088 vsize=10617796 memory=105032 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24095/stat : 24095 (java) S 24088 24091 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 111363963 10872623104 27540 18446744073709551615 4194304 4196468 140724040904240 140381795462032 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24096] ppid=24088 vsize=10617796 memory=18484 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24096/stat : 24096 (java) S 24088 24091 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 111363963 10872623104 27540 18446744073709551615 4194304 4196468 140724040904240 140381794409488 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24097] ppid=24088 vsize=10617796 memory=3912 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24097/stat : 24097 (java) S 24088 24091 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 111363963 10872623104 27540 18446744073709551615 4194304 4196468 140724040904240 140381793356944 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24098] ppid=24088 vsize=10617796 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24098/stat : 24098 (java) S 24088 24091 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 111363964 10872623104 27540 18446744073709551615 4194304 4196468 140724040904240 140381749454832 140382185433730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24099] ppid=24088 vsize=10617796 memory=279903824228960 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24099/stat : 24099 (java) S 24088 24091 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 111363965 10872623104 27540 18446744073709551615 4194304 4196468 140724040904240 140381748401056 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24100] ppid=24088 vsize=10617796 memory=7597397119297939305 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24100/stat : 24100 (java) S 24088 24091 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 111363965 10872623104 27540 18446744073709551615 4194304 4196468 140724040904240 140381747348464 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24101] ppid=24088 vsize=10617796 memory=7597397119297939305 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24101/stat : 24101 (java) S 24088 24091 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111363967 10872623104 27540 18446744073709551615 4194304 4196468 140724040904240 140381746297040 140382185441179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24102] ppid=24088 vsize=10617796 memory=7597397119297939305 CPUtime=0.82 cores=0,2,4,6
/proc/24091/task/24102/stat : 24102 (java) R 24088 24091 8289 0 -1 4202560 4796 0 0 0 82 0 0 0 20 0 16 0 111363967 10872623104 27540 18446744073709551615 4194304 4196468 140724040904240 140381677152752 140382170548993 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24103] ppid=24088 vsize=10617796 memory=7597397119297939305 CPUtime=0.77 cores=0,2,4,6
/proc/24091/task/24103/stat : 24103 (java) R 24088 24091 8289 0 -1 4202560 3725 0 0 0 76 1 0 0 20 0 16 0 111363967 10872623104 27540 18446744073709551615 4194304 4196468 140724040904240 140381676100208 140382162926688 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24104] ppid=24088 vsize=10617796 memory=7597397119297939305 CPUtime=0.36 cores=0,2,4,6
/proc/24091/task/24104/stat : 24104 (java) S 24088 24091 8289 0 -1 1077944384 2973 0 0 0 36 0 0 0 20 0 16 0 111363967 10872623104 27540 18446744073709551615 4194304 4196468 140724040904240 140381675047664 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
################
# More data... #
################
/proc/24091/task/24095/stat : 24095 (java) S 24088 24091 8289 0 -1 1077944384 4369 0 0 0 62 15 0 0 20 0 16 0 111363963 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381795462032 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24096] ppid=24088 vsize=10617796 memory=716100 CPUtime=0.76 cores=0,2,4,6
/proc/24091/task/24096/stat : 24096 (java) S 24088 24091 8289 0 -1 1077944384 2721 0 0 0 61 15 0 0 20 0 16 0 111363963 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381794409488 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24097] ppid=24088 vsize=10617796 memory=716100 CPUtime=0.76 cores=0,2,4,6
/proc/24091/task/24097/stat : 24097 (java) S 24088 24091 8289 0 -1 1077944384 3761 0 0 0 61 15 0 0 20 0 16 0 111363963 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381793356944 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24098] ppid=24088 vsize=10617796 memory=716100 CPUtime=0.12 cores=0,2,4,6
/proc/24091/task/24098/stat : 24098 (java) S 24088 24091 8289 0 -1 1077944384 8059 0 0 0 9 3 0 0 20 0 16 0 111363964 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381749454832 140382185433730 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24099] ppid=24088 vsize=10617796 memory=716100 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24099/stat : 24099 (java) S 24088 24091 8289 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 16 0 111363965 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381748401056 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24100] ppid=24088 vsize=10617796 memory=716100 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24100/stat : 24100 (java) S 24088 24091 8289 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 111363965 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381747348464 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24101] ppid=24088 vsize=10617796 memory=716100 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24101/stat : 24101 (java) S 24088 24091 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111363967 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381746297040 140382185441179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24102] ppid=24088 vsize=10617796 memory=4168 CPUtime=1.13 cores=0,2,4,6
/proc/24091/task/24102/stat : 24102 (java) S 24088 24091 8289 0 -1 1077944384 6228 0 0 0 112 1 0 0 20 0 16 0 111363967 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381677152752 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24103] ppid=24088 vsize=10617796 memory=716100 CPUtime=1.13 cores=0,2,4,6
/proc/24091/task/24103/stat : 24103 (java) S 24088 24091 8289 0 -1 1077944384 4647 0 0 0 112 1 0 0 20 0 16 0 111363967 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381676100208 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24104] ppid=24088 vsize=10617796 memory=4168 CPUtime=0.4 cores=0,2,4,6
/proc/24091/task/24104/stat : 24104 (java) S 24088 24091 8289 0 -1 1077944384 4006 0 0 0 39 1 0 0 20 0 16 0 111363967 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381675047664 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24105] ppid=24088 vsize=10617796 memory=54020 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24105/stat : 24105 (java) S 24088 24091 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111363967 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381673995360 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24106] ppid=24088 vsize=10617796 memory=1296 CPUtime=1.4 cores=0,2,4,6
/proc/24091/task/24106/stat : 24106 (java) S 24088 24091 8289 0 -1 1077944384 2203 0 0 0 71 69 0 0 20 0 16 0 111363975 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381672941872 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24107] ppid=24088 vsize=10617796 memory=716100 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24107/stat : 24107 (java) S 24088 24091 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 111364029 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381671887664 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
Current children cumulated CPU time: 2508.6 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 716100 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.7 s]
/proc/loadavg: 3.17 4.25 3.99 6/215 24533
/proc/meminfo: memFree=22353788/32770624 swapFree=67108860/67108860
[pid=24091] ppid=24088 vsize=10617796 memory=716100 CPUtime=2520.01 cores=0,2,4,6
/proc/24091/stat : 24091 (java) S 24088 24091 8289 0 -1 1077944320 63145 0 0 0 251873 128 0 0 20 0 16 0 111363955 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140724040886784 140382185422583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
/proc/24091/statm: 2654449 179025 3134 1 0 2643902 0
[pid=24091/tid=24093] ppid=24088 vsize=10617796 memory=716100 CPUtime=2512.68 cores=0,2,4,6
/proc/24091/task/24093/stat : 24093 (java) R 24088 24091 8289 0 -1 4202560 22306 0 0 0 251261 7 0 0 20 0 16 0 111363962 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140382189661536 140381829941171 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24094] ppid=24088 vsize=10617796 memory=716100 CPUtime=0.76 cores=0,2,4,6
/proc/24091/task/24094/stat : 24094 (java) S 24088 24091 8289 0 -1 1077944384 3330 0 0 0 61 15 0 0 20 0 16 0 111363963 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140382148528912 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24095] ppid=24088 vsize=10617796 memory=716100 CPUtime=0.77 cores=0,2,4,6
/proc/24091/task/24095/stat : 24095 (java) S 24088 24091 8289 0 -1 1077944384 4369 0 0 0 62 15 0 0 20 0 16 0 111363963 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381795462032 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24096] ppid=24088 vsize=10617796 memory=716100 CPUtime=0.76 cores=0,2,4,6
/proc/24091/task/24096/stat : 24096 (java) S 24088 24091 8289 0 -1 1077944384 2721 0 0 0 61 15 0 0 20 0 16 0 111363963 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381794409488 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24097] ppid=24088 vsize=10617796 memory=716100 CPUtime=0.76 cores=0,2,4,6
/proc/24091/task/24097/stat : 24097 (java) S 24088 24091 8289 0 -1 1077944384 3761 0 0 0 61 15 0 0 20 0 16 0 111363963 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381793356944 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24098] ppid=24088 vsize=10617796 memory=716100 CPUtime=0.12 cores=0,2,4,6
/proc/24091/task/24098/stat : 24098 (java) S 24088 24091 8289 0 -1 1077944384 8060 0 0 0 9 3 0 0 20 0 16 0 111363964 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381749454832 140382185433730 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24099] ppid=24088 vsize=10617796 memory=716100 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24099/stat : 24099 (java) S 24088 24091 8289 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 16 0 111363965 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381748401056 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24100] ppid=24088 vsize=10617796 memory=716100 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24100/stat : 24100 (java) S 24088 24091 8289 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 111363965 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381747348464 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24101] ppid=24088 vsize=10617796 memory=716100 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24101/stat : 24101 (java) S 24088 24091 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111363967 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381746297040 140382185441179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24102] ppid=24088 vsize=10617796 memory=716100 CPUtime=1.13 cores=0,2,4,6
/proc/24091/task/24102/stat : 24102 (java) S 24088 24091 8289 0 -1 1077944384 6230 0 0 0 112 1 0 0 20 0 16 0 111363967 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381677152752 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24103] ppid=24088 vsize=10617796 memory=716100 CPUtime=1.13 cores=0,2,4,6
/proc/24091/task/24103/stat : 24103 (java) S 24088 24091 8289 0 -1 1077944384 4649 0 0 0 112 1 0 0 20 0 16 0 111363967 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381676100208 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24104] ppid=24088 vsize=10617796 memory=279903825271392 CPUtime=0.4 cores=0,2,4,6
/proc/24091/task/24104/stat : 24104 (java) S 24088 24091 8289 0 -1 1077944384 4009 0 0 0 39 1 0 0 20 0 16 0 111363967 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381675047664 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24105] ppid=24088 vsize=10617796 memory=7451597475098222932 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24105/stat : 24105 (java) S 24088 24091 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111363967 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381673995360 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24106] ppid=24088 vsize=10617796 memory=716100 CPUtime=1.4 cores=0,2,4,6
/proc/24091/task/24106/stat : 24106 (java) S 24088 24091 8289 0 -1 1077944384 2232 0 0 0 71 69 0 0 20 0 16 0 111363975 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381672941872 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24107] ppid=24088 vsize=10617796 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24107/stat : 24107 (java) S 24088 24091 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 111364029 10872623104 179025 18446744073709551615 4194304 4196468 140724040904240 140381671887664 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 716100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.95 s]
# the end of solver process 24091 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.9 s, system=1.29222 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.81 s]
/proc/loadavg: 3.17 4.25 3.99 6/215 24533
/proc/meminfo: memFree=22353788/32770624 swapFree=67108860/67108860
[pid=24091] ppid=24088 vsize=10817488 memory=716360 CPUtime=2520.12 cores=0,2,4,6
/proc/24091/stat : 24091 (java) S 24088 24091 8289 0 -1 1077944320 64246 0 0 0 251884 128 0 0 20 0 17 0 111363955 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140724040886784 140382185422583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
/proc/24091/statm: 2704372 179090 3137 1 0 2693825 0
[pid=24091/tid=24093] ppid=24088 vsize=10817488 memory=1792 CPUtime=2512.69 cores=0,2,4,6
/proc/24091/task/24093/stat : 24093 (java) S 24088 24091 8289 0 -1 1077944384 22356 0 0 0 251262 7 0 0 20 0 17 0 111363962 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140382189665456 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24094] ppid=24088 vsize=10817488 memory=956 CPUtime=0.79 cores=0,2,4,6
/proc/24091/task/24094/stat : 24094 (java) S 24088 24091 8289 0 -1 1077944384 3378 0 0 0 64 15 0 0 20 0 17 0 111363963 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140382148528912 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24095] ppid=24088 vsize=10817488 memory=-8774313645642428999 CPUtime=0.79 cores=0,2,4,6
/proc/24091/task/24095/stat : 24095 (java) S 24088 24091 8289 0 -1 1077944384 4713 0 0 0 64 15 0 0 20 0 17 0 111363963 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381795462032 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24096] ppid=24088 vsize=10817488 memory=1436 CPUtime=0.79 cores=0,2,4,6
/proc/24091/task/24096/stat : 24096 (java) S 24088 24091 8289 0 -1 1077944384 2747 0 0 0 64 15 0 0 20 0 17 0 111363963 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381794409488 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24097] ppid=24088 vsize=10817488 memory=1200 CPUtime=0.78 cores=0,2,4,6
/proc/24091/task/24097/stat : 24097 (java) S 24088 24091 8289 0 -1 1077944384 3805 0 0 0 63 15 0 0 20 0 17 0 111363963 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381793356944 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24098] ppid=24088 vsize=10817488 memory=15876 CPUtime=0.12 cores=0,2,4,6
/proc/24091/task/24098/stat : 24098 (java) S 24088 24091 8289 0 -1 1077944384 8197 0 0 0 9 3 0 0 20 0 17 0 111363964 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381749454832 140382185433730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24099] ppid=24088 vsize=10817488 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24099/stat : 24099 (java) S 24088 24091 8289 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 17 0 111363965 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381748401056 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24100] ppid=24088 vsize=10817488 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24100/stat : 24100 (java) S 24088 24091 8289 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 17 0 111363965 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381747348464 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24101] ppid=24088 vsize=10817488 memory=4068 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24101/stat : 24101 (java) S 24088 24091 8289 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 17 0 111363967 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381746297040 140382185441179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24102] ppid=24088 vsize=10817488 memory=1398720917958146503 CPUtime=1.13 cores=0,2,4,6
/proc/24091/task/24102/stat : 24102 (java) S 24088 24091 8289 0 -1 1077944384 6230 0 0 0 112 1 0 0 20 0 17 0 111363967 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381677152752 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24103] ppid=24088 vsize=10817488 memory=2164 CPUtime=1.13 cores=0,2,4,6
/proc/24091/task/24103/stat : 24103 (java) S 24088 24091 8289 0 -1 1077944384 4704 0 0 0 112 1 0 0 20 0 17 0 111363967 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381676100208 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24104] ppid=24088 vsize=10817488 memory=928 CPUtime=0.4 cores=0,2,4,6
/proc/24091/task/24104/stat : 24104 (java) S 24088 24091 8289 0 -1 1077944384 4066 0 0 0 39 1 0 0 20 0 17 0 111363967 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381675047664 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24105] ppid=24088 vsize=10817488 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24105/stat : 24105 (java) S 24088 24091 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 111363967 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381673995360 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24106] ppid=24088 vsize=10817488 memory=792 CPUtime=1.4 cores=0,2,4,6
/proc/24091/task/24106/stat : 24106 (java) S 24088 24091 8289 0 -1 1077944384 2232 0 0 0 71 69 0 0 20 0 17 0 111363975 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381672941872 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
Current children cumulated CPU time: 2520.12 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 716360 KiB
[startup+2513.9 s]
/proc/loadavg: 3.17 4.25 3.99 6/215 24533
/proc/meminfo: memFree=22353788/32770624 swapFree=67108860/67108860
[pid=24091] ppid=24088 vsize=10817488 memory=716360 CPUtime=2520.12 cores=0,2,4,6
/proc/24091/stat : 24091 (java) S 24088 24091 8289 0 -1 1077944320 64246 0 0 0 251884 128 0 0 20 0 17 0 111363955 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140724040886784 140382185422583 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
/proc/24091/statm: 2704372 179090 3137 1 0 2693825 0
[pid=24091/tid=24093] ppid=24088 vsize=10817488 memory=716100 CPUtime=2512.69 cores=0,2,4,6
/proc/24091/task/24093/stat : 24093 (java) S 24088 24091 8289 0 -1 1077944384 22356 0 0 0 251262 7 0 0 20 0 17 0 111363962 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140382189665456 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24094] ppid=24088 vsize=10817488 memory=716100 CPUtime=0.79 cores=0,2,4,6
/proc/24091/task/24094/stat : 24094 (java) S 24088 24091 8289 0 -1 1077944384 3378 0 0 0 64 15 0 0 20 0 17 0 111363963 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140382148528912 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24095] ppid=24088 vsize=10817488 memory=716100 CPUtime=0.79 cores=0,2,4,6
/proc/24091/task/24095/stat : 24095 (java) S 24088 24091 8289 0 -1 1077944384 4713 0 0 0 64 15 0 0 20 0 17 0 111363963 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381795462032 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24096] ppid=24088 vsize=10817488 memory=716100 CPUtime=0.79 cores=0,2,4,6
/proc/24091/task/24096/stat : 24096 (java) S 24088 24091 8289 0 -1 1077944384 2747 0 0 0 64 15 0 0 20 0 17 0 111363963 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381794409488 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24097] ppid=24088 vsize=10817488 memory=716100 CPUtime=0.78 cores=0,2,4,6
/proc/24091/task/24097/stat : 24097 (java) S 24088 24091 8289 0 -1 1077944384 3805 0 0 0 63 15 0 0 20 0 17 0 111363963 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381793356944 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24098] ppid=24088 vsize=10817488 memory=716100 CPUtime=0.12 cores=0,2,4,6
/proc/24091/task/24098/stat : 24098 (java) S 24088 24091 8289 0 -1 1077944384 8197 0 0 0 9 3 0 0 20 0 17 0 111363964 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381749454832 140382185433730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24099] ppid=24088 vsize=10817488 memory=716100 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24099/stat : 24099 (java) S 24088 24091 8289 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 17 0 111363965 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381748401056 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24100] ppid=24088 vsize=10817488 memory=716100 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24100/stat : 24100 (java) S 24088 24091 8289 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 17 0 111363965 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381747348464 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24101] ppid=24088 vsize=10817488 memory=716100 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24101/stat : 24101 (java) S 24088 24091 8289 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 17 0 111363967 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381746297040 140382185441179 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24102] ppid=24088 vsize=10817488 memory=716100 CPUtime=1.13 cores=0,2,4,6
/proc/24091/task/24102/stat : 24102 (java) S 24088 24091 8289 0 -1 1077944384 6230 0 0 0 112 1 0 0 20 0 17 0 111363967 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381677152752 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24103] ppid=24088 vsize=10817488 memory=716100 CPUtime=1.13 cores=0,2,4,6
/proc/24091/task/24103/stat : 24103 (java) S 24088 24091 8289 0 -1 1077944384 4704 0 0 0 112 1 0 0 20 0 17 0 111363967 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381676100208 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24104] ppid=24088 vsize=10817488 memory=716100 CPUtime=0.4 cores=0,2,4,6
/proc/24091/task/24104/stat : 24104 (java) S 24088 24091 8289 0 -1 1077944384 4066 0 0 0 39 1 0 0 20 0 17 0 111363967 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381675047664 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24105] ppid=24088 vsize=10817488 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/24091/task/24105/stat : 24105 (java) S 24088 24091 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 111363967 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381673995360 140382185432789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
[pid=24091/tid=24106] ppid=24088 vsize=10817488 memory=279903825271392 CPUtime=1.4 cores=0,2,4,6
/proc/24091/task/24106/stat : 24106 (java) S 24088 24091 8289 0 -1 1077944384 2232 0 0 0 71 69 0 0 20 0 17 0 111363975 11077107712 179090 18446744073709551615 4194304 4196468 140724040904240 140381672941872 140382185433730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32169984 140724040905104 140724040905257 140724040905257 140724040908751 0
Current children cumulated CPU time: 2520.12 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 716360 KiB
Child status: 143
Real time (s): 2513.96
CPU time (s): 2520.19
CPU user time (s): 2518.9
CPU system time (s): 1.29222
CPU usage (%): 100.248
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 716360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.9
system time used= 1.29222
maximum resident set size= 716668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64470
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56811
involuntary context switches= 2223
# summary of solver processes directly reported to runsolver:
# pid: 24091
# total CPU time (s): 2520.19
# total CPU user time (s): 2518.9
# total CPU system time (s): 1.29222
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9728 second user time and 23.7784 second system time
The end