Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | 10 | 1800.86 | 1781.65 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_30.r.opb |
MD5SUM | 80d844acb755df30f8eb4d34a1c5fb81 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 0.378942 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 30 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.22 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node36/50598-1154086383/instance-50598-1154086383.opb 0.22 c reading problem ... 0.40 c ... done. Time 0.179 ms. 0.40 c #vars 100 0.40 c #constraints 100 0.41 c SATISFIABLE 0.41 c OPTIMIZING... 0.41 c Got one! Ellapsed CPU time (in seconds):0.19 0.41 o 14 0.48 c Got one! Ellapsed CPU time (in seconds):0.262 0.48 o 12 0.63 c Got one! Ellapsed CPU time (in seconds):0.415 0.63 o 11 12.15 c Got one! Ellapsed CPU time (in seconds):11.926 12.15 o 10 1781.52 c starts : 23 1781.52 c conflicts : 37246 1781.52 c decisions : 94140 1781.52 c propagations : 321578 1781.52 c inspects : 616922329 1781.52 c learnt literals : 0 1781.52 c learnt binary clauses : 0 1781.52 c learnt ternary clauses : 0 1781.52 c learnt clauses : 37245 1781.52 c root simplifications : 0 1781.52 c removed literals (reason simplification) : 0 1781.52 c reason swapping (by a shorter reason) : 0 1781.52 c Calls to reduceDB : 0 1781.52 c speed (decisions/second) : 53.20531804504649 1781.52 c non guided choices 0 1781.52 s SATISFIABLE 1781.52 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 x21 x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 1781.52 v -x30 -x31 x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1781.52 v -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 1781.52 v x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1781.52 c objective function=10 1781.52 c Total wall clock time (ms): 1781.302
OK 10
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node36/watcher-50598-1154086383 -o ROOT/results/node36/solver-50598-1154086383 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node36/50598-1154086383/instance-50598-1154086383.opb 20635644 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/64 23713 /proc/meminfo: memFree=1525472/2055920 swapFree=4183160/4192956 [pid=23713] ppid=23711 vsize=1452 CPUtime=0 /proc/23713/stat : 23713 (java) R 23711 23713 23664 0 -1 0 95 0 0 0 0 0 0 0 18 0 1 0 155509765 1486848 67 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/23713/statm: 363 77 59 14 0 8 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.95 0.98 2/76 23728 /proc/meminfo: memFree=1338136/2055920 swapFree=4183160/4192956 [pid=23713] ppid=23711 vsize=1712980 CPUtime=11.46 /proc/23713/stat : 23713 (java) R 23711 23713 23664 0 -1 0 53849 0 1 0 1122 24 0 0 21 0 13 0 155509765 1754091520 48622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071472504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23713/statm: 428245 48622 1910 14 0 414992 0 [pid=23713/tid=23714] ppid=23711 vsize=1712980 CPUtime=0.19 /proc/23713/task/23714/stat : 23714 (java) S 23711 23713 23664 0 -1 64 5385 0 0 0 17 2 0 0 16 0 13 0 155509769 1754091520 48622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23715] ppid=23711 vsize=1712980 CPUtime=0.19 /proc/23713/task/23715/stat : 23715 (java) S 23711 23713 23664 0 -1 64 5599 0 0 0 17 2 0 0 16 0 13 0 155509769 1754091520 48622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23716] ppid=23711 vsize=1712980 CPUtime=0 /proc/23713/task/23716/stat : 23716 (java) S 23711 23713 23664 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 155509771 1754091520 48622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23717] ppid=23711 vsize=1712980 CPUtime=0 /proc/23713/task/23717/stat : 23717 (java) S 23711 23713 23664 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155509772 1754091520 48622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23718] ppid=23711 vsize=1712980 CPUtime=0 /proc/23713/task/23718/stat : 23718 (java) S 23711 23713 23664 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155509772 1754091520 48622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23719] ppid=23711 vsize=1712980 CPUtime=0 /proc/23713/task/23719/stat : 23719 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155509775 1754091520 48622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23720] ppid=23711 vsize=1712980 CPUtime=0 /proc/23713/task/23720/stat : 23720 (java) S 23711 23713 23664 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 155509775 1754091520 48622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23721] ppid=23711 vsize=1712980 CPUtime=0.98 /proc/23713/task/23721/stat : 23721 (java) S 23711 23713 23664 0 -1 64 2856 0 0 0 98 0 0 0 17 0 13 0 155509775 1754091520 48622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23722] ppid=23711 vsize=1712980 CPUtime=0.9 /proc/23713/task/23722/stat : 23722 (java) S 23711 23713 23664 0 -1 64 1804 0 0 0 90 0 0 0 16 0 13 0 155509775 1754091520 48622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23723] ppid=23711 vsize=1712980 CPUtime=0 /proc/23713/task/23723/stat : 23723 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155509775 1754091520 48622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23724] ppid=23711 vsize=1712980 CPUtime=0 /proc/23713/task/23724/stat : 23724 (java) S 23711 23713 23664 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155509775 1754091520 48622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23728] ppid=23711 vsize=1712980 CPUtime=0 /proc/23713/task/23728/stat : 23728 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 155509829 1754091520 48622 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.46 Current children cumulated vsize (Kb) 1712980 [startup+20.0101 s] /proc/loadavg: 0.94 0.96 0.98 2/76 23729 /proc/meminfo: memFree=1329936/2055920 swapFree=4183160/4192956 [pid=23713] ppid=23711 vsize=1711860 CPUtime=21.59 /proc/23713/stat : 23713 (java) R 23711 23713 23664 0 -1 0 56431 0 1 0 2134 25 0 0 18 0 13 0 155509765 1752944640 50697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071473225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23713/statm: 427965 50697 1911 14 0 414712 0 [pid=23713/tid=23714] ppid=23711 vsize=1711860 CPUtime=0.26 /proc/23713/task/23714/stat : 23714 (java) S 23711 23713 23664 0 -1 64 6733 0 0 0 23 3 0 0 16 0 13 0 155509769 1752944640 50697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23715] ppid=23711 vsize=1711860 CPUtime=0.25 /proc/23713/task/23715/stat : 23715 (java) S 23711 23713 23664 0 -1 64 6769 0 0 0 23 2 0 0 16 0 13 0 155509769 1752944640 50697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23716] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23716/stat : 23716 (java) S 23711 23713 23664 0 -1 64 31 0 0 0 0 0 0 0 15 0 13 0 155509771 1752944640 50697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23717] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23717/stat : 23717 (java) S 23711 23713 23664 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 50697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23718] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23718/stat : 23718 (java) S 23711 23713 23664 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 50697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23719] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23719/stat : 23719 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155509775 1752944640 50697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23720] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23720/stat : 23720 (java) S 23711 23713 23664 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 155509775 1752944640 50697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23721] ppid=23711 vsize=1711860 CPUtime=1.03 /proc/23713/task/23721/stat : 23721 (java) S 23711 23713 23664 0 -1 64 2910 0 0 0 103 0 0 0 17 0 13 0 155509775 1752944640 50697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23722] ppid=23711 vsize=1711860 CPUtime=0.9 /proc/23713/task/23722/stat : 23722 (java) S 23711 23713 23664 0 -1 64 1804 0 0 0 90 0 0 0 16 0 13 0 155509775 1752944640 50697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23723] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23723/stat : 23723 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155509775 1752944640 50697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23724] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23724/stat : 23724 (java) S 23711 23713 23664 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155509775 1752944640 50697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23729] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23729/stat : 23729 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155510980 1752944640 50697 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.59 Current children cumulated vsize (Kb) 1711860 [startup+30.0182 s] /proc/loadavg: 0.95 0.96 0.98 2/76 23729 /proc/meminfo: memFree=1328336/2055920 swapFree=4183160/4192956 [pid=23713] ppid=23711 vsize=1711860 CPUtime=31.66 /proc/23713/stat : 23713 (java) R 23711 23713 23664 0 -1 0 58568 0 1 0 3140 26 0 0 25 0 13 0 155509765 1752944640 51041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071436123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23713/statm: 427965 51041 1911 14 0 414712 0 [pid=23713/tid=23714] ppid=23711 vsize=1711860 CPUtime=0.32 /proc/23713/task/23714/stat : 23714 (java) S 23711 23713 23664 0 -1 64 8037 0 0 0 29 3 0 0 16 0 13 0 155509769 1752944640 51041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23715] ppid=23711 vsize=1711860 CPUtime=0.31 /proc/23713/task/23715/stat : 23715 (java) S 23711 23713 23664 0 -1 64 7594 0 0 0 28 3 0 0 16 0 13 0 155509769 1752944640 51041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23716] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23716/stat : 23716 (java) S 23711 23713 23664 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 155509771 1752944640 51041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23717] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23717/stat : 23717 (java) S 23711 23713 23664 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 51041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23718] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23718/stat : 23718 (java) S 23711 23713 23664 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 51041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23719] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23719/stat : 23719 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155509775 1752944640 51041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23720] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23720/stat : 23720 (java) S 23711 23713 23664 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 155509775 1752944640 51041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23721] ppid=23711 vsize=1711860 CPUtime=1.03 /proc/23713/task/23721/stat : 23721 (java) S 23711 23713 23664 0 -1 64 2910 0 0 0 103 0 0 0 16 0 13 0 155509775 1752944640 51041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23722] ppid=23711 vsize=1711860 CPUtime=0.91 /proc/23713/task/23722/stat : 23722 (java) S 23711 23713 23664 0 -1 64 1804 0 0 0 91 0 0 0 16 0 13 0 155509775 1752944640 51041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23723] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23723/stat : 23723 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155509775 1752944640 51041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23724] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23724/stat : 23724 (java) S 23711 23713 23664 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155509775 1752944640 51041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23729] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23729/stat : 23729 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155510980 1752944640 51041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.66 Current children cumulated vsize (Kb) 1711860 [startup+40.0252 s] /proc/loadavg: 1.10 0.99 0.99 2/76 23729 /proc/meminfo: memFree=1329872/2055920 swapFree=4183160/4192956 [pid=23713] ppid=23711 vsize=1711860 CPUtime=41.73 /proc/23713/stat : 23713 (java) R 23711 23713 23664 0 -1 0 60080 0 1 0 4146 27 0 0 25 0 13 0 155509765 1752944640 50656 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071441006 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23713/statm: 427965 50656 1911 14 0 414712 0 [pid=23713/tid=23714] ppid=23711 vsize=1711860 CPUtime=0.38 /proc/23713/task/23714/stat : 23714 (java) S 23711 23713 23664 0 -1 64 8871 0 0 0 34 4 0 0 16 0 13 0 155509769 1752944640 50656 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23715] ppid=23711 vsize=1711860 CPUtime=0.37 /proc/23713/task/23715/stat : 23715 (java) S 23711 23713 23664 0 -1 64 8264 0 0 0 34 3 0 0 17 0 13 0 155509769 1752944640 50656 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23716] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23716/stat : 23716 (java) S 23711 23713 23664 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 155509771 1752944640 50656 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23717] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23717/stat : 23717 (java) S 23711 23713 23664 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 50656 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23718] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23718/stat : 23718 (java) S 23711 23713 23664 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 50656 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23719] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23719/stat : 23719 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155509775 1752944640 50656 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23720] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23720/stat : 23720 (java) S 23711 23713 23664 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 155509775 1752944640 50656 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23721] ppid=23711 vsize=1711860 CPUtime=1.03 /proc/23713/task/23721/stat : 23721 (java) S 23711 23713 23664 0 -1 64 2910 0 0 0 103 0 0 0 16 0 13 0 155509775 1752944640 50656 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23722] ppid=23711 vsize=1711860 CPUtime=0.91 /proc/23713/task/23722/stat : 23722 (java) S 23711 23713 23664 0 -1 64 1804 0 0 0 91 0 0 0 16 0 13 0 155509775 1752944640 50656 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23723] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23723/stat : 23723 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155509775 1752944640 50656 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23724] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23724/stat : 23724 (java) S 23711 23713 23664 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155509775 1752944640 50656 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23729] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23729/stat : 23729 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155510980 1752944640 50656 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.73 Current children cumulated vsize (Kb) 1711860 [startup+50.0322 s] /proc/loadavg: 1.09 0.99 0.99 2/76 23729 /proc/meminfo: memFree=1331984/2055920 swapFree=4183160/4192956 [pid=23713] ppid=23711 vsize=1711860 CPUtime=51.79 /proc/23713/stat : 23713 (java) R 23711 23713 23664 0 -1 0 61312 0 1 0 5152 27 0 0 25 0 13 0 155509765 1752944640 50135 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071392578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23713/statm: 427965 50135 1911 14 0 414712 0 [pid=23713/tid=23714] ppid=23711 vsize=1711860 CPUtime=0.44 /proc/23713/task/23714/stat : 23714 (java) S 23711 23713 23664 0 -1 64 9541 0 0 0 40 4 0 0 16 0 13 0 155509769 1752944640 50135 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23715] ppid=23711 vsize=1711860 CPUtime=0.43 /proc/23713/task/23715/stat : 23715 (java) S 23711 23713 23664 0 -1 64 8818 0 0 0 39 4 0 0 16 0 13 0 155509769 1752944640 50135 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23716] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23716/stat : 23716 (java) S 23711 23713 23664 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 155509771 1752944640 50135 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23717] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23717/stat : 23717 (java) S 23711 23713 23664 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 50135 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23718] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23718/stat : 23718 (java) S 23711 23713 23664 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 50135 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23719] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23719/stat : 23719 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155509775 1752944640 50135 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23720] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23720/stat : 23720 (java) S 23711 23713 23664 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 155509775 1752944640 50135 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23721] ppid=23711 vsize=1711860 CPUtime=1.03 /proc/23713/task/23721/stat : 23721 (java) S 23711 23713 23664 0 -1 64 2910 0 0 0 103 0 0 0 16 0 13 0 155509775 1752944640 50135 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23722] ppid=23711 vsize=1711860 CPUtime=0.92 /proc/23713/task/23722/stat : 23722 (java) S 23711 23713 23664 0 -1 64 1805 0 0 0 92 0 0 0 16 0 13 0 155509775 1752944640 50135 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23723] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23723/stat : 23723 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155509775 1752944640 50135 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23724] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23724/stat : 23724 (java) S 23711 23713 23664 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155509775 1752944640 50135 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23729] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23729/stat : 23729 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 155510980 1752944640 50135 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.79 Current children cumulated vsize (Kb) 1711860 [startup+60.0392 s] /proc/loadavg: 1.07 0.99 0.99 2/76 23729 /proc/meminfo: memFree=1333264/2055920 swapFree=4183160/4192956 [pid=23713] ppid=23711 vsize=1711860 CPUtime=61.87 /proc/23713/stat : 23713 (java) R 23711 23713 23664 0 -1 0 62678 0 1 0 6159 28 0 0 17 0 13 0 155509765 1752944640 49826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071472504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23713/statm: 427965 49826 1911 14 0 414712 0 [pid=23713/tid=23714] ppid=23711 vsize=1711860 CPUtime=0.5 /proc/23713/task/23714/stat : 23714 (java) S 23711 23713 23664 0 -1 64 10133 0 0 0 46 4 0 0 17 0 13 0 155509769 1752944640 49826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23715] ppid=23711 vsize=1711860 CPUtime=0.5 /proc/23713/task/23715/stat : 23715 (java) S 23711 23713 23664 0 -1 64 9583 0 0 0 46 4 0 0 16 0 13 0 155509769 1752944640 49826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23716] ppid=23711 vsize=1711860 CPUtime=0.01 /proc/23713/task/23716/stat : 23716 (java) S 23711 23713 23664 0 -1 64 32 0 0 0 1 0 0 0 16 0 13 0 155509771 1752944640 49826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23717] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23717/stat : 23717 (java) S 23711 23713 23664 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 49826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23718] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23718/stat : 23718 (java) S 23711 23713 23664 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 49826 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23719] ppid=23711 vsize=1711860 CPUtime=0 ################ # More data... # ################ /proc/23713/task/23717/stat : 23717 (java) S 23711 23713 23664 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 115385 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23718] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23718/stat : 23718 (java) S 23711 23713 23664 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 115385 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23719] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23719/stat : 23719 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155509775 1752944640 115385 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23720] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23720/stat : 23720 (java) S 23711 23713 23664 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 155509775 1752944640 115385 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23721] ppid=23711 vsize=1711860 CPUtime=1.04 /proc/23713/task/23721/stat : 23721 (java) S 23711 23713 23664 0 -1 64 2910 0 0 0 104 0 0 0 16 0 13 0 155509775 1752944640 115385 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23722] ppid=23711 vsize=1711860 CPUtime=0.92 /proc/23713/task/23722/stat : 23722 (java) S 23711 23713 23664 0 -1 64 1805 0 0 0 92 0 0 0 17 0 13 0 155509775 1752944640 115385 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23723] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23723/stat : 23723 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155509775 1752944640 115385 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23724] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23724/stat : 23724 (java) S 23711 23713 23664 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155509775 1752944640 115385 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23729] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23729/stat : 23729 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155510980 1752944640 115385 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 1711860 [startup+1778.47 s] /proc/loadavg: 1.00 1.00 1.00 3/76 23929 /proc/meminfo: memFree=1069576/2055920 swapFree=4183160/4192956 [pid=23713] ppid=23711 vsize=1711860 CPUtime=1797.65 /proc/23713/stat : 23713 (java) S 23711 23713 23664 0 -1 0 175528 0 1 0 179667 98 0 0 25 0 13 0 155509765 1752944640 115387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23713/statm: 427965 115387 1911 14 0 414712 0 [pid=23713/tid=23714] ppid=23711 vsize=1711860 CPUtime=18.68 /proc/23713/task/23714/stat : 23714 (java) R 23711 23713 23664 0 -1 64 45441 0 0 0 1846 22 0 0 17 0 13 0 155509769 1752944640 115387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152729513 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23715] ppid=23711 vsize=1711860 CPUtime=18.7 /proc/23713/task/23715/stat : 23715 (java) R 23711 23713 23664 0 -1 64 46729 0 0 0 1846 24 0 0 17 0 13 0 155509769 1752944640 115388 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154976157 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23716] ppid=23711 vsize=1711860 CPUtime=0.26 /proc/23713/task/23716/stat : 23716 (java) S 23711 23713 23664 0 -1 64 162 0 0 0 13 13 0 0 15 0 13 0 155509771 1752944640 115389 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23717] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23717/stat : 23717 (java) S 23711 23713 23664 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 115389 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23718] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23718/stat : 23718 (java) S 23711 23713 23664 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 115389 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23719] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23719/stat : 23719 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155509775 1752944640 115389 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23720] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23720/stat : 23720 (java) S 23711 23713 23664 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 155509775 1752944640 115389 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23721] ppid=23711 vsize=1711860 CPUtime=1.04 /proc/23713/task/23721/stat : 23721 (java) S 23711 23713 23664 0 -1 64 2910 0 0 0 104 0 0 0 16 0 13 0 155509775 1752944640 115389 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23722] ppid=23711 vsize=1711860 CPUtime=0.92 /proc/23713/task/23722/stat : 23722 (java) S 23711 23713 23664 0 -1 64 1805 0 0 0 92 0 0 0 17 0 13 0 155509775 1752944640 115389 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23723] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23723/stat : 23723 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155509775 1752944640 115389 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23724] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23724/stat : 23724 (java) S 23711 23713 23664 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155509775 1752944640 115389 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23729] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23729/stat : 23729 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155510980 1752944640 115389 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 1711860 [startup+1779.49 s] /proc/loadavg: 1.00 1.00 1.00 2/76 23929 /proc/meminfo: memFree=1069384/2055920 swapFree=4183160/4192956 [pid=23713] ppid=23711 vsize=1711860 CPUtime=1798.67 /proc/23713/stat : 23713 (java) R 23711 23713 23664 0 -1 0 175569 0 1 0 179769 98 0 0 25 0 13 0 155509765 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071441009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23713/statm: 427965 115426 1911 14 0 414712 0 [pid=23713/tid=23714] ppid=23711 vsize=1711860 CPUtime=18.69 /proc/23713/task/23714/stat : 23714 (java) S 23711 23713 23664 0 -1 64 45455 0 0 0 1847 22 0 0 16 0 13 0 155509769 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23715] ppid=23711 vsize=1711860 CPUtime=18.71 /proc/23713/task/23715/stat : 23715 (java) S 23711 23713 23664 0 -1 64 46755 0 0 0 1847 24 0 0 16 0 13 0 155509769 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23716] ppid=23711 vsize=1711860 CPUtime=0.26 /proc/23713/task/23716/stat : 23716 (java) S 23711 23713 23664 0 -1 64 162 0 0 0 13 13 0 0 15 0 13 0 155509771 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23717] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23717/stat : 23717 (java) S 23711 23713 23664 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23718] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23718/stat : 23718 (java) S 23711 23713 23664 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23719] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23719/stat : 23719 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155509775 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23720] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23720/stat : 23720 (java) S 23711 23713 23664 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 155509775 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23721] ppid=23711 vsize=1711860 CPUtime=1.04 /proc/23713/task/23721/stat : 23721 (java) S 23711 23713 23664 0 -1 64 2910 0 0 0 104 0 0 0 16 0 13 0 155509775 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23722] ppid=23711 vsize=1711860 CPUtime=0.92 /proc/23713/task/23722/stat : 23722 (java) S 23711 23713 23664 0 -1 64 1805 0 0 0 92 0 0 0 17 0 13 0 155509775 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23723] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23723/stat : 23723 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155509775 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23724] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23724/stat : 23724 (java) S 23711 23713 23664 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155509775 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23729] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23729/stat : 23729 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155510980 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 1711860 [startup+1780.5 s] /proc/loadavg: 1.00 1.00 1.00 2/76 23929 /proc/meminfo: memFree=1069384/2055920 swapFree=4183160/4192956 [pid=23713] ppid=23711 vsize=1711860 CPUtime=1799.67 /proc/23713/stat : 23713 (java) R 23711 23713 23664 0 -1 0 175569 0 1 0 179869 98 0 0 25 0 13 0 155509765 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071472606 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23713/statm: 427965 115426 1911 14 0 414712 0 [pid=23713/tid=23714] ppid=23711 vsize=1711860 CPUtime=18.69 /proc/23713/task/23714/stat : 23714 (java) S 23711 23713 23664 0 -1 64 45455 0 0 0 1847 22 0 0 16 0 13 0 155509769 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23715] ppid=23711 vsize=1711860 CPUtime=18.71 /proc/23713/task/23715/stat : 23715 (java) S 23711 23713 23664 0 -1 64 46755 0 0 0 1847 24 0 0 16 0 13 0 155509769 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23716] ppid=23711 vsize=1711860 CPUtime=0.26 /proc/23713/task/23716/stat : 23716 (java) S 23711 23713 23664 0 -1 64 162 0 0 0 13 13 0 0 16 0 13 0 155509771 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23717] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23717/stat : 23717 (java) S 23711 23713 23664 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23718] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23718/stat : 23718 (java) S 23711 23713 23664 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23719] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23719/stat : 23719 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155509775 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23720] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23720/stat : 23720 (java) S 23711 23713 23664 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 155509775 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23721] ppid=23711 vsize=1711860 CPUtime=1.04 /proc/23713/task/23721/stat : 23721 (java) S 23711 23713 23664 0 -1 64 2910 0 0 0 104 0 0 0 16 0 13 0 155509775 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23722] ppid=23711 vsize=1711860 CPUtime=0.92 /proc/23713/task/23722/stat : 23722 (java) S 23711 23713 23664 0 -1 64 1805 0 0 0 92 0 0 0 17 0 13 0 155509775 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23723] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23723/stat : 23723 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155509775 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23724] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23724/stat : 23724 (java) S 23711 23713 23664 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155509775 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23729] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23729/stat : 23729 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155510980 1752944640 115426 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 1711860 [startup+1781.51 s] /proc/loadavg: 1.00 1.00 1.00 2/76 23929 /proc/meminfo: memFree=1069192/2055920 swapFree=4183160/4192956 [pid=23713] ppid=23711 vsize=1711860 CPUtime=1800.71 /proc/23713/stat : 23713 (java) R 23711 23713 23664 0 -1 0 175632 0 1 0 179973 98 0 0 25 0 13 0 155509765 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071484284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23713/statm: 427965 115487 1911 14 0 414712 0 [pid=23713/tid=23714] ppid=23711 vsize=1711860 CPUtime=18.72 /proc/23713/task/23714/stat : 23714 (java) S 23711 23713 23664 0 -1 64 45469 0 0 0 1850 22 0 0 17 0 13 0 155509769 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23715] ppid=23711 vsize=1711860 CPUtime=18.74 /proc/23713/task/23715/stat : 23715 (java) S 23711 23713 23664 0 -1 64 46803 0 0 0 1850 24 0 0 16 0 13 0 155509769 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23716] ppid=23711 vsize=1711860 CPUtime=0.26 /proc/23713/task/23716/stat : 23716 (java) S 23711 23713 23664 0 -1 64 162 0 0 0 13 13 0 0 16 0 13 0 155509771 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23717] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23717/stat : 23717 (java) S 23711 23713 23664 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23718] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23718/stat : 23718 (java) S 23711 23713 23664 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23719] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23719/stat : 23719 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155509775 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23720] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23720/stat : 23720 (java) S 23711 23713 23664 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 155509775 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23721] ppid=23711 vsize=1711860 CPUtime=1.04 /proc/23713/task/23721/stat : 23721 (java) S 23711 23713 23664 0 -1 64 2910 0 0 0 104 0 0 0 16 0 13 0 155509775 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23722] ppid=23711 vsize=1711860 CPUtime=0.92 /proc/23713/task/23722/stat : 23722 (java) S 23711 23713 23664 0 -1 64 1805 0 0 0 92 0 0 0 17 0 13 0 155509775 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23723] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23723/stat : 23723 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155509775 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23724] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23724/stat : 23724 (java) S 23711 23713 23664 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155509775 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23729] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23729/stat : 23729 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155510980 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 1711860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1781.51 s] /proc/loadavg: 1.00 1.00 1.00 2/76 23929 /proc/meminfo: memFree=1069192/2055920 swapFree=4183160/4192956 [pid=23713] ppid=23711 vsize=1711860 CPUtime=1800.72 /proc/23713/stat : 23713 (java) R 23711 23713 23664 0 -1 0 175632 0 1 0 179974 98 0 0 25 0 13 0 155509765 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071440976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23713/statm: 427965 115487 1911 14 0 414712 0 [pid=23713/tid=23714] ppid=23711 vsize=1711860 CPUtime=18.72 /proc/23713/task/23714/stat : 23714 (java) S 23711 23713 23664 0 -1 64 45469 0 0 0 1850 22 0 0 17 0 13 0 155509769 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23715] ppid=23711 vsize=1711860 CPUtime=18.74 /proc/23713/task/23715/stat : 23715 (java) S 23711 23713 23664 0 -1 64 46803 0 0 0 1850 24 0 0 16 0 13 0 155509769 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23716] ppid=23711 vsize=1711860 CPUtime=0.26 /proc/23713/task/23716/stat : 23716 (java) S 23711 23713 23664 0 -1 64 162 0 0 0 13 13 0 0 16 0 13 0 155509771 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23717] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23717/stat : 23717 (java) S 23711 23713 23664 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23718] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23718/stat : 23718 (java) S 23711 23713 23664 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155509772 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23719] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23719/stat : 23719 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155509775 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23720] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23720/stat : 23720 (java) S 23711 23713 23664 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 155509775 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23721] ppid=23711 vsize=1711860 CPUtime=1.04 /proc/23713/task/23721/stat : 23721 (java) S 23711 23713 23664 0 -1 64 2910 0 0 0 104 0 0 0 16 0 13 0 155509775 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23722] ppid=23711 vsize=1711860 CPUtime=0.92 /proc/23713/task/23722/stat : 23722 (java) S 23711 23713 23664 0 -1 64 1805 0 0 0 92 0 0 0 17 0 13 0 155509775 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23723] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23723/stat : 23723 (java) S 23711 23713 23664 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155509775 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23713/tid=23724] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23724/stat : 23724 (java) S 23711 23713 23664 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155509775 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23713/tid=23729] ppid=23711 vsize=1711860 CPUtime=0 /proc/23713/task/23729/stat : 23729 (java) S 23711 23713 23664 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155510980 1752944640 115487 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 1711860 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1781.65 CPU time (s): 1800.86 CPU user time (s): 1799.8 CPU system time (s): 1.05784 CPU usage (%): 101.078 Max. virtual memory (cumulated for all children) (Kb): 1712980 The end
Begin job on node36 on Fri Jul 28 11:33:04 UTC 2006 FILE ID= 50598-1154086383 PBS_JOBID= 885352 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_30.r.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node36/50598-1154086383/instance-50598-1154086383.opb 20635644 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-50598-1154086383 -o ROOT/results/node36/solver-50598-1154086383 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node36/50598-1154086383/instance-50598-1154086383.opb 20635644 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 80d844acb755df30f8eb4d34a1c5fb81 RANDOM SEED= 20635644 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1525680 kB Buffers: 23180 kB Cached: 428576 kB SwapCached: 3640 kB Active: 41928 kB Inactive: 418492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1525680 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14728 kB Slab: 55840 kB Committed_AS: 555196 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node36 on Fri Jul 28 12:02:46 UTC 2006