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-3709701-1338150229/watcher-3709701-1338150229 -o /tmp/evaluation-result-3709701-1338150229/solver-3709701-1338150229 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709701-1338150229.opb
running on 4 cores: 0,2,4,6
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: 1.00 1.01 1.25 3/194 25104
/proc/meminfo: memFree=29446500/32873648 swapFree=7116/7116
[pid=25104] ppid=25102 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/25104/stat : 25104 (runsolver) D 25102 25104 21157 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 281150275 12095488 51 33554432000 4194304 5436572 140735604141984 140735604138280 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/25104/statm: 2953 51 31 304 0 2645 0
[startup+0.055912 s]
/proc/loadavg: 1.00 1.01 1.25 3/194 25104
/proc/meminfo: memFree=29446500/32873648 swapFree=7116/7116
[pid=25104] ppid=25102 vsize=9558380 CPUtime=0.03 cores=0,2,4,6
/proc/25104/stat : 25104 (java) S 25102 25104 21157 0 -1 4202496 3214 0 1 0 3 0 0 0 20 0 18 0 281150275 9787781120 3910 33554432000 1073741824 1073778376 140735808695232 140735808686368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25104/statm: 2389595 3910 1745 9 0 2380296 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9558380
[startup+0.100278 s]
/proc/loadavg: 1.00 1.01 1.25 3/194 25104
/proc/meminfo: memFree=29446500/32873648 swapFree=7116/7116
[pid=25104] ppid=25102 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/25104/stat : 25104 (java) S 25102 25104 21157 0 -1 4202496 4347 0 1 0 9 1 0 0 20 0 18 0 281150275 9787842560 5553 33554432000 1073741824 1073778376 140735808695232 140735808686368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25104/statm: 2389610 5553 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.30015 s]
/proc/loadavg: 1.00 1.01 1.25 3/194 25104
/proc/meminfo: memFree=29446500/32873648 swapFree=7116/7116
[pid=25104] ppid=25102 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/25104/stat : 25104 (java) S 25102 25104 21157 0 -1 4202496 6779 0 1 0 50 1 0 0 20 0 19 0 281150275 9856004096 7749 33554432000 1073741824 1073778376 140735808695232 140735808686368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25104/statm: 2406251 7749 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625004
[startup+0.700232 s]
/proc/loadavg: 1.00 1.01 1.25 3/194 25104
/proc/meminfo: memFree=29446500/32873648 swapFree=7116/7116
[pid=25104] ppid=25102 vsize=9625004 CPUtime=1.04 cores=0,2,4,6
/proc/25104/stat : 25104 (java) S 25102 25104 21157 0 -1 4202496 6884 0 1 0 103 1 0 0 20 0 19 0 281150275 9856004096 10907 33554432000 1073741824 1073778376 140735808695232 140735808686368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25104/statm: 2406251 10907 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9625004
[startup+1.50066 s]
/proc/loadavg: 1.00 1.01 1.25 3/213 25123
/proc/meminfo: memFree=29409816/32873648 swapFree=7116/7116
[pid=25104] ppid=25102 vsize=9625004 CPUtime=1.9 cores=0,2,4,6
/proc/25104/stat : 25104 (java) S 25102 25104 21157 0 -1 4202496 7283 0 1 0 188 2 0 0 20 0 19 0 281150275 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140735808686368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25104/statm: 2406251 11457 2274 9 0 2396937 0
[pid=25104/tid=25106] ppid=25102 vsize=9625004 CPUtime=1.4 cores=0,2,4,6
/proc/25104/task/25106/stat : 25106 (java) R 25102 25104 21157 0 -1 4202560 2572 0 1 0 140 0 0 0 20 0 19 0 281150276 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267254636848 140267194823760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25107] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25107/stat : 25107 (java) S 25102 25104 21157 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267193367592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25108] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25108/stat : 25108 (java) S 25102 25104 21157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267192314792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25109] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25109/stat : 25109 (java) S 25102 25104 21157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267191261992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25110] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25110/stat : 25110 (java) S 25102 25104 21157 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267094751912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25111] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25111/stat : 25111 (java) S 25102 25104 21157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267093699112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25112] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25112/stat : 25112 (java) S 25102 25104 21157 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267092646312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25113] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25113/stat : 25113 (java) S 25102 25104 21157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267091593512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25114] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25114/stat : 25114 (java) S 25102 25104 21157 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267090540712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25115] ppid=25102 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/25104/task/25115/stat : 25115 (java) S 25102 25104 21157 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 281150277 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267078343656 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25116] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25116/stat : 25116 (java) S 25102 25104 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150278 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267077289720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25117] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25117/stat : 25117 (java) S 25102 25104 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150278 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267076236808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25118] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25118/stat : 25118 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267075185296 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25119] ppid=25102 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/25104/task/25119/stat : 25119 (java) S 25102 25104 21157 0 -1 4202560 1364 0 0 0 18 0 0 0 20 0 19 0 281150280 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267074132408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25120] ppid=25102 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/25104/task/25120/stat : 25120 (java) S 25102 25104 21157 0 -1 4202560 2088 0 0 0 18 0 0 0 20 0 19 0 281150280 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267073079608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25121] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25121/stat : 25121 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267072027000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25122] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25122/stat : 25122 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267070974408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25123] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25123/stat : 25123 (java) S 25102 25104 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150288 9856004096 11457 33554432000 1073741824 1073778376 140735808695232 140267069920936 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 9625004
[startup+3.10068 s]
/proc/loadavg: 1.00 1.01 1.25 3/213 25123
/proc/meminfo: memFree=29400508/32873648 swapFree=7116/7116
[pid=25104] ppid=25102 vsize=9625004 CPUtime=3.54 cores=0,2,4,6
/proc/25104/stat : 25104 (java) S 25102 25104 21157 0 -1 4202496 7304 0 1 0 352 2 0 0 20 0 19 0 281150275 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140735808686368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25104/statm: 2406251 11985 2274 9 0 2396937 0
[pid=25104/tid=25106] ppid=25102 vsize=9625004 CPUtime=2.94 cores=0,2,4,6
/proc/25104/task/25106/stat : 25106 (java) R 25102 25104 21157 0 -1 4202560 2576 0 1 0 294 0 0 0 20 0 19 0 281150276 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267254636848 140267194779789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25107] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25107/stat : 25107 (java) S 25102 25104 21157 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267193367592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25108] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25108/stat : 25108 (java) S 25102 25104 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267192314792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25109] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25109/stat : 25109 (java) S 25102 25104 21157 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267191261992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25110] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25110/stat : 25110 (java) S 25102 25104 21157 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267094751912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25111] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25111/stat : 25111 (java) S 25102 25104 21157 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267093699112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25112] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25112/stat : 25112 (java) S 25102 25104 21157 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267092646312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25113] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25113/stat : 25113 (java) S 25102 25104 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267091593512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25114] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25114/stat : 25114 (java) S 25102 25104 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267090540712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25115] ppid=25102 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/25104/task/25115/stat : 25115 (java) S 25102 25104 21157 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 19 0 281150277 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267078343656 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25116] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25116/stat : 25116 (java) S 25102 25104 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150278 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267077289720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25117] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25117/stat : 25117 (java) S 25102 25104 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150278 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267076236808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25118] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25118/stat : 25118 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267075185296 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25119] ppid=25102 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/25104/task/25119/stat : 25119 (java) S 25102 25104 21157 0 -1 4202560 1364 0 0 0 19 0 0 0 20 0 19 0 281150280 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267074132408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25120] ppid=25102 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/25104/task/25120/stat : 25120 (java) S 25102 25104 21157 0 -1 4202560 2088 0 0 0 18 0 0 0 20 0 19 0 281150280 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267073079608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25121] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25121/stat : 25121 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267072027000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25122] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25122/stat : 25122 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267070974408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25123] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25123/stat : 25123 (java) S 25102 25104 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150288 9856004096 11985 33554432000 1073741824 1073778376 140735808695232 140267069920936 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 9625004
[startup+6.3006 s]
/proc/loadavg: 1.08 1.03 1.26 3/213 25123
/proc/meminfo: memFree=29388440/32873648 swapFree=7116/7116
[pid=25104] ppid=25102 vsize=9625004 CPUtime=6.78 cores=0,2,4,6
/proc/25104/stat : 25104 (java) S 25102 25104 21157 0 -1 4202496 7341 0 1 0 676 2 0 0 20 0 19 0 281150275 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140735808686368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25104/statm: 2406251 13470 2274 9 0 2396937 0
[pid=25104/tid=25106] ppid=25102 vsize=9625004 CPUtime=6.04 cores=0,2,4,6
/proc/25104/task/25106/stat : 25106 (java) R 25102 25104 21157 0 -1 4202560 2583 0 1 0 604 0 0 0 20 0 19 0 281150276 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267254636848 140267194765504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25107] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25107/stat : 25107 (java) S 25102 25104 21157 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267193367592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25108] ppid=25102 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25104/task/25108/stat : 25108 (java) S 25102 25104 21157 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 281150276 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267192314792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25109] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25109/stat : 25109 (java) S 25102 25104 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150276 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267191261992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25110] ppid=25102 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25104/task/25110/stat : 25110 (java) S 25102 25104 21157 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 281150276 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267094751912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25111] ppid=25102 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25104/task/25111/stat : 25111 (java) S 25102 25104 21157 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 281150276 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267093699112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25112] ppid=25102 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25104/task/25112/stat : 25112 (java) S 25102 25104 21157 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 281150276 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267092646312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25113] ppid=25102 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25104/task/25113/stat : 25113 (java) S 25102 25104 21157 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 281150276 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267091593512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25114] ppid=25102 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25104/task/25114/stat : 25114 (java) S 25102 25104 21157 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 281150276 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267090540712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25115] ppid=25102 vsize=9625004 CPUtime=0.14 cores=0,2,4,6
/proc/25104/task/25115/stat : 25115 (java) S 25102 25104 21157 0 -1 4202560 33 0 0 0 14 0 0 0 20 0 19 0 281150277 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267078343656 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25116] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25116/stat : 25116 (java) S 25102 25104 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150278 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267077289720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25117] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25117/stat : 25117 (java) S 25102 25104 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150278 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267076236808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25118] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25118/stat : 25118 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267075185296 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25119] ppid=25102 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/25104/task/25119/stat : 25119 (java) S 25102 25104 21157 0 -1 4202560 1364 0 0 0 19 0 0 0 20 0 19 0 281150280 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267074132408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25120] ppid=25102 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/25104/task/25120/stat : 25120 (java) S 25102 25104 21157 0 -1 4202560 2088 0 0 0 18 0 0 0 20 0 19 0 281150280 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267073079608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25121] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25121/stat : 25121 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267072027000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25122] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25122/stat : 25122 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267070974408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25123] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25123/stat : 25123 (java) S 25102 25104 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150288 9856004096 13470 33554432000 1073741824 1073778376 140735808695232 140267069920936 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
################
# More data... #
################
[pid=25104/tid=25112] ppid=25102 vsize=9625004 CPUtime=0.8 cores=0,2,4,6
/proc/25104/task/25112/stat : 25112 (java) S 25102 25104 21157 0 -1 4202560 248 0 0 0 78 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267092646312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25113] ppid=25102 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/25104/task/25113/stat : 25113 (java) S 25102 25104 21157 0 -1 4202560 366 0 0 0 96 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267091593512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25114] ppid=25102 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/25104/task/25114/stat : 25114 (java) S 25102 25104 21157 0 -1 4202560 444 0 0 0 84 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267090540712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25115] ppid=25102 vsize=9625004 CPUtime=6.94 cores=0,2,4,6
/proc/25104/task/25115/stat : 25115 (java) S 25102 25104 21157 0 -1 4202560 179 0 0 0 692 2 0 0 20 0 19 0 281150277 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267078343656 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25116] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25116/stat : 25116 (java) S 25102 25104 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150278 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267077289720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25117] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25117/stat : 25117 (java) S 25102 25104 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150278 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267076236808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25118] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25118/stat : 25118 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267075185296 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25119] ppid=25102 vsize=9625004 CPUtime=0.21 cores=0,2,4,6
/proc/25104/task/25119/stat : 25119 (java) S 25102 25104 21157 0 -1 4202560 1637 0 0 0 21 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267074132408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25120] ppid=25102 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/25104/task/25120/stat : 25120 (java) S 25102 25104 21157 0 -1 4202560 2088 0 0 0 18 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267073079608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25121] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25121/stat : 25121 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267072027000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25122] ppid=25102 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/25104/task/25122/stat : 25122 (java) S 25102 25104 21157 0 -1 4202560 99 0 0 0 20 21 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267070974408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25123] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25123/stat : 25123 (java) S 25102 25104 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150288 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267069920936 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1727.55
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.14 2.02 1.86 3/213 25139
/proc/meminfo: memFree=29001952/32873648 swapFree=7116/7116
[pid=25104] ppid=25102 vsize=9625004 CPUtime=1787.63 cores=0,2,4,6
/proc/25104/stat : 25104 (java) S 25102 25104 21157 0 -1 4202496 10440 0 1 0 178726 37 0 0 20 0 19 0 281150275 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140735808686368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25104/statm: 2406251 58770 2275 9 0 2396937 0
[pid=25104/tid=25106] ppid=25102 vsize=9625004 CPUtime=1772.93 cores=0,2,4,6
/proc/25104/task/25106/stat : 25106 (java) R 25102 25104 21157 0 -1 4202560 2751 0 1 0 177262 31 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267254636848 140267194938719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25107] ppid=25102 vsize=9625004 CPUtime=0.89 cores=0,2,4,6
/proc/25104/task/25107/stat : 25107 (java) S 25102 25104 21157 0 -1 4202560 299 0 0 0 87 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267193367592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25108] ppid=25102 vsize=9625004 CPUtime=0.83 cores=0,2,4,6
/proc/25104/task/25108/stat : 25108 (java) S 25102 25104 21157 0 -1 4202560 370 0 0 0 82 1 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267192314792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25109] ppid=25102 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/25104/task/25109/stat : 25109 (java) S 25102 25104 21157 0 -1 4202560 116 0 0 0 76 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267191261992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25110] ppid=25102 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/25104/task/25110/stat : 25110 (java) S 25102 25104 21157 0 -1 4202560 364 0 0 0 89 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267094751912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25111] ppid=25102 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/25104/task/25111/stat : 25111 (java) S 25102 25104 21157 0 -1 4202560 289 0 0 0 83 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267093699112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25112] ppid=25102 vsize=9625004 CPUtime=0.82 cores=0,2,4,6
/proc/25104/task/25112/stat : 25112 (java) S 25102 25104 21157 0 -1 4202560 248 0 0 0 80 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267092646312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25113] ppid=25102 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/25104/task/25113/stat : 25113 (java) S 25102 25104 21157 0 -1 4202560 366 0 0 0 97 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267091593512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25114] ppid=25102 vsize=9625004 CPUtime=0.89 cores=0,2,4,6
/proc/25104/task/25114/stat : 25114 (java) S 25102 25104 21157 0 -1 4202560 444 0 0 0 87 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267090540712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25115] ppid=25102 vsize=9625004 CPUtime=7.12 cores=0,2,4,6
/proc/25104/task/25115/stat : 25115 (java) S 25102 25104 21157 0 -1 4202560 183 0 0 0 710 2 0 0 20 0 19 0 281150277 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267078343656 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25116] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25116/stat : 25116 (java) S 25102 25104 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150278 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267077289720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25117] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25117/stat : 25117 (java) S 25102 25104 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150278 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267076236808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25118] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25118/stat : 25118 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267075185296 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25119] ppid=25102 vsize=9625004 CPUtime=0.21 cores=0,2,4,6
/proc/25104/task/25119/stat : 25119 (java) S 25102 25104 21157 0 -1 4202560 1637 0 0 0 21 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267074132408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25120] ppid=25102 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/25104/task/25120/stat : 25120 (java) S 25102 25104 21157 0 -1 4202560 2088 0 0 0 18 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267073079608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25121] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25121/stat : 25121 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267072027000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25122] ppid=25102 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/25104/task/25122/stat : 25122 (java) S 25102 25104 21157 0 -1 4202560 103 0 0 0 22 21 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267070974408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25123] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25123/stat : 25123 (java) S 25102 25104 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150288 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267069920936 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1787.63
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.7 s]
/proc/loadavg: 2.12 2.02 1.86 2/193 25142
/proc/meminfo: memFree=29256220/32873648 swapFree=7116/7116
[pid=25104] ppid=25102 vsize=9625004 CPUtime=1800.06 cores=0,2,4,6
/proc/25104/stat : 25104 (java) S 25102 25104 21157 0 -1 4202496 10443 0 1 0 179969 37 0 0 20 0 19 0 281150275 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140735808686368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25104/statm: 2406251 58770 2275 9 0 2396937 0
[pid=25104/tid=25106] ppid=25102 vsize=9625004 CPUtime=1785.25 cores=0,2,4,6
/proc/25104/task/25106/stat : 25106 (java) R 25102 25104 21157 0 -1 4202560 2752 0 1 0 178493 32 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267254636848 140267194765109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25107] ppid=25102 vsize=9625004 CPUtime=0.89 cores=0,2,4,6
/proc/25104/task/25107/stat : 25107 (java) S 25102 25104 21157 0 -1 4202560 299 0 0 0 87 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267193367592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25108] ppid=25102 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/25104/task/25108/stat : 25108 (java) S 25102 25104 21157 0 -1 4202560 370 0 0 0 83 1 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267192314792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25109] ppid=25102 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/25104/task/25109/stat : 25109 (java) S 25102 25104 21157 0 -1 4202560 116 0 0 0 76 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267191261992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25110] ppid=25102 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/25104/task/25110/stat : 25110 (java) S 25102 25104 21157 0 -1 4202560 364 0 0 0 89 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267094751912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25111] ppid=25102 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/25104/task/25111/stat : 25111 (java) S 25102 25104 21157 0 -1 4202560 289 0 0 0 84 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267093699112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25112] ppid=25102 vsize=9625004 CPUtime=0.82 cores=0,2,4,6
/proc/25104/task/25112/stat : 25112 (java) S 25102 25104 21157 0 -1 4202560 248 0 0 0 80 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267092646312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25113] ppid=25102 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/25104/task/25113/stat : 25113 (java) S 25102 25104 21157 0 -1 4202560 366 0 0 0 97 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267091593512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25114] ppid=25102 vsize=9625004 CPUtime=0.89 cores=0,2,4,6
/proc/25104/task/25114/stat : 25114 (java) S 25102 25104 21157 0 -1 4202560 444 0 0 0 87 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267090540712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25115] ppid=25102 vsize=9625004 CPUtime=7.19 cores=0,2,4,6
/proc/25104/task/25115/stat : 25115 (java) S 25102 25104 21157 0 -1 4202560 185 0 0 0 717 2 0 0 20 0 19 0 281150277 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267078343656 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25116] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25116/stat : 25116 (java) S 25102 25104 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150278 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267077289720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25117] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25117/stat : 25117 (java) S 25102 25104 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150278 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267076236808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25118] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25118/stat : 25118 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267075185296 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25119] ppid=25102 vsize=9625004 CPUtime=0.21 cores=0,2,4,6
/proc/25104/task/25119/stat : 25119 (java) S 25102 25104 21157 0 -1 4202560 1637 0 0 0 21 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267074132408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25120] ppid=25102 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/25104/task/25120/stat : 25120 (java) S 25102 25104 21157 0 -1 4202560 2088 0 0 0 18 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267073079608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25121] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25121/stat : 25121 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267072027000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25122] ppid=25102 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/25104/task/25122/stat : 25122 (java) S 25102 25104 21157 0 -1 4202560 103 0 0 0 22 21 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267070974408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25123] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25123/stat : 25123 (java) S 25102 25104 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150288 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267069920936 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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+1794.7 s]
/proc/loadavg: 2.12 2.02 1.86 2/193 25142
/proc/meminfo: memFree=29256220/32873648 swapFree=7116/7116
[pid=25104] ppid=25102 vsize=9625004 CPUtime=1800.06 cores=0,2,4,6
/proc/25104/stat : 25104 (java) S 25102 25104 21157 0 -1 4202496 10443 0 1 0 179969 37 0 0 20 0 19 0 281150275 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140735808686368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25104/statm: 2406251 58770 2275 9 0 2396937 0
[pid=25104/tid=25106] ppid=25102 vsize=9625004 CPUtime=1785.25 cores=0,2,4,6
/proc/25104/task/25106/stat : 25106 (java) R 25102 25104 21157 0 -1 4202560 2752 0 1 0 178493 32 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267254636848 140267194765109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25107] ppid=25102 vsize=9625004 CPUtime=0.89 cores=0,2,4,6
/proc/25104/task/25107/stat : 25107 (java) S 25102 25104 21157 0 -1 4202560 299 0 0 0 87 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267193367592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25108] ppid=25102 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/25104/task/25108/stat : 25108 (java) S 25102 25104 21157 0 -1 4202560 370 0 0 0 83 1 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267192314792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25109] ppid=25102 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/25104/task/25109/stat : 25109 (java) S 25102 25104 21157 0 -1 4202560 116 0 0 0 76 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267191261992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25110] ppid=25102 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/25104/task/25110/stat : 25110 (java) S 25102 25104 21157 0 -1 4202560 364 0 0 0 89 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267094751912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25111] ppid=25102 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/25104/task/25111/stat : 25111 (java) S 25102 25104 21157 0 -1 4202560 289 0 0 0 84 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267093699112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25112] ppid=25102 vsize=9625004 CPUtime=0.82 cores=0,2,4,6
/proc/25104/task/25112/stat : 25112 (java) S 25102 25104 21157 0 -1 4202560 248 0 0 0 80 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267092646312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25113] ppid=25102 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/25104/task/25113/stat : 25113 (java) S 25102 25104 21157 0 -1 4202560 366 0 0 0 97 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267091593512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25114] ppid=25102 vsize=9625004 CPUtime=0.89 cores=0,2,4,6
/proc/25104/task/25114/stat : 25114 (java) S 25102 25104 21157 0 -1 4202560 444 0 0 0 87 2 0 0 20 0 19 0 281150276 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267090540712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25115] ppid=25102 vsize=9625004 CPUtime=7.19 cores=0,2,4,6
/proc/25104/task/25115/stat : 25115 (java) S 25102 25104 21157 0 -1 4202560 185 0 0 0 717 2 0 0 20 0 19 0 281150277 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267078343656 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25116] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25116/stat : 25116 (java) S 25102 25104 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150278 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267077289720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25117] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25117/stat : 25117 (java) S 25102 25104 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150278 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267076236808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25118] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25118/stat : 25118 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267075185296 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25104/tid=25119] ppid=25102 vsize=9625004 CPUtime=0.21 cores=0,2,4,6
/proc/25104/task/25119/stat : 25119 (java) S 25102 25104 21157 0 -1 4202560 1637 0 0 0 21 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267074132408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25104/tid=25120] ppid=25102 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/25104/task/25120/stat : 25120 (java) S 25102 25104 21157 0 -1 4202560 2088 0 0 0 18 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267073079608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25121] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25121/stat : 25121 (java) S 25102 25104 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267072027000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25104/tid=25122] ppid=25102 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/25104/task/25122/stat : 25122 (java) S 25102 25104 21157 0 -1 4202560 103 0 0 0 22 21 0 0 20 0 19 0 281150280 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267070974408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25104/tid=25123] ppid=25102 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25104/task/25123/stat : 25123 (java) S 25102 25104 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150288 9856004096 58770 33554432000 1073741824 1073778376 140735808695232 140267069920936 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625004
Child status: 143
Real time (s): 1794.75
CPU time (s): 1800.6
CPU user time (s): 1799.76
CPU system time (s): 0.841872
CPU usage (%): 100.326
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.841872
maximum resident set size= 235244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10486
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42635
involuntary context switches= 26208
runsolver used 5.97109 second user time and 13.9429 second system time
The end