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 (13893 MiB free)
memory of node 1: 16384 MiB (13280 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301301-1532877973/watcher-4301301-1532877973 -o /tmp/evaluation-result-4301301-1532877973/solver-4301301-1532877973 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22036 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301301-1532877973.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=22657, runsolver pid=22654
[startup+0.101159 s]*
/proc/loadavg: 2.00 2.00 1.95 2/216 22672
/proc/meminfo: memFree=27806904/32770624 swapFree=67108860/67108860
[pid=22657] ppid=22654 vsize=10659012 memory=30100 CPUtime=0.12 cores=1,3,5,7
/proc/22657/stat : 22657 (java) S 22654 22657 22004 0 -1 1077944320 6593 0 0 0 11 1 0 0 20 0 15 0 105360500 10914828288 7525 33554432000 4194304 4196468 140733718681152 140733718663696 140623402438391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
/proc/22657/statm: 2664753 7525 2824 1 0 2627263 0
[pid=22657/tid=22659] ppid=22654 vsize=10659012 memory=-8773748148830115202 CPUtime=0.09 cores=1,3,5,7
/proc/22657/task/22659/stat : 22659 (java) R 22654 22657 22004 0 -1 4202560 4424 0 0 0 8 1 0 0 20 0 15 0 105360500 10914828288 7525 33554432000 4194304 4196468 140733718681152 140623406659520 140623402450326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22660] ppid=22654 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22660/stat : 22660 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360501 10914828288 7525 33554432000 4194304 4196468 140733718681152 140623339129872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22661] ppid=22654 vsize=10659012 memory=140031412602496 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22661/stat : 22661 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360501 10914828288 7525 33554432000 4194304 4196468 140733718681152 140623338077328 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22662] ppid=22654 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22662/stat : 22662 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360501 10914828288 7525 33554432000 4194304 4196468 140733718681152 140623006788368 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22663] ppid=22654 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22663/stat : 22663 (java) S 22654 22657 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105360501 10914828288 7525 33554432000 4194304 4196468 140733718681152 140623005735824 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22664] ppid=22654 vsize=10659012 memory=140031412602496 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22664/stat : 22664 (java) S 22654 22657 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105360502 10914828288 7525 33554432000 4194304 4196468 140733718681152 140622438336752 140623402449538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22665] ppid=22654 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22665/stat : 22665 (java) S 22654 22657 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105360503 10914828288 7525 33554432000 4194304 4196468 140733718681152 140622437282976 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22666] ppid=22654 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22666/stat : 22666 (java) S 22654 22657 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105360503 10914828288 7525 33554432000 4194304 4196468 140733718681152 140622436229872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22667] ppid=22654 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22667/stat : 22667 (java) S 22654 22657 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105360505 10914828288 7525 33554432000 4194304 4196468 140733718681152 140622435178448 140623402456987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22668] ppid=22654 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22668/stat : 22668 (java) S 22654 22657 22004 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 15 0 105360505 10914828288 7525 33554432000 4194304 4196468 140733718681152 140622434126576 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22669] ppid=22654 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22669/stat : 22669 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360505 10914828288 7525 33554432000 4194304 4196468 140733718681152 140622433074032 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22670] ppid=22654 vsize=10659012 memory=140031412602496 CPUtime=0.02 cores=1,3,5,7
/proc/22657/task/22670/stat : 22670 (java) R 22654 22657 22004 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 15 0 105360505 10914828288 7525 33554432000 4194304 4196468 140733718681152 140622432020976 140623402450326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22671] ppid=22654 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22671/stat : 22671 (java) S 22654 22657 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105360506 10914828288 7525 33554432000 4194304 4196468 140733718681152 140622430968672 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22672] ppid=22654 vsize=10659012 memory=140031412602496 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22672/stat : 22672 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360506 10914828288 7525 33554432000 4194304 4196468 140733718681152 140622429915696 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30100 KiB
[startup+0.210534 s]*
/proc/loadavg: 2.00 2.00 1.95 3/216 22672
/proc/meminfo: memFree=27797412/32770624 swapFree=67108860/67108860
[pid=22657] ppid=22654 vsize=10659012 memory=41792 CPUtime=0.32 cores=1,3,5,7
/proc/22657/stat : 22657 (java) S 22654 22657 22004 0 -1 1077944320 8098 0 0 0 30 2 0 0 20 0 15 0 105360500 10914828288 10448 33554432000 4194304 4196468 140733718681152 140733718663696 140623402438391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
/proc/22657/statm: 2664753 10448 3007 1 0 2627263 0
[pid=22657/tid=22659] ppid=22654 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/22657/task/22659/stat : 22659 (java) R 22654 22657 22004 0 -1 4202560 4999 0 0 0 18 1 0 0 20 0 15 0 105360500 10914828288 10448 33554432000 4194304 4196468 140733718681152 140623406674272 140623402450326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22660] ppid=22654 vsize=10659012 memory=364 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22660/stat : 22660 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360501 10914828288 10448 33554432000 4194304 4196468 140733718681152 140623339129872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22661] ppid=22654 vsize=10659012 memory=288370407564314240 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22661/stat : 22661 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360501 10914828288 10448 33554432000 4194304 4196468 140733718681152 140623338077328 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22662] ppid=22654 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22662/stat : 22662 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360501 10914828288 10448 33554432000 4194304 4196468 140733718681152 140623006788368 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22663] ppid=22654 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22663/stat : 22663 (java) S 22654 22657 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105360501 10914828288 10448 33554432000 4194304 4196468 140733718681152 140623005735824 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22664] ppid=22654 vsize=10659012 memory=140031412602496 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22664/stat : 22664 (java) S 22654 22657 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105360502 10914828288 10448 33554432000 4194304 4196468 140733718681152 140622438336752 140623402449538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22665] ppid=22654 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22665/stat : 22665 (java) S 22654 22657 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105360503 10914828288 10448 33554432000 4194304 4196468 140733718681152 140622437282976 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22666] ppid=22654 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22666/stat : 22666 (java) S 22654 22657 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105360503 10914828288 10448 33554432000 4194304 4196468 140733718681152 140622436229872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22667] ppid=22654 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22667/stat : 22667 (java) S 22654 22657 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105360505 10914828288 10448 33554432000 4194304 4196468 140733718681152 140622435178448 140623402456987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22668] ppid=22654 vsize=10659012 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22657/task/22668/stat : 22668 (java) S 22654 22657 22004 0 -1 1077944384 710 0 0 0 1 0 0 0 20 0 15 0 105360505 10914828288 10448 33554432000 4194304 4196468 140733718681152 140622434126576 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22669] ppid=22654 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22657/task/22669/stat : 22669 (java) S 22654 22657 22004 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 15 0 105360505 10914828288 10448 33554432000 4194304 4196468 140733718681152 140622433074032 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22670] ppid=22654 vsize=10659012 memory=140031412602496 CPUtime=0.07 cores=1,3,5,7
/proc/22657/task/22670/stat : 22670 (java) R 22654 22657 22004 0 -1 4202560 719 0 0 0 7 0 0 0 20 0 15 0 105360505 10914828288 10448 33554432000 4194304 4196468 140733718681152 140622432020976 140623402459738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22671] ppid=22654 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22671/stat : 22671 (java) S 22654 22657 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105360506 10914828288 10448 33554432000 4194304 4196468 140733718681152 140622430968672 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22672] ppid=22654 vsize=10659012 memory=140031412602496 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22672/stat : 22672 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360506 10914828288 10448 33554432000 4194304 4196468 140733718681152 140622429915696 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41792 KiB
[startup+0.31703 s]*
/proc/loadavg: 2.00 2.00 1.95 6/216 22672
/proc/meminfo: memFree=27790464/32770624 swapFree=67108860/67108860
[pid=22657] ppid=22654 vsize=10659088 memory=47156 CPUtime=0.55 cores=1,3,5,7
/proc/22657/stat : 22657 (java) S 22654 22657 22004 0 -1 1077944320 8937 0 0 0 53 2 0 0 20 0 15 0 105360500 10914906112 11789 33554432000 4194304 4196468 140733718681152 140733718663696 140623402438391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
/proc/22657/statm: 2664772 11789 3055 1 0 2627263 0
[pid=22657/tid=22659] ppid=22654 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/22657/task/22659/stat : 22659 (java) R 22654 22657 22004 0 -1 4202560 5581 0 0 0 29 1 0 0 20 0 15 0 105360500 10914906112 11789 33554432000 4194304 4196468 140733718681152 140623406676160 140623017513130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22660] ppid=22654 vsize=10659088 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22660/stat : 22660 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360501 10914906112 11789 33554432000 4194304 4196468 140733718681152 140623339129872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22661] ppid=22654 vsize=10659088 memory=288370407564314240 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22661/stat : 22661 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360501 10914906112 11789 33554432000 4194304 4196468 140733718681152 140623338077328 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22662] ppid=22654 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22662/stat : 22662 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360501 10914906112 11789 33554432000 4194304 4196468 140733718681152 140623006788368 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22663] ppid=22654 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22663/stat : 22663 (java) S 22654 22657 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105360501 10914906112 11789 33554432000 4194304 4196468 140733718681152 140623005735824 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22664] ppid=22654 vsize=10659088 memory=140031412602496 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22664/stat : 22664 (java) S 22654 22657 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105360502 10914906112 11789 33554432000 4194304 4196468 140733718681152 140622438336752 140623402449538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22665] ppid=22654 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22665/stat : 22665 (java) S 22654 22657 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105360503 10914906112 11789 33554432000 4194304 4196468 140733718681152 140622437282976 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22666] ppid=22654 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22666/stat : 22666 (java) S 22654 22657 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105360503 10914906112 11789 33554432000 4194304 4196468 140733718681152 140622436229872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22667] ppid=22654 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22667/stat : 22667 (java) S 22654 22657 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105360505 10914906112 11789 33554432000 4194304 4196468 140733718681152 140622435178448 140623402456987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22668] ppid=22654 vsize=10659088 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22657/task/22668/stat : 22668 (java) R 22654 22657 22004 0 -1 4202560 764 0 0 0 5 0 0 0 20 0 15 0 105360505 10914906112 11789 33554432000 4194304 4196468 140733718681152 140622434116960 140623387344040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22669] ppid=22654 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/22657/task/22669/stat : 22669 (java) R 22654 22657 22004 0 -1 4202560 385 0 0 0 4 0 0 0 20 0 15 0 105360505 10914906112 11789 33554432000 4194304 4196468 140733718681152 140622433060576 140623385994709 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22670] ppid=22654 vsize=10659088 memory=140031412602496 CPUtime=0.14 cores=1,3,5,7
/proc/22657/task/22670/stat : 22670 (java) R 22654 22657 22004 0 -1 4202560 837 0 0 0 14 0 0 0 20 0 15 0 105360505 10914906112 11789 33554432000 4194304 4196468 140733718681152 140622432018512 140623381560609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22671] ppid=22654 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22671/stat : 22671 (java) S 22654 22657 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105360506 10914906112 11789 33554432000 4194304 4196468 140733718681152 140622430968672 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22672] ppid=22654 vsize=10659088 memory=140031412602496 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22672/stat : 22672 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360506 10914906112 11789 33554432000 4194304 4196468 140733718681152 140622429915696 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47156 KiB
[startup+0.700862 s]
/proc/loadavg: 2.00 2.00 1.95 6/216 22672
/proc/meminfo: memFree=27764408/32770624 swapFree=67108860/67108860
[pid=22657] ppid=22654 vsize=10661136 memory=111312 CPUtime=1.76 cores=1,3,5,7
/proc/22657/stat : 22657 (java) S 22654 22657 22004 0 -1 1077944320 12294 0 0 0 172 4 0 0 20 0 15 0 105360500 10917003264 27828 33554432000 4194304 4196468 140733718681152 140733718663696 140623402438391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
/proc/22657/statm: 2665284 27828 3107 1 0 2627775 0
[pid=22657/tid=22659] ppid=22654 vsize=10661136 memory=1840 CPUtime=0.67 cores=1,3,5,7
/proc/22657/task/22659/stat : 22659 (java) R 22654 22657 22004 0 -1 4202560 6124 0 0 0 65 2 0 0 20 0 15 0 105360500 10917003264 27828 33554432000 4194304 4196468 140733718681152 140623406671872 140623022070947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22660] ppid=22654 vsize=10661136 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22660/stat : 22660 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360501 10917003264 27828 33554432000 4194304 4196468 140733718681152 140623339129872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22661] ppid=22654 vsize=10661136 memory=12060 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22661/stat : 22661 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360501 10917003264 27828 33554432000 4194304 4196468 140733718681152 140623338077328 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22662] ppid=22654 vsize=10661136 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22662/stat : 22662 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360501 10917003264 27828 33554432000 4194304 4196468 140733718681152 140623006788368 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22663] ppid=22654 vsize=10661136 memory=792 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22663/stat : 22663 (java) S 22654 22657 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105360501 10917003264 27828 33554432000 4194304 4196468 140733718681152 140623005735824 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22664] ppid=22654 vsize=10661136 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22664/stat : 22664 (java) S 22654 22657 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105360502 10917003264 27828 33554432000 4194304 4196468 140733718681152 140622438336752 140623402449538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22665] ppid=22654 vsize=10661136 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22665/stat : 22665 (java) S 22654 22657 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105360503 10917003264 27828 33554432000 4194304 4196468 140733718681152 140622437282976 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22666] ppid=22654 vsize=10661136 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22666/stat : 22666 (java) S 22654 22657 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105360503 10917003264 27828 33554432000 4194304 4196468 140733718681152 140622436229872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22667] ppid=22654 vsize=10661136 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22667/stat : 22667 (java) S 22654 22657 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105360505 10917003264 27828 33554432000 4194304 4196468 140733718681152 140622435178448 140623402456987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22668] ppid=22654 vsize=10661136 memory=7163631965283378496 CPUtime=0.33 cores=1,3,5,7
/proc/22657/task/22668/stat : 22668 (java) R 22654 22657 22004 0 -1 4202560 1657 0 0 0 33 0 0 0 20 0 15 0 105360505 10917003264 27828 33554432000 4194304 4196468 140733718681152 140622434119768 140623387367804 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22669] ppid=22654 vsize=10661136 memory=7667213801450137426 CPUtime=0.31 cores=1,3,5,7
/proc/22657/task/22669/stat : 22669 (java) R 22654 22657 22004 0 -1 4202560 1239 0 0 0 31 0 0 0 20 0 15 0 105360505 10917003264 27828 33554432000 4194304 4196468 140733718681152 140622433061584 140623381672959 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22670] ppid=22654 vsize=10661136 memory=7295946094789283920 CPUtime=0.41 cores=1,3,5,7
/proc/22657/task/22670/stat : 22670 (java) R 22654 22657 22004 0 -1 1077944384 1904 0 0 0 41 0 0 0 20 0 15 0 105360505 10917003264 27828 33554432000 4194304 4196468 140733718681152 140622432020976 140623402449538 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22671] ppid=22654 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22671/stat : 22671 (java) S 22654 22657 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105360506 10917003264 27828 33554432000 4194304 4196468 140733718681152 140622430968672 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22672] ppid=22654 vsize=10661136 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22672/stat : 22672 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105360506 10917003264 27828 33554432000 4194304 4196468 140733718681152 140622429915696 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 111312 KiB
[startup+1.50085 s]
/proc/loadavg: 2.24 2.05 1.97 5/217 22673
/proc/meminfo: memFree=27663036/32770624 swapFree=67108860/67108860
[pid=22657] ppid=22654 vsize=10727700 memory=176240 CPUtime=4.2 cores=1,3,5,7
/proc/22657/stat : 22657 (java) S 22654 22657 22004 0 -1 1077944320 17454 0 0 0 414 6 0 0 20 0 16 0 105360500 10985164800 44060 33554432000 4194304 4196468 140733718681152 140733718663696 140623402438391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
/proc/22657/statm: 2681925 44060 3124 1 0 2644416 0
[pid=22657/tid=22659] ppid=22654 vsize=10727700 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/22657/task/22659/stat : 22659 (java) R 22654 22657 22004 0 -1 4202560 6414 0 0 0 143 3 0 0 20 0 16 0 105360500 10985164800 44060 33554432000 4194304 4196468 140733718681152 140623406676768 140623023343216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22660] ppid=22654 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22660/stat : 22660 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105360501 10985164800 44060 33554432000 4194304 4196468 140733718681152 140623339129872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22661] ppid=22654 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22661/stat : 22661 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105360501 10985164800 44060 33554432000 4194304 4196468 140733718681152 140623338077328 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22662] ppid=22654 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22662/stat : 22662 (java) S 22654 22657 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105360501 10985164800 44060 33554432000 4194304 4196468 140733718681152 140623006788368 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22663] ppid=22654 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22663/stat : 22663 (java) S 22654 22657 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 105360501 10985164800 44060 33554432000 4194304 4196468 140733718681152 140623005735824 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22664] ppid=22654 vsize=10727700 memory=140031412604209 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22664/stat : 22664 (java) S 22654 22657 22004 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 16 0 105360502 10985164800 44060 33554432000 4194304 4196468 140733718681152 140622438336752 140623402449538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
################
# More data... #
################
/proc/22657/task/22665/stat : 22665 (java) S 22654 22657 22004 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 105360503 10985164800 67744 33554432000 4194304 4196468 140733718681152 140622437282976 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22666] ppid=22654 vsize=10727700 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22666/stat : 22666 (java) S 22654 22657 22004 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 105360503 10985164800 67744 33554432000 4194304 4196468 140733718681152 140622436229872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22667] ppid=22654 vsize=10727700 memory=270976 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22667/stat : 22667 (java) S 22654 22657 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105360505 10985164800 67744 33554432000 4194304 4196468 140733718681152 140622435178448 140623402456987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22668] ppid=22654 vsize=10727700 memory=270976 CPUtime=2.05 cores=1,3,5,7
/proc/22657/task/22668/stat : 22668 (java) S 22654 22657 22004 0 -1 1077944384 9527 0 0 0 204 1 0 0 20 0 16 0 105360505 10985164800 67744 33554432000 4194304 4196468 140733718681152 140622434126576 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22669] ppid=22654 vsize=10727700 memory=4028 CPUtime=2.1 cores=1,3,5,7
/proc/22657/task/22669/stat : 22669 (java) S 22654 22657 22004 0 -1 1077944384 10691 0 0 0 209 1 0 0 20 0 16 0 105360505 10985164800 67744 33554432000 4194304 4196468 140733718681152 140622433074032 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22670] ppid=22654 vsize=10727700 memory=270976 CPUtime=0.64 cores=1,3,5,7
/proc/22657/task/22670/stat : 22670 (java) S 22654 22657 22004 0 -1 1077944384 5149 0 0 0 64 0 0 0 20 0 16 0 105360505 10985164800 67744 33554432000 4194304 4196468 140733718681152 140622432020976 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22671] ppid=22654 vsize=10727700 memory=270976 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22671/stat : 22671 (java) S 22654 22657 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105360506 10985164800 67744 33554432000 4194304 4196468 140733718681152 140622430968672 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22672] ppid=22654 vsize=10727700 memory=270976 CPUtime=0.08 cores=1,3,5,7
/proc/22657/task/22672/stat : 22672 (java) S 22654 22657 22004 0 -1 1077944384 880 0 0 0 3 5 0 0 20 0 16 0 105360506 10985164800 67744 33554432000 4194304 4196468 140733718681152 140622429915696 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22673] ppid=22654 vsize=10727700 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22673/stat : 22673 (java) S 22654 22657 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105360594 10985164800 67744 33554432000 4194304 4196468 140733718681152 140622426764336 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
Current children cumulated CPU time: 227.36 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 270976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+246.901 s]
/proc/loadavg: 2.24 2.17 2.04 3/218 22845
/proc/meminfo: memFree=25725520/32770624 swapFree=67108860/67108860
[pid=22657] ppid=22654 vsize=10727700 memory=299704 CPUtime=252.07 cores=1,3,5,7
/proc/22657/stat : 22657 (java) S 22654 22657 22004 0 -1 1077944320 45548 0 0 0 25183 24 0 0 20 0 16 0 105360500 10985164800 74926 33554432000 4194304 4196468 140733718681152 140733718663696 140623402438391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
/proc/22657/statm: 2681925 74926 3167 1 0 2644416 0
[pid=22657/tid=22659] ppid=22654 vsize=10727700 memory=299704 CPUtime=246.75 cores=1,3,5,7
/proc/22657/task/22659/stat : 22659 (java) R 22654 22657 22004 0 -1 4202560 11397 0 0 0 24671 4 0 0 20 0 16 0 105360500 10985164800 74926 33554432000 4194304 4196468 140733718681152 140623406677360 140623023152643 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22660] ppid=22654 vsize=10727700 memory=4052 CPUtime=0.08 cores=1,3,5,7
/proc/22657/task/22660/stat : 22660 (java) S 22654 22657 22004 0 -1 1077944384 2346 0 0 0 6 2 0 0 20 0 16 0 105360501 10985164800 74926 33554432000 4194304 4196468 140733718681152 140623339129872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22661] ppid=22654 vsize=10727700 memory=299704 CPUtime=0.09 cores=1,3,5,7
/proc/22657/task/22661/stat : 22661 (java) S 22654 22657 22004 0 -1 1077944384 870 0 0 0 7 2 0 0 20 0 16 0 105360501 10985164800 74926 33554432000 4194304 4196468 140733718681152 140623338077328 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22662] ppid=22654 vsize=10727700 memory=299704 CPUtime=0.08 cores=1,3,5,7
/proc/22657/task/22662/stat : 22662 (java) S 22654 22657 22004 0 -1 1077944384 1228 0 0 0 6 2 0 0 20 0 16 0 105360501 10985164800 74926 33554432000 4194304 4196468 140733718681152 140623006788368 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22663] ppid=22654 vsize=10727700 memory=299704 CPUtime=0.08 cores=1,3,5,7
/proc/22657/task/22663/stat : 22663 (java) S 22654 22657 22004 0 -1 1077944384 423 0 0 0 6 2 0 0 20 0 16 0 105360501 10985164800 74926 33554432000 4194304 4196468 140733718681152 140623005735824 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22664] ppid=22654 vsize=10727700 memory=299704 CPUtime=0.01 cores=1,3,5,7
/proc/22657/task/22664/stat : 22664 (java) S 22654 22657 22004 0 -1 1077944384 1606 0 0 0 1 0 0 0 20 0 16 0 105360502 10985164800 74926 33554432000 4194304 4196468 140733718681152 140622438336752 140623402449538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22665] ppid=22654 vsize=10727700 memory=299704 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22665/stat : 22665 (java) S 22654 22657 22004 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 105360503 10985164800 74926 33554432000 4194304 4196468 140733718681152 140622437282976 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22666] ppid=22654 vsize=10727700 memory=299704 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22666/stat : 22666 (java) S 22654 22657 22004 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 105360503 10985164800 74926 33554432000 4194304 4196468 140733718681152 140622436229872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22667] ppid=22654 vsize=10727700 memory=299704 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22667/stat : 22667 (java) S 22654 22657 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105360505 10985164800 74926 33554432000 4194304 4196468 140733718681152 140622435178448 140623402456987 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22668] ppid=22654 vsize=10727700 memory=299704 CPUtime=2.05 cores=1,3,5,7
/proc/22657/task/22668/stat : 22668 (java) S 22654 22657 22004 0 -1 1077944384 9527 0 0 0 204 1 0 0 20 0 16 0 105360505 10985164800 74926 33554432000 4194304 4196468 140733718681152 140622434126576 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22669] ppid=22654 vsize=10727700 memory=270976 CPUtime=2.1 cores=1,3,5,7
/proc/22657/task/22669/stat : 22669 (java) S 22654 22657 22004 0 -1 1077944384 10691 0 0 0 209 1 0 0 20 0 16 0 105360505 10985164800 74926 33554432000 4194304 4196468 140733718681152 140622433074032 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22670] ppid=22654 vsize=10727700 memory=299704 CPUtime=0.64 cores=1,3,5,7
/proc/22657/task/22670/stat : 22670 (java) S 22654 22657 22004 0 -1 1077944384 5149 0 0 0 64 0 0 0 20 0 16 0 105360505 10985164800 74926 33554432000 4194304 4196468 140733718681152 140622432020976 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22671] ppid=22654 vsize=10727700 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22671/stat : 22671 (java) S 22654 22657 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105360506 10985164800 74926 33554432000 4194304 4196468 140733718681152 140622430968672 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22672] ppid=22654 vsize=10727700 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22657/task/22672/stat : 22672 (java) S 22654 22657 22004 0 -1 1077944384 880 0 0 0 3 5 0 0 20 0 16 0 105360506 10985164800 74926 33554432000 4194304 4196468 140733718681152 140622429915696 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22673] ppid=22654 vsize=10727700 memory=299704 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22673/stat : 22673 (java) S 22654 22657 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105360594 10985164800 74926 33554432000 4194304 4196468 140733718681152 140622426764336 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 299704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+247.118 s]
# the end of solver process 22657 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.873 s, system=0.253079 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+247.005 s]*
/proc/loadavg: 2.24 2.17 2.04 2/219 22848
/proc/meminfo: memFree=25723596/32770624 swapFree=67108860/67108860
[pid=22657] ppid=22654 vsize=10927392 memory=299944 CPUtime=252.1 cores=1,3,5,7
/proc/22657/stat : 22657 (java) S 22654 22657 22004 0 -1 1077944320 46484 0 0 0 25186 24 0 0 20 0 17 0 105360500 11189649408 74986 33554432000 4194304 4196468 140733718681152 140733718663696 140623402438391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
/proc/22657/statm: 2731848 74986 3169 1 0 2694339 0
[pid=22657/tid=22659] ppid=22654 vsize=10927392 memory=30092 CPUtime=246.78 cores=1,3,5,7
/proc/22657/task/22659/stat : 22659 (java) S 22654 22657 22004 0 -1 1077944384 11553 0 0 0 24674 4 0 0 20 0 17 0 105360500 11189649408 74986 33554432000 4194304 4196468 140733718681152 140623406681264 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22660] ppid=22654 vsize=10927392 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/22657/task/22660/stat : 22660 (java) S 22654 22657 22004 0 -1 1077944384 2346 0 0 0 6 2 0 0 20 0 17 0 105360501 11189649408 74986 33554432000 4194304 4196468 140733718681152 140623339129872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22661] ppid=22654 vsize=10927392 memory=1228 CPUtime=0.09 cores=1,3,5,7
/proc/22657/task/22661/stat : 22661 (java) S 22654 22657 22004 0 -1 1077944384 870 0 0 0 7 2 0 0 20 0 17 0 105360501 11189649408 74986 33554432000 4194304 4196468 140733718681152 140623338077328 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22662] ppid=22654 vsize=10927392 memory=1944 CPUtime=0.08 cores=1,3,5,7
/proc/22657/task/22662/stat : 22662 (java) S 22654 22657 22004 0 -1 1077944384 1228 0 0 0 6 2 0 0 20 0 17 0 105360501 11189649408 74986 33554432000 4194304 4196468 140733718681152 140623006788368 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22663] ppid=22654 vsize=10927392 memory=1416 CPUtime=0.08 cores=1,3,5,7
/proc/22657/task/22663/stat : 22663 (java) S 22654 22657 22004 0 -1 1077944384 423 0 0 0 6 2 0 0 20 0 17 0 105360501 11189649408 74986 33554432000 4194304 4196468 140733718681152 140623005735824 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22664] ppid=22654 vsize=10927392 memory=4612 CPUtime=0.01 cores=1,3,5,7
/proc/22657/task/22664/stat : 22664 (java) S 22654 22657 22004 0 -1 1077944384 1606 0 0 0 1 0 0 0 20 0 17 0 105360502 11189649408 74986 33554432000 4194304 4196468 140733718681152 140622438336752 140623402449538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22665] ppid=22654 vsize=10927392 memory=8508 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22665/stat : 22665 (java) S 22654 22657 22004 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 17 0 105360503 11189649408 74986 33554432000 4194304 4196468 140733718681152 140622437282976 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22666] ppid=22654 vsize=10927392 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22666/stat : 22666 (java) S 22654 22657 22004 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 17 0 105360503 11189649408 74986 33554432000 4194304 4196468 140733718681152 140622436229872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22667] ppid=22654 vsize=10927392 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22667/stat : 22667 (java) S 22654 22657 22004 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 17 0 105360505 11189649408 74986 33554432000 4194304 4196468 140733718681152 140622435178448 140623402456987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22668] ppid=22654 vsize=10927392 memory=2588 CPUtime=2.05 cores=1,3,5,7
/proc/22657/task/22668/stat : 22668 (java) S 22654 22657 22004 0 -1 1077944384 9623 0 0 0 204 1 0 0 20 0 17 0 105360505 11189649408 74986 33554432000 4194304 4196468 140733718681152 140622434126576 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22669] ppid=22654 vsize=10927392 memory=1408 CPUtime=2.1 cores=1,3,5,7
/proc/22657/task/22669/stat : 22669 (java) S 22654 22657 22004 0 -1 1077944384 10776 0 0 0 209 1 0 0 20 0 17 0 105360505 11189649408 74986 33554432000 4194304 4196468 140733718681152 140622433074032 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22670] ppid=22654 vsize=10927392 memory=3180 CPUtime=0.64 cores=1,3,5,7
/proc/22657/task/22670/stat : 22670 (java) S 22654 22657 22004 0 -1 1077944384 5280 0 0 0 64 0 0 0 20 0 17 0 105360505 11189649408 74986 33554432000 4194304 4196468 140733718681152 140622432020976 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22671] ppid=22654 vsize=10927392 memory=299704 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22671/stat : 22671 (java) S 22654 22657 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105360506 11189649408 74986 33554432000 4194304 4196468 140733718681152 140622430968672 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22672] ppid=22654 vsize=10927392 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/22657/task/22672/stat : 22672 (java) S 22654 22657 22004 0 -1 1077944384 880 0 0 0 3 5 0 0 20 0 17 0 105360506 11189649408 74986 33554432000 4194304 4196468 140733718681152 140622429915696 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22846] ppid=22654 vsize=10927392 memory=3120 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22846/stat : 22846 (java) S 22654 22657 22004 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 17 0 105385191 11189649408 74986 33554432000 4194304 4196468 140733718681152 140622425710576 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22847] ppid=22654 vsize=10927392 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22847/stat : 22847 (java) S 22654 22657 22004 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 17 0 105385191 11189649408 74986 33554432000 4194304 4196468 140733718681152 140622424658960 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 299944 KiB
[startup+247.11 s]
/proc/loadavg: 2.24 2.17 2.04 2/219 22848
/proc/meminfo: memFree=25723596/32770624 swapFree=67108860/67108860
[pid=22657] ppid=22654 vsize=10927392 memory=300040 CPUtime=252.1 cores=1,3,5,7
/proc/22657/stat : 22657 (java) S 22654 22657 22004 0 -1 1077944320 46740 0 0 0 25186 24 0 0 20 0 17 0 105360500 11189649408 75010 33554432000 4194304 4196468 140733718681152 140733718663696 140623402438391 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
/proc/22657/statm: 2731848 75010 3169 1 0 2694339 0
[pid=22657/tid=22659] ppid=22654 vsize=10927392 memory=299704 CPUtime=246.78 cores=1,3,5,7
/proc/22657/task/22659/stat : 22659 (java) S 22654 22657 22004 0 -1 1077944384 11553 0 0 0 24674 4 0 0 20 0 17 0 105360500 11189649408 75010 33554432000 4194304 4196468 140733718681152 140623406681264 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22660] ppid=22654 vsize=10927392 memory=270976 CPUtime=0.08 cores=1,3,5,7
/proc/22657/task/22660/stat : 22660 (java) S 22654 22657 22004 0 -1 1077944384 2346 0 0 0 6 2 0 0 20 0 17 0 105360501 11189649408 75010 33554432000 4194304 4196468 140733718681152 140623339129872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22661] ppid=22654 vsize=10927392 memory=299704 CPUtime=0.09 cores=1,3,5,7
/proc/22657/task/22661/stat : 22661 (java) S 22654 22657 22004 0 -1 1077944384 870 0 0 0 7 2 0 0 20 0 17 0 105360501 11189649408 75010 33554432000 4194304 4196468 140733718681152 140623338077328 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22662] ppid=22654 vsize=10927392 memory=299704 CPUtime=0.08 cores=1,3,5,7
/proc/22657/task/22662/stat : 22662 (java) S 22654 22657 22004 0 -1 1077944384 1228 0 0 0 6 2 0 0 20 0 17 0 105360501 11189649408 75010 33554432000 4194304 4196468 140733718681152 140623006788368 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22663] ppid=22654 vsize=10927392 memory=299704 CPUtime=0.08 cores=1,3,5,7
/proc/22657/task/22663/stat : 22663 (java) S 22654 22657 22004 0 -1 1077944384 423 0 0 0 6 2 0 0 20 0 17 0 105360501 11189649408 75010 33554432000 4194304 4196468 140733718681152 140623005735824 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22664] ppid=22654 vsize=10927392 memory=299704 CPUtime=0.01 cores=1,3,5,7
/proc/22657/task/22664/stat : 22664 (java) R 22654 22657 22004 0 -1 4202560 1760 0 0 0 1 0 0 0 20 0 17 0 105360502 11189649408 75010 33554432000 4194304 4196468 140733718681152 140622438336752 140623386815424 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22665] ppid=22654 vsize=10927392 memory=299704 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22665/stat : 22665 (java) S 22654 22657 22004 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 17 0 105360503 11189649408 75010 33554432000 4194304 4196468 140733718681152 140622437282976 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22666] ppid=22654 vsize=10927392 memory=299704 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22666/stat : 22666 (java) S 22654 22657 22004 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 17 0 105360503 11189649408 75010 33554432000 4194304 4196468 140733718681152 140622436229872 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22667] ppid=22654 vsize=10927392 memory=299704 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22667/stat : 22667 (java) S 22654 22657 22004 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 17 0 105360505 11189649408 75010 33554432000 4194304 4196468 140733718681152 140622435178448 140623402456987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22668] ppid=22654 vsize=10927392 memory=299704 CPUtime=2.05 cores=1,3,5,7
/proc/22657/task/22668/stat : 22668 (java) S 22654 22657 22004 0 -1 1077944384 9623 0 0 0 204 1 0 0 20 0 17 0 105360505 11189649408 75010 33554432000 4194304 4196468 140733718681152 140622434126576 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22669] ppid=22654 vsize=10927392 memory=1200 CPUtime=2.1 cores=1,3,5,7
/proc/22657/task/22669/stat : 22669 (java) S 22654 22657 22004 0 -1 1077944384 10814 0 0 0 209 1 0 0 20 0 17 0 105360505 11189649408 75010 33554432000 4194304 4196468 140733718681152 140622433060352 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22670] ppid=22654 vsize=10927392 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/22657/task/22670/stat : 22670 (java) S 22654 22657 22004 0 -1 1077944384 5358 0 0 0 64 0 0 0 20 0 17 0 105360505 11189649408 75010 33554432000 4194304 4196468 140733718681152 140622432015296 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22671] ppid=22654 vsize=10927392 memory=299704 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22671/stat : 22671 (java) S 22654 22657 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105360506 11189649408 75010 33554432000 4194304 4196468 140733718681152 140622430968672 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22672] ppid=22654 vsize=10927392 memory=299704 CPUtime=0.08 cores=1,3,5,7
/proc/22657/task/22672/stat : 22672 (java) S 22654 22657 22004 0 -1 1077944384 880 0 0 0 3 5 0 0 20 0 17 0 105360506 11189649408 75010 33554432000 4194304 4196468 140733718681152 140622429915696 140623402449538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22846] ppid=22654 vsize=10927392 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22846/stat : 22846 (java) S 22654 22657 22004 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 17 0 105385191 11189649408 75010 33554432000 4194304 4196468 140733718681152 140622425710576 140623402448597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
[pid=22657/tid=22847] ppid=22654 vsize=10927392 memory=299704 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22847/stat : 22847 (java) R 22654 22657 22004 0 -1 4202560 188 0 0 0 0 0 0 0 20 0 17 0 105385191 11189649408 75010 33554432000 4194304 4196468 140733718681152 140622424647520 140623402450326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140733718684790 140733718684942 140733718684942 140733718687695 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 300040 KiB
Child status: 143
Real time (s): 247.118
CPU time (s): 252.126
CPU user time (s): 251.873
CPU system time (s): 0.253079
CPU usage (%): 102.026
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 300040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.873
system time used= 0.253079
maximum resident set size= 300312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47092
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7884
involuntary context switches= 89
# summary of solver processes directly reported to runsolver:
# pid: 22657
# total CPU time (s): 252.126
# total CPU user time (s): 251.873
# total CPU system time (s): 0.253079
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.52068 second user time and 2.32605 second system time
The end