Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.49 | 1757.67 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb |
MD5SUM | 7d90035947bf106909c324d346feadc0 |
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 | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 45751 |
Total number of constraints | 135901 |
Number of constraints which are clauses | 135900 |
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 | 45300 |
Number of terms in the objective function | 151 |
Biggest coefficient in the objective function | 1427247692705959881058285969449495136382746624 |
Number of bits for the biggest coefficient in the objective function | 151 |
Sum of the numbers in the objective function | 2854495385411919762116571938898990272765493247 |
Number of bits of the sum of numbers in the objective function | 151 |
Biggest number in a constraint | 1453677448591213781098647615776009068707282721374636120562980398361278576226795846652382101427527131121525043212532355867069203257229312 |
Number of bits of the biggest number in a constraint | 450 |
Biggest sum of numbers in a constraint | 5814709794364855124394590463104036274829130884442601547409146523709370688892119900517445885328649663330068882186640259952495850427021820 |
Number of bits of the biggest sum of numbers | 451 |
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.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 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.22 c solving ROOT/tmp/node60/50967-1154120215/instance-50967-1154120215.opb 0.22 c reading problem ... 119.07 c ... done. Time 118.854 ms. 119.07 c #vars 45751 119.07 c #constraints 135902 1757.38 c starts : 1 1757.38 c conflicts : 1 1757.38 c decisions : 33131 1757.38 c propagations : 45737 1757.38 c inspects : 123363 1757.38 c learnt literals : 0 1757.38 c learnt binary clauses : 0 1757.38 c learnt ternary clauses : 0 1757.38 c learnt clauses : 0 1757.38 c root simplifications : 0 1757.38 c removed literals (reason simplification) : 0 1757.38 c reason swapping (by a shorter reason) : 0 1757.38 c Calls to reduceDB : 0 1757.38 c speed (decisions/second) : 20.223396781079334 1757.38 c non guided choices 33131 1757.38 s UNKNOWN 1757.38 c Total wall clock time (ms): 1757.162
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/node60/watcher-50967-1154120215 -o ROOT/results/node60/solver-50967-1154120215 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node60/50967-1154120215/instance-50967-1154120215.opb 570585543 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/64 2479 /proc/meminfo: memFree=1346704/2055920 swapFree=4184148/4192956 [pid=2479] ppid=2477 vsize=1452 CPUtime=0 /proc/2479/stat : 2479 (java) R 2477 2479 2430 0 -1 0 91 0 0 0 0 0 0 0 19 0 1 0 158891393 1486848 62 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4160632085 0 0 4096 0 0 0 0 17 1 0 0 /proc/2479/statm: 363 73 57 14 0 8 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.95 0.98 2/75 2490 /proc/meminfo: memFree=1186496/2055920 swapFree=4184148/4192956 [pid=2479] ppid=2477 vsize=1709016 CPUtime=10.55 /proc/2479/stat : 2479 (java) R 2477 2479 2430 0 -1 0 43882 0 1 0 1036 19 0 0 25 0 12 0 158891393 1750032384 41806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071437215 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2479/statm: 427254 41806 1873 14 0 414001 0 [pid=2479/tid=2480] ppid=2477 vsize=1709016 CPUtime=0.04 /proc/2479/task/2480/stat : 2480 (java) S 2477 2479 2430 0 -1 64 1340 0 0 0 3 1 0 0 16 0 12 0 158891397 1750032384 41806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2481] ppid=2477 vsize=1709016 CPUtime=0.04 /proc/2479/task/2481/stat : 2481 (java) S 2477 2479 2430 0 -1 64 1277 0 0 0 4 0 0 0 15 0 12 0 158891397 1750032384 41806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2482] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2482/stat : 2482 (java) S 2477 2479 2430 0 -1 64 35 0 0 0 0 0 0 0 16 0 12 0 158891400 1750032384 41806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2483] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2483/stat : 2483 (java) S 2477 2479 2430 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 158891400 1750032384 41806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2484] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2484/stat : 2484 (java) S 2477 2479 2430 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158891400 1750032384 41806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2485] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2485/stat : 2485 (java) S 2477 2479 2430 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158891404 1750032384 41806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2486] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2486/stat : 2486 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158891404 1750032384 41806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2487] ppid=2477 vsize=1709016 CPUtime=0.33 /proc/2479/task/2487/stat : 2487 (java) S 2477 2479 2430 0 -1 64 758 0 0 0 33 0 0 0 16 0 12 0 158891404 1750032384 41806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2488] ppid=2477 vsize=1709016 CPUtime=0.24 /proc/2479/task/2488/stat : 2488 (java) S 2477 2479 2430 0 -1 64 212 0 0 0 24 0 0 0 15 0 12 0 158891404 1750032384 41806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2489] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2489/stat : 2489 (java) S 2477 2479 2430 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158891404 1750032384 41806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2490] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2490/stat : 2490 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158891404 1750032384 41806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 10.55 Current children cumulated vsize (Kb) 1709016 [startup+20.0091 s] /proc/loadavg: 0.94 0.96 0.98 2/75 2490 /proc/meminfo: memFree=1194368/2055920 swapFree=4184148/4192956 [pid=2479] ppid=2477 vsize=1709016 CPUtime=20.61 /proc/2479/stat : 2479 (java) R 2477 2479 2430 0 -1 0 44313 0 1 0 2040 21 0 0 25 0 12 0 158891393 1750032384 39879 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071437226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2479/statm: 427254 39879 1873 14 0 414001 0 [pid=2479/tid=2480] ppid=2477 vsize=1709016 CPUtime=0.07 /proc/2479/task/2480/stat : 2480 (java) S 2477 2479 2430 0 -1 64 1434 0 0 0 6 1 0 0 15 0 12 0 158891397 1750032384 39879 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2481] ppid=2477 vsize=1709016 CPUtime=0.09 /proc/2479/task/2481/stat : 2481 (java) S 2477 2479 2430 0 -1 64 1560 0 0 0 8 1 0 0 16 0 12 0 158891397 1750032384 39879 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2482] ppid=2477 vsize=1709016 CPUtime=0.02 /proc/2479/task/2482/stat : 2482 (java) S 2477 2479 2430 0 -1 64 35 0 0 0 1 1 0 0 16 0 12 0 158891400 1750032384 39879 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2483] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2483/stat : 2483 (java) S 2477 2479 2430 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 158891400 1750032384 39879 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2484] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2484/stat : 2484 (java) S 2477 2479 2430 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158891400 1750032384 39879 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2485] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2485/stat : 2485 (java) S 2477 2479 2430 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158891404 1750032384 39879 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2486] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2486/stat : 2486 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158891404 1750032384 39879 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2487] ppid=2477 vsize=1709016 CPUtime=0.34 /proc/2479/task/2487/stat : 2487 (java) S 2477 2479 2430 0 -1 64 779 0 0 0 34 0 0 0 16 0 12 0 158891404 1750032384 39879 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2488] ppid=2477 vsize=1709016 CPUtime=0.25 /proc/2479/task/2488/stat : 2488 (java) S 2477 2479 2430 0 -1 64 212 0 0 0 25 0 0 0 16 0 12 0 158891404 1750032384 39879 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2489] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2489/stat : 2489 (java) S 2477 2479 2430 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158891404 1750032384 39879 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2490] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2490/stat : 2490 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158891404 1750032384 39879 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 20.61 Current children cumulated vsize (Kb) 1709016 [startup+30.0161 s] /proc/loadavg: 0.95 0.96 0.98 2/75 2490 /proc/meminfo: memFree=1194240/2055920 swapFree=4184148/4192956 [pid=2479] ppid=2477 vsize=1709016 CPUtime=30.66 /proc/2479/stat : 2479 (java) R 2477 2479 2430 0 -1 0 44801 0 1 0 3044 22 0 0 21 0 12 0 158891393 1750032384 39953 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071437426 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2479/statm: 427254 39953 1873 14 0 414001 0 [pid=2479/tid=2480] ppid=2477 vsize=1709016 CPUtime=0.12 /proc/2479/task/2480/stat : 2480 (java) S 2477 2479 2430 0 -1 64 1700 0 0 0 11 1 0 0 16 0 12 0 158891397 1750032384 39953 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2481] ppid=2477 vsize=1709016 CPUtime=0.13 /proc/2479/task/2481/stat : 2481 (java) S 2477 2479 2430 0 -1 64 1742 0 0 0 12 1 0 0 16 0 12 0 158891397 1750032384 39953 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2482] ppid=2477 vsize=1709016 CPUtime=0.02 /proc/2479/task/2482/stat : 2482 (java) S 2477 2479 2430 0 -1 64 35 0 0 0 1 1 0 0 16 0 12 0 158891400 1750032384 39953 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2483] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2483/stat : 2483 (java) S 2477 2479 2430 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 158891400 1750032384 39953 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2484] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2484/stat : 2484 (java) S 2477 2479 2430 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158891400 1750032384 39953 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2485] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2485/stat : 2485 (java) S 2477 2479 2430 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158891404 1750032384 39953 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2486] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2486/stat : 2486 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158891404 1750032384 39953 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2487] ppid=2477 vsize=1709016 CPUtime=0.34 /proc/2479/task/2487/stat : 2487 (java) S 2477 2479 2430 0 -1 64 779 0 0 0 34 0 0 0 16 0 12 0 158891404 1750032384 39953 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2488] ppid=2477 vsize=1709016 CPUtime=0.25 /proc/2479/task/2488/stat : 2488 (java) S 2477 2479 2430 0 -1 64 212 0 0 0 25 0 0 0 16 0 12 0 158891404 1750032384 39953 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2489] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2489/stat : 2489 (java) S 2477 2479 2430 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158891404 1750032384 39953 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2490] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2490/stat : 2490 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158891404 1750032384 39953 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.66 Current children cumulated vsize (Kb) 1709016 [startup+40.0231 s] /proc/loadavg: 0.95 0.96 0.98 2/75 2490 /proc/meminfo: memFree=1192256/2055920 swapFree=4184148/4192956 [pid=2479] ppid=2477 vsize=1709016 CPUtime=40.72 /proc/2479/stat : 2479 (java) R 2477 2479 2430 0 -1 0 45471 0 1 0 4048 24 0 0 24 0 12 0 158891393 1750032384 40421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071341975 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2479/statm: 427254 40421 1873 14 0 414001 0 [pid=2479/tid=2480] ppid=2477 vsize=1709016 CPUtime=0.17 /proc/2479/task/2480/stat : 2480 (java) S 2477 2479 2430 0 -1 64 2091 0 0 0 16 1 0 0 15 0 12 0 158891397 1750032384 40421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2481] ppid=2477 vsize=1709016 CPUtime=0.19 /proc/2479/task/2481/stat : 2481 (java) S 2477 2479 2430 0 -1 64 1975 0 0 0 17 2 0 0 16 0 12 0 158891397 1750032384 40421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2482] ppid=2477 vsize=1709016 CPUtime=0.02 /proc/2479/task/2482/stat : 2482 (java) S 2477 2479 2430 0 -1 64 35 0 0 0 1 1 0 0 16 0 12 0 158891400 1750032384 40421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2483] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2483/stat : 2483 (java) S 2477 2479 2430 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 158891400 1750032384 40421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2484] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2484/stat : 2484 (java) S 2477 2479 2430 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158891400 1750032384 40421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2485] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2485/stat : 2485 (java) S 2477 2479 2430 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158891404 1750032384 40421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2486] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2486/stat : 2486 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158891404 1750032384 40421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2487] ppid=2477 vsize=1709016 CPUtime=0.34 /proc/2479/task/2487/stat : 2487 (java) S 2477 2479 2430 0 -1 64 779 0 0 0 34 0 0 0 16 0 12 0 158891404 1750032384 40421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2488] ppid=2477 vsize=1709016 CPUtime=0.25 /proc/2479/task/2488/stat : 2488 (java) S 2477 2479 2430 0 -1 64 212 0 0 0 25 0 0 0 16 0 12 0 158891404 1750032384 40421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2489] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2489/stat : 2489 (java) S 2477 2479 2430 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158891404 1750032384 40421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2490] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2490/stat : 2490 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158891404 1750032384 40421 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 40.72 Current children cumulated vsize (Kb) 1709016 [startup+50.0351 s] /proc/loadavg: 0.96 0.96 0.98 2/75 2490 /proc/meminfo: memFree=1192192/2055920 swapFree=4184148/4192956 [pid=2479] ppid=2477 vsize=1709016 CPUtime=50.77 /proc/2479/stat : 2479 (java) R 2477 2479 2430 0 -1 0 45991 0 1 0 5052 25 0 0 25 0 12 0 158891393 1750032384 40492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071437222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2479/statm: 427254 40492 1873 14 0 414001 0 [pid=2479/tid=2480] ppid=2477 vsize=1709016 CPUtime=0.25 /proc/2479/task/2480/stat : 2480 (java) S 2477 2479 2430 0 -1 64 2256 0 0 0 23 2 0 0 16 0 12 0 158891397 1750032384 40492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2481] ppid=2477 vsize=1709016 CPUtime=0.26 /proc/2479/task/2481/stat : 2481 (java) S 2477 2479 2430 0 -1 64 2281 0 0 0 24 2 0 0 15 0 12 0 158891397 1750032384 40492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2482] ppid=2477 vsize=1709016 CPUtime=0.04 /proc/2479/task/2482/stat : 2482 (java) S 2477 2479 2430 0 -1 64 35 0 0 0 2 2 0 0 16 0 12 0 158891400 1750032384 40492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2483] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2483/stat : 2483 (java) S 2477 2479 2430 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 158891400 1750032384 40492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2484] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2484/stat : 2484 (java) S 2477 2479 2430 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158891400 1750032384 40492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2485] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2485/stat : 2485 (java) S 2477 2479 2430 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158891404 1750032384 40492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2486] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2486/stat : 2486 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158891404 1750032384 40492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2487] ppid=2477 vsize=1709016 CPUtime=0.34 /proc/2479/task/2487/stat : 2487 (java) S 2477 2479 2430 0 -1 64 779 0 0 0 34 0 0 0 16 0 12 0 158891404 1750032384 40492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2488] ppid=2477 vsize=1709016 CPUtime=0.25 /proc/2479/task/2488/stat : 2488 (java) S 2477 2479 2430 0 -1 64 212 0 0 0 25 0 0 0 16 0 12 0 158891404 1750032384 40492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2489] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2489/stat : 2489 (java) S 2477 2479 2430 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158891404 1750032384 40492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2490] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2490/stat : 2490 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158891404 1750032384 40492 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.77 Current children cumulated vsize (Kb) 1709016 [startup+60.0411 s] /proc/loadavg: 0.97 0.96 0.98 2/75 2490 /proc/meminfo: memFree=1190784/2055920 swapFree=4184148/4192956 [pid=2479] ppid=2477 vsize=1709016 CPUtime=60.85 /proc/2479/stat : 2479 (java) R 2477 2479 2430 0 -1 0 46414 0 1 0 6059 26 0 0 17 0 12 0 158891393 1750032384 40851 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152006750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2479/statm: 427254 40851 1873 14 0 414001 0 [pid=2479/tid=2480] ppid=2477 vsize=1709016 CPUtime=0.31 /proc/2479/task/2480/stat : 2480 (java) S 2477 2479 2430 0 -1 64 2474 0 0 0 29 2 0 0 16 0 12 0 158891397 1750032384 40851 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2481] ppid=2477 vsize=1709016 CPUtime=0.33 /proc/2479/task/2481/stat : 2481 (java) S 2477 2479 2430 0 -1 64 2439 0 0 0 31 2 0 0 16 0 12 0 158891397 1750032384 40851 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2482] ppid=2477 vsize=1709016 CPUtime=0.05 /proc/2479/task/2482/stat : 2482 (java) S 2477 2479 2430 0 -1 64 35 0 0 0 2 3 0 0 15 0 12 0 158891400 1750032384 40851 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2483] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2483/stat : 2483 (java) S 2477 2479 2430 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 158891400 1750032384 40851 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2484] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2484/stat : 2484 (java) S 2477 2479 2430 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 158891400 1750032384 40851 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2485] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2485/stat : 2485 (java) S 2477 2479 2430 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158891404 1750032384 40851 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2486] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2486/stat : 2486 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158891404 1750032384 40851 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2487] ppid=2477 vsize=1709016 CPUtime=0.34 /proc/2479/task/2487/stat : 2487 (java) S 2477 2479 2430 0 -1 64 779 0 0 0 34 0 0 0 16 0 12 0 158891404 1750032384 40851 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2488] ppid=2477 vsize=1709016 CPUtime=0.25 /proc/2479/task/2488/stat : 2488 (java) S 2477 2479 2430 0 -1 64 212 0 0 0 25 0 0 0 16 0 12 0 158891404 1750032384 40851 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2489] ppid=2477 vsize=1709016 CPUtime=0 /proc/2479/task/2489/stat : 2489 (java) S 2477 2479 2430 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158891404 1750032384 40851 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2490] ppid=2477 vsize=1709016 CPUtime=0 ################ # More data... # ################ /proc/2479/task/2483/stat : 2483 (java) S 2477 2479 2430 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158891400 1758105600 389307 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2484] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2484/stat : 2484 (java) S 2477 2479 2430 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158891400 1758105600 389307 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2485] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2485/stat : 2485 (java) S 2477 2479 2430 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158891404 1758105600 389307 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2486] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2486/stat : 2486 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 158891404 1758105600 389307 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2487] ppid=2477 vsize=1716900 CPUtime=1.06 /proc/2479/task/2487/stat : 2487 (java) S 2477 2479 2430 0 -1 64 2056 0 0 0 105 1 0 0 17 0 13 0 158891404 1758105600 389307 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2488] ppid=2477 vsize=1716900 CPUtime=1.43 /proc/2479/task/2488/stat : 2488 (java) S 2477 2479 2430 0 -1 64 5431 0 0 0 141 2 0 0 17 0 13 0 158891404 1758105600 389307 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2489] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2489/stat : 2489 (java) S 2477 2479 2430 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158891404 1758105600 389307 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2490] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2490/stat : 2490 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158891404 1758105600 389307 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2491] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2491/stat : 2491 (java) S 2477 2479 2430 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158903309 1758105600 389307 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.12 Current children cumulated vsize (Kb) 1716900 [startup+1754.34 s] /proc/loadavg: 1.06 1.03 1.01 2/76 2689 /proc/meminfo: memFree=21048/2055920 swapFree=4184176/4192956 [pid=2479] ppid=2477 vsize=1716900 CPUtime=1797.13 /proc/2479/stat : 2479 (java) R 2477 2479 2430 0 -1 0 680206 0 1 0 178938 775 0 0 23 0 13 0 158891393 1758105600 389310 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071493499 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2479/statm: 429225 389310 1908 14 0 415972 0 [pid=2479/tid=2480] ppid=2477 vsize=1716900 CPUtime=42.09 /proc/2479/task/2480/stat : 2480 (java) S 2477 2479 2430 0 -1 64 271042 0 0 0 3885 324 0 0 16 0 13 0 158891397 1758105600 389310 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2481] ppid=2477 vsize=1716900 CPUtime=42 /proc/2479/task/2481/stat : 2481 (java) S 2477 2479 2430 0 -1 64 295169 0 0 0 3863 337 0 0 16 0 13 0 158891397 1758105600 389310 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2482] ppid=2477 vsize=1716900 CPUtime=4.31 /proc/2479/task/2482/stat : 2482 (java) S 2477 2479 2430 0 -1 64 1436 0 0 0 377 54 0 0 16 0 13 0 158891400 1758105600 389310 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2483] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2483/stat : 2483 (java) S 2477 2479 2430 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158891400 1758105600 389310 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2484] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2484/stat : 2484 (java) S 2477 2479 2430 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158891400 1758105600 389310 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2485] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2485/stat : 2485 (java) S 2477 2479 2430 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158891404 1758105600 389310 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2486] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2486/stat : 2486 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 158891404 1758105600 389310 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2487] ppid=2477 vsize=1716900 CPUtime=1.06 /proc/2479/task/2487/stat : 2487 (java) S 2477 2479 2430 0 -1 64 2056 0 0 0 105 1 0 0 17 0 13 0 158891404 1758105600 389310 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2488] ppid=2477 vsize=1716900 CPUtime=1.43 /proc/2479/task/2488/stat : 2488 (java) S 2477 2479 2430 0 -1 64 5431 0 0 0 141 2 0 0 17 0 13 0 158891404 1758105600 389310 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2489] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2489/stat : 2489 (java) S 2477 2479 2430 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158891404 1758105600 389310 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2490] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2490/stat : 2490 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158891404 1758105600 389310 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2491] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2491/stat : 2491 (java) S 2477 2479 2430 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158903309 1758105600 389310 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (Kb) 1716900 [startup+1755.35 s] /proc/loadavg: 1.06 1.03 1.01 2/76 2689 /proc/meminfo: memFree=21048/2055920 swapFree=4184176/4192956 [pid=2479] ppid=2477 vsize=1716900 CPUtime=1798.15 /proc/2479/stat : 2479 (java) R 2477 2479 2430 0 -1 0 680211 0 1 0 179040 775 0 0 25 0 13 0 158891393 1758105600 389313 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071493671 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2479/statm: 429225 389313 1908 14 0 415972 0 [pid=2479/tid=2480] ppid=2477 vsize=1716900 CPUtime=42.11 /proc/2479/task/2480/stat : 2480 (java) S 2477 2479 2430 0 -1 64 271045 0 0 0 3887 324 0 0 16 0 13 0 158891397 1758105600 389313 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2481] ppid=2477 vsize=1716900 CPUtime=42.01 /proc/2479/task/2481/stat : 2481 (java) S 2477 2479 2430 0 -1 64 295169 0 0 0 3864 337 0 0 16 0 13 0 158891397 1758105600 389313 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2482] ppid=2477 vsize=1716900 CPUtime=4.31 /proc/2479/task/2482/stat : 2482 (java) S 2477 2479 2430 0 -1 64 1436 0 0 0 377 54 0 0 16 0 13 0 158891400 1758105600 389313 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2483] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2483/stat : 2483 (java) S 2477 2479 2430 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158891400 1758105600 389313 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2484] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2484/stat : 2484 (java) S 2477 2479 2430 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158891400 1758105600 389313 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2485] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2485/stat : 2485 (java) S 2477 2479 2430 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158891404 1758105600 389313 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2486] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2486/stat : 2486 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 158891404 1758105600 389313 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2487] ppid=2477 vsize=1716900 CPUtime=1.06 /proc/2479/task/2487/stat : 2487 (java) S 2477 2479 2430 0 -1 64 2056 0 0 0 105 1 0 0 17 0 13 0 158891404 1758105600 389313 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2488] ppid=2477 vsize=1716900 CPUtime=1.43 /proc/2479/task/2488/stat : 2488 (java) S 2477 2479 2430 0 -1 64 5431 0 0 0 141 2 0 0 17 0 13 0 158891404 1758105600 389313 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2489] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2489/stat : 2489 (java) S 2477 2479 2430 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158891404 1758105600 389313 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2490] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2490/stat : 2490 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158891404 1758105600 389313 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2491] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2491/stat : 2491 (java) S 2477 2479 2430 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158903309 1758105600 389313 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.15 Current children cumulated vsize (Kb) 1716900 [startup+1756.36 s] /proc/loadavg: 1.06 1.03 1.01 2/76 2689 /proc/meminfo: memFree=20984/2055920 swapFree=4184176/4192956 [pid=2479] ppid=2477 vsize=1716900 CPUtime=1799.16 /proc/2479/stat : 2479 (java) R 2477 2479 2430 0 -1 0 680267 0 1 0 179141 775 0 0 23 0 13 0 158891393 1758105600 389367 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071493100 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2479/statm: 429225 389367 1908 14 0 415972 0 [pid=2479/tid=2480] ppid=2477 vsize=1716900 CPUtime=42.12 /proc/2479/task/2480/stat : 2480 (java) S 2477 2479 2430 0 -1 64 271049 0 0 0 3888 324 0 0 16 0 13 0 158891397 1758105600 389367 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2481] ppid=2477 vsize=1716900 CPUtime=42.02 /proc/2479/task/2481/stat : 2481 (java) S 2477 2479 2430 0 -1 64 295171 0 0 0 3865 337 0 0 16 0 13 0 158891397 1758105600 389367 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2482] ppid=2477 vsize=1716900 CPUtime=4.31 /proc/2479/task/2482/stat : 2482 (java) S 2477 2479 2430 0 -1 64 1436 0 0 0 377 54 0 0 16 0 13 0 158891400 1758105600 389367 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2483] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2483/stat : 2483 (java) S 2477 2479 2430 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158891400 1758105600 389367 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2484] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2484/stat : 2484 (java) S 2477 2479 2430 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158891400 1758105600 389367 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2485] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2485/stat : 2485 (java) S 2477 2479 2430 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158891404 1758105600 389367 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2486] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2486/stat : 2486 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 158891404 1758105600 389367 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2487] ppid=2477 vsize=1716900 CPUtime=1.06 /proc/2479/task/2487/stat : 2487 (java) S 2477 2479 2430 0 -1 64 2056 0 0 0 105 1 0 0 17 0 13 0 158891404 1758105600 389367 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2488] ppid=2477 vsize=1716900 CPUtime=1.43 /proc/2479/task/2488/stat : 2488 (java) S 2477 2479 2430 0 -1 64 5431 0 0 0 141 2 0 0 17 0 13 0 158891404 1758105600 389367 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2489] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2489/stat : 2489 (java) S 2477 2479 2430 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158891404 1758105600 389367 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2490] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2490/stat : 2490 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158891404 1758105600 389367 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2491] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2491/stat : 2491 (java) S 2477 2479 2430 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158903309 1758105600 389367 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.16 Current children cumulated vsize (Kb) 1716900 [startup+1757.36 s] /proc/loadavg: 1.06 1.03 1.01 2/76 2689 /proc/meminfo: memFree=20088/2055920 swapFree=4184176/4192956 [pid=2479] ppid=2477 vsize=1716900 CPUtime=1800.19 /proc/2479/stat : 2479 (java) R 2477 2479 2430 0 -1 0 680510 0 1 0 179243 776 0 0 18 0 13 0 158891393 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071493527 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2479/statm: 429225 389608 1908 14 0 415972 0 [pid=2479/tid=2480] ppid=2477 vsize=1716900 CPUtime=42.13 /proc/2479/task/2480/stat : 2480 (java) S 2477 2479 2430 0 -1 64 271052 0 0 0 3889 324 0 0 16 0 13 0 158891397 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2481] ppid=2477 vsize=1716900 CPUtime=42.03 /proc/2479/task/2481/stat : 2481 (java) S 2477 2479 2430 0 -1 64 295175 0 0 0 3866 337 0 0 16 0 13 0 158891397 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2482] ppid=2477 vsize=1716900 CPUtime=4.31 /proc/2479/task/2482/stat : 2482 (java) S 2477 2479 2430 0 -1 64 1436 0 0 0 377 54 0 0 16 0 13 0 158891400 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2483] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2483/stat : 2483 (java) S 2477 2479 2430 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158891400 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2484] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2484/stat : 2484 (java) S 2477 2479 2430 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158891400 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2485] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2485/stat : 2485 (java) S 2477 2479 2430 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158891404 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2486] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2486/stat : 2486 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 158891404 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2487] ppid=2477 vsize=1716900 CPUtime=1.06 /proc/2479/task/2487/stat : 2487 (java) S 2477 2479 2430 0 -1 64 2056 0 0 0 105 1 0 0 17 0 13 0 158891404 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2488] ppid=2477 vsize=1716900 CPUtime=1.43 /proc/2479/task/2488/stat : 2488 (java) S 2477 2479 2430 0 -1 64 5431 0 0 0 141 2 0 0 17 0 13 0 158891404 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2489] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2489/stat : 2489 (java) S 2477 2479 2430 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158891404 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2490] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2490/stat : 2490 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158891404 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2491] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2491/stat : 2491 (java) S 2477 2479 2430 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158903309 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (Kb) 1716900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1757.37 s] /proc/loadavg: 1.06 1.03 1.01 2/76 2689 /proc/meminfo: memFree=20088/2055920 swapFree=4184176/4192956 [pid=2479] ppid=2477 vsize=1716900 CPUtime=1800.19 /proc/2479/stat : 2479 (java) R 2477 2479 2430 0 -1 0 680510 0 1 0 179243 776 0 0 18 0 13 0 158891393 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071493584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2479/statm: 429225 389608 1908 14 0 415972 0 [pid=2479/tid=2480] ppid=2477 vsize=1716900 CPUtime=42.13 /proc/2479/task/2480/stat : 2480 (java) S 2477 2479 2430 0 -1 64 271052 0 0 0 3889 324 0 0 16 0 13 0 158891397 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2481] ppid=2477 vsize=1716900 CPUtime=42.03 /proc/2479/task/2481/stat : 2481 (java) S 2477 2479 2430 0 -1 64 295175 0 0 0 3866 337 0 0 16 0 13 0 158891397 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2482] ppid=2477 vsize=1716900 CPUtime=4.31 /proc/2479/task/2482/stat : 2482 (java) S 2477 2479 2430 0 -1 64 1436 0 0 0 377 54 0 0 16 0 13 0 158891400 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2483] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2483/stat : 2483 (java) S 2477 2479 2430 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158891400 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2484] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2484/stat : 2484 (java) S 2477 2479 2430 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158891400 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2485] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2485/stat : 2485 (java) S 2477 2479 2430 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158891404 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2486] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2486/stat : 2486 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 158891404 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2487] ppid=2477 vsize=1716900 CPUtime=1.06 /proc/2479/task/2487/stat : 2487 (java) S 2477 2479 2430 0 -1 64 2056 0 0 0 105 1 0 0 17 0 13 0 158891404 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2488] ppid=2477 vsize=1716900 CPUtime=1.43 /proc/2479/task/2488/stat : 2488 (java) S 2477 2479 2430 0 -1 64 5431 0 0 0 141 2 0 0 17 0 13 0 158891404 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2489] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2489/stat : 2489 (java) S 2477 2479 2430 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158891404 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2479/tid=2490] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2490/stat : 2490 (java) S 2477 2479 2430 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158891404 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2479/tid=2491] ppid=2477 vsize=1716900 CPUtime=0 /proc/2479/task/2491/stat : 2491 (java) S 2477 2479 2430 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158903309 1758105600 389608 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (Kb) 1716900 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1757.67 CPU time (s): 1800.49 CPU user time (s): 1792.49 CPU system time (s): 8.00378 CPU usage (%): 102.436 Max. virtual memory (cumulated for all children) (Kb): 1718972 The end
Begin job on node60 on Fri Jul 28 20:56:56 UTC 2006 FILE ID= 50967-1154120215 PBS_JOBID= 886915 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node60/50967-1154120215/instance-50967-1154120215.opb 570585543 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-50967-1154120215 -o ROOT/results/node60/solver-50967-1154120215 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node60/50967-1154120215/instance-50967-1154120215.opb 570585543 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 7d90035947bf106909c324d346feadc0 RANDOM SEED= 570585543 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.231 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.231 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: 1347104 kB Buffers: 33128 kB Cached: 600980 kB SwapCached: 2576 kB Active: 64808 kB Inactive: 577884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1347104 kB SwapTotal: 4192956 kB SwapFree: 4184148 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14584 kB Slab: 52204 kB Committed_AS: 1138308 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node60 on Fri Jul 28 21:26:14 UTC 2006