Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.45 | 1798 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730--soft-0-100-0.wbo |
MD5SUM | 757f0ee369969ddf8bfd897da7532965 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 0.209968 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 101 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 5034 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 5033 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1183 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100526 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch i386 0.00/0.07 c Free memory 1393557488 0.00/0.07 c Max memory 1395916800 0.00/0.07 c Total memory 1395916800 0.00/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c1ea29 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2692196-1277923422.wbo 0.11/0.10 c reading problem ... 0.11/0.15 c ... done. Wall clock time 0.053s. 0.11/0.15 c #vars 270 0.11/0.15 c #constraints 101 0.11/0.15 c constraints type 0.11/0.15 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 26 0.11/0.15 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 74 0.11/0.15 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1.48/0.67 c SATISFIABLE 1.48/0.67 c OPTIMIZING... 1.48/0.67 c Got one! Elapsed wall clock time (in seconds):0.572 1.48/0.67 o 1190 3.08/1.73 c Got one! Elapsed wall clock time (in seconds):1.635 3.08/1.73 o 1159 68.54/67.03 c Got one! Elapsed wall clock time (in seconds):66.93 68.54/67.03 o 1140 253.48/251.87 c Got one! Elapsed wall clock time (in seconds):251.778 253.48/251.87 o 1106 1800.08/1797.81 c starts : 9 1800.08/1797.81 c conflicts : 556 1800.08/1797.81 c decisions : 3087 1800.08/1797.81 c propagations : 17403 1800.08/1797.81 c inspects : 1024723 1800.08/1797.81 c learnt literals : 0 1800.08/1797.81 c learnt binary clauses : 0 1800.08/1797.81 c learnt ternary clauses : 0 1800.08/1797.81 c learnt clauses : 555 1800.08/1797.81 c ignored clauses : 0 1800.08/1797.81 c root simplifications : 0 1800.08/1797.81 c removed literals (reason simplification) : 0 1800.08/1797.81 c reason swapping (by a shorter reason) : 0 1800.08/1797.81 c Calls to reduceDB : 0 1800.08/1797.81 c number of reductions to clauses (during analyze) : 0 1800.08/1797.81 c number of learned constraints concerned by reduction : 0 1800.08/1797.81 c number of learning phase by resolution : 0 1800.08/1797.81 c number of learning phase by cutting planes : 0 1800.08/1797.81 c speed (assignments/second) : 11.257272302698563 1800.08/1797.81 c non guided choices 186 1800.08/1797.81 c learnt constraints type 1800.08/1797.81 c org.sat4j.pb.constraints.pb.MaxWatchPb => 555 1800.08/1797.81 c constraints type 1800.08/1797.81 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 26 1800.08/1797.81 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 74 1800.08/1797.81 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.08/1797.81 s SATISFIABLE 1800.08/1797.81 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 -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 -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 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 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.08/1797.81 c objective function=1106 1800.08/1797.81 c Total wall clock time (in seconds): 1797.714
OK 758
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692196-1277923422/watcher-2692196-1277923422 -o /tmp/evaluation-result-2692196-1277923422/solver-2692196-1277923422 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692196-1277923422.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.02 2.00 3/196 13017 /proc/meminfo: memFree=31614252/32951124 swapFree=67111528/67111528 [pid=13017] ppid=13015 vsize=13164 CPUtime=0 /proc/13017/stat : 13017 (java) R 13015 13017 10898 0 -1 4194304 949 0 0 0 0 0 0 0 19 0 1 0 133639750 13479936 439 4089446400 134512640 134550932 4291861024 18446744073709551615 106999807 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13017/statm: 3291 450 158 10 0 1121 0 [startup+0.024318 s] /proc/loadavg: 2.04 2.02 2.00 3/196 13017 /proc/meminfo: memFree=31614252/32951124 swapFree=67111528/67111528 [pid=13017] ppid=13015 vsize=1525320 CPUtime=0 /proc/13017/stat : 13017 (java) S 13015 13017 10898 0 -1 4202496 3554 0 1 0 0 0 0 0 19 0 13 0 133639750 1561927680 2996 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 /proc/13017/statm: 381330 2996 997 10 0 378640 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1525320 [startup+0.100287 s] /proc/loadavg: 2.04 2.02 2.00 3/196 13017 /proc/meminfo: memFree=31614252/32951124 swapFree=67111528/67111528 [pid=13017] ppid=13015 vsize=1529884 CPUtime=0.11 /proc/13017/stat : 13017 (java) S 13015 13017 10898 0 -1 4202496 5225 0 1 0 10 1 0 0 19 0 18 0 133639750 1566601216 4662 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13017/statm: 382471 4662 1349 10 0 379773 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529884 [startup+0.300247 s] /proc/loadavg: 2.04 2.02 2.00 3/196 13017 /proc/meminfo: memFree=31614252/32951124 swapFree=67111528/67111528 [pid=13017] ppid=13015 vsize=1535464 CPUtime=0.58 /proc/13017/stat : 13017 (java) S 13015 13017 10898 0 -1 4202496 8730 0 1 0 57 1 0 0 19 0 19 0 133639750 1572315136 7879 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13017/statm: 383866 7881 1409 10 0 381168 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 1535464 [startup+0.700173 s] /proc/loadavg: 2.04 2.02 2.00 3/196 13017 /proc/meminfo: memFree=31614252/32951124 swapFree=67111528/67111528 [pid=13017] ppid=13015 vsize=1550416 CPUtime=1.77 /proc/13017/stat : 13017 (java) S 13015 13017 10898 0 -1 4202496 34471 0 1 0 173 4 0 0 19 0 19 0 133639750 1587625984 30710 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13017/statm: 387604 30723 1421 10 0 384906 0 Current children cumulated CPU time (s) 1.77 Current children cumulated vsize (KiB) 1550416 [startup+1.50099 s] /proc/loadavg: 2.04 2.02 2.00 3/215 13036 /proc/meminfo: memFree=31464752/32951124 swapFree=67111528/67111528 [pid=13017] ppid=13015 vsize=1548696 CPUtime=2.88 /proc/13017/stat : 13017 (java) S 13015 13017 10898 0 -1 4202496 44320 0 1 0 282 6 0 0 19 0 19 0 133639750 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13017/statm: 387174 39568 1436 10 0 384476 0 [pid=13017/tid=13018] ppid=13015 vsize=1548696 CPUtime=1.46 /proc/13017/task/13018/stat : 13018 (java) R 13015 13017 10898 0 -1 4202560 32085 0 1 0 142 4 0 0 19 0 19 0 133639750 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4109170734 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13017/tid=13020] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13020/stat : 13020 (java) S 13015 13017 10898 0 -1 4202560 254 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 4 0 0 0 [pid=13017/tid=13021] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13021/stat : 13021 (java) S 13015 13017 10898 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13022] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13022/stat : 13022 (java) S 13015 13017 10898 0 -1 4202560 392 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13023] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13023/stat : 13023 (java) S 13015 13017 10898 0 -1 4202560 211 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13024] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13024/stat : 13024 (java) S 13015 13017 10898 0 -1 4202560 314 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13025] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13025/stat : 13025 (java) S 13015 13017 10898 0 -1 4202560 290 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13026] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13026/stat : 13026 (java) S 13015 13017 10898 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 2 0 0 0 [pid=13017/tid=13027] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13027/stat : 13027 (java) S 13015 13017 10898 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13028] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13028/stat : 13028 (java) S 13015 13017 10898 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 133639752 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13029] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13029/stat : 13029 (java) S 13015 13017 10898 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133639752 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13030] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13030/stat : 13030 (java) S 13015 13017 10898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 133639752 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13031] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13031/stat : 13031 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133639754 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13032] ppid=13015 vsize=1548696 CPUtime=0.67 /proc/13017/task/13032/stat : 13032 (java) S 13015 13017 10898 0 -1 4202560 5797 0 0 0 66 1 0 0 15 0 19 0 133639754 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13033] ppid=13015 vsize=1548696 CPUtime=0.7 /proc/13017/task/13033/stat : 13033 (java) S 13015 13017 10898 0 -1 4202560 3711 0 0 0 70 0 0 0 15 0 19 0 133639754 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13034] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13034/stat : 13034 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133639754 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13035] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13035/stat : 13035 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133639754 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 2 0 0 0 [pid=13017/tid=13036] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13036/stat : 13036 (java) S 13015 13017 10898 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133639766 1585864704 39568 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.88 Current children cumulated vsize (KiB) 1548696 [startup+3.10074 s] /proc/loadavg: 2.04 2.02 2.00 3/215 13036 /proc/meminfo: memFree=31459144/32951124 swapFree=67111528/67111528 [pid=13017] ppid=13015 vsize=1548696 CPUtime=4.5 /proc/13017/stat : 13017 (java) S 13015 13017 10898 0 -1 4202496 44848 0 1 0 444 6 0 0 19 0 19 0 133639750 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13017/statm: 387174 40093 1436 10 0 384476 0 [pid=13017/tid=13018] ppid=13015 vsize=1548696 CPUtime=3.06 /proc/13017/task/13018/stat : 13018 (java) R 13015 13017 10898 0 -1 4202560 32086 0 1 0 302 4 0 0 22 0 19 0 133639750 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4109581981 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13017/tid=13020] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13020/stat : 13020 (java) S 13015 13017 10898 0 -1 4202560 357 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 4 0 0 0 [pid=13017/tid=13021] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13021/stat : 13021 (java) S 13015 13017 10898 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13022] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13022/stat : 13022 (java) S 13015 13017 10898 0 -1 4202560 440 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13023] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13023/stat : 13023 (java) S 13015 13017 10898 0 -1 4202560 287 0 0 0 0 0 0 0 16 0 19 0 133639751 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13024] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13024/stat : 13024 (java) S 13015 13017 10898 0 -1 4202560 407 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13025] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13025/stat : 13025 (java) S 13015 13017 10898 0 -1 4202560 290 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13026] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13026/stat : 13026 (java) S 13015 13017 10898 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 2 0 0 0 [pid=13017/tid=13027] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13027/stat : 13027 (java) S 13015 13017 10898 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 133639751 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13028] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13028/stat : 13028 (java) S 13015 13017 10898 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 133639752 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13029] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13029/stat : 13029 (java) S 13015 13017 10898 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133639752 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13030] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13030/stat : 13030 (java) S 13015 13017 10898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 133639752 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13031] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13031/stat : 13031 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133639754 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13032] ppid=13015 vsize=1548696 CPUtime=0.67 /proc/13017/task/13032/stat : 13032 (java) S 13015 13017 10898 0 -1 4202560 5797 0 0 0 66 1 0 0 15 0 19 0 133639754 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13033] ppid=13015 vsize=1548696 CPUtime=0.71 /proc/13017/task/13033/stat : 13033 (java) S 13015 13017 10898 0 -1 4202560 3713 0 0 0 71 0 0 0 15 0 19 0 133639754 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13034] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13034/stat : 13034 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133639754 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13035] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13035/stat : 13035 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133639754 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 2 0 0 0 [pid=13017/tid=13036] ppid=13015 vsize=1548696 CPUtime=0 /proc/13017/task/13036/stat : 13036 (java) S 13015 13017 10898 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133639766 1585864704 40093 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.5 Current children cumulated vsize (KiB) 1548696 [startup+6.30115 s] /proc/loadavg: 2.03 2.02 2.00 3/215 13036 /proc/meminfo: memFree=31455052/32951124 swapFree=67111528/67111528 [pid=13017] ppid=13015 vsize=1547672 CPUtime=7.7 /proc/13017/stat : 13017 (java) S 13015 13017 10898 0 -1 4202496 45436 0 1 0 764 6 0 0 19 0 19 0 133639750 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13017/statm: 386918 40557 1436 10 0 384220 0 [pid=13017/tid=13018] ppid=13015 vsize=1547672 CPUtime=6.26 /proc/13017/task/13018/stat : 13018 (java) R 13015 13017 10898 0 -1 4202560 32088 0 1 0 622 4 0 0 25 0 19 0 133639750 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4109170611 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13017/tid=13020] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13020/stat : 13020 (java) S 13015 13017 10898 0 -1 4202560 450 0 0 0 0 0 0 0 16 0 19 0 133639751 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 4 0 0 0 [pid=13017/tid=13021] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13021/stat : 13021 (java) S 13015 13017 10898 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 133639751 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13022] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13022/stat : 13022 (java) S 13015 13017 10898 0 -1 4202560 442 0 0 0 0 0 0 0 15 0 19 0 133639751 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13023] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13023/stat : 13023 (java) S 13015 13017 10898 0 -1 4202560 391 0 0 0 0 0 0 0 15 0 19 0 133639751 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13024] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13024/stat : 13024 (java) S 13015 13017 10898 0 -1 4202560 586 0 0 0 0 0 0 0 15 0 19 0 133639751 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13025] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13025/stat : 13025 (java) S 13015 13017 10898 0 -1 4202560 391 0 0 0 0 0 0 0 15 0 19 0 133639751 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13026] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13026/stat : 13026 (java) S 13015 13017 10898 0 -1 4202560 248 0 0 0 0 0 0 0 15 0 19 0 133639751 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 2 0 0 0 [pid=13017/tid=13027] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13027/stat : 13027 (java) S 13015 13017 10898 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 133639751 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13028] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13028/stat : 13028 (java) S 13015 13017 10898 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 19 0 133639752 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13029] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13029/stat : 13029 (java) S 13015 13017 10898 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133639752 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13030] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13030/stat : 13030 (java) S 13015 13017 10898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 133639752 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13031] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13031/stat : 13031 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133639754 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13032] ppid=13015 vsize=1547672 CPUtime=0.67 /proc/13017/task/13032/stat : 13032 (java) S 13015 13017 10898 0 -1 4202560 5797 0 0 0 66 1 0 0 15 0 19 0 133639754 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13033] ppid=13015 vsize=1547672 CPUtime=0.71 /proc/13017/task/13033/stat : 13033 (java) S 13015 13017 10898 0 -1 4202560 3713 0 0 0 71 0 0 0 15 0 19 0 133639754 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13034] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13034/stat : 13034 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133639754 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13035] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13035/stat : 13035 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133639754 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 2 0 0 0 [pid=13017/tid=13036] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13036/stat : 13036 (java) S 13015 13017 10898 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133639766 1584816128 40557 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.7 Current children cumulated vsize (KiB) 1547672 [startup+12.701 s] /proc/loadavg: 2.03 2.02 2.00 3/215 13036 /proc/meminfo: memFree=31422812/32951124 swapFree=67111528/67111528 [pid=13017] ppid=13015 vsize=1547672 CPUtime=14.14 /proc/13017/stat : 13017 (java) S 13015 13017 10898 0 -1 4202496 54664 0 1 0 1406 8 0 0 19 0 19 0 133639750 1584816128 48939 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13017/statm: 386918 48939 1436 10 0 384220 0 [pid=13017/tid=13018] ppid=13015 vsize=1547672 CPUtime=12.64 /proc/13017/task/13018/stat : 13018 (java) R 13015 13017 10898 0 -1 4202560 35365 0 1 0 1260 4 0 0 25 0 19 0 133639750 1584816128 48939 4089446400 134512640 134550932 4291861024 18446744073709551615 4109497371 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13017/tid=13020] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13020/stat : 13020 (java) S 13015 13017 10898 0 -1 4202560 1633 0 0 0 0 0 0 0 15 0 19 0 133639751 1584816128 48939 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 ################ # More data... # ################ /proc/13017/task/13029/stat : 13029 (java) S 13015 13017 10898 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133639752 1584816128 100898 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13030] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13030/stat : 13030 (java) S 13015 13017 10898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 133639752 1584816128 100898 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13031] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13031/stat : 13031 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133639754 1584816128 100898 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13032] ppid=13015 vsize=1547672 CPUtime=0.67 /proc/13017/task/13032/stat : 13032 (java) S 13015 13017 10898 0 -1 4202560 5797 0 0 0 66 1 0 0 15 0 19 0 133639754 1584816128 100898 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13033] ppid=13015 vsize=1547672 CPUtime=0.77 /proc/13017/task/13033/stat : 13033 (java) S 13015 13017 10898 0 -1 4202560 3721 0 0 0 77 0 0 0 15 0 19 0 133639754 1584816128 100898 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13034] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13034/stat : 13034 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133639754 1584816128 100898 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13035] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13035/stat : 13035 (java) S 13015 13017 10898 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 133639754 1584816128 100898 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 2 0 0 0 [pid=13017/tid=13036] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13036/stat : 13036 (java) S 13015 13017 10898 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133639766 1584816128 100898 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1664.5 Current children cumulated vsize (KiB) 1547672 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 13121 /proc/meminfo: memFree=31402540/32951124 swapFree=67111528/67111528 [pid=13017] ppid=13015 vsize=1547672 CPUtime=1724.56 /proc/13017/stat : 13017 (java) S 13015 13017 10898 0 -1 4202496 118663 0 1 0 172426 30 0 0 19 0 19 0 133639750 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13017/statm: 386918 105923 1436 10 0 384220 0 [pid=13017/tid=13018] ppid=13015 vsize=1547672 CPUtime=1721.98 /proc/13017/task/13018/stat : 13018 (java) R 13015 13017 10898 0 -1 4202560 35506 0 1 0 172193 5 0 0 25 0 19 0 133639750 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4109170704 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13017/tid=13020] ppid=13015 vsize=1547672 CPUtime=0.11 /proc/13017/task/13020/stat : 13020 (java) S 13015 13017 10898 0 -1 4202560 8949 0 0 0 9 2 0 0 15 0 19 0 133639751 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13021] ppid=13015 vsize=1547672 CPUtime=0.12 /proc/13017/task/13021/stat : 13021 (java) S 13015 13017 10898 0 -1 4202560 7705 0 0 0 10 2 0 0 15 0 19 0 133639751 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13022] ppid=13015 vsize=1547672 CPUtime=0.16 /proc/13017/task/13022/stat : 13022 (java) S 13015 13017 10898 0 -1 4202560 10493 0 0 0 13 3 0 0 15 0 19 0 133639751 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13023] ppid=13015 vsize=1547672 CPUtime=0.13 /proc/13017/task/13023/stat : 13023 (java) S 13015 13017 10898 0 -1 4202560 11070 0 0 0 10 3 0 0 16 0 19 0 133639751 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 2 0 0 0 [pid=13017/tid=13024] ppid=13015 vsize=1547672 CPUtime=0.13 /proc/13017/task/13024/stat : 13024 (java) S 13015 13017 10898 0 -1 4202560 11346 0 0 0 11 2 0 0 15 0 19 0 133639751 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 4 0 0 0 [pid=13017/tid=13025] ppid=13015 vsize=1547672 CPUtime=0.14 /proc/13017/task/13025/stat : 13025 (java) S 13015 13017 10898 0 -1 4202560 9768 0 0 0 12 2 0 0 15 0 19 0 133639751 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13026] ppid=13015 vsize=1547672 CPUtime=0.1 /proc/13017/task/13026/stat : 13026 (java) S 13015 13017 10898 0 -1 4202560 5501 0 0 0 9 1 0 0 15 0 19 0 133639751 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 0 0 0 0 [pid=13017/tid=13027] ppid=13015 vsize=1547672 CPUtime=0.1 /proc/13017/task/13027/stat : 13027 (java) S 13015 13017 10898 0 -1 4202560 7537 0 0 0 9 1 0 0 15 0 19 0 133639751 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 4 0 0 0 [pid=13017/tid=13028] ppid=13015 vsize=1547672 CPUtime=0.03 /proc/13017/task/13028/stat : 13028 (java) S 13015 13017 10898 0 -1 4202560 101 0 0 0 1 2 0 0 15 0 19 0 133639752 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13029] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13029/stat : 13029 (java) S 13015 13017 10898 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133639752 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13030] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13030/stat : 13030 (java) S 13015 13017 10898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 133639752 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13031] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13031/stat : 13031 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133639754 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13032] ppid=13015 vsize=1547672 CPUtime=0.67 /proc/13017/task/13032/stat : 13032 (java) S 13015 13017 10898 0 -1 4202560 5797 0 0 0 66 1 0 0 15 0 19 0 133639754 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13033] ppid=13015 vsize=1547672 CPUtime=0.77 /proc/13017/task/13033/stat : 13033 (java) S 13015 13017 10898 0 -1 4202560 3721 0 0 0 77 0 0 0 15 0 19 0 133639754 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13034] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13034/stat : 13034 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133639754 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13035] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13035/stat : 13035 (java) S 13015 13017 10898 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 133639754 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 2 0 0 0 [pid=13017/tid=13036] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13036/stat : 13036 (java) S 13015 13017 10898 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133639766 1584816128 105923 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1724.56 Current children cumulated vsize (KiB) 1547672 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13122 /proc/meminfo: memFree=31394844/32951124 swapFree=67111528/67111528 [pid=13017] ppid=13015 vsize=1547672 CPUtime=1784.58 /proc/13017/stat : 13017 (java) S 13015 13017 10898 0 -1 4202496 120854 0 1 0 178427 31 0 0 19 0 19 0 133639750 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13017/statm: 386918 108088 1436 10 0 384220 0 [pid=13017/tid=13018] ppid=13015 vsize=1547672 CPUtime=1781.98 /proc/13017/task/13018/stat : 13018 (java) R 13015 13017 10898 0 -1 4202560 35508 0 1 0 178193 5 0 0 25 0 19 0 133639750 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4109170672 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13017/tid=13020] ppid=13015 vsize=1547672 CPUtime=0.11 /proc/13017/task/13020/stat : 13020 (java) S 13015 13017 10898 0 -1 4202560 8949 0 0 0 9 2 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13021] ppid=13015 vsize=1547672 CPUtime=0.12 /proc/13017/task/13021/stat : 13021 (java) S 13015 13017 10898 0 -1 4202560 8294 0 0 0 10 2 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13022] ppid=13015 vsize=1547672 CPUtime=0.16 /proc/13017/task/13022/stat : 13022 (java) S 13015 13017 10898 0 -1 4202560 10493 0 0 0 13 3 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13023] ppid=13015 vsize=1547672 CPUtime=0.14 /proc/13017/task/13023/stat : 13023 (java) S 13015 13017 10898 0 -1 4202560 11599 0 0 0 11 3 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 2 0 0 0 [pid=13017/tid=13024] ppid=13015 vsize=1547672 CPUtime=0.13 /proc/13017/task/13024/stat : 13024 (java) S 13015 13017 10898 0 -1 4202560 11913 0 0 0 11 2 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 4 0 0 0 [pid=13017/tid=13025] ppid=13015 vsize=1547672 CPUtime=0.14 /proc/13017/task/13025/stat : 13025 (java) S 13015 13017 10898 0 -1 4202560 9768 0 0 0 12 2 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13026] ppid=13015 vsize=1547672 CPUtime=0.1 /proc/13017/task/13026/stat : 13026 (java) S 13015 13017 10898 0 -1 4202560 5501 0 0 0 9 1 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 0 0 0 0 [pid=13017/tid=13027] ppid=13015 vsize=1547672 CPUtime=0.1 /proc/13017/task/13027/stat : 13027 (java) S 13015 13017 10898 0 -1 4202560 8037 0 0 0 9 1 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 0 0 0 0 [pid=13017/tid=13028] ppid=13015 vsize=1547672 CPUtime=0.03 /proc/13017/task/13028/stat : 13028 (java) S 13015 13017 10898 0 -1 4202560 103 0 0 0 1 2 0 0 15 0 19 0 133639752 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13029] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13029/stat : 13029 (java) S 13015 13017 10898 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133639752 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13030] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13030/stat : 13030 (java) S 13015 13017 10898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 133639752 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13031] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13031/stat : 13031 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133639754 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13032] ppid=13015 vsize=1547672 CPUtime=0.67 /proc/13017/task/13032/stat : 13032 (java) S 13015 13017 10898 0 -1 4202560 5797 0 0 0 66 1 0 0 15 0 19 0 133639754 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13033] ppid=13015 vsize=1547672 CPUtime=0.77 /proc/13017/task/13033/stat : 13033 (java) S 13015 13017 10898 0 -1 4202560 3721 0 0 0 77 0 0 0 15 0 19 0 133639754 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13034] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13034/stat : 13034 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133639754 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13035] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13035/stat : 13035 (java) S 13015 13017 10898 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 133639754 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 2 0 0 0 [pid=13017/tid=13036] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13036/stat : 13036 (java) S 13015 13017 10898 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133639766 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (KiB) 1547672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.8 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13123 /proc/meminfo: memFree=31394592/32951124 swapFree=67111528/67111528 [pid=13017] ppid=13015 vsize=1547672 CPUtime=1800.08 /proc/13017/stat : 13017 (java) S 13015 13017 10898 0 -1 4202496 120856 0 1 0 179977 31 0 0 19 0 19 0 133639750 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13017/statm: 386918 108088 1436 10 0 384220 0 [pid=13017/tid=13018] ppid=13015 vsize=1547672 CPUtime=1797.48 /proc/13017/task/13018/stat : 13018 (java) R 13015 13017 10898 0 -1 4202560 35508 0 1 0 179743 5 0 0 25 0 19 0 133639750 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4109170620 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13017/tid=13020] ppid=13015 vsize=1547672 CPUtime=0.11 /proc/13017/task/13020/stat : 13020 (java) S 13015 13017 10898 0 -1 4202560 8949 0 0 0 9 2 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13021] ppid=13015 vsize=1547672 CPUtime=0.12 /proc/13017/task/13021/stat : 13021 (java) S 13015 13017 10898 0 -1 4202560 8294 0 0 0 10 2 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13022] ppid=13015 vsize=1547672 CPUtime=0.16 /proc/13017/task/13022/stat : 13022 (java) S 13015 13017 10898 0 -1 4202560 10493 0 0 0 13 3 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13023] ppid=13015 vsize=1547672 CPUtime=0.14 /proc/13017/task/13023/stat : 13023 (java) S 13015 13017 10898 0 -1 4202560 11599 0 0 0 11 3 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 2 0 0 0 [pid=13017/tid=13024] ppid=13015 vsize=1547672 CPUtime=0.13 /proc/13017/task/13024/stat : 13024 (java) S 13015 13017 10898 0 -1 4202560 11913 0 0 0 11 2 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 4 0 0 0 [pid=13017/tid=13025] ppid=13015 vsize=1547672 CPUtime=0.14 /proc/13017/task/13025/stat : 13025 (java) S 13015 13017 10898 0 -1 4202560 9768 0 0 0 12 2 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13026] ppid=13015 vsize=1547672 CPUtime=0.1 /proc/13017/task/13026/stat : 13026 (java) S 13015 13017 10898 0 -1 4202560 5501 0 0 0 9 1 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 0 0 0 0 [pid=13017/tid=13027] ppid=13015 vsize=1547672 CPUtime=0.1 /proc/13017/task/13027/stat : 13027 (java) S 13015 13017 10898 0 -1 4202560 8037 0 0 0 9 1 0 0 15 0 19 0 133639751 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 0 0 0 0 [pid=13017/tid=13028] ppid=13015 vsize=1547672 CPUtime=0.03 /proc/13017/task/13028/stat : 13028 (java) S 13015 13017 10898 0 -1 4202560 103 0 0 0 1 2 0 0 15 0 19 0 133639752 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 0 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13029] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13029/stat : 13029 (java) S 13015 13017 10898 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133639752 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13030] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13030/stat : 13030 (java) S 13015 13017 10898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 133639752 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 5 0 0 0 [pid=13017/tid=13031] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13031/stat : 13031 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133639754 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 1 0 0 0 [pid=13017/tid=13032] ppid=13015 vsize=1547672 CPUtime=0.67 /proc/13017/task/13032/stat : 13032 (java) S 13015 13017 10898 0 -1 4202560 5797 0 0 0 66 1 0 0 15 0 19 0 133639754 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 6 0 0 0 [pid=13017/tid=13033] ppid=13015 vsize=1547672 CPUtime=0.77 /proc/13017/task/13033/stat : 13033 (java) S 13015 13017 10898 0 -1 4202560 3721 0 0 0 77 0 0 0 15 0 19 0 133639754 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13034] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13034/stat : 13034 (java) S 13015 13017 10898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133639754 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 3 0 0 0 [pid=13017/tid=13035] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13035/stat : 13035 (java) S 13015 13017 10898 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 133639754 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 2 0 0 0 [pid=13017/tid=13036] ppid=13015 vsize=1547672 CPUtime=0 /proc/13017/task/13036/stat : 13036 (java) S 13015 13017 10898 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133639766 1584816128 108088 4089446400 134512640 134550932 4291861024 18446744073709551615 4294960144 0 4 0 16800975 18446604471135576192 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1547672 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1798 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13123 /proc/meminfo: memFree=31394592/32951124 swapFree=67111528/67111528 [pid=13017] ppid=13015 vsize=0 CPUtime=1800.44 /proc/13017/stat : 13017 (java) Z 13015 13017 10898 0 -1 4203548 120878 0 1 0 179996 48 0 0 16 0 2 0 133639750 0 0 4089446400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13017/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1798 CPU time (s): 1800.45 CPU user time (s): 1799.96 CPU system time (s): 0.488925 CPU usage (%): 100.136 Max. virtual memory (cumulated for all children) (KiB): 1550416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.488925 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120878 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= 40984 involuntary context switches= 19680 runsolver used 2.94955 second user time and 6.15306 second system time The end
Begin job on node104 at 2010-06-30 20:43:42 IDJOB=2692196 IDBENCH=79206 IDSOLVER=1203 FILE ID=node104/2692196-1277923422 PBS_JOBID= 11197336 Free space on /tmp= 74212 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976730--soft-0-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692196-1277923422/watcher-2692196-1277923422 -o /tmp/evaluation-result-2692196-1277923422/solver-2692196-1277923422 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692196-1277923422.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 757f0ee369969ddf8bfd897da7532965 RANDOM SEED=755115763 node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31614648 kB Buffers: 202012 kB Cached: 697232 kB SwapCached: 0 kB Active: 644996 kB Inactive: 549076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31614648 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 612 kB Writeback: 0 kB AnonPages: 294680 kB Mapped: 20432 kB Slab: 78556 kB PageTables: 5404 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1652692 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node104 at 2010-06-30 21:13:42