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-3251478-1303586727/watcher-3251478-1303586727 -o /tmp/evaluation-result-3251478-1303586727/solver-3251478-1303586727 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3251478-1303586727.cnf
running on 2 cores: 4,6
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.53 3.91 3.90 4/192 21279
/proc/meminfo: memFree=14080044/32951124 swapFree=67111528/67111528
[pid=21279] ppid=21276 vsize=252 CPUtime=0 cores=4,6
/proc/21279/stat : 21279 (java) R 21276 21279 20395 0 -1 4194304 78 0 0 0 0 0 0 0 18 0 1 0 470273440 258048 31 33554432000 1073741824 1073778376 140734986234192 18446744073709551615 222916853237 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21279/statm: 63 31 24 9 0 22 0
[startup+0.046198 s]
/proc/loadavg: 3.53 3.91 3.90 4/192 21279
/proc/meminfo: memFree=14080044/32951124 swapFree=67111528/67111528
[pid=21279] ppid=21276 vsize=7564352 CPUtime=0.02 cores=4,6
/proc/21279/stat : 21279 (java) S 21276 21279 20395 0 -1 4202496 8661 0 1 0 2 0 0 0 18 0 13 0 470273440 7745896448 8357 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933579749 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0
/proc/21279/statm: 1891088 8357 1655 9 0 1881836 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7564352
[startup+0.100189 s]
/proc/loadavg: 3.53 3.91 3.90 4/192 21279
/proc/meminfo: memFree=14080044/32951124 swapFree=67111528/67111528
[pid=21279] ppid=21276 vsize=7569940 CPUtime=0.08 cores=4,6
/proc/21279/stat : 21279 (java) S 21276 21279 20395 0 -1 4202496 9647 0 1 0 7 1 0 0 18 0 18 0 470273440 7751618560 9343 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/21279/statm: 1892485 9343 1754 9 0 1883223 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7569940
[startup+0.30017 s]
/proc/loadavg: 3.53 3.91 3.90 4/192 21279
/proc/meminfo: memFree=14080044/32951124 swapFree=67111528/67111528
[pid=21279] ppid=21276 vsize=7637080 CPUtime=0.4 cores=4,6
/proc/21279/stat : 21279 (java) S 21276 21279 20395 0 -1 4202496 14324 0 1 0 38 2 0 0 18 0 18 0 470273440 7820369920 13915 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/21279/statm: 1909270 13915 2197 9 0 1900008 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 7637080
[startup+0.701078 s]
/proc/loadavg: 3.53 3.91 3.90 4/192 21279
/proc/meminfo: memFree=14080044/32951124 swapFree=67111528/67111528
[pid=21279] ppid=21276 vsize=7640652 CPUtime=1 cores=4,6
/proc/21279/stat : 21279 (java) S 21276 21279 20395 0 -1 4202496 17108 0 1 0 98 2 0 0 18 0 19 0 470273440 7824027648 15903 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/21279/statm: 1910163 15903 2219 9 0 1900901 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 7640652
[startup+1.50099 s]
/proc/loadavg: 3.53 3.91 3.90 7/262 21354
/proc/meminfo: memFree=13859160/32951124 swapFree=67111528/67111528
[pid=21279] ppid=21276 vsize=7640948 CPUtime=1.84 cores=4,6
/proc/21279/stat : 21279 (java) S 21276 21279 20395 0 -1 4202496 18095 0 1 0 181 3 0 0 18 0 19 0 470273440 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/21279/statm: 1910237 16889 2224 9 0 1900975 0
[pid=21279/tid=21291] ppid=21276 vsize=7640948 CPUtime=1.47 cores=4,6
/proc/21279/task/21291/stat : 21291 (java) R 21276 21279 20395 0 -1 4202560 14204 0 1 0 145 2 0 0 18 0 19 0 470273441 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 46912505589131 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21279/tid=21292] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21292/stat : 21292 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 470273442 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21293] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21293/stat : 21293 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 470273442 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21294] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21294/stat : 21294 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 470273442 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21295] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21295/stat : 21295 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 470273442 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21297] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21297/stat : 21297 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 470273442 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21299] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21299/stat : 21299 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 470273442 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21301] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21301/stat : 21301 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 470273442 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21303] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21303/stat : 21303 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 470273442 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21308] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21308/stat : 21308 (java) S 21276 21279 20395 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 470273443 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 0 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21310] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21310/stat : 21310 (java) S 21276 21279 20395 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 470273444 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21312] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21312/stat : 21312 (java) S 21276 21279 20395 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 470273444 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21316] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21316/stat : 21316 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273446 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933600689 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21317] ppid=21276 vsize=7640948 CPUtime=0.11 cores=4,6
/proc/21279/task/21317/stat : 21317 (java) S 21276 21279 20395 0 -1 4202560 571 0 0 0 11 0 0 0 22 0 19 0 470273446 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21320] ppid=21276 vsize=7640948 CPUtime=0.24 cores=4,6
/proc/21279/task/21320/stat : 21320 (java) S 21276 21279 20395 0 -1 4202560 2159 0 0 0 24 0 0 0 24 0 19 0 470273446 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21322] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21322/stat : 21322 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273446 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21323] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21323/stat : 21323 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470273446 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21329] ppid=21276 vsize=7640948 CPUtime=0 cores=4,6
/proc/21279/task/21329/stat : 21329 (java) S 21276 21279 20395 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470273472 7824330752 16889 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 7640948
[startup+3.1007 s]
/proc/loadavg: 3.53 3.91 3.90 5/262 21354
/proc/meminfo: memFree=13715444/32951124 swapFree=67111528/67111528
[pid=21279] ppid=21276 vsize=7664740 CPUtime=3.65 cores=4,6
/proc/21279/stat : 21279 (java) S 21276 21279 20395 0 -1 4202496 33556 0 1 0 360 5 0 0 18 0 19 0 470273440 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/21279/statm: 1916185 30336 2251 9 0 1906923 0
[pid=21279/tid=21291] ppid=21276 vsize=7664740 CPUtime=2.97 cores=4,6
/proc/21279/task/21291/stat : 21291 (java) R 21276 21279 20395 0 -1 4202560 14342 0 1 0 295 2 0 0 19 0 19 0 470273441 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 46912505640209 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21279/tid=21292] ppid=21276 vsize=7664740 CPUtime=0 cores=4,6
/proc/21279/task/21292/stat : 21292 (java) S 21276 21279 20395 0 -1 4202560 783 0 0 0 0 0 0 0 17 0 19 0 470273442 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21293] ppid=21276 vsize=7664740 CPUtime=0 cores=4,6
/proc/21279/task/21293/stat : 21293 (java) S 21276 21279 20395 0 -1 4202560 34 0 0 0 0 0 0 0 18 0 19 0 470273442 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21294] ppid=21276 vsize=7664740 CPUtime=0 cores=4,6
/proc/21279/task/21294/stat : 21294 (java) S 21276 21279 20395 0 -1 4202560 33 0 0 0 0 0 0 0 17 0 19 0 470273442 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21295] ppid=21276 vsize=7664740 CPUtime=0 cores=4,6
/proc/21279/task/21295/stat : 21295 (java) S 21276 21279 20395 0 -1 4202560 121 0 0 0 0 0 0 0 17 0 19 0 470273442 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21297] ppid=21276 vsize=7664740 CPUtime=0 cores=4,6
/proc/21279/task/21297/stat : 21297 (java) S 21276 21279 20395 0 -1 4202560 32 0 0 0 0 0 0 0 17 0 19 0 470273442 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21299] ppid=21276 vsize=7664740 CPUtime=0 cores=4,6
/proc/21279/task/21299/stat : 21299 (java) S 21276 21279 20395 0 -1 4202560 85 0 0 0 0 0 0 0 17 0 19 0 470273442 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21301] ppid=21276 vsize=7664740 CPUtime=0.01 cores=4,6
/proc/21279/task/21301/stat : 21301 (java) S 21276 21279 20395 0 -1 4202560 1597 0 0 0 1 0 0 0 18 0 19 0 470273442 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21303] ppid=21276 vsize=7664740 CPUtime=0.01 cores=4,6
/proc/21279/task/21303/stat : 21303 (java) S 21276 21279 20395 0 -1 4202560 1285 0 0 0 1 0 0 0 18 0 19 0 470273442 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21308] ppid=21276 vsize=7664740 CPUtime=0.05 cores=4,6
/proc/21279/task/21308/stat : 21308 (java) S 21276 21279 20395 0 -1 4202560 3933 0 0 0 5 0 0 0 15 0 19 0 470273443 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 0 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21310] ppid=21276 vsize=7664740 CPUtime=0 cores=4,6
/proc/21279/task/21310/stat : 21310 (java) S 21276 21279 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273444 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21312] ppid=21276 vsize=7664740 CPUtime=0 cores=4,6
/proc/21279/task/21312/stat : 21312 (java) S 21276 21279 20395 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 470273444 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21316] ppid=21276 vsize=7664740 CPUtime=0 cores=4,6
/proc/21279/task/21316/stat : 21316 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273446 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933600689 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21317] ppid=21276 vsize=7664740 CPUtime=0.12 cores=4,6
/proc/21279/task/21317/stat : 21317 (java) S 21276 21279 20395 0 -1 4202560 597 0 0 0 12 0 0 0 17 0 19 0 470273446 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21320] ppid=21276 vsize=7664740 CPUtime=0.43 cores=4,6
/proc/21279/task/21320/stat : 21320 (java) S 21276 21279 20395 0 -1 4202560 9562 0 0 0 42 1 0 0 17 0 19 0 470273446 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21322] ppid=21276 vsize=7664740 CPUtime=0 cores=4,6
/proc/21279/task/21322/stat : 21322 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273446 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21323] ppid=21276 vsize=7664740 CPUtime=0 cores=4,6
/proc/21279/task/21323/stat : 21323 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470273446 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21329] ppid=21276 vsize=7664740 CPUtime=0 cores=4,6
/proc/21279/task/21329/stat : 21329 (java) S 21276 21279 20395 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470273472 7848693760 30336 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 7664740
[startup+6.30113 s]
/proc/loadavg: 3.65 3.92 3.90 5/262 21354
/proc/meminfo: memFree=13608708/32951124 swapFree=67111528/67111528
[pid=21279] ppid=21276 vsize=7655976 CPUtime=6.85 cores=4,6
/proc/21279/stat : 21279 (java) S 21276 21279 20395 0 -1 4202496 35403 0 1 0 680 5 0 0 18 0 19 0 470273440 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/21279/statm: 1913994 30468 2253 9 0 1904732 0
[pid=21279/tid=21291] ppid=21276 vsize=7655976 CPUtime=6.1 cores=4,6
/proc/21279/task/21291/stat : 21291 (java) R 21276 21279 20395 0 -1 4202560 14343 0 1 0 608 2 0 0 25 0 19 0 470273441 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 46912505584415 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21279/tid=21292] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21292/stat : 21292 (java) S 21276 21279 20395 0 -1 4202560 783 0 0 0 0 0 0 0 15 0 19 0 470273442 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21293] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21293/stat : 21293 (java) S 21276 21279 20395 0 -1 4202560 1405 0 0 0 0 0 0 0 15 0 19 0 470273442 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21294] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21294/stat : 21294 (java) S 21276 21279 20395 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 470273442 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21295] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21295/stat : 21295 (java) S 21276 21279 20395 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 470273442 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21297] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21297/stat : 21297 (java) S 21276 21279 20395 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 470273442 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21299] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21299/stat : 21299 (java) S 21276 21279 20395 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 470273442 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21301] ppid=21276 vsize=7655976 CPUtime=0.01 cores=4,6
/proc/21279/task/21301/stat : 21301 (java) S 21276 21279 20395 0 -1 4202560 1597 0 0 0 1 0 0 0 15 0 19 0 470273442 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21303] ppid=21276 vsize=7655976 CPUtime=0.01 cores=4,6
/proc/21279/task/21303/stat : 21303 (java) S 21276 21279 20395 0 -1 4202560 1285 0 0 0 1 0 0 0 15 0 19 0 470273442 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21308] ppid=21276 vsize=7655976 CPUtime=0.09 cores=4,6
/proc/21279/task/21308/stat : 21308 (java) S 21276 21279 20395 0 -1 4202560 4402 0 0 0 9 0 0 0 15 0 19 0 470273443 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 0 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21310] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21310/stat : 21310 (java) S 21276 21279 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273444 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21312] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21312/stat : 21312 (java) S 21276 21279 20395 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 470273444 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21316] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21316/stat : 21316 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273446 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933600689 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21317] ppid=21276 vsize=7655976 CPUtime=0.14 cores=4,6
/proc/21279/task/21317/stat : 21317 (java) S 21276 21279 20395 0 -1 4202560 603 0 0 0 14 0 0 0 15 0 19 0 470273446 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21320] ppid=21276 vsize=7655976 CPUtime=0.44 cores=4,6
/proc/21279/task/21320/stat : 21320 (java) S 21276 21279 20395 0 -1 4202560 9562 0 0 0 43 1 0 0 15 0 19 0 470273446 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21322] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21322/stat : 21322 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273446 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21323] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21323/stat : 21323 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 470273446 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21329] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21329/stat : 21329 (java) S 21276 21279 20395 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470273472 7839719424 30468 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 7655976
[startup+12.7009 s]
################
# More data... #
################
[pid=21279/tid=21299] ppid=21276 vsize=7655976 CPUtime=0.1 cores=4,6
/proc/21279/task/21299/stat : 21299 (java) S 21276 21279 20395 0 -1 4202560 1880 0 0 0 10 0 0 0 16 0 19 0 470273442 7839719424 59922 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21301] ppid=21276 vsize=7655976 CPUtime=0.07 cores=4,6
/proc/21279/task/21301/stat : 21301 (java) S 21276 21279 20395 0 -1 4202560 2563 0 0 0 7 0 0 0 15 0 19 0 470273442 7839719424 59922 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21303] ppid=21276 vsize=7655976 CPUtime=0.13 cores=4,6
/proc/21279/task/21303/stat : 21303 (java) S 21276 21279 20395 0 -1 4202560 2760 0 0 0 13 0 0 0 15 0 19 0 470273442 7839719424 59922 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21308] ppid=21276 vsize=7655976 CPUtime=2.58 cores=4,6
/proc/21279/task/21308/stat : 21308 (java) S 21276 21279 20395 0 -1 4202560 19438 0 0 0 256 2 0 0 15 0 19 0 470273443 7839719424 59922 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 0 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21310] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21310/stat : 21310 (java) S 21276 21279 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273444 7839719424 59922 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21312] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21312/stat : 21312 (java) S 21276 21279 20395 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 470273444 7839719424 59922 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21316] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21316/stat : 21316 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273446 7839719424 59922 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933600689 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21317] ppid=21276 vsize=7655976 CPUtime=0.18 cores=4,6
/proc/21279/task/21317/stat : 21317 (java) S 21276 21279 20395 0 -1 4202560 905 0 0 0 18 0 0 0 15 0 19 0 470273446 7839719424 59922 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21320] ppid=21276 vsize=7655976 CPUtime=0.44 cores=4,6
/proc/21279/task/21320/stat : 21320 (java) S 21276 21279 20395 0 -1 4202560 9562 0 0 0 43 1 0 0 15 0 19 0 470273446 7839719424 59922 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21322] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21322/stat : 21322 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273446 7839719424 59922 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21323] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21323/stat : 21323 (java) S 21276 21279 20395 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 470273446 7839719424 59922 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21329] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21329/stat : 21329 (java) S 21276 21279 20395 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470273472 7839719424 59922 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1123.21
Current children cumulated vsize (KiB) 7655976
[startup+1182.3 s]
/proc/loadavg: 4.03 4.02 3.97 5/262 21385
/proc/meminfo: memFree=13204780/32951124 swapFree=67111528/67111528
[pid=21279] ppid=21276 vsize=7655976 CPUtime=1183.23 cores=4,6
/proc/21279/stat : 21279 (java) S 21276 21279 20395 0 -1 4202496 65691 0 1 0 118313 10 0 0 18 0 19 0 470273440 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/21279/statm: 1913994 60319 2253 9 0 1904732 0
[pid=21279/tid=21291] ppid=21276 vsize=7655976 CPUtime=1179.13 cores=4,6
/proc/21279/task/21291/stat : 21291 (java) R 21276 21279 20395 0 -1 4202560 18405 0 1 0 117910 3 0 0 25 0 19 0 470273441 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 46912505610468 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21279/tid=21292] ppid=21276 vsize=7655976 CPUtime=0.09 cores=4,6
/proc/21279/task/21292/stat : 21292 (java) S 21276 21279 20395 0 -1 4202560 3175 0 0 0 9 0 0 0 15 0 19 0 470273442 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21293] ppid=21276 vsize=7655976 CPUtime=0.08 cores=4,6
/proc/21279/task/21293/stat : 21293 (java) S 21276 21279 20395 0 -1 4202560 2111 0 0 0 8 0 0 0 15 0 19 0 470273442 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21294] ppid=21276 vsize=7655976 CPUtime=0.09 cores=4,6
/proc/21279/task/21294/stat : 21294 (java) S 21276 21279 20395 0 -1 4202560 1868 0 0 0 9 0 0 0 15 0 19 0 470273442 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21295] ppid=21276 vsize=7655976 CPUtime=0.06 cores=4,6
/proc/21279/task/21295/stat : 21295 (java) S 21276 21279 20395 0 -1 4202560 879 0 0 0 6 0 0 0 15 0 19 0 470273442 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21297] ppid=21276 vsize=7655976 CPUtime=0.08 cores=4,6
/proc/21279/task/21297/stat : 21297 (java) S 21276 21279 20395 0 -1 4202560 770 0 0 0 8 0 0 0 15 0 19 0 470273442 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21299] ppid=21276 vsize=7655976 CPUtime=0.1 cores=4,6
/proc/21279/task/21299/stat : 21299 (java) S 21276 21279 20395 0 -1 4202560 1880 0 0 0 10 0 0 0 15 0 19 0 470273442 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21301] ppid=21276 vsize=7655976 CPUtime=0.07 cores=4,6
/proc/21279/task/21301/stat : 21301 (java) S 21276 21279 20395 0 -1 4202560 2563 0 0 0 7 0 0 0 15 0 19 0 470273442 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21303] ppid=21276 vsize=7655976 CPUtime=0.15 cores=4,6
/proc/21279/task/21303/stat : 21303 (java) S 21276 21279 20395 0 -1 4202560 2913 0 0 0 15 0 0 0 15 0 19 0 470273442 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21308] ppid=21276 vsize=7655976 CPUtime=2.66 cores=4,6
/proc/21279/task/21308/stat : 21308 (java) S 21276 21279 20395 0 -1 4202560 19440 0 0 0 264 2 0 0 15 0 19 0 470273443 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 0 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21310] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21310/stat : 21310 (java) S 21276 21279 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273444 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21312] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21312/stat : 21312 (java) S 21276 21279 20395 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 470273444 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21316] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21316/stat : 21316 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273446 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933600689 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21317] ppid=21276 vsize=7655976 CPUtime=0.18 cores=4,6
/proc/21279/task/21317/stat : 21317 (java) S 21276 21279 20395 0 -1 4202560 905 0 0 0 18 0 0 0 15 0 19 0 470273446 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21320] ppid=21276 vsize=7655976 CPUtime=0.44 cores=4,6
/proc/21279/task/21320/stat : 21320 (java) S 21276 21279 20395 0 -1 4202560 9562 0 0 0 43 1 0 0 15 0 19 0 470273446 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21322] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21322/stat : 21322 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273446 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21323] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21323/stat : 21323 (java) S 21276 21279 20395 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 470273446 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21329] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21329/stat : 21329 (java) S 21276 21279 20395 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470273472 7839719424 60319 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1183.23
Current children cumulated vsize (KiB) 7655976
[startup+1242.3 s]
/proc/loadavg: 4.01 4.01 3.97 5/262 21387
/proc/meminfo: memFree=13200288/32951124 swapFree=67111528/67111528
[pid=21279] ppid=21276 vsize=7655976 CPUtime=1243.26 cores=4,6
/proc/21279/stat : 21279 (java) S 21276 21279 20395 0 -1 4202496 65898 0 1 0 124315 11 0 0 18 0 19 0 470273440 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/21279/statm: 1913994 60519 2253 9 0 1904732 0
[pid=21279/tid=21291] ppid=21276 vsize=7655976 CPUtime=1239.03 cores=4,6
/proc/21279/task/21291/stat : 21291 (java) R 21276 21279 20395 0 -1 4202560 18606 0 1 0 123900 3 0 0 25 0 19 0 470273441 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 46912505640214 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21279/tid=21292] ppid=21276 vsize=7655976 CPUtime=0.11 cores=4,6
/proc/21279/task/21292/stat : 21292 (java) S 21276 21279 20395 0 -1 4202560 3175 0 0 0 11 0 0 0 16 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21293] ppid=21276 vsize=7655976 CPUtime=0.08 cores=4,6
/proc/21279/task/21293/stat : 21293 (java) S 21276 21279 20395 0 -1 4202560 2111 0 0 0 8 0 0 0 15 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21294] ppid=21276 vsize=7655976 CPUtime=0.09 cores=4,6
/proc/21279/task/21294/stat : 21294 (java) S 21276 21279 20395 0 -1 4202560 1868 0 0 0 9 0 0 0 15 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21295] ppid=21276 vsize=7655976 CPUtime=0.06 cores=4,6
/proc/21279/task/21295/stat : 21295 (java) S 21276 21279 20395 0 -1 4202560 879 0 0 0 6 0 0 0 15 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21297] ppid=21276 vsize=7655976 CPUtime=0.08 cores=4,6
/proc/21279/task/21297/stat : 21297 (java) S 21276 21279 20395 0 -1 4202560 770 0 0 0 8 0 0 0 15 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21299] ppid=21276 vsize=7655976 CPUtime=0.1 cores=4,6
/proc/21279/task/21299/stat : 21299 (java) S 21276 21279 20395 0 -1 4202560 1880 0 0 0 10 0 0 0 15 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21301] ppid=21276 vsize=7655976 CPUtime=0.09 cores=4,6
/proc/21279/task/21301/stat : 21301 (java) S 21276 21279 20395 0 -1 4202560 2563 0 0 0 9 0 0 0 16 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21303] ppid=21276 vsize=7655976 CPUtime=0.15 cores=4,6
/proc/21279/task/21303/stat : 21303 (java) S 21276 21279 20395 0 -1 4202560 2913 0 0 0 15 0 0 0 15 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21308] ppid=21276 vsize=7655976 CPUtime=2.74 cores=4,6
/proc/21279/task/21308/stat : 21308 (java) S 21276 21279 20395 0 -1 4202560 19442 0 0 0 272 2 0 0 15 0 19 0 470273443 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 0 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21310] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21310/stat : 21310 (java) S 21276 21279 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273444 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21312] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21312/stat : 21312 (java) S 21276 21279 20395 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 470273444 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21316] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21316/stat : 21316 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273446 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933600689 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21317] ppid=21276 vsize=7655976 CPUtime=0.18 cores=4,6
/proc/21279/task/21317/stat : 21317 (java) S 21276 21279 20395 0 -1 4202560 905 0 0 0 18 0 0 0 15 0 19 0 470273446 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21320] ppid=21276 vsize=7655976 CPUtime=0.44 cores=4,6
/proc/21279/task/21320/stat : 21320 (java) S 21276 21279 20395 0 -1 4202560 9562 0 0 0 43 1 0 0 15 0 19 0 470273446 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21322] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21322/stat : 21322 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273446 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21323] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21323/stat : 21323 (java) S 21276 21279 20395 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 470273446 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21329] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21329/stat : 21329 (java) S 21276 21279 20395 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470273472 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1243.26
Current children cumulated vsize (KiB) 7655976
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.08 4.02 3.97 5/246 21391
/proc/meminfo: memFree=13332532/32951124 swapFree=67111528/67111528
[pid=21279] ppid=21276 vsize=7655976 CPUtime=1300.97 cores=4,6
/proc/21279/stat : 21279 (java) S 21276 21279 20395 0 -1 4202496 65902 0 1 0 130086 11 0 0 18 0 19 0 470273440 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/21279/statm: 1913994 60519 2253 9 0 1904732 0
[pid=21279/tid=21291] ppid=21276 vsize=7655976 CPUtime=1296.74 cores=4,6
/proc/21279/task/21291/stat : 21291 (java) R 21276 21279 20395 0 -1 4202560 18606 0 1 0 129671 3 0 0 25 0 19 0 470273441 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 46912505640214 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21279/tid=21292] ppid=21276 vsize=7655976 CPUtime=0.11 cores=4,6
/proc/21279/task/21292/stat : 21292 (java) S 21276 21279 20395 0 -1 4202560 3175 0 0 0 11 0 0 0 16 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21293] ppid=21276 vsize=7655976 CPUtime=0.08 cores=4,6
/proc/21279/task/21293/stat : 21293 (java) S 21276 21279 20395 0 -1 4202560 2111 0 0 0 8 0 0 0 15 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21294] ppid=21276 vsize=7655976 CPUtime=0.09 cores=4,6
/proc/21279/task/21294/stat : 21294 (java) S 21276 21279 20395 0 -1 4202560 1868 0 0 0 9 0 0 0 15 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21295] ppid=21276 vsize=7655976 CPUtime=0.06 cores=4,6
/proc/21279/task/21295/stat : 21295 (java) S 21276 21279 20395 0 -1 4202560 879 0 0 0 6 0 0 0 15 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21297] ppid=21276 vsize=7655976 CPUtime=0.08 cores=4,6
/proc/21279/task/21297/stat : 21297 (java) S 21276 21279 20395 0 -1 4202560 770 0 0 0 8 0 0 0 15 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21299] ppid=21276 vsize=7655976 CPUtime=0.1 cores=4,6
/proc/21279/task/21299/stat : 21299 (java) S 21276 21279 20395 0 -1 4202560 1880 0 0 0 10 0 0 0 15 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21301] ppid=21276 vsize=7655976 CPUtime=0.09 cores=4,6
/proc/21279/task/21301/stat : 21301 (java) S 21276 21279 20395 0 -1 4202560 2563 0 0 0 9 0 0 0 16 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21303] ppid=21276 vsize=7655976 CPUtime=0.15 cores=4,6
/proc/21279/task/21303/stat : 21303 (java) S 21276 21279 20395 0 -1 4202560 2913 0 0 0 15 0 0 0 15 0 19 0 470273442 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21308] ppid=21276 vsize=7655976 CPUtime=2.74 cores=4,6
/proc/21279/task/21308/stat : 21308 (java) S 21276 21279 20395 0 -1 4202560 19442 0 0 0 272 2 0 0 15 0 19 0 470273443 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 0 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21310] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21310/stat : 21310 (java) S 21276 21279 20395 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 470273444 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21312] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21312/stat : 21312 (java) S 21276 21279 20395 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 470273444 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21316] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21316/stat : 21316 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273446 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933600689 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21317] ppid=21276 vsize=7655976 CPUtime=0.18 cores=4,6
/proc/21279/task/21317/stat : 21317 (java) S 21276 21279 20395 0 -1 4202560 905 0 0 0 18 0 0 0 15 0 19 0 470273446 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
[pid=21279/tid=21320] ppid=21276 vsize=7655976 CPUtime=0.44 cores=4,6
/proc/21279/task/21320/stat : 21320 (java) S 21276 21279 20395 0 -1 4202560 9562 0 0 0 43 1 0 0 15 0 19 0 470273446 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21322] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21322/stat : 21322 (java) S 21276 21279 20395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 470273446 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933592985 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21323] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21323/stat : 21323 (java) S 21276 21279 20395 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 470273446 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 4 0 16800975 18446604453829264704 0 0 -1 6 0 0 0
[pid=21279/tid=21329] ppid=21276 vsize=7655976 CPUtime=0 cores=4,6
/proc/21279/task/21329/stat : 21329 (java) S 21276 21279 20395 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 470273472 7839719424 60519 33554432000 1073741824 1073778376 140734800942864 18446744073709551615 222933593600 0 4 0 16800975 18446604453829264704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1300.97
Current children cumulated vsize (KiB) 7655976
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.05
CPU user time (s): 1300.92
CPU system time (s): 0.123981
CPU usage (%): 100.076
Max. virtual memory (cumulated for all children) (KiB): 7664740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.92
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= 66392
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= 28019
involuntary context switches= 4328
runsolver used 2.66659 second user time and 5.58015 second system time
The end