SAT 2011 Competition: main competition (phase 1) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
STRUCTure 0.1	SAT	4166.55	1047.91
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3313267-1304187807/watcher-3313267-1304187807 -o /tmp/evaluation-result-3313267-1304187807/solver-3313267-1304187807 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313267-1304187807.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 5.99 7.53 7.32 4/189 2165
/proc/meminfo: memFree=29669724/32950928 swapFree=67111364/67111528
[pid=2165] ppid=2163 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/2165/stat : 2165 (java) R 2163 2165 2115 0 -1 4202496 719 0 0 0 0 0 0 0 24 0 1 0 609011369 23580672 204 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256410429205 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2165/statm: 5757 217 176 9 0 124 0
[pid=2165/tid=2166] ppid=2163 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2166/stat : 2166 (java) R 2163 2165 2115 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 609011369 31260672 947 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 47502499752921 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.025141 s]
/proc/loadavg: 5.99 7.53 7.32 4/189 2165
/proc/meminfo: memFree=29669724/32950928 swapFree=67111364/67111528
[pid=2165] ppid=2163 vsize=15604116 CPUtime=0.01 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2163 2165 2115 0 -1 4202496 3458 0 1 0 1 0 0 0 24 0 13 0 609011369 15978614784 2896 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/2165/statm: 3901029 2896 1643 9 0 3891777 0
[pid=2165/tid=2166] ppid=2163 vsize=15604116 CPUtime=0.01 cores=0,2,4,6
/proc/2165/task/2166/stat : 2166 (java) R 2163 2165 2115 0 -1 4202560 2066 0 1 0 1 0 0 0 25 0 13 0 609011369 15978614784 2896 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912505181124 0 4 0 16784584 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15604116

[startup+0.105173 s]
/proc/loadavg: 5.99 7.53 7.32 4/189 2165
/proc/meminfo: memFree=29669724/32950928 swapFree=67111364/67111528
[pid=2165] ppid=2163 vsize=15676972 CPUtime=0.11 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2163 2165 2115 0 -1 4202496 5674 0 1 0 9 2 0 0 24 0 18 0 609011369 16053219328 5096 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2165/statm: 3919243 5097 2118 9 0 3909962 0
[pid=2165/tid=2166] ppid=2163 vsize=15676972 CPUtime=0.08 cores=0,2,4,6
/proc/2165/task/2166/stat : 2166 (java) R 2163 2165 2115 0 -1 4202560 3533 0 1 0 7 1 0 0 18 0 18 0 609011369 16053219328 5097 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676972

[startup+0.301139 s]
/proc/loadavg: 5.99 7.53 7.32 4/189 2165
/proc/meminfo: memFree=29669724/32950928 swapFree=67111364/67111528
[pid=2165] ppid=2163 vsize=15682120 CPUtime=0.53 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2163 2165 2115 0 -1 4202496 14893 0 1 0 50 3 0 0 24 0 18 0 609011369 16058490880 13117 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2165/statm: 3920530 13124 2213 9 0 3911249 0
[pid=2165/tid=2166] ppid=2163 vsize=15682120 CPUtime=0.28 cores=0,2,4,6
/proc/2165/task/2166/stat : 2166 (java) R 2163 2165 2115 0 -1 4202560 9788 0 1 0 26 2 0 0 18 0 18 0 609011369 16058490880 13127 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912505644499 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15682120

[startup+0.70107 s]
/proc/loadavg: 5.99 7.53 7.32 4/189 2165
/proc/meminfo: memFree=29669724/32950928 swapFree=67111364/67111528
[pid=2165] ppid=2163 vsize=15682120 CPUtime=0.93 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2163 2165 2115 0 -1 4202496 41846 0 1 0 86 7 0 0 24 0 18 0 609011369 16058490880 40067 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2165/statm: 3920530 40067 2229 9 0 3911249 0
[pid=2165/tid=2166] ppid=2163 vsize=15682120 CPUtime=0.68 cores=0,2,4,6
/proc/2165/task/2166/stat : 2166 (java) R 2163 2165 2115 0 -1 4202560 35548 0 1 0 62 6 0 0 18 0 18 0 609011369 16058490880 40067 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912505642153 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15682120

