Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1801.03 | 1758.68 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb |
MD5SUM | ce74ed6abc2682e3852648a27e28a7ce |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -4 |
Optimality of the best value was proved | NO |
Number of variables | 24751 |
Total number of constraints | 73261 |
Number of constraints which are clauses | 73260 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 24420 |
Number of terms in the objective function | 111 |
Biggest coefficient in the objective function | 1298074214633706907132624082305024 |
Number of bits for the biggest coefficient in the objective function | 111 |
Sum of the numbers in the objective function | 2596148429267413814265248164610047 |
Number of bits of the sum of numbers in the objective function | 111 |
Biggest number in a constraint | 1093625362391505962186251113558810682676584715446606218212885303204976499599687961611756588511526912 |
Number of bits of the biggest number in a constraint | 330 |
Biggest sum of numbers in a constraint | 4374501449566023848745004454235242451901741326209966194279906655789612083583747144123545843134987905 |
Number of bits of the biggest sum of numbers | 331 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.16 c no version file found!!! 0.16 c sun.arch.data.model 32 0.16 c java.version 1.5.0_06 0.16 c os.name Linux 0.16 c os.version 2.6.9-22.EL.rootsmp 0.16 c os.arch i386 0.16 c Free memory 1548419056 0.16 c Max memory 1551040512 0.16 c Total memory 1551040512 0.16 c Number of processors 2 0.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.22 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.23 c solving ROOT/tmp/node36/50951-1154118799/instance-50951-1154118799.opb 0.23 c reading problem ... 35.55 c ... done. Time 35.328 ms. 35.55 c #vars 24751 35.55 c #constraints 73262 1758.40 c starts : 1 1758.40 c conflicts : 22 1758.40 c decisions : 18291 1758.40 c propagations : 26733 1758.40 c inspects : 201881 1758.40 c learnt literals : 0 1758.40 c learnt binary clauses : 0 1758.40 c learnt ternary clauses : 0 1758.40 c learnt clauses : 21 1758.40 c root simplifications : 0 1758.40 c removed literals (reason simplification) : 0 1758.40 c reason swapping (by a shorter reason) : 0 1758.40 c Calls to reduceDB : 0 1758.40 c speed (decisions/second) : 10.617117409959693 1758.40 c non guided choices 17859 1758.40 s UNKNOWN 1758.40 c Total wall clock time (ms): 1758.178
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node36/watcher-50951-1154118799 -o ROOT/results/node36/solver-50951-1154118799 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node36/50951-1154118799/instance-50951-1154118799.opb 797778087 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 26795 /proc/meminfo: memFree=1450792/2055920 swapFree=4183160/4192956 [pid=26795] ppid=26793 vsize=168 CPUtime=0 /proc/26795/stat : 26795 (java) R 26793 26795 26746 0 -1 0 40 0 0 0 0 0 0 0 19 0 1 0 158751337 172032 23 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 1528612 0 0 4096 0 0 0 0 17 1 0 0 /proc/26795/statm: 42 23 18 14 0 2 0 [startup+10.0018 s] /proc/loadavg: 1.00 1.00 1.00 2/75 26806 /proc/meminfo: memFree=1278480/2055920 swapFree=4183160/4192956 [pid=26795] ppid=26793 vsize=1709052 CPUtime=10.49 /proc/26795/stat : 26795 (java) R 26793 26795 26746 0 -1 0 48548 0 1 0 1028 21 0 0 25 0 12 0 158751337 1750069248 44835 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152006750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26795/statm: 427263 44835 1873 14 0 414010 0 [pid=26795/tid=26796] ppid=26793 vsize=1709052 CPUtime=0.05 /proc/26795/task/26796/stat : 26796 (java) S 26793 26795 26746 0 -1 64 1214 0 0 0 5 0 0 0 16 0 12 0 158751340 1750069248 44835 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26797] ppid=26793 vsize=1709052 CPUtime=0.05 /proc/26795/task/26797/stat : 26797 (java) S 26793 26795 26746 0 -1 64 1115 0 0 0 5 0 0 0 16 0 12 0 158751340 1750069248 44835 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26798] ppid=26793 vsize=1709052 CPUtime=0 /proc/26795/task/26798/stat : 26798 (java) S 26793 26795 26746 0 -1 64 29 0 0 0 0 0 0 0 16 0 12 0 158751343 1750069248 44835 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26799] ppid=26793 vsize=1709052 CPUtime=0 /proc/26795/task/26799/stat : 26799 (java) S 26793 26795 26746 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 158751344 1750069248 44835 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26800] ppid=26793 vsize=1709052 CPUtime=0 /proc/26795/task/26800/stat : 26800 (java) S 26793 26795 26746 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158751344 1750069248 44835 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26801] ppid=26793 vsize=1709052 CPUtime=0 /proc/26795/task/26801/stat : 26801 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 158751347 1750069248 44835 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26802] ppid=26793 vsize=1709052 CPUtime=0 /proc/26795/task/26802/stat : 26802 (java) S 26793 26795 26746 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 158751347 1750069248 44835 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26803] ppid=26793 vsize=1709052 CPUtime=0.32 /proc/26795/task/26803/stat : 26803 (java) S 26793 26795 26746 0 -1 64 659 0 0 0 32 0 0 0 16 0 12 0 158751347 1750069248 44835 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26804] ppid=26793 vsize=1709052 CPUtime=0.27 /proc/26795/task/26804/stat : 26804 (java) S 26793 26795 26746 0 -1 64 259 0 0 0 27 0 0 0 16 0 12 0 158751347 1750069248 44835 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26805] ppid=26793 vsize=1709052 CPUtime=0 /proc/26795/task/26805/stat : 26805 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 158751348 1750069248 44835 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26806] ppid=26793 vsize=1709052 CPUtime=0 /proc/26795/task/26806/stat : 26806 (java) S 26793 26795 26746 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 158751348 1750069248 44835 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 10.49 Current children cumulated vsize (Kb) 1709052 [startup+20.0089 s] /proc/loadavg: 1.00 1.00 1.00 2/75 26806 /proc/meminfo: memFree=1285648/2055920 swapFree=4183160/4192956 [pid=26795] ppid=26793 vsize=1708572 CPUtime=20.54 /proc/26795/stat : 26795 (java) R 26793 26795 26746 0 -1 0 49294 0 1 0 2032 22 0 0 18 0 12 0 158751337 1749577728 43060 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071429761 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26795/statm: 427143 43060 1873 14 0 413890 0 [pid=26795/tid=26796] ppid=26793 vsize=1708572 CPUtime=0.11 /proc/26795/task/26796/stat : 26796 (java) S 26793 26795 26746 0 -1 64 1627 0 0 0 11 0 0 0 16 0 12 0 158751340 1749577728 43060 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26797] ppid=26793 vsize=1708572 CPUtime=0.09 /proc/26795/task/26797/stat : 26797 (java) S 26793 26795 26746 0 -1 64 1417 0 0 0 8 1 0 0 16 0 12 0 158751340 1749577728 43060 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26798] ppid=26793 vsize=1708572 CPUtime=0 /proc/26795/task/26798/stat : 26798 (java) S 26793 26795 26746 0 -1 64 30 0 0 0 0 0 0 0 16 0 12 0 158751343 1749577728 43060 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26799] ppid=26793 vsize=1708572 CPUtime=0 /proc/26795/task/26799/stat : 26799 (java) S 26793 26795 26746 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 158751344 1749577728 43060 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26800] ppid=26793 vsize=1708572 CPUtime=0 /proc/26795/task/26800/stat : 26800 (java) S 26793 26795 26746 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158751344 1749577728 43060 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26801] ppid=26793 vsize=1708572 CPUtime=0 /proc/26795/task/26801/stat : 26801 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 158751347 1749577728 43060 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26802] ppid=26793 vsize=1708572 CPUtime=0 /proc/26795/task/26802/stat : 26802 (java) S 26793 26795 26746 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 158751347 1749577728 43060 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26803] ppid=26793 vsize=1708572 CPUtime=0.33 /proc/26795/task/26803/stat : 26803 (java) S 26793 26795 26746 0 -1 64 660 0 0 0 33 0 0 0 16 0 12 0 158751347 1749577728 43060 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26804] ppid=26793 vsize=1708572 CPUtime=0.27 /proc/26795/task/26804/stat : 26804 (java) S 26793 26795 26746 0 -1 64 259 0 0 0 27 0 0 0 16 0 12 0 158751347 1749577728 43060 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26805] ppid=26793 vsize=1708572 CPUtime=0 /proc/26795/task/26805/stat : 26805 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 158751348 1749577728 43060 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26806] ppid=26793 vsize=1708572 CPUtime=0 /proc/26795/task/26806/stat : 26806 (java) S 26793 26795 26746 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 158751348 1749577728 43060 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 20.54 Current children cumulated vsize (Kb) 1708572 [startup+30.0159 s] /proc/loadavg: 1.00 1.00 1.00 2/75 26806 /proc/meminfo: memFree=1284816/2055920 swapFree=4183160/4192956 [pid=26795] ppid=26793 vsize=1708572 CPUtime=30.59 /proc/26795/stat : 26795 (java) R 26793 26795 26746 0 -1 0 50183 0 1 0 3036 23 0 0 22 0 12 0 158751337 1749577728 43334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071429767 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26795/statm: 427143 43334 1873 14 0 413890 0 [pid=26795/tid=26796] ppid=26793 vsize=1708572 CPUtime=0.17 /proc/26795/task/26796/stat : 26796 (java) S 26793 26795 26746 0 -1 64 2088 0 0 0 17 0 0 0 16 0 12 0 158751340 1749577728 43334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26797] ppid=26793 vsize=1708572 CPUtime=0.15 /proc/26795/task/26797/stat : 26797 (java) S 26793 26795 26746 0 -1 64 1810 0 0 0 14 1 0 0 16 0 12 0 158751340 1749577728 43334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26798] ppid=26793 vsize=1708572 CPUtime=0.01 /proc/26795/task/26798/stat : 26798 (java) S 26793 26795 26746 0 -1 64 30 0 0 0 0 1 0 0 16 0 12 0 158751343 1749577728 43334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26799] ppid=26793 vsize=1708572 CPUtime=0 /proc/26795/task/26799/stat : 26799 (java) S 26793 26795 26746 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 158751344 1749577728 43334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26800] ppid=26793 vsize=1708572 CPUtime=0 /proc/26795/task/26800/stat : 26800 (java) S 26793 26795 26746 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158751344 1749577728 43334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26801] ppid=26793 vsize=1708572 CPUtime=0 /proc/26795/task/26801/stat : 26801 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 158751347 1749577728 43334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26802] ppid=26793 vsize=1708572 CPUtime=0 /proc/26795/task/26802/stat : 26802 (java) S 26793 26795 26746 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 158751347 1749577728 43334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26803] ppid=26793 vsize=1708572 CPUtime=0.33 /proc/26795/task/26803/stat : 26803 (java) S 26793 26795 26746 0 -1 64 660 0 0 0 33 0 0 0 16 0 12 0 158751347 1749577728 43334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26804] ppid=26793 vsize=1708572 CPUtime=0.27 /proc/26795/task/26804/stat : 26804 (java) S 26793 26795 26746 0 -1 64 259 0 0 0 27 0 0 0 16 0 12 0 158751347 1749577728 43334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26805] ppid=26793 vsize=1708572 CPUtime=0 /proc/26795/task/26805/stat : 26805 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 158751348 1749577728 43334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26806] ppid=26793 vsize=1708572 CPUtime=0 /proc/26795/task/26806/stat : 26806 (java) S 26793 26795 26746 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 158751348 1749577728 43334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.59 Current children cumulated vsize (Kb) 1708572 [startup+40.0229 s] /proc/loadavg: 1.00 1.00 1.00 2/76 26807 /proc/meminfo: memFree=1235144/2055920 swapFree=4183160/4192956 [pid=26795] ppid=26793 vsize=1723720 CPUtime=42.15 /proc/26795/stat : 26795 (java) R 26793 26795 26746 0 -1 0 68210 0 1 0 4182 33 0 0 23 0 13 0 158751337 1765089280 55741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071323648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26795/statm: 430930 55741 1906 14 0 417677 0 [pid=26795/tid=26796] ppid=26793 vsize=1723720 CPUtime=0.31 /proc/26795/task/26796/stat : 26796 (java) S 26793 26795 26746 0 -1 64 3929 0 0 0 29 2 0 0 17 0 13 0 158751340 1765089280 55741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26797] ppid=26793 vsize=1723720 CPUtime=0.31 /proc/26795/task/26797/stat : 26797 (java) S 26793 26795 26746 0 -1 64 4199 0 0 0 29 2 0 0 16 0 13 0 158751340 1765089280 55741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26798] ppid=26793 vsize=1723720 CPUtime=0.02 /proc/26795/task/26798/stat : 26798 (java) S 26793 26795 26746 0 -1 64 43 0 0 0 1 1 0 0 15 0 13 0 158751343 1765089280 55741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26799] ppid=26793 vsize=1723720 CPUtime=0 /proc/26795/task/26799/stat : 26799 (java) S 26793 26795 26746 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 158751344 1765089280 55741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26800] ppid=26793 vsize=1723720 CPUtime=0 /proc/26795/task/26800/stat : 26800 (java) S 26793 26795 26746 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158751344 1765089280 55741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26801] ppid=26793 vsize=1723720 CPUtime=0 /proc/26795/task/26801/stat : 26801 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 158751347 1765089280 55741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26802] ppid=26793 vsize=1723720 CPUtime=0.01 /proc/26795/task/26802/stat : 26802 (java) S 26793 26795 26746 0 -1 64 4 0 0 0 1 0 0 0 17 0 13 0 158751347 1765089280 55741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26803] ppid=26793 vsize=1723720 CPUtime=0.94 /proc/26795/task/26803/stat : 26803 (java) S 26793 26795 26746 0 -1 64 1842 0 0 0 93 1 0 0 17 0 13 0 158751347 1765089280 55741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26804] ppid=26793 vsize=1723720 CPUtime=1.49 /proc/26795/task/26804/stat : 26804 (java) S 26793 26795 26746 0 -1 64 7430 0 0 0 146 3 0 0 19 0 13 0 158751347 1765089280 55741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26805] ppid=26793 vsize=1723720 CPUtime=0 /proc/26795/task/26805/stat : 26805 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 158751348 1765089280 55741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26806] ppid=26793 vsize=1723720 CPUtime=0 /proc/26795/task/26806/stat : 26806 (java) S 26793 26795 26746 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158751348 1765089280 55741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26807] ppid=26793 vsize=1723720 CPUtime=0 /proc/26795/task/26807/stat : 26807 (java) S 26793 26795 26746 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 158754901 1765089280 55741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.15 Current children cumulated vsize (Kb) 1723720 [startup+50.0309 s] /proc/loadavg: 1.00 1.00 1.00 2/76 26807 /proc/meminfo: memFree=1197960/2055920 swapFree=4183160/4192956 [pid=26795] ppid=26793 vsize=1723368 CPUtime=52.54 /proc/26795/stat : 26795 (java) R 26793 26795 26746 0 -1 0 81066 0 1 0 5214 40 0 0 21 0 13 0 158751337 1764728832 65057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071490128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26795/statm: 430842 65057 1906 14 0 417589 0 [pid=26795/tid=26796] ppid=26793 vsize=1723368 CPUtime=0.68 /proc/26795/task/26796/stat : 26796 (java) S 26793 26795 26746 0 -1 64 9785 0 0 0 64 4 0 0 16 0 13 0 158751340 1764728832 65057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26797] ppid=26793 vsize=1723368 CPUtime=0.68 /proc/26795/task/26797/stat : 26797 (java) S 26793 26795 26746 0 -1 64 11181 0 0 0 62 6 0 0 16 0 13 0 158751340 1764728832 65057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26798] ppid=26793 vsize=1723368 CPUtime=0.02 /proc/26795/task/26798/stat : 26798 (java) S 26793 26795 26746 0 -1 64 43 0 0 0 1 1 0 0 16 0 13 0 158751343 1764728832 65057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26799] ppid=26793 vsize=1723368 CPUtime=0 /proc/26795/task/26799/stat : 26799 (java) S 26793 26795 26746 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 158751344 1764728832 65057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26800] ppid=26793 vsize=1723368 CPUtime=0 /proc/26795/task/26800/stat : 26800 (java) S 26793 26795 26746 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158751344 1764728832 65057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26801] ppid=26793 vsize=1723368 CPUtime=0 /proc/26795/task/26801/stat : 26801 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 158751347 1764728832 65057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26802] ppid=26793 vsize=1723368 CPUtime=0.01 /proc/26795/task/26802/stat : 26802 (java) S 26793 26795 26746 0 -1 64 4 0 0 0 1 0 0 0 17 0 13 0 158751347 1764728832 65057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26803] ppid=26793 vsize=1723368 CPUtime=0.95 /proc/26795/task/26803/stat : 26803 (java) S 26793 26795 26746 0 -1 64 1842 0 0 0 94 1 0 0 17 0 13 0 158751347 1764728832 65057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26804] ppid=26793 vsize=1723368 CPUtime=1.5 /proc/26795/task/26804/stat : 26804 (java) S 26793 26795 26746 0 -1 64 7430 0 0 0 147 3 0 0 16 0 13 0 158751347 1764728832 65057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26805] ppid=26793 vsize=1723368 CPUtime=0 /proc/26795/task/26805/stat : 26805 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 158751348 1764728832 65057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26806] ppid=26793 vsize=1723368 CPUtime=0 /proc/26795/task/26806/stat : 26806 (java) S 26793 26795 26746 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158751348 1764728832 65057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26807] ppid=26793 vsize=1723368 CPUtime=0 /proc/26795/task/26807/stat : 26807 (java) S 26793 26795 26746 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 158754901 1764728832 65057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.54 Current children cumulated vsize (Kb) 1723368 [startup+60.0379 s] /proc/loadavg: 1.00 1.00 1.00 2/76 26807 /proc/meminfo: memFree=1154440/2055920 swapFree=4183160/4192956 [pid=26795] ppid=26793 vsize=1723368 CPUtime=62.86 /proc/26795/stat : 26795 (java) R 26793 26795 26746 0 -1 0 96132 0 1 0 6240 46 0 0 25 0 13 0 158751337 1764728832 75910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071490213 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26795/statm: 430842 75910 1906 14 0 417589 0 [pid=26795/tid=26796] ppid=26793 vsize=1723368 CPUtime=1 /proc/26795/task/26796/stat : 26796 (java) S 26793 26795 26746 0 -1 64 16955 0 0 0 93 7 0 0 16 0 13 0 158751340 1764728832 75910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26797] ppid=26793 vsize=1723368 CPUtime=1.01 /proc/26795/task/26797/stat : 26797 (java) S 26793 26795 26746 0 -1 64 19061 0 0 0 91 10 0 0 16 0 13 0 158751340 1764728832 75910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26798] ppid=26793 vsize=1723368 CPUtime=0.02 /proc/26795/task/26798/stat : 26798 (java) S 26793 26795 26746 0 -1 64 43 0 0 0 1 1 0 0 15 0 13 0 158751343 1764728832 75910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26799] ppid=26793 vsize=1723368 CPUtime=0 /proc/26795/task/26799/stat : 26799 (java) S 26793 26795 26746 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 158751344 1764728832 75910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26800] ppid=26793 vsize=1723368 CPUtime=0 /proc/26795/task/26800/stat : 26800 (java) S 26793 26795 26746 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158751344 1764728832 75910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26801] ppid=26793 vsize=1723368 CPUtime=0 /proc/26795/task/26801/stat : 26801 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 158751347 1764728832 75910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26802] ppid=26793 vsize=1723368 CPUtime=0.01 /proc/26795/task/26802/stat : 26802 (java) S 26793 26795 26746 0 -1 64 4 0 0 0 1 0 0 0 17 0 13 0 158751347 1764728832 75910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26803] ppid=26793 vsize=1723368 CPUtime=0.95 /proc/26795/task/26803/stat : 26803 (java) S 26793 26795 26746 0 -1 64 1842 0 0 0 94 1 0 0 17 0 13 0 158751347 1764728832 75910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26804] ppid=26793 vsize=1723368 CPUtime=1.51 ################ # More data... # ################ /proc/26795/task/26799/stat : 26799 (java) S 26793 26795 26746 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 158751344 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26800] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26800/stat : 26800 (java) S 26793 26795 26746 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158751344 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26801] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26801/stat : 26801 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26802] ppid=26793 vsize=1723176 CPUtime=0.01 /proc/26795/task/26802/stat : 26802 (java) S 26793 26795 26746 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26803] ppid=26793 vsize=1723176 CPUtime=1.24 /proc/26795/task/26803/stat : 26803 (java) S 26793 26795 26746 0 -1 64 1865 0 0 0 123 1 0 0 17 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26804] ppid=26793 vsize=1723176 CPUtime=1.78 /proc/26795/task/26804/stat : 26804 (java) S 26793 26795 26746 0 -1 64 7443 0 0 0 175 3 0 0 16 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26805] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26805/stat : 26805 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 158751348 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26806] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26806/stat : 26806 (java) S 26793 26795 26746 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158751348 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26807] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26807/stat : 26807 (java) S 26793 26795 26746 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 158754901 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 1723176 [startup+1755.37 s] /proc/loadavg: 1.04 1.02 1.00 2/76 27007 /proc/meminfo: memFree=15176/2055920 swapFree=4183160/4192956 [pid=26795] ppid=26793 vsize=1723176 CPUtime=1797.61 /proc/26795/stat : 26795 (java) R 26793 26795 26746 0 -1 0 541351 0 1 0 179093 668 0 0 25 0 13 0 158751337 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071491088 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/26795/statm: 430794 383402 1909 14 0 417541 0 [pid=26795/tid=26796] ppid=26793 vsize=1723176 CPUtime=41.03 /proc/26795/task/26796/stat : 26796 (java) S 26793 26795 26746 0 -1 64 237027 0 0 0 3818 285 0 0 16 0 13 0 158751340 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26797] ppid=26793 vsize=1723176 CPUtime=41.07 /proc/26795/task/26797/stat : 26797 (java) S 26793 26795 26746 0 -1 64 227175 0 0 0 3804 303 0 0 15 0 13 0 158751340 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26798] ppid=26793 vsize=1723176 CPUtime=0.63 /proc/26795/task/26798/stat : 26798 (java) S 26793 26795 26746 0 -1 64 193 0 0 0 38 25 0 0 16 0 13 0 158751343 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26799] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26799/stat : 26799 (java) S 26793 26795 26746 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 158751344 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26800] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26800/stat : 26800 (java) S 26793 26795 26746 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158751344 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26801] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26801/stat : 26801 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26802] ppid=26793 vsize=1723176 CPUtime=0.01 /proc/26795/task/26802/stat : 26802 (java) S 26793 26795 26746 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26803] ppid=26793 vsize=1723176 CPUtime=1.24 /proc/26795/task/26803/stat : 26803 (java) S 26793 26795 26746 0 -1 64 1865 0 0 0 123 1 0 0 17 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26804] ppid=26793 vsize=1723176 CPUtime=1.78 /proc/26795/task/26804/stat : 26804 (java) S 26793 26795 26746 0 -1 64 7443 0 0 0 175 3 0 0 16 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26805] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26805/stat : 26805 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 158751348 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26806] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26806/stat : 26806 (java) S 26793 26795 26746 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158751348 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26807] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26807/stat : 26807 (java) S 26793 26795 26746 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 158754901 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 1723176 [startup+1756.38 s] /proc/loadavg: 1.04 1.02 1.00 2/76 27007 /proc/meminfo: memFree=15176/2055920 swapFree=4183160/4192956 [pid=26795] ppid=26793 vsize=1723176 CPUtime=1798.64 /proc/26795/stat : 26795 (java) R 26793 26795 26746 0 -1 0 541353 0 1 0 179196 668 0 0 19 0 13 0 158751337 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071491206 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/26795/statm: 430794 383402 1909 14 0 417541 0 [pid=26795/tid=26796] ppid=26793 vsize=1723176 CPUtime=41.06 /proc/26795/task/26796/stat : 26796 (java) S 26793 26795 26746 0 -1 64 237027 0 0 0 3821 285 0 0 16 0 13 0 158751340 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26797] ppid=26793 vsize=1723176 CPUtime=41.1 /proc/26795/task/26797/stat : 26797 (java) S 26793 26795 26746 0 -1 64 227175 0 0 0 3806 304 0 0 16 0 13 0 158751340 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26798] ppid=26793 vsize=1723176 CPUtime=0.63 /proc/26795/task/26798/stat : 26798 (java) S 26793 26795 26746 0 -1 64 193 0 0 0 38 25 0 0 16 0 13 0 158751343 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26799] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26799/stat : 26799 (java) S 26793 26795 26746 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 158751344 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26800] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26800/stat : 26800 (java) S 26793 26795 26746 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158751344 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26801] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26801/stat : 26801 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26802] ppid=26793 vsize=1723176 CPUtime=0.01 /proc/26795/task/26802/stat : 26802 (java) S 26793 26795 26746 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26803] ppid=26793 vsize=1723176 CPUtime=1.24 /proc/26795/task/26803/stat : 26803 (java) S 26793 26795 26746 0 -1 64 1865 0 0 0 123 1 0 0 17 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26804] ppid=26793 vsize=1723176 CPUtime=1.78 /proc/26795/task/26804/stat : 26804 (java) S 26793 26795 26746 0 -1 64 7443 0 0 0 175 3 0 0 16 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26805] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26805/stat : 26805 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 158751348 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26806] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26806/stat : 26806 (java) S 26793 26795 26746 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158751348 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26807] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26807/stat : 26807 (java) S 26793 26795 26746 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 158754901 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 1723176 [startup+1757.38 s] /proc/loadavg: 1.03 1.02 1.00 2/76 27007 /proc/meminfo: memFree=15176/2055920 swapFree=4183160/4192956 [pid=26795] ppid=26793 vsize=1723176 CPUtime=1799.68 /proc/26795/stat : 26795 (java) R 26793 26795 26746 0 -1 0 541355 0 1 0 179299 669 0 0 25 0 13 0 158751337 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071489920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/26795/statm: 430794 383402 1909 14 0 417541 0 [pid=26795/tid=26796] ppid=26793 vsize=1723176 CPUtime=41.09 /proc/26795/task/26796/stat : 26796 (java) S 26793 26795 26746 0 -1 64 237027 0 0 0 3824 285 0 0 16 0 13 0 158751340 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26797] ppid=26793 vsize=1723176 CPUtime=41.13 /proc/26795/task/26797/stat : 26797 (java) S 26793 26795 26746 0 -1 64 227175 0 0 0 3809 304 0 0 16 0 13 0 158751340 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26798] ppid=26793 vsize=1723176 CPUtime=0.63 /proc/26795/task/26798/stat : 26798 (java) S 26793 26795 26746 0 -1 64 193 0 0 0 38 25 0 0 16 0 13 0 158751343 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26799] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26799/stat : 26799 (java) S 26793 26795 26746 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 158751344 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26800] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26800/stat : 26800 (java) S 26793 26795 26746 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158751344 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26801] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26801/stat : 26801 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26802] ppid=26793 vsize=1723176 CPUtime=0.01 /proc/26795/task/26802/stat : 26802 (java) S 26793 26795 26746 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26803] ppid=26793 vsize=1723176 CPUtime=1.24 /proc/26795/task/26803/stat : 26803 (java) S 26793 26795 26746 0 -1 64 1865 0 0 0 123 1 0 0 17 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26804] ppid=26793 vsize=1723176 CPUtime=1.78 /proc/26795/task/26804/stat : 26804 (java) S 26793 26795 26746 0 -1 64 7443 0 0 0 175 3 0 0 16 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26805] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26805/stat : 26805 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 158751348 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26806] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26806/stat : 26806 (java) S 26793 26795 26746 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158751348 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26807] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26807/stat : 26807 (java) S 26793 26795 26746 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 158754901 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 1723176 [startup+1758.39 s] /proc/loadavg: 1.03 1.02 1.00 2/76 27007 /proc/meminfo: memFree=15176/2055920 swapFree=4183160/4192956 [pid=26795] ppid=26793 vsize=1723176 CPUtime=1800.72 /proc/26795/stat : 26795 (java) R 26793 26795 26746 0 -1 0 541357 0 1 0 179403 669 0 0 25 0 13 0 158751337 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071490083 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/26795/statm: 430794 383402 1909 14 0 417541 0 [pid=26795/tid=26796] ppid=26793 vsize=1723176 CPUtime=41.13 /proc/26795/task/26796/stat : 26796 (java) S 26793 26795 26746 0 -1 64 237027 0 0 0 3828 285 0 0 17 0 13 0 158751340 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26797] ppid=26793 vsize=1723176 CPUtime=41.17 /proc/26795/task/26797/stat : 26797 (java) S 26793 26795 26746 0 -1 64 227175 0 0 0 3812 305 0 0 16 0 13 0 158751340 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26798] ppid=26793 vsize=1723176 CPUtime=0.63 /proc/26795/task/26798/stat : 26798 (java) S 26793 26795 26746 0 -1 64 193 0 0 0 38 25 0 0 16 0 13 0 158751343 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26799] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26799/stat : 26799 (java) S 26793 26795 26746 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 158751344 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26800] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26800/stat : 26800 (java) S 26793 26795 26746 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158751344 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26801] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26801/stat : 26801 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26802] ppid=26793 vsize=1723176 CPUtime=0.01 /proc/26795/task/26802/stat : 26802 (java) S 26793 26795 26746 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26803] ppid=26793 vsize=1723176 CPUtime=1.24 /proc/26795/task/26803/stat : 26803 (java) S 26793 26795 26746 0 -1 64 1865 0 0 0 123 1 0 0 17 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26804] ppid=26793 vsize=1723176 CPUtime=1.78 /proc/26795/task/26804/stat : 26804 (java) S 26793 26795 26746 0 -1 64 7443 0 0 0 175 3 0 0 16 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26805] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26805/stat : 26805 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 158751348 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26806] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26806/stat : 26806 (java) S 26793 26795 26746 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158751348 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26807] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26807/stat : 26807 (java) S 26793 26795 26746 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 158754901 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 1723176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1758.39 s] /proc/loadavg: 1.03 1.02 1.00 2/76 27007 /proc/meminfo: memFree=15176/2055920 swapFree=4183160/4192956 [pid=26795] ppid=26793 vsize=1723176 CPUtime=1800.72 /proc/26795/stat : 26795 (java) R 26793 26795 26746 0 -1 0 541357 0 1 0 179403 669 0 0 25 0 13 0 158751337 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071709015 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/26795/statm: 430794 383402 1909 14 0 417541 0 [pid=26795/tid=26796] ppid=26793 vsize=1723176 CPUtime=41.13 /proc/26795/task/26796/stat : 26796 (java) S 26793 26795 26746 0 -1 64 237027 0 0 0 3828 285 0 0 17 0 13 0 158751340 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26797] ppid=26793 vsize=1723176 CPUtime=41.17 /proc/26795/task/26797/stat : 26797 (java) S 26793 26795 26746 0 -1 64 227175 0 0 0 3812 305 0 0 16 0 13 0 158751340 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26798] ppid=26793 vsize=1723176 CPUtime=0.63 /proc/26795/task/26798/stat : 26798 (java) S 26793 26795 26746 0 -1 64 193 0 0 0 38 25 0 0 16 0 13 0 158751343 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26799] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26799/stat : 26799 (java) S 26793 26795 26746 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 158751344 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26800] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26800/stat : 26800 (java) S 26793 26795 26746 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158751344 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26801] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26801/stat : 26801 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26802] ppid=26793 vsize=1723176 CPUtime=0.01 /proc/26795/task/26802/stat : 26802 (java) S 26793 26795 26746 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26803] ppid=26793 vsize=1723176 CPUtime=1.24 /proc/26795/task/26803/stat : 26803 (java) S 26793 26795 26746 0 -1 64 1865 0 0 0 123 1 0 0 17 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26804] ppid=26793 vsize=1723176 CPUtime=1.78 /proc/26795/task/26804/stat : 26804 (java) S 26793 26795 26746 0 -1 64 7443 0 0 0 175 3 0 0 16 0 13 0 158751347 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26805] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26805/stat : 26805 (java) S 26793 26795 26746 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 158751348 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26795/tid=26806] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26806/stat : 26806 (java) S 26793 26795 26746 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158751348 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26795/tid=26807] ppid=26793 vsize=1723176 CPUtime=0 /proc/26795/task/26807/stat : 26807 (java) S 26793 26795 26746 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 158754901 1764532224 383402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 1723176 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1758.68 CPU time (s): 1801.03 CPU user time (s): 1794.08 CPU system time (s): 6.94794 CPU usage (%): 102.408 Max. virtual memory (cumulated for all children) (Kb): 1723720 The end
Begin job on node36 on Fri Jul 28 20:33:20 UTC 2006 FILE ID= 50951-1154118799 PBS_JOBID= 886851 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node36/50951-1154118799/instance-50951-1154118799.opb 797778087 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-50951-1154118799 -o ROOT/results/node36/solver-50951-1154118799 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node36/50951-1154118799/instance-50951-1154118799.opb 797778087 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= ce74ed6abc2682e3852648a27e28a7ce RANDOM SEED= 797778087 TIMEOUT= 1800 seconds /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.218 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.218 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: 1451192 kB Buffers: 27700 kB Cached: 498584 kB SwapCached: 3640 kB Active: 53716 kB Inactive: 481224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1451192 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14728 kB Slab: 55896 kB Committed_AS: 599456 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node36 on Fri Jul 28 21:02:38 UTC 2006