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 (15368 MiB free)
memory of node 1: 16384 MiB (7537 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263625-1502589509/watcher-4263625-1502589509 -o /tmp/evaluation-result-4263625-1502589509/solver-4263625-1502589509 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8032 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263625-1502589509.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10739, runsolver pid=10736
[startup+0.100198 s]*
/proc/loadavg: 7.39 7.18 7.08 7/207 10748
/proc/meminfo: memFree=23444180/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=10418956 memory=22852 CPUtime=0.05 cores=0,2,4,6
/proc/10739/stat : 10739 (java) S 10736 10739 7968 0 -1 1077944320 4655 0 0 0 4 1 0 0 20 0 14 0 12833629 10669010944 5713 18446744073709551615 4194304 4196468 140730473230736 140730473213280 139825862844151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
/proc/10739/statm: 2604739 5713 2575 1 0 2594236 0
[pid=10739/tid=10741] ppid=10736 vsize=10484492 memory=-6439968830534014599 CPUtime=0.04 cores=0,2,4,6
/proc/10739/task/10741/stat : 10741 (java) D 10736 10739 7968 0 -1 1077944384 2781 0 0 0 4 0 0 0 20 0 14 0 12833634 10736119808 5714 18446744073709551615 4194304 4196468 140730473230736 139825867081752 139825855522165 0 4 1 16800974 18446744072101723684 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10742] ppid=10736 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10742/stat : 10742 (java) S 10736 10739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 12833635 10736119808 5714 18446744073709551615 4194304 4196468 140730473230736 139825819810576 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10743] ppid=10736 vsize=10484492 memory=140484685932160 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10743/stat : 10743 (java) S 10736 10739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 12833635 10736119808 5714 18446744073709551615 4194304 4196468 140730473230736 139825818758032 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10744] ppid=10736 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10744/stat : 10744 (java) S 10736 10739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 12833635 10736119808 5714 18446744073709551615 4194304 4196468 140730473230736 139825817705488 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10745] ppid=10736 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10745/stat : 10745 (java) S 10736 10739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 12833635 10736119808 5714 18446744073709551615 4194304 4196468 140730473230736 139825816652944 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10746] ppid=10736 vsize=10484492 memory=140484685932160 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10746/stat : 10746 (java) S 10736 10739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 12833636 10736119808 5714 18446744073709551615 4194304 4196468 140730473230736 139825426753520 139825862855298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10747] ppid=10736 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10747/stat : 10747 (java) S 10736 10739 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 12833637 10736119808 5714 18446744073709551615 4194304 4196468 140730473230736 139825425699744 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10748] ppid=10736 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10748/stat : 10748 (java) S 10736 10739 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 12833637 10736119808 5714 18446744073709551615 4194304 4196468 140730473230736 139825424647152 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10749] ppid=10736 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10749/stat : 10749 (java) S 10736 10739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 12833639 10736119808 5714 18446744073709551615 4194304 4196468 140730473230736 139825423595728 139825862862747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10750] ppid=10736 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10750/stat : 10750 (java) R 10736 10739 7968 0 -1 4202560 307 0 0 0 0 0 0 0 20 0 14 0 12833639 10736119808 5714 18446744073709551615 4194304 4196468 140730473230736 139825422536920 139825844365345 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10751] ppid=10736 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10751/stat : 10751 (java) S 10736 10739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 12833639 10736119808 5714 18446744073709551615 4194304 4196468 140730473230736 139825421490496 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10752] ppid=10736 vsize=10484492 memory=140484685932160 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10752/stat : 10752 (java) S 10736 10739 7968 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 14 0 12833639 10736119808 5714 18446744073709551615 4194304 4196468 140730473230736 139825420438256 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10753] ppid=10736 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10753/stat : 10753 (java) S 10736 10739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 12833639 10736119808 5714 18446744073709551615 4194304 4196468 140730473230736 139825419385952 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10418956 KiB
Current children cumulated memory: 22852 KiB
[startup+0.21041 s]*
/proc/loadavg: 7.39 7.18 7.08 8/213 10754
/proc/meminfo: memFree=23436452/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=10551156 memory=30060 CPUtime=0.15 cores=0,2,4,6
/proc/10739/stat : 10739 (java) S 10736 10739 7968 0 -1 1077944320 7757 0 0 0 13 2 0 0 20 0 15 0 12833629 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 140730473213280 139825862844151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
/proc/10739/statm: 2637789 7515 2794 1 0 2627261 0
[pid=10739/tid=10741] ppid=10736 vsize=10551156 memory=8318255677412212789 CPUtime=0.1 cores=0,2,4,6
/proc/10739/task/10741/stat : 10741 (java) R 10736 10739 7968 0 -1 4202560 5595 0 0 0 9 1 0 0 20 0 15 0 12833634 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 139825867055328 139825846924668 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10742] ppid=10736 vsize=10551156 memory=317 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10742/stat : 10742 (java) S 10736 10739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12833635 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 139825819810576 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10743] ppid=10736 vsize=10551156 memory=140484685940357 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10743/stat : 10743 (java) S 10736 10739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12833635 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 139825818758032 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10744] ppid=10736 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10744/stat : 10744 (java) S 10736 10739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12833635 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 139825817705488 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10745] ppid=10736 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10745/stat : 10745 (java) S 10736 10739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12833635 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 139825816652944 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10746] ppid=10736 vsize=10551156 memory=140484685932160 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10746/stat : 10746 (java) S 10736 10739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12833636 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 139825426753520 139825862855298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10747] ppid=10736 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10747/stat : 10747 (java) S 10736 10739 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12833637 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 139825425699744 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10748] ppid=10736 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10748/stat : 10748 (java) S 10736 10739 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12833637 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 139825424647152 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10749] ppid=10736 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10749/stat : 10749 (java) S 10736 10739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12833639 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 139825423595728 139825862862747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10750] ppid=10736 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10750/stat : 10750 (java) S 10736 10739 7968 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 12833639 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 139825422543344 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10751] ppid=10736 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10751/stat : 10751 (java) S 10736 10739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12833639 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 139825421490800 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10752] ppid=10736 vsize=10551156 memory=140484685932160 CPUtime=0.02 cores=0,2,4,6
/proc/10739/task/10752/stat : 10752 (java) S 10736 10739 7968 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 15 0 12833639 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 139825420438256 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10753] ppid=10736 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10753/stat : 10753 (java) S 10736 10739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12833639 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 139825419385952 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10754] ppid=10736 vsize=10551156 memory=140484685932160 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10754/stat : 10754 (java) S 10736 10739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12833644 10804383744 7515 18446744073709551615 4194304 4196468 140730473230736 139825418332464 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30060 KiB
[startup+0.31036 s]*
/proc/loadavg: 7.39 7.18 7.08 6/213 10754
/proc/meminfo: memFree=23429664/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=10551156 memory=39468 CPUtime=0.31 cores=0,2,4,6
/proc/10739/stat : 10739 (java) S 10736 10739 7968 0 -1 1077944320 9603 0 0 0 28 3 0 0 20 0 15 0 12833629 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 140730473213280 139825862844151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
/proc/10739/statm: 2637789 9867 2927 1 0 2627261 0
[pid=10739/tid=10741] ppid=10736 vsize=10551156 memory=-8774313645642428999 CPUtime=0.21 cores=0,2,4,6
/proc/10739/task/10741/stat : 10741 (java) R 10736 10739 7968 0 -1 4202560 6748 0 0 0 19 2 0 0 20 0 15 0 12833634 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 139825867078464 139825846924638 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10742] ppid=10736 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10742/stat : 10742 (java) S 10736 10739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12833635 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 139825819810576 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10743] ppid=10736 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10743/stat : 10743 (java) S 10736 10739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12833635 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 139825818758032 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10744] ppid=10736 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10744/stat : 10744 (java) S 10736 10739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12833635 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 139825817705488 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10745] ppid=10736 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10745/stat : 10745 (java) S 10736 10739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12833635 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 139825816652944 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10746] ppid=10736 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10746/stat : 10746 (java) S 10736 10739 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12833636 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 139825426753520 139825862855298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10747] ppid=10736 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10747/stat : 10747 (java) S 10736 10739 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12833637 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 139825425699744 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10748] ppid=10736 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10748/stat : 10748 (java) S 10736 10739 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12833637 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 139825424647152 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10749] ppid=10736 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10749/stat : 10749 (java) S 10736 10739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12833639 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 139825423595728 139825862862747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10750] ppid=10736 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10739/task/10750/stat : 10750 (java) S 10736 10739 7968 0 -1 1077944384 539 0 0 0 1 0 0 0 20 0 15 0 12833639 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 139825422543344 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10751] ppid=10736 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10739/task/10751/stat : 10751 (java) S 10736 10739 7968 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 15 0 12833639 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 139825421490800 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10752] ppid=10736 vsize=10551156 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/10739/task/10752/stat : 10752 (java) S 10736 10739 7968 0 -1 1077944384 733 0 0 0 6 0 0 0 20 0 15 0 12833639 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 139825420438256 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10753] ppid=10736 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10753/stat : 10753 (java) S 10736 10739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12833639 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 139825419385952 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10754] ppid=10736 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10754/stat : 10754 (java) S 10736 10739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12833644 10804383744 9867 18446744073709551615 4194304 4196468 140730473230736 139825418332464 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39468 KiB
[startup+0.703928 s]
/proc/loadavg: 7.39 7.18 7.08 8/213 10754
/proc/meminfo: memFree=23404464/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=10551232 memory=245988 CPUtime=1.4 cores=0,2,4,6
/proc/10739/stat : 10739 (java) S 10736 10739 7968 0 -1 1077944320 11876 0 0 0 124 16 0 0 20 0 15 0 12833629 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 140730473213280 139825862844151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
/proc/10739/statm: 2637808 61497 3064 1 0 2627261 0
[pid=10739/tid=10741] ppid=10736 vsize=10551232 memory=2760 CPUtime=0.51 cores=0,2,4,6
/proc/10739/task/10741/stat : 10741 (java) R 10736 10739 7968 0 -1 4202560 7829 0 0 0 46 5 0 0 20 0 15 0 12833634 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 139825867040904 139825498550474 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10742] ppid=10736 vsize=10551232 memory=2760 CPUtime=0.07 cores=0,2,4,6
/proc/10739/task/10742/stat : 10742 (java) S 10736 10739 7968 0 -1 1077944384 48 0 0 0 5 2 0 0 20 0 15 0 12833635 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 139825819810576 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10743] ppid=10736 vsize=10551232 memory=4060 CPUtime=0.07 cores=0,2,4,6
/proc/10739/task/10743/stat : 10743 (java) S 10736 10739 7968 0 -1 1077944384 53 0 0 0 5 2 0 0 20 0 15 0 12833635 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 139825818758032 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10744] ppid=10736 vsize=10551232 memory=7450735414763743833 CPUtime=0.07 cores=0,2,4,6
/proc/10739/task/10744/stat : 10744 (java) S 10736 10739 7968 0 -1 1077944384 52 0 0 0 5 2 0 0 20 0 15 0 12833635 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 139825817705488 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10745] ppid=10736 vsize=10551232 memory=7595128783727912557 CPUtime=0.06 cores=0,2,4,6
/proc/10739/task/10745/stat : 10745 (java) S 10736 10739 7968 0 -1 1077944384 49 0 0 0 4 2 0 0 20 0 15 0 12833635 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 139825816652944 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10746] ppid=10736 vsize=10551232 memory=6298681425283933546 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10746/stat : 10746 (java) S 10736 10739 7968 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 12833636 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 139825426753520 139825862855298 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10747] ppid=10736 vsize=10551232 memory=5865727821814841447 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10747/stat : 10747 (java) S 10736 10739 7968 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 12833637 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 139825425699744 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10748] ppid=10736 vsize=10551232 memory=7883930918978154599 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10748/stat : 10748 (java) S 10736 10739 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12833637 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 139825424647152 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10749] ppid=10736 vsize=10551232 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10749/stat : 10749 (java) S 10736 10739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12833639 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 139825423595728 139825862862747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10750] ppid=10736 vsize=10551232 memory=280969110292800 CPUtime=0.17 cores=0,2,4,6
/proc/10739/task/10750/stat : 10750 (java) S 10736 10739 7968 0 -1 1077944384 723 0 0 0 17 0 0 0 20 0 15 0 12833639 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 139825422543344 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10751] ppid=10736 vsize=10551232 memory=7163651833903470444 CPUtime=0.18 cores=0,2,4,6
/proc/10739/task/10751/stat : 10751 (java) S 10736 10739 7968 0 -1 1077944384 659 0 0 0 18 0 0 0 20 0 15 0 12833639 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 139825421490800 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10752] ppid=10736 vsize=10551232 memory=7516653190097710481 CPUtime=0.2 cores=0,2,4,6
/proc/10739/task/10752/stat : 10752 (java) S 10736 10739 7968 0 -1 1077944384 1018 0 0 0 20 0 0 0 20 0 15 0 12833639 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 139825420438256 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10753] ppid=10736 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10753/stat : 10753 (java) S 10736 10739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12833639 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 139825419385952 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10754] ppid=10736 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10754/stat : 10754 (java) S 10736 10739 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12833644 10804461568 61497 18446744073709551615 4194304 4196468 140730473230736 139825418332464 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 245988 KiB
[startup+1.50076 s]
/proc/loadavg: 7.39 7.18 7.08 10/213 10755
/proc/meminfo: memFree=23209848/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=10551232 memory=443964 CPUtime=3.01 cores=0,2,4,6
/proc/10739/stat : 10739 (java) S 10736 10739 7968 0 -1 1077944320 13400 0 0 0 274 27 0 0 20 0 15 0 12833629 10804461568 110991 18446744073709551615 4194304 4196468 140730473230736 140730473213280 139825862844151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
/proc/10739/statm: 2637808 110991 3089 1 0 2627261 0
[pid=10739/tid=10741] ppid=10736 vsize=10551232 memory=280969110228016 CPUtime=1.19 cores=0,2,4,6
/proc/10739/task/10741/stat : 10741 (java) R 10736 10739 7968 0 -1 4202560 7909 0 0 0 113 6 0 0 20 0 15 0 12833634 10804461568 110991 18446744073709551615 4194304 4196468 140730473230736 139825867071512 139825498933059 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10742] ppid=10736 vsize=10551232 memory=4124 CPUtime=0.16 cores=0,2,4,6
/proc/10739/task/10742/stat : 10742 (java) S 10736 10739 7968 0 -1 1077944384 155 0 0 0 12 4 0 0 20 0 15 0 12833635 10804461568 110991 18446744073709551615 4194304 4196468 140730473230736 139825819810576 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10743] ppid=10736 vsize=10551232 memory=11216 CPUtime=0.18 cores=0,2,4,6
/proc/10739/task/10743/stat : 10743 (java) S 10736 10739 7968 0 -1 1077944384 185 0 0 0 13 5 0 0 20 0 15 0 12833635 10804461568 110991 18446744073709551615 4194304 4196468 140730473230736 139825818758032 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10744] ppid=10736 vsize=10551232 memory=2424 CPUtime=0.18 cores=0,2,4,6
/proc/10739/task/10744/stat : 10744 (java) S 10736 10739 7968 0 -1 1077944384 198 0 0 0 13 5 0 0 20 0 15 0 12833635 10804461568 110991 18446744073709551615 4194304 4196468 140730473230736 139825817705488 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10745] ppid=10736 vsize=10551232 memory=1296 CPUtime=0.15 cores=0,2,4,6
/proc/10739/task/10745/stat : 10745 (java) S 10736 10739 7968 0 -1 1077944384 83 0 0 0 11 4 0 0 20 0 15 0 12833635 10804461568 110991 18446744073709551615 4194304 4196468 140730473230736 139825816652944 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10746] ppid=10736 vsize=10551232 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10746/stat : 10746 (java) S 10736 10739 7968 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 12833636 10804461568 110991 18446744073709551615 4194304 4196468 140730473230736 139825426753520 139825862855298 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10747] ppid=10736 vsize=10551232 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10747/stat : 10747 (java) S 10736 10739 7968 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 12833637 10804461568 110991 18446744073709551615 4194304 4196468 140730473230736 139825425699808 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
################
# More data... #
################
[startup+699.748 s]
# the end of solver process 10739 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.49 s, system=9.62878 s
Solver just ended.
Dumping a history of the last processes samples
[startup+698.401 s]
/proc/loadavg: 7.93 7.60 7.24 9/213 10891
/proc/meminfo: memFree=15486560/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=10616768 memory=7900492 CPUtime=2523 cores=0,2,4,6
/proc/10739/stat : 10739 (java) S 10736 10739 7968 0 -1 1077944320 270529 0 0 0 251344 956 0 0 20 0 15 0 12833629 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 140730473213280 139825862844151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
/proc/10739/statm: 2654192 1975123 3111 1 0 2643645 0
[pid=10739/tid=10741] ppid=10736 vsize=10616768 memory=1152 CPUtime=24.96 cores=0,2,4,6
/proc/10739/task/10741/stat : 10741 (java) S 10736 10739 7968 0 -1 1077944384 14919 0 0 0 2486 10 0 0 20 0 15 0 12833634 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825867076800 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10742] ppid=10736 vsize=10616768 memory=-8774313645642428999 CPUtime=613.52 cores=0,2,4,6
/proc/10739/task/10742/stat : 10742 (java) R 10736 10739 7968 0 -1 4202560 39117 0 0 0 61138 214 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825819810472 139825855472359 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10743] ppid=10736 vsize=10616768 memory=11244 CPUtime=612.05 cores=0,2,4,6
/proc/10739/task/10743/stat : 10743 (java) R 10736 10739 7968 0 -1 4202560 47675 0 0 0 60993 212 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825818757616 139825855472359 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10744] ppid=10736 vsize=10616768 memory=2424 CPUtime=608.38 cores=0,2,4,6
/proc/10739/task/10744/stat : 10744 (java) R 10736 10739 7968 0 -1 4202560 26855 0 0 0 60569 269 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825817705384 139825855472359 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10745] ppid=10736 vsize=10616768 memory=1296 CPUtime=610.67 cores=0,2,4,6
/proc/10739/task/10745/stat : 10745 (java) R 10736 10739 7968 0 -1 4202560 26033 0 0 0 60829 238 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825816653144 139825847829447 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10746] ppid=10736 vsize=10616768 memory=4124 CPUtime=51.5 cores=0,2,4,6
/proc/10739/task/10746/stat : 10746 (java) S 10736 10739 7968 0 -1 1077944384 106001 0 0 0 5145 5 0 0 20 0 15 0 12833636 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825426751840 139825862854357 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10747] ppid=10736 vsize=10616768 memory=11244 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10747/stat : 10747 (java) S 10736 10739 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 12833637 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825425699808 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10748] ppid=10736 vsize=10616768 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10748/stat : 10748 (java) S 10736 10739 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 12833637 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825424647168 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10749] ppid=10736 vsize=10616768 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10749/stat : 10749 (java) S 10736 10739 7968 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825423595376 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10750] ppid=10736 vsize=10616768 memory=7900492 CPUtime=0.59 cores=0,2,4,6
/proc/10739/task/10750/stat : 10750 (java) S 10736 10739 7968 0 -1 1077944384 2986 0 0 0 59 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825422543344 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10751] ppid=10736 vsize=10616768 memory=288230613214036277 CPUtime=0.68 cores=0,2,4,6
/proc/10739/task/10751/stat : 10751 (java) S 10736 10739 7968 0 -1 1077944384 2883 0 0 0 68 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825421490800 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10752] ppid=10736 vsize=10616768 memory=15540730097567645 CPUtime=0.31 cores=0,2,4,6
/proc/10739/task/10752/stat : 10752 (java) S 10736 10739 7968 0 -1 1077944384 2108 0 0 0 31 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825420438256 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10753] ppid=10736 vsize=10616768 memory=8125988 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10753/stat : 10753 (java) S 10736 10739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825419385952 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10754] ppid=10736 vsize=10616768 memory=-8774313645642428999 CPUtime=0.25 cores=0,2,4,6
/proc/10739/task/10754/stat : 10754 (java) S 10736 10739 7968 0 -1 1077944384 559 0 0 0 15 10 0 0 20 0 15 0 12833644 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825418332464 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
Current children cumulated CPU time: 2523 s
Current children cumulated vsize: 10616768 KiB
Current children cumulated memory: 7900492 KiB
[startup+699.201 s]
/proc/loadavg: 7.93 7.60 7.24 9/213 10891
/proc/meminfo: memFree=15486568/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=10616768 memory=7900492 CPUtime=2526.11 cores=0,2,4,6
/proc/10739/stat : 10739 (java) S 10736 10739 7968 0 -1 1077944320 270529 0 0 0 251653 958 0 0 20 0 15 0 12833629 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 140730473213280 139825862844151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
/proc/10739/statm: 2654192 1975123 3111 1 0 2643645 0
[pid=10739/tid=10741] ppid=10736 vsize=10616768 memory=7900492 CPUtime=24.96 cores=0,2,4,6
/proc/10739/task/10741/stat : 10741 (java) S 10736 10739 7968 0 -1 1077944384 14919 0 0 0 2486 10 0 0 20 0 15 0 12833634 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825867076800 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10742] ppid=10736 vsize=10616768 memory=11244 CPUtime=614.27 cores=0,2,4,6
/proc/10739/task/10742/stat : 10742 (java) R 10736 10739 7968 0 -1 4202560 39117 0 0 0 61213 214 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825819810472 139825855472359 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10743] ppid=10736 vsize=10616768 memory=8125976 CPUtime=612.81 cores=0,2,4,6
/proc/10739/task/10743/stat : 10743 (java) R 10736 10739 7968 0 -1 4202560 47675 0 0 0 61069 212 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825818757928 139825855472359 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10744] ppid=10736 vsize=10616768 memory=1700 CPUtime=609.15 cores=0,2,4,6
/proc/10739/task/10744/stat : 10744 (java) R 10736 10739 7968 0 -1 4202560 26855 0 0 0 60646 269 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825817705072 139825855472359 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10745] ppid=10736 vsize=10616768 memory=1228 CPUtime=611.47 cores=0,2,4,6
/proc/10739/task/10745/stat : 10745 (java) R 10736 10739 7968 0 -1 4202560 26033 0 0 0 60909 238 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825816653144 139825847541976 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10746] ppid=10736 vsize=10616768 memory=7900480 CPUtime=51.5 cores=0,2,4,6
/proc/10739/task/10746/stat : 10746 (java) S 10736 10739 7968 0 -1 1077944384 106001 0 0 0 5145 5 0 0 20 0 15 0 12833636 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825426751840 139825862854357 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10747] ppid=10736 vsize=10616768 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10747/stat : 10747 (java) S 10736 10739 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 12833637 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825425699808 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10748] ppid=10736 vsize=10616768 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10748/stat : 10748 (java) S 10736 10739 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 12833637 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825424647168 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10749] ppid=10736 vsize=10616768 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10749/stat : 10749 (java) S 10736 10739 7968 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825423595376 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10750] ppid=10736 vsize=10616768 memory=4612 CPUtime=0.59 cores=0,2,4,6
/proc/10739/task/10750/stat : 10750 (java) S 10736 10739 7968 0 -1 1077944384 2986 0 0 0 59 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825422543392 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10751] ppid=10736 vsize=10616768 memory=7900480 CPUtime=0.68 cores=0,2,4,6
/proc/10739/task/10751/stat : 10751 (java) S 10736 10739 7968 0 -1 1077944384 2883 0 0 0 68 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825421490560 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10752] ppid=10736 vsize=10616768 memory=11244 CPUtime=0.31 cores=0,2,4,6
/proc/10739/task/10752/stat : 10752 (java) S 10736 10739 7968 0 -1 1077944384 2108 0 0 0 31 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825420438304 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10753] ppid=10736 vsize=10616768 memory=7900480 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10753/stat : 10753 (java) S 10736 10739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825419385952 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10754] ppid=10736 vsize=10616768 memory=1296 CPUtime=0.25 cores=0,2,4,6
/proc/10739/task/10754/stat : 10754 (java) S 10736 10739 7968 0 -1 1077944384 559 0 0 0 15 10 0 0 20 0 15 0 12833644 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825418332464 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
Current children cumulated CPU time: 2526.11 s
Current children cumulated vsize: 10616768 KiB
Current children cumulated memory: 7900492 KiB
[startup+699.601 s]
/proc/loadavg: 7.93 7.60 7.24 9/213 10891
/proc/meminfo: memFree=15486568/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=10616768 memory=7900492 CPUtime=2527.66 cores=0,2,4,6
/proc/10739/stat : 10739 (java) S 10736 10739 7968 0 -1 1077944320 270529 0 0 0 251807 959 0 0 20 0 15 0 12833629 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 140730473213280 139825862844151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
/proc/10739/statm: 2654192 1975123 3111 1 0 2643645 0
[pid=10739/tid=10741] ppid=10736 vsize=10616768 memory=-8774313645642428999 CPUtime=24.96 cores=0,2,4,6
/proc/10739/task/10741/stat : 10741 (java) S 10736 10739 7968 0 -1 1077944384 14919 0 0 0 2486 10 0 0 20 0 15 0 12833634 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825867076800 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10742] ppid=10736 vsize=10616768 memory=5520 CPUtime=614.66 cores=0,2,4,6
/proc/10739/task/10742/stat : 10742 (java) R 10736 10739 7968 0 -1 4202560 39117 0 0 0 61251 215 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825819810472 139825855472359 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10743] ppid=10736 vsize=10616768 memory=4612 CPUtime=613.21 cores=0,2,4,6
/proc/10739/task/10743/stat : 10743 (java) R 10736 10739 7968 0 -1 4202560 47675 0 0 0 61108 213 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825818757616 139825855472359 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10744] ppid=10736 vsize=10616768 memory=792 CPUtime=609.53 cores=0,2,4,6
/proc/10739/task/10744/stat : 10744 (java) R 10736 10739 7968 0 -1 4202560 26855 0 0 0 60684 269 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825817705072 139825855472359 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10745] ppid=10736 vsize=10616768 memory=8676 CPUtime=611.87 cores=0,2,4,6
/proc/10739/task/10745/stat : 10745 (java) R 10736 10739 7968 0 -1 4202560 26033 0 0 0 60949 238 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825816653144 139825847794756 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10746] ppid=10736 vsize=10616768 memory=1440 CPUtime=51.5 cores=0,2,4,6
/proc/10739/task/10746/stat : 10746 (java) S 10736 10739 7968 0 -1 1077944384 106001 0 0 0 5145 5 0 0 20 0 15 0 12833636 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825426751840 139825862854357 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10747] ppid=10736 vsize=10616768 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10747/stat : 10747 (java) S 10736 10739 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 12833637 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825425699808 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10748] ppid=10736 vsize=10616768 memory=11244 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10748/stat : 10748 (java) S 10736 10739 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 12833637 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825424647168 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10749] ppid=10736 vsize=10616768 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10749/stat : 10749 (java) S 10736 10739 7968 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825423595376 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10750] ppid=10736 vsize=10616768 memory=1296 CPUtime=0.59 cores=0,2,4,6
/proc/10739/task/10750/stat : 10750 (java) S 10736 10739 7968 0 -1 1077944384 2986 0 0 0 59 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825422543392 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10751] ppid=10736 vsize=10616768 memory=1732 CPUtime=0.68 cores=0,2,4,6
/proc/10739/task/10751/stat : 10751 (java) S 10736 10739 7968 0 -1 1077944384 2883 0 0 0 68 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825421490560 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10752] ppid=10736 vsize=10616768 memory=1700 CPUtime=0.31 cores=0,2,4,6
/proc/10739/task/10752/stat : 10752 (java) S 10736 10739 7968 0 -1 1077944384 2108 0 0 0 31 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825420438304 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10753] ppid=10736 vsize=10616768 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10753/stat : 10753 (java) S 10736 10739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825419385952 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10754] ppid=10736 vsize=10616768 memory=640 CPUtime=0.25 cores=0,2,4,6
/proc/10739/task/10754/stat : 10754 (java) S 10736 10739 7968 0 -1 1077944384 559 0 0 0 15 10 0 0 20 0 15 0 12833644 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825418332464 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
Current children cumulated CPU time: 2527.66 s
Current children cumulated vsize: 10616768 KiB
Current children cumulated memory: 7900492 KiB
[startup+699.701 s]
/proc/loadavg: 7.93 7.60 7.24 9/213 10891
/proc/meminfo: memFree=15486568/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=10616768 memory=7900492 CPUtime=2528.04 cores=0,2,4,6
/proc/10739/stat : 10739 (java) S 10736 10739 7968 0 -1 1077944320 270529 0 0 0 251845 959 0 0 20 0 15 0 12833629 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 140730473213280 139825862844151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
/proc/10739/statm: 2654192 1975123 3111 1 0 2643645 0
[pid=10739/tid=10741] ppid=10736 vsize=10616768 memory=4304 CPUtime=24.96 cores=0,2,4,6
/proc/10739/task/10741/stat : 10741 (java) S 10736 10739 7968 0 -1 1077944384 14919 0 0 0 2486 10 0 0 20 0 15 0 12833634 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825867076800 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10742] ppid=10736 vsize=10616768 memory=7900492 CPUtime=614.76 cores=0,2,4,6
/proc/10739/task/10742/stat : 10742 (java) S 10736 10739 7968 0 -1 1077944384 39117 0 0 0 61261 215 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825819810576 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10743] ppid=10736 vsize=10616768 memory=7900492 CPUtime=613.3 cores=0,2,4,6
/proc/10739/task/10743/stat : 10743 (java) S 10736 10739 7968 0 -1 1077944384 47675 0 0 0 61117 213 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825818758032 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10744] ppid=10736 vsize=10616768 memory=7900492 CPUtime=609.62 cores=0,2,4,6
/proc/10739/task/10744/stat : 10744 (java) S 10736 10739 7968 0 -1 1077944384 26855 0 0 0 60693 269 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825817705488 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10745] ppid=10736 vsize=10616768 memory=7900488 CPUtime=611.97 cores=0,2,4,6
/proc/10739/task/10745/stat : 10745 (java) S 10736 10739 7968 0 -1 1077944384 26033 0 0 0 60959 238 0 0 20 0 15 0 12833635 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825816652944 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10746] ppid=10736 vsize=10616768 memory=7900480 CPUtime=51.5 cores=0,2,4,6
/proc/10739/task/10746/stat : 10746 (java) R 10736 10739 7968 0 -1 4202560 106001 0 0 0 5145 5 0 0 20 0 15 0 12833636 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825426751840 139825844250541 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10747] ppid=10736 vsize=10616768 memory=7900480 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10747/stat : 10747 (java) S 10736 10739 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 12833637 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825425699808 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10748] ppid=10736 vsize=10616768 memory=7900492 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10748/stat : 10748 (java) S 10736 10739 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 12833637 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825424647168 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10749] ppid=10736 vsize=10616768 memory=7900492 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10749/stat : 10749 (java) S 10736 10739 7968 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825423595376 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10750] ppid=10736 vsize=10616768 memory=7900492 CPUtime=0.59 cores=0,2,4,6
/proc/10739/task/10750/stat : 10750 (java) S 10736 10739 7968 0 -1 1077944384 2986 0 0 0 59 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825422543392 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10751] ppid=10736 vsize=10616768 memory=288230574492221466 CPUtime=0.68 cores=0,2,4,6
/proc/10739/task/10751/stat : 10751 (java) S 10736 10739 7968 0 -1 1077944384 2883 0 0 0 68 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825421490560 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10752] ppid=10736 vsize=10616768 memory=288230613214036277 CPUtime=0.31 cores=0,2,4,6
/proc/10739/task/10752/stat : 10752 (java) S 10736 10739 7968 0 -1 1077944384 2108 0 0 0 31 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825420438304 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10753] ppid=10736 vsize=10616768 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/10739/task/10753/stat : 10753 (java) S 10736 10739 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12833639 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825419385952 139825862854357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
[pid=10739/tid=10754] ppid=10736 vsize=10616768 memory=7632 CPUtime=0.25 cores=0,2,4,6
/proc/10739/task/10754/stat : 10754 (java) S 10736 10739 7968 0 -1 1077944384 559 0 0 0 15 10 0 0 20 0 15 0 12833644 10871570432 1975123 18446744073709551615 4194304 4196468 140730473230736 139825418332464 139825862855298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140730473234833 140730473234986 140730473234986 140730473238479 0
Current children cumulated CPU time: 2528.04 s
Current children cumulated vsize: 10616768 KiB
Current children cumulated memory: 7900492 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 699.748
CPU time (s): 2528.12
CPU user time (s): 2518.49
CPU system time (s): 9.62878
CPU usage (%): 361.291
Max. virtual memory (cumulated for all children) (KiB): 10616768
Max. memory (cumulated for all children) (KiB): 7900492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.49
system time used= 9.62878
maximum resident set size= 7900752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270533
page faults= 0
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48076
involuntary context switches= 71846
# summary of solver processes directly reported to runsolver:
# pid: 10739
# total CPU time (s): 2528.12
# total CPU user time (s): 2518.49
# total CPU system time (s): 9.62878
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.37257 second user time and 6.48946 second system time
The end