[startup+1.50092 s]
/proc/loadavg: 5.67 7.43 7.29 5/220 2196
/proc/meminfo: memFree=29339760/32950928 swapFree=67111364/67111528
[pid=2165] ppid=2163 vsize=15686232 CPUtime=2.28 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2163 2165 2115 0 -1 4202496 54944 0 1 0 218 10 0 0 24 0 22 0 609011369 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2165/statm: 3921558 47841 2256 9 0 3912277 0
[pid=2165/tid=2166] ppid=2163 vsize=15686232 CPUtime=1.47 cores=0,2,4,6
/proc/2165/task/2166/stat : 2166 (java) R 2163 2165 2115 0 -1 4202560 35646 0 1 0 141 6 0 0 21 0 22 0 609011369 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912505683867 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2165/tid=2168] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2168/stat : 2168 (java) S 2163 2165 2115 0 -1 4202560 278 0 0 0 0 0 0 0 15 0 22 0 609011370 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2169] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2169/stat : 2169 (java) S 2163 2165 2115 0 -1 4202560 648 0 0 0 0 0 0 0 16 0 22 0 609011370 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2170] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2170/stat : 2170 (java) S 2163 2165 2115 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 22 0 609011370 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2171] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2171/stat : 2171 (java) S 2163 2165 2115 0 -1 4202560 376 0 0 0 0 0 0 0 16 0 22 0 609011370 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2172] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2172/stat : 2172 (java) S 2163 2165 2115 0 -1 4202560 329 0 0 0 0 0 0 0 16 0 22 0 609011370 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2173] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2173/stat : 2173 (java) S 2163 2165 2115 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 22 0 609011370 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2174] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2174/stat : 2174 (java) S 2163 2165 2115 0 -1 4202560 1032 0 0 0 0 0 0 0 16 0 22 0 609011370 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2175] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2175/stat : 2175 (java) S 2163 2165 2115 0 -1 4202560 1345 0 0 0 0 0 0 0 16 0 22 0 609011370 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=2165/tid=2181] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2181/stat : 2181 (java) S 2163 2165 2115 0 -1 4202560 74 0 0 0 0 0 0 0 16 0 22 0 609011371 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 0 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2182] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2182/stat : 2182 (java) S 2163 2165 2115 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 609011371 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2183] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2183/stat : 2183 (java) S 2163 2165 2115 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 609011371 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2184] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2184/stat : 2184 (java) S 2163 2165 2115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 609011373 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427215281 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2185] ppid=2163 vsize=15686232 CPUtime=0.59 cores=0,2,4,6
/proc/2165/task/2185/stat : 2185 (java) S 2163 2165 2115 0 -1 4202560 11293 0 0 0 57 2 0 0 16 0 22 0 609011373 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2186] ppid=2163 vsize=15686232 CPUtime=0.17 cores=0,2,4,6
/proc/2165/task/2186/stat : 2186 (java) S 2163 2165 2115 0 -1 4202560 2423 0 0 0 17 0 0 0 18 0 22 0 609011373 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=2165/tid=2187] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2187/stat : 2187 (java) S 2163 2165 2115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 609011373 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2188] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2188/stat : 2188 (java) S 2163 2165 2115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 609011373 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2193] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2193/stat : 2193 (java) S 2163 2165 2115 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 609011457 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=2165/tid=2194] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2194/stat : 2194 (java) S 2163 2165 2115 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 609011457 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=2165/tid=2195] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2195/stat : 2195 (java) S 2163 2165 2115 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 609011457 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2196] ppid=2163 vsize=15686232 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2196/stat : 2196 (java) S 2163 2165 2115 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 609011457 16062701568 47841 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 15686232

