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 (4520 MiB free)
memory of node 1: 16384 MiB (6277 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402912-1568976076/watcher-4402912-1568976076 -o /var/tmp/evaluation-result-4402912-1568976076/solver-4402912-1568976076 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1568967598-26370 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=48196352 HOME/instance-4402912-1568976076.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29788, runsolver pid=29785
[startup+0.100094 s]*
/proc/loadavg: 1.66 1.69 1.71 5/219 29841
/proc/meminfo: memFree=11043716/32770624 swapFree=67001824/67108860
[pid=29788] ppid=29785 vsize=141156 memory=5296 CPUtime=0.08 cores=1,3,5,7
/proc/29788/stat : 29788 (java) S 29785 29788 26338 0 -1 1077944320 2523 13322 0 0 0 0 5 3 20 0 2 0 473847190 144543744 1324 33554432000 4194304 4196468 140732947880688 140732947863232 140281711365879 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
/proc/29788/statm: 35289 1324 993 1 0 24747 0
[pid=29788/tid=29841] ppid=29785 vsize=141156 memory=3054156605369319308 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29841/stat : 29841 (java) D 29785 29788 26338 0 -1 4202560 320 13322 0 0 0 0 5 3 20 0 2 0 473847200 144543744 1324 33554432000 4194304 4196468 140732947880688 140281683208624 140281711387709 0 0 0 16784584 18446744071581152138 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 141156 KiB
Current children cumulated memory: 5296 KiB
[startup+0.210135 s]*
/proc/loadavg: 1.66 1.69 1.71 9/232 29854
/proc/meminfo: memFree=11014564/32770624 swapFree=67001824/67108860
[pid=29788] ppid=29785 vsize=10819716 memory=37756 CPUtime=0.23 cores=1,3,5,7
/proc/29788/stat : 29788 (java) S 29785 29788 26338 0 -1 1077944320 6808 13322 0 0 13 2 5 3 20 0 15 0 473847190 11079389184 9439 33554432000 4194304 4196468 140732947880688 140732947863232 140281711365879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
/proc/29788/statm: 2704929 9439 3150 1 0 2667149 0
[pid=29788/tid=29841] ppid=29785 vsize=10819716 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/29788/task/29841/stat : 29841 (java) R 29785 29788 26338 0 -1 4202560 3334 13322 0 0 8 1 5 3 20 0 15 0 473847200 11079389184 9439 33554432000 4194304 4196468 140732947880688 140281683198608 140281711387805 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29842] ppid=29785 vsize=10819716 memory=364 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29842/stat : 29842 (java) S 29785 29788 26338 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473847202 11079389184 9439 33554432000 4194304 4196468 140732947880688 140281715608208 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29843] ppid=29785 vsize=10819716 memory=140068197708219 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29843/stat : 29843 (java) S 29785 29788 26338 0 -1 1077944384 2 13322 0 0 0 0 5 3 20 0 15 0 473847202 11079389184 9439 33554432000 4194304 4196468 140732947880688 140281619810832 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29844] ppid=29785 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29844/stat : 29844 (java) S 29785 29788 26338 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473847202 11079389184 9439 33554432000 4194304 4196468 140732947880688 140281283139984 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29845] ppid=29785 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29845/stat : 29845 (java) S 29785 29788 26338 0 -1 1077944384 2 13322 0 0 0 0 5 3 20 0 15 0 473847202 11079389184 9439 33554432000 4194304 4196468 140732947880688 140281282087184 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29846] ppid=29785 vsize=10819716 memory=140068197680768 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29846/stat : 29846 (java) S 29785 29788 26338 0 -1 1077944384 2 13322 0 0 0 0 5 3 20 0 15 0 473847203 11079389184 9439 33554432000 4194304 4196468 140732947880688 140281237994352 140281711377026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29847] ppid=29785 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29847/stat : 29847 (java) S 29785 29788 26338 0 -1 1077944384 13 13322 0 0 0 0 5 3 20 0 15 0 473847204 11079389184 9439 33554432000 4194304 4196468 140732947880688 140281148073504 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29848] ppid=29785 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29848/stat : 29848 (java) S 29785 29788 26338 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473847204 11079389184 9439 33554432000 4194304 4196468 140732947880688 140280476984688 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29849] ppid=29785 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29849/stat : 29849 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11079389184 9439 33554432000 4194304 4196468 140732947880688 140280236693840 140281711384475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29850] ppid=29785 vsize=10819716 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29788/task/29850/stat : 29850 (java) R 29785 29788 26338 0 -1 1077944384 582 13322 0 0 1 0 5 3 20 0 15 0 473847207 11079389184 9439 33554432000 4194304 4196468 140732947880688 140281236941168 140281711377026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29851] ppid=29785 vsize=10819716 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/29788/task/29851/stat : 29851 (java) R 29785 29788 26338 0 -1 4202560 69 13322 0 0 1 0 5 3 20 0 15 0 473847207 11079389184 9439 33554432000 4194304 4196468 140732947880688 140281235888368 140281694752463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29852] ppid=29785 vsize=10819716 memory=140068197680768 CPUtime=0.1 cores=1,3,5,7
/proc/29788/task/29852/stat : 29852 (java) S 29785 29788 26338 0 -1 1077944384 592 13322 0 0 2 0 5 3 20 0 15 0 473847207 11079389184 9439 33554432000 4194304 4196468 140732947880688 140281234835568 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29853] ppid=29785 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29853/stat : 29853 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11079389184 9439 33554432000 4194304 4196468 140732947880688 140280203135200 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29854] ppid=29785 vsize=10819716 memory=140068197680768 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29854/stat : 29854 (java) S 29785 29788 26338 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473847207 11079389184 9439 33554432000 4194304 4196468 140732947880688 140281233783984 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 37756 KiB
[startup+0.31113 s]*
/proc/loadavg: 1.66 1.69 1.71 3/232 29854
/proc/meminfo: memFree=10992304/32770624 swapFree=67001824/67108860
[pid=29788] ppid=29785 vsize=10820196 memory=49780 CPUtime=0.37 cores=1,3,5,7
/proc/29788/stat : 29788 (java) S 29785 29788 26338 0 -1 1077944320 10629 13322 0 0 25 4 5 3 20 0 15 0 473847190 11079880704 12445 33554432000 4194304 4196468 140732947880688 140732947863232 140281711365879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
/proc/29788/statm: 2705049 12445 3304 1 0 2667149 0
[pid=29788/tid=29841] ppid=29785 vsize=10820196 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/29788/task/29841/stat : 29841 (java) R 29785 29788 26338 0 -1 4202560 7119 13322 0 0 16 3 5 3 20 0 15 0 473847200 11079880704 12448 33554432000 4194304 4196468 140732947880688 140281683174800 140281695446366 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29842] ppid=29785 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29842/stat : 29842 (java) S 29785 29788 26338 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473847202 11079880704 12448 33554432000 4194304 4196468 140732947880688 140281715608208 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29843] ppid=29785 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29843/stat : 29843 (java) S 29785 29788 26338 0 -1 1077944384 2 13322 0 0 0 0 5 3 20 0 15 0 473847202 11079880704 12448 33554432000 4194304 4196468 140732947880688 140281619810832 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29844] ppid=29785 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29844/stat : 29844 (java) S 29785 29788 26338 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473847202 11079880704 12448 33554432000 4194304 4196468 140732947880688 140281283139984 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29845] ppid=29785 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29845/stat : 29845 (java) S 29785 29788 26338 0 -1 1077944384 2 13322 0 0 0 0 5 3 20 0 15 0 473847202 11079880704 12448 33554432000 4194304 4196468 140732947880688 140281282087184 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29846] ppid=29785 vsize=10820196 memory=140068197680768 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29846/stat : 29846 (java) S 29785 29788 26338 0 -1 1077944384 2 13322 0 0 0 0 5 3 20 0 15 0 473847203 11079880704 12448 33554432000 4194304 4196468 140732947880688 140281237994352 140281711377026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29847] ppid=29785 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29847/stat : 29847 (java) S 29785 29788 26338 0 -1 1077944384 13 13322 0 0 0 0 5 3 20 0 15 0 473847204 11079880704 12448 33554432000 4194304 4196468 140732947880688 140281148073504 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29848] ppid=29785 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29848/stat : 29848 (java) S 29785 29788 26338 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473847204 11079880704 12448 33554432000 4194304 4196468 140732947880688 140280476984688 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29849] ppid=29785 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29849/stat : 29849 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11079880704 12448 33554432000 4194304 4196468 140732947880688 140280236693840 140281711384475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29850] ppid=29785 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29788/task/29850/stat : 29850 (java) S 29785 29788 26338 0 -1 1077944384 583 13322 0 0 1 0 5 3 20 0 15 0 473847207 11079880704 12448 33554432000 4194304 4196468 140732947880688 140281236941168 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29851] ppid=29785 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/29788/task/29851/stat : 29851 (java) S 29785 29788 26338 0 -1 1077944384 79 13322 0 0 1 0 5 3 20 0 15 0 473847207 11079880704 12448 33554432000 4194304 4196468 140732947880688 140281235888368 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29852] ppid=29785 vsize=10820196 memory=140068197680768 CPUtime=0.13 cores=1,3,5,7
/proc/29788/task/29852/stat : 29852 (java) S 29785 29788 26338 0 -1 1077944384 620 13322 0 0 5 0 5 3 20 0 15 0 473847207 11079880704 12448 33554432000 4194304 4196468 140732947880688 140281234835568 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29853] ppid=29785 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29853/stat : 29853 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11079880704 12448 33554432000 4194304 4196468 140732947880688 140280203135200 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29854] ppid=29785 vsize=10820196 memory=140068197680768 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29854/stat : 29854 (java) S 29785 29788 26338 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473847207 11079880704 12448 33554432000 4194304 4196468 140732947880688 140281233783984 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49780 KiB
[startup+0.700689 s]
/proc/loadavg: 1.66 1.69 1.71 3/232 29854
/proc/meminfo: memFree=10963180/32770624 swapFree=67001824/67108860
[pid=29788] ppid=29785 vsize=10822316 memory=80952 CPUtime=1.1 cores=1,3,5,7
/proc/29788/stat : 29788 (java) S 29785 29788 26338 0 -1 1077944320 14975 13322 0 0 96 6 5 3 20 0 15 0 473847190 11082051584 20238 33554432000 4194304 4196468 140732947880688 140732947863232 140281711365879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
/proc/29788/statm: 2705579 20238 3495 1 0 2667661 0
[pid=29788/tid=29841] ppid=29785 vsize=10822316 memory=920 CPUtime=0.64 cores=1,3,5,7
/proc/29788/task/29841/stat : 29841 (java) R 29785 29788 26338 0 -1 4202560 10348 13322 0 0 52 4 5 3 20 0 15 0 473847200 11082051584 20238 33554432000 4194304 4196468 140732947880688 140281683189568 140281695446366 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29842] ppid=29785 vsize=10822316 memory=3848 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29842/stat : 29842 (java) S 29785 29788 26338 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473847202 11082051584 20238 33554432000 4194304 4196468 140732947880688 140281715608208 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29843] ppid=29785 vsize=10822316 memory=2708 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29843/stat : 29843 (java) S 29785 29788 26338 0 -1 1077944384 2 13322 0 0 0 0 5 3 20 0 15 0 473847202 11082051584 20238 33554432000 4194304 4196468 140732947880688 140281619810832 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29844] ppid=29785 vsize=10822316 memory=2608 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29844/stat : 29844 (java) S 29785 29788 26338 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473847202 11082051584 20238 33554432000 4194304 4196468 140732947880688 140281283139984 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29845] ppid=29785 vsize=10822316 memory=4100 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29845/stat : 29845 (java) S 29785 29788 26338 0 -1 1077944384 2 13322 0 0 0 0 5 3 20 0 15 0 473847202 11082051584 20238 33554432000 4194304 4196468 140732947880688 140281282087184 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29846] ppid=29785 vsize=10822316 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29846/stat : 29846 (java) S 29785 29788 26338 0 -1 1077944384 5 13322 0 0 0 0 5 3 20 0 15 0 473847203 11082051584 20238 33554432000 4194304 4196468 140732947880688 140281237994352 140281711377026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29847] ppid=29785 vsize=10822316 memory=2424 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29847/stat : 29847 (java) S 29785 29788 26338 0 -1 1077944384 13 13322 0 0 0 0 5 3 20 0 15 0 473847204 11082051584 20238 33554432000 4194304 4196468 140732947880688 140281148073504 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29848] ppid=29785 vsize=10822316 memory=84492 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29848/stat : 29848 (java) S 29785 29788 26338 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473847204 11082051584 20238 33554432000 4194304 4196468 140732947880688 140280476984688 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29849] ppid=29785 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29849/stat : 29849 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11082051584 20238 33554432000 4194304 4196468 140732947880688 140280236693840 140281711384475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29850] ppid=29785 vsize=10822316 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/29788/task/29850/stat : 29850 (java) R 29785 29788 26338 0 -1 4202560 1000 13322 0 0 11 0 5 3 20 0 15 0 473847207 11082051584 20238 33554432000 4194304 4196468 140732947880688 140281236941168 140281691021201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29851] ppid=29785 vsize=10822316 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/29788/task/29851/stat : 29851 (java) R 29785 29788 26338 0 -1 4202560 592 13322 0 0 15 0 5 3 20 0 15 0 473847207 11082051584 20238 33554432000 4194304 4196468 140732947880688 140281235877360 140281688877505 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29852] ppid=29785 vsize=10822316 memory=2116 CPUtime=0.24 cores=1,3,5,7
/proc/29788/task/29852/stat : 29852 (java) S 29785 29788 26338 0 -1 1077944384 801 13322 0 0 16 0 5 3 20 0 15 0 473847207 11082051584 20238 33554432000 4194304 4196468 140732947880688 140281234835568 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29853] ppid=29785 vsize=10822316 memory=29032 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29853/stat : 29853 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11082051584 20238 33554432000 4194304 4196468 140732947880688 140280203135200 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29854] ppid=29785 vsize=10822316 memory=496 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29854/stat : 29854 (java) S 29785 29788 26338 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473847207 11082051584 20238 33554432000 4194304 4196468 140732947880688 140281233783984 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 80952 KiB
[startup+1.5007 s]
/proc/loadavg: 1.85 1.73 1.72 6/232 29854
/proc/meminfo: memFree=10819152/32770624 swapFree=67001824/67108860
[pid=29788] ppid=29785 vsize=10832632 memory=233084 CPUtime=2.99 cores=1,3,5,7
/proc/29788/stat : 29788 (java) S 29785 29788 26338 0 -1 1077944320 25024 13322 0 0 280 11 5 3 20 0 15 0 473847190 11092615168 58271 33554432000 4194304 4196468 140732947880688 140732947863232 140281711365879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
/proc/29788/statm: 2708158 58271 3583 1 0 2670221 0
[pid=29788/tid=29841] ppid=29785 vsize=10832632 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/29788/task/29841/stat : 29841 (java) R 29785 29788 26338 0 -1 4202560 14830 13322 0 0 126 7 5 3 20 0 15 0 473847200 11092615168 58271 33554432000 4194304 4196468 140732947880688 140281683190288 140281695446366 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29842] ppid=29785 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29788/task/29842/stat : 29842 (java) S 29785 29788 26338 0 -1 1077944384 82 13322 0 0 1 0 5 3 20 0 15 0 473847202 11092615168 58271 33554432000 4194304 4196468 140732947880688 140281715608208 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29843] ppid=29785 vsize=10832632 memory=7522228981060364376 CPUtime=0.09 cores=1,3,5,7
/proc/29788/task/29843/stat : 29843 (java) S 29785 29788 26338 0 -1 1077944384 279 13322 0 0 1 0 5 3 20 0 15 0 473847202 11092615168 58271 33554432000 4194304 4196468 140732947880688 140281619810832 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29844] ppid=29785 vsize=10832632 memory=7019251829366219096 CPUtime=0.09 cores=1,3,5,7
/proc/29788/task/29844/stat : 29844 (java) S 29785 29788 26338 0 -1 1077944384 24 13322 0 0 1 0 5 3 20 0 15 0 473847202 11092615168 58271 33554432000 4194304 4196468 140732947880688 140281283139984 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29845] ppid=29785 vsize=10832632 memory=7445402792495507818 CPUtime=0.09 cores=1,3,5,7
/proc/29788/task/29845/stat : 29845 (java) S 29785 29788 26338 0 -1 1077944384 27 13322 0 0 1 0 5 3 20 0 15 0 473847202 11092615168 58271 33554432000 4194304 4196468 140732947880688 140281282087184 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29846] ppid=29785 vsize=10832632 memory=5787504188646319192 CPUtime=0.09 cores=1,3,5,7
/proc/29788/task/29846/stat : 29846 (java) S 29785 29788 26338 0 -1 1077944384 100 13322 0 0 1 0 5 3 20 0 15 0 473847203 11092615168 58271 33554432000 4194304 4196468 140732947880688 140281237994352 140281711377026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29847] ppid=29785 vsize=10832632 memory=7666930217644479594 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29847/stat : 29847 (java) S 29785 29788 26338 0 -1 1077944384 14 13322 0 0 0 0 5 3 20 0 15 0 473847204 11092615168 58271 33554432000 4194304 4196468 140732947880688 140281148073568 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29848] ppid=29785 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29848/stat : 29848 (java) S 29785 29788 26338 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473847204 11092615168 58271 33554432000 4194304 4196468 140732947880688 140280476984704 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29849] ppid=29785 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29849/stat : 29849 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11092615168 58271 33554432000 4194304 4196468 140732947880688 140280236693840 140281711384475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29850] ppid=29785 vsize=10832632 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/29788/task/29850/stat : 29850 (java) S 29785 29788 26338 0 -1 1077944384 3362 13322 0 0 57 0 5 3 20 0 15 0 473847207 11092615168 58271 33554432000 4194304 4196468 140732947880688 140281236941168 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29851] ppid=29785 vsize=10832632 memory=15470472203376 CPUtime=0.61 cores=1,3,5,7
/proc/29788/task/29851/stat : 29851 (java) S 29785 29788 26338 0 -1 1077944384 2101 13322 0 0 53 0 5 3 20 0 15 0 473847207 11092615168 58271 33554432000 4194304 4196468 140732947880688 140281235888368 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29852] ppid=29785 vsize=10832632 memory=280135550894200 CPUtime=0.44 cores=1,3,5,7
/proc/29788/task/29852/stat : 29852 (java) R 29785 29788 26338 0 -1 4202560 1996 13322 0 0 36 0 5 3 20 0 15 0 473847207 11092615168 58271 33554432000 4194304 4196468 140732947880688 140281234835568 140281690502143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29853] ppid=29785 vsize=10832632 memory=302867294856688907 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29853/stat : 29853 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11092615168 58271 33554432000 4194304 4196468 140732947880688 140280203135200 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29854] ppid=29785 vsize=10832632 memory=14414834539113786 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29854/stat : 29854 (java) S 29785 29788 26338 0 -1 1077944384 1 13322 0 0 0 0 5 3 20 0 15 0 473847207 11092615168 58271 33554432000 4194304 4196468 140732947880688 140281233783984 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 10832632 KiB
Current children cumulated memory: 233084 KiB
[startup+3.11041 s]
/proc/loadavg: 1.85 1.73 1.72 3/232 29854
/proc/meminfo: memFree=10536108/32770624 swapFree=67001824/67108860
[pid=29788] ppid=29785 vsize=10840844 memory=285928 CPUtime=6.77 cores=1,3,5,7
/proc/29788/stat : 29788 (java) S 29785 29788 26338 0 -1 1077944320 31155 13322 0 0 654 15 5 3 20 0 15 0 473847190 11101024256 71482 33554432000 4194304 4196468 140732947880688 140732947863232 140281711365879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
/proc/29788/statm: 2710211 71482 3599 1 0 2672269 0
################
# More data... #
################
[pid=29788/tid=29845] ppid=29785 vsize=10849036 memory=1848052 CPUtime=1.78 cores=1,3,5,7
/proc/29788/task/29845/stat : 29845 (java) S 29785 29788 26338 0 -1 1077944384 38434 13322 0 0 156 14 5 3 20 0 15 0 473847202 11109412864 462013 33554432000 4194304 4196468 140732947880688 140281282087184 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29846] ppid=29785 vsize=10849036 memory=1848048 CPUtime=1.21 cores=1,3,5,7
/proc/29788/task/29846/stat : 29846 (java) S 29785 29788 26338 0 -1 1077944384 32736 13322 0 0 103 10 5 3 20 0 15 0 473847203 11109412864 462013 33554432000 4194304 4196468 140732947880688 140281237994352 140281711377026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29847] ppid=29785 vsize=10849036 memory=1845972 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29847/stat : 29847 (java) S 29785 29788 26338 0 -1 1077944384 22 13322 0 0 0 0 5 3 20 0 15 0 473847204 11109412864 462013 33554432000 4194304 4196468 140732947880688 140281148073632 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29848] ppid=29785 vsize=10849036 memory=1848052 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29848/stat : 29848 (java) S 29785 29788 26338 0 -1 1077944384 28 13322 0 0 0 0 5 3 20 0 15 0 473847204 11109412864 462013 33554432000 4194304 4196468 140732947880688 140280476984704 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29849] ppid=29785 vsize=10849036 memory=1848052 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29849/stat : 29849 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11109412864 462013 33554432000 4194304 4196468 140732947880688 140280236693840 140281711384475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29850] ppid=29785 vsize=10849036 memory=1848052 CPUtime=5.05 cores=1,3,5,7
/proc/29788/task/29850/stat : 29850 (java) S 29785 29788 26338 0 -1 1077944384 42286 13322 0 0 492 5 5 3 20 0 15 0 473847207 11109412864 462013 33554432000 4194304 4196468 140732947880688 140281236941168 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29851] ppid=29785 vsize=10849036 memory=288230574492221466 CPUtime=4.49 cores=1,3,5,7
/proc/29788/task/29851/stat : 29851 (java) S 29785 29788 26338 0 -1 1077944384 36336 13322 0 0 437 4 5 3 20 0 15 0 473847207 11109412864 462013 33554432000 4194304 4196468 140732947880688 140281235888368 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29852] ppid=29785 vsize=10849036 memory=288230583166042426 CPUtime=1.99 cores=1,3,5,7
/proc/29788/task/29852/stat : 29852 (java) S 29785 29788 26338 0 -1 1077944384 27922 13322 0 0 186 5 5 3 20 0 15 0 473847207 11109412864 462013 33554432000 4194304 4196468 140732947880688 140281234835568 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29853] ppid=29785 vsize=10849036 memory=8560 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29853/stat : 29853 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11109412864 462013 33554432000 4194304 4196468 140732947880688 140280203135200 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29854] ppid=29785 vsize=10849036 memory=6132 CPUtime=1.38 cores=1,3,5,7
/proc/29788/task/29854/stat : 29854 (java) S 29785 29788 26338 0 -1 1077944384 2936 13322 0 0 60 70 5 3 20 0 15 0 473847207 11109412864 462013 33554432000 4194304 4196468 140732947880688 140281233783984 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
Current children cumulated CPU time: 2339.9 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1848052 KiB
[startup+2382.3 s]
/proc/loadavg: 1.21 1.44 1.52 3/232 30099
/proc/meminfo: memFree=7292504/32770624 swapFree=67001832/67108860
[pid=29788] ppid=29785 vsize=10849036 memory=1848100 CPUtime=2400.1 cores=1,3,5,7
/proc/29788/stat : 29788 (java) S 29785 29788 26338 0 -1 1077944320 452380 13322 0 0 239820 182 5 3 20 0 15 0 473847190 11109412864 462025 33554432000 4194304 4196468 140732947880688 140732947863232 140281711365879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
/proc/29788/statm: 2712259 462025 3629 1 0 2674317 0
[pid=29788/tid=29841] ppid=29785 vsize=10849036 memory=1848100 CPUtime=2379.17 cores=1,3,5,7
/proc/29788/task/29841/stat : 29841 (java) R 29785 29788 26338 0 -1 4202560 128543 13322 0 0 237864 45 5 3 20 0 15 0 473847200 11109412864 462025 33554432000 4194304 4196468 140732947880688 140281683194048 140281313813028 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29842] ppid=29785 vsize=10849036 memory=1848100 CPUtime=1.84 cores=1,3,5,7
/proc/29788/task/29842/stat : 29842 (java) S 29785 29788 26338 0 -1 1077944384 55903 13322 0 0 160 16 5 3 20 0 15 0 473847202 11109412864 462025 33554432000 4194304 4196468 140732947880688 140281715608208 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29843] ppid=29785 vsize=10849036 memory=1848096 CPUtime=1.83 cores=1,3,5,7
/proc/29788/task/29843/stat : 29843 (java) S 29785 29788 26338 0 -1 1077944384 41943 13322 0 0 162 13 5 3 20 0 15 0 473847202 11109412864 462025 33554432000 4194304 4196468 140732947880688 140281619810832 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29844] ppid=29785 vsize=10849036 memory=235998 CPUtime=1.83 cores=1,3,5,7
/proc/29788/task/29844/stat : 29844 (java) S 29785 29788 26338 0 -1 1077944384 40215 13322 0 0 161 14 5 3 20 0 15 0 473847202 11109412864 462025 33554432000 4194304 4196468 140732947880688 140281283139984 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29845] ppid=29785 vsize=10849036 memory=1848096 CPUtime=1.84 cores=1,3,5,7
/proc/29788/task/29845/stat : 29845 (java) S 29785 29788 26338 0 -1 1077944384 38546 13322 0 0 162 14 5 3 20 0 15 0 473847202 11109412864 462025 33554432000 4194304 4196468 140732947880688 140281282087184 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29846] ppid=29785 vsize=10849036 memory=1848100 CPUtime=1.25 cores=1,3,5,7
/proc/29788/task/29846/stat : 29846 (java) S 29785 29788 26338 0 -1 1077944384 33401 13322 0 0 107 10 5 3 20 0 15 0 473847203 11109412864 462025 33554432000 4194304 4196468 140732947880688 140281237994352 140281711377026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29847] ppid=29785 vsize=10849036 memory=1848096 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29847/stat : 29847 (java) S 29785 29788 26338 0 -1 1077944384 22 13322 0 0 0 0 5 3 20 0 15 0 473847204 11109412864 462025 33554432000 4194304 4196468 140732947880688 140281148073632 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29848] ppid=29785 vsize=10849036 memory=1848080 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29848/stat : 29848 (java) S 29785 29788 26338 0 -1 1077944384 28 13322 0 0 0 0 5 3 20 0 15 0 473847204 11109412864 462025 33554432000 4194304 4196468 140732947880688 140280476984704 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29849] ppid=29785 vsize=10849036 memory=1848080 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29849/stat : 29849 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11109412864 462025 33554432000 4194304 4196468 140732947880688 140280236693840 140281711384475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29850] ppid=29785 vsize=10849036 memory=1848076 CPUtime=5.05 cores=1,3,5,7
/proc/29788/task/29850/stat : 29850 (java) S 29785 29788 26338 0 -1 1077944384 42290 13322 0 0 492 5 5 3 20 0 15 0 473847207 11109412864 462025 33554432000 4194304 4196468 140732947880688 140281236941168 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29851] ppid=29785 vsize=10849036 memory=988 CPUtime=4.49 cores=1,3,5,7
/proc/29788/task/29851/stat : 29851 (java) S 29785 29788 26338 0 -1 1077944384 36340 13322 0 0 437 4 5 3 20 0 15 0 473847207 11109412864 462025 33554432000 4194304 4196468 140732947880688 140281235888368 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29852] ppid=29785 vsize=10849036 memory=1848100 CPUtime=2 cores=1,3,5,7
/proc/29788/task/29852/stat : 29852 (java) S 29785 29788 26338 0 -1 1077944384 29949 13322 0 0 186 6 5 3 20 0 15 0 473847207 11109412864 462025 33554432000 4194304 4196468 140732947880688 140281234835568 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29853] ppid=29785 vsize=10849036 memory=3280 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29853/stat : 29853 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11109412864 462025 33554432000 4194304 4196468 140732947880688 140280203135200 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29854] ppid=29785 vsize=10849036 memory=6791534058613427641 CPUtime=1.41 cores=1,3,5,7
/proc/29788/task/29854/stat : 29854 (java) S 29785 29788 26338 0 -1 1077944384 2991 13322 0 0 61 72 5 3 20 0 15 0 473847207 11109412864 462025 33554432000 4194304 4196468 140732947880688 140281233783984 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1848100 KiB
[startup+2442.3 s]
/proc/loadavg: 1.65 1.51 1.54 3/232 30105
/proc/meminfo: memFree=7292704/32770624 swapFree=67001832/67108860
[pid=29788] ppid=29785 vsize=10849036 memory=1848152 CPUtime=2460.29 cores=1,3,5,7
/proc/29788/stat : 29788 (java) S 29785 29788 26338 0 -1 1077944320 461914 13322 0 0 245836 185 5 3 20 0 15 0 473847190 11109412864 462038 33554432000 4194304 4196468 140732947880688 140732947863232 140281711365879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
/proc/29788/statm: 2712259 462038 3629 1 0 2674317 0
[pid=29788/tid=29841] ppid=29785 vsize=10849036 memory=6791534058613427641 CPUtime=2439.06 cores=1,3,5,7
/proc/29788/task/29841/stat : 29841 (java) R 29785 29788 26338 0 -1 4202560 131059 13322 0 0 243853 45 5 3 20 0 15 0 473847200 11109412864 462038 33554432000 4194304 4196468 140732947880688 140281683201920 140281313810491 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29842] ppid=29785 vsize=10849036 memory=1848152 CPUtime=1.9 cores=1,3,5,7
/proc/29788/task/29842/stat : 29842 (java) S 29785 29788 26338 0 -1 1077944384 57788 13322 0 0 166 16 5 3 20 0 15 0 473847202 11109412864 462038 33554432000 4194304 4196468 140732947880688 140281715608208 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29843] ppid=29785 vsize=10849036 memory=1848140 CPUtime=1.9 cores=1,3,5,7
/proc/29788/task/29843/stat : 29843 (java) S 29785 29788 26338 0 -1 1077944384 42162 13322 0 0 168 14 5 3 20 0 15 0 473847202 11109412864 462038 33554432000 4194304 4196468 140732947880688 140281619810832 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29844] ppid=29785 vsize=10849036 memory=1848140 CPUtime=1.88 cores=1,3,5,7
/proc/29788/task/29844/stat : 29844 (java) S 29785 29788 26338 0 -1 1077944384 40616 13322 0 0 166 14 5 3 20 0 15 0 473847202 11109412864 462038 33554432000 4194304 4196468 140732947880688 140281283139984 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29845] ppid=29785 vsize=10849036 memory=1848152 CPUtime=1.9 cores=1,3,5,7
/proc/29788/task/29845/stat : 29845 (java) S 29785 29788 26338 0 -1 1077944384 41993 13322 0 0 168 14 5 3 20 0 15 0 473847202 11109412864 462038 33554432000 4194304 4196468 140732947880688 140281282087184 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29846] ppid=29785 vsize=10849036 memory=1848152 CPUtime=1.3 cores=1,3,5,7
/proc/29788/task/29846/stat : 29846 (java) S 29785 29788 26338 0 -1 1077944384 34381 13322 0 0 111 11 5 3 20 0 15 0 473847203 11109412864 462038 33554432000 4194304 4196468 140732947880688 140281237994352 140281711377026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29847] ppid=29785 vsize=10849036 memory=1848140 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29847/stat : 29847 (java) S 29785 29788 26338 0 -1 1077944384 22 13322 0 0 0 0 5 3 20 0 15 0 473847204 11109412864 462038 33554432000 4194304 4196468 140732947880688 140281148073632 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29848] ppid=29785 vsize=10849036 memory=1848152 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29848/stat : 29848 (java) S 29785 29788 26338 0 -1 1077944384 28 13322 0 0 0 0 5 3 20 0 15 0 473847204 11109412864 462038 33554432000 4194304 4196468 140732947880688 140280476984704 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29849] ppid=29785 vsize=10849036 memory=1848152 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29849/stat : 29849 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11109412864 462038 33554432000 4194304 4196468 140732947880688 140280236693840 140281711384475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29850] ppid=29785 vsize=10849036 memory=1848100 CPUtime=5.05 cores=1,3,5,7
/proc/29788/task/29850/stat : 29850 (java) S 29785 29788 26338 0 -1 1077944384 42296 13322 0 0 492 5 5 3 20 0 15 0 473847207 11109412864 462038 33554432000 4194304 4196468 140732947880688 140281236941168 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29851] ppid=29785 vsize=10849036 memory=3280 CPUtime=4.49 cores=1,3,5,7
/proc/29788/task/29851/stat : 29851 (java) S 29785 29788 26338 0 -1 1077944384 36346 13322 0 0 437 4 5 3 20 0 15 0 473847207 11109412864 462038 33554432000 4194304 4196468 140732947880688 140281235888368 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29852] ppid=29785 vsize=10849036 memory=1848152 CPUtime=2 cores=1,3,5,7
/proc/29788/task/29852/stat : 29852 (java) S 29785 29788 26338 0 -1 1077944384 29958 13322 0 0 186 6 5 3 20 0 15 0 473847207 11109412864 462038 33554432000 4194304 4196468 140732947880688 140281234835568 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29853] ppid=29785 vsize=10849036 memory=3280 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29853/stat : 29853 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11109412864 462038 33554432000 4194304 4196468 140732947880688 140280203135200 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29854] ppid=29785 vsize=10849036 memory=6791534058613427641 CPUtime=1.44 cores=1,3,5,7
/proc/29788/task/29854/stat : 29854 (java) S 29785 29788 26338 0 -1 1077944384 3056 13322 0 0 62 74 5 3 20 0 15 0 473847207 11109412864 462038 33554432000 4194304 4196468 140732947880688 140281233783984 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
Current children cumulated CPU time: 2460.29 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1848152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2501.9 s]
/proc/loadavg: 1.50 1.50 1.54 3/232 30238
/proc/meminfo: memFree=8631228/32770624 swapFree=67001832/67108860
[pid=29788] ppid=29785 vsize=10849036 memory=1848172 CPUtime=2520.05 cores=1,3,5,7
/proc/29788/stat : 29788 (java) S 29785 29788 26338 0 -1 1077944320 468843 13322 0 0 251809 188 5 3 20 0 15 0 473847190 11109412864 462043 33554432000 4194304 4196468 140732947880688 140732947863232 140281711365879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
/proc/29788/statm: 2712259 462043 3629 1 0 2674317 0
[pid=29788/tid=29841] ppid=29785 vsize=10849036 memory=1804 CPUtime=2498.59 cores=1,3,5,7
/proc/29788/task/29841/stat : 29841 (java) R 29785 29788 26338 0 -1 4202560 133240 13322 0 0 249805 46 5 3 20 0 15 0 473847200 11109412864 462043 33554432000 4194304 4196468 140732947880688 140281683193504 140281311951140 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29842] ppid=29785 vsize=10849036 memory=1848172 CPUtime=1.93 cores=1,3,5,7
/proc/29788/task/29842/stat : 29842 (java) S 29785 29788 26338 0 -1 1077944384 59563 13322 0 0 169 16 5 3 20 0 15 0 473847202 11109412864 462043 33554432000 4194304 4196468 140732947880688 140281715608208 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29843] ppid=29785 vsize=10849036 memory=1848172 CPUtime=1.94 cores=1,3,5,7
/proc/29788/task/29843/stat : 29843 (java) S 29785 29788 26338 0 -1 1077944384 42212 13322 0 0 172 14 5 3 20 0 15 0 473847202 11109412864 462043 33554432000 4194304 4196468 140732947880688 140281619810832 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29844] ppid=29785 vsize=10849036 memory=1848172 CPUtime=1.93 cores=1,3,5,7
/proc/29788/task/29844/stat : 29844 (java) S 29785 29788 26338 0 -1 1077944384 42544 13322 0 0 171 14 5 3 20 0 15 0 473847202 11109412864 462043 33554432000 4194304 4196468 140732947880688 140281283139984 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29845] ppid=29785 vsize=10849036 memory=1848172 CPUtime=1.94 cores=1,3,5,7
/proc/29788/task/29845/stat : 29845 (java) S 29785 29788 26338 0 -1 1077944384 42230 13322 0 0 172 14 5 3 20 0 15 0 473847202 11109412864 462043 33554432000 4194304 4196468 140732947880688 140281282087184 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29846] ppid=29785 vsize=10849036 memory=1848172 CPUtime=1.33 cores=1,3,5,7
/proc/29788/task/29846/stat : 29846 (java) S 29785 29788 26338 0 -1 1077944384 35061 13322 0 0 114 11 5 3 20 0 15 0 473847203 11109412864 462043 33554432000 4194304 4196468 140732947880688 140281237994352 140281711377026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29847] ppid=29785 vsize=10849036 memory=1848172 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29847/stat : 29847 (java) S 29785 29788 26338 0 -1 1077944384 22 13322 0 0 0 0 5 3 20 0 15 0 473847204 11109412864 462043 33554432000 4194304 4196468 140732947880688 140281148073632 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29848] ppid=29785 vsize=10849036 memory=1848172 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29848/stat : 29848 (java) S 29785 29788 26338 0 -1 1077944384 28 13322 0 0 0 0 5 3 20 0 15 0 473847204 11109412864 462043 33554432000 4194304 4196468 140732947880688 140280476984704 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29849] ppid=29785 vsize=10849036 memory=1848172 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29849/stat : 29849 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11109412864 462043 33554432000 4194304 4196468 140732947880688 140280236693840 140281711384475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29850] ppid=29785 vsize=10849036 memory=1848172 CPUtime=5.05 cores=1,3,5,7
/proc/29788/task/29850/stat : 29850 (java) S 29785 29788 26338 0 -1 1077944384 42300 13322 0 0 492 5 5 3 20 0 15 0 473847207 11109412864 462043 33554432000 4194304 4196468 140732947880688 140281236941168 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29851] ppid=29785 vsize=10849036 memory=1848172 CPUtime=4.49 cores=1,3,5,7
/proc/29788/task/29851/stat : 29851 (java) S 29785 29788 26338 0 -1 1077944384 36350 13322 0 0 437 4 5 3 20 0 15 0 473847207 11109412864 462043 33554432000 4194304 4196468 140732947880688 140281235888368 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29852] ppid=29785 vsize=10849036 memory=6628 CPUtime=2 cores=1,3,5,7
/proc/29788/task/29852/stat : 29852 (java) S 29785 29788 26338 0 -1 1077944384 29964 13322 0 0 186 6 5 3 20 0 15 0 473847207 11109412864 462043 33554432000 4194304 4196468 140732947880688 140281234835568 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29853] ppid=29785 vsize=10849036 memory=1848172 CPUtime=0.08 cores=1,3,5,7
/proc/29788/task/29853/stat : 29853 (java) S 29785 29788 26338 0 -1 1077944384 3 13322 0 0 0 0 5 3 20 0 15 0 473847207 11109412864 462043 33554432000 4194304 4196468 140732947880688 140280203135200 140281711376085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
[pid=29788/tid=29854] ppid=29785 vsize=10849036 memory=3280 CPUtime=1.48 cores=1,3,5,7
/proc/29788/task/29854/stat : 29854 (java) S 29785 29788 26338 0 -1 1077944384 3120 13322 0 0 64 76 5 3 20 0 15 0 473847207 11109412864 462043 33554432000 4194304 4196468 140732947880688 140281233783984 140281711377026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9596928 140732947888741 140732947891381 140732947891381 140732947894223 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1848172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2502.03 s]
# the end of solver process 29788 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.27 s, system=1.93679 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2502.01 s]*
/proc/loadavg: 1.38 1.47 1.53 3/234 30240
/proc/meminfo: memFree=8619064/32770624 swapFree=67001832/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2502.03
CPU time (s): 2520.21
CPU user time (s): 2518.27
CPU system time (s): 1.93679
CPU usage (%): 100.727
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 1933460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.27
system time used= 1.93679
maximum resident set size= 1935508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 488485
page faults= 0
swaps= 0
block input operations= 16
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85691
involuntary context switches= 2247
# summary of solver processes directly reported to runsolver:
# pid: 29788
# total CPU time (s): 2520.21
# total CPU user time (s): 2518.27
# total CPU system time (s): 1.93679
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2706 second user time and 23.971 second system time
The end