runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3710665-1338142029/watcher-3710665-1338142029 -o /tmp/evaluation-result-3710665-1338142029/solver-3710665-1338142029 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710665-1338142029.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.86 2/174 20598
/proc/meminfo: memFree=31091900/32873844 swapFree=7900/7900
[pid=20598] ppid=20596 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20598/stat : 20598 (java) D 20596 20598 18146 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 280327392 9515008 183 33554432000 1073741824 1073778376 140736983280768 140736983271800 225444708021 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/20598/statm: 2323 183 140 9 0 71 0
[startup+0.0910019 s]
/proc/loadavg: 2.00 2.00 1.86 2/174 20598
/proc/meminfo: memFree=31091900/32873844 swapFree=7900/7900
[pid=20598] ppid=20596 vsize=9558440 CPUtime=0.06 cores=1,3,5,7
/proc/20598/stat : 20598 (java) S 20596 20598 18146 0 -1 4202496 3493 0 1 0 5 1 0 0 20 0 18 0 280327392 9787842560 4700 33554432000 1073741824 1073778376 140736426169264 140736426160400 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20598/statm: 2389610 4700 1779 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440
[startup+0.100314 s]
/proc/loadavg: 2.00 2.00 1.86 2/174 20598
/proc/meminfo: memFree=31091900/32873844 swapFree=7900/7900
[pid=20598] ppid=20596 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/20598/stat : 20598 (java) S 20596 20598 18146 0 -1 4202496 4220 0 1 0 7 1 0 0 20 0 18 0 280327392 9787842560 5425 33554432000 1073741824 1073778376 140736426169264 140736426160400 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20598/statm: 2389610 5425 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440
[startup+0.300293 s]
/proc/loadavg: 2.00 2.00 1.86 2/174 20598
/proc/meminfo: memFree=31091900/32873844 swapFree=7900/7900
[pid=20598] ppid=20596 vsize=9558440 CPUtime=0.44 cores=1,3,5,7
/proc/20598/stat : 20598 (java) S 20596 20598 18146 0 -1 4202496 5296 0 1 0 43 1 0 0 20 0 18 0 280327392 9787842560 8064 33554432000 1073741824 1073778376 140736426169264 140736426160400 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20598/statm: 2389610 8064 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558440
[startup+0.7003 s]
/proc/loadavg: 2.00 2.00 1.86 2/174 20598
/proc/meminfo: memFree=31091900/32873844 swapFree=7900/7900
[pid=20598] ppid=20596 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/20598/stat : 20598 (java) S 20596 20598 18146 0 -1 4202496 7500 0 1 0 113 2 0 0 20 0 19 0 280327392 9856004096 11260 33554432000 1073741824 1073778376 140736426169264 140736426160400 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20598/statm: 2406251 11260 2244 9 0 2396937 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9625004
[startup+1.50079 s]
/proc/loadavg: 2.00 2.00 1.86 2/193 20617
/proc/meminfo: memFree=31049272/32873844 swapFree=7900/7900
[pid=20598] ppid=20596 vsize=9625004 CPUtime=1.98 cores=1,3,5,7
/proc/20598/stat : 20598 (java) S 20596 20598 18146 0 -1 4202496 7675 0 1 0 196 2 0 0 20 0 19 0 280327392 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140736426160400 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20598/statm: 2406251 15364 2249 9 0 2396937 0
[pid=20598/tid=20600] ppid=20596 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/20598/task/20600/stat : 20600 (java) R 20596 20598 18146 0 -1 4202560 2522 0 1 0 144 2 0 0 20 0 19 0 280327393 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269918212792 140269756994544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20601] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20601/stat : 20601 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269879703848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20602] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20602/stat : 20602 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269878651048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20603] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20603/stat : 20603 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269877598760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20604] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20604/stat : 20604 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269876545960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20605] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20605/stat : 20605 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269875493672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20606] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20606/stat : 20606 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269756345000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20607] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20607/stat : 20607 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269755292712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20608] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20608/stat : 20608 (java) S 20596 20598 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269754239912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20609] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20609/stat : 20609 (java) S 20596 20598 18146 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269742041320 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20610] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20610/stat : 20610 (java) S 20596 20598 18146 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269740987384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20611] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20611/stat : 20611 (java) S 20596 20598 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269135586568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20612] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20612/stat : 20612 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269134535056 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20613] ppid=20596 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/20598/task/20613/stat : 20613 (java) S 20596 20598 18146 0 -1 4202560 1528 0 0 0 26 0 0 0 20 0 19 0 280327399 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269133482680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20614] ppid=20596 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/20598/task/20614/stat : 20614 (java) S 20596 20598 18146 0 -1 4202560 2429 0 0 0 22 0 0 0 20 0 19 0 280327399 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269132429880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20615] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20615/stat : 20615 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269131377784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20616] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20616/stat : 20616 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269130325192 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20617] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20617/stat : 20617 (java) S 20596 20598 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280327424 9856004096 15364 33554432000 1073741824 1073778376 140736426169264 140269129270184 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 9625004
[startup+3.10074 s]
/proc/loadavg: 2.08 2.02 1.86 3/213 20673
/proc/meminfo: memFree=30982364/32873844 swapFree=7900/7900
[pid=20598] ppid=20596 vsize=9625004 CPUtime=3.73 cores=1,3,5,7
/proc/20598/stat : 20598 (java) S 20596 20598 18146 0 -1 4202496 7782 0 1 0 368 5 0 0 20 0 19 0 280327392 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140736426160400 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20598/statm: 2406251 24626 2275 9 0 2396937 0
[pid=20598/tid=20600] ppid=20596 vsize=9625004 CPUtime=3.01 cores=1,3,5,7
/proc/20598/task/20600/stat : 20600 (java) R 20596 20598 18146 0 -1 4202560 2528 0 1 0 299 2 0 0 20 0 19 0 280327393 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269918210688 140269756972992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20601] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20601/stat : 20601 (java) S 20596 20598 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269879703848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20602] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20602/stat : 20602 (java) S 20596 20598 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269878651048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20603] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20603/stat : 20603 (java) S 20596 20598 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269877598760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20604] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20604/stat : 20604 (java) S 20596 20598 18146 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269876545960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20605] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20605/stat : 20605 (java) S 20596 20598 18146 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269875493672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20606] ppid=20596 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/20598/task/20606/stat : 20606 (java) S 20596 20598 18146 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 280327395 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269756345000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20607] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20607/stat : 20607 (java) S 20596 20598 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269755292712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20608] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20608/stat : 20608 (java) S 20596 20598 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269754239912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20609] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20609/stat : 20609 (java) S 20596 20598 18146 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269742041320 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20610] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20610/stat : 20610 (java) S 20596 20598 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269740987384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20611] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20611/stat : 20611 (java) S 20596 20598 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269135586568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20612] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20612/stat : 20612 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269134535056 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20613] ppid=20596 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/20598/task/20613/stat : 20613 (java) S 20596 20598 18146 0 -1 4202560 1541 0 0 0 30 0 0 0 20 0 19 0 280327399 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269133482680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20614] ppid=20596 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/20598/task/20614/stat : 20614 (java) S 20596 20598 18146 0 -1 4202560 2433 0 0 0 25 0 0 0 20 0 19 0 280327399 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269132429880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20615] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20615/stat : 20615 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269131377784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20616] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20616/stat : 20616 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269130325192 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20617] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20617/stat : 20617 (java) S 20596 20598 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280327424 9856004096 24626 33554432000 1073741824 1073778376 140736426169264 140269129270184 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 9625004
[startup+6.30063 s]
/proc/loadavg: 2.08 2.02 1.86 3/213 20673
/proc/meminfo: memFree=30832740/32873844 swapFree=7900/7900
[pid=20598] ppid=20596 vsize=9625004 CPUtime=7.08 cores=1,3,5,7
/proc/20598/stat : 20598 (java) S 20596 20598 18146 0 -1 4202496 9914 0 1 0 697 11 0 0 20 0 19 0 280327392 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140736426160400 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20598/statm: 2406251 42464 2275 9 0 2396937 0
[pid=20598/tid=20600] ppid=20596 vsize=9625004 CPUtime=6.14 cores=1,3,5,7
/proc/20598/task/20600/stat : 20600 (java) R 20596 20598 18146 0 -1 4202560 2538 0 1 0 612 2 0 0 20 0 19 0 280327393 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269918212520 140269756909520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20601] ppid=20596 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/20598/task/20601/stat : 20601 (java) S 20596 20598 18146 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 280327395 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269879703848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20602] ppid=20596 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/20598/task/20602/stat : 20602 (java) S 20596 20598 18146 0 -1 4202560 130 0 0 0 1 0 0 0 20 0 19 0 280327395 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269878651048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20603] ppid=20596 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/20598/task/20603/stat : 20603 (java) S 20596 20598 18146 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 280327395 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269877598760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20604] ppid=20596 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/20598/task/20604/stat : 20604 (java) S 20596 20598 18146 0 -1 4202560 153 0 0 0 1 0 0 0 20 0 19 0 280327395 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269876545960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20605] ppid=20596 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/20598/task/20605/stat : 20605 (java) S 20596 20598 18146 0 -1 4202560 21 0 0 0 0 2 0 0 20 0 19 0 280327395 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269875493672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20606] ppid=20596 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/20598/task/20606/stat : 20606 (java) S 20596 20598 18146 0 -1 4202560 140 0 0 0 2 2 0 0 20 0 19 0 280327395 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269756345000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20607] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20607/stat : 20607 (java) S 20596 20598 18146 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269755292712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20608] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20608/stat : 20608 (java) S 20596 20598 18146 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 19 0 280327395 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269754239912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20609] ppid=20596 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/20598/task/20609/stat : 20609 (java) S 20596 20598 18146 0 -1 4202560 49 0 0 0 4 0 0 0 20 0 19 0 280327396 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269742041320 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20610] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20610/stat : 20610 (java) S 20596 20598 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269740987384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20611] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20611/stat : 20611 (java) S 20596 20598 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269135586568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20612] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20612/stat : 20612 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269134535056 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20613] ppid=20596 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/20598/task/20613/stat : 20613 (java) S 20596 20598 18146 0 -1 4202560 3093 0 0 0 36 0 0 0 20 0 19 0 280327399 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269133482680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20614] ppid=20596 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/20598/task/20614/stat : 20614 (java) S 20596 20598 18146 0 -1 4202560 2437 0 0 0 26 0 0 0 20 0 19 0 280327399 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269132429880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20615] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20615/stat : 20615 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269131377784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20616] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20616/stat : 20616 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269130325192 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20617] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20617/stat : 20617 (java) S 20596 20598 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280327424 9856004096 42464 33554432000 1073741824 1073778376 140736426169264 140269129270184 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 9625004
[startup+12.7008 s]
################
# More data... #
################
[pid=20598/tid=20606] ppid=20596 vsize=9625004 CPUtime=2.2 cores=1,3,5,7
/proc/20598/task/20606/stat : 20606 (java) S 20596 20598 18146 0 -1 4202560 568 0 0 0 191 29 0 0 20 0 19 0 280327395 9856004096 410632 33554432000 1073741824 1073778376 140736426169264 140269756345000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20607] ppid=20596 vsize=9625004 CPUtime=2.2 cores=1,3,5,7
/proc/20598/task/20607/stat : 20607 (java) S 20596 20598 18146 0 -1 4202560 490 0 0 0 192 28 0 0 20 0 19 0 280327395 9856004096 410632 33554432000 1073741824 1073778376 140736426169264 140269755292712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20608] ppid=20596 vsize=9625004 CPUtime=2.15 cores=1,3,5,7
/proc/20598/task/20608/stat : 20608 (java) S 20596 20598 18146 0 -1 4202560 667 0 0 0 195 20 0 0 20 0 19 0 280327395 9856004096 410632 33554432000 1073741824 1073778376 140736426169264 140269754239912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20609] ppid=20596 vsize=9625004 CPUtime=6.51 cores=1,3,5,7
/proc/20598/task/20609/stat : 20609 (java) S 20596 20598 18146 0 -1 4202560 1452 0 0 0 647 4 0 0 20 0 19 0 280327396 9856004096 410632 33554432000 1073741824 1073778376 140736426169264 140269742041320 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20610] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20610/stat : 20610 (java) S 20596 20598 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 410632 33554432000 1073741824 1073778376 140736426169264 140269740987384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20611] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20611/stat : 20611 (java) S 20596 20598 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 410632 33554432000 1073741824 1073778376 140736426169264 140269135586568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20612] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20612/stat : 20612 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 410632 33554432000 1073741824 1073778376 140736426169264 140269134535056 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20613] ppid=20596 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/20598/task/20613/stat : 20613 (java) S 20596 20598 18146 0 -1 4202560 3111 0 0 0 37 0 0 0 20 0 19 0 280327399 9856004096 410632 33554432000 1073741824 1073778376 140736426169264 140269133482680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20614] ppid=20596 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/20598/task/20614/stat : 20614 (java) S 20596 20598 18146 0 -1 4202560 3006 0 0 0 40 0 0 0 20 0 19 0 280327399 9856004096 410632 33554432000 1073741824 1073778376 140736426169264 140269132429880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20615] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20615/stat : 20615 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 410632 33554432000 1073741824 1073778376 140736426169264 140269131377784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20616] ppid=20596 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/20598/task/20616/stat : 20616 (java) S 20596 20598 18146 0 -1 4202560 99 0 0 0 43 37 0 0 20 0 19 0 280327399 9856004096 410632 33554432000 1073741824 1073778376 140736426169264 140269130325192 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20617] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20617/stat : 20617 (java) S 20596 20598 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280327424 9856004096 410632 33554432000 1073741824 1073778376 140736426169264 140269129270184 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1736.73
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 1.92 2.00 1.98 3/214 20806
/proc/meminfo: memFree=29421972/32873844 swapFree=7900/7900
[pid=20598] ppid=20596 vsize=9625004 CPUtime=1796.99 cores=1,3,5,7
/proc/20598/stat : 20598 (java) S 20596 20598 18146 0 -1 4202496 17543 0 1 0 179421 278 0 0 20 0 19 0 280327392 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140736426160400 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20598/statm: 2406251 412696 2276 9 0 2396937 0
[pid=20598/tid=20600] ppid=20596 vsize=9625004 CPUtime=1770.89 cores=1,3,5,7
/proc/20598/task/20600/stat : 20600 (java) R 20596 20598 18146 0 -1 4202560 3242 0 1 0 177057 32 0 0 20 0 19 0 280327393 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269918212400 140269756918138 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20601] ppid=20596 vsize=9625004 CPUtime=2.33 cores=1,3,5,7
/proc/20598/task/20601/stat : 20601 (java) S 20596 20598 18146 0 -1 4202560 725 0 0 0 207 26 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269879703848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20602] ppid=20596 vsize=9625004 CPUtime=2.15 cores=1,3,5,7
/proc/20598/task/20602/stat : 20602 (java) S 20596 20598 18146 0 -1 4202560 804 0 0 0 188 27 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269878651048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20603] ppid=20596 vsize=9625004 CPUtime=2.06 cores=1,3,5,7
/proc/20598/task/20603/stat : 20603 (java) S 20596 20598 18146 0 -1 4202560 693 0 0 0 182 24 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269877598760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20604] ppid=20596 vsize=9625004 CPUtime=2.19 cores=1,3,5,7
/proc/20598/task/20604/stat : 20604 (java) S 20596 20598 18146 0 -1 4202560 775 0 0 0 193 26 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269876545960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20605] ppid=20596 vsize=9625004 CPUtime=2.33 cores=1,3,5,7
/proc/20598/task/20605/stat : 20605 (java) S 20596 20598 18146 0 -1 4202560 712 0 0 0 202 31 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269875493672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20606] ppid=20596 vsize=9625004 CPUtime=2.27 cores=1,3,5,7
/proc/20598/task/20606/stat : 20606 (java) S 20596 20598 18146 0 -1 4202560 572 0 0 0 198 29 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269756345000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20607] ppid=20596 vsize=9625004 CPUtime=2.21 cores=1,3,5,7
/proc/20598/task/20607/stat : 20607 (java) S 20596 20598 18146 0 -1 4202560 493 0 0 0 193 28 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269755292712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20608] ppid=20596 vsize=9625004 CPUtime=2.16 cores=1,3,5,7
/proc/20598/task/20608/stat : 20608 (java) S 20596 20598 18146 0 -1 4202560 667 0 0 0 196 20 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269754239912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20609] ppid=20596 vsize=9625004 CPUtime=6.6 cores=1,3,5,7
/proc/20598/task/20609/stat : 20609 (java) S 20596 20598 18146 0 -1 4202560 1458 0 0 0 656 4 0 0 20 0 19 0 280327396 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269742041320 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20610] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20610/stat : 20610 (java) S 20596 20598 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269740987384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20611] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20611/stat : 20611 (java) S 20596 20598 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269135586568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20612] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20612/stat : 20612 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269134535056 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20613] ppid=20596 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/20598/task/20613/stat : 20613 (java) S 20596 20598 18146 0 -1 4202560 3111 0 0 0 37 0 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269133482680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20614] ppid=20596 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/20598/task/20614/stat : 20614 (java) S 20596 20598 18146 0 -1 4202560 3006 0 0 0 40 0 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269132429880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20615] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20615/stat : 20615 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269131377784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20616] ppid=20596 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/20598/task/20616/stat : 20616 (java) S 20596 20598 18146 0 -1 4202560 103 0 0 0 44 39 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269130325192 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20617] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20617/stat : 20617 (java) S 20596 20598 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280327424 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269129270184 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1796.99
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1785.31 s]
/proc/loadavg: 1.93 2.00 1.98 3/214 20806
/proc/meminfo: memFree=29420420/32873844 swapFree=7900/7900
[pid=20598] ppid=20596 vsize=9625004 CPUtime=1800 cores=1,3,5,7
/proc/20598/stat : 20598 (java) S 20596 20598 18146 0 -1 4202496 17543 0 1 0 179722 278 0 0 20 0 19 0 280327392 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140736426160400 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20598/statm: 2406251 412696 2276 9 0 2396937 0
[pid=20598/tid=20600] ppid=20596 vsize=9625004 CPUtime=1773.9 cores=1,3,5,7
/proc/20598/task/20600/stat : 20600 (java) R 20596 20598 18146 0 -1 4202560 3242 0 1 0 177358 32 0 0 20 0 19 0 280327393 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269918212400 140269756945964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20601] ppid=20596 vsize=9625004 CPUtime=2.33 cores=1,3,5,7
/proc/20598/task/20601/stat : 20601 (java) S 20596 20598 18146 0 -1 4202560 725 0 0 0 207 26 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269879703848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20602] ppid=20596 vsize=9625004 CPUtime=2.15 cores=1,3,5,7
/proc/20598/task/20602/stat : 20602 (java) S 20596 20598 18146 0 -1 4202560 804 0 0 0 188 27 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269878651048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20603] ppid=20596 vsize=9625004 CPUtime=2.06 cores=1,3,5,7
/proc/20598/task/20603/stat : 20603 (java) S 20596 20598 18146 0 -1 4202560 693 0 0 0 182 24 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269877598760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20604] ppid=20596 vsize=9625004 CPUtime=2.19 cores=1,3,5,7
/proc/20598/task/20604/stat : 20604 (java) S 20596 20598 18146 0 -1 4202560 775 0 0 0 193 26 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269876545960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20605] ppid=20596 vsize=9625004 CPUtime=2.33 cores=1,3,5,7
/proc/20598/task/20605/stat : 20605 (java) S 20596 20598 18146 0 -1 4202560 712 0 0 0 202 31 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269875493672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20606] ppid=20596 vsize=9625004 CPUtime=2.27 cores=1,3,5,7
/proc/20598/task/20606/stat : 20606 (java) S 20596 20598 18146 0 -1 4202560 572 0 0 0 198 29 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269756345000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20607] ppid=20596 vsize=9625004 CPUtime=2.21 cores=1,3,5,7
/proc/20598/task/20607/stat : 20607 (java) S 20596 20598 18146 0 -1 4202560 493 0 0 0 193 28 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269755292712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20608] ppid=20596 vsize=9625004 CPUtime=2.16 cores=1,3,5,7
/proc/20598/task/20608/stat : 20608 (java) S 20596 20598 18146 0 -1 4202560 667 0 0 0 196 20 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269754239912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20609] ppid=20596 vsize=9625004 CPUtime=6.6 cores=1,3,5,7
/proc/20598/task/20609/stat : 20609 (java) S 20596 20598 18146 0 -1 4202560 1458 0 0 0 656 4 0 0 20 0 19 0 280327396 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269742041320 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20610] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20610/stat : 20610 (java) S 20596 20598 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269740987384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20611] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20611/stat : 20611 (java) S 20596 20598 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269135586568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20612] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20612/stat : 20612 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269134535056 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20613] ppid=20596 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/20598/task/20613/stat : 20613 (java) S 20596 20598 18146 0 -1 4202560 3111 0 0 0 37 0 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269133482680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20614] ppid=20596 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/20598/task/20614/stat : 20614 (java) S 20596 20598 18146 0 -1 4202560 3006 0 0 0 40 0 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269132429880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20615] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20615/stat : 20615 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269131377784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20616] ppid=20596 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/20598/task/20616/stat : 20616 (java) S 20596 20598 18146 0 -1 4202560 103 0 0 0 44 39 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269130325192 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20617] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20617/stat : 20617 (java) S 20596 20598 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280327424 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269129270184 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1785.31 s]
/proc/loadavg: 1.93 2.00 1.98 3/214 20806
/proc/meminfo: memFree=29420420/32873844 swapFree=7900/7900
[pid=20598] ppid=20596 vsize=9625004 CPUtime=1800 cores=1,3,5,7
/proc/20598/stat : 20598 (java) S 20596 20598 18146 0 -1 4202496 17543 0 1 0 179722 278 0 0 20 0 19 0 280327392 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140736426160400 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20598/statm: 2406251 412696 2276 9 0 2396937 0
[pid=20598/tid=20600] ppid=20596 vsize=9625004 CPUtime=1773.9 cores=1,3,5,7
/proc/20598/task/20600/stat : 20600 (java) R 20596 20598 18146 0 -1 4202560 3242 0 1 0 177358 32 0 0 20 0 19 0 280327393 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269918212400 140269756945964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20601] ppid=20596 vsize=9625004 CPUtime=2.33 cores=1,3,5,7
/proc/20598/task/20601/stat : 20601 (java) S 20596 20598 18146 0 -1 4202560 725 0 0 0 207 26 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269879703848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20602] ppid=20596 vsize=9625004 CPUtime=2.15 cores=1,3,5,7
/proc/20598/task/20602/stat : 20602 (java) S 20596 20598 18146 0 -1 4202560 804 0 0 0 188 27 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269878651048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20598/tid=20603] ppid=20596 vsize=9625004 CPUtime=2.06 cores=1,3,5,7
/proc/20598/task/20603/stat : 20603 (java) S 20596 20598 18146 0 -1 4202560 693 0 0 0 182 24 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269877598760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20604] ppid=20596 vsize=9625004 CPUtime=2.19 cores=1,3,5,7
/proc/20598/task/20604/stat : 20604 (java) S 20596 20598 18146 0 -1 4202560 775 0 0 0 193 26 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269876545960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20605] ppid=20596 vsize=9625004 CPUtime=2.33 cores=1,3,5,7
/proc/20598/task/20605/stat : 20605 (java) S 20596 20598 18146 0 -1 4202560 712 0 0 0 202 31 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269875493672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20606] ppid=20596 vsize=9625004 CPUtime=2.27 cores=1,3,5,7
/proc/20598/task/20606/stat : 20606 (java) S 20596 20598 18146 0 -1 4202560 572 0 0 0 198 29 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269756345000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20607] ppid=20596 vsize=9625004 CPUtime=2.21 cores=1,3,5,7
/proc/20598/task/20607/stat : 20607 (java) S 20596 20598 18146 0 -1 4202560 493 0 0 0 193 28 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269755292712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20608] ppid=20596 vsize=9625004 CPUtime=2.16 cores=1,3,5,7
/proc/20598/task/20608/stat : 20608 (java) S 20596 20598 18146 0 -1 4202560 667 0 0 0 196 20 0 0 20 0 19 0 280327395 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269754239912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20609] ppid=20596 vsize=9625004 CPUtime=6.6 cores=1,3,5,7
/proc/20598/task/20609/stat : 20609 (java) S 20596 20598 18146 0 -1 4202560 1458 0 0 0 656 4 0 0 20 0 19 0 280327396 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269742041320 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20610] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20610/stat : 20610 (java) S 20596 20598 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269740987384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20611] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20611/stat : 20611 (java) S 20596 20598 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280327396 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269135586568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20612] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20612/stat : 20612 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269134535056 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20613] ppid=20596 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/20598/task/20613/stat : 20613 (java) S 20596 20598 18146 0 -1 4202560 3111 0 0 0 37 0 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269133482680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20614] ppid=20596 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/20598/task/20614/stat : 20614 (java) S 20596 20598 18146 0 -1 4202560 3006 0 0 0 40 0 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269132429880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20598/tid=20615] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20615/stat : 20615 (java) S 20596 20598 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269131377784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20598/tid=20616] ppid=20596 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/20598/task/20616/stat : 20616 (java) S 20596 20598 18146 0 -1 4202560 103 0 0 0 44 39 0 0 20 0 19 0 280327399 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269130325192 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20598/tid=20617] ppid=20596 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20598/task/20617/stat : 20617 (java) S 20596 20598 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280327424 9856004096 412696 33554432000 1073741824 1073778376 140736426169264 140269129270184 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625004
Child status: 143
Real time (s): 1785.38
CPU time (s): 1800.18
CPU user time (s): 1797.17
CPU system time (s): 3.01254
CPU usage (%): 100.829
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.17
system time used= 3.01254
maximum resident set size= 1650936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17587
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40844
involuntary context switches= 21530
runsolver used 6.38903 second user time and 16.3335 second system time
The end