[startup+3.11567 s]
/proc/loadavg: 5.67 7.43 7.29 5/220 2196
/proc/meminfo: memFree=29314340/32950928 swapFree=67111364/67111528
[pid=2165] ppid=2163 vsize=15690040 CPUtime=5.54 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2163 2165 2115 0 -1 4202496 60751 0 1 0 543 11 0 0 24 0 22 0 609011369 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2165/statm: 3922510 53647 2276 9 0 3913229 0
[pid=2165/tid=2166] ppid=2163 vsize=15690040 CPUtime=2.42 cores=0,2,4,6
/proc/2165/task/2166/stat : 2166 (java) S 2163 2165 2115 0 -1 4202560 35701 0 1 0 236 6 0 0 23 0 22 0 609011369 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2168] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2168/stat : 2168 (java) S 2163 2165 2115 0 -1 4202560 278 0 0 0 0 0 0 0 15 0 22 0 609011370 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2169] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2169/stat : 2169 (java) S 2163 2165 2115 0 -1 4202560 648 0 0 0 0 0 0 0 16 0 22 0 609011370 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2170] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2170/stat : 2170 (java) S 2163 2165 2115 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 22 0 609011370 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2171] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2171/stat : 2171 (java) S 2163 2165 2115 0 -1 4202560 376 0 0 0 0 0 0 0 16 0 22 0 609011370 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2172] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2172/stat : 2172 (java) S 2163 2165 2115 0 -1 4202560 329 0 0 0 0 0 0 0 16 0 22 0 609011370 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2173] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2173/stat : 2173 (java) S 2163 2165 2115 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 22 0 609011370 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2174] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2174/stat : 2174 (java) S 2163 2165 2115 0 -1 4202560 1032 0 0 0 0 0 0 0 16 0 22 0 609011370 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2175] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2175/stat : 2175 (java) S 2163 2165 2115 0 -1 4202560 1345 0 0 0 0 0 0 0 16 0 22 0 609011370 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=2165/tid=2181] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2181/stat : 2181 (java) S 2163 2165 2115 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 609011371 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 0 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2182] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2182/stat : 2182 (java) S 2163 2165 2115 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 609011371 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2183] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2183/stat : 2183 (java) S 2163 2165 2115 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 609011371 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2184] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2184/stat : 2184 (java) S 2163 2165 2115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 609011373 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427215281 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2185] ppid=2163 vsize=15690040 CPUtime=1.11 cores=0,2,4,6
/proc/2165/task/2185/stat : 2185 (java) R 2163 2165 2115 0 -1 4202560 11434 0 0 0 109 2 0 0 15 0 22 0 609011373 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 47502499395170 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2165/tid=2186] ppid=2163 vsize=15690040 CPUtime=0.98 cores=0,2,4,6
/proc/2165/task/2186/stat : 2186 (java) S 2163 2165 2115 0 -1 4202560 3681 0 0 0 98 0 0 0 15 0 22 0 609011373 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2187] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2187/stat : 2187 (java) S 2163 2165 2115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 609011373 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2188] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2188/stat : 2188 (java) S 2163 2165 2115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 609011373 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2193] ppid=2163 vsize=15690040 CPUtime=0.19 cores=0,2,4,6
/proc/2165/task/2193/stat : 2193 (java) R 2163 2165 2115 0 -1 4202560 1792 0 0 0 19 0 0 0 16 0 22 0 609011457 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912505982613 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2165/tid=2194] ppid=2163 vsize=15690040 CPUtime=0.02 cores=0,2,4,6
/proc/2165/task/2194/stat : 2194 (java) R 2163 2165 2115 0 -1 4202560 7 0 0 0 2 0 0 0 15 0 22 0 609011457 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2165/tid=2195] ppid=2163 vsize=15690040 CPUtime=0.25 cores=0,2,4,6
/proc/2165/task/2195/stat : 2195 (java) R 2163 2165 2115 0 -1 4202560 1194 0 0 0 25 0 0 0 16 0 22 0 609011457 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912506068518 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2165/tid=2196] ppid=2163 vsize=15690040 CPUtime=0.5 cores=0,2,4,6
/proc/2165/task/2196/stat : 2196 (java) R 2163 2165 2115 0 -1 4202560 1400 0 0 0 50 0 0 0 16 0 22 0 609011457 16066600960 53647 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912505975067 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 15690040

