Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.32 | 1786.43 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_18.opb |
MD5SUM | de4cbecd7c9968d40b279ce145b888a9 |
Bench Category | OPT-SMALLINT (optimisation, small 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 | 8883 |
Total number of constraints | 17459 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 17459 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2691 |
Number of bits of the biggest sum of numbers | 12 |
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.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node39/46638-1154066663/instance-46638-1154066663.opb 0.20 c reading problem ... 9.73 c ... done. Time 9.524 ms. 9.73 c #vars 8883 9.73 c #constraints 17459 1786.33 c starts : 13 1786.33 c conflicts : 30654 1786.33 c decisions : 51348 1786.33 c propagations : 7587187 1786.33 c inspects : 349934878 1786.33 c learnt literals : 0 1786.33 c learnt binary clauses : 1 1786.33 c learnt ternary clauses : 0 1786.33 c learnt clauses : 30654 1786.33 c root simplifications : 0 1786.33 c removed literals (reason simplification) : 0 1786.33 c reason swapping (by a shorter reason) : 0 1786.33 c Calls to reduceDB : 0 1786.33 c speed (decisions/second) : 28.902739478514608 1786.33 c non guided choices 8734 1786.33 s UNKNOWN 1786.33 c Total wall clock time (ms): 1786.13
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/node39/watcher-46638-1154066663 -o ROOT/results/node39/solver-46638-1154066663 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node39/46638-1154066663/instance-46638-1154066663.opb 832121088 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.99 3/64 22477 /proc/meminfo: memFree=1519840/2055920 swapFree=4183200/4192956 [pid=22477] ppid=22475 vsize=1592 CPUtime=0 /proc/22477/stat : 22477 (java) D 22475 22477 22428 0 -1 0 132 0 0 0 0 0 0 0 19 0 1 0 153537467 1630208 103 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/22477/statm: 398 103 82 14 0 43 0 [startup+10.0018 s] /proc/loadavg: 1.14 1.00 1.00 3/76 22489 /proc/meminfo: memFree=1289608/2055920 swapFree=4183200/4192956 [pid=22477] ppid=22475 vsize=1716716 CPUtime=11.61 /proc/22477/stat : 22477 (java) R 22475 22477 22428 0 -1 0 64381 0 1 0 1130 31 0 0 22 0 13 0 153537467 1757917184 59347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071049801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22477/statm: 429179 59347 1899 14 0 415926 0 [pid=22477/tid=22478] ppid=22475 vsize=1716716 CPUtime=0.65 /proc/22477/task/22478/stat : 22478 (java) S 22475 22477 22428 0 -1 64 11012 0 0 0 61 4 0 0 16 0 13 0 153537470 1757917184 59347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22479] ppid=22475 vsize=1716716 CPUtime=0.65 /proc/22477/task/22479/stat : 22479 (java) S 22475 22477 22428 0 -1 64 11948 0 0 0 59 6 0 0 16 0 13 0 153537470 1757917184 59347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22480] ppid=22475 vsize=1716716 CPUtime=0 /proc/22477/task/22480/stat : 22480 (java) S 22475 22477 22428 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 153537473 1757917184 59347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22481] ppid=22475 vsize=1716716 CPUtime=0 /proc/22477/task/22481/stat : 22481 (java) S 22475 22477 22428 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153537473 1757917184 59347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22482] ppid=22475 vsize=1716716 CPUtime=0 /proc/22477/task/22482/stat : 22482 (java) S 22475 22477 22428 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153537473 1757917184 59347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22483] ppid=22475 vsize=1716716 CPUtime=0 /proc/22477/task/22483/stat : 22483 (java) S 22475 22477 22428 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153537477 1757917184 59347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22484] ppid=22475 vsize=1716716 CPUtime=0 /proc/22477/task/22484/stat : 22484 (java) S 22475 22477 22428 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 153537477 1757917184 59347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22485] ppid=22475 vsize=1716716 CPUtime=0.53 /proc/22477/task/22485/stat : 22485 (java) S 22475 22477 22428 0 -1 64 1151 0 0 0 53 0 0 0 16 0 13 0 153537477 1757917184 59347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22486] ppid=22475 vsize=1716716 CPUtime=0.78 /proc/22477/task/22486/stat : 22486 (java) R 22475 22477 22428 0 -1 64 3694 0 0 0 77 1 0 0 18 0 13 0 153537477 1757917184 59347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152677512 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22487] ppid=22475 vsize=1716716 CPUtime=0 /proc/22477/task/22487/stat : 22487 (java) S 22475 22477 22428 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153537477 1757917184 59347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22488] ppid=22475 vsize=1716716 CPUtime=0 /proc/22477/task/22488/stat : 22488 (java) S 22475 22477 22428 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153537477 1757917184 59347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22489] ppid=22475 vsize=1716716 CPUtime=0 /proc/22477/task/22489/stat : 22489 (java) S 22475 22477 22428 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 153538443 1757917184 59347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.61 Current children cumulated vsize (Kb) 1716716 [startup+20.0087 s] /proc/loadavg: 1.12 1.00 1.00 2/76 22489 /proc/meminfo: memFree=1284488/2055920 swapFree=4183200/4192956 [pid=22477] ppid=22475 vsize=1715536 CPUtime=22.19 /proc/22477/stat : 22477 (java) R 22475 22477 22428 0 -1 0 66173 0 1 0 2186 33 0 0 25 0 13 0 153537467 1756708864 60660 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071442858 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22477/statm: 428884 60660 1908 14 0 415631 0 [pid=22477/tid=22478] ppid=22475 vsize=1715536 CPUtime=0.73 /proc/22477/task/22478/stat : 22478 (java) S 22475 22477 22428 0 -1 64 12040 0 0 0 68 5 0 0 16 0 13 0 153537470 1756708864 60660 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22479] ppid=22475 vsize=1715536 CPUtime=0.72 /proc/22477/task/22479/stat : 22479 (java) S 22475 22477 22428 0 -1 64 12514 0 0 0 66 6 0 0 16 0 13 0 153537470 1756708864 60660 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22480] ppid=22475 vsize=1715536 CPUtime=0 /proc/22477/task/22480/stat : 22480 (java) S 22475 22477 22428 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 153537473 1756708864 60660 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22481] ppid=22475 vsize=1715536 CPUtime=0 /proc/22477/task/22481/stat : 22481 (java) S 22475 22477 22428 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153537473 1756708864 60660 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22482] ppid=22475 vsize=1715536 CPUtime=0 /proc/22477/task/22482/stat : 22482 (java) S 22475 22477 22428 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153537473 1756708864 60660 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22483] ppid=22475 vsize=1715536 CPUtime=0 /proc/22477/task/22483/stat : 22483 (java) S 22475 22477 22428 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153537477 1756708864 60660 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22484] ppid=22475 vsize=1715536 CPUtime=0 /proc/22477/task/22484/stat : 22484 (java) S 22475 22477 22428 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 153537477 1756708864 60660 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22485] ppid=22475 vsize=1715536 CPUtime=0.77 /proc/22477/task/22485/stat : 22485 (java) S 22475 22477 22428 0 -1 64 1288 0 0 0 77 0 0 0 16 0 13 0 153537477 1756708864 60660 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22486] ppid=22475 vsize=1715536 CPUtime=1.15 /proc/22477/task/22486/stat : 22486 (java) S 22475 22477 22428 0 -1 64 3726 0 0 0 114 1 0 0 15 0 13 0 153537477 1756708864 60660 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22487] ppid=22475 vsize=1715536 CPUtime=0 /proc/22477/task/22487/stat : 22487 (java) S 22475 22477 22428 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153537477 1756708864 60660 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22488] ppid=22475 vsize=1715536 CPUtime=0 /proc/22477/task/22488/stat : 22488 (java) S 22475 22477 22428 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153537477 1756708864 60660 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22489] ppid=22475 vsize=1715536 CPUtime=0 /proc/22477/task/22489/stat : 22489 (java) S 22475 22477 22428 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 153538443 1756708864 60660 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 22.19 Current children cumulated vsize (Kb) 1715536 [startup+30.0156 s] /proc/loadavg: 1.17 1.02 1.00 2/76 22489 /proc/meminfo: memFree=1283080/2055920 swapFree=4183200/4192956 [pid=22477] ppid=22475 vsize=1717584 CPUtime=32.47 /proc/22477/stat : 22477 (java) R 22475 22477 22428 0 -1 0 68511 0 1 0 3214 33 0 0 20 0 13 0 153537467 1758806016 60983 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071587183 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22477/statm: 429396 60983 1909 14 0 416143 0 [pid=22477/tid=22478] ppid=22475 vsize=1717584 CPUtime=0.77 /proc/22477/task/22478/stat : 22478 (java) S 22475 22477 22428 0 -1 64 12126 0 0 0 72 5 0 0 16 0 13 0 153537470 1758806016 60983 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22479] ppid=22475 vsize=1717584 CPUtime=0.76 /proc/22477/task/22479/stat : 22479 (java) S 22475 22477 22428 0 -1 64 12586 0 0 0 70 6 0 0 16 0 13 0 153537470 1758806016 60983 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22480] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22480/stat : 22480 (java) S 22475 22477 22428 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 60983 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22481] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22481/stat : 22481 (java) S 22475 22477 22428 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 60983 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22482] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22482/stat : 22482 (java) S 22475 22477 22428 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 60983 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22483] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22483/stat : 22483 (java) S 22475 22477 22428 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153537477 1758806016 60983 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22484] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22484/stat : 22484 (java) S 22475 22477 22428 0 -1 64 15 0 0 0 0 0 0 0 17 0 13 0 153537477 1758806016 60983 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22485] ppid=22475 vsize=1717584 CPUtime=0.96 /proc/22477/task/22485/stat : 22485 (java) S 22475 22477 22428 0 -1 64 3451 0 0 0 95 1 0 0 16 0 13 0 153537477 1758806016 60983 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22486] ppid=22475 vsize=1717584 CPUtime=1.21 /proc/22477/task/22486/stat : 22486 (java) S 22475 22477 22428 0 -1 64 3735 0 0 0 120 1 0 0 16 0 13 0 153537477 1758806016 60983 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22487] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22487/stat : 22487 (java) S 22475 22477 22428 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153537477 1758806016 60983 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22488] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22488/stat : 22488 (java) S 22475 22477 22428 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153537477 1758806016 60983 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22489] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22489/stat : 22489 (java) S 22475 22477 22428 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 153538443 1758806016 60983 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.47 Current children cumulated vsize (Kb) 1717584 [startup+40.0226 s] /proc/loadavg: 1.15 1.02 1.00 2/76 22489 /proc/meminfo: memFree=1292680/2055920 swapFree=4183200/4192956 [pid=22477] ppid=22475 vsize=1717584 CPUtime=42.56 /proc/22477/stat : 22477 (java) R 22475 22477 22428 0 -1 0 68665 0 1 0 4222 34 0 0 25 0 13 0 153537467 1758806016 58588 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071624584 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22477/statm: 429396 58588 1909 14 0 416143 0 [pid=22477/tid=22478] ppid=22475 vsize=1717584 CPUtime=0.81 /proc/22477/task/22478/stat : 22478 (java) S 22475 22477 22428 0 -1 64 12248 0 0 0 76 5 0 0 16 0 13 0 153537470 1758806016 58588 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22479] ppid=22475 vsize=1717584 CPUtime=0.8 /proc/22477/task/22479/stat : 22479 (java) S 22475 22477 22428 0 -1 64 12610 0 0 0 74 6 0 0 17 0 13 0 153537470 1758806016 58588 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22480] ppid=22475 vsize=1717584 CPUtime=0.01 /proc/22477/task/22480/stat : 22480 (java) S 22475 22477 22428 0 -1 64 20 0 0 0 1 0 0 0 16 0 13 0 153537473 1758806016 58588 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22481] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22481/stat : 22481 (java) S 22475 22477 22428 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 58588 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22482] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22482/stat : 22482 (java) S 22475 22477 22428 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 58588 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22483] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22483/stat : 22483 (java) S 22475 22477 22428 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153537477 1758806016 58588 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22484] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22484/stat : 22484 (java) S 22475 22477 22428 0 -1 64 15 0 0 0 0 0 0 0 17 0 13 0 153537477 1758806016 58588 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22485] ppid=22475 vsize=1717584 CPUtime=0.97 /proc/22477/task/22485/stat : 22485 (java) S 22475 22477 22428 0 -1 64 3451 0 0 0 96 1 0 0 16 0 13 0 153537477 1758806016 58588 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22486] ppid=22475 vsize=1717584 CPUtime=1.24 /proc/22477/task/22486/stat : 22486 (java) S 22475 22477 22428 0 -1 64 3737 0 0 0 123 1 0 0 16 0 13 0 153537477 1758806016 58588 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22487] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22487/stat : 22487 (java) S 22475 22477 22428 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153537477 1758806016 58588 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22488] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22488/stat : 22488 (java) S 22475 22477 22428 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153537477 1758806016 58588 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22489] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22489/stat : 22489 (java) S 22475 22477 22428 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153538443 1758806016 58588 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.56 Current children cumulated vsize (Kb) 1717584 [startup+50.0305 s] /proc/loadavg: 1.12 1.02 1.00 2/76 22489 /proc/meminfo: memFree=1303752/2055920 swapFree=4183200/4192956 [pid=22477] ppid=22475 vsize=1717584 CPUtime=52.62 /proc/22477/stat : 22477 (java) R 22475 22477 22428 0 -1 0 68793 0 1 0 5228 34 0 0 25 0 13 0 153537467 1758806016 55840 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071589774 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22477/statm: 429396 55840 1909 14 0 416143 0 [pid=22477/tid=22478] ppid=22475 vsize=1717584 CPUtime=0.86 /proc/22477/task/22478/stat : 22478 (java) S 22475 22477 22428 0 -1 64 12350 0 0 0 81 5 0 0 16 0 13 0 153537470 1758806016 55840 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22479] ppid=22475 vsize=1717584 CPUtime=0.86 /proc/22477/task/22479/stat : 22479 (java) S 22475 22477 22428 0 -1 64 12631 0 0 0 79 7 0 0 16 0 13 0 153537470 1758806016 55840 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22480] ppid=22475 vsize=1717584 CPUtime=0.01 /proc/22477/task/22480/stat : 22480 (java) S 22475 22477 22428 0 -1 64 20 0 0 0 1 0 0 0 16 0 13 0 153537473 1758806016 55840 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22481] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22481/stat : 22481 (java) S 22475 22477 22428 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 55840 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22482] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22482/stat : 22482 (java) S 22475 22477 22428 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 55840 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22483] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22483/stat : 22483 (java) S 22475 22477 22428 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153537477 1758806016 55840 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22484] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22484/stat : 22484 (java) S 22475 22477 22428 0 -1 64 15 0 0 0 0 0 0 0 17 0 13 0 153537477 1758806016 55840 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22485] ppid=22475 vsize=1717584 CPUtime=0.97 /proc/22477/task/22485/stat : 22485 (java) S 22475 22477 22428 0 -1 64 3451 0 0 0 96 1 0 0 16 0 13 0 153537477 1758806016 55840 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22486] ppid=22475 vsize=1717584 CPUtime=1.24 /proc/22477/task/22486/stat : 22486 (java) S 22475 22477 22428 0 -1 64 3737 0 0 0 123 1 0 0 16 0 13 0 153537477 1758806016 55840 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22487] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22487/stat : 22487 (java) S 22475 22477 22428 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153537477 1758806016 55840 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22488] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22488/stat : 22488 (java) S 22475 22477 22428 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153537477 1758806016 55840 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22489] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22489/stat : 22489 (java) S 22475 22477 22428 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153538443 1758806016 55840 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.62 Current children cumulated vsize (Kb) 1717584 [startup+60.0374 s] /proc/loadavg: 1.10 1.02 1.00 2/76 22489 /proc/meminfo: memFree=1312904/2055920 swapFree=4183200/4192956 [pid=22477] ppid=22475 vsize=1717584 CPUtime=62.7 /proc/22477/stat : 22477 (java) R 22475 22477 22428 0 -1 0 68924 0 1 0 6236 34 0 0 23 0 13 0 153537467 1758806016 53540 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071615192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22477/statm: 429396 53540 1909 14 0 416143 0 [pid=22477/tid=22478] ppid=22475 vsize=1717584 CPUtime=0.91 /proc/22477/task/22478/stat : 22478 (java) S 22475 22477 22428 0 -1 64 12412 0 0 0 86 5 0 0 16 0 13 0 153537470 1758806016 53540 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22479] ppid=22475 vsize=1717584 CPUtime=0.91 /proc/22477/task/22479/stat : 22479 (java) S 22475 22477 22428 0 -1 64 12694 0 0 0 84 7 0 0 16 0 13 0 153537470 1758806016 53540 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22480] ppid=22475 vsize=1717584 CPUtime=0.01 /proc/22477/task/22480/stat : 22480 (java) S 22475 22477 22428 0 -1 64 20 0 0 0 1 0 0 0 16 0 13 0 153537473 1758806016 53540 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22481] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22481/stat : 22481 (java) S 22475 22477 22428 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 53540 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22482] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22482/stat : 22482 (java) S 22475 22477 22428 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 53540 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22483] ppid=22475 vsize=1717584 CPUtime=0 ################ # More data... # ################ /proc/22477/task/22481/stat : 22481 (java) S 22475 22477 22428 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 93793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22482] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22482/stat : 22482 (java) S 22475 22477 22428 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 93793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22483] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22483/stat : 22483 (java) S 22475 22477 22428 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153537477 1758806016 93793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22484] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22484/stat : 22484 (java) S 22475 22477 22428 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 153537477 1758806016 93793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22485] ppid=22475 vsize=1717584 CPUtime=1.05 /proc/22477/task/22485/stat : 22485 (java) S 22475 22477 22428 0 -1 64 3461 0 0 0 104 1 0 0 16 0 13 0 153537477 1758806016 93793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22486] ppid=22475 vsize=1717584 CPUtime=1.26 /proc/22477/task/22486/stat : 22486 (java) S 22475 22477 22428 0 -1 64 3738 0 0 0 125 1 0 0 16 0 13 0 153537477 1758806016 93793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22487] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22487/stat : 22487 (java) S 22475 22477 22428 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153537477 1758806016 93793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22488] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22488/stat : 22488 (java) S 22475 22477 22428 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153537477 1758806016 93793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22489] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22489/stat : 22489 (java) S 22475 22477 22428 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 153538443 1758806016 93793 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (Kb) 1717584 [startup+1783.3 s] /proc/loadavg: 1.00 1.01 1.00 2/76 22489 /proc/meminfo: memFree=1148808/2055920 swapFree=4183200/4192956 [pid=22477] ppid=22475 vsize=1717584 CPUtime=1797.16 /proc/22477/stat : 22477 (java) R 22475 22477 22428 0 -1 0 171394 0 1 0 179617 99 0 0 24 0 13 0 153537467 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071614981 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22477/statm: 429396 94332 1909 14 0 416143 0 [pid=22477/tid=22478] ppid=22475 vsize=1717584 CPUtime=12.82 /proc/22477/task/22478/stat : 22478 (java) S 22475 22477 22428 0 -1 64 50017 0 0 0 1258 24 0 0 16 0 13 0 153537470 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22479] ppid=22475 vsize=1717584 CPUtime=12.79 /proc/22477/task/22479/stat : 22479 (java) S 22475 22477 22428 0 -1 64 47527 0 0 0 1254 25 0 0 16 0 13 0 153537470 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22480] ppid=22475 vsize=1717584 CPUtime=0.28 /proc/22477/task/22480/stat : 22480 (java) S 22475 22477 22428 0 -1 64 156 0 0 0 15 13 0 0 16 0 13 0 153537473 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22481] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22481/stat : 22481 (java) S 22475 22477 22428 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22482] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22482/stat : 22482 (java) S 22475 22477 22428 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22483] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22483/stat : 22483 (java) S 22475 22477 22428 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153537477 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22484] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22484/stat : 22484 (java) S 22475 22477 22428 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 153537477 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22485] ppid=22475 vsize=1717584 CPUtime=1.05 /proc/22477/task/22485/stat : 22485 (java) S 22475 22477 22428 0 -1 64 3461 0 0 0 104 1 0 0 16 0 13 0 153537477 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22486] ppid=22475 vsize=1717584 CPUtime=1.26 /proc/22477/task/22486/stat : 22486 (java) S 22475 22477 22428 0 -1 64 3738 0 0 0 125 1 0 0 16 0 13 0 153537477 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22487] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22487/stat : 22487 (java) S 22475 22477 22428 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153537477 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22488] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22488/stat : 22488 (java) S 22475 22477 22428 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153537477 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22489] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22489/stat : 22489 (java) S 22475 22477 22428 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 153538443 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.16 Current children cumulated vsize (Kb) 1717584 [startup+1784.31 s] /proc/loadavg: 1.00 1.01 1.00 2/76 22489 /proc/meminfo: memFree=1148808/2055920 swapFree=4183200/4192956 [pid=22477] ppid=22475 vsize=1717584 CPUtime=1798.17 /proc/22477/stat : 22477 (java) R 22475 22477 22428 0 -1 0 171394 0 1 0 179718 99 0 0 25 0 13 0 153537467 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071586965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22477/statm: 429396 94332 1909 14 0 416143 0 [pid=22477/tid=22478] ppid=22475 vsize=1717584 CPUtime=12.82 /proc/22477/task/22478/stat : 22478 (java) S 22475 22477 22428 0 -1 64 50017 0 0 0 1258 24 0 0 16 0 13 0 153537470 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22479] ppid=22475 vsize=1717584 CPUtime=12.79 /proc/22477/task/22479/stat : 22479 (java) S 22475 22477 22428 0 -1 64 47527 0 0 0 1254 25 0 0 16 0 13 0 153537470 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22480] ppid=22475 vsize=1717584 CPUtime=0.28 /proc/22477/task/22480/stat : 22480 (java) S 22475 22477 22428 0 -1 64 156 0 0 0 15 13 0 0 16 0 13 0 153537473 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22481] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22481/stat : 22481 (java) S 22475 22477 22428 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22482] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22482/stat : 22482 (java) S 22475 22477 22428 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22483] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22483/stat : 22483 (java) S 22475 22477 22428 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153537477 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22484] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22484/stat : 22484 (java) S 22475 22477 22428 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 153537477 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22485] ppid=22475 vsize=1717584 CPUtime=1.05 /proc/22477/task/22485/stat : 22485 (java) S 22475 22477 22428 0 -1 64 3461 0 0 0 104 1 0 0 16 0 13 0 153537477 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22486] ppid=22475 vsize=1717584 CPUtime=1.26 /proc/22477/task/22486/stat : 22486 (java) S 22475 22477 22428 0 -1 64 3738 0 0 0 125 1 0 0 16 0 13 0 153537477 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22487] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22487/stat : 22487 (java) S 22475 22477 22428 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153537477 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22488] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22488/stat : 22488 (java) S 22475 22477 22428 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153537477 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22489] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22489/stat : 22489 (java) S 22475 22477 22428 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 153538443 1758806016 94332 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.17 Current children cumulated vsize (Kb) 1717584 [startup+1785.31 s] /proc/loadavg: 1.00 1.01 1.00 2/76 22489 /proc/meminfo: memFree=1132040/2055920 swapFree=4183200/4192956 [pid=22477] ppid=22475 vsize=1717584 CPUtime=1799.2 /proc/22477/stat : 22477 (java) R 22475 22477 22428 0 -1 0 175600 0 1 0 179819 101 0 0 19 0 13 0 153537467 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071589733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22477/statm: 429396 98534 1909 14 0 416143 0 [pid=22477/tid=22478] ppid=22475 vsize=1717584 CPUtime=12.85 /proc/22477/task/22478/stat : 22478 (java) S 22475 22477 22428 0 -1 64 50330 0 0 0 1261 24 0 0 16 0 13 0 153537470 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22479] ppid=22475 vsize=1717584 CPUtime=12.81 /proc/22477/task/22479/stat : 22479 (java) S 22475 22477 22428 0 -1 64 47791 0 0 0 1256 25 0 0 16 0 13 0 153537470 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22480] ppid=22475 vsize=1717584 CPUtime=0.28 /proc/22477/task/22480/stat : 22480 (java) S 22475 22477 22428 0 -1 64 168 0 0 0 15 13 0 0 16 0 13 0 153537473 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22481] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22481/stat : 22481 (java) S 22475 22477 22428 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22482] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22482/stat : 22482 (java) S 22475 22477 22428 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22483] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22483/stat : 22483 (java) S 22475 22477 22428 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22484] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22484/stat : 22484 (java) S 22475 22477 22428 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22485] ppid=22475 vsize=1717584 CPUtime=1.05 /proc/22477/task/22485/stat : 22485 (java) S 22475 22477 22428 0 -1 64 3461 0 0 0 104 1 0 0 16 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22486] ppid=22475 vsize=1717584 CPUtime=1.26 /proc/22477/task/22486/stat : 22486 (java) S 22475 22477 22428 0 -1 64 3738 0 0 0 125 1 0 0 16 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22487] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22487/stat : 22487 (java) S 22475 22477 22428 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22488] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22488/stat : 22488 (java) S 22475 22477 22428 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22489] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22489/stat : 22489 (java) S 22475 22477 22428 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 153538443 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.2 Current children cumulated vsize (Kb) 1717584 [startup+1786.32 s] /proc/loadavg: 1.00 1.01 1.00 2/76 22489 /proc/meminfo: memFree=1132040/2055920 swapFree=4183200/4192956 [pid=22477] ppid=22475 vsize=1717584 CPUtime=1800.21 /proc/22477/stat : 22477 (java) R 22475 22477 22428 0 -1 0 175600 0 1 0 179920 101 0 0 25 0 13 0 153537467 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071588163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22477/statm: 429396 98534 1909 14 0 416143 0 [pid=22477/tid=22478] ppid=22475 vsize=1717584 CPUtime=12.85 /proc/22477/task/22478/stat : 22478 (java) S 22475 22477 22428 0 -1 64 50330 0 0 0 1261 24 0 0 16 0 13 0 153537470 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22479] ppid=22475 vsize=1717584 CPUtime=12.81 /proc/22477/task/22479/stat : 22479 (java) S 22475 22477 22428 0 -1 64 47791 0 0 0 1256 25 0 0 16 0 13 0 153537470 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22480] ppid=22475 vsize=1717584 CPUtime=0.28 /proc/22477/task/22480/stat : 22480 (java) S 22475 22477 22428 0 -1 64 168 0 0 0 15 13 0 0 16 0 13 0 153537473 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22481] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22481/stat : 22481 (java) S 22475 22477 22428 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22482] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22482/stat : 22482 (java) S 22475 22477 22428 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22483] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22483/stat : 22483 (java) S 22475 22477 22428 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22484] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22484/stat : 22484 (java) S 22475 22477 22428 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22485] ppid=22475 vsize=1717584 CPUtime=1.05 /proc/22477/task/22485/stat : 22485 (java) S 22475 22477 22428 0 -1 64 3461 0 0 0 104 1 0 0 16 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22486] ppid=22475 vsize=1717584 CPUtime=1.26 /proc/22477/task/22486/stat : 22486 (java) S 22475 22477 22428 0 -1 64 3738 0 0 0 125 1 0 0 16 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22487] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22487/stat : 22487 (java) S 22475 22477 22428 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22488] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22488/stat : 22488 (java) S 22475 22477 22428 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22489] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22489/stat : 22489 (java) S 22475 22477 22428 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 153538443 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (Kb) 1717584 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.33 s] /proc/loadavg: 1.00 1.01 1.00 3/76 22489 /proc/meminfo: memFree=1132040/2055920 swapFree=4183200/4192956 [pid=22477] ppid=22475 vsize=1717584 CPUtime=1800.21 /proc/22477/stat : 22477 (java) R 22475 22477 22428 0 -1 0 175600 0 1 0 179920 101 0 0 25 0 13 0 153537467 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071586965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22477/statm: 429396 98534 1909 14 0 416143 0 [pid=22477/tid=22478] ppid=22475 vsize=1717584 CPUtime=12.85 /proc/22477/task/22478/stat : 22478 (java) S 22475 22477 22428 0 -1 64 50330 0 0 0 1261 24 0 0 16 0 13 0 153537470 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22479] ppid=22475 vsize=1717584 CPUtime=12.81 /proc/22477/task/22479/stat : 22479 (java) S 22475 22477 22428 0 -1 64 47791 0 0 0 1256 25 0 0 16 0 13 0 153537470 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22480] ppid=22475 vsize=1717584 CPUtime=0.28 /proc/22477/task/22480/stat : 22480 (java) S 22475 22477 22428 0 -1 64 168 0 0 0 15 13 0 0 16 0 13 0 153537473 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22481] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22481/stat : 22481 (java) S 22475 22477 22428 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22482] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22482/stat : 22482 (java) S 22475 22477 22428 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153537473 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22483] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22483/stat : 22483 (java) S 22475 22477 22428 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22484] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22484/stat : 22484 (java) S 22475 22477 22428 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22485] ppid=22475 vsize=1717584 CPUtime=1.05 /proc/22477/task/22485/stat : 22485 (java) S 22475 22477 22428 0 -1 64 3461 0 0 0 104 1 0 0 16 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22486] ppid=22475 vsize=1717584 CPUtime=1.26 /proc/22477/task/22486/stat : 22486 (java) S 22475 22477 22428 0 -1 64 3738 0 0 0 125 1 0 0 16 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22487] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22487/stat : 22487 (java) S 22475 22477 22428 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22477/tid=22488] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22488/stat : 22488 (java) S 22475 22477 22428 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153537477 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22477/tid=22489] ppid=22475 vsize=1717584 CPUtime=0 /proc/22477/task/22489/stat : 22489 (java) S 22475 22477 22428 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 153538443 1758806016 98534 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (Kb) 1717584 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1786.43 CPU time (s): 1800.32 CPU user time (s): 1799.25 CPU system time (s): 1.07484 CPU usage (%): 100.777 Max. virtual memory (cumulated for all children) (Kb): 1717584 The end
Begin job on node39 on Fri Jul 28 06:04:23 UTC 2006 FILE ID= 46638-1154066663 PBS_JOBID= 882504 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node39/46638-1154066663/instance-46638-1154066663.opb 832121088 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-46638-1154066663 -o ROOT/results/node39/solver-46638-1154066663 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node39/46638-1154066663/instance-46638-1154066663.opb 832121088 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= de4cbecd7c9968d40b279ce145b888a9 RANDOM SEED= 832121088 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.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1520048 kB Buffers: 28176 kB Cached: 447984 kB SwapCached: 3648 kB Active: 44600 kB Inactive: 440272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1520048 kB SwapTotal: 4192956 kB SwapFree: 4183200 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14724 kB Slab: 37024 kB Committed_AS: 609916 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 node39 on Fri Jul 28 06:34:09 UTC 2006