runsolver Copyright (C) 2010 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 893)
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-3190280-1302598027/watcher-3190280-1302598027 -o /tmp/evaluation-result-3190280-1302598027/solver-3190280-1302598027 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190280-1302598027.cnf
running on 2 cores: 0,2
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: 4.09 3.98 3.36 4/180 29181
/proc/meminfo: memFree=16361832/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29177 vsize=23028 CPUtime=0 cores=0,2
/proc/29181/stat : 29181 (java) R 29177 29181 28928 0 -1 4202496 570 0 0 0 0 0 0 0 17 0 1 0 371400666 23580672 311 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228117751552 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29181/statm: 5757 327 251 9 0 124 0
[startup+0.061259 s]
/proc/loadavg: 4.09 3.98 3.36 4/180 29181
/proc/meminfo: memFree=16361832/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29177 vsize=7569648 CPUtime=0.05 cores=0,2
/proc/29181/stat : 29181 (java) S 29177 29181 28928 0 -1 4202496 9141 0 1 0 4 1 0 0 17 0 18 0 371400666 7751319552 8835 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 1892412 8835 1730 9 0 1883155 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7569648
[startup+0.108077 s]
/proc/loadavg: 4.09 3.98 3.36 4/180 29181
/proc/meminfo: memFree=16361832/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29177 vsize=7571200 CPUtime=0.1 cores=0,2
/proc/29181/stat : 29181 (java) S 29177 29181 28928 0 -1 4202496 10449 0 1 0 9 1 0 0 17 0 18 0 371400666 7752908800 10143 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 1892800 10143 2093 9 0 1883538 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7571200
[startup+0.300166 s]
/proc/loadavg: 4.09 3.98 3.36 4/180 29181
/proc/meminfo: memFree=16361832/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29177 vsize=7575924 CPUtime=0.49 cores=0,2
/proc/29181/stat : 29181 (java) S 29177 29181 28928 0 -1 4202496 13396 0 1 0 47 2 0 0 17 0 19 0 371400666 7757746176 12447 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 1893981 12447 2216 9 0 1884719 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 7575924
[startup+0.701152 s]
/proc/loadavg: 4.09 3.98 3.36 4/180 29181
/proc/meminfo: memFree=16361832/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29177 vsize=7575924 CPUtime=1.02 cores=0,2
/proc/29181/stat : 29181 (java) S 29177 29181 28928 0 -1 4202496 13886 0 1 0 100 2 0 0 17 0 19 0 371400666 7757746176 12937 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 1893981 12937 2223 9 0 1884719 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 7575924
[startup+1.50098 s]
/proc/loadavg: 4.09 3.98 3.36 8/262 29288
/proc/meminfo: memFree=16174008/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29177 vsize=7592648 CPUtime=1.93 cores=0,2
/proc/29181/stat : 29181 (java) S 29177 29181 28928 0 -1 4202496 21464 0 1 0 190 3 0 0 17 0 19 0 371400666 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 1898162 19706 2251 9 0 1888900 0
[pid=29181/tid=29184] ppid=29177 vsize=7592648 CPUtime=1.45 cores=0,2
/proc/29181/task/29184/stat : 29184 (java) R 29177 29181 28928 0 -1 4202560 10961 0 1 0 144 1 0 0 21 0 19 0 371400667 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 46912505662430 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29181/tid=29195] ppid=29177 vsize=7592648 CPUtime=0 cores=0,2
/proc/29181/task/29195/stat : 29195 (java) S 29177 29181 28928 0 -1 4202560 78 0 0 0 0 0 0 0 18 0 19 0 371400668 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29196] ppid=29177 vsize=7592648 CPUtime=0 cores=0,2
/proc/29181/task/29196/stat : 29196 (java) S 29177 29181 28928 0 -1 4202560 484 0 0 0 0 0 0 0 18 0 19 0 371400668 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
[pid=29181/tid=29198] ppid=29177 vsize=7592648 CPUtime=0 cores=0,2
/proc/29181/task/29198/stat : 29198 (java) S 29177 29181 28928 0 -1 4202560 592 0 0 0 0 0 0 0 18 0 19 0 371400668 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
[pid=29181/tid=29200] ppid=29177 vsize=7592648 CPUtime=0 cores=0,2
/proc/29181/task/29200/stat : 29200 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371400668 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29201] ppid=29177 vsize=7592648 CPUtime=0 cores=0,2
/proc/29181/task/29201/stat : 29201 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371400668 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29203] ppid=29177 vsize=7592648 CPUtime=0 cores=0,2
/proc/29181/task/29203/stat : 29203 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371400668 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29205] ppid=29177 vsize=7592648 CPUtime=0 cores=0,2
/proc/29181/task/29205/stat : 29205 (java) R 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371400668 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29181/tid=29207] ppid=29177 vsize=7592648 CPUtime=0 cores=0,2
/proc/29181/task/29207/stat : 29207 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371400668 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
[pid=29181/tid=29213] ppid=29177 vsize=7592648 CPUtime=0.02 cores=0,2
/proc/29181/task/29213/stat : 29213 (java) S 29177 29181 28928 0 -1 4202560 1167 0 0 0 2 0 0 0 16 0 19 0 371400669 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 0 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
[pid=29181/tid=29215] ppid=29177 vsize=7592648 CPUtime=0 cores=0,2
/proc/29181/task/29215/stat : 29215 (java) R 29177 29181 28928 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371400670 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29181/tid=29217] ppid=29177 vsize=7592648 CPUtime=0 cores=0,2
/proc/29181/task/29217/stat : 29217 (java) S 29177 29181 28928 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 371400670 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29221] ppid=29177 vsize=7592648 CPUtime=0 cores=0,2
/proc/29181/task/29221/stat : 29221 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400672 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134537649 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29222] ppid=29177 vsize=7592648 CPUtime=0.18 cores=0,2
/proc/29181/task/29222/stat : 29222 (java) R 29177 29181 28928 0 -1 4202560 5128 0 0 0 18 0 0 0 16 0 19 0 371400672 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 47595589799723 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29181/tid=29225] ppid=29177 vsize=7592648 CPUtime=0.24 cores=0,2
/proc/29181/task/29225/stat : 29225 (java) S 29177 29181 28928 0 -1 4202560 1898 0 0 0 24 0 0 0 16 0 19 0 371400672 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29226] ppid=29177 vsize=7592648 CPUtime=0 cores=0,2
/proc/29181/task/29226/stat : 29226 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400672 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29228] ppid=29177 vsize=7592648 CPUtime=0 cores=0,2
/proc/29181/task/29228/stat : 29228 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371400672 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29258] ppid=29177 vsize=7592648 CPUtime=0 cores=0,2
/proc/29181/task/29258/stat : 29258 (java) S 29177 29181 28928 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371400687 7774871552 19706 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 4 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 7592648
[startup+3.10075 s]
/proc/loadavg: 4.09 3.98 3.36 6/262 29288
/proc/meminfo: memFree=16087208/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29177 vsize=7599680 CPUtime=3.7 cores=0,2
/proc/29181/stat : 29181 (java) S 29177 29181 28928 0 -1 4202496 25291 0 1 0 367 3 0 0 17 0 19 0 371400666 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 1899920 22344 2254 9 0 1890658 0
[pid=29181/tid=29184] ppid=29177 vsize=7599680 CPUtime=3.02 cores=0,2
/proc/29181/task/29184/stat : 29184 (java) R 29177 29181 28928 0 -1 4202560 10964 0 1 0 301 1 0 0 25 0 19 0 371400667 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 46912505585067 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29181/tid=29195] ppid=29177 vsize=7599680 CPUtime=0 cores=0,2
/proc/29181/task/29195/stat : 29195 (java) S 29177 29181 28928 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 371400668 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29196] ppid=29177 vsize=7599680 CPUtime=0 cores=0,2
/proc/29181/task/29196/stat : 29196 (java) S 29177 29181 28928 0 -1 4202560 484 0 0 0 0 0 0 0 15 0 19 0 371400668 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29198] ppid=29177 vsize=7599680 CPUtime=0 cores=0,2
/proc/29181/task/29198/stat : 29198 (java) S 29177 29181 28928 0 -1 4202560 592 0 0 0 0 0 0 0 15 0 19 0 371400668 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29200] ppid=29177 vsize=7599680 CPUtime=0 cores=0,2
/proc/29181/task/29200/stat : 29200 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 371400668 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29201] ppid=29177 vsize=7599680 CPUtime=0 cores=0,2
/proc/29181/task/29201/stat : 29201 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371400668 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29203] ppid=29177 vsize=7599680 CPUtime=0 cores=0,2
/proc/29181/task/29203/stat : 29203 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371400668 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29205] ppid=29177 vsize=7599680 CPUtime=0 cores=0,2
/proc/29181/task/29205/stat : 29205 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371400668 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29207] ppid=29177 vsize=7599680 CPUtime=0 cores=0,2
/proc/29181/task/29207/stat : 29207 (java) S 29177 29181 28928 0 -1 4202560 813 0 0 0 0 0 0 0 15 0 19 0 371400668 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29213] ppid=29177 vsize=7599680 CPUtime=0.03 cores=0,2
/proc/29181/task/29213/stat : 29213 (java) S 29177 29181 28928 0 -1 4202560 1386 0 0 0 3 0 0 0 16 0 19 0 371400669 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 0 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
[pid=29181/tid=29215] ppid=29177 vsize=7599680 CPUtime=0 cores=0,2
/proc/29181/task/29215/stat : 29215 (java) S 29177 29181 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371400670 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29217] ppid=29177 vsize=7599680 CPUtime=0 cores=0,2
/proc/29181/task/29217/stat : 29217 (java) S 29177 29181 28928 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371400670 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29221] ppid=29177 vsize=7599680 CPUtime=0 cores=0,2
/proc/29181/task/29221/stat : 29221 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400672 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134537649 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29222] ppid=29177 vsize=7599680 CPUtime=0.34 cores=0,2
/proc/29181/task/29222/stat : 29222 (java) S 29177 29181 28928 0 -1 4202560 7918 0 0 0 34 0 0 0 15 0 19 0 371400672 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29225] ppid=29177 vsize=7599680 CPUtime=0.24 cores=0,2
/proc/29181/task/29225/stat : 29225 (java) S 29177 29181 28928 0 -1 4202560 1898 0 0 0 24 0 0 0 15 0 19 0 371400672 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29226] ppid=29177 vsize=7599680 CPUtime=0 cores=0,2
/proc/29181/task/29226/stat : 29226 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400672 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29228] ppid=29177 vsize=7599680 CPUtime=0 cores=0,2
/proc/29181/task/29228/stat : 29228 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371400672 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29258] ppid=29177 vsize=7599680 CPUtime=0 cores=0,2
/proc/29181/task/29258/stat : 29258 (java) S 29177 29181 28928 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371400687 7782072320 22344 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 4 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 7599680
[startup+6.30117 s]
/proc/loadavg: 4.08 3.98 3.36 6/262 29288
/proc/meminfo: memFree=16037472/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29177 vsize=7595172 CPUtime=6.92 cores=0,2
/proc/29181/stat : 29181 (java) S 29177 29181 28928 0 -1 4202496 25871 0 1 0 689 3 0 0 17 0 19 0 371400666 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 1898793 22215 2254 9 0 1889531 0
[pid=29181/tid=29184] ppid=29177 vsize=7595172 CPUtime=6.17 cores=0,2
/proc/29181/task/29184/stat : 29184 (java) R 29177 29181 28928 0 -1 4202560 10967 0 1 0 616 1 0 0 25 0 19 0 371400667 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 46912505651933 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29181/tid=29195] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29195/stat : 29195 (java) S 29177 29181 28928 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 371400668 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29196] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29196/stat : 29196 (java) S 29177 29181 28928 0 -1 4202560 815 0 0 0 0 0 0 0 15 0 19 0 371400668 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29198] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29198/stat : 29198 (java) S 29177 29181 28928 0 -1 4202560 675 0 0 0 0 0 0 0 16 0 19 0 371400668 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29200] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29200/stat : 29200 (java) S 29177 29181 28928 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371400668 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29201] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29201/stat : 29201 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371400668 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29203] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29203/stat : 29203 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371400668 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29205] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29205/stat : 29205 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371400668 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29207] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29207/stat : 29207 (java) S 29177 29181 28928 0 -1 4202560 813 0 0 0 0 0 0 0 15 0 19 0 371400668 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
[pid=29181/tid=29213] ppid=29177 vsize=7595172 CPUtime=0.08 cores=0,2
/proc/29181/task/29213/stat : 29213 (java) S 29177 29181 28928 0 -1 4202560 1543 0 0 0 8 0 0 0 16 0 19 0 371400669 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 0 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
[pid=29181/tid=29215] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29215/stat : 29215 (java) S 29177 29181 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371400670 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29217] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29217/stat : 29217 (java) S 29177 29181 28928 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371400670 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29221] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29221/stat : 29221 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400672 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134537649 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29222] ppid=29177 vsize=7595172 CPUtime=0.34 cores=0,2
/proc/29181/task/29222/stat : 29222 (java) S 29177 29181 28928 0 -1 4202560 7919 0 0 0 34 0 0 0 15 0 19 0 371400672 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29225] ppid=29177 vsize=7595172 CPUtime=0.26 cores=0,2
/proc/29181/task/29225/stat : 29225 (java) S 29177 29181 28928 0 -1 4202560 1900 0 0 0 26 0 0 0 15 0 19 0 371400672 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29226] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29226/stat : 29226 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400672 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29228] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29228/stat : 29228 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371400672 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29258] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29258/stat : 29258 (java) S 29177 29181 28928 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371400687 7777456128 22215 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 4 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 7595172
[startup+12.701 s]
################
# More data... #
################
[pid=29181/tid=29203] ppid=29177 vsize=7595172 CPUtime=0.13 cores=0,2
/proc/29181/task/29203/stat : 29203 (java) S 29177 29181 28928 0 -1 4202560 354 0 0 0 13 0 0 0 16 0 19 0 371400668 7777456128 33763 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29205] ppid=29177 vsize=7595172 CPUtime=0.1 cores=0,2
/proc/29181/task/29205/stat : 29205 (java) S 29177 29181 28928 0 -1 4202560 125 0 0 0 10 0 0 0 16 0 19 0 371400668 7777456128 33763 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29207] ppid=29177 vsize=7595172 CPUtime=0.14 cores=0,2
/proc/29181/task/29207/stat : 29207 (java) S 29177 29181 28928 0 -1 4202560 2011 0 0 0 14 0 0 0 15 0 19 0 371400668 7777456128 33763 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29213] ppid=29177 vsize=7595172 CPUtime=4.48 cores=0,2
/proc/29181/task/29213/stat : 29213 (java) S 29177 29181 28928 0 -1 4202560 3814 0 0 0 447 1 0 0 15 0 19 0 371400669 7777456128 33763 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 0 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
[pid=29181/tid=29215] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29215/stat : 29215 (java) S 29177 29181 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371400670 7777456128 33763 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29217] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29217/stat : 29217 (java) S 29177 29181 28928 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371400670 7777456128 33763 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29221] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29221/stat : 29221 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400672 7777456128 33763 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134537649 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29222] ppid=29177 vsize=7595172 CPUtime=0.34 cores=0,2
/proc/29181/task/29222/stat : 29222 (java) S 29177 29181 28928 0 -1 4202560 7919 0 0 0 34 0 0 0 15 0 19 0 371400672 7777456128 33763 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29225] ppid=29177 vsize=7595172 CPUtime=0.28 cores=0,2
/proc/29181/task/29225/stat : 29225 (java) S 29177 29181 28928 0 -1 4202560 1906 0 0 0 28 0 0 0 15 0 19 0 371400672 7777456128 33763 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29226] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29226/stat : 29226 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400672 7777456128 33763 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29228] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29228/stat : 29228 (java) S 29177 29181 28928 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 371400672 7777456128 33763 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29258] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29258/stat : 29258 (java) S 29177 29181 28928 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371400687 7777456128 33763 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 4 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1123.44
Current children cumulated vsize (KiB) 7595172
[startup+1182.3 s]
/proc/loadavg: 4.03 4.01 3.80 6/262 29331
/proc/meminfo: memFree=15756464/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29177 vsize=7595172 CPUtime=1183.46 cores=0,2
/proc/29181/stat : 29181 (java) S 29177 29181 28928 0 -1 4202496 37739 0 1 0 118323 23 0 0 17 0 19 0 371400666 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 1898793 33810 2255 9 0 1889531 0
[pid=29181/tid=29184] ppid=29177 vsize=7595172 CPUtime=1176.91 cores=0,2
/proc/29181/task/29184/stat : 29184 (java) R 29177 29181 28928 0 -1 4202560 14724 0 1 0 117673 18 0 0 25 0 19 0 371400667 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 46912505604216 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29181/tid=29195] ppid=29177 vsize=7595172 CPUtime=0.17 cores=0,2
/proc/29181/task/29195/stat : 29195 (java) S 29177 29181 28928 0 -1 4202560 441 0 0 0 17 0 0 0 15 0 19 0 371400668 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29196] ppid=29177 vsize=7595172 CPUtime=0.11 cores=0,2
/proc/29181/task/29196/stat : 29196 (java) S 29177 29181 28928 0 -1 4202560 1970 0 0 0 11 0 0 0 15 0 19 0 371400668 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29198] ppid=29177 vsize=7595172 CPUtime=0.13 cores=0,2
/proc/29181/task/29198/stat : 29198 (java) S 29177 29181 28928 0 -1 4202560 682 0 0 0 13 0 0 0 15 0 19 0 371400668 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29200] ppid=29177 vsize=7595172 CPUtime=0.15 cores=0,2
/proc/29181/task/29200/stat : 29200 (java) S 29177 29181 28928 0 -1 4202560 2064 0 0 0 15 0 0 0 15 0 19 0 371400668 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29201] ppid=29177 vsize=7595172 CPUtime=0.15 cores=0,2
/proc/29181/task/29201/stat : 29201 (java) S 29177 29181 28928 0 -1 4202560 458 0 0 0 15 0 0 0 15 0 19 0 371400668 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29203] ppid=29177 vsize=7595172 CPUtime=0.13 cores=0,2
/proc/29181/task/29203/stat : 29203 (java) S 29177 29181 28928 0 -1 4202560 355 0 0 0 13 0 0 0 16 0 19 0 371400668 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29205] ppid=29177 vsize=7595172 CPUtime=0.1 cores=0,2
/proc/29181/task/29205/stat : 29205 (java) S 29177 29181 28928 0 -1 4202560 125 0 0 0 10 0 0 0 15 0 19 0 371400668 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29207] ppid=29177 vsize=7595172 CPUtime=0.14 cores=0,2
/proc/29181/task/29207/stat : 29207 (java) S 29177 29181 28928 0 -1 4202560 2011 0 0 0 14 0 0 0 15 0 19 0 371400668 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29213] ppid=29177 vsize=7595172 CPUtime=4.74 cores=0,2
/proc/29181/task/29213/stat : 29213 (java) S 29177 29181 28928 0 -1 4202560 3862 0 0 0 473 1 0 0 16 0 19 0 371400669 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 0 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
[pid=29181/tid=29215] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29215/stat : 29215 (java) S 29177 29181 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371400670 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29217] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29217/stat : 29217 (java) S 29177 29181 28928 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371400670 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29221] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29221/stat : 29221 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400672 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134537649 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29222] ppid=29177 vsize=7595172 CPUtime=0.34 cores=0,2
/proc/29181/task/29222/stat : 29222 (java) S 29177 29181 28928 0 -1 4202560 7919 0 0 0 34 0 0 0 15 0 19 0 371400672 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29225] ppid=29177 vsize=7595172 CPUtime=0.28 cores=0,2
/proc/29181/task/29225/stat : 29225 (java) S 29177 29181 28928 0 -1 4202560 1906 0 0 0 28 0 0 0 15 0 19 0 371400672 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29226] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29226/stat : 29226 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400672 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29228] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29228/stat : 29228 (java) S 29177 29181 28928 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371400672 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29258] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29258/stat : 29258 (java) S 29177 29181 28928 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371400687 7777456128 33810 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 4 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1183.46
Current children cumulated vsize (KiB) 7595172
[startup+1242.3 s]
/proc/loadavg: 4.01 4.01 3.81 6/262 29333
/proc/meminfo: memFree=15753564/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29177 vsize=7595172 CPUtime=1243.48 cores=0,2
/proc/29181/stat : 29181 (java) S 29177 29181 28928 0 -1 4202496 37806 0 1 0 124325 23 0 0 17 0 19 0 371400666 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 1898793 33863 2255 9 0 1889531 0
[pid=29181/tid=29184] ppid=29177 vsize=7595172 CPUtime=1236.68 cores=0,2
/proc/29181/task/29184/stat : 29184 (java) R 29177 29181 28928 0 -1 4202560 14730 0 1 0 123650 18 0 0 25 0 19 0 371400667 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 46912505651872 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29181/tid=29195] ppid=29177 vsize=7595172 CPUtime=0.18 cores=0,2
/proc/29181/task/29195/stat : 29195 (java) S 29177 29181 28928 0 -1 4202560 441 0 0 0 18 0 0 0 15 0 19 0 371400668 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29196] ppid=29177 vsize=7595172 CPUtime=0.12 cores=0,2
/proc/29181/task/29196/stat : 29196 (java) S 29177 29181 28928 0 -1 4202560 1970 0 0 0 12 0 0 0 15 0 19 0 371400668 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29198] ppid=29177 vsize=7595172 CPUtime=0.14 cores=0,2
/proc/29181/task/29198/stat : 29198 (java) S 29177 29181 28928 0 -1 4202560 682 0 0 0 14 0 0 0 15 0 19 0 371400668 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29200] ppid=29177 vsize=7595172 CPUtime=0.16 cores=0,2
/proc/29181/task/29200/stat : 29200 (java) S 29177 29181 28928 0 -1 4202560 2064 0 0 0 16 0 0 0 16 0 19 0 371400668 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29201] ppid=29177 vsize=7595172 CPUtime=0.15 cores=0,2
/proc/29181/task/29201/stat : 29201 (java) S 29177 29181 28928 0 -1 4202560 459 0 0 0 15 0 0 0 16 0 19 0 371400668 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29203] ppid=29177 vsize=7595172 CPUtime=0.14 cores=0,2
/proc/29181/task/29203/stat : 29203 (java) S 29177 29181 28928 0 -1 4202560 355 0 0 0 14 0 0 0 15 0 19 0 371400668 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29205] ppid=29177 vsize=7595172 CPUtime=0.11 cores=0,2
/proc/29181/task/29205/stat : 29205 (java) S 29177 29181 28928 0 -1 4202560 125 0 0 0 11 0 0 0 15 0 19 0 371400668 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29207] ppid=29177 vsize=7595172 CPUtime=0.14 cores=0,2
/proc/29181/task/29207/stat : 29207 (java) S 29177 29181 28928 0 -1 4202560 2011 0 0 0 14 0 0 0 15 0 19 0 371400668 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29213] ppid=29177 vsize=7595172 CPUtime=4.95 cores=0,2
/proc/29181/task/29213/stat : 29213 (java) S 29177 29181 28928 0 -1 4202560 3918 0 0 0 494 1 0 0 15 0 19 0 371400669 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 0 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
[pid=29181/tid=29215] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29215/stat : 29215 (java) S 29177 29181 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371400670 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29217] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29217/stat : 29217 (java) S 29177 29181 28928 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371400670 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29221] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29221/stat : 29221 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400672 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134537649 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29222] ppid=29177 vsize=7595172 CPUtime=0.34 cores=0,2
/proc/29181/task/29222/stat : 29222 (java) S 29177 29181 28928 0 -1 4202560 7919 0 0 0 34 0 0 0 15 0 19 0 371400672 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29225] ppid=29177 vsize=7595172 CPUtime=0.28 cores=0,2
/proc/29181/task/29225/stat : 29225 (java) S 29177 29181 28928 0 -1 4202560 1906 0 0 0 28 0 0 0 15 0 19 0 371400672 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29226] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29226/stat : 29226 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400672 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29228] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29228/stat : 29228 (java) S 29177 29181 28928 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371400672 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29258] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29258/stat : 29258 (java) S 29177 29181 28928 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371400687 7777456128 33863 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 4 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1243.48
Current children cumulated vsize (KiB) 7595172
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.06 4.02 3.82 6/262 29335
/proc/meminfo: memFree=15750672/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29177 vsize=7595172 CPUtime=1301.22 cores=0,2
/proc/29181/stat : 29181 (java) S 29177 29181 28928 0 -1 4202496 37873 0 1 0 130099 23 0 0 17 0 19 0 371400666 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 1898793 33918 2255 9 0 1889531 0
[pid=29181/tid=29184] ppid=29177 vsize=7595172 CPUtime=1294.13 cores=0,2
/proc/29181/task/29184/stat : 29184 (java) R 29177 29181 28928 0 -1 4202560 14736 0 1 0 129395 18 0 0 25 0 19 0 371400667 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 46912505584794 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29181/tid=29195] ppid=29177 vsize=7595172 CPUtime=0.18 cores=0,2
/proc/29181/task/29195/stat : 29195 (java) S 29177 29181 28928 0 -1 4202560 442 0 0 0 18 0 0 0 15 0 19 0 371400668 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29196] ppid=29177 vsize=7595172 CPUtime=0.14 cores=0,2
/proc/29181/task/29196/stat : 29196 (java) S 29177 29181 28928 0 -1 4202560 1970 0 0 0 14 0 0 0 16 0 19 0 371400668 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29198] ppid=29177 vsize=7595172 CPUtime=0.15 cores=0,2
/proc/29181/task/29198/stat : 29198 (java) S 29177 29181 28928 0 -1 4202560 682 0 0 0 15 0 0 0 16 0 19 0 371400668 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29200] ppid=29177 vsize=7595172 CPUtime=0.16 cores=0,2
/proc/29181/task/29200/stat : 29200 (java) S 29177 29181 28928 0 -1 4202560 2064 0 0 0 16 0 0 0 15 0 19 0 371400668 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29201] ppid=29177 vsize=7595172 CPUtime=0.16 cores=0,2
/proc/29181/task/29201/stat : 29201 (java) S 29177 29181 28928 0 -1 4202560 460 0 0 0 16 0 0 0 15 0 19 0 371400668 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29203] ppid=29177 vsize=7595172 CPUtime=0.14 cores=0,2
/proc/29181/task/29203/stat : 29203 (java) S 29177 29181 28928 0 -1 4202560 355 0 0 0 14 0 0 0 15 0 19 0 371400668 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29205] ppid=29177 vsize=7595172 CPUtime=0.11 cores=0,2
/proc/29181/task/29205/stat : 29205 (java) S 29177 29181 28928 0 -1 4202560 125 0 0 0 11 0 0 0 15 0 19 0 371400668 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29207] ppid=29177 vsize=7595172 CPUtime=0.15 cores=0,2
/proc/29181/task/29207/stat : 29207 (java) S 29177 29181 28928 0 -1 4202560 2011 0 0 0 15 0 0 0 15 0 19 0 371400668 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29213] ppid=29177 vsize=7595172 CPUtime=5.18 cores=0,2
/proc/29181/task/29213/stat : 29213 (java) S 29177 29181 28928 0 -1 4202560 3973 0 0 0 517 1 0 0 15 0 19 0 371400669 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 0 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
[pid=29181/tid=29215] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29215/stat : 29215 (java) S 29177 29181 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371400670 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29217] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29217/stat : 29217 (java) S 29177 29181 28928 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371400670 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29221] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29221/stat : 29221 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400672 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134537649 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29222] ppid=29177 vsize=7595172 CPUtime=0.34 cores=0,2
/proc/29181/task/29222/stat : 29222 (java) S 29177 29181 28928 0 -1 4202560 7919 0 0 0 34 0 0 0 15 0 19 0 371400672 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29225] ppid=29177 vsize=7595172 CPUtime=0.28 cores=0,2
/proc/29181/task/29225/stat : 29225 (java) S 29177 29181 28928 0 -1 4202560 1906 0 0 0 28 0 0 0 15 0 19 0 371400672 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29226] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29226/stat : 29226 (java) S 29177 29181 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400672 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134529945 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29228] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29228/stat : 29228 (java) S 29177 29181 28928 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371400672 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 4 0 16800975 18446604453937865728 0 0 -1 2 0 0 0
[pid=29181/tid=29258] ppid=29177 vsize=7595172 CPUtime=0 cores=0,2
/proc/29181/task/29258/stat : 29258 (java) S 29177 29181 28928 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371400687 7777456128 33918 33554432000 1073741824 1073778376 140733691542384 18446744073709551615 228134530560 0 4 0 16800975 18446604453937865728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1301.22
Current children cumulated vsize (KiB) 7595172
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.3
CPU user time (s): 1301.06
CPU system time (s): 0.239963
CPU usage (%): 100.096
Max. virtual memory (cumulated for all children) (KiB): 7599680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.06
system time used= 0.239963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37908
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= 31229
involuntary context switches= 7977
runsolver used 2.23566 second user time and 4.88026 second system time
The end