[startup+6.3009 s]
/proc/loadavg: 5.67 7.43 7.29 11/220 2196
/proc/meminfo: memFree=28434244/32950928 swapFree=67111364/67111528
[pid=2165] ppid=2163 vsize=15690040 CPUtime=17.75 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2163 2165 2115 0 -1 4202496 178905 0 1 0 1747 28 0 0 24 0 22 0 609011369 16066600960 170567 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2165/statm: 3922510 170567 2286 9 0 3913229 0
[pid=2165/tid=2166] ppid=2163 vsize=15690040 CPUtime=2.42 cores=0,2,4,6
/proc/2165/task/2166/stat : 2166 (java) S 2163 2165 2115 0 -1 4202560 35701 0 1 0 236 6 0 0 23 0 22 0 609011369 16066600960 170567 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2168] ppid=2163 vsize=15690040 CPUtime=0.03 cores=0,2,4,6
/proc/2165/task/2168/stat : 2168 (java) S 2163 2165 2115 0 -1 4202560 9106 0 0 0 1 2 0 0 16 0 22 0 609011370 16066600960 170567 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2169] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2169/stat : 2169 (java) S 2163 2165 2115 0 -1 4202560 2639 0 0 0 0 0 0 0 15 0 22 0 609011370 16066600960 170567 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=2165/tid=2170] ppid=2163 vsize=15690040 CPUtime=0.01 cores=0,2,4,6
/proc/2165/task/2170/stat : 2170 (java) S 2163 2165 2115 0 -1 4202560 7137 0 0 0 1 0 0 0 16 0 22 0 609011370 16066600960 170567 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2171] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2171/stat : 2171 (java) S 2163 2165 2115 0 -1 4202560 3294 0 0 0 0 0 0 0 15 0 22 0 609011370 16066600960 170567 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2172] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2172/stat : 2172 (java) S 2163 2165 2115 0 -1 4202560 3874 0 0 0 0 0 0 0 16 0 22 0 609011370 16066600960 170567 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2173] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2173/stat : 2173 (java) S 2163 2165 2115 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 22 0 609011370 16066600960 170567 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2174] ppid=2163 vsize=15690040 CPUtime=0.02 cores=0,2,4,6
/proc/2165/task/2174/stat : 2174 (java) S 2163 2165 2115 0 -1 4202560 7355 0 0 0 1 1 0 0 15 0 22 0 609011370 16066600960 170567 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2175] ppid=2163 vsize=15690040 CPUtime=0.02 cores=0,2,4,6
/proc/2165/task/2175/stat : 2175 (java) S 2163 2165 2115 0 -1 4202560 8425 0 0 0 1 1 0 0 16 0 22 0 609011370 16066600960 170567 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0

################
# More data... #
################

[pid=2165/tid=2195] ppid=2163 vsize=15690040 CPUtime=1028.55 cores=0,2,4,6
/proc/2165/task/2195/stat : 2195 (java) R 2163 2165 2115 0 -1 4202560 362249 0 0 0 102806 49 0 0 25 0 22 0 609011457 16066600960 209651 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912506236337 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2165/tid=2196] ppid=2163 vsize=15690040 CPUtime=1028.12 cores=0,2,4,6
/proc/2165/task/2196/stat : 2196 (java) R 2163 2165 2115 0 -1 4202560 377342 0 0 0 102764 48 0 0 25 0 22 0 609011457 16066600960 209651 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912506207694 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4147.51
Current children cumulated vsize (KiB) 15690040

