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 (13975 MiB free)
memory of node 1: 16384 MiB (14137 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401411-1568681524/watcher-4401411-1568681524 -o /tmp/evaluation-result-4401411-1568681524/solver-4401411-1568681524 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568673291-25919 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=498798302 HOME/instance-4401411-1568681524.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28856, runsolver pid=28853
Current StackSize limit: 8192 KiB
[startup+0.100929 s]*
/proc/loadavg: 1.64 1.49 1.41 3/220 28913
/proc/meminfo: memFree=28779588/32770624 swapFree=66939904/67108860
[pid=28856] ppid=28853 vsize=9972712 memory=17080 CPUtime=0.1 cores=1,3,5,7
/proc/28856/stat : 28856 (java) S 28853 28856 25887 0 -1 1077944320 4544 13082 0 0 1 1 5 3 20 0 6 0 444067301 10212057088 4270 33554432000 4194304 4196468 140733462501456 140733462484000 140682422304503 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
/proc/28856/statm: 2493178 4270 1935 1 0 2481616 0
[pid=28856/tid=28909] ppid=28853 vsize=9972712 memory=7892391828772250251 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28909/stat : 28909 (java) R 28853 28856 25887 0 -1 4202560 2347 13082 0 0 0 0 5 3 20 0 6 0 444067310 10212057088 4336 33554432000 4194304 4196468 140733462501456 140682394141264 140682407616505 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28910] ppid=28853 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28910/stat : 28910 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 6 0 444067311 10212057088 4336 33554432000 4194304 4196468 140733462501456 140682426547344 140682422314709 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28911] ppid=28853 vsize=9972712 memory=140346148116096 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28911/stat : 28911 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 6 0 444067311 10212057088 4336 33554432000 4194304 4196468 140733462501456 140681995480080 140682422314709 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28912] ppid=28853 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28912/stat : 28912 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 6 0 444067311 10212057088 4336 33554432000 4194304 4196468 140733462501456 140681994427280 140682422314709 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28913] ppid=28853 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28913/stat : 28913 (java) S 28853 28856 25887 0 -1 1077944384 2 13082 0 0 0 0 5 3 20 0 6 0 444067311 10212057088 4336 33554432000 4194304 4196468 140733462501456 140681993374480 140682422314709 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.212987 s]*
/proc/loadavg: 1.64 1.49 1.41 4/229 28922
/proc/meminfo: memFree=28761184/32770624 swapFree=66939904/67108860
[pid=28856] ppid=28853 vsize=10820196 memory=41764 CPUtime=0.27 cores=1,3,5,7
/proc/28856/stat : 28856 (java) S 28853 28856 25887 0 -1 1077944320 7362 13082 0 0 18 1 5 3 20 0 15 0 444067301 11079880704 10441 33554432000 4194304 4196468 140733462501456 140733462484000 140682422304503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
/proc/28856/statm: 2705049 10441 3268 1 0 2667149 0
[pid=28856/tid=28909] ppid=28853 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/28856/task/28909/stat : 28909 (java) R 28853 28856 25887 0 -1 4202560 3839 13082 0 0 11 0 5 3 20 0 15 0 444067310 11079880704 10441 33554432000 4194304 4196468 140733462501456 140682394118688 140682422326429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28910] ppid=28853 vsize=10820196 memory=365 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28910/stat : 28910 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067311 11079880704 10441 33554432000 4194304 4196468 140733462501456 140682426547344 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28911] ppid=28853 vsize=10820196 memory=3760990410614363808 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28911/stat : 28911 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067311 11079880704 10441 33554432000 4194304 4196468 140733462501456 140681995480080 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28912] ppid=28853 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28912/stat : 28912 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067311 11079880704 10441 33554432000 4194304 4196468 140733462501456 140681994427280 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28913] ppid=28853 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28913/stat : 28913 (java) S 28853 28856 25887 0 -1 1077944384 2 13082 0 0 0 0 5 3 20 0 15 0 444067311 11079880704 10441 33554432000 4194304 4196468 140733462501456 140681993374480 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28914] ppid=28853 vsize=10820196 memory=140346148116096 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28914/stat : 28914 (java) S 28853 28856 25887 0 -1 1077944384 2 13082 0 0 0 0 5 3 20 0 15 0 444067312 11079880704 10441 33554432000 4194304 4196468 140733462501456 140681424943472 140682422315650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28915] ppid=28853 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28915/stat : 28915 (java) S 28853 28856 25887 0 -1 1077944384 33 13082 0 0 0 0 5 3 20 0 15 0 444067312 11079880704 10441 33554432000 4194304 4196468 140733462501456 140681423889440 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28916] ppid=28853 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28916/stat : 28916 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067313 11079880704 10441 33554432000 4194304 4196468 140733462501456 140681318228848 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28917] ppid=28853 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28917/stat : 28917 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067315 11079880704 10441 33554432000 4194304 4196468 140733462501456 140681010829136 140682422323099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28918] ppid=28853 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28856/task/28918/stat : 28918 (java) S 28853 28856 25887 0 -1 1077944384 487 13082 0 0 1 0 5 3 20 0 15 0 444067315 11079880704 10441 33554432000 4194304 4196468 140733462501456 140681390332784 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28919] ppid=28853 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28919/stat : 28919 (java) S 28853 28856 25887 0 -1 1077944384 188 13082 0 0 0 0 5 3 20 0 15 0 444067315 11079880704 10441 33554432000 4194304 4196468 140733462501456 140681389279984 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28920] ppid=28853 vsize=10820196 memory=140346148116096 CPUtime=0.11 cores=1,3,5,7
/proc/28856/task/28920/stat : 28920 (java) S 28853 28856 25887 0 -1 1077944384 590 13082 0 0 3 0 5 3 20 0 15 0 444067315 11079880704 10441 33554432000 4194304 4196468 140733462501456 140681388227184 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28921] ppid=28853 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28921/stat : 28921 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067316 11079880704 10441 33554432000 4194304 4196468 140733462501456 140680977271520 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28922] ppid=28853 vsize=10820196 memory=140346148116096 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28922/stat : 28922 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067316 11079880704 10441 33554432000 4194304 4196468 140733462501456 140681387174576 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41764 KiB
[startup+0.310698 s]*
/proc/loadavg: 1.64 1.49 1.41 3/229 28922
/proc/meminfo: memFree=28748524/32770624 swapFree=66939904/67108860
[pid=28856] ppid=28853 vsize=10820196 memory=50372 CPUtime=0.4 cores=1,3,5,7
/proc/28856/stat : 28856 (java) S 28853 28856 25887 0 -1 1077944320 10844 13082 0 0 29 3 5 3 20 0 15 0 444067301 11079880704 12593 33554432000 4194304 4196468 140733462501456 140733462484000 140682422304503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
/proc/28856/statm: 2705049 12593 3302 1 0 2667149 0
[pid=28856/tid=28909] ppid=28853 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/28856/task/28909/stat : 28909 (java) R 28853 28856 25887 0 -1 4202560 7315 13082 0 0 19 2 5 3 20 0 15 0 444067310 11079880704 12593 33554432000 4194304 4196468 140733462501456 140682394113456 140682406384990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28910] ppid=28853 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28910/stat : 28910 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067311 11079880704 12593 33554432000 4194304 4196468 140733462501456 140682426547344 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28911] ppid=28853 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28911/stat : 28911 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067311 11079880704 12593 33554432000 4194304 4196468 140733462501456 140681995480080 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28912] ppid=28853 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28912/stat : 28912 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067311 11079880704 12593 33554432000 4194304 4196468 140733462501456 140681994427280 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28913] ppid=28853 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28913/stat : 28913 (java) S 28853 28856 25887 0 -1 1077944384 2 13082 0 0 0 0 5 3 20 0 15 0 444067311 11079880704 12593 33554432000 4194304 4196468 140733462501456 140681993374480 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28914] ppid=28853 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28914/stat : 28914 (java) S 28853 28856 25887 0 -1 1077944384 2 13082 0 0 0 0 5 3 20 0 15 0 444067312 11079880704 12593 33554432000 4194304 4196468 140733462501456 140681424943472 140682422315650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28915] ppid=28853 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28915/stat : 28915 (java) S 28853 28856 25887 0 -1 1077944384 33 13082 0 0 0 0 5 3 20 0 15 0 444067312 11079880704 12593 33554432000 4194304 4196468 140733462501456 140681423889440 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28916] ppid=28853 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28916/stat : 28916 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067313 11079880704 12593 33554432000 4194304 4196468 140733462501456 140681318228848 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28917] ppid=28853 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28917/stat : 28917 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067315 11079880704 12593 33554432000 4194304 4196468 140733462501456 140681010829136 140682422323099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28918] ppid=28853 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/28856/task/28918/stat : 28918 (java) S 28853 28856 25887 0 -1 1077944384 488 13082 0 0 2 0 5 3 20 0 15 0 444067315 11079880704 12593 33554432000 4194304 4196468 140733462501456 140681390332784 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28919] ppid=28853 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/28856/task/28919/stat : 28919 (java) S 28853 28856 25887 0 -1 1077944384 188 13082 0 0 1 0 5 3 20 0 15 0 444067315 11079880704 12593 33554432000 4194304 4196468 140733462501456 140681389279984 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28920] ppid=28853 vsize=10820196 memory=140346148116096 CPUtime=0.13 cores=1,3,5,7
/proc/28856/task/28920/stat : 28920 (java) S 28853 28856 25887 0 -1 1077944384 597 13082 0 0 5 0 5 3 20 0 15 0 444067315 11079880704 12593 33554432000 4194304 4196468 140733462501456 140681388227184 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28921] ppid=28853 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28921/stat : 28921 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067316 11079880704 12593 33554432000 4194304 4196468 140733462501456 140680977271520 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28922] ppid=28853 vsize=10820196 memory=140346148116096 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28922/stat : 28922 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067316 11079880704 12593 33554432000 4194304 4196468 140733462501456 140681387174576 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50372 KiB
[startup+0.700725 s]
/proc/loadavg: 1.64 1.49 1.41 4/229 28922
/proc/meminfo: memFree=28734084/32770624 swapFree=66939904/67108860
[pid=28856] ppid=28853 vsize=10824364 memory=83412 CPUtime=1.11 cores=1,3,5,7
/proc/28856/stat : 28856 (java) S 28853 28856 25887 0 -1 1077944320 15077 13082 0 0 98 5 5 3 20 0 15 0 444067301 11084148736 20853 33554432000 4194304 4196468 140733462501456 140733462484000 140682422304503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
/proc/28856/statm: 2706091 20853 3512 1 0 2668173 0
[pid=28856/tid=28909] ppid=28853 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/28856/task/28909/stat : 28909 (java) R 28853 28856 25887 0 -1 4202560 10476 13082 0 0 56 3 5 3 20 0 15 0 444067310 11084148736 20853 33554432000 4194304 4196468 140733462501456 140682394120416 140682406384990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28910] ppid=28853 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28910/stat : 28910 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067311 11084148736 20853 33554432000 4194304 4196468 140733462501456 140682426547344 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28911] ppid=28853 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28911/stat : 28911 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067311 11084148736 20853 33554432000 4194304 4196468 140733462501456 140681995480080 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28912] ppid=28853 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28912/stat : 28912 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067311 11084148736 20853 33554432000 4194304 4196468 140733462501456 140681994427280 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28913] ppid=28853 vsize=10824364 memory=140346646331981 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28913/stat : 28913 (java) S 28853 28856 25887 0 -1 1077944384 2 13082 0 0 0 0 5 3 20 0 15 0 444067311 11084148736 20853 33554432000 4194304 4196468 140733462501456 140681993374480 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28914] ppid=28853 vsize=10824364 memory=140346646331982 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28914/stat : 28914 (java) S 28853 28856 25887 0 -1 1077944384 5 13082 0 0 0 0 5 3 20 0 15 0 444067312 11084148736 20853 33554432000 4194304 4196468 140733462501456 140681424943472 140682422315650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28915] ppid=28853 vsize=10824364 memory=140346646331989 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28915/stat : 28915 (java) S 28853 28856 25887 0 -1 1077944384 33 13082 0 0 0 0 5 3 20 0 15 0 444067312 11084148736 20853 33554432000 4194304 4196468 140733462501456 140681423889440 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28916] ppid=28853 vsize=10824364 memory=140346646331992 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28916/stat : 28916 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067313 11084148736 20853 33554432000 4194304 4196468 140733462501456 140681318228848 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28917] ppid=28853 vsize=10824364 memory=140346646332011 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28917/stat : 28917 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067315 11084148736 20853 33554432000 4194304 4196468 140733462501456 140681010829136 140682422323099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28918] ppid=28853 vsize=10824364 memory=140346646332016 CPUtime=0.2 cores=1,3,5,7
/proc/28856/task/28918/stat : 28918 (java) R 28853 28856 25887 0 -1 4202560 893 13082 0 0 12 0 5 3 20 0 15 0 444067315 11084148736 20853 33554432000 4194304 4196468 140733462501456 140681390332784 140682422325850 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28919] ppid=28853 vsize=10824364 memory=142850612265614 CPUtime=0.2 cores=1,3,5,7
/proc/28856/task/28919/stat : 28919 (java) R 28853 28856 25887 0 -1 4202560 609 13082 0 0 12 0 5 3 20 0 15 0 444067315 11084148736 20853 33554432000 4194304 4196468 140733462501456 140681389279984 140682422325850 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28920] ppid=28853 vsize=10824364 memory=140346646332285 CPUtime=0.25 cores=1,3,5,7
/proc/28856/task/28920/stat : 28920 (java) S 28853 28856 25887 0 -1 1077944384 841 13082 0 0 17 0 5 3 20 0 15 0 444067315 11084148736 20853 33554432000 4194304 4196468 140733462501456 140681388227184 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28921] ppid=28853 vsize=10824364 memory=14056 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28921/stat : 28921 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067316 11084148736 20853 33554432000 4194304 4196468 140733462501456 140680977271520 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28922] ppid=28853 vsize=10824364 memory=2116 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28922/stat : 28922 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067316 11084148736 20853 33554432000 4194304 4196468 140733462501456 140681387174576 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83412 KiB
[startup+1.50076 s]
/proc/loadavg: 1.64 1.49 1.41 5/229 28922
/proc/meminfo: memFree=28667512/32770624 swapFree=66939904/67108860
[pid=28856] ppid=28853 vsize=10832632 memory=233644 CPUtime=2.96 cores=1,3,5,7
/proc/28856/stat : 28856 (java) S 28853 28856 25887 0 -1 1077944320 26222 13082 0 0 277 11 5 3 20 0 15 0 444067301 11092615168 58411 33554432000 4194304 4196468 140733462501456 140733462484000 140682422304503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
/proc/28856/statm: 2708158 58411 3583 1 0 2670221 0
[pid=28856/tid=28909] ppid=28853 vsize=10832632 memory=139216 CPUtime=1.44 cores=1,3,5,7
/proc/28856/task/28909/stat : 28909 (java) R 28853 28856 25887 0 -1 4202560 15169 13082 0 0 130 6 5 3 20 0 15 0 444067310 11092615168 58411 33554432000 4194304 4196468 140733462501456 140682394122144 140682422316438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28910] ppid=28853 vsize=10832632 memory=1620 CPUtime=0.09 cores=1,3,5,7
/proc/28856/task/28910/stat : 28910 (java) S 28853 28856 25887 0 -1 1077944384 245 13082 0 0 0 1 5 3 20 0 15 0 444067311 11092615168 58411 33554432000 4194304 4196468 140733462501456 140682426547344 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28911] ppid=28853 vsize=10832632 memory=8317482817917895235 CPUtime=0.09 cores=1,3,5,7
/proc/28856/task/28911/stat : 28911 (java) S 28853 28856 25887 0 -1 1077944384 28 13082 0 0 1 0 5 3 20 0 15 0 444067311 11092615168 58411 33554432000 4194304 4196468 140733462501456 140681995480080 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28912] ppid=28853 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28856/task/28912/stat : 28912 (java) S 28853 28856 25887 0 -1 1077944384 44 13082 0 0 1 0 5 3 20 0 15 0 444067311 11092615168 58411 33554432000 4194304 4196468 140733462501456 140681994427280 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28913] ppid=28853 vsize=10832632 memory=280692085081888 CPUtime=0.09 cores=1,3,5,7
/proc/28856/task/28913/stat : 28913 (java) S 28853 28856 25887 0 -1 1077944384 71 13082 0 0 1 0 5 3 20 0 15 0 444067311 11092615168 58411 33554432000 4194304 4196468 140733462501456 140681993374480 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28914] ppid=28853 vsize=10832632 memory=140346042537232 CPUtime=0.09 cores=1,3,5,7
/proc/28856/task/28914/stat : 28914 (java) S 28853 28856 25887 0 -1 1077944384 1060 13082 0 0 1 0 5 3 20 0 15 0 444067312 11092615168 58411 33554432000 4194304 4196468 140733462501456 140681424943472 140682422315650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28915] ppid=28853 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28915/stat : 28915 (java) S 28853 28856 25887 0 -1 1077944384 33 13082 0 0 0 0 5 3 20 0 15 0 444067312 11092615168 58411 33554432000 4194304 4196468 140733462501456 140681423889440 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28916] ppid=28853 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28916/stat : 28916 (java) S 28853 28856 25887 0 -1 1077944384 4 13082 0 0 0 0 5 3 20 0 15 0 444067313 11092615168 58411 33554432000 4194304 4196468 140733462501456 140681318228848 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28917] ppid=28853 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28917/stat : 28917 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067315 11092615168 58411 33554432000 4194304 4196468 140733462501456 140681010829136 140682422323099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28918] ppid=28853 vsize=10832632 memory=4580 CPUtime=0.6 cores=1,3,5,7
/proc/28856/task/28918/stat : 28918 (java) S 28853 28856 25887 0 -1 1077944384 3124 13082 0 0 52 0 5 3 20 0 15 0 444067315 11092615168 58411 33554432000 4194304 4196468 140733462501456 140681390332784 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28919] ppid=28853 vsize=10832632 memory=280692085116608 CPUtime=0.57 cores=1,3,5,7
/proc/28856/task/28919/stat : 28919 (java) S 28853 28856 25887 0 -1 1077944384 2268 13082 0 0 49 0 5 3 20 0 15 0 444067315 11092615168 58411 33554432000 4194304 4196468 140733462501456 140681389279984 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28920] ppid=28853 vsize=10832632 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/28856/task/28920/stat : 28920 (java) R 28853 28856 25887 0 -1 4202560 1960 13082 0 0 37 0 5 3 20 0 15 0 444067315 11092615168 58411 33554432000 4194304 4196468 140733462501456 140681388227184 140682415401339 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28921] ppid=28853 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28921/stat : 28921 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067316 11092615168 58411 33554432000 4194304 4196468 140733462501456 140680977271520 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28922] ppid=28853 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28922/stat : 28922 (java) S 28853 28856 25887 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 444067316 11092615168 58411 33554432000 4194304 4196468 140733462501456 140681387174576 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
/proc/28856/task/28909/stat : 28909 (java) R 28853 28856 25887 0 -1 4202560 79424 13082 0 0 224579 49 5 3 20 0 15 0 444067310 11109412864 493410 33554432000 4194304 4196468 140733462501456 140682394117888 140682021642530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28910] ppid=28853 vsize=10849036 memory=33 CPUtime=8.37 cores=1,3,5,7
/proc/28856/task/28910/stat : 28910 (java) S 28853 28856 25887 0 -1 1077944384 23346 13082 0 0 792 37 5 3 20 0 15 0 444067311 11109412864 493410 33554432000 4194304 4196468 140733462501456 140682426547344 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28911] ppid=28853 vsize=10849036 memory=1728 CPUtime=8.37 cores=1,3,5,7
/proc/28856/task/28911/stat : 28911 (java) S 28853 28856 25887 0 -1 1077944384 16289 13082 0 0 790 39 5 3 20 0 15 0 444067311 11109412864 493410 33554432000 4194304 4196468 140733462501456 140681995480080 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28912] ppid=28853 vsize=10849036 memory=8072 CPUtime=8.36 cores=1,3,5,7
/proc/28856/task/28912/stat : 28912 (java) S 28853 28856 25887 0 -1 1077944384 22144 13082 0 0 787 41 5 3 20 0 15 0 444067311 11109412864 493410 33554432000 4194304 4196468 140733462501456 140681994427280 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28913] ppid=28853 vsize=10849036 memory=1728 CPUtime=8.37 cores=1,3,5,7
/proc/28856/task/28913/stat : 28913 (java) S 28853 28856 25887 0 -1 1077944384 23348 13082 0 0 793 36 5 3 20 0 15 0 444067311 11109412864 493410 33554432000 4194304 4196468 140733462501456 140681993374480 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28914] ppid=28853 vsize=10849036 memory=8072 CPUtime=5.91 cores=1,3,5,7
/proc/28856/task/28914/stat : 28914 (java) S 28853 28856 25887 0 -1 1077944384 19722 13082 0 0 552 31 5 3 20 0 15 0 444067312 11109412864 493410 33554432000 4194304 4196468 140733462501456 140681424943472 140682422315650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28915] ppid=28853 vsize=10849036 memory=1973640 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28915/stat : 28915 (java) S 28853 28856 25887 0 -1 1077944384 44 13082 0 0 0 0 5 3 20 0 15 0 444067312 11109412864 493410 33554432000 4194304 4196468 140733462501456 140681423889568 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28916] ppid=28853 vsize=10849036 memory=1973640 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28916/stat : 28916 (java) S 28853 28856 25887 0 -1 1077944384 20 13082 0 0 0 0 5 3 20 0 15 0 444067313 11109412864 493410 33554432000 4194304 4196468 140733462501456 140681318228864 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28917] ppid=28853 vsize=10849036 memory=1973640 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28917/stat : 28917 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067315 11109412864 493410 33554432000 4194304 4196468 140733462501456 140681010829136 140682422323099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28918] ppid=28853 vsize=10849036 memory=3504 CPUtime=4.88 cores=1,3,5,7
/proc/28856/task/28918/stat : 28918 (java) S 28853 28856 25887 0 -1 1077944384 36026 13082 0 0 475 5 5 3 20 0 15 0 444067315 11109412864 493410 33554432000 4194304 4196468 140733462501456 140681390332784 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28919] ppid=28853 vsize=10849036 memory=1973640 CPUtime=5.34 cores=1,3,5,7
/proc/28856/task/28919/stat : 28919 (java) S 28853 28856 25887 0 -1 1077944384 39632 13082 0 0 520 6 5 3 20 0 15 0 444067315 11109412864 493410 33554432000 4194304 4196468 140733462501456 140681389279984 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28920] ppid=28853 vsize=10849036 memory=1973640 CPUtime=1.92 cores=1,3,5,7
/proc/28856/task/28920/stat : 28920 (java) S 28853 28856 25887 0 -1 1077944384 16358 13082 0 0 180 4 5 3 20 0 15 0 444067315 11109412864 493410 33554432000 4194304 4196468 140733462501456 140681388227184 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28921] ppid=28853 vsize=10849036 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28921/stat : 28921 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067316 11109412864 493410 33554432000 4194304 4196468 140733462501456 140680977271520 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28922] ppid=28853 vsize=10849036 memory=47740 CPUtime=1.28 cores=1,3,5,7
/proc/28856/task/28922/stat : 28922 (java) S 28853 28856 25887 0 -1 1077944384 1524 13082 0 0 55 65 5 3 20 0 15 0 444067316 11109412864 493410 33554432000 4194304 4196468 140733462501456 140681387174576 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
Current children cumulated CPU time: 2298.55 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1973640 KiB
[startup+2322.3 s]
/proc/loadavg: 1.47 1.28 1.30 3/228 29330
/proc/meminfo: memFree=26615244/32770624 swapFree=66939904/67108860
[pid=28856] ppid=28853 vsize=10849036 memory=1975688 CPUtime=2359.35 cores=1,3,5,7
/proc/28856/stat : 28856 (java) S 28853 28856 25887 0 -1 1077944320 282148 13082 0 0 235646 281 5 3 20 0 15 0 444067301 11109412864 493922 33554432000 4194304 4196468 140733462501456 140733462484000 140682422304503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
/proc/28856/statm: 2712259 493922 3629 1 0 2674317 0
[pid=28856/tid=28909] ppid=28853 vsize=10849036 memory=1975688 CPUtime=2305.83 cores=1,3,5,7
/proc/28856/task/28909/stat : 28909 (java) R 28853 28856 25887 0 -1 4202560 80304 13082 0 0 230525 50 5 3 20 0 15 0 444067310 11109412864 493922 33554432000 4194304 4196468 140733462501456 140682394139952 140682021638507 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28910] ppid=28853 vsize=10849036 memory=280692085406176 CPUtime=8.65 cores=1,3,5,7
/proc/28856/task/28910/stat : 28910 (java) S 28853 28856 25887 0 -1 1077944384 23530 13082 0 0 819 38 5 3 20 0 15 0 444067311 11109412864 493922 33554432000 4194304 4196468 140733462501456 140682426547344 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28911] ppid=28853 vsize=10849036 memory=1973640 CPUtime=8.65 cores=1,3,5,7
/proc/28856/task/28911/stat : 28911 (java) S 28853 28856 25887 0 -1 1077944384 16381 13082 0 0 817 40 5 3 20 0 15 0 444067311 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681995480080 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28912] ppid=28853 vsize=10849036 memory=1973640 CPUtime=8.64 cores=1,3,5,7
/proc/28856/task/28912/stat : 28912 (java) S 28853 28856 25887 0 -1 1077944384 22441 13082 0 0 814 42 5 3 20 0 15 0 444067311 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681994427280 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28913] ppid=28853 vsize=10849036 memory=1973640 CPUtime=8.64 cores=1,3,5,7
/proc/28856/task/28913/stat : 28913 (java) S 28853 28856 25887 0 -1 1077944384 23705 13082 0 0 819 37 5 3 20 0 15 0 444067311 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681993374480 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28914] ppid=28853 vsize=10849036 memory=1975688 CPUtime=6.1 cores=1,3,5,7
/proc/28856/task/28914/stat : 28914 (java) S 28853 28856 25887 0 -1 1077944384 19942 13082 0 0 570 32 5 3 20 0 15 0 444067312 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681424943472 140682422315650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28915] ppid=28853 vsize=10849036 memory=1975688 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28915/stat : 28915 (java) S 28853 28856 25887 0 -1 1077944384 44 13082 0 0 0 0 5 3 20 0 15 0 444067312 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681423889568 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28916] ppid=28853 vsize=10849036 memory=1973640 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28916/stat : 28916 (java) S 28853 28856 25887 0 -1 1077944384 20 13082 0 0 0 0 5 3 20 0 15 0 444067313 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681318228864 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28917] ppid=28853 vsize=10849036 memory=280692086468640 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28917/stat : 28917 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067315 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681010829136 140682422323099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28918] ppid=28853 vsize=10849036 memory=7158026745384886633 CPUtime=4.88 cores=1,3,5,7
/proc/28856/task/28918/stat : 28918 (java) S 28853 28856 25887 0 -1 1077944384 36028 13082 0 0 475 5 5 3 20 0 15 0 444067315 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681390332784 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28919] ppid=28853 vsize=10849036 memory=3504 CPUtime=5.34 cores=1,3,5,7
/proc/28856/task/28919/stat : 28919 (java) S 28853 28856 25887 0 -1 1077944384 39634 13082 0 0 520 6 5 3 20 0 15 0 444067315 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681389279984 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28920] ppid=28853 vsize=10849036 memory=47748 CPUtime=1.92 cores=1,3,5,7
/proc/28856/task/28920/stat : 28920 (java) S 28853 28856 25887 0 -1 1077944384 16360 13082 0 0 180 4 5 3 20 0 15 0 444067315 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681388227184 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28921] ppid=28853 vsize=10849036 memory=1975688 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28921/stat : 28921 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067316 11109412864 493922 33554432000 4194304 4196468 140733462501456 140680977271520 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28922] ppid=28853 vsize=10849036 memory=776 CPUtime=1.31 cores=1,3,5,7
/proc/28856/task/28922/stat : 28922 (java) S 28853 28856 25887 0 -1 1077944384 1543 13082 0 0 57 66 5 3 20 0 15 0 444067316 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681387174576 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
Current children cumulated CPU time: 2359.35 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1975688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2362.5 s]
/proc/loadavg: 1.13 1.23 1.28 3/229 29334
/proc/meminfo: memFree=26613240/32770624 swapFree=66939904/67108860
[pid=28856] ppid=28853 vsize=10849036 memory=1975688 CPUtime=2400.06 cores=1,3,5,7
/proc/28856/stat : 28856 (java) S 28853 28856 25887 0 -1 1077944320 283523 13082 0 0 239712 286 5 3 20 0 15 0 444067301 11109412864 493922 33554432000 4194304 4196468 140733462501456 140733462484000 140682422304503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
/proc/28856/statm: 2712259 493922 3629 1 0 2674317 0
[pid=28856/tid=28909] ppid=28853 vsize=10849036 memory=1975688 CPUtime=2345.69 cores=1,3,5,7
/proc/28856/task/28909/stat : 28909 (java) R 28853 28856 25887 0 -1 4202560 80868 13082 0 0 234511 50 5 3 20 0 15 0 444067310 11109412864 493922 33554432000 4194304 4196468 140733462501456 140682394139168 140682021638862 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28910] ppid=28853 vsize=10849036 memory=1975688 CPUtime=8.83 cores=1,3,5,7
/proc/28856/task/28910/stat : 28910 (java) S 28853 28856 25887 0 -1 1077944384 23600 13082 0 0 837 38 5 3 20 0 15 0 444067311 11109412864 493922 33554432000 4194304 4196468 140733462501456 140682426547344 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28911] ppid=28853 vsize=10849036 memory=1975688 CPUtime=8.83 cores=1,3,5,7
/proc/28856/task/28911/stat : 28911 (java) S 28853 28856 25887 0 -1 1077944384 16523 13082 0 0 834 41 5 3 20 0 15 0 444067311 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681995480080 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28912] ppid=28853 vsize=10849036 memory=1975688 CPUtime=8.82 cores=1,3,5,7
/proc/28856/task/28912/stat : 28912 (java) S 28853 28856 25887 0 -1 1077944384 22483 13082 0 0 831 43 5 3 20 0 15 0 444067311 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681994427280 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28913] ppid=28853 vsize=10849036 memory=1975688 CPUtime=8.82 cores=1,3,5,7
/proc/28856/task/28913/stat : 28913 (java) S 28853 28856 25887 0 -1 1077944384 24031 13082 0 0 836 38 5 3 20 0 15 0 444067311 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681993374480 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28914] ppid=28853 vsize=10849036 memory=1975688 CPUtime=6.23 cores=1,3,5,7
/proc/28856/task/28914/stat : 28914 (java) S 28853 28856 25887 0 -1 1077944384 20143 13082 0 0 582 33 5 3 20 0 15 0 444067312 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681424943472 140682422315650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28915] ppid=28853 vsize=10849036 memory=1975688 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28915/stat : 28915 (java) S 28853 28856 25887 0 -1 1077944384 44 13082 0 0 0 0 5 3 20 0 15 0 444067312 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681423889568 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28916] ppid=28853 vsize=10849036 memory=1975688 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28916/stat : 28916 (java) S 28853 28856 25887 0 -1 1077944384 20 13082 0 0 0 0 5 3 20 0 15 0 444067313 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681318228864 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28917] ppid=28853 vsize=10849036 memory=1975688 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28917/stat : 28917 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067315 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681010829136 140682422323099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28918] ppid=28853 vsize=10849036 memory=3835289917365798628 CPUtime=4.88 cores=1,3,5,7
/proc/28856/task/28918/stat : 28918 (java) S 28853 28856 25887 0 -1 1077944384 36032 13082 0 0 475 5 5 3 20 0 15 0 444067315 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681390332784 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28919] ppid=28853 vsize=10849036 memory=1975688 CPUtime=5.34 cores=1,3,5,7
/proc/28856/task/28919/stat : 28919 (java) S 28853 28856 25887 0 -1 1077944384 39638 13082 0 0 520 6 5 3 20 0 15 0 444067315 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681389279984 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28920] ppid=28853 vsize=10849036 memory=1975688 CPUtime=1.92 cores=1,3,5,7
/proc/28856/task/28920/stat : 28920 (java) S 28853 28856 25887 0 -1 1077944384 16364 13082 0 0 180 4 5 3 20 0 15 0 444067315 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681388227184 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28921] ppid=28853 vsize=10849036 memory=1975688 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28921/stat : 28921 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067316 11109412864 493922 33554432000 4194304 4196468 140733462501456 140680977271520 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28922] ppid=28853 vsize=10849036 memory=-3252517613199061085 CPUtime=1.33 cores=1,3,5,7
/proc/28856/task/28922/stat : 28922 (java) S 28853 28856 25887 0 -1 1077944384 1561 13082 0 0 58 67 5 3 20 0 15 0 444067316 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681387174576 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1975688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2362.54 s]
# the end of solver process 28856 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.2 s, system=2.90905 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2362.5 s]
/proc/loadavg: 1.13 1.23 1.28 3/229 29334
/proc/meminfo: memFree=26613240/32770624 swapFree=66939904/67108860
[pid=28856] ppid=28853 vsize=10849036 memory=1975688 CPUtime=2400.06 cores=1,3,5,7
/proc/28856/stat : 28856 (java) S 28853 28856 25887 0 -1 1077944320 283523 13082 0 0 239712 286 5 3 20 0 15 0 444067301 11109412864 493922 33554432000 4194304 4196468 140733462501456 140733462484000 140682422304503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
/proc/28856/statm: 2712259 493922 3629 1 0 2674317 0
[pid=28856/tid=28909] ppid=28853 vsize=10849036 memory=1975688 CPUtime=2345.69 cores=1,3,5,7
/proc/28856/task/28909/stat : 28909 (java) R 28853 28856 25887 0 -1 4202560 80868 13082 0 0 234511 50 5 3 20 0 15 0 444067310 11109412864 493922 33554432000 4194304 4196468 140733462501456 140682394139168 140682021638862 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28910] ppid=28853 vsize=10849036 memory=1975688 CPUtime=8.83 cores=1,3,5,7
/proc/28856/task/28910/stat : 28910 (java) S 28853 28856 25887 0 -1 1077944384 23600 13082 0 0 837 38 5 3 20 0 15 0 444067311 11109412864 493922 33554432000 4194304 4196468 140733462501456 140682426547344 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28911] ppid=28853 vsize=10849036 memory=1975688 CPUtime=8.83 cores=1,3,5,7
/proc/28856/task/28911/stat : 28911 (java) S 28853 28856 25887 0 -1 1077944384 16523 13082 0 0 834 41 5 3 20 0 15 0 444067311 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681995480080 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28912] ppid=28853 vsize=10849036 memory=1975688 CPUtime=8.82 cores=1,3,5,7
/proc/28856/task/28912/stat : 28912 (java) S 28853 28856 25887 0 -1 1077944384 22483 13082 0 0 831 43 5 3 20 0 15 0 444067311 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681994427280 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28913] ppid=28853 vsize=10849036 memory=1975688 CPUtime=8.82 cores=1,3,5,7
/proc/28856/task/28913/stat : 28913 (java) S 28853 28856 25887 0 -1 1077944384 24031 13082 0 0 836 38 5 3 20 0 15 0 444067311 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681993374480 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28914] ppid=28853 vsize=10849036 memory=1975688 CPUtime=6.23 cores=1,3,5,7
/proc/28856/task/28914/stat : 28914 (java) S 28853 28856 25887 0 -1 1077944384 20143 13082 0 0 582 33 5 3 20 0 15 0 444067312 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681424943472 140682422315650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28915] ppid=28853 vsize=10849036 memory=1975688 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28915/stat : 28915 (java) S 28853 28856 25887 0 -1 1077944384 44 13082 0 0 0 0 5 3 20 0 15 0 444067312 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681423889568 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28916] ppid=28853 vsize=10849036 memory=1975688 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28916/stat : 28916 (java) S 28853 28856 25887 0 -1 1077944384 20 13082 0 0 0 0 5 3 20 0 15 0 444067313 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681318228864 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28917] ppid=28853 vsize=10849036 memory=1975688 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28917/stat : 28917 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067315 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681010829136 140682422323099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28918] ppid=28853 vsize=10849036 memory=3835289917365798628 CPUtime=4.88 cores=1,3,5,7
/proc/28856/task/28918/stat : 28918 (java) S 28853 28856 25887 0 -1 1077944384 36032 13082 0 0 475 5 5 3 20 0 15 0 444067315 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681390332784 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28919] ppid=28853 vsize=10849036 memory=1975688 CPUtime=5.34 cores=1,3,5,7
/proc/28856/task/28919/stat : 28919 (java) S 28853 28856 25887 0 -1 1077944384 39638 13082 0 0 520 6 5 3 20 0 15 0 444067315 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681389279984 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28920] ppid=28853 vsize=10849036 memory=1975688 CPUtime=1.92 cores=1,3,5,7
/proc/28856/task/28920/stat : 28920 (java) S 28853 28856 25887 0 -1 1077944384 16364 13082 0 0 180 4 5 3 20 0 15 0 444067315 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681388227184 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28921] ppid=28853 vsize=10849036 memory=1975688 CPUtime=0.08 cores=1,3,5,7
/proc/28856/task/28921/stat : 28921 (java) S 28853 28856 25887 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 444067316 11109412864 493922 33554432000 4194304 4196468 140733462501456 140680977271520 140682422314709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
[pid=28856/tid=28922] ppid=28853 vsize=10849036 memory=-3252517613199061085 CPUtime=1.33 cores=1,3,5,7
/proc/28856/task/28922/stat : 28922 (java) S 28853 28856 25887 0 -1 1077944384 1561 13082 0 0 58 67 5 3 20 0 15 0 444067316 11109412864 493922 33554432000 4194304 4196468 140733462501456 140681387174576 140682422315650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 33009664 140733462510320 140733462512837 140733462512837 140733462515663 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1975688 KiB
Child status: 143
Real time (s): 2362.54
CPU time (s): 2400.11
CPU user time (s): 2397.2
CPU system time (s): 2.90905
CPU usage (%): 101.59
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 2058768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.2
system time used= 2.90905
maximum resident set size= 2060816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297590
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 185627
involuntary context switches= 4986
# summary of solver processes directly reported to runsolver:
# pid: 28856
# total CPU time (s): 2400.11
# total CPU user time (s): 2397.2
# total CPU system time (s): 2.90905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1158 second user time and 23.5807 second system time
The end