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 (13175 MiB free)
memory of node 1: 16384 MiB (15429 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263395-1502629011/watcher-4263395-1502629011 -o /tmp/evaluation-result-4263395-1502629011/solver-4263395-1502629011 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502623975-28611 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263395-1502629011.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29548, runsolver pid=29545
[startup+0.100141 s]*
/proc/loadavg: 2.03 2.03 2.15 3/204 29557
/proc/meminfo: memFree=29280164/32770624 swapFree=67108860/67108860
[pid=29548] ppid=29545 vsize=10417928 memory=21204 CPUtime=0.04 cores=1,3,5,7
/proc/29548/stat : 29548 (java) S 29545 29548 897 0 -1 1077944320 4241 0 0 0 3 1 0 0 20 0 13 0 65121813 10667958272 5235 18446744073709551615 4194304 4196468 140722979847648 140722979830192 140538982268663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
/proc/29548/statm: 2604482 5235 2260 1 0 2593979 0
[pid=29548/tid=29550] ppid=29545 vsize=10417928 memory=8390339637985935414 CPUtime=0.03 cores=1,3,5,7
/proc/29548/task/29550/stat : 29550 (java) R 29545 29548 897 0 -1 4202560 2668 0 0 0 3 0 0 0 20 0 13 0 65121819 10667958272 5367 18446744073709551615 4194304 4196468 140722979847648 140538986504472 140538982290589 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29551] ppid=29545 vsize=10417928 memory=288230591823085591 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29551/stat : 29551 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 65121819 10667958272 5433 18446744073709551615 4194304 4196468 140722979847648 140538923305616 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29552] ppid=29545 vsize=10417928 memory=288370658612192896 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29552/stat : 29552 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 65121819 10667958272 5433 18446744073709551615 4194304 4196468 140722979847648 140538922252816 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29553] ppid=29545 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29553/stat : 29553 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 65121819 10667958272 5433 18446744073709551615 4194304 4196468 140722979847648 140538921200016 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29554] ppid=29545 vsize=10417928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29554/stat : 29554 (java) S 29545 29548 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 65121819 10667958272 5433 18446744073709551615 4194304 4196468 140722979847648 140538920147216 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29555] ppid=29545 vsize=10417928 memory=140282460481152 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29555/stat : 29555 (java) S 29545 29548 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 65121821 10667958272 5433 18446744073709551615 4194304 4196468 140722979847648 140538021702512 140538982279810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29556] ppid=29545 vsize=10417928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29556/stat : 29556 (java) S 29545 29548 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 65121821 10667958272 5433 18446744073709551615 4194304 4196468 140722979847648 140538020648480 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29557] ppid=29545 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29557/stat : 29557 (java) S 29545 29548 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 65121821 10667958272 5433 18446744073709551615 4194304 4196468 140722979847648 140538019595632 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29558] ppid=29545 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29558/stat : 29558 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 65121824 10667958272 5433 18446744073709551615 4194304 4196468 140722979847648 140538018543952 140538982287259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29559] ppid=29545 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29559/stat : 29559 (java) R 29545 29548 897 0 -1 4202560 274 0 0 0 0 0 0 0 20 0 13 0 65121824 10667958272 5433 18446744073709551615 4194304 4196468 140722979847648 140538017484888 140538962585529 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29560] ppid=29545 vsize=10417928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29560/stat : 29560 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 65121824 10667958272 5433 18446744073709551615 4194304 4196468 140722979847648 140538016438208 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29561] ppid=29545 vsize=10417928 memory=140282460481152 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29561/stat : 29561 (java) S 29545 29548 897 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 13 0 65121824 10667958272 5433 18446744073709551615 4194304 4196468 140722979847648 140538015385712 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10417928 KiB
Current children cumulated memory: 21204 KiB
[startup+0.213007 s]*
/proc/loadavg: 2.03 2.03 2.15 3/210 29563
/proc/meminfo: memFree=29270568/32770624 swapFree=67108860/67108860
[pid=29548] ppid=29545 vsize=10551156 memory=30072 CPUtime=0.15 cores=1,3,5,7
/proc/29548/stat : 29548 (java) S 29545 29548 897 0 -1 1077944320 7770 0 0 0 13 2 0 0 20 0 15 0 65121813 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140722979830192 140538982268663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
/proc/29548/statm: 2637789 7518 2803 1 0 2627261 0
[pid=29548/tid=29550] ppid=29545 vsize=10551156 memory=8318255677412212789 CPUtime=0.11 cores=1,3,5,7
/proc/29548/task/29550/stat : 29550 (java) R 29545 29548 897 0 -1 4202560 5607 0 0 0 9 2 0 0 20 0 15 0 65121819 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140538986479840 140538966349150 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29551] ppid=29545 vsize=10551156 memory=328 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29551/stat : 29551 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65121819 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140538923305616 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29552] ppid=29545 vsize=10551156 memory=288370658612192896 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29552/stat : 29552 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65121819 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140538922252816 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29553] ppid=29545 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29553/stat : 29553 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65121819 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140538921200016 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29554] ppid=29545 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29554/stat : 29554 (java) S 29545 29548 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65121819 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140538920147216 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29555] ppid=29545 vsize=10551156 memory=140282460481152 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29555/stat : 29555 (java) S 29545 29548 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65121821 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140538021702512 140538982279810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29556] ppid=29545 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29556/stat : 29556 (java) S 29545 29548 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65121821 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140538020648480 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29557] ppid=29545 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29557/stat : 29557 (java) S 29545 29548 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65121821 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140538019595632 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29558] ppid=29545 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29558/stat : 29558 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65121824 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140538018543952 140538982287259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29559] ppid=29545 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29559/stat : 29559 (java) S 29545 29548 897 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 65121824 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140538017491312 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29560] ppid=29545 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29560/stat : 29560 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65121824 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140538016438512 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29561] ppid=29545 vsize=10551156 memory=140282460481152 CPUtime=0.02 cores=1,3,5,7
/proc/29548/task/29561/stat : 29561 (java) S 29545 29548 897 0 -1 1077944384 378 0 0 0 2 0 0 0 20 0 15 0 65121824 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140538015385712 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29562] ppid=29545 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29562/stat : 29562 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65121824 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140538014333152 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29563] ppid=29545 vsize=10551156 memory=140282460481152 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29563/stat : 29563 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65121828 10804383744 7518 18446744073709551615 4194304 4196468 140722979847648 140538013281456 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30072 KiB
[startup+0.309904 s]*
/proc/loadavg: 2.03 2.03 2.15 3/210 29563
/proc/meminfo: memFree=29264976/32770624 swapFree=67108860/67108860
[pid=29548] ppid=29545 vsize=10551156 memory=37592 CPUtime=0.29 cores=1,3,5,7
/proc/29548/stat : 29548 (java) S 29545 29548 897 0 -1 1077944320 9326 0 0 0 26 3 0 0 20 0 15 0 65121813 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140722979830192 140538982268663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
/proc/29548/statm: 2637789 9398 2883 1 0 2627261 0
[pid=29548/tid=29550] ppid=29545 vsize=10551156 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7
/proc/29548/task/29550/stat : 29550 (java) R 29545 29548 897 0 -1 4202560 6939 0 0 0 18 2 0 0 20 0 15 0 65121819 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140538986500864 140538966312293 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29551] ppid=29545 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29551/stat : 29551 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65121819 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140538923305616 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29552] ppid=29545 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29552/stat : 29552 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65121819 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140538922252816 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29553] ppid=29545 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29553/stat : 29553 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65121819 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140538921200016 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29554] ppid=29545 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29554/stat : 29554 (java) S 29545 29548 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65121819 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140538920147216 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29555] ppid=29545 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29555/stat : 29555 (java) S 29545 29548 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65121821 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140538021702512 140538982279810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29556] ppid=29545 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29556/stat : 29556 (java) S 29545 29548 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65121821 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140538020648480 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29557] ppid=29545 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29557/stat : 29557 (java) S 29545 29548 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65121821 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140538019595632 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29558] ppid=29545 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29558/stat : 29558 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65121824 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140538018543952 140538982287259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29559] ppid=29545 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29548/task/29559/stat : 29559 (java) S 29545 29548 897 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 15 0 65121824 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140538017491312 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29560] ppid=29545 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29560/stat : 29560 (java) S 29545 29548 897 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 65121824 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140538016438512 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29561] ppid=29545 vsize=10551156 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/29548/task/29561/stat : 29561 (java) R 29545 29548 897 0 -1 4202560 431 0 0 0 5 0 0 0 20 0 15 0 65121824 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140538015385712 140538961226619 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29562] ppid=29545 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29562/stat : 29562 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65121824 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140538014333152 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29563] ppid=29545 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29563/stat : 29563 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65121828 10804383744 9398 18446744073709551615 4194304 4196468 140722979847648 140538013281456 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 37592 KiB
[startup+0.701301 s]
/proc/loadavg: 2.03 2.03 2.15 5/210 29563
/proc/meminfo: memFree=29239752/32770624 swapFree=67108860/67108860
[pid=29548] ppid=29545 vsize=10551232 memory=96208 CPUtime=1.26 cores=1,3,5,7
/proc/29548/stat : 29548 (java) S 29545 29548 897 0 -1 1077944320 13673 0 0 0 122 4 0 0 20 0 15 0 65121813 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140722979830192 140538982268663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
/proc/29548/statm: 2637808 24052 3051 1 0 2627261 0
[pid=29548/tid=29550] ppid=29545 vsize=10551232 memory=2316 CPUtime=0.58 cores=1,3,5,7
/proc/29548/task/29550/stat : 29550 (java) R 29545 29548 897 0 -1 4202560 7375 0 0 0 55 3 0 0 20 0 15 0 65121819 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140538986494128 140538966349150 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29551] ppid=29545 vsize=10551232 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29551/stat : 29551 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65121819 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140538923305616 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29552] ppid=29545 vsize=10551232 memory=33 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29552/stat : 29552 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65121819 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140538922252816 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29553] ppid=29545 vsize=10551232 memory=3762542493851407957 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29553/stat : 29553 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65121819 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140538921200016 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29554] ppid=29545 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29554/stat : 29554 (java) S 29545 29548 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65121819 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140538920147216 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29555] ppid=29545 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29555/stat : 29555 (java) S 29545 29548 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65121821 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140538021702512 140538982279810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29556] ppid=29545 vsize=10551232 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29556/stat : 29556 (java) S 29545 29548 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65121821 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140538020648480 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29557] ppid=29545 vsize=10551232 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29557/stat : 29557 (java) S 29545 29548 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65121821 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140538019595632 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29558] ppid=29545 vsize=10551232 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29558/stat : 29558 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65121824 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140538018543952 140538982287259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29559] ppid=29545 vsize=10551232 memory=1712 CPUtime=0.31 cores=1,3,5,7
/proc/29548/task/29559/stat : 29559 (java) R 29545 29548 897 0 -1 4202560 3067 0 0 0 31 0 0 0 20 0 15 0 65121824 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140538017477048 140538963788342 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29560] ppid=29545 vsize=10551232 memory=4616 CPUtime=0.2 cores=1,3,5,7
/proc/29548/task/29560/stat : 29560 (java) R 29545 29548 897 0 -1 1077944384 991 0 0 0 20 0 0 0 20 0 15 0 65121824 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140538016438512 140538982279810 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29561] ppid=29545 vsize=10551232 memory=1012 CPUtime=0.13 cores=1,3,5,7
/proc/29548/task/29561/stat : 29561 (java) R 29545 29548 897 0 -1 4202560 874 0 0 0 13 0 0 0 20 0 15 0 65121824 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140538015381440 140538982280598 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29562] ppid=29545 vsize=10551232 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29562/stat : 29562 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65121824 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140538014333152 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29563] ppid=29545 vsize=10551232 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29563/stat : 29563 (java) S 29545 29548 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65121828 10804461568 24052 18446744073709551615 4194304 4196468 140722979847648 140538013281456 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 96208 KiB
[startup+1.50172 s]
/proc/loadavg: 2.03 2.03 2.15 3/210 29563
/proc/meminfo: memFree=29063864/32770624 swapFree=67108860/67108860
[pid=29548] ppid=29545 vsize=10551232 memory=472044 CPUtime=3.04 cores=1,3,5,7
/proc/29548/stat : 29548 (java) S 29545 29548 897 0 -1 1077944320 15413 0 0 0 276 28 0 0 20 0 15 0 65121813 10804461568 118011 18446744073709551615 4194304 4196468 140722979847648 140722979830192 140538982268663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
/proc/29548/statm: 2637808 118011 3083 1 0 2627261 0
[pid=29548/tid=29550] ppid=29545 vsize=10551232 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/29548/task/29550/stat : 29550 (java) S 29545 29548 897 0 -1 1077944384 7544 0 0 0 111 5 0 0 20 0 15 0 65121819 10804461568 118011 18446744073709551615 4194304 4196468 140722979847648 140538986501648 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29551] ppid=29545 vsize=10551232 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/29548/task/29551/stat : 29551 (java) R 29545 29548 897 0 -1 4202560 174 0 0 0 16 5 0 0 20 0 15 0 65121819 10804461568 118011 18446744073709551615 4194304 4196468 140722979847648 140538923305816 140538967292718 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29552] ppid=29545 vsize=10551232 memory=34 CPUtime=0.21 cores=1,3,5,7
/proc/29548/task/29552/stat : 29552 (java) R 29545 29548 897 0 -1 4202560 147 0 0 0 16 5 0 0 20 0 15 0 65121819 10804461568 118011 18446744073709551615 4194304 4196468 140722979847648 140538922252816 140538967296537 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29553] ppid=29545 vsize=10551232 memory=17 CPUtime=0.2 cores=1,3,5,7
/proc/29548/task/29553/stat : 29553 (java) R 29545 29548 897 0 -1 4202560 171 0 0 0 15 5 0 0 20 0 15 0 65121819 10804461568 118011 18446744073709551615 4194304 4196468 140722979847648 140538921200216 140538975368363 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29554] ppid=29545 vsize=10551232 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/29548/task/29554/stat : 29554 (java) R 29545 29548 897 0 -1 4202560 155 0 0 0 16 4 0 0 20 0 15 0 65121819 10804461568 118011 18446744073709551615 4194304 4196468 140722979847648 140538920147104 140538967296537 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29555] ppid=29545 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29555/stat : 29555 (java) S 29545 29548 897 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 65121821 10804461568 118011 18446744073709551615 4194304 4196468 140722979847648 140538021701024 140538982278869 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29556] ppid=29545 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29556/stat : 29556 (java) S 29545 29548 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 65121821 10804461568 118011 18446744073709551615 4194304 4196468 140722979847648 140538020648480 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29557] ppid=29545 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29557/stat : 29557 (java) S 29545 29548 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 65121821 10804461568 118011 18446744073709551615 4194304 4196468 140722979847648 140538019595632 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
################
# More data... #
################
/proc/29548/task/29552/stat : 29552 (java) S 29545 29548 897 0 -1 1077944384 7663 0 0 0 406 78 0 0 20 0 16 0 65121819 10872623104 770569 18446744073709551615 4194304 4196468 140722979847648 140538922252816 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29553] ppid=29545 vsize=10617796 memory=3082276 CPUtime=4.87 cores=1,3,5,7
/proc/29548/task/29553/stat : 29553 (java) S 29545 29548 897 0 -1 1077944384 5899 0 0 0 410 77 0 0 20 0 16 0 65121819 10872623104 770569 18446744073709551615 4194304 4196468 140722979847648 140538921200016 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29554] ppid=29545 vsize=10617796 memory=3082276 CPUtime=4.85 cores=1,3,5,7
/proc/29548/task/29554/stat : 29554 (java) S 29545 29548 897 0 -1 1077944384 6419 0 0 0 408 77 0 0 20 0 16 0 65121819 10872623104 770569 18446744073709551615 4194304 4196468 140722979847648 140538920147216 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29555] ppid=29545 vsize=10617796 memory=3082276 CPUtime=1.27 cores=1,3,5,7
/proc/29548/task/29555/stat : 29555 (java) S 29545 29548 897 0 -1 1077944384 8888 0 0 0 123 4 0 0 20 0 16 0 65121821 10872623104 770569 18446744073709551615 4194304 4196468 140722979847648 140538021702512 140538982279810 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29556] ppid=29545 vsize=10617796 memory=3082276 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29556/stat : 29556 (java) S 29545 29548 897 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 65121821 10872623104 770569 18446744073709551615 4194304 4196468 140722979847648 140538020648544 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29557] ppid=29545 vsize=10617796 memory=280564579320096 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29557/stat : 29557 (java) S 29545 29548 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 65121821 10872623104 770569 18446744073709551615 4194304 4196468 140722979847648 140538019595648 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29558] ppid=29545 vsize=10617796 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29558/stat : 29558 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65121824 10872623104 770569 18446744073709551615 4194304 4196468 140722979847648 140538018543952 140538982287259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29559] ppid=29545 vsize=10617796 memory=3082276 CPUtime=1.31 cores=1,3,5,7
/proc/29548/task/29559/stat : 29559 (java) S 29545 29548 897 0 -1 1077944384 8551 0 0 0 130 1 0 0 20 0 16 0 65121824 10872623104 770569 18446744073709551615 4194304 4196468 140722979847648 140538017491312 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29560] ppid=29545 vsize=10617796 memory=3082276 CPUtime=1.01 cores=1,3,5,7
/proc/29548/task/29560/stat : 29560 (java) S 29545 29548 897 0 -1 1077944384 4729 0 0 0 100 1 0 0 20 0 16 0 65121824 10872623104 770569 18446744073709551615 4194304 4196468 140722979847648 140538016438512 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29561] ppid=29545 vsize=10617796 memory=4116 CPUtime=0.28 cores=1,3,5,7
/proc/29548/task/29561/stat : 29561 (java) S 29545 29548 897 0 -1 1077944384 3258 0 0 0 28 0 0 0 20 0 16 0 65121824 10872623104 770569 18446744073709551615 4194304 4196468 140722979847648 140538015385712 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29562] ppid=29545 vsize=10617796 memory=36936 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29562/stat : 29562 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65121824 10872623104 770569 18446744073709551615 4194304 4196468 140722979847648 140538014333152 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29563] ppid=29545 vsize=10617796 memory=3082276 CPUtime=1.41 cores=1,3,5,7
/proc/29548/task/29563/stat : 29563 (java) S 29545 29548 897 0 -1 1077944384 2434 0 0 0 71 70 0 0 20 0 16 0 65121828 10872623104 770569 18446744073709551615 4194304 4196468 140722979847648 140538013281456 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29564] ppid=29545 vsize=10617796 memory=3082276 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29564/stat : 29564 (java) S 29545 29548 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 65122113 10872623104 770569 18446744073709551615 4194304 4196468 140722979847648 140538012226992 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
Current children cumulated CPU time: 2460.96 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3082276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499.3 s]
/proc/loadavg: 2.28 2.02 1.98 3/211 29831
/proc/meminfo: memFree=27555484/32770624 swapFree=67108860/67108860
[pid=29548] ppid=29545 vsize=10617796 memory=3138736 CPUtime=2520.06 cores=1,3,5,7
/proc/29548/stat : 29548 (java) S 29545 29548 897 0 -1 1077944320 133339 0 0 0 251604 402 0 0 20 0 16 0 65121813 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140722979830192 140538982268663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
/proc/29548/statm: 2654449 784684 3127 1 0 2643902 0
[pid=29548/tid=29550] ppid=29545 vsize=10617796 memory=3138736 CPUtime=2492.48 cores=1,3,5,7
/proc/29548/task/29550/stat : 29550 (java) R 29545 29548 897 0 -1 4202560 73009 0 0 0 249232 16 0 0 20 0 16 0 65121819 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538986507536 140538597819756 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29551] ppid=29545 vsize=10617796 memory=3138736 CPUtime=5.5 cores=1,3,5,7
/proc/29548/task/29551/stat : 29551 (java) S 29545 29548 897 0 -1 1077944384 6148 0 0 0 472 78 0 0 20 0 16 0 65121819 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538923305616 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29552] ppid=29545 vsize=10617796 memory=3138736 CPUtime=5.53 cores=1,3,5,7
/proc/29548/task/29552/stat : 29552 (java) S 29545 29548 897 0 -1 1077944384 8629 0 0 0 473 80 0 0 20 0 16 0 65121819 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538922252816 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29553] ppid=29545 vsize=10617796 memory=3138736 CPUtime=5.57 cores=1,3,5,7
/proc/29548/task/29553/stat : 29553 (java) S 29545 29548 897 0 -1 1077944384 6254 0 0 0 478 79 0 0 20 0 16 0 65121819 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538921200016 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29554] ppid=29545 vsize=10617796 memory=3138736 CPUtime=5.54 cores=1,3,5,7
/proc/29548/task/29554/stat : 29554 (java) S 29545 29548 897 0 -1 1077944384 7030 0 0 0 476 78 0 0 20 0 16 0 65121819 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538920147216 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29555] ppid=29545 vsize=10617796 memory=3125300 CPUtime=1.32 cores=1,3,5,7
/proc/29548/task/29555/stat : 29555 (java) S 29545 29548 897 0 -1 1077944384 11832 0 0 0 128 4 0 0 20 0 16 0 65121821 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538021702512 140538982279810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29556] ppid=29545 vsize=10617796 memory=3138736 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29556/stat : 29556 (java) S 29545 29548 897 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 65121821 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538020648544 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29557] ppid=29545 vsize=10617796 memory=3138736 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29557/stat : 29557 (java) S 29545 29548 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 65121821 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538019595648 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29558] ppid=29545 vsize=10617796 memory=3138736 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29558/stat : 29558 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65121824 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538018543952 140538982287259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29559] ppid=29545 vsize=10617796 memory=5788 CPUtime=1.31 cores=1,3,5,7
/proc/29548/task/29559/stat : 29559 (java) S 29545 29548 897 0 -1 1077944384 8555 0 0 0 130 1 0 0 20 0 16 0 65121824 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538017491312 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29560] ppid=29545 vsize=10617796 memory=3138736 CPUtime=1.01 cores=1,3,5,7
/proc/29548/task/29560/stat : 29560 (java) S 29545 29548 897 0 -1 1077944384 4738 0 0 0 100 1 0 0 20 0 16 0 65121824 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538016438512 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29561] ppid=29545 vsize=10617796 memory=3138736 CPUtime=0.28 cores=1,3,5,7
/proc/29548/task/29561/stat : 29561 (java) S 29545 29548 897 0 -1 1077944384 3262 0 0 0 28 0 0 0 20 0 16 0 65121824 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538015385712 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29562] ppid=29545 vsize=10617796 memory=3138736 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29562/stat : 29562 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65121824 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538014333152 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29563] ppid=29545 vsize=10617796 memory=-8774313645642428999 CPUtime=1.44 cores=1,3,5,7
/proc/29548/task/29563/stat : 29563 (java) S 29545 29548 897 0 -1 1077944384 2472 0 0 0 72 72 0 0 20 0 16 0 65121828 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538013281456 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29564] ppid=29545 vsize=10617796 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29564/stat : 29564 (java) S 29545 29548 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 65122113 10872623104 784684 18446744073709551615 4194304 4196468 140722979847648 140538012226992 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3138736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.56 s]
# the end of solver process 29548 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.13 s, system=4.04671 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2499.41 s]
/proc/loadavg: 2.28 2.02 1.98 3/211 29831
/proc/meminfo: memFree=27555484/32770624 swapFree=67108860/67108860
[pid=29548] ppid=29545 vsize=10817488 memory=3138792 CPUtime=2520.09 cores=1,3,5,7
/proc/29548/stat : 29548 (java) S 29545 29548 897 0 -1 1077944320 133581 0 0 0 251606 403 0 0 20 0 17 0 65121813 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140722979830192 140538982268663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
/proc/29548/statm: 2704372 784698 3129 1 0 2693825 0
[pid=29548/tid=29550] ppid=29545 vsize=10817488 memory=5788 CPUtime=2492.49 cores=1,3,5,7
/proc/29548/task/29550/stat : 29550 (java) S 29545 29548 897 0 -1 1077944384 73015 0 0 0 249233 16 0 0 20 0 17 0 65121819 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538986511536 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29551] ppid=29545 vsize=10817488 memory=1712 CPUtime=5.5 cores=1,3,5,7
/proc/29548/task/29551/stat : 29551 (java) S 29545 29548 897 0 -1 1077944384 6148 0 0 0 472 78 0 0 20 0 17 0 65121819 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538923305616 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29552] ppid=29545 vsize=10817488 memory=-8774313645642428999 CPUtime=5.53 cores=1,3,5,7
/proc/29548/task/29552/stat : 29552 (java) S 29545 29548 897 0 -1 1077944384 8629 0 0 0 473 80 0 0 20 0 17 0 65121819 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538922252816 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29553] ppid=29545 vsize=10817488 memory=1228 CPUtime=5.57 cores=1,3,5,7
/proc/29548/task/29553/stat : 29553 (java) S 29545 29548 897 0 -1 1077944384 6254 0 0 0 478 79 0 0 20 0 17 0 65121819 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538921200016 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29554] ppid=29545 vsize=10817488 memory=796 CPUtime=5.54 cores=1,3,5,7
/proc/29548/task/29554/stat : 29554 (java) S 29545 29548 897 0 -1 1077944384 7030 0 0 0 476 78 0 0 20 0 17 0 65121819 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538920147216 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29555] ppid=29545 vsize=10817488 memory=5788 CPUtime=1.32 cores=1,3,5,7
/proc/29548/task/29555/stat : 29555 (java) S 29545 29548 897 0 -1 1077944384 11832 0 0 0 128 4 0 0 20 0 17 0 65121821 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538021702512 140538982279810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29556] ppid=29545 vsize=10817488 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29556/stat : 29556 (java) S 29545 29548 897 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 65121821 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538020648544 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29557] ppid=29545 vsize=10817488 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29557/stat : 29557 (java) S 29545 29548 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 65121821 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538019595648 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29558] ppid=29545 vsize=10817488 memory=3138736 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29558/stat : 29558 (java) S 29545 29548 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 17 0 65121824 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538018543952 140538982287259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29559] ppid=29545 vsize=10817488 memory=302022891367825718 CPUtime=1.31 cores=1,3,5,7
/proc/29548/task/29559/stat : 29559 (java) S 29545 29548 897 0 -1 1077944384 8555 0 0 0 130 1 0 0 20 0 17 0 65121824 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538017491312 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29560] ppid=29545 vsize=10817488 memory=15536310592997909 CPUtime=1.01 cores=1,3,5,7
/proc/29548/task/29560/stat : 29560 (java) S 29545 29548 897 0 -1 1077944384 4738 0 0 0 100 1 0 0 20 0 17 0 65121824 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538016438512 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29561] ppid=29545 vsize=10817488 memory=288230574492221466 CPUtime=0.28 cores=1,3,5,7
/proc/29548/task/29561/stat : 29561 (java) S 29545 29548 897 0 -1 1077944384 3320 0 0 0 28 0 0 0 20 0 17 0 65121824 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538015385712 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29562] ppid=29545 vsize=10817488 memory=303711741228089654 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29562/stat : 29562 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 65121824 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538014333152 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29563] ppid=29545 vsize=10817488 memory=15536310592997909 CPUtime=1.44 cores=1,3,5,7
/proc/29548/task/29563/stat : 29563 (java) S 29545 29548 897 0 -1 1077944384 2472 0 0 0 72 72 0 0 20 0 17 0 65121828 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538013281456 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3138792 KiB
[startup+2499.5 s]
/proc/loadavg: 2.28 2.02 1.98 3/211 29831
/proc/meminfo: memFree=27555484/32770624 swapFree=67108860/67108860
[pid=29548] ppid=29545 vsize=10817488 memory=3138792 CPUtime=2520.09 cores=1,3,5,7
/proc/29548/stat : 29548 (java) S 29545 29548 897 0 -1 1077944320 133581 0 0 0 251606 403 0 0 20 0 17 0 65121813 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140722979830192 140538982268663 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
/proc/29548/statm: 2704372 784698 3129 1 0 2693825 0
[pid=29548/tid=29550] ppid=29545 vsize=10817488 memory=3138736 CPUtime=2492.49 cores=1,3,5,7
/proc/29548/task/29550/stat : 29550 (java) S 29545 29548 897 0 -1 1077944384 73015 0 0 0 249233 16 0 0 20 0 17 0 65121819 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538986511536 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29551] ppid=29545 vsize=10817488 memory=3125300 CPUtime=5.5 cores=1,3,5,7
/proc/29548/task/29551/stat : 29551 (java) S 29545 29548 897 0 -1 1077944384 6148 0 0 0 472 78 0 0 20 0 17 0 65121819 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538923305616 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29552] ppid=29545 vsize=10817488 memory=3138736 CPUtime=5.53 cores=1,3,5,7
/proc/29548/task/29552/stat : 29552 (java) S 29545 29548 897 0 -1 1077944384 8629 0 0 0 473 80 0 0 20 0 17 0 65121819 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538922252816 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29553] ppid=29545 vsize=10817488 memory=3138736 CPUtime=5.57 cores=1,3,5,7
/proc/29548/task/29553/stat : 29553 (java) S 29545 29548 897 0 -1 1077944384 6254 0 0 0 478 79 0 0 20 0 17 0 65121819 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538921200016 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29554] ppid=29545 vsize=10817488 memory=3138736 CPUtime=5.54 cores=1,3,5,7
/proc/29548/task/29554/stat : 29554 (java) S 29545 29548 897 0 -1 1077944384 7030 0 0 0 476 78 0 0 20 0 17 0 65121819 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538920147216 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29555] ppid=29545 vsize=10817488 memory=3138736 CPUtime=1.32 cores=1,3,5,7
/proc/29548/task/29555/stat : 29555 (java) S 29545 29548 897 0 -1 1077944384 11832 0 0 0 128 4 0 0 20 0 17 0 65121821 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538021702512 140538982279810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29556] ppid=29545 vsize=10817488 memory=3138736 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29556/stat : 29556 (java) S 29545 29548 897 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 65121821 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538020648544 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29557] ppid=29545 vsize=10817488 memory=3138736 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29557/stat : 29557 (java) S 29545 29548 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 65121821 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538019595648 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29558] ppid=29545 vsize=10817488 memory=3138736 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29558/stat : 29558 (java) S 29545 29548 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 17 0 65121824 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538018543952 140538982287259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29559] ppid=29545 vsize=10817488 memory=5788 CPUtime=1.31 cores=1,3,5,7
/proc/29548/task/29559/stat : 29559 (java) S 29545 29548 897 0 -1 1077944384 8555 0 0 0 130 1 0 0 20 0 17 0 65121824 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538017491312 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29560] ppid=29545 vsize=10817488 memory=3138736 CPUtime=1.01 cores=1,3,5,7
/proc/29548/task/29560/stat : 29560 (java) S 29545 29548 897 0 -1 1077944384 4738 0 0 0 100 1 0 0 20 0 17 0 65121824 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538016438512 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29561] ppid=29545 vsize=10817488 memory=3138736 CPUtime=0.28 cores=1,3,5,7
/proc/29548/task/29561/stat : 29561 (java) S 29545 29548 897 0 -1 1077944384 3320 0 0 0 28 0 0 0 20 0 17 0 65121824 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538015385712 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29562] ppid=29545 vsize=10817488 memory=3138736 CPUtime=0 cores=1,3,5,7
/proc/29548/task/29562/stat : 29562 (java) S 29545 29548 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 65121824 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538014333152 140538982278869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
[pid=29548/tid=29563] ppid=29545 vsize=10817488 memory=-8774313645642428999 CPUtime=1.44 cores=1,3,5,7
/proc/29548/task/29563/stat : 29563 (java) S 29545 29548 897 0 -1 1077944384 2472 0 0 0 72 72 0 0 20 0 17 0 65121828 11077107712 784698 18446744073709551615 4194304 4196468 140722979847648 140538013281456 140538982279810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140722979852688 140722979852841 140722979852841 140722979856335 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3138792 KiB
Child status: 143
Real time (s): 2499.56
CPU time (s): 2520.17
CPU user time (s): 2516.13
CPU system time (s): 4.04671
CPU usage (%): 100.825
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 3138792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.13
system time used= 4.04671
maximum resident set size= 3139668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56393
involuntary context switches= 1407
# summary of solver processes directly reported to runsolver:
# pid: 29548
# total CPU time (s): 2520.17
# total CPU user time (s): 2516.13
# total CPU system time (s): 4.04671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.409 second user time and 24.7437 second system time
The end