[startup+1046.3 s]
/proc/loadavg: 8.09 8.12 7.84 10/220 2227
/proc/meminfo: memFree=28177284/32950928 swapFree=67111364/67111528
[pid=2165] ppid=2163 vsize=15690040 CPUtime=4160.25 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2163 2165 2115 0 -1 4202496 3158433 0 1 0 415429 596 0 0 24 0 22 0 609011369 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2165/statm: 3922510 202802 2297 9 0 3913229 0
[pid=2165/tid=2166] ppid=2163 vsize=15690040 CPUtime=2.42 cores=0,2,4,6
/proc/2165/task/2166/stat : 2166 (java) S 2163 2165 2115 0 -1 4202560 35701 0 1 0 236 6 0 0 23 0 22 0 609011369 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2168] ppid=2163 vsize=15690040 CPUtime=3.56 cores=0,2,4,6
/proc/2165/task/2168/stat : 2168 (java) S 2163 2165 2115 0 -1 4202560 199054 0 0 0 314 42 0 0 15 0 22 0 609011370 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2169] ppid=2163 vsize=15690040 CPUtime=3.76 cores=0,2,4,6
/proc/2165/task/2169/stat : 2169 (java) S 2163 2165 2115 0 -1 4202560 214296 0 0 0 332 44 0 0 15 0 22 0 609011370 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2170] ppid=2163 vsize=15690040 CPUtime=3.68 cores=0,2,4,6
/proc/2165/task/2170/stat : 2170 (java) S 2163 2165 2115 0 -1 4202560 211729 0 0 0 328 40 0 0 15 0 22 0 609011370 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2171] ppid=2163 vsize=15690040 CPUtime=3.67 cores=0,2,4,6
/proc/2165/task/2171/stat : 2171 (java) S 2163 2165 2115 0 -1 4202560 206997 0 0 0 330 37 0 0 15 0 22 0 609011370 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2172] ppid=2163 vsize=15690040 CPUtime=3.51 cores=0,2,4,6
/proc/2165/task/2172/stat : 2172 (java) S 2163 2165 2115 0 -1 4202560 190877 0 0 0 313 38 0 0 15 0 22 0 609011370 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2173] ppid=2163 vsize=15690040 CPUtime=3.55 cores=0,2,4,6
/proc/2165/task/2173/stat : 2173 (java) S 2163 2165 2115 0 -1 4202560 190632 0 0 0 318 37 0 0 16 0 22 0 609011370 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2174] ppid=2163 vsize=15690040 CPUtime=3.56 cores=0,2,4,6
/proc/2165/task/2174/stat : 2174 (java) S 2163 2165 2115 0 -1 4202560 204975 0 0 0 320 36 0 0 15 0 22 0 609011370 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2175] ppid=2163 vsize=15690040 CPUtime=3.65 cores=0,2,4,6
/proc/2165/task/2175/stat : 2175 (java) S 2163 2165 2115 0 -1 4202560 213882 0 0 0 322 43 0 0 15 0 22 0 609011370 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2181] ppid=2163 vsize=15690040 CPUtime=2.18 cores=0,2,4,6
/proc/2165/task/2181/stat : 2181 (java) S 2163 2165 2115 0 -1 4202560 7767 0 0 0 150 68 0 0 15 0 22 0 609011371 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 0 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=2165/tid=2182] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2182/stat : 2182 (java) S 2163 2165 2115 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 609011371 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2183] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2183/stat : 2183 (java) S 2163 2165 2115 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 609011371 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2184] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2184/stat : 2184 (java) S 2163 2165 2115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 609011373 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427215281 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2185] ppid=2163 vsize=15690040 CPUtime=1.31 cores=0,2,4,6
/proc/2165/task/2185/stat : 2185 (java) S 2163 2165 2115 0 -1 4202560 11438 0 0 0 129 2 0 0 16 0 22 0 609011373 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=2165/tid=2186] ppid=2163 vsize=15690040 CPUtime=1.17 cores=0,2,4,6
/proc/2165/task/2186/stat : 2186 (java) S 2163 2165 2115 0 -1 4202560 3704 0 0 0 117 0 0 0 15 0 22 0 609011373 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2187] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2187/stat : 2187 (java) S 2163 2165 2115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 609011373 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2188] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2188/stat : 2188 (java) S 2163 2165 2115 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 609011373 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2193] ppid=2163 vsize=15690040 CPUtime=1030.81 cores=0,2,4,6
/proc/2165/task/2193/stat : 2193 (java) R 2163 2165 2115 0 -1 4202560 366899 0 0 0 103033 48 0 0 25 0 22 0 609011457 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912505982727 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2165/tid=2194] ppid=2163 vsize=15690040 CPUtime=1030.24 cores=0,2,4,6
/proc/2165/task/2194/stat : 2194 (java) R 2163 2165 2115 0 -1 4202560 359443 0 0 0 102977 47 0 0 25 0 22 0 609011457 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912506150045 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2165/tid=2195] ppid=2163 vsize=15690040 CPUtime=1031.7 cores=0,2,4,6
/proc/2165/task/2195/stat : 2195 (java) R 2163 2165 2115 0 -1 4202560 362250 0 0 0 103121 49 0 0 25 0 22 0 609011457 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912505982707 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2165/tid=2196] ppid=2163 vsize=15690040 CPUtime=1031.28 cores=0,2,4,6
/proc/2165/task/2196/stat : 2196 (java) R 2163 2165 2115 0 -1 4202560 377345 0 0 0 103080 48 0 0 25 0 22 0 609011457 16066600960 202802 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 47502502370358 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4160.25
Current children cumulated vsize (KiB) 15690040

