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-3293445-1303793800/watcher-3293445-1303793800 -o /tmp/evaluation-result-3293445-1303793800/solver-3293445-1303793800 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3293445-1303793800.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: 3.49 3.90 3.96 8/219 24121
/proc/meminfo: memFree=24639936/32951132 swapFree=67111364/67111528
[pid=24121] ppid=24119 vsize=11800 CPUtime=0 cores=0,2
/proc/24121/stat : 24121 (runsolver) S 24119 24121 23645 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 1 0 490978640 12083200 51 33554432000 4194304 5434984 140735261199440 18446744073709551615 4881607 0 2147483391 4096 24578 18446744071699870519 0 0 17 2 0 0 0
/proc/24121/statm: 2950 51 31 303 0 2644 0
[startup+0.0463689 s]
/proc/loadavg: 3.49 3.90 3.96 8/219 24121
/proc/meminfo: memFree=24639936/32951132 swapFree=67111364/67111528
[pid=24121] ppid=24119 vsize=9100 CPUtime=0 cores=0,2
/proc/24121/stat : 24121 (java) S 24119 24121 23645 0 -1 4202496 420 0 0 0 0 0 0 0 17 0 1 0 490978640 9318400 165 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242970548224 0 2147483391 4096 0 18446744071699109054 0 0 17 2 0 0 0
/proc/24121/statm: 2275 165 125 9 0 67 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9100
[startup+0.102038 s]
/proc/loadavg: 3.49 3.90 3.96 8/219 24121
/proc/meminfo: memFree=24639936/32951132 swapFree=67111364/67111528
[pid=24121] ppid=24119 vsize=7564488 CPUtime=0.03 cores=0,2
/proc/24121/stat : 24121 (java) S 24119 24121 23645 0 -1 4202496 8942 0 1 0 2 1 0 0 17 0 13 0 490978640 7746035712 8637 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982352869 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/24121/statm: 1891122 8637 1686 9 0 1881870 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564488
[startup+0.300361 s]
/proc/loadavg: 3.49 3.90 3.96 8/219 24121
/proc/meminfo: memFree=24639936/32951132 swapFree=67111364/67111528
[pid=24121] ppid=24119 vsize=7573188 CPUtime=0.27 cores=0,2
/proc/24121/stat : 24121 (java) S 24119 24121 23645 0 -1 4202496 13110 0 1 0 25 2 0 0 17 0 18 0 490978640 7754944512 12748 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24121/statm: 1893297 12749 2191 9 0 1884035 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7573188
[startup+0.70029 s]
/proc/loadavg: 3.49 3.90 3.96 8/219 24121
/proc/meminfo: memFree=24639936/32951132 swapFree=67111364/67111528
[pid=24121] ppid=24119 vsize=7639792 CPUtime=0.77 cores=0,2
/proc/24121/stat : 24121 (java) S 24119 24121 23645 0 -1 4202496 20028 0 1 0 74 3 0 0 17 0 19 0 490978640 7823147008 19434 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24121/statm: 1909948 19434 2213 9 0 1900686 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 7639792
[startup+1.50118 s]
/proc/loadavg: 3.49 3.90 3.96 7/238 24181
/proc/meminfo: memFree=24470124/32951132 swapFree=67111364/67111528
[pid=24121] ppid=24119 vsize=7639628 CPUtime=1.73 cores=0,2
/proc/24121/stat : 24121 (java) S 24119 24121 23645 0 -1 4202496 21222 0 1 0 170 3 0 0 17 0 19 0 490978640 7822979072 19728 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24121/statm: 1909907 19728 2223 9 0 1900645 0
[pid=24121/tid=24123] ppid=24119 vsize=7639628 CPUtime=1.21 cores=0,2
/proc/24121/task/24123/stat : 24123 (java) R 24119 24121 23645 0 -1 4202560 17311 0 1 0 119 2 0 0 25 0 19 0 490978645 7822979072 19728 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 46912505634750 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24121/tid=24124] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24124/stat : 24124 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490978647 7822979072 19728 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24125] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24125/stat : 24125 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490978647 7822979072 19728 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24126] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24126/stat : 24126 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490978647 7822979072 19728 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24127] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24127/stat : 24127 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490978647 7822979072 19728 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24128] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24128/stat : 24128 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490978647 7822979072 19728 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24129] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24129/stat : 24129 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490978647 7822979072 19728 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24130] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24130/stat : 24130 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490978647 7822979072 19728 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24131] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24131/stat : 24131 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490978647 7822979072 19728 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24132] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24132/stat : 24132 (java) S 24119 24121 23645 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 490978648 7822979072 19728 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 0 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24134] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24134/stat : 24134 (java) S 24119 24121 23645 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 490978649 7822979072 19728 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24135] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24135/stat : 24135 (java) S 24119 24121 23645 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 490978649 7822979072 19728 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24142] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24142/stat : 24142 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490978651 7822979072 19728 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982373809 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24143] ppid=24119 vsize=7639628 CPUtime=0.29 cores=0,2
/proc/24121/task/24143/stat : 24143 (java) S 24119 24121 23645 0 -1 4202560 1236 0 0 0 29 0 0 0 15 0 19 0 490978651 7822979072 19729 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24144] ppid=24119 vsize=7639628 CPUtime=0.22 cores=0,2
/proc/24121/task/24144/stat : 24144 (java) S 24119 24121 23645 0 -1 4202560 1513 0 0 0 22 0 0 0 15 0 19 0 490978651 7822979072 19729 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24145] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24145/stat : 24145 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490978651 7822979072 19729 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24146] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24146/stat : 24146 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490978651 7822979072 19729 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24163] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24163/stat : 24163 (java) S 24119 24121 23645 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 490978696 7822979072 19729 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 7639628
[startup+3.10085 s]
/proc/loadavg: 3.49 3.90 3.96 6/238 24185
/proc/meminfo: memFree=24181644/32951132 swapFree=67111364/67111528
[pid=24121] ppid=24119 vsize=7639628 CPUtime=3.38 cores=0,2
/proc/24121/stat : 24121 (java) S 24119 24121 23645 0 -1 4202496 37309 0 1 0 333 5 0 0 17 0 19 0 490978640 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24121/statm: 1909907 35377 2248 9 0 1900645 0
[pid=24121/tid=24123] ppid=24119 vsize=7639628 CPUtime=2.59 cores=0,2
/proc/24121/task/24123/stat : 24123 (java) R 24119 24121 23645 0 -1 4202560 17517 0 1 0 257 2 0 0 25 0 19 0 490978645 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 46912505626368 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24121/tid=24124] ppid=24119 vsize=7639628 CPUtime=0.04 cores=0,2
/proc/24121/task/24124/stat : 24124 (java) S 24119 24121 23645 0 -1 4202560 4460 0 0 0 4 0 0 0 18 0 19 0 490978647 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24125] ppid=24119 vsize=7639628 CPUtime=0.03 cores=0,2
/proc/24121/task/24125/stat : 24125 (java) S 24119 24121 23645 0 -1 4202560 3260 0 0 0 3 0 0 0 17 0 19 0 490978647 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24126] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24126/stat : 24126 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490978647 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24127] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24127/stat : 24127 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490978647 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24128] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24128/stat : 24128 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490978647 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24129] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24129/stat : 24129 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490978647 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24130] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24130/stat : 24130 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490978647 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24131] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24131/stat : 24131 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490978647 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24132] ppid=24119 vsize=7639628 CPUtime=0.1 cores=0,2
/proc/24121/task/24132/stat : 24132 (java) S 24119 24121 23645 0 -1 4202560 7718 0 0 0 10 0 0 0 16 0 19 0 490978648 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 0 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24134] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24134/stat : 24134 (java) S 24119 24121 23645 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490978649 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24135] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24135/stat : 24135 (java) S 24119 24121 23645 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490978649 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24142] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24142/stat : 24142 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490978651 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982373809 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24143] ppid=24119 vsize=7639628 CPUtime=0.33 cores=0,2
/proc/24121/task/24143/stat : 24143 (java) S 24119 24121 23645 0 -1 4202560 1676 0 0 0 33 0 0 0 16 0 19 0 490978651 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24144] ppid=24119 vsize=7639628 CPUtime=0.24 cores=0,2
/proc/24121/task/24144/stat : 24144 (java) S 24119 24121 23645 0 -1 4202560 1519 0 0 0 24 0 0 0 15 0 19 0 490978651 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24145] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24145/stat : 24145 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490978651 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24146] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24146/stat : 24146 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490978651 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24163] ppid=24119 vsize=7639628 CPUtime=0 cores=0,2
/proc/24121/task/24163/stat : 24163 (java) S 24119 24121 23645 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 490978696 7822979072 35377 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 7639628
[startup+6.30136 s]
/proc/loadavg: 3.53 3.91 3.96 4/238 24186
/proc/meminfo: memFree=24008720/32951132 swapFree=67111364/67111528
[pid=24121] ppid=24119 vsize=7639780 CPUtime=6.6 cores=0,2
/proc/24121/stat : 24121 (java) S 24119 24121 23645 0 -1 4202496 39332 0 1 0 655 5 0 0 17 0 19 0 490978640 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24121/statm: 1909945 37396 2250 9 0 1900683 0
[pid=24121/tid=24123] ppid=24119 vsize=7639780 CPUtime=5.55 cores=0,2
/proc/24121/task/24123/stat : 24123 (java) R 24119 24121 23645 0 -1 4202560 17521 0 1 0 553 2 0 0 18 0 19 0 490978645 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 46912505632992 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24121/tid=24124] ppid=24119 vsize=7639780 CPUtime=0.04 cores=0,2
/proc/24121/task/24124/stat : 24124 (java) S 24119 24121 23645 0 -1 4202560 4460 0 0 0 4 0 0 0 18 0 19 0 490978647 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24125] ppid=24119 vsize=7639780 CPUtime=0.03 cores=0,2
/proc/24121/task/24125/stat : 24125 (java) S 24119 24121 23645 0 -1 4202560 3260 0 0 0 3 0 0 0 15 0 19 0 490978647 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24126] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24126/stat : 24126 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490978647 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24127] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24127/stat : 24127 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490978647 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24128] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24128/stat : 24128 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490978647 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24129] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24129/stat : 24129 (java) S 24119 24121 23645 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 490978647 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24130] ppid=24119 vsize=7639780 CPUtime=0.01 cores=0,2
/proc/24121/task/24130/stat : 24130 (java) S 24119 24121 23645 0 -1 4202560 225 0 0 0 1 0 0 0 15 0 19 0 490978647 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24131] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24131/stat : 24131 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490978647 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24132] ppid=24119 vsize=7639780 CPUtime=0.29 cores=0,2
/proc/24121/task/24132/stat : 24132 (java) S 24119 24121 23645 0 -1 4202560 9475 0 0 0 29 0 0 0 16 0 19 0 490978648 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 0 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24134] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24134/stat : 24134 (java) S 24119 24121 23645 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490978649 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24135] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24135/stat : 24135 (java) S 24119 24121 23645 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490978649 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24142] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24142/stat : 24142 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490978651 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982373809 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24143] ppid=24119 vsize=7639780 CPUtime=0.36 cores=0,2
/proc/24121/task/24143/stat : 24143 (java) S 24119 24121 23645 0 -1 4202560 1690 0 0 0 36 0 0 0 16 0 19 0 490978651 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24144] ppid=24119 vsize=7639780 CPUtime=0.26 cores=0,2
/proc/24121/task/24144/stat : 24144 (java) S 24119 24121 23645 0 -1 4202560 1542 0 0 0 26 0 0 0 15 0 19 0 490978651 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24145] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24145/stat : 24145 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490978651 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24146] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24146/stat : 24146 (java) R 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490978651 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24121/tid=24163] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24163/stat : 24163 (java) S 24119 24121 23645 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 490978696 7823134720 37396 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.6
Current children cumulated vsize (KiB) 7639780
[startup+12.7073 s]
################
# More data... #
################
[pid=24121/tid=24129] ppid=24119 vsize=7639780 CPUtime=0.11 cores=0,2
/proc/24121/task/24129/stat : 24129 (java) S 24119 24121 23645 0 -1 4202560 1000 0 0 0 11 0 0 0 15 0 19 0 490978647 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24130] ppid=24119 vsize=7639780 CPUtime=0.11 cores=0,2
/proc/24121/task/24130/stat : 24130 (java) S 24119 24121 23645 0 -1 4202560 232 0 0 0 11 0 0 0 15 0 19 0 490978647 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24131] ppid=24119 vsize=7639780 CPUtime=0.12 cores=0,2
/proc/24121/task/24131/stat : 24131 (java) S 24119 24121 23645 0 -1 4202560 98 0 0 0 12 0 0 0 15 0 19 0 490978647 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24132] ppid=24119 vsize=7639780 CPUtime=6.41 cores=0,2
/proc/24121/task/24132/stat : 24132 (java) S 24119 24121 23645 0 -1 4202560 12576 0 0 0 640 1 0 0 15 0 19 0 490978648 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 0 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24134] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24134/stat : 24134 (java) S 24119 24121 23645 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490978649 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24135] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24135/stat : 24135 (java) S 24119 24121 23645 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490978649 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24142] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24142/stat : 24142 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490978651 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982373809 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24143] ppid=24119 vsize=7639780 CPUtime=0.36 cores=0,2
/proc/24121/task/24143/stat : 24143 (java) S 24119 24121 23645 0 -1 4202560 1690 0 0 0 36 0 0 0 16 0 19 0 490978651 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24144] ppid=24119 vsize=7639780 CPUtime=0.28 cores=0,2
/proc/24121/task/24144/stat : 24144 (java) S 24119 24121 23645 0 -1 4202560 1690 0 0 0 28 0 0 0 15 0 19 0 490978651 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24145] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24145/stat : 24145 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490978651 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24146] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24146/stat : 24146 (java) S 24119 24121 23645 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 490978651 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24163] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24163/stat : 24163 (java) S 24119 24121 23645 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 490978696 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1123.08
Current children cumulated vsize (KiB) 7639780
[startup+1182.3 s]
/proc/loadavg: 2.04 2.34 3.17 3/212 24290
/proc/meminfo: memFree=22172284/32951132 swapFree=67111364/67111528
[pid=24121] ppid=24119 vsize=7639780 CPUtime=1183.08 cores=0,2
/proc/24121/stat : 24121 (java) S 24119 24121 23645 0 -1 4202496 45406 0 1 0 118289 19 0 0 17 0 19 0 490978640 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24121/statm: 1909945 43158 2250 9 0 1900683 0
[pid=24121/tid=24123] ppid=24119 vsize=7639780 CPUtime=1174.88 cores=0,2
/proc/24121/task/24123/stat : 24123 (java) R 24119 24121 23645 0 -1 4202560 17572 0 1 0 117473 15 0 0 25 0 19 0 490978645 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 46912505644865 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24121/tid=24124] ppid=24119 vsize=7639780 CPUtime=0.16 cores=0,2
/proc/24121/task/24124/stat : 24124 (java) S 24119 24121 23645 0 -1 4202560 4483 0 0 0 16 0 0 0 15 0 19 0 490978647 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24125] ppid=24119 vsize=7639780 CPUtime=0.14 cores=0,2
/proc/24121/task/24125/stat : 24125 (java) S 24119 24121 23645 0 -1 4202560 3438 0 0 0 14 0 0 0 15 0 19 0 490978647 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24126] ppid=24119 vsize=7639780 CPUtime=0.1 cores=0,2
/proc/24121/task/24126/stat : 24126 (java) S 24119 24121 23645 0 -1 4202560 11 0 0 0 10 0 0 0 15 0 19 0 490978647 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24127] ppid=24119 vsize=7639780 CPUtime=0.15 cores=0,2
/proc/24121/task/24127/stat : 24127 (java) S 24119 24121 23645 0 -1 4202560 869 0 0 0 15 0 0 0 15 0 19 0 490978647 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24128] ppid=24119 vsize=7639780 CPUtime=0.18 cores=0,2
/proc/24121/task/24128/stat : 24128 (java) S 24119 24121 23645 0 -1 4202560 528 0 0 0 18 0 0 0 15 0 19 0 490978647 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24129] ppid=24119 vsize=7639780 CPUtime=0.11 cores=0,2
/proc/24121/task/24129/stat : 24129 (java) S 24119 24121 23645 0 -1 4202560 1000 0 0 0 11 0 0 0 15 0 19 0 490978647 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24130] ppid=24119 vsize=7639780 CPUtime=0.11 cores=0,2
/proc/24121/task/24130/stat : 24130 (java) S 24119 24121 23645 0 -1 4202560 232 0 0 0 11 0 0 0 15 0 19 0 490978647 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24131] ppid=24119 vsize=7639780 CPUtime=0.12 cores=0,2
/proc/24121/task/24131/stat : 24131 (java) S 24119 24121 23645 0 -1 4202560 98 0 0 0 12 0 0 0 15 0 19 0 490978647 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24132] ppid=24119 vsize=7639780 CPUtime=6.41 cores=0,2
/proc/24121/task/24132/stat : 24132 (java) S 24119 24121 23645 0 -1 4202560 12576 0 0 0 640 1 0 0 15 0 19 0 490978648 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 0 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24134] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24134/stat : 24134 (java) S 24119 24121 23645 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490978649 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24135] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24135/stat : 24135 (java) S 24119 24121 23645 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490978649 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24142] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24142/stat : 24142 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490978651 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982373809 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24143] ppid=24119 vsize=7639780 CPUtime=0.36 cores=0,2
/proc/24121/task/24143/stat : 24143 (java) S 24119 24121 23645 0 -1 4202560 1690 0 0 0 36 0 0 0 16 0 19 0 490978651 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24144] ppid=24119 vsize=7639780 CPUtime=0.28 cores=0,2
/proc/24121/task/24144/stat : 24144 (java) S 24119 24121 23645 0 -1 4202560 1690 0 0 0 28 0 0 0 15 0 19 0 490978651 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24145] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24145/stat : 24145 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490978651 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24146] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24146/stat : 24146 (java) S 24119 24121 23645 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 490978651 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24163] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24163/stat : 24163 (java) S 24119 24121 23645 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 490978696 7823134720 43158 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1183.08
Current children cumulated vsize (KiB) 7639780
[startup+1242.3 s]
/proc/loadavg: 2.01 2.28 3.10 3/212 24291
/proc/meminfo: memFree=22171240/32951132 swapFree=67111364/67111528
[pid=24121] ppid=24119 vsize=7639780 CPUtime=1243.1 cores=0,2
/proc/24121/stat : 24121 (java) S 24119 24121 23645 0 -1 4202496 45523 0 1 0 124291 19 0 0 17 0 19 0 490978640 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24121/statm: 1909945 43268 2250 9 0 1900683 0
[pid=24121/tid=24123] ppid=24119 vsize=7639780 CPUtime=1234.74 cores=0,2
/proc/24121/task/24123/stat : 24123 (java) R 24119 24121 23645 0 -1 4202560 17573 0 1 0 123459 15 0 0 25 0 19 0 490978645 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 46912505721883 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24121/tid=24124] ppid=24119 vsize=7639780 CPUtime=0.16 cores=0,2
/proc/24121/task/24124/stat : 24124 (java) S 24119 24121 23645 0 -1 4202560 4483 0 0 0 16 0 0 0 15 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24125] ppid=24119 vsize=7639780 CPUtime=0.14 cores=0,2
/proc/24121/task/24125/stat : 24125 (java) S 24119 24121 23645 0 -1 4202560 3438 0 0 0 14 0 0 0 15 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24126] ppid=24119 vsize=7639780 CPUtime=0.1 cores=0,2
/proc/24121/task/24126/stat : 24126 (java) S 24119 24121 23645 0 -1 4202560 11 0 0 0 10 0 0 0 15 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24127] ppid=24119 vsize=7639780 CPUtime=0.15 cores=0,2
/proc/24121/task/24127/stat : 24127 (java) S 24119 24121 23645 0 -1 4202560 869 0 0 0 15 0 0 0 16 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24128] ppid=24119 vsize=7639780 CPUtime=0.18 cores=0,2
/proc/24121/task/24128/stat : 24128 (java) S 24119 24121 23645 0 -1 4202560 528 0 0 0 18 0 0 0 15 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24129] ppid=24119 vsize=7639780 CPUtime=0.12 cores=0,2
/proc/24121/task/24129/stat : 24129 (java) S 24119 24121 23645 0 -1 4202560 1000 0 0 0 12 0 0 0 16 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24130] ppid=24119 vsize=7639780 CPUtime=0.11 cores=0,2
/proc/24121/task/24130/stat : 24130 (java) S 24119 24121 23645 0 -1 4202560 232 0 0 0 11 0 0 0 16 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24131] ppid=24119 vsize=7639780 CPUtime=0.13 cores=0,2
/proc/24121/task/24131/stat : 24131 (java) S 24119 24121 23645 0 -1 4202560 99 0 0 0 13 0 0 0 16 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24132] ppid=24119 vsize=7639780 CPUtime=6.54 cores=0,2
/proc/24121/task/24132/stat : 24132 (java) S 24119 24121 23645 0 -1 4202560 12687 0 0 0 653 1 0 0 15 0 19 0 490978648 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 0 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24134] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24134/stat : 24134 (java) S 24119 24121 23645 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490978649 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24135] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24135/stat : 24135 (java) S 24119 24121 23645 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490978649 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24142] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24142/stat : 24142 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490978651 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982373809 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24143] ppid=24119 vsize=7639780 CPUtime=0.36 cores=0,2
/proc/24121/task/24143/stat : 24143 (java) S 24119 24121 23645 0 -1 4202560 1690 0 0 0 36 0 0 0 16 0 19 0 490978651 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24144] ppid=24119 vsize=7639780 CPUtime=0.28 cores=0,2
/proc/24121/task/24144/stat : 24144 (java) S 24119 24121 23645 0 -1 4202560 1690 0 0 0 28 0 0 0 15 0 19 0 490978651 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24145] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24145/stat : 24145 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490978651 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24146] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24146/stat : 24146 (java) S 24119 24121 23645 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 490978651 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24163] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24163/stat : 24163 (java) S 24119 24121 23645 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 490978696 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1243.1
Current children cumulated vsize (KiB) 7639780
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.00 2.23 3.03 3/212 24293
/proc/meminfo: memFree=22171336/32951132 swapFree=67111364/67111528
[pid=24121] ppid=24119 vsize=7639780 CPUtime=1300.82 cores=0,2
/proc/24121/stat : 24121 (java) S 24119 24121 23645 0 -1 4202496 45530 0 1 0 130063 19 0 0 17 0 19 0 490978640 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24121/statm: 1909945 43268 2250 9 0 1900683 0
[pid=24121/tid=24123] ppid=24119 vsize=7639780 CPUtime=1292.27 cores=0,2
/proc/24121/task/24123/stat : 24123 (java) R 24119 24121 23645 0 -1 4202560 17574 0 1 0 129212 15 0 0 25 0 19 0 490978645 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 46912505634880 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24121/tid=24124] ppid=24119 vsize=7639780 CPUtime=0.16 cores=0,2
/proc/24121/task/24124/stat : 24124 (java) S 24119 24121 23645 0 -1 4202560 4483 0 0 0 16 0 0 0 15 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24125] ppid=24119 vsize=7639780 CPUtime=0.15 cores=0,2
/proc/24121/task/24125/stat : 24125 (java) S 24119 24121 23645 0 -1 4202560 3438 0 0 0 15 0 0 0 16 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24126] ppid=24119 vsize=7639780 CPUtime=0.1 cores=0,2
/proc/24121/task/24126/stat : 24126 (java) S 24119 24121 23645 0 -1 4202560 11 0 0 0 10 0 0 0 15 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24127] ppid=24119 vsize=7639780 CPUtime=0.15 cores=0,2
/proc/24121/task/24127/stat : 24127 (java) S 24119 24121 23645 0 -1 4202560 869 0 0 0 15 0 0 0 15 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24128] ppid=24119 vsize=7639780 CPUtime=0.18 cores=0,2
/proc/24121/task/24128/stat : 24128 (java) S 24119 24121 23645 0 -1 4202560 528 0 0 0 18 0 0 0 15 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24129] ppid=24119 vsize=7639780 CPUtime=0.12 cores=0,2
/proc/24121/task/24129/stat : 24129 (java) S 24119 24121 23645 0 -1 4202560 1000 0 0 0 12 0 0 0 15 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24130] ppid=24119 vsize=7639780 CPUtime=0.12 cores=0,2
/proc/24121/task/24130/stat : 24130 (java) S 24119 24121 23645 0 -1 4202560 232 0 0 0 12 0 0 0 16 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24131] ppid=24119 vsize=7639780 CPUtime=0.13 cores=0,2
/proc/24121/task/24131/stat : 24131 (java) S 24119 24121 23645 0 -1 4202560 99 0 0 0 13 0 0 0 15 0 19 0 490978647 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24132] ppid=24119 vsize=7639780 CPUtime=6.7 cores=0,2
/proc/24121/task/24132/stat : 24132 (java) S 24119 24121 23645 0 -1 4202560 12689 0 0 0 669 1 0 0 15 0 19 0 490978648 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 0 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24134] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24134/stat : 24134 (java) S 24119 24121 23645 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490978649 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24135] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24135/stat : 24135 (java) S 24119 24121 23645 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490978649 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24142] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24142/stat : 24142 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490978651 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982373809 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24143] ppid=24119 vsize=7639780 CPUtime=0.36 cores=0,2
/proc/24121/task/24143/stat : 24143 (java) S 24119 24121 23645 0 -1 4202560 1690 0 0 0 36 0 0 0 16 0 19 0 490978651 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
[pid=24121/tid=24144] ppid=24119 vsize=7639780 CPUtime=0.28 cores=0,2
/proc/24121/task/24144/stat : 24144 (java) S 24119 24121 23645 0 -1 4202560 1690 0 0 0 28 0 0 0 15 0 19 0 490978651 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24145] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24145/stat : 24145 (java) S 24119 24121 23645 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490978651 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366105 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24146] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24146/stat : 24146 (java) S 24119 24121 23645 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 490978651 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 4 0 16800975 18446604451653702080 0 0 -1 2 0 0 0
[pid=24121/tid=24163] ppid=24119 vsize=7639780 CPUtime=0 cores=0,2
/proc/24121/task/24163/stat : 24163 (java) S 24119 24121 23645 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 490978696 7823134720 43268 33554432000 1073741824 1073778376 140735281502576 18446744073709551615 242982366720 0 4 0 16800975 18446604451653702080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1300.82
Current children cumulated vsize (KiB) 7639780
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.06
CPU time (s): 1300.93
CPU user time (s): 1300.72
CPU system time (s): 0.207968
CPU usage (%): 100.066
Max. virtual memory (cumulated for all children) (KiB): 7640760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.72
system time used= 0.207968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46148
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= 28306
involuntary context switches= 5323
runsolver used 2.45963 second user time and 4.66129 second system time
The end