Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | 11 | 1800.13 | 1769.6 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_2.opb |
MD5SUM | c0264878059fff5e6fa5f51839a60b24 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | NO |
Number of variables | 120 |
Total number of constraints | 10 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 54 |
Maximum length of a constraint | 56 |
Number of terms in the objective function | 80 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 2550 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1196 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4099 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/354970-1176741902/instance-354970-1176741902.opb 0.20/0.20 c reading problem ... 0.20/0.27 c ... done. Wall clock time 0.067s. 0.20/0.27 c CPU time (experimental) 0.22s. 0.20/0.27 c #vars 120 0.20/0.27 c #constraints 10 6.20/3.97 c SATISFIABLE 6.20/3.97 c OPTIMIZING... 6.20/3.97 c Got one! Elapsed wall clock time (in seconds):3.766 6.20/3.97 o 2263 9.03/6.48 c Got one! Elapsed wall clock time (in seconds):6.279 9.03/6.48 o 1879 11.99/9.28 c Got one! Elapsed wall clock time (in seconds):9.077 11.99/9.28 o 1559 14.86/12.00 c Got one! Elapsed wall clock time (in seconds):11.799 14.86/12.00 o 1511 18.00/15.17 c Got one! Elapsed wall clock time (in seconds):14.963 18.00/15.17 o 1447 21.24/18.37 c Got one! Elapsed wall clock time (in seconds):18.17 21.24/18.37 o 1385 22.70/19.75 c Got one! Elapsed wall clock time (in seconds):19.551 22.70/19.75 o 1227 23.61/20.61 c Got one! Elapsed wall clock time (in seconds):20.408 23.61/20.61 o 1167 24.52/21.57 c Got one! Elapsed wall clock time (in seconds):21.365 24.52/21.57 o 1087 25.43/22.47 c Got one! Elapsed wall clock time (in seconds):22.266 25.43/22.47 o 1071 26.94/23.95 c Got one! Elapsed wall clock time (in seconds):23.75 26.94/23.95 o 993 27.95/24.95 c Got one! Elapsed wall clock time (in seconds):24.747 27.95/24.95 o 927 29.07/26.06 c Got one! Elapsed wall clock time (in seconds):25.861 29.07/26.06 o 815 30.19/27.16 c Got one! Elapsed wall clock time (in seconds):26.957 30.19/27.16 o 653 31.30/28.26 c Got one! Elapsed wall clock time (in seconds):28.052 31.30/28.26 o 641 32.61/29.53 c Got one! Elapsed wall clock time (in seconds):29.327 32.61/29.53 o 639 33.82/30.78 c Got one! Elapsed wall clock time (in seconds):30.582 33.82/30.78 o 637 35.23/32.16 c Got one! Elapsed wall clock time (in seconds):31.958 35.23/32.16 o 630 36.55/33.47 c Got one! Elapsed wall clock time (in seconds):33.266 36.55/33.47 o 628 37.96/34.82 c Got one! Elapsed wall clock time (in seconds):34.619 37.96/34.82 o 620 39.28/36.19 c Got one! Elapsed wall clock time (in seconds):35.985 39.28/36.19 o 618 40.78/37.61 c Got one! Elapsed wall clock time (in seconds):37.408 40.78/37.61 o 614 42.50/39.37 c Got one! Elapsed wall clock time (in seconds):39.165 42.50/39.37 o 443 44.33/41.16 c Got one! Elapsed wall clock time (in seconds):40.962 44.33/41.16 o 420 45.84/42.68 c Got one! Elapsed wall clock time (in seconds):42.479 45.84/42.68 o 419 47.45/44.27 c Got one! Elapsed wall clock time (in seconds):44.066 47.45/44.27 o 383 49.79/46.55 c Got one! Elapsed wall clock time (in seconds):46.346 49.79/46.55 o 350 52.00/48.79 c Got one! Elapsed wall clock time (in seconds):48.591 52.00/48.79 o 254 53.82/50.50 c Got one! Elapsed wall clock time (in seconds):50.296 53.82/50.50 o 153 55.52/52.28 c Got one! Elapsed wall clock time (in seconds):52.077 55.52/52.28 o 116 57.55/54.24 c Got one! Elapsed wall clock time (in seconds):54.038 57.55/54.24 o 100 59.57/56.21 c Got one! Elapsed wall clock time (in seconds):56.011 59.57/56.21 o 98 61.59/58.24 c Got one! Elapsed wall clock time (in seconds):58.035 61.59/58.24 o 96 63.91/60.55 c Got one! Elapsed wall clock time (in seconds):60.346 63.91/60.55 o 94 66.32/62.98 c Got one! Elapsed wall clock time (in seconds):62.776 66.32/62.98 o 88 68.64/65.29 c Got one! Elapsed wall clock time (in seconds):65.086 68.64/65.29 o 83 72.58/69.15 c Got one! Elapsed wall clock time (in seconds):68.948 72.58/69.15 o 82 74.80/71.35 c Got one! Elapsed wall clock time (in seconds):71.147 74.80/71.35 o 79 77.13/73.67 c Got one! Elapsed wall clock time (in seconds):73.466 77.13/73.67 o 77 79.53/76.02 c Got one! Elapsed wall clock time (in seconds):75.816 79.53/76.02 o 65 82.05/78.57 c Got one! Elapsed wall clock time (in seconds):78.364 82.05/78.57 o 62 85.30/81.71 c Got one! Elapsed wall clock time (in seconds):81.512 85.30/81.71 o 60 88.21/84.66 c Got one! Elapsed wall clock time (in seconds):84.457 88.21/84.66 o 58 91.54/87.95 c Got one! Elapsed wall clock time (in seconds):87.748 91.54/87.95 o 56 96.81/93.13 c Got one! Elapsed wall clock time (in seconds):92.924 96.81/93.13 o 49 102.05/98.34 c Got one! Elapsed wall clock time (in seconds):98.142 102.05/98.35 o 48 105.88/102.14 c Got one! Elapsed wall clock time (in seconds):101.938 105.88/102.14 o 44 110.51/106.77 c Got one! Elapsed wall clock time (in seconds):106.568 110.51/106.77 o 42 122.01/118.14 c Got one! Elapsed wall clock time (in seconds):117.936 122.01/118.14 o 40 166.53/162.21 c Got one! Elapsed wall clock time (in seconds):162.004 166.53/162.21 o 38 188.65/184.17 c Got one! Elapsed wall clock time (in seconds):183.971 188.65/184.17 o 36 246.76/241.64 c Got one! Elapsed wall clock time (in seconds):241.44 246.76/241.64 o 34 314.33/308.47 c Got one! Elapsed wall clock time (in seconds):308.263 314.33/308.47 o 32 348.61/342.38 c Got one! Elapsed wall clock time (in seconds):342.18 348.61/342.38 o 30 389.16/382.44 c Got one! Elapsed wall clock time (in seconds):382.242 389.16/382.44 o 28 442.68/435.40 c Got one! Elapsed wall clock time (in seconds):435.193 442.68/435.40 o 27 526.21/517.86 c Got one! Elapsed wall clock time (in seconds):517.657 526.21/517.86 o 25 582.55/573.49 c Got one! Elapsed wall clock time (in seconds):573.285 582.55/573.49 o 19 705.27/694.49 c Got one! Elapsed wall clock time (in seconds):694.285 705.27/694.49 o 17 934.59/920.14 c Got one! Elapsed wall clock time (in seconds):919.934 934.59/920.14 o 16 974.89/959.86 c Got one! Elapsed wall clock time (in seconds):959.657 974.89/959.86 o 13 1550.25/1524.95 c Got one! Elapsed wall clock time (in seconds):1524.752 1550.25/1524.96 o 11 1800.02/1769.51 c starts : 126 1800.02/1769.51 c conflicts : 33540 1800.02/1769.51 c decisions : 52383 1800.02/1769.51 c propagations : 309381 1800.02/1769.51 c inspects : 562514492 1800.02/1769.51 c learnt literals : 0 1800.02/1769.51 c learnt binary clauses : 0 1800.02/1769.51 c learnt ternary clauses : 0 1800.02/1769.51 c learnt clauses : 33540 1800.02/1769.51 c root simplifications : 0 1800.02/1769.51 c removed literals (reason simplification) : 0 1800.02/1769.51 c reason swapping (by a shorter reason) : 0 1800.02/1769.51 c Calls to reduceDB : 0 1800.02/1769.51 c speed (decisions/second) : 214.19896709506733 1800.02/1769.51 c non guided choices 1076 1800.02/1769.51 s SATISFIABLE 1800.02/1769.51 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 1800.02/1769.51 v -x29 -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 1800.02/1769.51 v -x55 -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 1800.02/1769.51 v x81 -x82 -x83 x84 -x85 -x86 x87 x88 -x89 -x90 x91 x92 -x93 x94 x95 -x96 -x97 x98 -x99 x100 -x101 -x102 x103 x104 x105 -x106 x107 1800.02/1769.51 v -x108 -x109 x110 x111 x112 x113 x114 x115 -x116 -x117 -x118 -x119 x120 1800.02/1769.51 c objective function=11 1800.02/1769.51 c Total wall clock time (ms): 1769.309
OK 11
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-354970-1176741902 -o ROOT/results/node38/solver-354970-1176741902 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354970-1176741902/sat4jPseudoCP.jar /tmp/evaluation/354970-1176741902/instance-354970-1176741902.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.99 2/77 6087 /proc/meminfo: memFree=1771448/2055920 swapFree=4147248/4192956 [pid=6087] ppid=6085 vsize=152 CPUtime=0 /proc/6087/stat : 6087 (java) R 6085 6087 5232 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 106356867 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 8605995 0 0 4096 0 0 0 0 17 1 0 0 /proc/6087/statm: 38 26 19 9 0 4 0 [startup+0.0430159 s] /proc/loadavg: 1.00 1.00 0.99 2/77 6087 /proc/meminfo: memFree=1771448/2055920 swapFree=4147248/4192956 [pid=6087] ppid=6085 vsize=1776088 CPUtime=0.02 /proc/6087/stat : 6087 (java) S 6085 6087 5232 0 -1 0 3237 0 1 0 1 1 0 0 18 0 4 0 106356867 1818714112 2985 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/6087/statm: 444022 2985 887 9 0 441658 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1776088 [startup+0.102027 s] /proc/loadavg: 1.00 1.00 0.99 2/77 6087 /proc/meminfo: memFree=1771448/2055920 swapFree=4147248/4192956 [pid=6087] ppid=6085 vsize=1780108 CPUtime=0.08 /proc/6087/stat : 6087 (java) S 6085 6087 5232 0 -1 0 3970 0 1 0 6 2 0 0 18 0 12 0 106356867 1822830592 3712 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6087/statm: 445027 3712 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.302066 s] /proc/loadavg: 1.00 1.00 0.99 2/77 6087 /proc/meminfo: memFree=1771448/2055920 swapFree=4147248/4192956 [pid=6087] ppid=6085 vsize=1781744 CPUtime=0.3 /proc/6087/stat : 6087 (java) S 6085 6087 5232 0 -1 0 5144 0 1 0 27 3 0 0 18 0 13 0 106356867 1824505856 4883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6087/statm: 445436 4883 1267 9 0 443048 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 1781744 [startup+0.701143 s] /proc/loadavg: 1.00 1.00 0.99 2/77 6087 /proc/meminfo: memFree=1771448/2055920 swapFree=4147248/4192956 [pid=6087] ppid=6085 vsize=1783524 CPUtime=0.97 /proc/6087/stat : 6087 (java) S 6085 6087 5232 0 -1 0 9059 0 1 0 92 5 0 0 18 0 13 0 106356867 1826328576 7950 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6087/statm: 445881 7950 1301 9 0 443493 0 Current children cumulated CPU time (s) 0.97 Current children cumulated vsize (KiB) 1783524 [startup+1.5013 s] /proc/loadavg: 1.00 1.00 0.99 4/90 6100 /proc/meminfo: memFree=1727184/2055920 swapFree=4147248/4192956 [pid=6087] ppid=6085 vsize=1795152 CPUtime=2.47 /proc/6087/stat : 6087 (java) S 6085 6087 5232 0 -1 0 25789 0 1 0 235 12 0 0 18 0 13 0 106356867 1838235648 20453 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6087/statm: 448788 20454 1306 9 0 446400 0 [pid=6087/tid=6089] ppid=6085 vsize=1795152 CPUtime=0.98 /proc/6087/task/6089/stat : 6089 (java) R 6085 6087 5232 0 -1 64 16587 0 1 0 90 8 0 0 18 0 13 0 106356868 1838235648 20454 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102840216 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6090] ppid=6085 vsize=1795152 CPUtime=0 /proc/6087/task/6090/stat : 6090 (java) S 6085 6087 5232 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 106356870 1838235648 20455 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6091] ppid=6085 vsize=1795152 CPUtime=0 /proc/6087/task/6091/stat : 6091 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 106356870 1838235648 20456 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6092] ppid=6085 vsize=1795152 CPUtime=0 /proc/6087/task/6092/stat : 6092 (java) S 6085 6087 5232 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 106356872 1838235648 20457 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6093] ppid=6085 vsize=1795152 CPUtime=0 /proc/6087/task/6093/stat : 6093 (java) S 6085 6087 5232 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 106356873 1838235648 20458 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6094] ppid=6085 vsize=1795152 CPUtime=0 /proc/6087/task/6094/stat : 6094 (java) S 6085 6087 5232 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 106356873 1838235648 20459 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6095] ppid=6085 vsize=1795152 CPUtime=0 /proc/6087/task/6095/stat : 6095 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 106356876 1838235648 20460 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6096] ppid=6085 vsize=1795152 CPUtime=0.81 /proc/6087/task/6096/stat : 6096 (java) R 6085 6087 5232 0 -1 64 4412 0 0 0 80 1 0 0 18 0 13 0 106356876 1838235648 20461 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105429628 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6097] ppid=6085 vsize=1795152 CPUtime=0.65 /proc/6087/task/6097/stat : 6097 (java) R 6085 6087 5232 0 -1 64 4065 0 0 0 64 1 0 0 20 0 13 0 106356876 1838235648 20462 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6098] ppid=6085 vsize=1795152 CPUtime=0 /proc/6087/task/6098/stat : 6098 (java) S 6085 6087 5232 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106356876 1838235648 20463 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6099] ppid=6085 vsize=1795152 CPUtime=0 /proc/6087/task/6099/stat : 6099 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106356876 1838235648 20463 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6100] ppid=6085 vsize=1795152 CPUtime=0 /proc/6087/task/6100/stat : 6100 (java) S 6085 6087 5232 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 106356895 1838235648 20464 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.47 Current children cumulated vsize (KiB) 1795152 [startup+3.1026 s] /proc/loadavg: 1.16 1.04 1.00 4/90 6100 /proc/meminfo: memFree=1660880/2055920 swapFree=4147248/4192956 [pid=6087] ppid=6085 vsize=1796924 CPUtime=5.37 /proc/6087/stat : 6087 (java) S 6085 6087 5232 0 -1 0 55647 0 1 0 511 26 0 0 18 0 13 0 106356867 1840050176 42874 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6087/statm: 449231 42874 1325 9 0 446843 0 [pid=6087/tid=6089] ppid=6085 vsize=1796924 CPUtime=2.14 /proc/6087/task/6089/stat : 6089 (java) R 6085 6087 5232 0 -1 64 37712 0 1 0 196 18 0 0 25 0 13 0 106356868 1840050176 42874 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109545425 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6090] ppid=6085 vsize=1796924 CPUtime=0 /proc/6087/task/6090/stat : 6090 (java) S 6085 6087 5232 0 -1 64 197 0 0 0 0 0 0 0 16 0 13 0 106356870 1840050176 42874 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6091] ppid=6085 vsize=1796924 CPUtime=0 /proc/6087/task/6091/stat : 6091 (java) S 6085 6087 5232 0 -1 64 157 0 0 0 0 0 0 0 16 0 13 0 106356870 1840050176 42874 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6092] ppid=6085 vsize=1796924 CPUtime=0 /proc/6087/task/6092/stat : 6092 (java) S 6085 6087 5232 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 106356872 1840050176 42874 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6093] ppid=6085 vsize=1796924 CPUtime=0 /proc/6087/task/6093/stat : 6093 (java) S 6085 6087 5232 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106356873 1840050176 42874 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6094] ppid=6085 vsize=1796924 CPUtime=0 /proc/6087/task/6094/stat : 6094 (java) S 6085 6087 5232 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106356873 1840050176 42874 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6095] ppid=6085 vsize=1796924 CPUtime=0 /proc/6087/task/6095/stat : 6095 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 106356876 1840050176 42874 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6096] ppid=6085 vsize=1796924 CPUtime=1.8 /proc/6087/task/6096/stat : 6096 (java) S 6085 6087 5232 0 -1 64 9804 0 0 0 177 3 0 0 17 0 13 0 106356876 1840050176 42874 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6097] ppid=6085 vsize=1796924 CPUtime=1.38 /proc/6087/task/6097/stat : 6097 (java) S 6085 6087 5232 0 -1 64 7047 0 0 0 136 2 0 0 16 0 13 0 106356876 1840050176 42874 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6098] ppid=6085 vsize=1796924 CPUtime=0 /proc/6087/task/6098/stat : 6098 (java) S 6085 6087 5232 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106356876 1840050176 42874 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6099] ppid=6085 vsize=1796924 CPUtime=0 /proc/6087/task/6099/stat : 6099 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106356876 1840050176 42874 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6100] ppid=6085 vsize=1796924 CPUtime=0 /proc/6087/task/6100/stat : 6100 (java) S 6085 6087 5232 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 106356895 1840050176 42874 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 5.37 Current children cumulated vsize (KiB) 1796924 [startup+6.30122 s] /proc/loadavg: 1.16 1.04 1.00 2/90 6101 /proc/meminfo: memFree=1598736/2055920 swapFree=4147248/4192956 [pid=6087] ppid=6085 vsize=1795832 CPUtime=8.93 /proc/6087/stat : 6087 (java) S 6085 6087 5232 0 -1 0 61625 0 1 0 865 28 0 0 18 0 13 0 106356867 1838931968 45178 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6087/statm: 448958 45178 1332 9 0 446570 0 [pid=6087/tid=6089] ppid=6085 vsize=1795832 CPUtime=5.22 /proc/6087/task/6089/stat : 6089 (java) R 6085 6087 5232 0 -1 64 37720 0 1 0 504 18 0 0 21 0 13 0 106356868 1838931968 45178 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109551185 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6090] ppid=6085 vsize=1795832 CPUtime=0.09 /proc/6087/task/6090/stat : 6090 (java) S 6085 6087 5232 0 -1 64 2224 0 0 0 9 0 0 0 16 0 13 0 106356870 1838931968 45178 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6091] ppid=6085 vsize=1795832 CPUtime=0.08 /proc/6087/task/6091/stat : 6091 (java) S 6085 6087 5232 0 -1 64 2061 0 0 0 8 0 0 0 17 0 13 0 106356870 1838931968 45178 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6092] ppid=6085 vsize=1795832 CPUtime=0 /proc/6087/task/6092/stat : 6092 (java) S 6085 6087 5232 0 -1 64 28 0 0 0 0 0 0 0 17 0 13 0 106356872 1838931968 45178 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6093] ppid=6085 vsize=1795832 CPUtime=0 /proc/6087/task/6093/stat : 6093 (java) S 6085 6087 5232 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106356873 1838931968 45178 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6094] ppid=6085 vsize=1795832 CPUtime=0 /proc/6087/task/6094/stat : 6094 (java) S 6085 6087 5232 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106356873 1838931968 45178 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6095] ppid=6085 vsize=1795832 CPUtime=0 /proc/6087/task/6095/stat : 6095 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 106356876 1838931968 45178 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6096] ppid=6085 vsize=1795832 CPUtime=2.06 /proc/6087/task/6096/stat : 6096 (java) S 6085 6087 5232 0 -1 64 11815 0 0 0 202 4 0 0 16 0 13 0 106356876 1838931968 45178 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6097] ppid=6085 vsize=1795832 CPUtime=1.42 /proc/6087/task/6097/stat : 6097 (java) S 6085 6087 5232 0 -1 64 7053 0 0 0 140 2 0 0 16 0 13 0 106356876 1838931968 45178 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6098] ppid=6085 vsize=1795832 CPUtime=0 /proc/6087/task/6098/stat : 6098 (java) S 6085 6087 5232 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106356876 1838931968 45178 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6099] ppid=6085 vsize=1795832 CPUtime=0 /proc/6087/task/6099/stat : 6099 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106356876 1838931968 45178 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6101] ppid=6085 vsize=1795832 CPUtime=0 /proc/6087/task/6101/stat : 6101 (java) S 6085 6087 5232 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 106357265 1838931968 45178 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.93 Current children cumulated vsize (KiB) 1795832 [startup+12.7014 s] /proc/loadavg: 1.13 1.03 1.00 2/90 6103 /proc/meminfo: memFree=1559768/2055920 swapFree=4147248/4192956 [pid=6087] ppid=6085 vsize=1795832 CPUtime=15.57 /proc/6087/stat : 6087 (java) S 6085 6087 5232 0 -1 0 71241 0 1 0 1524 33 0 0 18 0 13 0 106356867 1838931968 54194 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6087/statm: 448958 54194 1334 9 0 446570 0 [pid=6087/tid=6089] ppid=6085 vsize=1795832 CPUtime=11.45 /proc/6087/task/6089/stat : 6089 (java) R 6085 6087 5232 0 -1 64 40622 0 1 0 1125 20 0 0 22 0 13 0 106356868 1838931968 54194 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109529418 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6090] ppid=6085 vsize=1795832 CPUtime=0.22 /proc/6087/task/6090/stat : 6090 (java) S 6085 6087 5232 0 -1 64 5784 0 0 0 20 2 0 0 16 0 13 0 106356870 1838931968 54194 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6091] ppid=6085 vsize=1795832 CPUtime=0.21 /proc/6087/task/6091/stat : 6091 (java) S 6085 6087 5232 0 -1 64 5205 0 0 0 20 1 0 0 16 0 13 0 106356870 1838931968 54194 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6092] ppid=6085 vsize=1795832 CPUtime=0 /proc/6087/task/6092/stat : 6092 (java) S 6085 6087 5232 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 106356872 1838931968 54194 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6093] ppid=6085 vsize=1795832 CPUtime=0 /proc/6087/task/6093/stat : 6093 (java) S 6085 6087 5232 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106356873 1838931968 54194 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6094] ppid=6085 vsize=1795832 CPUtime=0 /proc/6087/task/6094/stat : 6094 (java) S 6085 6087 5232 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106356873 1838931968 54194 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6095] ppid=6085 vsize=1795832 CPUtime=0 /proc/6087/task/6095/stat : 6095 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 106356876 1838931968 54194 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6096] ppid=6085 vsize=1795832 CPUtime=2.13 /proc/6087/task/6096/stat : 6096 (java) S 6085 6087 5232 0 -1 64 11818 0 0 0 209 4 0 0 17 0 13 0 106356876 1838931968 54194 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6097] ppid=6085 vsize=1795832 CPUtime=1.49 /proc/6087/task/6097/stat : 6097 (java) S 6085 6087 5232 0 -1 64 7055 0 0 0 147 2 0 0 17 0 13 0 106356876 1838931968 54194 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6098] ppid=6085 vsize=1795832 CPUtime=0 /proc/6087/task/6098/stat : 6098 (java) S 6085 6087 5232 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106356876 1838931968 54194 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6099] ppid=6085 vsize=1795832 CPUtime=0 /proc/6087/task/6099/stat : 6099 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106356876 1838931968 54194 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.57 Current children cumulated vsize (KiB) 1795832 [startup+25.5029 s] /proc/loadavg: 1.11 1.03 1.00 2/90 6112 /proc/meminfo: memFree=1547608/2055920 swapFree=4147248/4192956 [pid=6087] ppid=6085 vsize=1795832 CPUtime=28.55 /proc/6087/stat : 6087 (java) S 6085 6087 5232 0 -1 0 74484 0 1 0 2821 34 0 0 18 0 13 0 106356867 1838931968 56977 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6087/statm: 448958 56977 1336 9 0 446570 0 [pid=6087/tid=6089] ppid=6085 vsize=1795832 CPUtime=24.08 /proc/6087/task/6089/stat : 6089 (java) R 6085 6087 5232 0 -1 64 40639 0 1 0 2388 20 0 0 21 0 13 0 106356868 1838931968 56977 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109551166 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6090] ppid=6085 vsize=1795832 CPUtime=0.37 /proc/6087/task/6090/stat : 6090 (java) S 6085 6087 5232 0 -1 64 7332 0 0 0 34 3 0 0 16 0 13 0 106356870 1838931968 56977 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6091] ppid=6085 vsize=1795832 CPUtime=0.36 /proc/6087/task/6091/stat : 6091 (java) S 6085 6087 5232 0 -1 64 6869 0 0 0 34 2 0 0 16 0 13 0 106356870 1838931968 56977 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6092] ppid=6085 vsize=1795832 CPUtime=0 /proc/6087/task/6092/stat : 6092 (java) S 6085 6087 5232 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 106356872 1838931968 56977 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=6087] ppid=6085 vsize=1796156 CPUtime=1629.19 /proc/6087/stat : 6087 (java) S 6085 6087 5232 0 -1 0 146933 0 1 0 162820 99 0 0 18 0 13 0 106356867 1839263744 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6087/statm: 449039 117349 1336 9 0 446651 0 [pid=6087/tid=6089] ppid=6085 vsize=1796156 CPUtime=1574.95 /proc/6087/task/6089/stat : 6089 (java) R 6085 6087 5232 0 -1 64 43170 0 1 0 157456 39 0 0 25 0 13 0 106356868 1839263744 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103960168 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6090] ppid=6085 vsize=1796156 CPUtime=25.08 /proc/6087/task/6090/stat : 6090 (java) S 6085 6087 5232 0 -1 64 43658 0 0 0 2487 21 0 0 16 0 13 0 106356870 1839263744 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6091] ppid=6085 vsize=1796156 CPUtime=25.13 /proc/6087/task/6091/stat : 6091 (java) S 6085 6087 5232 0 -1 64 40353 0 0 0 2493 20 0 0 16 0 13 0 106356870 1839263744 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6092] ppid=6085 vsize=1796156 CPUtime=0.22 /proc/6087/task/6092/stat : 6092 (java) S 6085 6087 5232 0 -1 64 42 0 0 0 14 8 0 0 16 0 13 0 106356872 1839263744 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6093] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6093/stat : 6093 (java) S 6085 6087 5232 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106356873 1839263744 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6094] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6094/stat : 6094 (java) S 6085 6087 5232 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106356873 1839263744 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6095] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6095/stat : 6095 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 106356876 1839263744 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6096] ppid=6085 vsize=1796156 CPUtime=2.15 /proc/6087/task/6096/stat : 6096 (java) S 6085 6087 5232 0 -1 64 11818 0 0 0 211 4 0 0 16 0 13 0 106356876 1839263744 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6097] ppid=6085 vsize=1796156 CPUtime=1.58 /proc/6087/task/6097/stat : 6097 (java) S 6085 6087 5232 0 -1 64 7058 0 0 0 156 2 0 0 17 0 13 0 106356876 1839263744 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6098] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6098/stat : 6098 (java) S 6085 6087 5232 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106356876 1839263744 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6099] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6099/stat : 6099 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106356876 1839263744 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6360] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6360/stat : 6360 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 106509363 1839263744 117349 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1629.19 Current children cumulated vsize (KiB) 1796156 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/90 6360 /proc/meminfo: memFree=1298312/2055920 swapFree=4147248/4192956 [pid=6087] ppid=6085 vsize=1796156 CPUtime=1690.44 /proc/6087/stat : 6087 (java) S 6085 6087 5232 0 -1 0 148659 0 1 0 168944 100 0 0 18 0 13 0 106356867 1839263744 118898 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6087/statm: 449039 118898 1336 9 0 446651 0 [pid=6087/tid=6089] ppid=6085 vsize=1796156 CPUtime=1633.63 /proc/6087/task/6089/stat : 6089 (java) R 6085 6087 5232 0 -1 64 43198 0 1 0 163323 40 0 0 21 0 13 0 106356868 1839263744 118898 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109528802 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6090] ppid=6085 vsize=1796156 CPUtime=26.37 /proc/6087/task/6090/stat : 6090 (java) S 6085 6087 5232 0 -1 64 44217 0 0 0 2616 21 0 0 16 0 13 0 106356870 1839263744 118898 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6091] ppid=6085 vsize=1796156 CPUtime=26.42 /proc/6087/task/6091/stat : 6091 (java) S 6085 6087 5232 0 -1 64 41492 0 0 0 2621 21 0 0 16 0 13 0 106356870 1839263744 118898 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6092] ppid=6085 vsize=1796156 CPUtime=0.23 /proc/6087/task/6092/stat : 6092 (java) S 6085 6087 5232 0 -1 64 42 0 0 0 15 8 0 0 16 0 13 0 106356872 1839263744 118898 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6093] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6093/stat : 6093 (java) S 6085 6087 5232 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106356873 1839263744 118898 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6094] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6094/stat : 6094 (java) S 6085 6087 5232 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106356873 1839263744 118898 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6095] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6095/stat : 6095 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 106356876 1839263744 118898 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6096] ppid=6085 vsize=1796156 CPUtime=2.15 /proc/6087/task/6096/stat : 6096 (java) S 6085 6087 5232 0 -1 64 11818 0 0 0 211 4 0 0 16 0 13 0 106356876 1839263744 118898 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6097] ppid=6085 vsize=1796156 CPUtime=1.58 /proc/6087/task/6097/stat : 6097 (java) S 6085 6087 5232 0 -1 64 7058 0 0 0 156 2 0 0 17 0 13 0 106356876 1839263744 118898 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6098] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6098/stat : 6098 (java) S 6085 6087 5232 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106356876 1839263744 118898 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6099] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6099/stat : 6099 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106356876 1839263744 118898 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6360] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6360/stat : 6360 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 106509363 1839263744 118898 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1690.44 Current children cumulated vsize (KiB) 1796156 [startup+1722.3 s] /proc/loadavg: 1.07 1.02 1.00 2/90 6360 /proc/meminfo: memFree=1292360/2055920 swapFree=4147248/4192956 [pid=6087] ppid=6085 vsize=1796156 CPUtime=1751.73 /proc/6087/stat : 6087 (java) S 6085 6087 5232 0 -1 0 150355 0 1 0 175071 102 0 0 18 0 13 0 106356867 1839263744 120420 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6087/statm: 449039 120420 1336 9 0 446651 0 [pid=6087/tid=6089] ppid=6085 vsize=1796156 CPUtime=1692.28 /proc/6087/task/6089/stat : 6089 (java) R 6085 6087 5232 0 -1 64 43226 0 1 0 169188 40 0 0 25 0 13 0 106356868 1839263744 120420 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109486741 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6090] ppid=6085 vsize=1796156 CPUtime=27.68 /proc/6087/task/6090/stat : 6090 (java) S 6085 6087 5232 0 -1 64 45250 0 0 0 2746 22 0 0 17 0 13 0 106356870 1839263744 120420 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6091] ppid=6085 vsize=1796156 CPUtime=27.73 /proc/6087/task/6091/stat : 6091 (java) S 6085 6087 5232 0 -1 64 42127 0 0 0 2752 21 0 0 16 0 13 0 106356870 1839263744 120420 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6092] ppid=6085 vsize=1796156 CPUtime=0.24 /proc/6087/task/6092/stat : 6092 (java) S 6085 6087 5232 0 -1 64 42 0 0 0 15 9 0 0 16 0 13 0 106356872 1839263744 120420 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6093] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6093/stat : 6093 (java) S 6085 6087 5232 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106356873 1839263744 120420 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6094] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6094/stat : 6094 (java) S 6085 6087 5232 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106356873 1839263744 120420 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6095] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6095/stat : 6095 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 106356876 1839263744 120420 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6096] ppid=6085 vsize=1796156 CPUtime=2.15 /proc/6087/task/6096/stat : 6096 (java) S 6085 6087 5232 0 -1 64 11818 0 0 0 211 4 0 0 16 0 13 0 106356876 1839263744 120420 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6097] ppid=6085 vsize=1796156 CPUtime=1.58 /proc/6087/task/6097/stat : 6097 (java) S 6085 6087 5232 0 -1 64 7058 0 0 0 156 2 0 0 17 0 13 0 106356876 1839263744 120420 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6098] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6098/stat : 6098 (java) S 6085 6087 5232 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106356876 1839263744 120420 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6099] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6099/stat : 6099 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106356876 1839263744 120420 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6360] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6360/stat : 6360 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 106509363 1839263744 120420 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1751.73 Current children cumulated vsize (KiB) 1796156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1769.5 s] /proc/loadavg: 1.03 1.02 1.00 2/90 6360 /proc/meminfo: memFree=1286920/2055920 swapFree=4147248/4192956 [pid=6087] ppid=6085 vsize=1796156 CPUtime=1800.02 /proc/6087/stat : 6087 (java) S 6085 6087 5232 0 -1 0 151793 0 1 0 179899 103 0 0 18 0 13 0 106356867 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6087/statm: 449039 121726 1336 9 0 446651 0 [pid=6087/tid=6089] ppid=6085 vsize=1796156 CPUtime=1738.34 /proc/6087/task/6089/stat : 6089 (java) R 6085 6087 5232 0 -1 64 43249 0 1 0 173794 40 0 0 25 0 13 0 106356868 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550342 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6090] ppid=6085 vsize=1796156 CPUtime=28.79 /proc/6087/task/6090/stat : 6090 (java) S 6085 6087 5232 0 -1 64 45944 0 0 0 2857 22 0 0 16 0 13 0 106356870 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6091] ppid=6085 vsize=1796156 CPUtime=28.85 /proc/6087/task/6091/stat : 6091 (java) S 6085 6087 5232 0 -1 64 42848 0 0 0 2863 22 0 0 16 0 13 0 106356870 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6092] ppid=6085 vsize=1796156 CPUtime=0.25 /proc/6087/task/6092/stat : 6092 (java) S 6085 6087 5232 0 -1 64 42 0 0 0 16 9 0 0 16 0 13 0 106356872 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6093] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6093/stat : 6093 (java) S 6085 6087 5232 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106356873 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6094] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6094/stat : 6094 (java) S 6085 6087 5232 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106356873 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6095] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6095/stat : 6095 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 106356876 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6096] ppid=6085 vsize=1796156 CPUtime=2.15 /proc/6087/task/6096/stat : 6096 (java) S 6085 6087 5232 0 -1 64 11818 0 0 0 211 4 0 0 16 0 13 0 106356876 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6097] ppid=6085 vsize=1796156 CPUtime=1.58 /proc/6087/task/6097/stat : 6097 (java) S 6085 6087 5232 0 -1 64 7058 0 0 0 156 2 0 0 17 0 13 0 106356876 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6098] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6098/stat : 6098 (java) S 6085 6087 5232 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106356876 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6099] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6099/stat : 6099 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106356876 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6360] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6360/stat : 6360 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 106509363 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1796156 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1769.5 s] /proc/loadavg: 1.03 1.02 1.00 2/90 6360 /proc/meminfo: memFree=1286920/2055920 swapFree=4147248/4192956 [pid=6087] ppid=6085 vsize=1796156 CPUtime=1800.02 /proc/6087/stat : 6087 (java) S 6085 6087 5232 0 -1 0 151793 0 1 0 179899 103 0 0 18 0 13 0 106356867 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6087/statm: 449039 121726 1336 9 0 446651 0 [pid=6087/tid=6089] ppid=6085 vsize=1796156 CPUtime=1738.34 /proc/6087/task/6089/stat : 6089 (java) R 6085 6087 5232 0 -1 64 43249 0 1 0 173794 40 0 0 25 0 13 0 106356868 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550342 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6090] ppid=6085 vsize=1796156 CPUtime=28.79 /proc/6087/task/6090/stat : 6090 (java) S 6085 6087 5232 0 -1 64 45944 0 0 0 2857 22 0 0 16 0 13 0 106356870 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6091] ppid=6085 vsize=1796156 CPUtime=28.85 /proc/6087/task/6091/stat : 6091 (java) S 6085 6087 5232 0 -1 64 42848 0 0 0 2863 22 0 0 16 0 13 0 106356870 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6092] ppid=6085 vsize=1796156 CPUtime=0.25 /proc/6087/task/6092/stat : 6092 (java) S 6085 6087 5232 0 -1 64 42 0 0 0 16 9 0 0 16 0 13 0 106356872 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6093] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6093/stat : 6093 (java) S 6085 6087 5232 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 106356873 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6094] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6094/stat : 6094 (java) S 6085 6087 5232 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 106356873 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6095] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6095/stat : 6095 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 106356876 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6096] ppid=6085 vsize=1796156 CPUtime=2.15 /proc/6087/task/6096/stat : 6096 (java) S 6085 6087 5232 0 -1 64 11818 0 0 0 211 4 0 0 16 0 13 0 106356876 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6097] ppid=6085 vsize=1796156 CPUtime=1.58 /proc/6087/task/6097/stat : 6097 (java) S 6085 6087 5232 0 -1 64 7058 0 0 0 156 2 0 0 17 0 13 0 106356876 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6098] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6098/stat : 6098 (java) S 6085 6087 5232 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 106356876 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6087/tid=6099] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6099/stat : 6099 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 106356876 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6087/tid=6360] ppid=6085 vsize=1796156 CPUtime=0 /proc/6087/task/6360/stat : 6360 (java) S 6085 6087 5232 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 106509363 1839263744 121726 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1796156 Child status: 143 Real time (s): 1769.6 CPU time (s): 1800.13 CPU user time (s): 1799.02 CPU system time (s): 1.10883 CPU usage (%): 101.725 Max. virtual memory (cumulated for all children) (KiB): 1801020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.02 system time used= 1.10883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 151808 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 45479 involuntary context switches= 51813 runsolver used 1.83872 second user time and 4.78727 second system time The end
Begin job on node38 on Mon Apr 16 16:45:02 UTC 2007 IDJOB= 354970 IDBENCH= 2926 IDSOLVER= 160 FILE ID= node38/354970-1176741902 PBS_JOBID= 4580682 Free space on /tmp= 66318 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_2.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354970-1176741902/sat4jPseudoCP.jar /tmp/evaluation/354970-1176741902/instance-354970-1176741902.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-354970-1176741902 -o ROOT/results/node38/solver-354970-1176741902 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354970-1176741902/sat4jPseudoCP.jar /tmp/evaluation/354970-1176741902/instance-354970-1176741902.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= c0264878059fff5e6fa5f51839a60b24 RANDOM SEED= 845589589 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.263 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.263 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: 1771792 kB Buffers: 33964 kB Cached: 109820 kB SwapCached: 3980 kB Active: 149380 kB Inactive: 90924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1771792 kB SwapTotal: 4192956 kB SwapFree: 4147248 kB Dirty: 3652 kB Writeback: 0 kB Mapped: 103996 kB Slab: 28992 kB Committed_AS: 1503524 kB PageTables: 2060 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66318 MiB End job on node38 on Mon Apr 16 17:14:34 UTC 2007