[startup+1047.1 s]
/proc/loadavg: 8.09 8.12 7.84 10/220 2227
/proc/meminfo: memFree=28195384/32950928 swapFree=67111364/67111528
[pid=2165] ppid=2163 vsize=15690040 CPUtime=4163.45 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2163 2165 2115 0 -1 4202496 3160670 0 1 0 415749 596 0 0 24 0 22 0 609011369 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2165/statm: 3922510 205032 2297 9 0 3913229 0
[pid=2165/tid=2166] ppid=2163 vsize=15690040 CPUtime=2.42 cores=0,2,4,6
/proc/2165/task/2166/stat : 2166 (java) S 2163 2165 2115 0 -1 4202560 35701 0 1 0 236 6 0 0 23 0 22 0 609011369 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2168] ppid=2163 vsize=15690040 CPUtime=3.56 cores=0,2,4,6
/proc/2165/task/2168/stat : 2168 (java) S 2163 2165 2115 0 -1 4202560 199054 0 0 0 314 42 0 0 15 0 22 0 609011370 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2169] ppid=2163 vsize=15690040 CPUtime=3.76 cores=0,2,4,6
/proc/2165/task/2169/stat : 2169 (java) S 2163 2165 2115 0 -1 4202560 214296 0 0 0 332 44 0 0 15 0 22 0 609011370 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2170] ppid=2163 vsize=15690040 CPUtime=3.69 cores=0,2,4,6
/proc/2165/task/2170/stat : 2170 (java) S 2163 2165 2115 0 -1 4202560 212337 0 0 0 328 41 0 0 16 0 22 0 609011370 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2171] ppid=2163 vsize=15690040 CPUtime=3.68 cores=0,2,4,6
/proc/2165/task/2171/stat : 2171 (java) S 2163 2165 2115 0 -1 4202560 207303 0 0 0 330 38 0 0 16 0 22 0 609011370 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=2165/tid=2172] ppid=2163 vsize=15690040 CPUtime=3.51 cores=0,2,4,6
/proc/2165/task/2172/stat : 2172 (java) S 2163 2165 2115 0 -1 4202560 190877 0 0 0 313 38 0 0 15 0 22 0 609011370 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2173] ppid=2163 vsize=15690040 CPUtime=3.55 cores=0,2,4,6
/proc/2165/task/2173/stat : 2173 (java) S 2163 2165 2115 0 -1 4202560 190632 0 0 0 318 37 0 0 15 0 22 0 609011370 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2174] ppid=2163 vsize=15690040 CPUtime=3.58 cores=0,2,4,6
/proc/2165/task/2174/stat : 2174 (java) S 2163 2165 2115 0 -1 4202560 205939 0 0 0 321 37 0 0 16 0 22 0 609011370 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2175] ppid=2163 vsize=15690040 CPUtime=3.65 cores=0,2,4,6
/proc/2165/task/2175/stat : 2175 (java) S 2163 2165 2115 0 -1 4202560 214240 0 0 0 322 43 0 0 16 0 22 0 609011370 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2181] ppid=2163 vsize=15690040 CPUtime=2.18 cores=0,2,4,6
/proc/2165/task/2181/stat : 2181 (java) S 2163 2165 2115 0 -1 4202560 7767 0 0 0 150 68 0 0 15 0 22 0 609011371 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 0 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=2165/tid=2182] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2182/stat : 2182 (java) S 2163 2165 2115 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 609011371 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2183] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2183/stat : 2183 (java) S 2163 2165 2115 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 609011371 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2184] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2184/stat : 2184 (java) S 2163 2165 2115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 609011373 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427215281 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2185] ppid=2163 vsize=15690040 CPUtime=1.31 cores=0,2,4,6
/proc/2165/task/2185/stat : 2185 (java) S 2163 2165 2115 0 -1 4202560 11438 0 0 0 129 2 0 0 16 0 22 0 609011373 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=2165/tid=2186] ppid=2163 vsize=15690040 CPUtime=1.17 cores=0,2,4,6
/proc/2165/task/2186/stat : 2186 (java) S 2163 2165 2115 0 -1 4202560 3704 0 0 0 117 0 0 0 15 0 22 0 609011373 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2187] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2187/stat : 2187 (java) S 2163 2165 2115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 609011373 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2188] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2188/stat : 2188 (java) S 2163 2165 2115 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 609011373 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2193] ppid=2163 vsize=15690040 CPUtime=1031.61 cores=0,2,4,6
/proc/2165/task/2193/stat : 2193 (java) R 2163 2165 2115 0 -1 4202560 366899 0 0 0 103113 48 0 0 25 0 22 0 609011457 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912506068493 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2165/tid=2194] ppid=2163 vsize=15690040 CPUtime=1031.04 cores=0,2,4,6
/proc/2165/task/2194/stat : 2194 (java) R 2163 2165 2115 0 -1 4202560 359443 0 0 0 103057 47 0 0 25 0 22 0 609011457 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912505974990 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2165/tid=2195] ppid=2163 vsize=15690040 CPUtime=1032.5 cores=0,2,4,6
/proc/2165/task/2195/stat : 2195 (java) R 2163 2165 2115 0 -1 4202560 362250 0 0 0 103201 49 0 0 25 0 22 0 609011457 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912506244697 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2165/tid=2196] ppid=2163 vsize=15690040 CPUtime=1032.09 cores=0,2,4,6
/proc/2165/task/2196/stat : 2196 (java) R 2163 2165 2115 0 -1 4202560 377346 0 0 0 103161 48 0 0 25 0 22 0 609011457 16066600960 205032 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912506187039 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4163.45
Current children cumulated vsize (KiB) 15690040

