Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | UNSAT | 504.101 | 502.825 |
Name | normalized-PB07/PURE-SAT/SAT07/ industrial/fuhs/medium/AProVE07-22.opb |
MD5SUM | af63a989791df0a45330e3c33459520d |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 312.016 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 15589 |
Total number of constraints | 54263 |
Number of constraints which are clauses | 54263 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 96 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 94 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 190 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/419218-1177405858/instance-419218-1177405858.opb 0.20/0.20 c reading problem ... 2.81/2.20 c ... done. Wall clock time 1.999s. 2.81/2.20 c CPU time (experimental) 1.68s. 2.81/2.20 c #vars 15589 2.81/2.20 c #constraints 53512 503.99/502.75 c starts : 17 503.99/502.75 c conflicts : 196670 503.99/502.75 c decisions : 233180 503.99/502.75 c propagations : 83429045 503.99/502.75 c inspects : 1324603198 503.99/502.75 c learnt literals : 12 503.99/502.75 c learnt binary clauses : 105 503.99/502.75 c learnt ternary clauses : 610 503.99/502.75 c learnt clauses : 196657 503.99/502.75 c root simplifications : 0 503.99/502.75 c removed literals (reason simplification) : 0 503.99/502.75 c reason swapping (by a shorter reason) : 0 503.99/502.75 c Calls to reduceDB : 0 503.99/502.75 c speed (decisions/second) : 465.88665915429925 503.99/502.75 c non guided choices 80 503.99/502.75 s UNSATISFIABLE 503.99/502.75 c Total wall clock time (ms): 502.542
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-419218-1177405858 -o ROOT/results/node60/solver-419218-1177405858 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/419218-1177405858/sat4jPseudoResolution.jar /tmp/evaluation/419218-1177405858/instance-419218-1177405858.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.98 2/64 14295 /proc/meminfo: memFree=1757832/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=18528 CPUtime=0 /proc/14295/stat : 14295 (runsolver) R 14293 14295 13558 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 188495770 18972672 284 18446744073709551615 4194304 4255128 548682068864 18446744073709551615 271894244647 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/14295/statm: 4632 284 249 14 0 2626 0 [startup+0.0214771 s] /proc/loadavg: 1.00 1.00 0.98 2/64 14295 /proc/meminfo: memFree=1757832/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=12652 CPUtime=0 /proc/14295/stat : 14295 (java) S 14293 14295 13558 0 -1 0 877 0 1 0 0 0 0 0 18 0 2 0 188495770 12955648 635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 3163 635 311 9 0 1243 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12652 [startup+0.10149 s] /proc/loadavg: 1.00 1.00 0.98 2/64 14295 /proc/meminfo: memFree=1757832/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=1780108 CPUtime=0.08 /proc/14295/stat : 14295 (java) S 14293 14295 13558 0 -1 0 3937 0 1 0 6 2 0 0 18 0 12 0 188495770 1822830592 3680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 445027 3680 1119 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301509 s] /proc/loadavg: 1.00 1.00 0.98 2/64 14295 /proc/meminfo: memFree=1757832/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=1782264 CPUtime=0.31 /proc/14295/stat : 14295 (java) S 14293 14295 13558 0 -1 0 5244 0 1 0 28 3 0 0 18 0 12 0 188495770 1825038336 4984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 445566 4984 1263 9 0 443178 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1782264 [startup+0.701548 s] /proc/loadavg: 1.00 1.00 0.98 2/64 14295 /proc/meminfo: memFree=1757832/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=1782960 CPUtime=0.89 /proc/14295/stat : 14295 (java) S 14293 14295 13558 0 -1 0 6858 0 1 0 85 4 0 0 18 0 12 0 188495770 1825751040 6413 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 445740 6413 1301 9 0 443352 0 Current children cumulated CPU time (s) 0.89 Current children cumulated vsize (KiB) 1782960 [startup+1.50263 s] /proc/loadavg: 1.00 1.00 0.98 2/76 14307 /proc/meminfo: memFree=1728936/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=1788216 CPUtime=2.09 /proc/14295/stat : 14295 (java) S 14293 14295 13558 0 -1 0 18352 0 1 0 200 9 0 0 18 0 12 0 188495770 1831133184 16354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 447054 16354 1307 9 0 444666 0 [pid=14295/tid=14297] ppid=14293 vsize=1788216 CPUtime=1 /proc/14295/task/14297/stat : 14297 (java) R 14293 14295 13558 0 -1 64 13937 0 1 0 93 7 0 0 25 0 12 0 188495771 1831133184 16354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109486974 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14298] ppid=14293 vsize=1788216 CPUtime=0 /proc/14295/task/14298/stat : 14298 (java) S 14293 14295 13558 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 188495773 1831133184 16354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14299] ppid=14293 vsize=1788216 CPUtime=0 /proc/14295/task/14299/stat : 14299 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 188495773 1831133184 16354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14300] ppid=14293 vsize=1788216 CPUtime=0 /proc/14295/task/14300/stat : 14300 (java) S 14293 14295 13558 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 188495775 1831133184 16354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14301] ppid=14293 vsize=1788216 CPUtime=0 /proc/14295/task/14301/stat : 14301 (java) S 14293 14295 13558 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 188495776 1831133184 16354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14302] ppid=14293 vsize=1788216 CPUtime=0 /proc/14295/task/14302/stat : 14302 (java) S 14293 14295 13558 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 188495776 1831133184 16354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14303] ppid=14293 vsize=1788216 CPUtime=0 /proc/14295/task/14303/stat : 14303 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188495780 1831133184 16354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14304] ppid=14293 vsize=1788216 CPUtime=0.59 /proc/14295/task/14304/stat : 14304 (java) S 14293 14295 13558 0 -1 64 2332 0 0 0 58 1 0 0 16 0 12 0 188495780 1831133184 16354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14305] ppid=14293 vsize=1788216 CPUtime=0.48 /proc/14295/task/14305/stat : 14305 (java) S 14293 14295 13558 0 -1 64 1362 0 0 0 48 0 0 0 16 0 12 0 188495780 1831133184 16354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14306] ppid=14293 vsize=1788216 CPUtime=0 /proc/14295/task/14306/stat : 14306 (java) S 14293 14295 13558 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 188495780 1831133184 16354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14307] ppid=14293 vsize=1788216 CPUtime=0 /proc/14295/task/14307/stat : 14307 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188495780 1831133184 16354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.09 Current children cumulated vsize (KiB) 1788216 [startup+3.10179 s] /proc/loadavg: 1.00 1.00 0.98 2/76 14307 /proc/meminfo: memFree=1636840/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=1788540 CPUtime=3.95 /proc/14295/stat : 14295 (java) S 14293 14295 13558 0 -1 0 36819 0 1 0 377 18 0 0 18 0 13 0 188495770 1831464960 34468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 447135 34468 1315 9 0 444747 0 [pid=14295/tid=14297] ppid=14293 vsize=1788540 CPUtime=2.43 /proc/14295/task/14297/stat : 14297 (java) R 14293 14295 13558 0 -1 64 31996 0 1 0 228 15 0 0 25 0 13 0 188495771 1831464960 34468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109814243 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14298] ppid=14293 vsize=1788540 CPUtime=0 /proc/14295/task/14298/stat : 14298 (java) S 14293 14295 13558 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 188495773 1831464960 34468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14299] ppid=14293 vsize=1788540 CPUtime=0 /proc/14295/task/14299/stat : 14299 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 188495773 1831464960 34468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14300] ppid=14293 vsize=1788540 CPUtime=0 /proc/14295/task/14300/stat : 14300 (java) S 14293 14295 13558 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 188495775 1831464960 34468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14301] ppid=14293 vsize=1788540 CPUtime=0 /proc/14295/task/14301/stat : 14301 (java) S 14293 14295 13558 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 188495776 1831464960 34468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14302] ppid=14293 vsize=1788540 CPUtime=0 /proc/14295/task/14302/stat : 14302 (java) S 14293 14295 13558 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 188495776 1831464960 34468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14303] ppid=14293 vsize=1788540 CPUtime=0 /proc/14295/task/14303/stat : 14303 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188495780 1831464960 34468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14304] ppid=14293 vsize=1788540 CPUtime=0.77 /proc/14295/task/14304/stat : 14304 (java) S 14293 14295 13558 0 -1 64 2364 0 0 0 76 1 0 0 16 0 13 0 188495780 1831464960 34468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14305] ppid=14293 vsize=1788540 CPUtime=0.71 /proc/14295/task/14305/stat : 14305 (java) S 14293 14295 13558 0 -1 64 1733 0 0 0 71 0 0 0 16 0 13 0 188495780 1831464960 34468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14306] ppid=14293 vsize=1788540 CPUtime=0 /proc/14295/task/14306/stat : 14306 (java) S 14293 14295 13558 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 188495780 1831464960 34468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14307] ppid=14293 vsize=1788540 CPUtime=0 /proc/14295/task/14307/stat : 14307 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188495780 1831464960 34468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.95 Current children cumulated vsize (KiB) 1788540 [startup+6.3021 s] /proc/loadavg: 1.08 1.02 0.99 2/77 14308 /proc/meminfo: memFree=1622952/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=1788248 CPUtime=7.22 /proc/14295/stat : 14295 (java) S 14293 14295 13558 0 -1 0 37384 0 1 0 703 19 0 0 18 0 13 0 188495770 1831165952 34973 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 447062 34973 1317 9 0 444674 0 [pid=14295/tid=14297] ppid=14293 vsize=1788248 CPUtime=5.62 /proc/14295/task/14297/stat : 14297 (java) R 14293 14295 13558 0 -1 64 32553 0 1 0 546 16 0 0 25 0 13 0 188495771 1831165952 34973 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109760637 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14298] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14298/stat : 14298 (java) S 14293 14295 13558 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 188495773 1831165952 34973 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14299] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14299/stat : 14299 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 188495773 1831165952 34973 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14300] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14300/stat : 14300 (java) S 14293 14295 13558 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 188495775 1831165952 34973 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14301] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14301/stat : 14301 (java) S 14293 14295 13558 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 188495776 1831165952 34973 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14302] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14302/stat : 14302 (java) S 14293 14295 13558 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 188495776 1831165952 34973 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14303] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14303/stat : 14303 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188495780 1831165952 34973 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14304] ppid=14293 vsize=1788248 CPUtime=0.84 /proc/14295/task/14304/stat : 14304 (java) S 14293 14295 13558 0 -1 64 2371 0 0 0 83 1 0 0 17 0 13 0 188495780 1831165952 34973 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14305] ppid=14293 vsize=1788248 CPUtime=0.73 /proc/14295/task/14305/stat : 14305 (java) S 14293 14295 13558 0 -1 64 1734 0 0 0 73 0 0 0 16 0 13 0 188495780 1831165952 34973 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14306] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14306/stat : 14306 (java) S 14293 14295 13558 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 188495780 1831165952 34973 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14307] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14307/stat : 14307 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188495780 1831165952 34973 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14308] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14308/stat : 14308 (java) S 14293 14295 13558 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 188495994 1831165952 34973 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.22 Current children cumulated vsize (KiB) 1788248 [startup+12.7017 s] /proc/loadavg: 1.07 1.02 0.99 2/77 14308 /proc/meminfo: memFree=1617512/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=1788248 CPUtime=13.63 /proc/14295/stat : 14295 (java) S 14293 14295 13558 0 -1 0 38761 0 1 0 1343 20 0 0 18 0 13 0 188495770 1831165952 36349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 447062 36349 1317 9 0 444674 0 [pid=14295/tid=14297] ppid=14293 vsize=1788248 CPUtime=11.98 /proc/14295/task/14297/stat : 14297 (java) R 14293 14295 13558 0 -1 64 33926 0 1 0 1181 17 0 0 25 0 13 0 188495771 1831165952 36349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109848319 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14298] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14298/stat : 14298 (java) S 14293 14295 13558 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 188495773 1831165952 36349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14299] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14299/stat : 14299 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 188495773 1831165952 36349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14300] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14300/stat : 14300 (java) S 14293 14295 13558 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 188495775 1831165952 36349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14301] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14301/stat : 14301 (java) S 14293 14295 13558 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 188495776 1831165952 36349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14302] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14302/stat : 14302 (java) S 14293 14295 13558 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 188495776 1831165952 36349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14303] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14303/stat : 14303 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188495780 1831165952 36349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14304] ppid=14293 vsize=1788248 CPUtime=0.86 /proc/14295/task/14304/stat : 14304 (java) S 14293 14295 13558 0 -1 64 2374 0 0 0 85 1 0 0 16 0 13 0 188495780 1831165952 36349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14305] ppid=14293 vsize=1788248 CPUtime=0.75 /proc/14295/task/14305/stat : 14305 (java) S 14293 14295 13558 0 -1 64 1735 0 0 0 75 0 0 0 16 0 13 0 188495780 1831165952 36349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14306] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14306/stat : 14306 (java) S 14293 14295 13558 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 188495780 1831165952 36349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14307] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14307/stat : 14307 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188495780 1831165952 36349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14308] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14308/stat : 14308 (java) S 14293 14295 13558 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 188495994 1831165952 36349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.63 Current children cumulated vsize (KiB) 1788248 [startup+25.503 s] /proc/loadavg: 1.06 1.01 0.99 2/77 14308 /proc/meminfo: memFree=1606312/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=1788248 CPUtime=26.43 /proc/14295/stat : 14295 (java) S 14293 14295 13558 0 -1 0 41470 0 1 0 2621 22 0 0 18 0 13 0 188495770 1831165952 39058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 447062 39058 1317 9 0 444674 0 [pid=14295/tid=14297] ppid=14293 vsize=1788248 CPUtime=24.78 /proc/14295/task/14297/stat : 14297 (java) R 14293 14295 13558 0 -1 64 36635 0 1 0 2459 19 0 0 25 0 13 0 188495771 1831165952 39058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109930463 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14298] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14298/stat : 14298 (java) S 14293 14295 13558 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 188495773 1831165952 39058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14299] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14299/stat : 14299 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 188495773 1831165952 39058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14300] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14300/stat : 14300 (java) S 14293 14295 13558 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 188495775 1831165952 39058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14301] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14301/stat : 14301 (java) S 14293 14295 13558 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 188495776 1831165952 39058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=14295] ppid=14293 vsize=1788248 CPUtime=500.39 /proc/14295/stat : 14295 (java) S 14293 14295 13558 0 -1 0 104469 0 1 0 49988 51 0 0 18 0 13 0 188495770 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 447062 88850 1326 9 0 444674 0 [pid=14295/tid=14297] ppid=14293 vsize=1788248 CPUtime=497.77 /proc/14295/task/14297/stat : 14297 (java) R 14293 14295 13558 0 -1 64 37711 0 1 0 49757 20 0 0 25 0 13 0 188495771 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109850081 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14298] ppid=14293 vsize=1788248 CPUtime=0.45 /proc/14295/task/14298/stat : 14298 (java) S 14293 14295 13558 0 -1 64 31122 0 0 0 32 13 0 0 16 0 13 0 188495773 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14299] ppid=14293 vsize=1788248 CPUtime=0.47 /proc/14295/task/14299/stat : 14299 (java) S 14293 14295 13558 0 -1 64 30798 0 0 0 34 13 0 0 20 0 13 0 188495773 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14300] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14300/stat : 14300 (java) S 14293 14295 13558 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 188495775 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14301] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14301/stat : 14301 (java) S 14293 14295 13558 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 188495776 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14302] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14302/stat : 14302 (java) S 14293 14295 13558 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188495776 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14303] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14303/stat : 14303 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14304] ppid=14293 vsize=1788248 CPUtime=0.87 /proc/14295/task/14304/stat : 14304 (java) S 14293 14295 13558 0 -1 64 2374 0 0 0 86 1 0 0 17 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14305] ppid=14293 vsize=1788248 CPUtime=0.76 /proc/14295/task/14305/stat : 14305 (java) S 14293 14295 13558 0 -1 64 1735 0 0 0 76 0 0 0 16 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14306] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14306/stat : 14306 (java) S 14293 14295 13558 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14307] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14307/stat : 14307 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14308] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14308/stat : 14308 (java) S 14293 14295 13558 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 188495994 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 500.39 Current children cumulated vsize (KiB) 1788248 [startup+500.702 s] /proc/loadavg: 1.00 1.00 0.99 2/77 14308 /proc/meminfo: memFree=1406376/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=1788248 CPUtime=501.99 /proc/14295/stat : 14295 (java) S 14293 14295 13558 0 -1 0 104469 0 1 0 50148 51 0 0 18 0 13 0 188495770 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 447062 88850 1326 9 0 444674 0 [pid=14295/tid=14297] ppid=14293 vsize=1788248 CPUtime=499.37 /proc/14295/task/14297/stat : 14297 (java) R 14293 14295 13558 0 -1 64 37711 0 1 0 49917 20 0 0 25 0 13 0 188495771 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109850053 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14298] ppid=14293 vsize=1788248 CPUtime=0.45 /proc/14295/task/14298/stat : 14298 (java) S 14293 14295 13558 0 -1 64 31122 0 0 0 32 13 0 0 16 0 13 0 188495773 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14299] ppid=14293 vsize=1788248 CPUtime=0.47 /proc/14295/task/14299/stat : 14299 (java) S 14293 14295 13558 0 -1 64 30798 0 0 0 34 13 0 0 20 0 13 0 188495773 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14300] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14300/stat : 14300 (java) S 14293 14295 13558 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 188495775 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14301] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14301/stat : 14301 (java) S 14293 14295 13558 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 188495776 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14302] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14302/stat : 14302 (java) S 14293 14295 13558 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188495776 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14303] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14303/stat : 14303 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14304] ppid=14293 vsize=1788248 CPUtime=0.87 /proc/14295/task/14304/stat : 14304 (java) S 14293 14295 13558 0 -1 64 2374 0 0 0 86 1 0 0 17 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14305] ppid=14293 vsize=1788248 CPUtime=0.76 /proc/14295/task/14305/stat : 14305 (java) S 14293 14295 13558 0 -1 64 1735 0 0 0 76 0 0 0 16 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14306] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14306/stat : 14306 (java) S 14293 14295 13558 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14307] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14307/stat : 14307 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14308] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14308/stat : 14308 (java) S 14293 14295 13558 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 188495994 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 501.99 Current children cumulated vsize (KiB) 1788248 [startup+501.502 s] /proc/loadavg: 1.00 1.00 0.99 2/77 14308 /proc/meminfo: memFree=1406376/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=1788248 CPUtime=502.79 /proc/14295/stat : 14295 (java) S 14293 14295 13558 0 -1 0 104469 0 1 0 50228 51 0 0 18 0 13 0 188495770 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 447062 88850 1326 9 0 444674 0 [pid=14295/tid=14297] ppid=14293 vsize=1788248 CPUtime=500.17 /proc/14295/task/14297/stat : 14297 (java) R 14293 14295 13558 0 -1 64 37711 0 1 0 49997 20 0 0 25 0 13 0 188495771 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109850256 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14298] ppid=14293 vsize=1788248 CPUtime=0.45 /proc/14295/task/14298/stat : 14298 (java) S 14293 14295 13558 0 -1 64 31122 0 0 0 32 13 0 0 16 0 13 0 188495773 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14299] ppid=14293 vsize=1788248 CPUtime=0.47 /proc/14295/task/14299/stat : 14299 (java) S 14293 14295 13558 0 -1 64 30798 0 0 0 34 13 0 0 20 0 13 0 188495773 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14300] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14300/stat : 14300 (java) S 14293 14295 13558 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 188495775 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14301] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14301/stat : 14301 (java) S 14293 14295 13558 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 188495776 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14302] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14302/stat : 14302 (java) S 14293 14295 13558 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188495776 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14303] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14303/stat : 14303 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14304] ppid=14293 vsize=1788248 CPUtime=0.87 /proc/14295/task/14304/stat : 14304 (java) S 14293 14295 13558 0 -1 64 2374 0 0 0 86 1 0 0 17 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14305] ppid=14293 vsize=1788248 CPUtime=0.76 /proc/14295/task/14305/stat : 14305 (java) S 14293 14295 13558 0 -1 64 1735 0 0 0 76 0 0 0 16 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14306] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14306/stat : 14306 (java) S 14293 14295 13558 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14307] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14307/stat : 14307 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14308] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14308/stat : 14308 (java) S 14293 14295 13558 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 188495994 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 502.79 Current children cumulated vsize (KiB) 1788248 [startup+502.302 s] /proc/loadavg: 1.00 1.00 0.99 2/77 14308 /proc/meminfo: memFree=1406376/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=1788248 CPUtime=503.59 /proc/14295/stat : 14295 (java) S 14293 14295 13558 0 -1 0 104469 0 1 0 50308 51 0 0 18 0 13 0 188495770 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 447062 88850 1326 9 0 444674 0 [pid=14295/tid=14297] ppid=14293 vsize=1788248 CPUtime=500.97 /proc/14295/task/14297/stat : 14297 (java) R 14293 14295 13558 0 -1 64 37711 0 1 0 50077 20 0 0 25 0 13 0 188495771 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109848319 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14298] ppid=14293 vsize=1788248 CPUtime=0.45 /proc/14295/task/14298/stat : 14298 (java) S 14293 14295 13558 0 -1 64 31122 0 0 0 32 13 0 0 16 0 13 0 188495773 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14299] ppid=14293 vsize=1788248 CPUtime=0.47 /proc/14295/task/14299/stat : 14299 (java) S 14293 14295 13558 0 -1 64 30798 0 0 0 34 13 0 0 20 0 13 0 188495773 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14300] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14300/stat : 14300 (java) S 14293 14295 13558 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 188495775 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14301] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14301/stat : 14301 (java) S 14293 14295 13558 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 188495776 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14302] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14302/stat : 14302 (java) S 14293 14295 13558 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188495776 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14303] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14303/stat : 14303 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14304] ppid=14293 vsize=1788248 CPUtime=0.87 /proc/14295/task/14304/stat : 14304 (java) S 14293 14295 13558 0 -1 64 2374 0 0 0 86 1 0 0 17 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14305] ppid=14293 vsize=1788248 CPUtime=0.76 /proc/14295/task/14305/stat : 14305 (java) S 14293 14295 13558 0 -1 64 1735 0 0 0 76 0 0 0 16 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14306] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14306/stat : 14306 (java) S 14293 14295 13558 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14307] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14307/stat : 14307 (java) R 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14308] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14308/stat : 14308 (java) S 14293 14295 13558 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 188495994 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 503.59 Current children cumulated vsize (KiB) 1788248 [startup+502.706 s] /proc/loadavg: 1.00 1.00 0.99 2/77 14308 /proc/meminfo: memFree=1406376/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=1788248 CPUtime=503.99 /proc/14295/stat : 14295 (java) S 14293 14295 13558 0 -1 0 104469 0 1 0 50348 51 0 0 18 0 13 0 188495770 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 447062 88850 1326 9 0 444674 0 [pid=14295/tid=14297] ppid=14293 vsize=1788248 CPUtime=501.37 /proc/14295/task/14297/stat : 14297 (java) R 14293 14295 13558 0 -1 64 37711 0 1 0 50117 20 0 0 25 0 13 0 188495771 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109848319 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14298] ppid=14293 vsize=1788248 CPUtime=0.45 /proc/14295/task/14298/stat : 14298 (java) S 14293 14295 13558 0 -1 64 31122 0 0 0 32 13 0 0 16 0 13 0 188495773 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14299] ppid=14293 vsize=1788248 CPUtime=0.47 /proc/14295/task/14299/stat : 14299 (java) S 14293 14295 13558 0 -1 64 30798 0 0 0 34 13 0 0 20 0 13 0 188495773 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14300] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14300/stat : 14300 (java) S 14293 14295 13558 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 188495775 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14301] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14301/stat : 14301 (java) S 14293 14295 13558 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 188495776 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14302] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14302/stat : 14302 (java) S 14293 14295 13558 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 188495776 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14303] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14303/stat : 14303 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14304] ppid=14293 vsize=1788248 CPUtime=0.87 /proc/14295/task/14304/stat : 14304 (java) S 14293 14295 13558 0 -1 64 2374 0 0 0 86 1 0 0 17 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14295/tid=14305] ppid=14293 vsize=1788248 CPUtime=0.76 /proc/14295/task/14305/stat : 14305 (java) S 14293 14295 13558 0 -1 64 1735 0 0 0 76 0 0 0 16 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14306] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14306/stat : 14306 (java) S 14293 14295 13558 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14307] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14307/stat : 14307 (java) S 14293 14295 13558 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 188495780 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14295/tid=14308] ppid=14293 vsize=1788248 CPUtime=0 /proc/14295/task/14308/stat : 14308 (java) S 14293 14295 13558 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 188495994 1831165952 88850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 503.99 Current children cumulated vsize (KiB) 1788248 [startup+502.802 s] /proc/loadavg: 1.00 1.00 0.99 2/77 14308 /proc/meminfo: memFree=1406376/2055920 swapFree=4183288/4192956 [pid=14295] ppid=14293 vsize=0 CPUtime=504.07 /proc/14295/stat : 14295 (java) Z 14293 14295 13558 0 -1 1036 104478 0 1 0 50353 54 0 0 16 0 2 0 188495770 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14295/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 504.07 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 502.825 CPU time (s): 504.101 CPU user time (s): 503.533 CPU system time (s): 0.567913 CPU usage (%): 100.254 Max. virtual memory (cumulated for all children) (KiB): 1788540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 503.533 system time used= 0.567913 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104478 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= 10836 involuntary context switches= 953 runsolver used 0.493924 second user time and 1.35279 second system time The end
Begin job on node60 on Tue Apr 24 09:10:58 UTC 2007 IDJOB= 419218 IDBENCH= 47758 IDSOLVER= 159 FILE ID= node60/419218-1177405858 PBS_JOBID= 4675554 Free space on /tmp= 66413 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/fuhs/medium/AProVE07-22.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/419218-1177405858/sat4jPseudoResolution.jar /tmp/evaluation/419218-1177405858/instance-419218-1177405858.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-419218-1177405858 -o ROOT/results/node60/solver-419218-1177405858 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/419218-1177405858/sat4jPseudoResolution.jar /tmp/evaluation/419218-1177405858/instance-419218-1177405858.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= af63a989791df0a45330e3c33459520d RANDOM SEED= 754157327 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1758240 kB Buffers: 43588 kB Cached: 184568 kB SwapCached: 3860 kB Active: 106152 kB Inactive: 132540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1758240 kB SwapTotal: 4192956 kB SwapFree: 4183288 kB Dirty: 5372 kB Writeback: 0 kB Mapped: 16380 kB Slab: 44976 kB Committed_AS: 2505940 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66413 MiB End job on node60 on Tue Apr 24 09:19:21 UTC 2007