Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1801.01 | 1788.54 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_20.opb |
MD5SUM | 6a25ee38adc43f783b18badd1224270c |
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 | 13480 |
Total number of constraints | 26619 |
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 | 26619 |
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 | 2843 |
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.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 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/node6/46647-1154069262/instance-46647-1154069262.opb 0.20 c reading problem ... 19.06 c ... done. Time 18.853 ms. 19.06 c #vars 13480 19.06 c #constraints 26619 1788.44 c starts : 12 1788.44 c conflicts : 24203 1788.44 c decisions : 48804 1788.44 c propagations : 5543897 1788.44 c inspects : 344657642 1788.44 c learnt literals : 0 1788.44 c learnt binary clauses : 0 1788.44 c learnt ternary clauses : 0 1788.44 c learnt clauses : 24202 1788.44 c root simplifications : 0 1788.44 c removed literals (reason simplification) : 0 1788.44 c reason swapping (by a shorter reason) : 0 1788.44 c Calls to reduceDB : 0 1788.44 c speed (decisions/second) : 27.582792461019892 1788.44 c non guided choices 13309 1788.44 s UNKNOWN 1788.44 c Total wall clock time (ms): 1788.239
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/node6/watcher-46647-1154069262 -o ROOT/results/node6/solver-46647-1154069262 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node6/46647-1154069262/instance-46647-1154069262.opb 356808363 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.05 1.02 1.00 3/63 28409 /proc/meminfo: memFree=604040/2055924 swapFree=4183160/4192956 [pid=28409] ppid=28407 vsize=1784 CPUtime=0 /proc/28409/stat : 28409 (java) R 28407 28409 28360 0 -1 0 134 0 0 0 0 0 0 0 19 0 1 0 153787549 1826816 105 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/28409/statm: 446 113 86 14 0 91 0 [startup+10.0029 s] /proc/loadavg: 1.04 1.02 1.00 2/74 28420 /proc/meminfo: memFree=397048/2055924 swapFree=4183160/4192956 [pid=28409] ppid=28407 vsize=1712968 CPUtime=11.07 /proc/28409/stat : 28409 (java) R 28407 28409 28360 0 -1 0 55860 0 1 0 1082 25 0 0 22 0 12 0 153787549 1754079232 53547 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28409/statm: 428242 53547 1882 14 0 414989 0 [pid=28409/tid=28410] ppid=28407 vsize=1712968 CPUtime=0.49 /proc/28409/task/28410/stat : 28410 (java) S 28407 28409 28360 0 -1 64 9673 0 0 0 45 4 0 0 16 0 12 0 153787553 1754079232 53547 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28411] ppid=28407 vsize=1712968 CPUtime=0.49 /proc/28409/task/28411/stat : 28411 (java) S 28407 28409 28360 0 -1 64 6831 0 0 0 47 2 0 0 16 0 12 0 153787553 1754079232 53547 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28412] ppid=28407 vsize=1712968 CPUtime=0 /proc/28409/task/28412/stat : 28412 (java) S 28407 28409 28360 0 -1 64 23 0 0 0 0 0 0 0 16 0 12 0 153787555 1754079232 53547 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28413] ppid=28407 vsize=1712968 CPUtime=0 /proc/28409/task/28413/stat : 28413 (java) S 28407 28409 28360 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 153787556 1754079232 53547 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28414] ppid=28407 vsize=1712968 CPUtime=0 /proc/28409/task/28414/stat : 28414 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 153787556 1754079232 53547 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28415] ppid=28407 vsize=1712968 CPUtime=0 /proc/28409/task/28415/stat : 28415 (java) S 28407 28409 28360 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 153787559 1754079232 53547 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28416] ppid=28407 vsize=1712968 CPUtime=0 /proc/28409/task/28416/stat : 28416 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 153787559 1754079232 53547 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28417] ppid=28407 vsize=1712968 CPUtime=0.49 /proc/28409/task/28417/stat : 28417 (java) S 28407 28409 28360 0 -1 64 2041 0 0 0 48 1 0 0 16 0 12 0 153787559 1754079232 53547 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28418] ppid=28407 vsize=1712968 CPUtime=0.34 /proc/28409/task/28418/stat : 28418 (java) S 28407 28409 28360 0 -1 64 788 0 0 0 34 0 0 0 16 0 12 0 153787559 1754079232 53547 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28419] ppid=28407 vsize=1712968 CPUtime=0 /proc/28409/task/28419/stat : 28419 (java) S 28407 28409 28360 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 153787559 1754079232 53547 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28420] ppid=28407 vsize=1712968 CPUtime=0 /proc/28409/task/28420/stat : 28420 (java) S 28407 28409 28360 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 153787559 1754079232 53547 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.07 Current children cumulated vsize (Kb) 1712968 [startup+20.0109 s] /proc/loadavg: 1.04 1.02 1.00 2/75 28421 /proc/meminfo: memFree=356208/2055924 swapFree=4183160/4192956 [pid=28409] ppid=28407 vsize=1714508 CPUtime=21.67 /proc/28409/stat : 28409 (java) R 28407 28409 28360 0 -1 0 68252 0 1 0 2134 33 0 0 25 0 13 0 153787549 1755656192 63817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071422417 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28409/statm: 428627 63817 1905 14 0 415374 0 [pid=28409/tid=28410] ppid=28407 vsize=1714508 CPUtime=0.82 /proc/28409/task/28410/stat : 28410 (java) S 28407 28409 28360 0 -1 64 15088 0 0 0 76 6 0 0 16 0 13 0 153787553 1755656192 63817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28411] ppid=28407 vsize=1714508 CPUtime=0.83 /proc/28409/task/28411/stat : 28411 (java) S 28407 28409 28360 0 -1 64 12736 0 0 0 78 5 0 0 16 0 13 0 153787553 1755656192 63817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28412] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28412/stat : 28412 (java) S 28407 28409 28360 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 153787555 1755656192 63817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28413] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28413/stat : 28413 (java) S 28407 28409 28360 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 63817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28414] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28414/stat : 28414 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 63817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28415] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28415/stat : 28415 (java) S 28407 28409 28360 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153787559 1755656192 63817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28416] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28416/stat : 28416 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153787559 1755656192 63817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28417] ppid=28407 vsize=1714508 CPUtime=0.68 /proc/28409/task/28417/stat : 28417 (java) S 28407 28409 28360 0 -1 64 3024 0 0 0 67 1 0 0 16 0 13 0 153787559 1755656192 63817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28418] ppid=28407 vsize=1714508 CPUtime=0.49 /proc/28409/task/28418/stat : 28418 (java) S 28407 28409 28360 0 -1 64 813 0 0 0 49 0 0 0 16 0 13 0 153787559 1755656192 63817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28419] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28419/stat : 28419 (java) S 28407 28409 28360 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153787559 1755656192 63817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28420] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28420/stat : 28420 (java) S 28407 28409 28360 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153787559 1755656192 63817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28421] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28421/stat : 28421 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 153789457 1755656192 63817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.67 Current children cumulated vsize (Kb) 1714508 [startup+30.0178 s] /proc/loadavg: 1.03 1.02 1.00 2/75 28421 /proc/meminfo: memFree=350768/2055924 swapFree=4183160/4192956 [pid=28409] ppid=28407 vsize=1715532 CPUtime=32.01 /proc/28409/stat : 28409 (java) R 28407 28409 28360 0 -1 0 70191 0 1 0 3167 34 0 0 25 0 13 0 153787549 1756704768 65155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071552671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28409/statm: 428883 65155 1908 14 0 415630 0 [pid=28409/tid=28410] ppid=28407 vsize=1715532 CPUtime=0.88 /proc/28409/task/28410/stat : 28410 (java) S 28407 28409 28360 0 -1 64 15603 0 0 0 81 7 0 0 16 0 13 0 153787553 1756704768 65155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28411] ppid=28407 vsize=1715532 CPUtime=0.88 /proc/28409/task/28411/stat : 28411 (java) S 28407 28409 28360 0 -1 64 13467 0 0 0 83 5 0 0 16 0 13 0 153787553 1756704768 65155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28412] ppid=28407 vsize=1715532 CPUtime=0 /proc/28409/task/28412/stat : 28412 (java) S 28407 28409 28360 0 -1 64 25 0 0 0 0 0 0 0 16 0 13 0 153787555 1756704768 65155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28413] ppid=28407 vsize=1715532 CPUtime=0 /proc/28409/task/28413/stat : 28413 (java) S 28407 28409 28360 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153787556 1756704768 65155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28414] ppid=28407 vsize=1715532 CPUtime=0 /proc/28409/task/28414/stat : 28414 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153787556 1756704768 65155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28415] ppid=28407 vsize=1715532 CPUtime=0 /proc/28409/task/28415/stat : 28415 (java) S 28407 28409 28360 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153787559 1756704768 65155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28416] ppid=28407 vsize=1715532 CPUtime=0 /proc/28409/task/28416/stat : 28416 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153787559 1756704768 65155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28417] ppid=28407 vsize=1715532 CPUtime=0.92 /proc/28409/task/28417/stat : 28417 (java) S 28407 28409 28360 0 -1 64 3694 0 0 0 91 1 0 0 16 0 13 0 153787559 1756704768 65155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28418] ppid=28407 vsize=1715532 CPUtime=0.57 /proc/28409/task/28418/stat : 28418 (java) S 28407 28409 28360 0 -1 64 820 0 0 0 57 0 0 0 16 0 13 0 153787559 1756704768 65155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28419] ppid=28407 vsize=1715532 CPUtime=0 /proc/28409/task/28419/stat : 28419 (java) S 28407 28409 28360 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153787559 1756704768 65155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28420] ppid=28407 vsize=1715532 CPUtime=0 /proc/28409/task/28420/stat : 28420 (java) S 28407 28409 28360 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153787559 1756704768 65155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28421] ppid=28407 vsize=1715532 CPUtime=0 /proc/28409/task/28421/stat : 28421 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 153789457 1756704768 65155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.01 Current children cumulated vsize (Kb) 1715532 [startup+40.0248 s] /proc/loadavg: 1.02 1.02 1.00 2/75 28421 /proc/meminfo: memFree=347632/2055924 swapFree=4183160/4192956 [pid=28409] ppid=28407 vsize=1715868 CPUtime=42.26 /proc/28409/stat : 28409 (java) R 28407 28409 28360 0 -1 0 71880 0 1 0 4191 35 0 0 25 0 13 0 153787549 1757048832 65941 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071591262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28409/statm: 428967 65941 1908 14 0 415714 0 [pid=28409/tid=28410] ppid=28407 vsize=1715868 CPUtime=0.93 /proc/28409/task/28410/stat : 28410 (java) S 28407 28409 28360 0 -1 64 15756 0 0 0 86 7 0 0 16 0 13 0 153787553 1757048832 65941 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28411] ppid=28407 vsize=1715868 CPUtime=0.93 /proc/28409/task/28411/stat : 28411 (java) S 28407 28409 28360 0 -1 64 13629 0 0 0 88 5 0 0 17 0 13 0 153787553 1757048832 65941 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28412] ppid=28407 vsize=1715868 CPUtime=0 /proc/28409/task/28412/stat : 28412 (java) S 28407 28409 28360 0 -1 64 25 0 0 0 0 0 0 0 16 0 13 0 153787555 1757048832 65941 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28413] ppid=28407 vsize=1715868 CPUtime=0 /proc/28409/task/28413/stat : 28413 (java) S 28407 28409 28360 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153787556 1757048832 65941 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28414] ppid=28407 vsize=1715868 CPUtime=0 /proc/28409/task/28414/stat : 28414 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153787556 1757048832 65941 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28415] ppid=28407 vsize=1715868 CPUtime=0 /proc/28409/task/28415/stat : 28415 (java) S 28407 28409 28360 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153787559 1757048832 65941 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28416] ppid=28407 vsize=1715868 CPUtime=0.01 /proc/28409/task/28416/stat : 28416 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 153787559 1757048832 65941 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28417] ppid=28407 vsize=1715868 CPUtime=0.95 /proc/28409/task/28417/stat : 28417 (java) S 28407 28409 28360 0 -1 64 3696 0 0 0 94 1 0 0 16 0 13 0 153787559 1757048832 65941 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28418] ppid=28407 vsize=1715868 CPUtime=0.74 /proc/28409/task/28418/stat : 28418 (java) S 28407 28409 28360 0 -1 64 1912 0 0 0 74 0 0 0 18 0 13 0 153787559 1757048832 65941 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28419] ppid=28407 vsize=1715868 CPUtime=0 /proc/28409/task/28419/stat : 28419 (java) S 28407 28409 28360 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153787559 1757048832 65941 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28420] ppid=28407 vsize=1715868 CPUtime=0 /proc/28409/task/28420/stat : 28420 (java) S 28407 28409 28360 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153787559 1757048832 65941 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28421] ppid=28407 vsize=1715868 CPUtime=0 /proc/28409/task/28421/stat : 28421 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 153789457 1757048832 65941 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.26 Current children cumulated vsize (Kb) 1715868 [startup+50.0318 s] /proc/loadavg: 1.02 1.02 1.00 2/75 28421 /proc/meminfo: memFree=349552/2055924 swapFree=4183160/4192956 [pid=28409] ppid=28407 vsize=1714508 CPUtime=52.42 /proc/28409/stat : 28409 (java) R 28407 28409 28360 0 -1 0 72071 0 1 0 5207 35 0 0 22 0 13 0 153787549 1755656192 65449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071599527 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28409/statm: 428627 65449 1909 14 0 415374 0 [pid=28409/tid=28410] ppid=28407 vsize=1714508 CPUtime=0.97 /proc/28409/task/28410/stat : 28410 (java) S 28407 28409 28360 0 -1 64 15832 0 0 0 90 7 0 0 17 0 13 0 153787553 1755656192 65449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28411] ppid=28407 vsize=1714508 CPUtime=0.97 /proc/28409/task/28411/stat : 28411 (java) S 28407 28409 28360 0 -1 64 13731 0 0 0 92 5 0 0 17 0 13 0 153787553 1755656192 65449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28412] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28412/stat : 28412 (java) S 28407 28409 28360 0 -1 64 25 0 0 0 0 0 0 0 16 0 13 0 153787555 1755656192 65449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28413] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28413/stat : 28413 (java) S 28407 28409 28360 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 65449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28414] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28414/stat : 28414 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 65449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28415] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28415/stat : 28415 (java) S 28407 28409 28360 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153787559 1755656192 65449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28416] ppid=28407 vsize=1714508 CPUtime=0.01 /proc/28409/task/28416/stat : 28416 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 153787559 1755656192 65449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28417] ppid=28407 vsize=1714508 CPUtime=1.01 /proc/28409/task/28417/stat : 28417 (java) S 28407 28409 28360 0 -1 64 3700 0 0 0 100 1 0 0 16 0 13 0 153787559 1755656192 65449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28418] ppid=28407 vsize=1714508 CPUtime=0.81 /proc/28409/task/28418/stat : 28418 (java) S 28407 28409 28360 0 -1 64 1916 0 0 0 81 0 0 0 16 0 13 0 153787559 1755656192 65449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28419] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28419/stat : 28419 (java) S 28407 28409 28360 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153787559 1755656192 65449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28420] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28420/stat : 28420 (java) S 28407 28409 28360 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153787559 1755656192 65449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28421] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28421/stat : 28421 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153789457 1755656192 65449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.42 Current children cumulated vsize (Kb) 1714508 [startup+60.0388 s] /proc/loadavg: 1.02 1.02 1.00 2/75 28421 /proc/meminfo: memFree=353840/2055924 swapFree=4183160/4192956 [pid=28409] ppid=28407 vsize=1714508 CPUtime=62.48 /proc/28409/stat : 28409 (java) R 28407 28409 28360 0 -1 0 72139 0 1 0 6212 36 0 0 25 0 13 0 153787549 1755656192 64392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071403737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28409/statm: 428627 64392 1909 14 0 415374 0 [pid=28409/tid=28410] ppid=28407 vsize=1714508 CPUtime=1.01 /proc/28409/task/28410/stat : 28410 (java) S 28407 28409 28360 0 -1 64 15852 0 0 0 94 7 0 0 16 0 13 0 153787553 1755656192 64392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28411] ppid=28407 vsize=1714508 CPUtime=1 /proc/28409/task/28411/stat : 28411 (java) S 28407 28409 28360 0 -1 64 13776 0 0 0 95 5 0 0 16 0 13 0 153787553 1755656192 64392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28412] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28412/stat : 28412 (java) S 28407 28409 28360 0 -1 64 25 0 0 0 0 0 0 0 16 0 13 0 153787555 1755656192 64392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28413] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28413/stat : 28413 (java) S 28407 28409 28360 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 64392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28414] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28414/stat : 28414 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 64392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28415] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28415/stat : 28415 (java) S 28407 28409 28360 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153787559 1755656192 64392 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28416] ppid=28407 vsize=1714508 CPUtime=0.01 ################ # More data... # ################ /proc/28409/task/28413/stat : 28413 (java) S 28407 28409 28360 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28414] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28414/stat : 28414 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28415] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28415/stat : 28415 (java) S 28407 28409 28360 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153787559 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28416] ppid=28407 vsize=1714508 CPUtime=0.01 /proc/28409/task/28416/stat : 28416 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 1 0 0 0 17 0 13 0 153787559 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28417] ppid=28407 vsize=1714508 CPUtime=1.09 /proc/28409/task/28417/stat : 28417 (java) S 28407 28409 28360 0 -1 64 3702 0 0 0 108 1 0 0 16 0 13 0 153787559 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28418] ppid=28407 vsize=1714508 CPUtime=0.87 /proc/28409/task/28418/stat : 28418 (java) S 28407 28409 28360 0 -1 64 1917 0 0 0 87 0 0 0 16 0 13 0 153787559 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28419] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28419/stat : 28419 (java) S 28407 28409 28360 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153787559 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28420] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28420/stat : 28420 (java) S 28407 28409 28360 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153787559 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28421] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28421/stat : 28421 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153789457 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.85 Current children cumulated vsize (Kb) 1714508 [startup+1785.4 s] /proc/loadavg: 1.00 1.00 1.00 2/75 28619 /proc/meminfo: memFree=187192/2055924 swapFree=4183160/4192956 [pid=28409] ppid=28407 vsize=1714508 CPUtime=1797.85 /proc/28409/stat : 28409 (java) R 28407 28409 28360 0 -1 0 177881 0 1 0 179689 96 0 0 25 0 13 0 153787549 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071599458 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28409/statm: 428627 105835 1909 14 0 415374 0 [pid=28409/tid=28410] ppid=28407 vsize=1714508 CPUtime=11.91 /proc/28409/task/28410/stat : 28410 (java) S 28407 28409 28360 0 -1 64 47833 0 0 0 1168 23 0 0 16 0 13 0 153787553 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28411] ppid=28407 vsize=1714508 CPUtime=11.91 /proc/28409/task/28411/stat : 28411 (java) S 28407 28409 28360 0 -1 64 44634 0 0 0 1169 22 0 0 16 0 13 0 153787553 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28412] ppid=28407 vsize=1714508 CPUtime=0.23 /proc/28409/task/28412/stat : 28412 (java) S 28407 28409 28360 0 -1 64 161 0 0 0 11 12 0 0 16 0 13 0 153787555 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28413] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28413/stat : 28413 (java) S 28407 28409 28360 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28414] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28414/stat : 28414 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28415] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28415/stat : 28415 (java) S 28407 28409 28360 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153787559 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28416] ppid=28407 vsize=1714508 CPUtime=0.01 /proc/28409/task/28416/stat : 28416 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 1 0 0 0 17 0 13 0 153787559 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28417] ppid=28407 vsize=1714508 CPUtime=1.09 /proc/28409/task/28417/stat : 28417 (java) S 28407 28409 28360 0 -1 64 3702 0 0 0 108 1 0 0 16 0 13 0 153787559 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28418] ppid=28407 vsize=1714508 CPUtime=0.87 /proc/28409/task/28418/stat : 28418 (java) S 28407 28409 28360 0 -1 64 1917 0 0 0 87 0 0 0 16 0 13 0 153787559 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28419] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28419/stat : 28419 (java) S 28407 28409 28360 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153787559 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28420] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28420/stat : 28420 (java) S 28407 28409 28360 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153787559 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28421] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28421/stat : 28421 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153789457 1755656192 105835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (Kb) 1714508 [startup+1786.41 s] /proc/loadavg: 1.00 1.00 1.00 3/75 28619 /proc/meminfo: memFree=187000/2055924 swapFree=4183160/4192956 [pid=28409] ppid=28407 vsize=1714508 CPUtime=1798.87 /proc/28409/stat : 28409 (java) S 28407 28409 28360 0 -1 0 177933 0 1 0 179791 96 0 0 25 0 13 0 153787549 1755656192 105886 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28409/statm: 428627 105886 1909 14 0 415374 0 [pid=28409/tid=28410] ppid=28407 vsize=1714508 CPUtime=11.92 /proc/28409/task/28410/stat : 28410 (java) R 28407 28409 28360 0 -1 64 47870 0 0 0 1169 23 0 0 16 0 13 0 153787553 1755656192 105887 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154975950 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28411] ppid=28407 vsize=1714508 CPUtime=11.93 /proc/28409/task/28411/stat : 28411 (java) R 28407 28409 28360 0 -1 64 44649 0 0 0 1171 22 0 0 17 0 13 0 153787553 1755656192 105887 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154649079 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28412] ppid=28407 vsize=1714508 CPUtime=0.23 /proc/28409/task/28412/stat : 28412 (java) S 28407 28409 28360 0 -1 64 161 0 0 0 11 12 0 0 15 0 13 0 153787555 1755656192 105887 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28413] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28413/stat : 28413 (java) S 28407 28409 28360 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 105887 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28414] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28414/stat : 28414 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 105887 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28415] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28415/stat : 28415 (java) S 28407 28409 28360 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153787559 1755656192 105887 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28416] ppid=28407 vsize=1714508 CPUtime=0.01 /proc/28409/task/28416/stat : 28416 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 1 0 0 0 17 0 13 0 153787559 1755656192 105887 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28417] ppid=28407 vsize=1714508 CPUtime=1.09 /proc/28409/task/28417/stat : 28417 (java) S 28407 28409 28360 0 -1 64 3702 0 0 0 108 1 0 0 16 0 13 0 153787559 1755656192 105887 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28418] ppid=28407 vsize=1714508 CPUtime=0.87 /proc/28409/task/28418/stat : 28418 (java) S 28407 28409 28360 0 -1 64 1917 0 0 0 87 0 0 0 16 0 13 0 153787559 1755656192 105887 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28419] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28419/stat : 28419 (java) S 28407 28409 28360 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153787559 1755656192 105887 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28420] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28420/stat : 28420 (java) S 28407 28409 28360 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153787559 1755656192 105887 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28421] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28421/stat : 28421 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153789457 1755656192 105887 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.87 Current children cumulated vsize (Kb) 1714508 [startup+1787.42 s] /proc/loadavg: 1.00 1.00 1.00 2/75 28619 /proc/meminfo: memFree=188024/2055924 swapFree=4183160/4192956 [pid=28409] ppid=28407 vsize=1714508 CPUtime=1799.89 /proc/28409/stat : 28409 (java) R 28407 28409 28360 0 -1 0 177961 0 1 0 179893 96 0 0 24 0 13 0 153787549 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071553942 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28409/statm: 428627 105593 1909 14 0 415374 0 [pid=28409/tid=28410] ppid=28407 vsize=1714508 CPUtime=11.93 /proc/28409/task/28410/stat : 28410 (java) S 28407 28409 28360 0 -1 64 47870 0 0 0 1170 23 0 0 16 0 13 0 153787553 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28411] ppid=28407 vsize=1714508 CPUtime=11.93 /proc/28409/task/28411/stat : 28411 (java) S 28407 28409 28360 0 -1 64 44676 0 0 0 1171 22 0 0 17 0 13 0 153787553 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28412] ppid=28407 vsize=1714508 CPUtime=0.23 /proc/28409/task/28412/stat : 28412 (java) S 28407 28409 28360 0 -1 64 161 0 0 0 11 12 0 0 16 0 13 0 153787555 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28413] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28413/stat : 28413 (java) S 28407 28409 28360 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28414] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28414/stat : 28414 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28415] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28415/stat : 28415 (java) S 28407 28409 28360 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28416] ppid=28407 vsize=1714508 CPUtime=0.01 /proc/28409/task/28416/stat : 28416 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 1 0 0 0 17 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28417] ppid=28407 vsize=1714508 CPUtime=1.09 /proc/28409/task/28417/stat : 28417 (java) S 28407 28409 28360 0 -1 64 3702 0 0 0 108 1 0 0 16 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28418] ppid=28407 vsize=1714508 CPUtime=0.87 /proc/28409/task/28418/stat : 28418 (java) S 28407 28409 28360 0 -1 64 1917 0 0 0 87 0 0 0 16 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28419] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28419/stat : 28419 (java) S 28407 28409 28360 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28420] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28420/stat : 28420 (java) S 28407 28409 28360 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28421] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28421/stat : 28421 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153789457 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.89 Current children cumulated vsize (Kb) 1714508 [startup+1788.43 s] /proc/loadavg: 1.00 1.00 1.00 2/75 28619 /proc/meminfo: memFree=188024/2055924 swapFree=4183160/4192956 [pid=28409] ppid=28407 vsize=1714508 CPUtime=1800.89 /proc/28409/stat : 28409 (java) R 28407 28409 28360 0 -1 0 177961 0 1 0 179993 96 0 0 25 0 13 0 153787549 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071660662 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28409/statm: 428627 105593 1909 14 0 415374 0 [pid=28409/tid=28410] ppid=28407 vsize=1714508 CPUtime=11.93 /proc/28409/task/28410/stat : 28410 (java) S 28407 28409 28360 0 -1 64 47870 0 0 0 1170 23 0 0 16 0 13 0 153787553 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28411] ppid=28407 vsize=1714508 CPUtime=11.93 /proc/28409/task/28411/stat : 28411 (java) S 28407 28409 28360 0 -1 64 44676 0 0 0 1171 22 0 0 17 0 13 0 153787553 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28412] ppid=28407 vsize=1714508 CPUtime=0.23 /proc/28409/task/28412/stat : 28412 (java) R 28407 28409 28360 0 -1 64 161 0 0 0 11 12 0 0 16 0 13 0 153787555 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28413] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28413/stat : 28413 (java) S 28407 28409 28360 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28414] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28414/stat : 28414 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28415] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28415/stat : 28415 (java) S 28407 28409 28360 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28416] ppid=28407 vsize=1714508 CPUtime=0.01 /proc/28409/task/28416/stat : 28416 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 1 0 0 0 17 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28417] ppid=28407 vsize=1714508 CPUtime=1.09 /proc/28409/task/28417/stat : 28417 (java) S 28407 28409 28360 0 -1 64 3702 0 0 0 108 1 0 0 16 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28418] ppid=28407 vsize=1714508 CPUtime=0.87 /proc/28409/task/28418/stat : 28418 (java) S 28407 28409 28360 0 -1 64 1917 0 0 0 87 0 0 0 16 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28419] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28419/stat : 28419 (java) S 28407 28409 28360 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28420] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28420/stat : 28420 (java) S 28407 28409 28360 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28421] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28421/stat : 28421 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153789457 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.89 Current children cumulated vsize (Kb) 1714508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1788.43 s] /proc/loadavg: 1.00 1.00 1.00 3/75 28619 /proc/meminfo: memFree=188024/2055924 swapFree=4183160/4192956 [pid=28409] ppid=28407 vsize=1714508 CPUtime=1800.9 /proc/28409/stat : 28409 (java) R 28407 28409 28360 0 -1 0 177961 0 1 0 179994 96 0 0 25 0 13 0 153787549 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071590993 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28409/statm: 428627 105593 1909 14 0 415374 0 [pid=28409/tid=28410] ppid=28407 vsize=1714508 CPUtime=11.93 /proc/28409/task/28410/stat : 28410 (java) S 28407 28409 28360 0 -1 64 47870 0 0 0 1170 23 0 0 16 0 13 0 153787553 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28411] ppid=28407 vsize=1714508 CPUtime=11.93 /proc/28409/task/28411/stat : 28411 (java) S 28407 28409 28360 0 -1 64 44676 0 0 0 1171 22 0 0 17 0 13 0 153787553 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28412] ppid=28407 vsize=1714508 CPUtime=0.23 /proc/28409/task/28412/stat : 28412 (java) R 28407 28409 28360 0 -1 64 161 0 0 0 11 12 0 0 16 0 13 0 153787555 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28413] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28413/stat : 28413 (java) S 28407 28409 28360 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28414] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28414/stat : 28414 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153787556 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28415] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28415/stat : 28415 (java) S 28407 28409 28360 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28416] ppid=28407 vsize=1714508 CPUtime=0.01 /proc/28409/task/28416/stat : 28416 (java) S 28407 28409 28360 0 -1 64 4 0 0 0 1 0 0 0 17 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28417] ppid=28407 vsize=1714508 CPUtime=1.09 /proc/28409/task/28417/stat : 28417 (java) S 28407 28409 28360 0 -1 64 3702 0 0 0 108 1 0 0 16 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28418] ppid=28407 vsize=1714508 CPUtime=0.87 /proc/28409/task/28418/stat : 28418 (java) S 28407 28409 28360 0 -1 64 1917 0 0 0 87 0 0 0 16 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28419] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28419/stat : 28419 (java) S 28407 28409 28360 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28409/tid=28420] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28420/stat : 28420 (java) S 28407 28409 28360 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153787559 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28409/tid=28421] ppid=28407 vsize=1714508 CPUtime=0 /proc/28409/task/28421/stat : 28421 (java) S 28407 28409 28360 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153789457 1755656192 105593 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (Kb) 1714508 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1788.54 CPU time (s): 1801.01 CPU user time (s): 1799.98 CPU system time (s): 1.03284 CPU usage (%): 100.697 Max. virtual memory (cumulated for all children) (Kb): 1715868 The end
Begin job on node6 on Fri Jul 28 06:47:42 UTC 2006 FILE ID= 46647-1154069262 PBS_JOBID= 882621 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_20.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node6/46647-1154069262/instance-46647-1154069262.opb 356808363 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-46647-1154069262 -o ROOT/results/node6/solver-46647-1154069262 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node6/46647-1154069262/instance-46647-1154069262.opb 356808363 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 6a25ee38adc43f783b18badd1224270c RANDOM SEED= 356808363 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.255 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.255 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: 2055924 kB MemFree: 604248 kB Buffers: 47152 kB Cached: 1308256 kB SwapCached: 3980 kB Active: 312080 kB Inactive: 1052328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 604248 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14828 kB Slab: 73304 kB Committed_AS: 587508 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node6 on Fri Jul 28 07:17:30 UTC 2006