[startup+1047.5 s]
/proc/loadavg: 8.09 8.12 7.84 10/220 2227
/proc/meminfo: memFree=28195384/32950928 swapFree=67111364/67111528
[pid=2165] ppid=2163 vsize=15690040 CPUtime=4165.03 cores=0,2,4,6
/proc/2165/stat : 2165 (java) S 2163 2165 2115 0 -1 4202496 3163172 0 1 0 415906 597 0 0 24 0 22 0 609011369 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2165/statm: 3922510 205310 2297 9 0 3913229 0
[pid=2165/tid=2166] ppid=2163 vsize=15690040 CPUtime=2.42 cores=0,2,4,6
/proc/2165/task/2166/stat : 2166 (java) S 2163 2165 2115 0 -1 4202560 35701 0 1 0 236 6 0 0 23 0 22 0 609011369 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2168] ppid=2163 vsize=15690040 CPUtime=3.56 cores=0,2,4,6
/proc/2165/task/2168/stat : 2168 (java) S 2163 2165 2115 0 -1 4202560 199054 0 0 0 314 42 0 0 15 0 22 0 609011370 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2169] ppid=2163 vsize=15690040 CPUtime=3.77 cores=0,2,4,6
/proc/2165/task/2169/stat : 2169 (java) S 2163 2165 2115 0 -1 4202560 214703 0 0 0 333 44 0 0 15 0 22 0 609011370 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=2165/tid=2170] ppid=2163 vsize=15690040 CPUtime=3.69 cores=0,2,4,6
/proc/2165/task/2170/stat : 2170 (java) S 2163 2165 2115 0 -1 4202560 212337 0 0 0 328 41 0 0 15 0 22 0 609011370 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2171] ppid=2163 vsize=15690040 CPUtime=3.68 cores=0,2,4,6
/proc/2165/task/2171/stat : 2171 (java) S 2163 2165 2115 0 -1 4202560 207303 0 0 0 330 38 0 0 15 0 22 0 609011370 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2172] ppid=2163 vsize=15690040 CPUtime=3.51 cores=0,2,4,6
/proc/2165/task/2172/stat : 2172 (java) S 2163 2165 2115 0 -1 4202560 191518 0 0 0 313 38 0 0 16 0 22 0 609011370 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2173] ppid=2163 vsize=15690040 CPUtime=3.55 cores=0,2,4,6
/proc/2165/task/2173/stat : 2173 (java) S 2163 2165 2115 0 -1 4202560 191386 0 0 0 318 37 0 0 16 0 22 0 609011370 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2174] ppid=2163 vsize=15690040 CPUtime=3.58 cores=0,2,4,6
/proc/2165/task/2174/stat : 2174 (java) S 2163 2165 2115 0 -1 4202560 205939 0 0 0 321 37 0 0 15 0 22 0 609011370 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2175] ppid=2163 vsize=15690040 CPUtime=3.65 cores=0,2,4,6
/proc/2165/task/2175/stat : 2175 (java) S 2163 2165 2115 0 -1 4202560 214939 0 0 0 322 43 0 0 15 0 22 0 609011370 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=2165/tid=2181] ppid=2163 vsize=15690040 CPUtime=2.18 cores=0,2,4,6
/proc/2165/task/2181/stat : 2181 (java) S 2163 2165 2115 0 -1 4202560 7767 0 0 0 150 68 0 0 15 0 22 0 609011371 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 0 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=2165/tid=2182] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2182/stat : 2182 (java) S 2163 2165 2115 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 609011371 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2183] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2183/stat : 2183 (java) S 2163 2165 2115 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 609011371 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2184] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2184/stat : 2184 (java) S 2163 2165 2115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 609011373 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427215281 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2185] ppid=2163 vsize=15690040 CPUtime=1.31 cores=0,2,4,6
/proc/2165/task/2185/stat : 2185 (java) S 2163 2165 2115 0 -1 4202560 11438 0 0 0 129 2 0 0 16 0 22 0 609011373 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=2165/tid=2186] ppid=2163 vsize=15690040 CPUtime=1.17 cores=0,2,4,6
/proc/2165/task/2186/stat : 2186 (java) S 2163 2165 2115 0 -1 4202560 3704 0 0 0 117 0 0 0 15 0 22 0 609011373 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2187] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2187/stat : 2187 (java) S 2163 2165 2115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 609011373 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=2165/tid=2188] ppid=2163 vsize=15690040 CPUtime=0 cores=0,2,4,6
/proc/2165/task/2188/stat : 2188 (java) S 2163 2165 2115 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 609011373 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=2165/tid=2193] ppid=2163 vsize=15690040 CPUtime=1032 cores=0,2,4,6
/proc/2165/task/2193/stat : 2193 (java) R 2163 2165 2115 0 -1 4202560 366899 0 0 0 103152 48 0 0 25 0 22 0 609011457 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912506194050 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2165/tid=2194] ppid=2163 vsize=15690040 CPUtime=1031.43 cores=0,2,4,6
/proc/2165/task/2194/stat : 2194 (java) R 2163 2165 2115 0 -1 4202560 359444 0 0 0 103096 47 0 0 25 0 22 0 609011457 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912506149797 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2165/tid=2195] ppid=2163 vsize=15690040 CPUtime=1032.89 cores=0,2,4,6
/proc/2165/task/2195/stat : 2195 (java) R 2163 2165 2115 0 -1 4202560 362250 0 0 0 103240 49 0 0 25 0 22 0 609011457 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912506149799 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2165/tid=2196] ppid=2163 vsize=15690040 CPUtime=1032.48 cores=0,2,4,6
/proc/2165/task/2196/stat : 2196 (java) R 2163 2165 2115 0 -1 4202560 377346 0 0 0 103200 48 0 0 25 0 22 0 609011457 16066600960 205310 33554432000 1073741824 1073778376 140733339237296 18446744073709551615 46912505521157 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4165.03
Current children cumulated vsize (KiB) 15690040

