Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.53 | 1772.41 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air06.opb |
MD5SUM | 9ad64595976e8d5a822b98ffb6dea9d7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5727 |
Best CPU time to get the best result obtained on this benchmark | 42.3866 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5727 |
Optimality of the best value was proved | YES |
Number of variables | 8627 |
Total number of constraints | 825 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 825 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 461 |
Number of terms in the objective function | 8627 |
Biggest coefficient in the objective function | 213 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 528490 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 213 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 528490 |
Number of bits of the biggest sum of numbers | 20 |
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.14 c no version file found!!! 0.14 c sun.arch.data.model 32 0.14 c java.version 1.5.0_06 0.14 c os.name Linux 0.14 c os.version 2.6.9-22.EL.rootsmp 0.14 c os.arch i386 0.14 c Free memory 1548419056 0.14 c Max memory 1551040512 0.14 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/node65/44004-1149348975/instance-44004-1149348975.opb 0.20 c reading problem ... 1.51 c ... done. Time 1.309 ms. 1.51 c #vars 8627 1.51 c #constraints 1628 1772.32 c starts : 7 1772.32 c conflicts : 2757 1772.32 c decisions : 197672 1772.32 c propagations : 1686633 1772.32 c inspects : 1547146 1772.32 c learnt literals : 3 1772.32 c learnt binary clauses : 10 1772.32 c learnt ternary clauses : 3 1772.32 c learnt clauses : 2753 1772.32 c root simplifications : 0 1772.32 c removed literals (reason simplification) : 0 1772.32 c reason swapping (by a shorter reason) : 0 1772.32 c Calls to reduceDB : 0 1772.32 c speed (decisions/second) : 111.62946192850976 1772.32 c non guided choices 12489 1772.32 s UNKNOWN 1772.32 c Total wall clock time (ms): 1772.121
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 Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-44004-1149348975 -o ROOT/results/node65/solver-44004-1149348975 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node65/44004-1149348975/instance-44004-1149348975.opb 696978061 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.88 0.97 0.99 3/64 7110 /proc/meminfo: memFree=1772304/2055920 swapFree=4181844/4192956 [pid=7110] ppid=7108 vsize=172 CPUtime=0 /proc/7110/stat : 7110 (java) R 7108 7110 7064 0 -1 0 201 0 0 0 0 0 0 0 18 0 1 0 200566831 176128 24 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 5685547 0 0 4096 0 0 0 0 17 1 0 0 /proc/7110/statm: 43 24 18 14 0 3 0 [startup+10.0024 s] /proc/loadavg: 0.90 0.97 0.99 2/76 7122 /proc/meminfo: memFree=1610248/2055920 swapFree=4181844/4192956 [pid=7110] ppid=7108 vsize=1711424 CPUtime=11.28 /proc/7110/stat : 7110 (java) R 7108 7110 7064 0 -1 0 44908 0 1 0 1107 21 0 0 25 0 13 0 200566831 1752498176 42310 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071531817 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7110/statm: 427856 42310 1907 14 0 414603 0 [pid=7110/tid=7111] ppid=7108 vsize=1711424 CPUtime=0.13 /proc/7110/task/7111/stat : 7111 (java) S 7108 7110 7064 0 -1 64 2905 0 0 0 12 1 0 0 16 0 13 0 200566834 1752498176 42310 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7112] ppid=7108 vsize=1711424 CPUtime=0.13 /proc/7110/task/7112/stat : 7112 (java) S 7108 7110 7064 0 -1 64 2695 0 0 0 12 1 0 0 17 0 13 0 200566834 1752498176 42310 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7113] ppid=7108 vsize=1711424 CPUtime=0 /proc/7110/task/7113/stat : 7113 (java) S 7108 7110 7064 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 200566837 1752498176 42310 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7114] ppid=7108 vsize=1711424 CPUtime=0 /proc/7110/task/7114/stat : 7114 (java) S 7108 7110 7064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200566837 1752498176 42310 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7115] ppid=7108 vsize=1711424 CPUtime=0 /proc/7110/task/7115/stat : 7115 (java) S 7108 7110 7064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200566837 1752498176 42310 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7116] ppid=7108 vsize=1711424 CPUtime=0 /proc/7110/task/7116/stat : 7116 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200566841 1752498176 42310 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7117] ppid=7108 vsize=1711424 CPUtime=0.01 /proc/7110/task/7117/stat : 7117 (java) S 7108 7110 7064 0 -1 64 17 0 0 0 1 0 0 0 17 0 13 0 200566841 1752498176 42310 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7118] ppid=7108 vsize=1711424 CPUtime=0.83 /proc/7110/task/7118/stat : 7118 (java) S 7108 7110 7064 0 -1 64 1535 0 0 0 83 0 0 0 16 0 13 0 200566841 1752498176 42310 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7119] ppid=7108 vsize=1711424 CPUtime=0.65 /proc/7110/task/7119/stat : 7119 (java) S 7108 7110 7064 0 -1 64 391 0 0 0 65 0 0 0 17 0 13 0 200566841 1752498176 42310 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7120] ppid=7108 vsize=1711424 CPUtime=0 /proc/7110/task/7120/stat : 7120 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200566841 1752498176 42310 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7121] ppid=7108 vsize=1711424 CPUtime=0 /proc/7110/task/7121/stat : 7121 (java) S 7108 7110 7064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200566841 1752498176 42310 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7122] ppid=7108 vsize=1711424 CPUtime=0 /proc/7110/task/7122/stat : 7122 (java) S 7108 7110 7064 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 200566985 1752498176 42310 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.28 Current children cumulated vsize (Kb) 1711424 [startup+20.0101 s] /proc/loadavg: 0.91 0.97 0.99 2/76 7122 /proc/meminfo: memFree=1582672/2055920 swapFree=4181844/4192956 [pid=7110] ppid=7108 vsize=1715128 CPUtime=21.74 /proc/7110/stat : 7110 (java) R 7108 7110 7064 0 -1 0 53161 0 1 0 2150 24 0 0 25 0 13 0 200566831 1756291072 49202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071518795 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7110/statm: 428782 49202 1909 14 0 415529 0 [pid=7110/tid=7111] ppid=7108 vsize=1715128 CPUtime=0.21 /proc/7110/task/7111/stat : 7111 (java) S 7108 7110 7064 0 -1 64 4569 0 0 0 19 2 0 0 16 0 13 0 200566834 1756291072 49202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7112] ppid=7108 vsize=1715128 CPUtime=0.21 /proc/7110/task/7112/stat : 7112 (java) S 7108 7110 7064 0 -1 64 4240 0 0 0 19 2 0 0 16 0 13 0 200566834 1756291072 49202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7113] ppid=7108 vsize=1715128 CPUtime=0 /proc/7110/task/7113/stat : 7113 (java) S 7108 7110 7064 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 200566837 1756291072 49202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7114] ppid=7108 vsize=1715128 CPUtime=0 /proc/7110/task/7114/stat : 7114 (java) S 7108 7110 7064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200566837 1756291072 49202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7115] ppid=7108 vsize=1715128 CPUtime=0 /proc/7110/task/7115/stat : 7115 (java) S 7108 7110 7064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200566837 1756291072 49202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7116] ppid=7108 vsize=1715128 CPUtime=0 /proc/7110/task/7116/stat : 7116 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200566841 1756291072 49202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7117] ppid=7108 vsize=1715128 CPUtime=0.01 /proc/7110/task/7117/stat : 7117 (java) S 7108 7110 7064 0 -1 64 17 0 0 0 1 0 0 0 17 0 13 0 200566841 1756291072 49202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7118] ppid=7108 vsize=1715128 CPUtime=1.02 /proc/7110/task/7118/stat : 7118 (java) S 7108 7110 7064 0 -1 64 1664 0 0 0 102 0 0 0 16 0 13 0 200566841 1756291072 49202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7119] ppid=7108 vsize=1715128 CPUtime=0.91 /proc/7110/task/7119/stat : 7119 (java) S 7108 7110 7064 0 -1 64 2266 0 0 0 90 1 0 0 17 0 13 0 200566841 1756291072 49202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7120] ppid=7108 vsize=1715128 CPUtime=0 /proc/7110/task/7120/stat : 7120 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200566841 1756291072 49202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7121] ppid=7108 vsize=1715128 CPUtime=0 /proc/7110/task/7121/stat : 7121 (java) S 7108 7110 7064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200566841 1756291072 49202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7122] ppid=7108 vsize=1715128 CPUtime=0 /proc/7110/task/7122/stat : 7122 (java) S 7108 7110 7064 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 200566985 1756291072 49202 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.74 Current children cumulated vsize (Kb) 1715128 [startup+30.0167 s] /proc/loadavg: 0.92 0.97 0.99 2/76 7122 /proc/meminfo: memFree=1571280/2055920 swapFree=4181844/4192956 [pid=7110] ppid=7108 vsize=1714996 CPUtime=31.85 /proc/7110/stat : 7110 (java) R 7108 7110 7064 0 -1 0 58028 0 1 0 3159 26 0 0 25 0 13 0 200566831 1756155904 52066 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071506894 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7110/statm: 428749 52066 1909 14 0 415496 0 [pid=7110/tid=7111] ppid=7108 vsize=1714996 CPUtime=0.3 /proc/7110/task/7111/stat : 7111 (java) S 7108 7110 7064 0 -1 64 5925 0 0 0 28 2 0 0 15 0 13 0 200566834 1756155904 52066 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7112] ppid=7108 vsize=1714996 CPUtime=0.3 /proc/7110/task/7112/stat : 7112 (java) S 7108 7110 7064 0 -1 64 5793 0 0 0 28 2 0 0 16 0 13 0 200566834 1756155904 52066 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7113] ppid=7108 vsize=1714996 CPUtime=0.01 /proc/7110/task/7113/stat : 7113 (java) S 7108 7110 7064 0 -1 64 37 0 0 0 1 0 0 0 16 0 13 0 200566837 1756155904 52066 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7114] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7114/stat : 7114 (java) S 7108 7110 7064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 52066 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7115] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7115/stat : 7115 (java) S 7108 7110 7064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 52066 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7116] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7116/stat : 7116 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200566841 1756155904 52066 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7117] ppid=7108 vsize=1714996 CPUtime=0.01 /proc/7110/task/7117/stat : 7117 (java) S 7108 7110 7064 0 -1 64 17 0 0 0 1 0 0 0 17 0 13 0 200566841 1756155904 52066 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7118] ppid=7108 vsize=1714996 CPUtime=1.04 /proc/7110/task/7118/stat : 7118 (java) S 7108 7110 7064 0 -1 64 1664 0 0 0 104 0 0 0 16 0 13 0 200566841 1756155904 52066 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7119] ppid=7108 vsize=1714996 CPUtime=0.92 /proc/7110/task/7119/stat : 7119 (java) S 7108 7110 7064 0 -1 64 2266 0 0 0 91 1 0 0 17 0 13 0 200566841 1756155904 52066 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7120] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7120/stat : 7120 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200566841 1756155904 52066 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7121] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7121/stat : 7121 (java) S 7108 7110 7064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200566841 1756155904 52066 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7122] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7122/stat : 7122 (java) S 7108 7110 7064 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 200566985 1756155904 52066 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.85 Current children cumulated vsize (Kb) 1714996 [startup+40.0234 s] /proc/loadavg: 0.94 0.97 0.99 2/76 7122 /proc/meminfo: memFree=1574288/2055920 swapFree=4181844/4192956 [pid=7110] ppid=7108 vsize=1714996 CPUtime=41.92 /proc/7110/stat : 7110 (java) R 7108 7110 7064 0 -1 0 59583 0 1 0 4165 27 0 0 25 0 13 0 200566831 1756155904 51255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071482865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7110/statm: 428749 51255 1909 14 0 415496 0 [pid=7110/tid=7111] ppid=7108 vsize=1714996 CPUtime=0.37 /proc/7110/task/7111/stat : 7111 (java) S 7108 7110 7064 0 -1 64 6640 0 0 0 34 3 0 0 16 0 13 0 200566834 1756155904 51255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7112] ppid=7108 vsize=1714996 CPUtime=0.36 /proc/7110/task/7112/stat : 7112 (java) S 7108 7110 7064 0 -1 64 6427 0 0 0 34 2 0 0 15 0 13 0 200566834 1756155904 51255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7113] ppid=7108 vsize=1714996 CPUtime=0.01 /proc/7110/task/7113/stat : 7113 (java) S 7108 7110 7064 0 -1 64 37 0 0 0 1 0 0 0 17 0 13 0 200566837 1756155904 51255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7114] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7114/stat : 7114 (java) S 7108 7110 7064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 51255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7115] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7115/stat : 7115 (java) S 7108 7110 7064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 51255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7116] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7116/stat : 7116 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200566841 1756155904 51255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7117] ppid=7108 vsize=1714996 CPUtime=0.01 /proc/7110/task/7117/stat : 7117 (java) S 7108 7110 7064 0 -1 64 17 0 0 0 1 0 0 0 17 0 13 0 200566841 1756155904 51255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7118] ppid=7108 vsize=1714996 CPUtime=1.04 /proc/7110/task/7118/stat : 7118 (java) S 7108 7110 7064 0 -1 64 1664 0 0 0 104 0 0 0 16 0 13 0 200566841 1756155904 51255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7119] ppid=7108 vsize=1714996 CPUtime=0.93 /proc/7110/task/7119/stat : 7119 (java) S 7108 7110 7064 0 -1 64 2266 0 0 0 92 1 0 0 16 0 13 0 200566841 1756155904 51255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7120] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7120/stat : 7120 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200566841 1756155904 51255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7121] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7121/stat : 7121 (java) S 7108 7110 7064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200566841 1756155904 51255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7122] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7122/stat : 7122 (java) S 7108 7110 7064 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 200566985 1756155904 51255 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.92 Current children cumulated vsize (Kb) 1714996 [startup+50.03 s] /proc/loadavg: 0.95 0.97 0.99 2/76 7122 /proc/meminfo: memFree=1576720/2055920 swapFree=4181844/4192956 [pid=7110] ppid=7108 vsize=1714996 CPUtime=52 /proc/7110/stat : 7110 (java) R 7108 7110 7064 0 -1 0 61129 0 1 0 5172 28 0 0 25 0 13 0 200566831 1756155904 50687 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071518799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7110/statm: 428749 50687 1909 14 0 415496 0 [pid=7110/tid=7111] ppid=7108 vsize=1714996 CPUtime=0.44 /proc/7110/task/7111/stat : 7111 (java) S 7108 7110 7064 0 -1 64 7308 0 0 0 41 3 0 0 16 0 13 0 200566834 1756155904 50687 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7112] ppid=7108 vsize=1714996 CPUtime=0.44 /proc/7110/task/7112/stat : 7112 (java) S 7108 7110 7064 0 -1 64 7282 0 0 0 42 2 0 0 16 0 13 0 200566834 1756155904 50687 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7113] ppid=7108 vsize=1714996 CPUtime=0.01 /proc/7110/task/7113/stat : 7113 (java) S 7108 7110 7064 0 -1 64 48 0 0 0 1 0 0 0 17 0 13 0 200566837 1756155904 50687 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7114] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7114/stat : 7114 (java) S 7108 7110 7064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 50687 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7115] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7115/stat : 7115 (java) S 7108 7110 7064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 50687 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7116] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7116/stat : 7116 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200566841 1756155904 50687 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7117] ppid=7108 vsize=1714996 CPUtime=0.01 /proc/7110/task/7117/stat : 7117 (java) S 7108 7110 7064 0 -1 64 17 0 0 0 1 0 0 0 17 0 13 0 200566841 1756155904 50687 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7118] ppid=7108 vsize=1714996 CPUtime=1.04 /proc/7110/task/7118/stat : 7118 (java) S 7108 7110 7064 0 -1 64 1664 0 0 0 104 0 0 0 16 0 13 0 200566841 1756155904 50687 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7119] ppid=7108 vsize=1714996 CPUtime=0.93 /proc/7110/task/7119/stat : 7119 (java) S 7108 7110 7064 0 -1 64 2266 0 0 0 92 1 0 0 16 0 13 0 200566841 1756155904 50687 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7120] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7120/stat : 7120 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200566841 1756155904 50687 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7121] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7121/stat : 7121 (java) S 7108 7110 7064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200566841 1756155904 50687 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7122] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7122/stat : 7122 (java) S 7108 7110 7064 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 200566985 1756155904 50687 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52 Current children cumulated vsize (Kb) 1714996 [startup+60.0367 s] /proc/loadavg: 0.95 0.97 0.99 2/76 7122 /proc/meminfo: memFree=1546832/2055920 swapFree=4181844/4192956 [pid=7110] ppid=7108 vsize=1714996 CPUtime=62.09 /proc/7110/stat : 7110 (java) R 7108 7110 7064 0 -1 0 69312 0 1 0 6178 31 0 0 18 0 13 0 200566831 1756155904 58179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071482865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7110/statm: 428749 58179 1909 14 0 415496 0 [pid=7110/tid=7111] ppid=7108 vsize=1714996 CPUtime=0.55 /proc/7110/task/7111/stat : 7111 (java) S 7108 7110 7064 0 -1 64 8985 0 0 0 51 4 0 0 16 0 13 0 200566834 1756155904 58179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7112] ppid=7108 vsize=1714996 CPUtime=0.55 /proc/7110/task/7112/stat : 7112 (java) S 7108 7110 7064 0 -1 64 9149 0 0 0 52 3 0 0 16 0 13 0 200566834 1756155904 58179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7113] ppid=7108 vsize=1714996 CPUtime=0.02 /proc/7110/task/7113/stat : 7113 (java) S 7108 7110 7064 0 -1 64 50 0 0 0 1 1 0 0 16 0 13 0 200566837 1756155904 58179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7114] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7114/stat : 7114 (java) S 7108 7110 7064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 58179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7115] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7115/stat : 7115 (java) S 7108 7110 7064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 58179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7116] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7116/stat : 7116 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200566841 1756155904 58179 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=7110/tid=7114] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7114/stat : 7114 (java) S 7108 7110 7064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 122532 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7115] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7115/stat : 7115 (java) S 7108 7110 7064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 122532 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7116] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7116/stat : 7116 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200566841 1756155904 122532 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7117] ppid=7108 vsize=1714996 CPUtime=0.01 /proc/7110/task/7117/stat : 7117 (java) S 7108 7110 7064 0 -1 64 17 0 0 0 1 0 0 0 16 0 13 0 200566841 1756155904 122532 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7118] ppid=7108 vsize=1714996 CPUtime=1.16 /proc/7110/task/7118/stat : 7118 (java) S 7108 7110 7064 0 -1 64 1673 0 0 0 116 0 0 0 17 0 13 0 200566841 1756155904 122532 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7119] ppid=7108 vsize=1714996 CPUtime=0.96 /proc/7110/task/7119/stat : 7119 (java) S 7108 7110 7064 0 -1 64 2267 0 0 0 95 1 0 0 17 0 13 0 200566841 1756155904 122532 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7120] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7120/stat : 7120 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200566841 1756155904 122532 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7121] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7121/stat : 7121 (java) S 7108 7110 7064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200566841 1756155904 122532 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7122] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7122/stat : 7122 (java) S 7108 7110 7064 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 200566985 1756155904 122532 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.31 Current children cumulated vsize (Kb) 1714996 [startup+1769.29 s] /proc/loadavg: 1.02 1.02 1.00 2/76 7317 /proc/meminfo: memFree=1287576/2055920 swapFree=4181844/4192956 [pid=7110] ppid=7108 vsize=1714996 CPUtime=1797.34 /proc/7110/stat : 7110 (java) R 7108 7110 7064 0 -1 0 170195 0 1 0 179506 228 0 0 23 0 13 0 200566831 1756155904 122542 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071774469 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7110/statm: 428749 122542 1909 14 0 415496 0 [pid=7110/tid=7111] ppid=7108 vsize=1714996 CPUtime=27.65 /proc/7110/task/7111/stat : 7111 (java) S 7108 7110 7064 0 -1 64 46154 0 0 0 2698 67 0 0 16 0 13 0 200566834 1756155904 122542 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7112] ppid=7108 vsize=1714996 CPUtime=27.62 /proc/7110/task/7112/stat : 7112 (java) S 7108 7110 7064 0 -1 64 49764 0 0 0 2683 79 0 0 16 0 13 0 200566834 1756155904 122542 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7113] ppid=7108 vsize=1714996 CPUtime=0.74 /proc/7110/task/7113/stat : 7113 (java) S 7108 7110 7064 0 -1 64 116 0 0 0 45 29 0 0 15 0 13 0 200566837 1756155904 122542 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7114] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7114/stat : 7114 (java) S 7108 7110 7064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 122542 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7115] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7115/stat : 7115 (java) S 7108 7110 7064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 122542 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7116] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7116/stat : 7116 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200566841 1756155904 122542 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7117] ppid=7108 vsize=1714996 CPUtime=0.01 /proc/7110/task/7117/stat : 7117 (java) S 7108 7110 7064 0 -1 64 17 0 0 0 1 0 0 0 16 0 13 0 200566841 1756155904 122542 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7118] ppid=7108 vsize=1714996 CPUtime=1.16 /proc/7110/task/7118/stat : 7118 (java) S 7108 7110 7064 0 -1 64 1673 0 0 0 116 0 0 0 17 0 13 0 200566841 1756155904 122542 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7119] ppid=7108 vsize=1714996 CPUtime=0.96 /proc/7110/task/7119/stat : 7119 (java) S 7108 7110 7064 0 -1 64 2267 0 0 0 95 1 0 0 17 0 13 0 200566841 1756155904 122542 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7120] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7120/stat : 7120 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200566841 1756155904 122542 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7121] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7121/stat : 7121 (java) S 7108 7110 7064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200566841 1756155904 122542 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7122] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7122/stat : 7122 (java) S 7108 7110 7064 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 200566985 1756155904 122542 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.34 Current children cumulated vsize (Kb) 1714996 [startup+1770.3 s] /proc/loadavg: 1.02 1.02 1.00 2/76 7317 /proc/meminfo: memFree=1287576/2055920 swapFree=4181844/4192956 [pid=7110] ppid=7108 vsize=1714996 CPUtime=1798.37 /proc/7110/stat : 7110 (java) R 7108 7110 7064 0 -1 0 170208 0 1 0 179609 228 0 0 19 0 13 0 200566831 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071482725 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7110/statm: 428749 122552 1909 14 0 415496 0 [pid=7110/tid=7111] ppid=7108 vsize=1714996 CPUtime=27.68 /proc/7110/task/7111/stat : 7111 (java) S 7108 7110 7064 0 -1 64 46161 0 0 0 2701 67 0 0 16 0 13 0 200566834 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7112] ppid=7108 vsize=1714996 CPUtime=27.65 /proc/7110/task/7112/stat : 7112 (java) S 7108 7110 7064 0 -1 64 49768 0 0 0 2686 79 0 0 16 0 13 0 200566834 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7113] ppid=7108 vsize=1714996 CPUtime=0.74 /proc/7110/task/7113/stat : 7113 (java) S 7108 7110 7064 0 -1 64 116 0 0 0 45 29 0 0 16 0 13 0 200566837 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7114] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7114/stat : 7114 (java) S 7108 7110 7064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7115] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7115/stat : 7115 (java) S 7108 7110 7064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7116] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7116/stat : 7116 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200566841 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7117] ppid=7108 vsize=1714996 CPUtime=0.01 /proc/7110/task/7117/stat : 7117 (java) S 7108 7110 7064 0 -1 64 17 0 0 0 1 0 0 0 16 0 13 0 200566841 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7118] ppid=7108 vsize=1714996 CPUtime=1.16 /proc/7110/task/7118/stat : 7118 (java) S 7108 7110 7064 0 -1 64 1673 0 0 0 116 0 0 0 17 0 13 0 200566841 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7119] ppid=7108 vsize=1714996 CPUtime=0.96 /proc/7110/task/7119/stat : 7119 (java) S 7108 7110 7064 0 -1 64 2267 0 0 0 95 1 0 0 17 0 13 0 200566841 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7120] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7120/stat : 7120 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200566841 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7121] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7121/stat : 7121 (java) S 7108 7110 7064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200566841 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7122] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7122/stat : 7122 (java) S 7108 7110 7064 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 200566985 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.37 Current children cumulated vsize (Kb) 1714996 [startup+1771.3 s] /proc/loadavg: 1.02 1.02 1.00 2/76 7317 /proc/meminfo: memFree=1287576/2055920 swapFree=4181844/4192956 [pid=7110] ppid=7108 vsize=1714996 CPUtime=1799.39 /proc/7110/stat : 7110 (java) R 7108 7110 7064 0 -1 0 170210 0 1 0 179711 228 0 0 18 0 13 0 200566831 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071774551 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7110/statm: 428749 122552 1909 14 0 415496 0 [pid=7110/tid=7111] ppid=7108 vsize=1714996 CPUtime=27.7 /proc/7110/task/7111/stat : 7111 (java) S 7108 7110 7064 0 -1 64 46161 0 0 0 2703 67 0 0 16 0 13 0 200566834 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7112] ppid=7108 vsize=1714996 CPUtime=27.67 /proc/7110/task/7112/stat : 7112 (java) S 7108 7110 7064 0 -1 64 49768 0 0 0 2688 79 0 0 16 0 13 0 200566834 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7113] ppid=7108 vsize=1714996 CPUtime=0.74 /proc/7110/task/7113/stat : 7113 (java) S 7108 7110 7064 0 -1 64 116 0 0 0 45 29 0 0 16 0 13 0 200566837 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7114] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7114/stat : 7114 (java) S 7108 7110 7064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7115] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7115/stat : 7115 (java) S 7108 7110 7064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7116] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7116/stat : 7116 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200566841 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7117] ppid=7108 vsize=1714996 CPUtime=0.01 /proc/7110/task/7117/stat : 7117 (java) S 7108 7110 7064 0 -1 64 17 0 0 0 1 0 0 0 16 0 13 0 200566841 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7118] ppid=7108 vsize=1714996 CPUtime=1.16 /proc/7110/task/7118/stat : 7118 (java) S 7108 7110 7064 0 -1 64 1673 0 0 0 116 0 0 0 17 0 13 0 200566841 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7119] ppid=7108 vsize=1714996 CPUtime=0.96 /proc/7110/task/7119/stat : 7119 (java) S 7108 7110 7064 0 -1 64 2267 0 0 0 95 1 0 0 17 0 13 0 200566841 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7120] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7120/stat : 7120 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200566841 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7121] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7121/stat : 7121 (java) S 7108 7110 7064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200566841 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7122] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7122/stat : 7122 (java) S 7108 7110 7064 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 200566985 1756155904 122552 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.39 Current children cumulated vsize (Kb) 1714996 [startup+1772.31 s] /proc/loadavg: 1.02 1.02 1.00 2/76 7317 /proc/meminfo: memFree=1287448/2055920 swapFree=4181844/4192956 [pid=7110] ppid=7108 vsize=1714996 CPUtime=1800.42 /proc/7110/stat : 7110 (java) R 7108 7110 7064 0 -1 0 170224 0 1 0 179814 228 0 0 21 0 13 0 200566831 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071676605 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7110/statm: 428749 122564 1909 14 0 415496 0 [pid=7110/tid=7111] ppid=7108 vsize=1714996 CPUtime=27.72 /proc/7110/task/7111/stat : 7111 (java) S 7108 7110 7064 0 -1 64 46169 0 0 0 2705 67 0 0 16 0 13 0 200566834 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7112] ppid=7108 vsize=1714996 CPUtime=27.7 /proc/7110/task/7112/stat : 7112 (java) S 7108 7110 7064 0 -1 64 49772 0 0 0 2691 79 0 0 16 0 13 0 200566834 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7113] ppid=7108 vsize=1714996 CPUtime=0.74 /proc/7110/task/7113/stat : 7113 (java) S 7108 7110 7064 0 -1 64 116 0 0 0 45 29 0 0 16 0 13 0 200566837 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7114] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7114/stat : 7114 (java) S 7108 7110 7064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7115] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7115/stat : 7115 (java) S 7108 7110 7064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7116] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7116/stat : 7116 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200566841 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7117] ppid=7108 vsize=1714996 CPUtime=0.01 /proc/7110/task/7117/stat : 7117 (java) S 7108 7110 7064 0 -1 64 17 0 0 0 1 0 0 0 16 0 13 0 200566841 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7118] ppid=7108 vsize=1714996 CPUtime=1.16 /proc/7110/task/7118/stat : 7118 (java) S 7108 7110 7064 0 -1 64 1673 0 0 0 116 0 0 0 17 0 13 0 200566841 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7119] ppid=7108 vsize=1714996 CPUtime=0.96 /proc/7110/task/7119/stat : 7119 (java) S 7108 7110 7064 0 -1 64 2267 0 0 0 95 1 0 0 17 0 13 0 200566841 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7120] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7120/stat : 7120 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200566841 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7121] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7121/stat : 7121 (java) S 7108 7110 7064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200566841 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7122] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7122/stat : 7122 (java) S 7108 7110 7064 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 200566985 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.42 Current children cumulated vsize (Kb) 1714996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1772.32 s] /proc/loadavg: 1.02 1.02 1.00 2/76 7317 /proc/meminfo: memFree=1287448/2055920 swapFree=4181844/4192956 [pid=7110] ppid=7108 vsize=1714996 CPUtime=1800.43 /proc/7110/stat : 7110 (java) R 7108 7110 7064 0 -1 0 170224 0 1 0 179815 228 0 0 21 0 13 0 200566831 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071675311 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7110/statm: 428749 122564 1909 14 0 415496 0 [pid=7110/tid=7111] ppid=7108 vsize=1714996 CPUtime=27.72 /proc/7110/task/7111/stat : 7111 (java) S 7108 7110 7064 0 -1 64 46169 0 0 0 2705 67 0 0 16 0 13 0 200566834 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7112] ppid=7108 vsize=1714996 CPUtime=27.7 /proc/7110/task/7112/stat : 7112 (java) S 7108 7110 7064 0 -1 64 49772 0 0 0 2691 79 0 0 16 0 13 0 200566834 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7113] ppid=7108 vsize=1714996 CPUtime=0.74 /proc/7110/task/7113/stat : 7113 (java) S 7108 7110 7064 0 -1 64 116 0 0 0 45 29 0 0 16 0 13 0 200566837 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7114] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7114/stat : 7114 (java) S 7108 7110 7064 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7115] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7115/stat : 7115 (java) S 7108 7110 7064 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200566837 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7116] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7116/stat : 7116 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200566841 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7117] ppid=7108 vsize=1714996 CPUtime=0.01 /proc/7110/task/7117/stat : 7117 (java) S 7108 7110 7064 0 -1 64 17 0 0 0 1 0 0 0 16 0 13 0 200566841 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7118] ppid=7108 vsize=1714996 CPUtime=1.16 /proc/7110/task/7118/stat : 7118 (java) S 7108 7110 7064 0 -1 64 1673 0 0 0 116 0 0 0 17 0 13 0 200566841 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7119] ppid=7108 vsize=1714996 CPUtime=0.96 /proc/7110/task/7119/stat : 7119 (java) S 7108 7110 7064 0 -1 64 2267 0 0 0 95 1 0 0 17 0 13 0 200566841 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7120] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7120/stat : 7120 (java) S 7108 7110 7064 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200566841 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7110/tid=7121] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7121/stat : 7121 (java) S 7108 7110 7064 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200566841 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7110/tid=7122] ppid=7108 vsize=1714996 CPUtime=0 /proc/7110/task/7122/stat : 7122 (java) S 7108 7110 7064 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 200566985 1756155904 122564 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (Kb) 1714996 Sending SIGTERM to -7110 Sleeping 2 seconds Child status: 143 Real time (s): 1772.41 CPU time (s): 1800.53 CPU user time (s): 1798.17 CPU system time (s): 2.36264 CPU usage (%): 101.586 Max. virtual memory (cumulated for all children) (Kb): 1715128
Begin job on node65 on Sat Jun 3 15:36:15 UTC 2006 FILE ID= 44004-1149348975 PBS_JOBID= 310871 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air06.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node65/44004-1149348975/instance-44004-1149348975.opb 696978061 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-44004-1149348975 -o ROOT/results/node65/solver-44004-1149348975 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node65/44004-1149348975/instance-44004-1149348975.opb 696978061 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 9ad64595976e8d5a822b98ffb6dea9d7 RANDOM SEED= 696978061 /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.283 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.283 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: 1772512 kB Buffers: 17640 kB Cached: 202352 kB SwapCached: 2776 kB Active: 53396 kB Inactive: 175264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1772512 kB SwapTotal: 4192956 kB SwapFree: 4181844 kB Dirty: 268 kB Writeback: 0 kB Mapped: 14748 kB Slab: 40696 kB Committed_AS: 339668 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node65 on Sat Jun 3 16:05:48 UTC 2006