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 (3490 MiB free)
memory of node 1: 16384 MiB (1494 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402651-1568980453/watcher-4402651-1568980453 -o /var/tmp/evaluation-result-4402651-1568980453/solver-4402651-1568980453 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1568967595-5563 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1846332404 HOME/instance-4402651-1568980453.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=10738, runsolver pid=10735
[startup+0.10016 s]*
/proc/loadavg: 1.50 1.47 1.46 3/219 10795
/proc/meminfo: memFree=5098732/32770624 swapFree=67001740/67108860
[pid=10738] ppid=10735 vsize=9972712 memory=18328 CPUtime=0.1 cores=0,2,4,6
/proc/10738/stat : 10738 (java) S 10735 10738 5532 0 -1 1077944320 4331 12933 0 0 1 1 5 3 20 0 6 0 473959266 10212057088 4582 33554432000 4194304 4196468 140722705557408 140722705539952 140001766293239 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
/proc/10738/statm: 2493178 4582 1930 1 0 2481616 0
[pid=10738/tid=10791] ppid=10735 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10791/stat : 10791 (java) R 10735 10738 5532 0 -1 4202560 2130 12933 0 0 0 0 5 3 20 0 6 0 473959276 10212057088 4582 33554432000 4194304 4196468 140722705557408 140001738130000 140001751975765 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10792] ppid=10735 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10792/stat : 10792 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 6 0 473959276 10212057088 4582 33554432000 4194304 4196468 140722705557408 140001770535824 140001766303445 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10793] ppid=10735 vsize=9972712 memory=139785597429376 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10793/stat : 10793 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 6 0 473959276 10212057088 4582 33554432000 4194304 4196468 140722705557408 140001658809104 140001766303445 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10794] ppid=10735 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10794/stat : 10794 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 6 0 473959276 10212057088 4582 33554432000 4194304 4196468 140722705557408 140001657756816 140001766303445 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10795] ppid=10735 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10795/stat : 10795 (java) S 10735 10738 5532 0 -1 1077944384 2 12933 0 0 0 0 5 3 20 0 6 0 473959276 10212057088 4582 33554432000 4194304 4196468 140722705557408 140001656704016 140001766303445 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.218062 s]*
/proc/loadavg: 1.50 1.47 1.46 4/228 10804
/proc/meminfo: memFree=5078056/32770624 swapFree=67001740/67108860
[pid=10738] ppid=10735 vsize=10821220 memory=44720 CPUtime=0.27 cores=0,2,4,6
/proc/10738/stat : 10738 (java) S 10735 10738 5532 0 -1 1077944320 9196 12933 0 0 17 2 5 3 20 0 15 0 473959266 11080929280 11180 33554432000 4194304 4196468 140722705557408 140722705539952 140001766293239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
/proc/10738/statm: 2705305 11180 3297 1 0 2667405 0
[pid=10738/tid=10791] ppid=10735 vsize=10821220 memory=5450916389569530688 CPUtime=0.19 cores=0,2,4,6
/proc/10738/task/10791/stat : 10791 (java) R 10735 10738 5532 0 -1 4202560 5675 12933 0 0 10 1 5 3 20 0 15 0 473959276 11080929280 11180 33554432000 4194304 4196468 140722705557408 140001738105600 140001758972957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10792] ppid=10735 vsize=10821220 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10792/stat : 10792 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959276 11080929280 11180 33554432000 4194304 4196468 140722705557408 140001770535824 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10793] ppid=10735 vsize=10821220 memory=139785597429376 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10793/stat : 10793 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959276 11080929280 11180 33554432000 4194304 4196468 140722705557408 140001658809104 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10794] ppid=10735 vsize=10821220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10794/stat : 10794 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959276 11080929280 11180 33554432000 4194304 4196468 140722705557408 140001657756816 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10795] ppid=10735 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10795/stat : 10795 (java) S 10735 10738 5532 0 -1 1077944384 2 12933 0 0 0 0 5 3 20 0 15 0 473959276 11080929280 11180 33554432000 4194304 4196468 140722705557408 140001656704016 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10796] ppid=10735 vsize=10821220 memory=139785597429376 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10796/stat : 10796 (java) S 10735 10738 5532 0 -1 1077944384 2 12933 0 0 0 0 5 3 20 0 15 0 473959278 11080929280 11180 33554432000 4194304 4196468 140722705557408 140001225799792 140001766304386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10797] ppid=10735 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10797/stat : 10797 (java) S 10735 10738 5532 0 -1 1077944384 33 12933 0 0 0 0 5 3 20 0 15 0 473959278 11080929280 11180 33554432000 4194304 4196468 140722705557408 140001224745760 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10798] ppid=10735 vsize=10821220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10798/stat : 10798 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959278 11080929280 11180 33554432000 4194304 4196468 140722705557408 140000633021552 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10799] ppid=10735 vsize=10821220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10799/stat : 10799 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11080929280 11180 33554432000 4194304 4196468 140722705557408 140000325621840 140001766311835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10800] ppid=10735 vsize=10821220 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10738/task/10800/stat : 10800 (java) S 10735 10738 5532 0 -1 1077944384 336 12933 0 0 1 0 5 3 20 0 15 0 473959281 11080929280 11180 33554432000 4194304 4196468 140722705557408 140001191189104 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10801] ppid=10735 vsize=10821220 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/10738/task/10801/stat : 10801 (java) S 10735 10738 5532 0 -1 1077944384 323 12933 0 0 1 0 5 3 20 0 15 0 473959281 11080929280 11180 33554432000 4194304 4196468 140722705557408 140001190136304 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10802] ppid=10735 vsize=10821220 memory=139785597429376 CPUtime=0.11 cores=0,2,4,6
/proc/10738/task/10802/stat : 10802 (java) S 10735 10738 5532 0 -1 1077944384 612 12933 0 0 3 0 5 3 20 0 15 0 473959281 11080929280 11180 33554432000 4194304 4196468 140722705557408 140001189084016 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10803] ppid=10735 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10803/stat : 10803 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11080929280 11180 33554432000 4194304 4196468 140722705557408 140000292064224 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10804] ppid=10735 vsize=10821220 memory=139785597429376 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10804/stat : 10804 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959282 11080929280 11180 33554432000 4194304 4196468 140722705557408 140001188030896 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10821220 KiB
Current children cumulated memory: 44720 KiB
[startup+0.311109 s]*
/proc/loadavg: 1.50 1.47 1.46 4/228 10804
/proc/meminfo: memFree=5069272/32770624 swapFree=67001740/67108860
[pid=10738] ppid=10735 vsize=10820196 memory=49296 CPUtime=0.4 cores=0,2,4,6
/proc/10738/stat : 10738 (java) S 10735 10738 5532 0 -1 1077944320 10580 12933 0 0 29 3 5 3 20 0 15 0 473959266 11079880704 12324 33554432000 4194304 4196468 140722705557408 140722705539952 140001766293239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
/proc/10738/statm: 2705049 12324 3309 1 0 2667149 0
[pid=10738/tid=10791] ppid=10735 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/10738/task/10791/stat : 10791 (java) R 10735 10738 5532 0 -1 4202560 7054 12933 0 0 19 2 5 3 20 0 15 0 473959276 11079880704 12324 33554432000 4194304 4196468 140722705557408 140001738097344 140001750373726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10792] ppid=10735 vsize=10820196 memory=6224943820361197929 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10792/stat : 10792 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959276 11079880704 12324 33554432000 4194304 4196468 140722705557408 140001770535824 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10793] ppid=10735 vsize=10820196 memory=5787213827347079232 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10793/stat : 10793 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959276 11079880704 12324 33554432000 4194304 4196468 140722705557408 140001658809104 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10794] ppid=10735 vsize=10820196 memory=7649539178320447169 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10794/stat : 10794 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959276 11079880704 12324 33554432000 4194304 4196468 140722705557408 140001657756816 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10795] ppid=10735 vsize=10820196 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10795/stat : 10795 (java) S 10735 10738 5532 0 -1 1077944384 2 12933 0 0 0 0 5 3 20 0 15 0 473959276 11079880704 12324 33554432000 4194304 4196468 140722705557408 140001656704016 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10796] ppid=10735 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10796/stat : 10796 (java) S 10735 10738 5532 0 -1 1077944384 2 12933 0 0 0 0 5 3 20 0 15 0 473959278 11079880704 12324 33554432000 4194304 4196468 140722705557408 140001225799792 140001766304386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10797] ppid=10735 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10797/stat : 10797 (java) S 10735 10738 5532 0 -1 1077944384 33 12933 0 0 0 0 5 3 20 0 15 0 473959278 11079880704 12324 33554432000 4194304 4196468 140722705557408 140001224745760 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10798] ppid=10735 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10798/stat : 10798 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959278 11079880704 12324 33554432000 4194304 4196468 140722705557408 140000633021552 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10799] ppid=10735 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10799/stat : 10799 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11079880704 12324 33554432000 4194304 4196468 140722705557408 140000325621840 140001766311835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10800] ppid=10735 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/10738/task/10800/stat : 10800 (java) S 10735 10738 5532 0 -1 1077944384 336 12933 0 0 2 0 5 3 20 0 15 0 473959281 11079880704 12324 33554432000 4194304 4196468 140722705557408 140001191189104 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10801] ppid=10735 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/10738/task/10801/stat : 10801 (java) S 10735 10738 5532 0 -1 1077944384 324 12933 0 0 2 0 5 3 20 0 15 0 473959281 11079880704 12324 33554432000 4194304 4196468 140722705557408 140001190136304 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10802] ppid=10735 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/10738/task/10802/stat : 10802 (java) S 10735 10738 5532 0 -1 1077944384 620 12933 0 0 5 0 5 3 20 0 15 0 473959281 11079880704 12324 33554432000 4194304 4196468 140722705557408 140001189084016 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10803] ppid=10735 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10803/stat : 10803 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11079880704 12324 33554432000 4194304 4196468 140722705557408 140000292064224 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10804] ppid=10735 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10804/stat : 10804 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959282 11079880704 12324 33554432000 4194304 4196468 140722705557408 140001188030896 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49296 KiB
[startup+0.711061 s]
/proc/loadavg: 1.50 1.47 1.46 3/228 10804
/proc/meminfo: memFree=5053368/32770624 swapFree=67001740/67108860
[pid=10738] ppid=10735 vsize=10824364 memory=82064 CPUtime=1.18 cores=0,2,4,6
/proc/10738/stat : 10738 (java) S 10735 10738 5532 0 -1 1077944320 14756 12933 0 0 104 6 5 3 20 0 15 0 473959266 11084148736 20511 33554432000 4194304 4196468 140722705557408 140722705539952 140001766293239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
/proc/10738/statm: 2706091 20516 3505 1 0 2668173 0
[pid=10738/tid=10791] ppid=10735 vsize=10824364 memory=2241 CPUtime=0.68 cores=0,2,4,6
/proc/10738/task/10791/stat : 10791 (java) R 10735 10738 5532 0 -1 4202560 10074 12933 0 0 56 4 5 3 20 0 15 0 473959276 11084148736 20516 33554432000 4194304 4196468 140722705557408 140001738120400 140001766315165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10792] ppid=10735 vsize=10824364 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10792/stat : 10792 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959276 11084148736 20516 33554432000 4194304 4196468 140722705557408 140001770535824 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10793] ppid=10735 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10793/stat : 10793 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959276 11084148736 20516 33554432000 4194304 4196468 140722705557408 140001658809104 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10794] ppid=10735 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10794/stat : 10794 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959276 11084148736 20516 33554432000 4194304 4196468 140722705557408 140001657756816 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10795] ppid=10735 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10795/stat : 10795 (java) S 10735 10738 5532 0 -1 1077944384 2 12933 0 0 0 0 5 3 20 0 15 0 473959276 11084148736 20516 33554432000 4194304 4196468 140722705557408 140001656704016 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10796] ppid=10735 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10796/stat : 10796 (java) S 10735 10738 5532 0 -1 1077944384 5 12933 0 0 0 0 5 3 20 0 15 0 473959278 11084148736 20516 33554432000 4194304 4196468 140722705557408 140001225799792 140001766304386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10797] ppid=10735 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10797/stat : 10797 (java) S 10735 10738 5532 0 -1 1077944384 33 12933 0 0 0 0 5 3 20 0 15 0 473959278 11084148736 20516 33554432000 4194304 4196468 140722705557408 140001224745760 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10798] ppid=10735 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10798/stat : 10798 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959278 11084148736 20516 33554432000 4194304 4196468 140722705557408 140000633021552 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10799] ppid=10735 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10799/stat : 10799 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11084148736 20516 33554432000 4194304 4196468 140722705557408 140000325621840 140001766311835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10800] ppid=10735 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/10738/task/10800/stat : 10800 (java) S 10735 10738 5532 0 -1 1077944384 959 12933 0 0 16 0 5 3 20 0 15 0 473959281 11084148736 20516 33554432000 4194304 4196468 140722705557408 140001191189104 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10801] ppid=10735 vsize=10824364 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/10738/task/10801/stat : 10801 (java) R 10735 10738 5532 0 -1 4202560 717 12933 0 0 14 0 5 3 20 0 15 0 473959281 11084148736 20516 33554432000 4194304 4196468 140722705557408 140001190122400 140001747820966 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10802] ppid=10735 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/10738/task/10802/stat : 10802 (java) R 10735 10738 5532 0 -1 4202560 761 12933 0 0 17 0 5 3 20 0 15 0 473959281 11084148736 20516 33554432000 4194304 4196468 140722705557408 140001189084016 140001747703247 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10803] ppid=10735 vsize=10824364 memory=139785482045424 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10803/stat : 10803 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11084148736 20516 33554432000 4194304 4196468 140722705557408 140000292064224 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10804] ppid=10735 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10804/stat : 10804 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959282 11084148736 20516 33554432000 4194304 4196468 140722705557408 140001188030896 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 82064 KiB
[startup+1.50067 s]
/proc/loadavg: 1.50 1.47 1.46 3/228 10804
/proc/meminfo: memFree=5009196/32770624 swapFree=67001740/67108860
[pid=10738] ppid=10735 vsize=10834680 memory=167780 CPUtime=2.48 cores=0,2,4,6
/proc/10738/stat : 10738 (java) S 10735 10738 5532 0 -1 1077944320 21619 12933 0 0 230 10 5 3 20 0 15 0 473959266 11094712320 41945 33554432000 4194304 4196468 140722705557408 140722705539952 140001766293239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
/proc/10738/statm: 2708670 41945 3580 1 0 2670733 0
[pid=10738/tid=10791] ppid=10735 vsize=10834680 memory=19 CPUtime=1.43 cores=0,2,4,6
/proc/10738/task/10791/stat : 10791 (java) R 10735 10738 5532 0 -1 4202560 15021 12933 0 0 129 6 5 3 20 0 15 0 473959276 11094712320 41945 33554432000 4194304 4196468 140722705557408 140001738092464 140001320971396 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10792] ppid=10735 vsize=10834680 memory=26 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10792/stat : 10792 (java) S 10735 10738 5532 0 -1 1077944384 372 12933 0 0 0 0 5 3 20 0 15 0 473959276 11094712320 41945 33554432000 4194304 4196468 140722705557408 140001770535824 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10793] ppid=10735 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10738/task/10793/stat : 10793 (java) S 10735 10738 5532 0 -1 1077944384 84 12933 0 0 1 0 5 3 20 0 15 0 473959276 11094712320 41945 33554432000 4194304 4196468 140722705557408 140001658809104 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10794] ppid=10735 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10738/task/10794/stat : 10794 (java) S 10735 10738 5532 0 -1 1077944384 51 12933 0 0 1 0 5 3 20 0 15 0 473959276 11094712320 41945 33554432000 4194304 4196468 140722705557408 140001657756816 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10795] ppid=10735 vsize=10834680 memory=95956 CPUtime=0.09 cores=0,2,4,6
/proc/10738/task/10795/stat : 10795 (java) S 10735 10738 5532 0 -1 1077944384 21 12933 0 0 1 0 5 3 20 0 15 0 473959276 11094712320 41945 33554432000 4194304 4196468 140722705557408 140001656704016 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10796] ppid=10735 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10738/task/10796/stat : 10796 (java) S 10735 10738 5532 0 -1 1077944384 148 12933 0 0 1 0 5 3 20 0 15 0 473959278 11094712320 41945 33554432000 4194304 4196468 140722705557408 140001225799792 140001766304386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10797] ppid=10735 vsize=10834680 memory=6296705546968717411 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10797/stat : 10797 (java) S 10735 10738 5532 0 -1 1077944384 34 12933 0 0 0 0 5 3 20 0 15 0 473959278 11094712320 41945 33554432000 4194304 4196468 140722705557408 140001224745760 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10798] ppid=10735 vsize=10834680 memory=7521688016946489186 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10798/stat : 10798 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959278 11094712320 41945 33554432000 4194304 4196468 140722705557408 140000633021552 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10799] ppid=10735 vsize=10834680 memory=7666906002484650338 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10799/stat : 10799 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11094712320 41945 33554432000 4194304 4196468 140722705557408 140000325621840 140001766311835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10800] ppid=10735 vsize=10834680 memory=5787218259806017892 CPUtime=0.33 cores=0,2,4,6
/proc/10738/task/10800/stat : 10800 (java) S 10735 10738 5532 0 -1 1077944384 1044 12933 0 0 25 0 5 3 20 0 15 0 473959281 11094712320 41945 33554432000 4194304 4196468 140722705557408 140001191189104 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10801] ppid=10735 vsize=10834680 memory=8099279106076141136 CPUtime=0.34 cores=0,2,4,6
/proc/10738/task/10801/stat : 10801 (java) S 10735 10738 5532 0 -1 1077944384 944 12933 0 0 26 0 5 3 20 0 15 0 473959281 11094712320 41945 33554432000 4194304 4196468 140722705557408 140001190136304 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10802] ppid=10735 vsize=10834680 memory=6296705546968717411 CPUtime=0.49 cores=0,2,4,6
/proc/10738/task/10802/stat : 10802 (java) R 10735 10738 5532 0 -1 4202560 1690 12933 0 0 41 0 5 3 20 0 15 0 473959281 11094712320 41945 33554432000 4194304 4196468 140722705557408 140001189084016 140001744458790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10803] ppid=10735 vsize=10834680 memory=6296705546968717411 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10803/stat : 10803 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11094712320 41945 33554432000 4194304 4196468 140722705557408 140000292064224 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10804] ppid=10735 vsize=10834680 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10804/stat : 10804 (java) S 10735 10738 5532 0 -1 1077944384 1 12933 0 0 0 0 5 3 20 0 15 0 473959282 11094712320 41945 33554432000 4194304 4196468 140722705557408 140001188030896 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/10738/task/10791/stat : 10791 (java) R 10735 10738 5532 0 -1 4202560 51885 12933 0 0 235476 46 5 3 20 0 15 0 473959276 11105218560 180633 33554432000 4194304 4196468 140722705557408 140001738128688 140001333384507 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10792] ppid=10735 vsize=10844940 memory=722508 CPUtime=11.86 cores=0,2,4,6
/proc/10738/task/10792/stat : 10792 (java) S 10735 10738 5532 0 -1 1077944384 8845 12933 0 0 1117 61 5 3 20 0 15 0 473959276 11105218560 180633 33554432000 4194304 4196468 140722705557408 140001770535824 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10793] ppid=10735 vsize=10844940 memory=722508 CPUtime=11.86 cores=0,2,4,6
/proc/10738/task/10793/stat : 10793 (java) S 10735 10738 5532 0 -1 1077944384 7236 12933 0 0 1116 62 5 3 20 0 15 0 473959276 11105218560 180633 33554432000 4194304 4196468 140722705557408 140001658809104 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10794] ppid=10735 vsize=10844940 memory=722508 CPUtime=11.85 cores=0,2,4,6
/proc/10738/task/10794/stat : 10794 (java) S 10735 10738 5532 0 -1 1077944384 6587 12933 0 0 1111 66 5 3 20 0 15 0 473959276 11105218560 180633 33554432000 4194304 4196468 140722705557408 140001657756816 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10795] ppid=10735 vsize=10844940 memory=722508 CPUtime=11.87 cores=0,2,4,6
/proc/10738/task/10795/stat : 10795 (java) S 10735 10738 5532 0 -1 1077944384 9744 12933 0 0 1120 59 5 3 20 0 15 0 473959276 11105218560 180633 33554432000 4194304 4196468 140722705557408 140001656704016 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10796] ppid=10735 vsize=10844940 memory=722508 CPUtime=11.7 cores=0,2,4,6
/proc/10738/task/10796/stat : 10796 (java) S 10735 10738 5532 0 -1 1077944384 10473 12933 0 0 1100 62 5 3 20 0 15 0 473959278 11105218560 180633 33554432000 4194304 4196468 140722705557408 140001225799792 140001766304386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10797] ppid=10735 vsize=10844940 memory=722508 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10797/stat : 10797 (java) S 10735 10738 5532 0 -1 1077944384 44 12933 0 0 0 0 5 3 20 0 15 0 473959278 11105218560 180633 33554432000 4194304 4196468 140722705557408 140001224745888 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10798] ppid=10735 vsize=10844940 memory=279570964147528 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10798/stat : 10798 (java) S 10735 10738 5532 0 -1 1077944384 14 12933 0 0 0 0 5 3 20 0 15 0 473959278 11105218560 180633 33554432000 4194304 4196468 140722705557408 140000633021568 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10799] ppid=10735 vsize=10844940 memory=722508 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10799/stat : 10799 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11105218560 180633 33554432000 4194304 4196468 140722705557408 140000325621840 140001766311835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10800] ppid=10735 vsize=10844940 memory=722508 CPUtime=2.16 cores=0,2,4,6
/proc/10738/task/10800/stat : 10800 (java) S 10735 10738 5532 0 -1 1077944384 7297 12933 0 0 206 2 5 3 20 0 15 0 473959281 11105218560 180633 33554432000 4194304 4196468 140722705557408 140001191189104 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10801] ppid=10735 vsize=10844940 memory=722508 CPUtime=2.26 cores=0,2,4,6
/proc/10738/task/10801/stat : 10801 (java) S 10735 10738 5532 0 -1 1077944384 13153 12933 0 0 215 3 5 3 20 0 15 0 473959281 11105218560 180633 33554432000 4194304 4196468 140722705557408 140001190136304 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10802] ppid=10735 vsize=10844940 memory=288230596050944315 CPUtime=1.42 cores=0,2,4,6
/proc/10738/task/10802/stat : 10802 (java) S 10735 10738 5532 0 -1 1077944384 6653 12933 0 0 132 2 5 3 20 0 15 0 473959281 11105218560 180633 33554432000 4194304 4196468 140722705557408 140001189084016 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10803] ppid=10735 vsize=10844940 memory=722508 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10803/stat : 10803 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11105218560 180633 33554432000 4194304 4196468 140722705557408 140000292064224 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10804] ppid=10735 vsize=10844940 memory=3616 CPUtime=1.54 cores=0,2,4,6
/proc/10738/task/10804/stat : 10804 (java) S 10735 10738 5532 0 -1 1077944384 918 12933 0 0 76 70 5 3 20 0 15 0 473959282 11105218560 180633 33554432000 4194304 4196468 140722705557408 140001188030896 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
Current children cumulated CPU time: 2421.2 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 722532 KiB
[startup+2442.3 s]
/proc/loadavg: 1.31 1.34 1.33 3/228 11179
/proc/meminfo: memFree=4206600/32770624 swapFree=67001748/67108860
[pid=10738] ppid=10735 vsize=10844940 memory=722608 CPUtime=2482.05 cores=0,2,4,6
/proc/10738/stat : 10738 (java) S 10735 10738 5532 0 -1 1077944320 126101 12933 0 0 247831 366 5 3 20 0 15 0 473959266 11105218560 180652 33554432000 4194304 4196468 140722705557408 140722705539952 140001766293239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
/proc/10738/statm: 2711235 180652 3624 1 0 2673293 0
[pid=10738/tid=10791] ppid=10735 vsize=10844940 memory=722608 CPUtime=2414.59 cores=0,2,4,6
/proc/10738/task/10791/stat : 10791 (java) R 10735 10738 5532 0 -1 4202560 52530 12933 0 0 241404 47 5 3 20 0 15 0 473959276 11105218560 180652 33554432000 4194304 4196468 140722705557408 140001738129472 140001333178388 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10792] ppid=10735 vsize=10844940 memory=722508 CPUtime=12.16 cores=0,2,4,6
/proc/10738/task/10792/stat : 10792 (java) S 10735 10738 5532 0 -1 1077944384 8936 12933 0 0 1145 63 5 3 20 0 15 0 473959276 11105218560 180652 33554432000 4194304 4196468 140722705557408 140001770535824 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10793] ppid=10735 vsize=10844940 memory=722568 CPUtime=12.18 cores=0,2,4,6
/proc/10738/task/10793/stat : 10793 (java) S 10735 10738 5532 0 -1 1077944384 7256 12933 0 0 1145 65 5 3 20 0 15 0 473959276 11105218560 180652 33554432000 4194304 4196468 140722705557408 140001658809104 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10794] ppid=10735 vsize=10844940 memory=722608 CPUtime=12.16 cores=0,2,4,6
/proc/10738/task/10794/stat : 10794 (java) S 10735 10738 5532 0 -1 1077944384 6634 12933 0 0 1141 67 5 3 20 0 15 0 473959276 11105218560 180652 33554432000 4194304 4196468 140722705557408 140001657756816 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10795] ppid=10735 vsize=10844940 memory=3616 CPUtime=12.18 cores=0,2,4,6
/proc/10738/task/10795/stat : 10795 (java) S 10735 10738 5532 0 -1 1077944384 9773 12933 0 0 1149 61 5 3 20 0 15 0 473959276 11105218560 180652 33554432000 4194304 4196468 140722705557408 140001656704016 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10796] ppid=10735 vsize=10844940 memory=722608 CPUtime=12 cores=0,2,4,6
/proc/10738/task/10796/stat : 10796 (java) S 10735 10738 5532 0 -1 1077944384 10662 12933 0 0 1128 64 5 3 20 0 15 0 473959278 11105218560 180652 33554432000 4194304 4196468 140722705557408 140001225799792 140001766304386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10797] ppid=10735 vsize=10844940 memory=722608 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10797/stat : 10797 (java) S 10735 10738 5532 0 -1 1077944384 44 12933 0 0 0 0 5 3 20 0 15 0 473959278 11105218560 180652 33554432000 4194304 4196468 140722705557408 140001224745888 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10798] ppid=10735 vsize=10844940 memory=722608 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10798/stat : 10798 (java) S 10735 10738 5532 0 -1 1077944384 14 12933 0 0 0 0 5 3 20 0 15 0 473959278 11105218560 180652 33554432000 4194304 4196468 140722705557408 140000633021568 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10799] ppid=10735 vsize=10844940 memory=722608 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10799/stat : 10799 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11105218560 180652 33554432000 4194304 4196468 140722705557408 140000325621840 140001766311835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10800] ppid=10735 vsize=10844940 memory=722532 CPUtime=2.16 cores=0,2,4,6
/proc/10738/task/10800/stat : 10800 (java) S 10735 10738 5532 0 -1 1077944384 7299 12933 0 0 206 2 5 3 20 0 15 0 473959281 11105218560 180652 33554432000 4194304 4196468 140722705557408 140001191189104 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10801] ppid=10735 vsize=10844940 memory=53252 CPUtime=2.26 cores=0,2,4,6
/proc/10738/task/10801/stat : 10801 (java) S 10735 10738 5532 0 -1 1077944384 13155 12933 0 0 215 3 5 3 20 0 15 0 473959281 11105218560 180652 33554432000 4194304 4196468 140722705557408 140001190136304 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10802] ppid=10735 vsize=10844940 memory=988 CPUtime=1.42 cores=0,2,4,6
/proc/10738/task/10802/stat : 10802 (java) S 10735 10738 5532 0 -1 1077944384 6655 12933 0 0 132 2 5 3 20 0 15 0 473959281 11105218560 180652 33554432000 4194304 4196468 140722705557408 140001189084016 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10803] ppid=10735 vsize=10844940 memory=722608 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10803/stat : 10803 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11105218560 180652 33554432000 4194304 4196468 140722705557408 140000292064224 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10804] ppid=10735 vsize=10844940 memory=722608 CPUtime=1.58 cores=0,2,4,6
/proc/10738/task/10804/stat : 10804 (java) S 10735 10738 5532 0 -1 1077944384 935 12933 0 0 79 71 5 3 20 0 15 0 473959282 11105218560 180652 33554432000 4194304 4196468 140722705557408 140001188030896 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
Current children cumulated CPU time: 2482.05 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 722608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2479.7 s]
/proc/loadavg: 1.09 1.28 1.31 3/228 11182
/proc/meminfo: memFree=4203796/32770624 swapFree=67001748/67108860
[pid=10738] ppid=10735 vsize=10844940 memory=724688 CPUtime=2520 cores=0,2,4,6
/proc/10738/stat : 10738 (java) S 10735 10738 5532 0 -1 1077944320 126664 12933 0 0 251621 371 5 3 20 0 15 0 473959266 11105218560 181172 33554432000 4194304 4196468 140722705557408 140722705539952 140001766293239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
/proc/10738/statm: 2711235 181172 3624 1 0 2673293 0
[pid=10738/tid=10791] ppid=10735 vsize=10844940 memory=724688 CPUtime=2451.49 cores=0,2,4,6
/proc/10738/task/10791/stat : 10791 (java) R 10735 10738 5532 0 -1 4202560 52900 12933 0 0 245094 47 5 3 20 0 15 0 473959276 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001738128576 140001332746665 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10792] ppid=10735 vsize=10844940 memory=722640 CPUtime=12.36 cores=0,2,4,6
/proc/10738/task/10792/stat : 10792 (java) S 10735 10738 5532 0 -1 1077944384 9063 12933 0 0 1164 64 5 3 20 0 15 0 473959276 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001770535824 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10793] ppid=10735 vsize=10844940 memory=722640 CPUtime=12.38 cores=0,2,4,6
/proc/10738/task/10793/stat : 10793 (java) S 10735 10738 5532 0 -1 1077944384 7276 12933 0 0 1165 65 5 3 20 0 15 0 473959276 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001658809104 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10794] ppid=10735 vsize=10844940 memory=722640 CPUtime=12.37 cores=0,2,4,6
/proc/10738/task/10794/stat : 10794 (java) S 10735 10738 5532 0 -1 1077944384 6653 12933 0 0 1161 68 5 3 20 0 15 0 473959276 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001657756816 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10795] ppid=10735 vsize=10844940 memory=722640 CPUtime=12.38 cores=0,2,4,6
/proc/10738/task/10795/stat : 10795 (java) S 10735 10738 5532 0 -1 1077944384 9789 12933 0 0 1168 62 5 3 20 0 15 0 473959276 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001656704016 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10796] ppid=10735 vsize=10844940 memory=722640 CPUtime=12.2 cores=0,2,4,6
/proc/10738/task/10796/stat : 10796 (java) S 10735 10738 5532 0 -1 1077944384 10669 12933 0 0 1147 65 5 3 20 0 15 0 473959278 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001225799792 140001766304386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10797] ppid=10735 vsize=10844940 memory=722640 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10797/stat : 10797 (java) S 10735 10738 5532 0 -1 1077944384 44 12933 0 0 0 0 5 3 20 0 15 0 473959278 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001224745888 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10798] ppid=10735 vsize=10844940 memory=722608 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10798/stat : 10798 (java) S 10735 10738 5532 0 -1 1077944384 14 12933 0 0 0 0 5 3 20 0 15 0 473959278 11105218560 181172 33554432000 4194304 4196468 140722705557408 140000633021568 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10799] ppid=10735 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10799/stat : 10799 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11105218560 181172 33554432000 4194304 4196468 140722705557408 140000325621840 140001766311835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10800] ppid=10735 vsize=10844940 memory=722608 CPUtime=2.16 cores=0,2,4,6
/proc/10738/task/10800/stat : 10800 (java) S 10735 10738 5532 0 -1 1077944384 7299 12933 0 0 206 2 5 3 20 0 15 0 473959281 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001191189104 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10801] ppid=10735 vsize=10844940 memory=722608 CPUtime=2.26 cores=0,2,4,6
/proc/10738/task/10801/stat : 10801 (java) S 10735 10738 5532 0 -1 1077944384 13155 12933 0 0 215 3 5 3 20 0 15 0 473959281 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001190136304 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10802] ppid=10735 vsize=10844940 memory=724688 CPUtime=1.42 cores=0,2,4,6
/proc/10738/task/10802/stat : 10802 (java) S 10735 10738 5532 0 -1 1077944384 6655 12933 0 0 132 2 5 3 20 0 15 0 473959281 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001189084016 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10803] ppid=10735 vsize=10844940 memory=1424 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10803/stat : 10803 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11105218560 181172 33554432000 4194304 4196468 140722705557408 140000292064224 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10804] ppid=10735 vsize=10844940 memory=56 CPUtime=1.61 cores=0,2,4,6
/proc/10738/task/10804/stat : 10804 (java) S 10735 10738 5532 0 -1 1077944384 939 12933 0 0 81 72 5 3 20 0 15 0 473959282 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001188030896 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 724688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2479.74 s]
# the end of solver process 10738 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.29 s, system=3.75631 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2479.7 s]
/proc/loadavg: 1.09 1.28 1.31 3/228 11182
/proc/meminfo: memFree=4203796/32770624 swapFree=67001748/67108860
[pid=10738] ppid=10735 vsize=10844940 memory=724688 CPUtime=2520 cores=0,2,4,6
/proc/10738/stat : 10738 (java) S 10735 10738 5532 0 -1 1077944320 126664 12933 0 0 251621 371 5 3 20 0 15 0 473959266 11105218560 181172 33554432000 4194304 4196468 140722705557408 140722705539952 140001766293239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
/proc/10738/statm: 2711235 181172 3624 1 0 2673293 0
[pid=10738/tid=10791] ppid=10735 vsize=10844940 memory=724688 CPUtime=2451.49 cores=0,2,4,6
/proc/10738/task/10791/stat : 10791 (java) R 10735 10738 5532 0 -1 4202560 52900 12933 0 0 245094 47 5 3 20 0 15 0 473959276 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001738128576 140001332746665 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10792] ppid=10735 vsize=10844940 memory=722640 CPUtime=12.36 cores=0,2,4,6
/proc/10738/task/10792/stat : 10792 (java) S 10735 10738 5532 0 -1 1077944384 9063 12933 0 0 1164 64 5 3 20 0 15 0 473959276 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001770535824 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10793] ppid=10735 vsize=10844940 memory=722640 CPUtime=12.38 cores=0,2,4,6
/proc/10738/task/10793/stat : 10793 (java) S 10735 10738 5532 0 -1 1077944384 7276 12933 0 0 1165 65 5 3 20 0 15 0 473959276 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001658809104 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10794] ppid=10735 vsize=10844940 memory=722640 CPUtime=12.37 cores=0,2,4,6
/proc/10738/task/10794/stat : 10794 (java) S 10735 10738 5532 0 -1 1077944384 6653 12933 0 0 1161 68 5 3 20 0 15 0 473959276 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001657756816 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10795] ppid=10735 vsize=10844940 memory=722640 CPUtime=12.38 cores=0,2,4,6
/proc/10738/task/10795/stat : 10795 (java) S 10735 10738 5532 0 -1 1077944384 9789 12933 0 0 1168 62 5 3 20 0 15 0 473959276 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001656704016 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10796] ppid=10735 vsize=10844940 memory=722640 CPUtime=12.2 cores=0,2,4,6
/proc/10738/task/10796/stat : 10796 (java) S 10735 10738 5532 0 -1 1077944384 10669 12933 0 0 1147 65 5 3 20 0 15 0 473959278 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001225799792 140001766304386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10797] ppid=10735 vsize=10844940 memory=722640 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10797/stat : 10797 (java) S 10735 10738 5532 0 -1 1077944384 44 12933 0 0 0 0 5 3 20 0 15 0 473959278 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001224745888 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10798] ppid=10735 vsize=10844940 memory=722608 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10798/stat : 10798 (java) S 10735 10738 5532 0 -1 1077944384 14 12933 0 0 0 0 5 3 20 0 15 0 473959278 11105218560 181172 33554432000 4194304 4196468 140722705557408 140000633021568 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10799] ppid=10735 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10799/stat : 10799 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11105218560 181172 33554432000 4194304 4196468 140722705557408 140000325621840 140001766311835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10800] ppid=10735 vsize=10844940 memory=722608 CPUtime=2.16 cores=0,2,4,6
/proc/10738/task/10800/stat : 10800 (java) S 10735 10738 5532 0 -1 1077944384 7299 12933 0 0 206 2 5 3 20 0 15 0 473959281 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001191189104 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10801] ppid=10735 vsize=10844940 memory=722608 CPUtime=2.26 cores=0,2,4,6
/proc/10738/task/10801/stat : 10801 (java) S 10735 10738 5532 0 -1 1077944384 13155 12933 0 0 215 3 5 3 20 0 15 0 473959281 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001190136304 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10802] ppid=10735 vsize=10844940 memory=724688 CPUtime=1.42 cores=0,2,4,6
/proc/10738/task/10802/stat : 10802 (java) S 10735 10738 5532 0 -1 1077944384 6655 12933 0 0 132 2 5 3 20 0 15 0 473959281 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001189084016 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10803] ppid=10735 vsize=10844940 memory=1424 CPUtime=0.08 cores=0,2,4,6
/proc/10738/task/10803/stat : 10803 (java) S 10735 10738 5532 0 -1 1077944384 3 12933 0 0 0 0 5 3 20 0 15 0 473959281 11105218560 181172 33554432000 4194304 4196468 140722705557408 140000292064224 140001766303445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
[pid=10738/tid=10804] ppid=10735 vsize=10844940 memory=56 CPUtime=1.61 cores=0,2,4,6
/proc/10738/task/10804/stat : 10804 (java) S 10735 10738 5532 0 -1 1077944384 939 12933 0 0 81 72 5 3 20 0 15 0 473959282 11105218560 181172 33554432000 4194304 4196468 140722705557408 140001188030896 140001766304386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26677248 140722705566307 140722705568949 140722705568949 140722705571791 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 724688 KiB
Child status: 143
Real time (s): 2479.74
CPU time (s): 2520.05
CPU user time (s): 2516.29
CPU system time (s): 3.75631
CPU usage (%): 101.626
Max. virtual memory (cumulated for all children) (KiB): 10847656
Max. memory (cumulated for all children) (KiB): 724688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.29
system time used= 3.75631
maximum resident set size= 728908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140459
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 318800
involuntary context switches= 9239
# summary of solver processes directly reported to runsolver:
# pid: 10738
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.29
# total CPU system time (s): 3.75631
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4422 second user time and 23.3947 second system time
The end