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-3287511-1303778056/watcher-3287511-1303778056 -o /tmp/evaluation-result-3287511-1303778056/solver-3287511-1303778056 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3287511-1303778056.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: 3.29 3.86 4.08 7/220 7101
/proc/meminfo: memFree=11188004/32950928 swapFree=67111528/67111528
[pid=7101] ppid=7099 vsize=31604 CPUtime=0 cores=1,3
/proc/7101/stat : 7101 (java) S 7099 7101 6092 0 -1 4202496 1256 0 0 0 0 0 0 0 18 0 2 0 568036335 32362496 974 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/7101/statm: 7901 976 748 9 0 386 0
[pid=7101/tid=7102] ppid=7099 vsize=31604 CPUtime=0 cores=1,3
/proc/7101/task/7102/stat : 7102 (java) R 7099 7101 6092 0 -1 4202560 170 0 0 0 0 0 0 0 19 0 2 0 568036336 32362496 1000 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218875641479 0 0 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0793289 s]
/proc/loadavg: 3.29 3.86 4.08 7/220 7101
/proc/meminfo: memFree=11188004/32950928 swapFree=67111528/67111528
[pid=7101] ppid=7099 vsize=7569940 CPUtime=0.05 cores=1,3
/proc/7101/stat : 7101 (java) S 7099 7101 6092 0 -1 4202496 9412 0 1 0 5 0 0 0 18 0 18 0 568036335 7751618560 9108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7101/statm: 1892485 9108 1754 9 0 1883223 0
[pid=7101/tid=7102] ppid=7099 vsize=7569940 CPUtime=0.05 cores=1,3
/proc/7101/task/7102/stat : 7102 (java) R 7099 7101 6092 0 -1 4202560 8238 0 1 0 5 0 0 0 25 0 18 0 568036336 7751618560 9108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 47725630197667 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7569940
[startup+0.100325 s]
/proc/loadavg: 3.29 3.86 4.08 7/220 7101
/proc/meminfo: memFree=11188004/32950928 swapFree=67111528/67111528
[pid=7101] ppid=7099 vsize=7569940 CPUtime=0.07 cores=1,3
/proc/7101/stat : 7101 (java) S 7099 7101 6092 0 -1 4202496 9679 0 1 0 7 0 0 0 18 0 18 0 568036335 7751618560 9375 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7101/statm: 1892485 9376 1757 9 0 1883223 0
[pid=7101/tid=7102] ppid=7099 vsize=7569940 CPUtime=0.07 cores=1,3
/proc/7101/task/7102/stat : 7102 (java) R 7099 7101 6092 0 -1 4202560 8506 0 1 0 7 0 0 0 25 0 18 0 568036336 7751618560 9376 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 47725634325603 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7569940
[startup+0.300287 s]
/proc/loadavg: 3.29 3.86 4.08 7/220 7101
/proc/meminfo: memFree=11188004/32950928 swapFree=67111528/67111528
[pid=7101] ppid=7099 vsize=7636864 CPUtime=0.39 cores=1,3
/proc/7101/stat : 7101 (java) S 7099 7101 6092 0 -1 4202496 17519 0 1 0 37 2 0 0 18 0 18 0 568036335 7820148736 17031 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7101/statm: 1909216 17032 2197 9 0 1899954 0
[pid=7101/tid=7102] ppid=7099 vsize=7636864 CPUtime=0.27 cores=1,3
/proc/7101/task/7102/stat : 7102 (java) R 7099 7101 6092 0 -1 4202560 15194 0 1 0 26 1 0 0 25 0 18 0 568036336 7820148736 17033 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 46912505519087 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 7636864
[startup+0.700166 s]
/proc/loadavg: 3.29 3.86 4.08 7/220 7101
/proc/meminfo: memFree=11188004/32950928 swapFree=67111528/67111528
[pid=7101] ppid=7099 vsize=7637892 CPUtime=0.97 cores=1,3
/proc/7101/stat : 7101 (java) S 7099 7101 6092 0 -1 4202496 30408 0 1 0 93 4 0 0 18 0 19 0 568036335 7821201408 29236 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7101/statm: 1909473 29236 2213 9 0 1900211 0
[pid=7101/tid=7102] ppid=7099 vsize=7637892 CPUtime=0.67 cores=1,3
/proc/7101/task/7102/stat : 7102 (java) R 7099 7101 6092 0 -1 4202560 26066 0 1 0 64 3 0 0 25 0 19 0 568036336 7821201408 29236 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 46912505220473 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 7637892
[startup+1.50108 s]
/proc/loadavg: 3.29 3.86 4.08 7/262 7146
/proc/meminfo: memFree=10881768/32950928 swapFree=67111528/67111528
[pid=7101] ppid=7099 vsize=7637892 CPUtime=2.03 cores=1,3
/proc/7101/stat : 7101 (java) S 7099 7101 6092 0 -1 4202496 31828 0 1 0 198 5 0 0 18 0 19 0 568036335 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7101/statm: 1909473 30044 2221 9 0 1900211 0
[pid=7101/tid=7102] ppid=7099 vsize=7637892 CPUtime=1.47 cores=1,3
/proc/7101/task/7102/stat : 7102 (java) R 7099 7101 6092 0 -1 4202560 26106 0 1 0 144 3 0 0 25 0 19 0 568036336 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 46912505637734 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7101/tid=7104] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7104/stat : 7104 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 568036337 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7105] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7105/stat : 7105 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7106] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7106/stat : 7106 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7107] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7107/stat : 7107 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7108] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7108/stat : 7108 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7109] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7109/stat : 7109 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7110] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7110/stat : 7110 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 568036337 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7111] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7111/stat : 7111 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 568036337 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7112] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7112/stat : 7112 (java) S 7099 7101 6092 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 568036338 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 0 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7113] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7113/stat : 7113 (java) S 7099 7101 6092 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 568036338 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7114] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7114/stat : 7114 (java) S 7099 7101 6092 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 568036338 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7115] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7115/stat : 7115 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 568036341 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892388785 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7116] ppid=7099 vsize=7637892 CPUtime=0.21 cores=1,3
/proc/7101/task/7116/stat : 7116 (java) S 7099 7101 6092 0 -1 4202560 1773 0 0 0 21 0 0 0 17 0 19 0 568036341 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7117] ppid=7099 vsize=7637892 CPUtime=0.32 cores=1,3
/proc/7101/task/7117/stat : 7117 (java) S 7099 7101 6092 0 -1 4202560 2789 0 0 0 32 0 0 0 18 0 19 0 568036342 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7118] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7118/stat : 7118 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 568036342 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7119] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7119/stat : 7119 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 568036342 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7145] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7145/stat : 7145 (java) S 7099 7101 6092 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 568036392 7821201408 30044 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 7637892
[startup+3.1008 s]
/proc/loadavg: 3.51 3.89 4.09 5/262 7146
/proc/meminfo: memFree=10878828/32950928 swapFree=67111528/67111528
[pid=7101] ppid=7099 vsize=7637892 CPUtime=3.71 cores=1,3
/proc/7101/stat : 7101 (java) S 7099 7101 6092 0 -1 4202496 31894 0 1 0 366 5 0 0 18 0 19 0 568036335 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7101/statm: 1909473 30108 2225 9 0 1900211 0
[pid=7101/tid=7102] ppid=7099 vsize=7637892 CPUtime=3.08 cores=1,3
/proc/7101/task/7102/stat : 7102 (java) R 7099 7101 6092 0 -1 4202560 26155 0 1 0 304 4 0 0 25 0 19 0 568036336 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 46912505702164 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7101/tid=7104] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7104/stat : 7104 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 568036337 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7105] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7105/stat : 7105 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7106] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7106/stat : 7106 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7107] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7107/stat : 7107 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7108] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7108/stat : 7108 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7109] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7109/stat : 7109 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7110] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7110/stat : 7110 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 568036337 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7111] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7111/stat : 7111 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 568036337 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7112] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7112/stat : 7112 (java) S 7099 7101 6092 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 568036338 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 0 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7113] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7113/stat : 7113 (java) S 7099 7101 6092 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 568036338 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7114] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7114/stat : 7114 (java) S 7099 7101 6092 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 568036338 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7115] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7115/stat : 7115 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 568036341 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892388785 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7116] ppid=7099 vsize=7637892 CPUtime=0.25 cores=1,3
/proc/7101/task/7116/stat : 7116 (java) S 7099 7101 6092 0 -1 4202560 1783 0 0 0 25 0 0 0 15 0 19 0 568036341 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7117] ppid=7099 vsize=7637892 CPUtime=0.36 cores=1,3
/proc/7101/task/7117/stat : 7117 (java) S 7099 7101 6092 0 -1 4202560 2795 0 0 0 36 0 0 0 15 0 19 0 568036342 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7118] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7118/stat : 7118 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 568036342 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7119] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7119/stat : 7119 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 568036342 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7145] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7145/stat : 7145 (java) S 7099 7101 6092 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 568036392 7821201408 30108 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 7637892
[startup+6.30124 s]
/proc/loadavg: 3.51 3.89 4.09 5/262 7146
/proc/meminfo: memFree=10709388/32950928 swapFree=67111528/67111528
[pid=7101] ppid=7099 vsize=7637892 CPUtime=6.91 cores=1,3
/proc/7101/stat : 7101 (java) S 7099 7101 6092 0 -1 4202496 31972 0 1 0 686 5 0 0 18 0 19 0 568036335 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7101/statm: 1909473 30184 2225 9 0 1900211 0
[pid=7101/tid=7102] ppid=7099 vsize=7637892 CPUtime=6.28 cores=1,3
/proc/7101/task/7102/stat : 7102 (java) R 7099 7101 6092 0 -1 4202560 26233 0 1 0 624 4 0 0 25 0 19 0 568036336 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 46912505740899 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7101/tid=7104] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7104/stat : 7104 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 568036337 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7105] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7105/stat : 7105 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7106] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7106/stat : 7106 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7107] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7107/stat : 7107 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7108] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7108/stat : 7108 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7109] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7109/stat : 7109 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 568036337 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7110] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7110/stat : 7110 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 568036337 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7111] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7111/stat : 7111 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 568036337 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7112] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7112/stat : 7112 (java) S 7099 7101 6092 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 568036338 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 0 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7113] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7113/stat : 7113 (java) S 7099 7101 6092 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 568036338 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7114] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7114/stat : 7114 (java) S 7099 7101 6092 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 568036338 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7115] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7115/stat : 7115 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 568036341 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892388785 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7116] ppid=7099 vsize=7637892 CPUtime=0.25 cores=1,3
/proc/7101/task/7116/stat : 7116 (java) S 7099 7101 6092 0 -1 4202560 1783 0 0 0 25 0 0 0 15 0 19 0 568036341 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7117] ppid=7099 vsize=7637892 CPUtime=0.36 cores=1,3
/proc/7101/task/7117/stat : 7117 (java) S 7099 7101 6092 0 -1 4202560 2795 0 0 0 36 0 0 0 15 0 19 0 568036342 7821201408 30184 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=7101/tid=7109] ppid=7099 vsize=7637892 CPUtime=0.1 cores=1,3
/proc/7101/task/7109/stat : 7109 (java) S 7099 7101 6092 0 -1 4202560 46 0 0 0 10 0 0 0 15 0 19 0 568036337 7821201408 68030 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7110] ppid=7099 vsize=7637892 CPUtime=0.08 cores=1,3
/proc/7101/task/7110/stat : 7110 (java) S 7099 7101 6092 0 -1 4202560 7 0 0 0 8 0 0 0 15 0 19 0 568036337 7821201408 68030 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7111] ppid=7099 vsize=7637892 CPUtime=0.1 cores=1,3
/proc/7101/task/7111/stat : 7111 (java) S 7099 7101 6092 0 -1 4202560 23 0 0 0 10 0 0 0 15 0 19 0 568036337 7821201408 68030 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7112] ppid=7099 vsize=7637892 CPUtime=4.68 cores=1,3
/proc/7101/task/7112/stat : 7112 (java) S 7099 7101 6092 0 -1 4202560 21385 0 0 0 466 2 0 0 15 0 19 0 568036338 7821201408 68030 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 0 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7113] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7113/stat : 7113 (java) S 7099 7101 6092 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 568036338 7821201408 68030 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7114] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7114/stat : 7114 (java) S 7099 7101 6092 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 568036338 7821201408 68030 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7115] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7115/stat : 7115 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 568036341 7821201408 68030 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892388785 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7116] ppid=7099 vsize=7637892 CPUtime=0.77 cores=1,3
/proc/7101/task/7116/stat : 7116 (java) S 7099 7101 6092 0 -1 4202560 9340 0 0 0 76 1 0 0 15 0 19 0 568036341 7821201408 68030 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7117] ppid=7099 vsize=7637892 CPUtime=0.42 cores=1,3
/proc/7101/task/7117/stat : 7117 (java) S 7099 7101 6092 0 -1 4202560 2804 0 0 0 42 0 0 0 15 0 19 0 568036342 7821201408 68030 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7118] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7118/stat : 7118 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 568036342 7821201408 68030 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7119] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7119/stat : 7119 (java) S 7099 7101 6092 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 568036342 7821201408 68030 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7145] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7145/stat : 7145 (java) S 7099 7101 6092 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 568036392 7821201408 68030 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.96
Current children cumulated vsize (KiB) 7637892
[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 4.01 5/262 7227
/proc/meminfo: memFree=10414936/32950928 swapFree=67111528/67111528
[pid=7101] ppid=7099 vsize=7637892 CPUtime=1183.98 cores=1,3
/proc/7101/stat : 7101 (java) S 7099 7101 6092 0 -1 4202496 77394 0 1 0 118388 10 0 0 18 0 19 0 568036335 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7101/statm: 1909473 68079 2253 9 0 1900211 0
[pid=7101/tid=7102] ppid=7099 vsize=7637892 CPUtime=1176.91 cores=1,3
/proc/7101/task/7102/stat : 7102 (java) R 7099 7101 6092 0 -1 4202560 26311 0 1 0 117687 4 0 0 25 0 19 0 568036336 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 46912505702300 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7101/tid=7104] ppid=7099 vsize=7637892 CPUtime=0.24 cores=1,3
/proc/7101/task/7104/stat : 7104 (java) S 7099 7101 6092 0 -1 4202560 8348 0 0 0 23 1 0 0 15 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7105] ppid=7099 vsize=7637892 CPUtime=0.17 cores=1,3
/proc/7101/task/7105/stat : 7105 (java) S 7099 7101 6092 0 -1 4202560 7848 0 0 0 17 0 0 0 15 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7106] ppid=7099 vsize=7637892 CPUtime=0.11 cores=1,3
/proc/7101/task/7106/stat : 7106 (java) S 7099 7101 6092 0 -1 4202560 4 0 0 0 11 0 0 0 15 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7107] ppid=7099 vsize=7637892 CPUtime=0.05 cores=1,3
/proc/7101/task/7107/stat : 7107 (java) S 7099 7101 6092 0 -1 4202560 5 0 0 0 5 0 0 0 15 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7108] ppid=7099 vsize=7637892 CPUtime=0.06 cores=1,3
/proc/7101/task/7108/stat : 7108 (java) S 7099 7101 6092 0 -1 4202560 5 0 0 0 6 0 0 0 15 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7109] ppid=7099 vsize=7637892 CPUtime=0.1 cores=1,3
/proc/7101/task/7109/stat : 7109 (java) S 7099 7101 6092 0 -1 4202560 46 0 0 0 10 0 0 0 16 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7110] ppid=7099 vsize=7637892 CPUtime=0.08 cores=1,3
/proc/7101/task/7110/stat : 7110 (java) S 7099 7101 6092 0 -1 4202560 7 0 0 0 8 0 0 0 15 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7111] ppid=7099 vsize=7637892 CPUtime=0.12 cores=1,3
/proc/7101/task/7111/stat : 7111 (java) S 7099 7101 6092 0 -1 4202560 23 0 0 0 12 0 0 0 15 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7112] ppid=7099 vsize=7637892 CPUtime=4.85 cores=1,3
/proc/7101/task/7112/stat : 7112 (java) S 7099 7101 6092 0 -1 4202560 21435 0 0 0 483 2 0 0 15 0 19 0 568036338 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 0 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7113] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7113/stat : 7113 (java) S 7099 7101 6092 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 568036338 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7114] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7114/stat : 7114 (java) S 7099 7101 6092 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 568036338 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7115] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7115/stat : 7115 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 568036341 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892388785 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7116] ppid=7099 vsize=7637892 CPUtime=0.77 cores=1,3
/proc/7101/task/7116/stat : 7116 (java) S 7099 7101 6092 0 -1 4202560 9340 0 0 0 76 1 0 0 15 0 19 0 568036341 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7117] ppid=7099 vsize=7637892 CPUtime=0.42 cores=1,3
/proc/7101/task/7117/stat : 7117 (java) S 7099 7101 6092 0 -1 4202560 2804 0 0 0 42 0 0 0 15 0 19 0 568036342 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7118] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7118/stat : 7118 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 568036342 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7119] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7119/stat : 7119 (java) S 7099 7101 6092 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 568036342 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7145] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7145/stat : 7145 (java) S 7099 7101 6092 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 568036392 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1183.98
Current children cumulated vsize (KiB) 7637892
[startup+1242.3 s]
/proc/loadavg: 4.05 4.01 4.01 6/262 7228
/proc/meminfo: memFree=10409940/32950928 swapFree=67111528/67111528
[pid=7101] ppid=7099 vsize=7637892 CPUtime=1243.98 cores=1,3
/proc/7101/stat : 7101 (java) S 7099 7101 6092 0 -1 4202496 77396 0 1 0 124388 10 0 0 18 0 19 0 568036335 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7101/statm: 1909473 68079 2253 9 0 1900211 0
[pid=7101/tid=7102] ppid=7099 vsize=7637892 CPUtime=1236.91 cores=1,3
/proc/7101/task/7102/stat : 7102 (java) R 7099 7101 6092 0 -1 4202560 26311 0 1 0 123687 4 0 0 25 0 19 0 568036336 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 46912505702159 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7101/tid=7104] ppid=7099 vsize=7637892 CPUtime=0.24 cores=1,3
/proc/7101/task/7104/stat : 7104 (java) S 7099 7101 6092 0 -1 4202560 8348 0 0 0 23 1 0 0 15 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7105] ppid=7099 vsize=7637892 CPUtime=0.17 cores=1,3
/proc/7101/task/7105/stat : 7105 (java) S 7099 7101 6092 0 -1 4202560 7848 0 0 0 17 0 0 0 15 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7106] ppid=7099 vsize=7637892 CPUtime=0.11 cores=1,3
/proc/7101/task/7106/stat : 7106 (java) S 7099 7101 6092 0 -1 4202560 4 0 0 0 11 0 0 0 15 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7107] ppid=7099 vsize=7637892 CPUtime=0.05 cores=1,3
/proc/7101/task/7107/stat : 7107 (java) S 7099 7101 6092 0 -1 4202560 5 0 0 0 5 0 0 0 15 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7108] ppid=7099 vsize=7637892 CPUtime=0.06 cores=1,3
/proc/7101/task/7108/stat : 7108 (java) S 7099 7101 6092 0 -1 4202560 5 0 0 0 6 0 0 0 15 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7109] ppid=7099 vsize=7637892 CPUtime=0.1 cores=1,3
/proc/7101/task/7109/stat : 7109 (java) S 7099 7101 6092 0 -1 4202560 46 0 0 0 10 0 0 0 16 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7110] ppid=7099 vsize=7637892 CPUtime=0.08 cores=1,3
/proc/7101/task/7110/stat : 7110 (java) S 7099 7101 6092 0 -1 4202560 7 0 0 0 8 0 0 0 15 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7111] ppid=7099 vsize=7637892 CPUtime=0.12 cores=1,3
/proc/7101/task/7111/stat : 7111 (java) S 7099 7101 6092 0 -1 4202560 23 0 0 0 12 0 0 0 15 0 19 0 568036337 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7112] ppid=7099 vsize=7637892 CPUtime=4.85 cores=1,3
/proc/7101/task/7112/stat : 7112 (java) S 7099 7101 6092 0 -1 4202560 21435 0 0 0 483 2 0 0 15 0 19 0 568036338 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 0 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7113] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7113/stat : 7113 (java) S 7099 7101 6092 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 568036338 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7114] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7114/stat : 7114 (java) S 7099 7101 6092 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 568036338 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7115] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7115/stat : 7115 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 568036341 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892388785 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7116] ppid=7099 vsize=7637892 CPUtime=0.77 cores=1,3
/proc/7101/task/7116/stat : 7116 (java) S 7099 7101 6092 0 -1 4202560 9340 0 0 0 76 1 0 0 15 0 19 0 568036341 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7117] ppid=7099 vsize=7637892 CPUtime=0.42 cores=1,3
/proc/7101/task/7117/stat : 7117 (java) S 7099 7101 6092 0 -1 4202560 2804 0 0 0 42 0 0 0 15 0 19 0 568036342 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7118] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7118/stat : 7118 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 568036342 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7119] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7119/stat : 7119 (java) S 7099 7101 6092 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 568036342 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7145] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7145/stat : 7145 (java) S 7099 7101 6092 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 568036392 7821201408 68079 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1243.98
Current children cumulated vsize (KiB) 7637892
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.11 4.04 4.01 3/223 7236
/proc/meminfo: memFree=10773548/32950928 swapFree=67111528/67111528
[pid=7101] ppid=7099 vsize=7637892 CPUtime=1301.71 cores=1,3
/proc/7101/stat : 7101 (java) S 7099 7101 6092 0 -1 4202496 77511 0 1 0 130160 11 0 0 18 0 19 0 568036335 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7101/statm: 1909473 68187 2253 9 0 1900211 0
[pid=7101/tid=7102] ppid=7099 vsize=7637892 CPUtime=1294.42 cores=1,3
/proc/7101/task/7102/stat : 7102 (java) R 7099 7101 6092 0 -1 4202560 26312 0 1 0 129438 4 0 0 25 0 19 0 568036336 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 46912505702164 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7101/tid=7104] ppid=7099 vsize=7637892 CPUtime=0.26 cores=1,3
/proc/7101/task/7104/stat : 7104 (java) S 7099 7101 6092 0 -1 4202560 8348 0 0 0 25 1 0 0 15 0 19 0 568036337 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7105] ppid=7099 vsize=7637892 CPUtime=0.17 cores=1,3
/proc/7101/task/7105/stat : 7105 (java) S 7099 7101 6092 0 -1 4202560 7848 0 0 0 17 0 0 0 15 0 19 0 568036337 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7106] ppid=7099 vsize=7637892 CPUtime=0.11 cores=1,3
/proc/7101/task/7106/stat : 7106 (java) S 7099 7101 6092 0 -1 4202560 4 0 0 0 11 0 0 0 15 0 19 0 568036337 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7107] ppid=7099 vsize=7637892 CPUtime=0.05 cores=1,3
/proc/7101/task/7107/stat : 7107 (java) S 7099 7101 6092 0 -1 4202560 5 0 0 0 5 0 0 0 15 0 19 0 568036337 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7108] ppid=7099 vsize=7637892 CPUtime=0.06 cores=1,3
/proc/7101/task/7108/stat : 7108 (java) S 7099 7101 6092 0 -1 4202560 5 0 0 0 6 0 0 0 15 0 19 0 568036337 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7109] ppid=7099 vsize=7637892 CPUtime=0.11 cores=1,3
/proc/7101/task/7109/stat : 7109 (java) S 7099 7101 6092 0 -1 4202560 46 0 0 0 11 0 0 0 15 0 19 0 568036337 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7110] ppid=7099 vsize=7637892 CPUtime=0.08 cores=1,3
/proc/7101/task/7110/stat : 7110 (java) S 7099 7101 6092 0 -1 4202560 7 0 0 0 8 0 0 0 15 0 19 0 568036337 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7111] ppid=7099 vsize=7637892 CPUtime=0.12 cores=1,3
/proc/7101/task/7111/stat : 7111 (java) S 7099 7101 6092 0 -1 4202560 23 0 0 0 12 0 0 0 15 0 19 0 568036337 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7112] ppid=7099 vsize=7637892 CPUtime=5.03 cores=1,3
/proc/7101/task/7112/stat : 7112 (java) S 7099 7101 6092 0 -1 4202560 21545 0 0 0 501 2 0 0 15 0 19 0 568036338 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 0 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7113] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7113/stat : 7113 (java) S 7099 7101 6092 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 568036338 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7114] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7114/stat : 7114 (java) S 7099 7101 6092 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 568036338 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7115] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7115/stat : 7115 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 568036341 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892388785 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7116] ppid=7099 vsize=7637892 CPUtime=0.77 cores=1,3
/proc/7101/task/7116/stat : 7116 (java) S 7099 7101 6092 0 -1 4202560 9340 0 0 0 76 1 0 0 15 0 19 0 568036341 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7117] ppid=7099 vsize=7637892 CPUtime=0.42 cores=1,3
/proc/7101/task/7117/stat : 7117 (java) S 7099 7101 6092 0 -1 4202560 2804 0 0 0 42 0 0 0 15 0 19 0 568036342 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7118] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7118/stat : 7118 (java) S 7099 7101 6092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 568036342 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381081 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
[pid=7101/tid=7119] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7119/stat : 7119 (java) S 7099 7101 6092 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 568036342 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 4 0 16800975 18446604458998515904 0 0 -1 3 0 0 0
[pid=7101/tid=7145] ppid=7099 vsize=7637892 CPUtime=0 cores=1,3
/proc/7101/task/7145/stat : 7145 (java) S 7099 7101 6092 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 568036392 7821201408 68187 33554432000 1073741824 1073778376 140736316956208 18446744073709551615 218892381696 0 4 0 16800975 18446604458998515904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 7637892
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.06
CPU time (s): 1301.79
CPU user time (s): 1301.67
CPU system time (s): 0.123981
CPU usage (%): 100.133
Max. virtual memory (cumulated for all children) (KiB): 7637892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.67
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77545
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= 27359
involuntary context switches= 3896
runsolver used 2.16067 second user time and 5.12222 second system time
The end