[startup+1047.9 s]
/proc/loadavg: 8.09 8.12 7.84 10/220 2227
/proc/meminfo: memFree=28195384/32950928 swapFree=67111364/67111528
[pid=2165] ppid=2163 vsize=0 CPUtime=4166.53 cores=0,2,4,6
/proc/2165/stat : 2165 (java) Z 2163 2165 2115 0 -1 4203548 3166196 0 1 0 416053 600 0 0 18 0 2 0 609011369 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2165/statm: 0 0 0 0 0 0 0
[pid=2165/tid=2195] ppid=2163 vsize=0 CPUtime=1033.1 cores=0,2,4,6
/proc/2165/task/2195/stat : 2195 (java) R 2163 2165 2115 0 -1 4203588 362253 0 0 0 103258 52 0 0 25 0 2 0 609011457 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4166.53
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1047.91
CPU time (s): 4166.55
CPU user time (s): 4160.54
CPU system time (s): 6.01508
CPU usage (%): 397.604
Max. virtual memory (cumulated for all children) (KiB): 15690040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4160.54
system time used= 6.01509
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3166196
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86227
involuntary context switches= 67698

runsolver used 1.73673 second user time and 4.03539 second system time

The end
Name	SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf
MD5SUM	349e2f9eff952d4e42f8e1caefaa382b
Bench Category	APPLICATION (applications instances)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	61.3457
Satisfiable
(Un)Satisfiability was proved
Number of variables	1156
Number of clauses	194072
Sum of the clauses size	507926
Maximum clause length	34
Minimum clause length	2
Number of clauses of size 1	0
Number of clauses of size 2	76398
Number of clauses of size 3	117606
Number of clauses of size 4	0
Number of clauses of size 5	0
Number of clauses of size over 5	68
Trace number 3313267

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
