runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3286315-1303772121/watcher-3286315-1303772121 -o /tmp/evaluation-result-3286315-1303772121/solver-3286315-1303772121 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3286315-1303772121.cnf
running on 2 cores: 1,3
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): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.03 2.52 3.32 4/180 3623
/proc/meminfo: memFree=11413544/32951124 swapFree=67111528/67111528
[pid=3623] ppid=3621 vsize=23028 CPUtime=0 cores=1,3
/proc/3623/stat : 3623 (java) R 3621 3623 3225 0 -1 4202496 959 0 0 0 0 0 0 0 22 0 1 0 469627930 23580672 702 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233505335185 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3623/statm: 5757 702 519 9 0 124 0
[startup+0.0599149 s]
/proc/loadavg: 1.03 2.52 3.32 4/180 3623
/proc/meminfo: memFree=11413544/32951124 swapFree=67111528/67111528
[pid=3623] ppid=3621 vsize=7569648 CPUtime=0.05 cores=1,3
/proc/3623/stat : 3623 (java) S 3621 3623 3225 0 -1 4202496 9143 0 1 0 4 1 0 0 22 0 18 0 469627930 7751319552 8840 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3623/statm: 1892412 8840 1730 9 0 1883155 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7569648
[startup+0.100874 s]
/proc/loadavg: 1.03 2.52 3.32 4/180 3623
/proc/meminfo: memFree=11413544/32951124 swapFree=67111528/67111528
[pid=3623] ppid=3621 vsize=7636264 CPUtime=0.1 cores=1,3
/proc/3623/stat : 3623 (java) S 3621 3623 3225 0 -1 4202496 10919 0 1 0 9 1 0 0 22 0 18 0 469627930 7819534336 10615 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3623/statm: 1909066 10616 2092 9 0 1899804 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636264
[startup+0.300874 s]
/proc/loadavg: 1.03 2.52 3.32 4/180 3623
/proc/meminfo: memFree=11413544/32951124 swapFree=67111528/67111528
[pid=3623] ppid=3621 vsize=7637036 CPUtime=0.44 cores=1,3
/proc/3623/stat : 3623 (java) S 3621 3623 3225 0 -1 4202496 15201 0 1 0 43 1 0 0 22 0 18 0 469627930 7820324864 14668 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3623/statm: 1909259 14670 2203 9 0 1899997 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 7637036
[startup+0.70077 s]
/proc/loadavg: 1.03 2.52 3.32 4/180 3623
/proc/meminfo: memFree=11413544/32951124 swapFree=67111528/67111528
[pid=3623] ppid=3621 vsize=7644900 CPUtime=1.15 cores=1,3
/proc/3623/stat : 3623 (java) S 3621 3623 3225 0 -1 4202496 21118 0 1 0 113 2 0 0 22 0 19 0 469627930 7828377600 19734 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3623/statm: 1911225 19734 2218 9 0 1901963 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 7644900
[startup+1.50066 s]
/proc/loadavg: 1.03 2.52 3.32 6/219 3665
/proc/meminfo: memFree=11189160/32951124 swapFree=67111528/67111528
[pid=3623] ppid=3621 vsize=7644900 CPUtime=2.14 cores=1,3
/proc/3623/stat : 3623 (java) S 3621 3623 3225 0 -1 4202496 21336 0 1 0 212 2 0 0 22 0 19 0 469627930 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3623/statm: 1911225 19950 2224 9 0 1901963 0
[pid=3623/tid=3625] ppid=3621 vsize=7644900 CPUtime=1.47 cores=1,3
/proc/3623/task/3625/stat : 3625 (java) R 3621 3623 3225 0 -1 4202560 16364 0 1 0 146 1 0 0 20 0 19 0 469627930 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 46912505693282 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3623/tid=3626] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3626/stat : 3626 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 469627932 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3627] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3627/stat : 3627 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627932 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3628] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3628/stat : 3628 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627932 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3629] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3629/stat : 3629 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627932 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3630] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3630/stat : 3630 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627932 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3631] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3631/stat : 3631 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627932 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3632] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3632/stat : 3632 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627932 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3633] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3633/stat : 3633 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627932 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3634] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3634/stat : 3634 (java) S 3621 3623 3225 0 -1 4202560 6 0 0 0 0 0 0 0 19 0 19 0 469627933 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 0 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3635] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3635/stat : 3635 (java) S 3621 3623 3225 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 469627933 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3636] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3636/stat : 3636 (java) S 3621 3623 3225 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 469627933 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3637] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3637/stat : 3637 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627936 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522121137 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3638] ppid=3621 vsize=7644900 CPUtime=0.22 cores=1,3
/proc/3623/task/3638/stat : 3638 (java) S 3621 3623 3225 0 -1 4202560 489 0 0 0 22 0 0 0 20 0 19 0 469627936 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3639] ppid=3621 vsize=7644900 CPUtime=0.42 cores=1,3
/proc/3623/task/3639/stat : 3639 (java) S 3621 3623 3225 0 -1 4202560 3320 0 0 0 42 0 0 0 24 0 19 0 469627936 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3640] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3640/stat : 3640 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627936 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3641] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3641/stat : 3641 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469627936 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3665] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3665/stat : 3665 (java) S 3621 3623 3225 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 469627973 7828377600 19950 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 7644900
[startup+3.10137 s]
/proc/loadavg: 1.03 2.52 3.32 5/240 3689
/proc/meminfo: memFree=10989168/32951124 swapFree=67111528/67111528
[pid=3623] ppid=3621 vsize=7644900 CPUtime=3.74 cores=1,3
/proc/3623/stat : 3623 (java) S 3621 3623 3225 0 -1 4202496 21591 0 1 0 372 2 0 0 22 0 19 0 469627930 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3623/statm: 1911225 20204 2224 9 0 1901963 0
[pid=3623/tid=3625] ppid=3621 vsize=7644900 CPUtime=3.08 cores=1,3
/proc/3623/task/3625/stat : 3625 (java) R 3621 3623 3225 0 -1 4202560 16619 0 1 0 306 2 0 0 25 0 19 0 469627930 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 46912505761374 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3623/tid=3626] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3626/stat : 3626 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 469627932 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3627] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3627/stat : 3627 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627932 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3628] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3628/stat : 3628 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627932 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3629] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3629/stat : 3629 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627932 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3630] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3630/stat : 3630 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627932 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3631] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3631/stat : 3631 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627932 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3632] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3632/stat : 3632 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627932 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3633] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3633/stat : 3633 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627932 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3634] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3634/stat : 3634 (java) S 3621 3623 3225 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 469627933 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 0 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3635] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3635/stat : 3635 (java) S 3621 3623 3225 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 469627933 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3636] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3636/stat : 3636 (java) S 3621 3623 3225 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 469627933 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3637] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3637/stat : 3637 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627936 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522121137 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3638] ppid=3621 vsize=7644900 CPUtime=0.22 cores=1,3
/proc/3623/task/3638/stat : 3638 (java) S 3621 3623 3225 0 -1 4202560 489 0 0 0 22 0 0 0 18 0 19 0 469627936 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3639] ppid=3621 vsize=7644900 CPUtime=0.42 cores=1,3
/proc/3623/task/3639/stat : 3639 (java) S 3621 3623 3225 0 -1 4202560 3320 0 0 0 42 0 0 0 24 0 19 0 469627936 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3640] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3640/stat : 3640 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627936 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3641] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3641/stat : 3641 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469627936 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3665] ppid=3621 vsize=7644900 CPUtime=0 cores=1,3
/proc/3623/task/3665/stat : 3665 (java) S 3621 3623 3225 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 469627973 7828377600 20204 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 7644900
[startup+6.3008 s]
/proc/loadavg: 1.26 2.55 3.33 8/261 3713
/proc/meminfo: memFree=10418096/32951124 swapFree=67111528/67111528
[pid=3623] ppid=3621 vsize=7663492 CPUtime=7.45 cores=1,3
/proc/3623/stat : 3623 (java) S 3621 3623 3225 0 -1 4202496 42074 0 1 0 740 5 0 0 22 0 19 0 469627930 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3623/statm: 1915873 39034 2251 9 0 1906611 0
[pid=3623/tid=3625] ppid=3621 vsize=7663492 CPUtime=6.12 cores=1,3
/proc/3623/task/3625/stat : 3625 (java) R 3621 3623 3225 0 -1 4202560 16938 0 1 0 610 2 0 0 25 0 19 0 469627930 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 46912505638496 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3623/tid=3626] ppid=3621 vsize=7663492 CPUtime=0.04 cores=1,3
/proc/3623/task/3626/stat : 3626 (java) S 3621 3623 3225 0 -1 4202560 2524 0 0 0 4 0 0 0 17 0 19 0 469627932 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3627] ppid=3621 vsize=7663492 CPUtime=0 cores=1,3
/proc/3623/task/3627/stat : 3627 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 469627932 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3628] ppid=3621 vsize=7663492 CPUtime=0 cores=1,3
/proc/3623/task/3628/stat : 3628 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 469627932 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3629] ppid=3621 vsize=7663492 CPUtime=0 cores=1,3
/proc/3623/task/3629/stat : 3629 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 469627932 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3630] ppid=3621 vsize=7663492 CPUtime=0 cores=1,3
/proc/3623/task/3630/stat : 3630 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 469627932 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3631] ppid=3621 vsize=7663492 CPUtime=0 cores=1,3
/proc/3623/task/3631/stat : 3631 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 469627932 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3632] ppid=3621 vsize=7663492 CPUtime=0 cores=1,3
/proc/3623/task/3632/stat : 3632 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 469627932 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3633] ppid=3621 vsize=7663492 CPUtime=0.04 cores=1,3
/proc/3623/task/3633/stat : 3633 (java) S 3621 3623 3225 0 -1 4202560 3966 0 0 0 4 0 0 0 18 0 19 0 469627932 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3634] ppid=3621 vsize=7663492 CPUtime=0.1 cores=1,3
/proc/3623/task/3634/stat : 3634 (java) S 3621 3623 3225 0 -1 4202560 8173 0 0 0 10 0 0 0 15 0 19 0 469627933 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 0 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3635] ppid=3621 vsize=7663492 CPUtime=0 cores=1,3
/proc/3623/task/3635/stat : 3635 (java) S 3621 3623 3225 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 469627933 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3636] ppid=3621 vsize=7663492 CPUtime=0 cores=1,3
/proc/3623/task/3636/stat : 3636 (java) S 3621 3623 3225 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 469627933 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3637] ppid=3621 vsize=7663492 CPUtime=0 cores=1,3
/proc/3623/task/3637/stat : 3637 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627936 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522121137 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3638] ppid=3621 vsize=7663492 CPUtime=0.67 cores=1,3
/proc/3623/task/3638/stat : 3638 (java) S 3621 3623 3225 0 -1 4202560 5976 0 0 0 67 0 0 0 16 0 19 0 469627936 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3639] ppid=3621 vsize=7663492 CPUtime=0.43 cores=1,3
/proc/3623/task/3639/stat : 3639 (java) S 3621 3623 3225 0 -1 4202560 3338 0 0 0 43 0 0 0 15 0 19 0 469627936 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3640] ppid=3621 vsize=7663492 CPUtime=0 cores=1,3
/proc/3623/task/3640/stat : 3640 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627936 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3641] ppid=3621 vsize=7663492 CPUtime=0 cores=1,3
/proc/3623/task/3641/stat : 3641 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469627936 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3665] ppid=3621 vsize=7663492 CPUtime=0 cores=1,3
/proc/3623/task/3665/stat : 3665 (java) S 3621 3623 3225 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 469627973 7847415808 39034 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 7663492
[startup+12.7007 s]
################
# More data... #
################
[pid=3623/tid=3631] ppid=3621 vsize=7654152 CPUtime=0.07 cores=1,3
/proc/3623/task/3631/stat : 3631 (java) S 3621 3623 3225 0 -1 4202560 26 0 0 0 7 0 0 0 15 0 19 0 469627932 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3632] ppid=3621 vsize=7654152 CPUtime=0.08 cores=1,3
/proc/3623/task/3632/stat : 3632 (java) S 3621 3623 3225 0 -1 4202560 1114 0 0 0 8 0 0 0 15 0 19 0 469627932 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3633] ppid=3621 vsize=7654152 CPUtime=0.12 cores=1,3
/proc/3623/task/3633/stat : 3633 (java) S 3621 3623 3225 0 -1 4202560 4046 0 0 0 12 0 0 0 15 0 19 0 469627932 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3634] ppid=3621 vsize=7654152 CPUtime=4.21 cores=1,3
/proc/3623/task/3634/stat : 3634 (java) S 3621 3623 3225 0 -1 4202560 12437 0 0 0 420 1 0 0 15 0 19 0 469627933 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 0 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3635] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3635/stat : 3635 (java) S 3621 3623 3225 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 469627933 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3636] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3636/stat : 3636 (java) S 3621 3623 3225 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 469627933 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3637] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3637/stat : 3637 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627936 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522121137 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3638] ppid=3621 vsize=7654152 CPUtime=0.75 cores=1,3
/proc/3623/task/3638/stat : 3638 (java) S 3621 3623 3225 0 -1 4202560 5980 0 0 0 75 0 0 0 15 0 19 0 469627936 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3639] ppid=3621 vsize=7654152 CPUtime=0.44 cores=1,3
/proc/3623/task/3639/stat : 3639 (java) S 3621 3623 3225 0 -1 4202560 3338 0 0 0 44 0 0 0 15 0 19 0 469627936 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3640] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3640/stat : 3640 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627936 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3641] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3641/stat : 3641 (java) S 3621 3623 3225 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 469627936 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3665] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3665/stat : 3665 (java) S 3621 3623 3225 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 469627973 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.87
Current children cumulated vsize (KiB) 7654152
[startup+1182.3 s]
/proc/loadavg: 4.02 4.02 3.82 5/262 3984
/proc/meminfo: memFree=8948100/32951124 swapFree=67111528/67111528
[pid=3623] ppid=3621 vsize=7654152 CPUtime=1183.88 cores=1,3
/proc/3623/stat : 3623 (java) S 3621 3623 3225 0 -1 4202496 48467 0 1 0 118382 6 0 0 22 0 19 0 469627930 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3623/statm: 1913538 43748 2253 9 0 1904276 0
[pid=3623/tid=3625] ppid=3621 vsize=7654152 CPUtime=1177.59 cores=1,3
/proc/3623/task/3625/stat : 3625 (java) R 3621 3623 3225 0 -1 4202560 16984 0 1 0 117757 2 0 0 25 0 19 0 469627930 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 46912505658262 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3623/tid=3626] ppid=3621 vsize=7654152 CPUtime=0.12 cores=1,3
/proc/3623/task/3626/stat : 3626 (java) S 3621 3623 3225 0 -1 4202560 2541 0 0 0 12 0 0 0 15 0 19 0 469627932 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3627] ppid=3621 vsize=7654152 CPUtime=0.11 cores=1,3
/proc/3623/task/3627/stat : 3627 (java) S 3621 3623 3225 0 -1 4202560 539 0 0 0 11 0 0 0 15 0 19 0 469627932 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3628] ppid=3621 vsize=7654152 CPUtime=0.07 cores=1,3
/proc/3623/task/3628/stat : 3628 (java) S 3621 3623 3225 0 -1 4202560 24 0 0 0 7 0 0 0 15 0 19 0 469627932 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3629] ppid=3621 vsize=7654152 CPUtime=0.07 cores=1,3
/proc/3623/task/3629/stat : 3629 (java) S 3621 3623 3225 0 -1 4202560 76 0 0 0 7 0 0 0 15 0 19 0 469627932 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3630] ppid=3621 vsize=7654152 CPUtime=0.06 cores=1,3
/proc/3623/task/3630/stat : 3630 (java) S 3621 3623 3225 0 -1 4202560 139 0 0 0 6 0 0 0 15 0 19 0 469627932 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3631] ppid=3621 vsize=7654152 CPUtime=0.08 cores=1,3
/proc/3623/task/3631/stat : 3631 (java) S 3621 3623 3225 0 -1 4202560 26 0 0 0 8 0 0 0 16 0 19 0 469627932 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3632] ppid=3621 vsize=7654152 CPUtime=0.08 cores=1,3
/proc/3623/task/3632/stat : 3632 (java) S 3621 3623 3225 0 -1 4202560 1114 0 0 0 8 0 0 0 15 0 19 0 469627932 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3633] ppid=3621 vsize=7654152 CPUtime=0.12 cores=1,3
/proc/3623/task/3633/stat : 3633 (java) S 3621 3623 3225 0 -1 4202560 4046 0 0 0 12 0 0 0 15 0 19 0 469627932 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3634] ppid=3621 vsize=7654152 CPUtime=4.31 cores=1,3
/proc/3623/task/3634/stat : 3634 (java) S 3621 3623 3225 0 -1 4202560 12439 0 0 0 430 1 0 0 15 0 19 0 469627933 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 0 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3635] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3635/stat : 3635 (java) S 3621 3623 3225 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 469627933 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3636] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3636/stat : 3636 (java) S 3621 3623 3225 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 469627933 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3637] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3637/stat : 3637 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627936 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522121137 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3638] ppid=3621 vsize=7654152 CPUtime=0.75 cores=1,3
/proc/3623/task/3638/stat : 3638 (java) S 3621 3623 3225 0 -1 4202560 5980 0 0 0 75 0 0 0 15 0 19 0 469627936 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3639] ppid=3621 vsize=7654152 CPUtime=0.44 cores=1,3
/proc/3623/task/3639/stat : 3639 (java) S 3621 3623 3225 0 -1 4202560 3338 0 0 0 44 0 0 0 15 0 19 0 469627936 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3640] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3640/stat : 3640 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627936 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3641] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3641/stat : 3641 (java) S 3621 3623 3225 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 469627936 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3665] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3665/stat : 3665 (java) S 3621 3623 3225 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 469627973 7837851648 43748 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1183.88
Current children cumulated vsize (KiB) 7654152
[startup+1242.3 s]
/proc/loadavg: 4.00 4.01 3.82 5/262 3986
/proc/meminfo: memFree=8940840/32951124 swapFree=67111528/67111528
[pid=3623] ppid=3621 vsize=7654152 CPUtime=1243.9 cores=1,3
/proc/3623/stat : 3623 (java) S 3621 3623 3225 0 -1 4202496 49128 0 1 0 124384 6 0 0 22 0 19 0 469627930 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3623/statm: 1913538 44397 2253 9 0 1904276 0
[pid=3623/tid=3625] ppid=3621 vsize=7654152 CPUtime=1237.37 cores=1,3
/proc/3623/task/3625/stat : 3625 (java) R 3621 3623 3225 0 -1 4202560 16986 0 1 0 123735 2 0 0 25 0 19 0 469627930 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 46912505731056 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3623/tid=3626] ppid=3621 vsize=7654152 CPUtime=0.12 cores=1,3
/proc/3623/task/3626/stat : 3626 (java) S 3621 3623 3225 0 -1 4202560 2541 0 0 0 12 0 0 0 15 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3627] ppid=3621 vsize=7654152 CPUtime=0.12 cores=1,3
/proc/3623/task/3627/stat : 3627 (java) S 3621 3623 3225 0 -1 4202560 539 0 0 0 12 0 0 0 16 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3628] ppid=3621 vsize=7654152 CPUtime=0.07 cores=1,3
/proc/3623/task/3628/stat : 3628 (java) S 3621 3623 3225 0 -1 4202560 24 0 0 0 7 0 0 0 15 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3629] ppid=3621 vsize=7654152 CPUtime=0.08 cores=1,3
/proc/3623/task/3629/stat : 3629 (java) S 3621 3623 3225 0 -1 4202560 319 0 0 0 8 0 0 0 16 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3630] ppid=3621 vsize=7654152 CPUtime=0.07 cores=1,3
/proc/3623/task/3630/stat : 3630 (java) S 3621 3623 3225 0 -1 4202560 139 0 0 0 7 0 0 0 15 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3631] ppid=3621 vsize=7654152 CPUtime=0.09 cores=1,3
/proc/3623/task/3631/stat : 3631 (java) S 3621 3623 3225 0 -1 4202560 161 0 0 0 9 0 0 0 16 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3632] ppid=3621 vsize=7654152 CPUtime=0.08 cores=1,3
/proc/3623/task/3632/stat : 3632 (java) S 3621 3623 3225 0 -1 4202560 1114 0 0 0 8 0 0 0 15 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3633] ppid=3621 vsize=7654152 CPUtime=0.13 cores=1,3
/proc/3623/task/3633/stat : 3633 (java) S 3621 3623 3225 0 -1 4202560 4046 0 0 0 13 0 0 0 15 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3634] ppid=3621 vsize=7654152 CPUtime=4.5 cores=1,3
/proc/3623/task/3634/stat : 3634 (java) S 3621 3623 3225 0 -1 4202560 12716 0 0 0 449 1 0 0 15 0 19 0 469627933 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 0 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3635] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3635/stat : 3635 (java) S 3621 3623 3225 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 469627933 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3636] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3636/stat : 3636 (java) S 3621 3623 3225 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 469627933 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3637] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3637/stat : 3637 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627936 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522121137 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3638] ppid=3621 vsize=7654152 CPUtime=0.75 cores=1,3
/proc/3623/task/3638/stat : 3638 (java) S 3621 3623 3225 0 -1 4202560 5980 0 0 0 75 0 0 0 15 0 19 0 469627936 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3639] ppid=3621 vsize=7654152 CPUtime=0.44 cores=1,3
/proc/3623/task/3639/stat : 3639 (java) S 3621 3623 3225 0 -1 4202560 3338 0 0 0 44 0 0 0 15 0 19 0 469627936 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3640] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3640/stat : 3640 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627936 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3641] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3641/stat : 3641 (java) S 3621 3623 3225 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 469627936 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3665] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3665/stat : 3665 (java) S 3621 3623 3225 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 469627973 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1243.9
Current children cumulated vsize (KiB) 7654152
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.66 3.93 3.80 4/238 4005
/proc/meminfo: memFree=10179136/32951124 swapFree=67111528/67111528
[pid=3623] ppid=3621 vsize=7654152 CPUtime=1301.62 cores=1,3
/proc/3623/stat : 3623 (java) S 3621 3623 3225 0 -1 4202496 49135 0 1 0 130156 6 0 0 22 0 19 0 469627930 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3623/statm: 1913538 44397 2253 9 0 1904276 0
[pid=3623/tid=3625] ppid=3621 vsize=7654152 CPUtime=1294.94 cores=1,3
/proc/3623/task/3625/stat : 3625 (java) R 3621 3623 3225 0 -1 4202560 16987 0 1 0 129492 2 0 0 25 0 19 0 469627930 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 46912505681996 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3623/tid=3626] ppid=3621 vsize=7654152 CPUtime=0.13 cores=1,3
/proc/3623/task/3626/stat : 3626 (java) S 3621 3623 3225 0 -1 4202560 2541 0 0 0 13 0 0 0 15 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3627] ppid=3621 vsize=7654152 CPUtime=0.12 cores=1,3
/proc/3623/task/3627/stat : 3627 (java) S 3621 3623 3225 0 -1 4202560 539 0 0 0 12 0 0 0 15 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3628] ppid=3621 vsize=7654152 CPUtime=0.07 cores=1,3
/proc/3623/task/3628/stat : 3628 (java) S 3621 3623 3225 0 -1 4202560 24 0 0 0 7 0 0 0 15 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3629] ppid=3621 vsize=7654152 CPUtime=0.08 cores=1,3
/proc/3623/task/3629/stat : 3629 (java) S 3621 3623 3225 0 -1 4202560 319 0 0 0 8 0 0 0 15 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3630] ppid=3621 vsize=7654152 CPUtime=0.07 cores=1,3
/proc/3623/task/3630/stat : 3630 (java) S 3621 3623 3225 0 -1 4202560 139 0 0 0 7 0 0 0 15 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3631] ppid=3621 vsize=7654152 CPUtime=0.09 cores=1,3
/proc/3623/task/3631/stat : 3631 (java) S 3621 3623 3225 0 -1 4202560 161 0 0 0 9 0 0 0 15 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3632] ppid=3621 vsize=7654152 CPUtime=0.08 cores=1,3
/proc/3623/task/3632/stat : 3632 (java) S 3621 3623 3225 0 -1 4202560 1114 0 0 0 8 0 0 0 15 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3633] ppid=3621 vsize=7654152 CPUtime=0.13 cores=1,3
/proc/3623/task/3633/stat : 3633 (java) S 3621 3623 3225 0 -1 4202560 4046 0 0 0 13 0 0 0 15 0 19 0 469627932 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3634] ppid=3621 vsize=7654152 CPUtime=4.64 cores=1,3
/proc/3623/task/3634/stat : 3634 (java) S 3621 3623 3225 0 -1 4202560 12718 0 0 0 463 1 0 0 15 0 19 0 469627933 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 0 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3635] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3635/stat : 3635 (java) S 3621 3623 3225 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 469627933 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3636] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3636/stat : 3636 (java) S 3621 3623 3225 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 469627933 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3637] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3637/stat : 3637 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627936 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522121137 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3638] ppid=3621 vsize=7654152 CPUtime=0.75 cores=1,3
/proc/3623/task/3638/stat : 3638 (java) S 3621 3623 3225 0 -1 4202560 5980 0 0 0 75 0 0 0 15 0 19 0 469627936 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3639] ppid=3621 vsize=7654152 CPUtime=0.44 cores=1,3
/proc/3623/task/3639/stat : 3639 (java) S 3621 3623 3225 0 -1 4202560 3338 0 0 0 44 0 0 0 15 0 19 0 469627936 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3640] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3640/stat : 3640 (java) S 3621 3623 3225 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 469627936 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522113433 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
[pid=3623/tid=3641] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3641/stat : 3641 (java) S 3621 3623 3225 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 469627936 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 4 0 16800975 18446604471159510976 0 0 -1 3 0 0 0
[pid=3623/tid=3665] ppid=3621 vsize=7654152 CPUtime=0 cores=1,3
/proc/3623/task/3665/stat : 3665 (java) S 3621 3623 3225 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 469627973 7837851648 44397 33554432000 1073741824 1073778376 140737080076896 18446744073709551615 233522114048 0 4 0 16800975 18446604471159510976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1301.62
Current children cumulated vsize (KiB) 7654152
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.69
CPU user time (s): 1301.62
CPU system time (s): 0.070989
CPU usage (%): 100.126
Max. virtual memory (cumulated for all children) (KiB): 7663492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.62
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49174
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27911
involuntary context switches= 4316
runsolver used 2.08368 second user time and 5.03123 second system time
The end