Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.16 | 1797.35 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-33-100-0.wbo |
MD5SUM | 11192ef633da7cef97eefdeccab8f20f |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 27 |
Best CPU time to get the best result obtained on this benchmark | 0.206968 |
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 | 64 |
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 | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1327 |
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.00/0.10 c Pseudo Boolean Optimization 0.00/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.00/0.10 c --- Begin Solver configuration --- 0.00/0.10 c Stops conflict analysis at the first Unique Implication Point 0.00/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c1ea29 0.00/0.10 c Learn all clauses as in MiniSAT 0.00/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.00/0.10 c No reason simplification 0.00/0.10 c Armin Biere (Picosat) restarts strategy 0.00/0.10 c Glucose learned constraints deletion strategy 0.00/0.10 c timeout=2147483s 0.00/0.10 c DB Simplification allowed=false 0.00/0.10 c --- End Solver configuration --- 0.00/0.10 c solving HOME/instance-2692007-1277898055.wbo 0.00/0.10 c reading problem ... 0.12/0.16 c ... done. Wall clock time 0.058s. 0.12/0.16 c #vars 233 0.12/0.16 c #constraints 101 0.12/0.16 c constraints type 0.12/0.16 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1 0.12/0.16 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 26 0.12/0.16 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 73 0.12/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1.16/0.54 c SATISFIABLE 1.16/0.54 c OPTIMIZING... 1.16/0.54 c Got one! Elapsed wall clock time (in seconds):0.445 1.16/0.54 o 637 2.81/1.35 c Got one! Elapsed wall clock time (in seconds):1.25 2.81/1.35 o 636 3.97/2.47 c Got one! Elapsed wall clock time (in seconds):2.372 3.97/2.47 o 634 14.04/12.46 c Got one! Elapsed wall clock time (in seconds):12.365 14.04/12.46 o 588 83.80/82.15 c Got one! Elapsed wall clock time (in seconds):82.05 83.80/82.15 o 563 689.02/686.75 c Got one! Elapsed wall clock time (in seconds):686.652 689.02/686.75 o 562 1800.10/1797.31 c starts : 13 1800.10/1797.31 c conflicts : 900 1800.10/1797.31 c decisions : 5989 1800.10/1797.31 c propagations : 35110 1800.10/1797.31 c inspects : 2512222 1800.10/1797.31 c learnt literals : 0 1800.10/1797.31 c learnt binary clauses : 0 1800.10/1797.31 c learnt ternary clauses : 0 1800.10/1797.31 c learnt clauses : 899 1800.10/1797.31 c ignored clauses : 0 1800.10/1797.31 c root simplifications : 0 1800.10/1797.31 c removed literals (reason simplification) : 0 1800.10/1797.31 c reason swapping (by a shorter reason) : 0 1800.10/1797.31 c Calls to reduceDB : 0 1800.10/1797.31 c number of reductions to clauses (during analyze) : 0 1800.10/1797.31 c number of learned constraints concerned by reduction : 0 1800.10/1797.31 c number of learning phase by resolution : 0 1800.10/1797.31 c number of learning phase by cutting planes : 0 1800.10/1797.31 c speed (assignments/second) : 31.614680881717334 1800.10/1797.31 c non guided choices 97 1800.10/1797.31 c learnt constraints type 1800.10/1797.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.10/1797.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 897 1800.10/1797.31 c constraints type 1800.10/1797.31 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1 1800.10/1797.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 26 1800.10/1797.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 73 1800.10/1797.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.10/1797.31 s SATISFIABLE 1800.10/1797.31 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.10/1797.31 c objective function=562 1800.10/1797.31 c Total wall clock time (in seconds): 1797.213
OK 409
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692007-1277898055/watcher-2692007-1277898055 -o /tmp/evaluation-result-2692007-1277898055/solver-2692007-1277898055 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692007-1277898055.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.17 2.05 2.01 3/182 12260 /proc/meminfo: memFree=31261516/32951124 swapFree=67111528/67111528 [pid=12260] ppid=12258 vsize=13472 CPUtime=0 /proc/12260/stat : 12260 (java) S 12258 12260 10108 0 -1 4202496 1097 0 0 0 0 0 0 0 25 0 2 0 131101135 13795328 570 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/12260/statm: 3368 572 259 10 0 1202 0 [pid=12260/tid=12261] ppid=12258 vsize=13480 CPUtime=0 /proc/12260/task/12261/stat : 12261 (java) R 12258 12260 10108 0 -1 4202560 63 0 0 0 0 0 0 0 25 0 2 0 131101135 13803520 575 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 4096 2048 0 0 0 -1 1 0 0 0 [startup+0.104316 s] /proc/loadavg: 2.17 2.05 2.01 3/182 12260 /proc/meminfo: memFree=31261516/32951124 swapFree=67111528/67111528 [pid=12260] ppid=12258 vsize=1530080 CPUtime=0.12 /proc/12260/stat : 12260 (java) S 12258 12260 10108 0 -1 4202496 5229 0 1 0 11 1 0 0 25 0 18 0 131101135 1566801920 4667 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12260/statm: 382520 4667 1349 10 0 379822 0 [pid=12260/tid=12261] ppid=12258 vsize=1530080 CPUtime=0.09 /proc/12260/task/12261/stat : 12261 (java) R 12258 12260 10108 0 -1 4202560 3562 0 1 0 8 1 0 0 25 0 18 0 131101135 1566801920 4667 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 1530080 [startup+0.2013 s] /proc/loadavg: 2.17 2.05 2.01 3/182 12260 /proc/meminfo: memFree=31261516/32951124 swapFree=67111528/67111528 [pid=12260] ppid=12258 vsize=1530728 CPUtime=0.27 /proc/12260/stat : 12260 (java) S 12258 12260 10108 0 -1 4202496 5899 0 1 0 26 1 0 0 25 0 19 0 131101135 1567465472 5337 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12260/statm: 382682 5338 1396 10 0 379984 0 [pid=12260/tid=12261] ppid=12258 vsize=1530728 CPUtime=0.18 /proc/12260/task/12261/stat : 12261 (java) R 12258 12260 10108 0 -1 4202560 4080 0 1 0 17 1 0 0 25 0 19 0 131101135 1567465472 5338 4089446400 134512640 134550932 4291195536 18446744073709551615 4109380468 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 1530728 [startup+0.300234 s] /proc/loadavg: 2.17 2.05 2.01 3/182 12260 /proc/meminfo: memFree=31261516/32951124 swapFree=67111528/67111528 [pid=12260] ppid=12258 vsize=1533392 CPUtime=0.56 /proc/12260/stat : 12260 (java) S 12258 12260 10108 0 -1 4202496 7999 0 1 0 55 1 0 0 25 0 19 0 131101135 1570193408 7437 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12260/statm: 383348 7437 1412 10 0 380650 0 [pid=12260/tid=12261] ppid=12258 vsize=1533392 CPUtime=0.28 /proc/12260/task/12261/stat : 12261 (java) R 12258 12260 10108 0 -1 4202560 5481 0 1 0 27 1 0 0 25 0 19 0 131101135 1570193408 7437 4089446400 134512640 134550932 4291195536 18446744073709551615 4109675299 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 1533392 [startup+0.70119 s] /proc/loadavg: 2.17 2.05 2.01 3/182 12260 /proc/meminfo: memFree=31261516/32951124 swapFree=67111528/67111528 [pid=12260] ppid=12258 vsize=1551532 CPUtime=1.76 /proc/12260/stat : 12260 (java) S 12258 12260 10108 0 -1 4202496 32048 0 1 0 172 4 0 0 25 0 19 0 131101135 1588768768 27824 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12260/statm: 387883 27824 1420 10 0 385185 0 [pid=12260/tid=12261] ppid=12258 vsize=1551532 CPUtime=0.67 /proc/12260/task/12261/stat : 12261 (java) R 12258 12260 10108 0 -1 4202560 21302 0 1 0 65 2 0 0 18 0 19 0 131101135 1588768768 27824 4089446400 134512640 134550932 4291195536 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.76 Current children cumulated vsize (KiB) 1551532 [startup+1.50107 s] /proc/loadavg: 2.17 2.05 2.01 3/201 12280 /proc/meminfo: memFree=31109796/32951124 swapFree=67111528/67111528 [pid=12260] ppid=12258 vsize=1551768 CPUtime=3.03 /proc/12260/stat : 12260 (java) S 12258 12260 10108 0 -1 4202496 45505 0 1 0 297 6 0 0 25 0 19 0 131101135 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12260/statm: 387942 40276 1432 10 0 385244 0 [pid=12260/tid=12261] ppid=12258 vsize=1551768 CPUtime=1.47 /proc/12260/task/12261/stat : 12261 (java) R 12258 12260 10108 0 -1 4202560 32091 0 1 0 143 4 0 0 18 0 19 0 131101135 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4109742966 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12260/tid=12263] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12263/stat : 12263 (java) S 12258 12260 10108 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 131101136 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12264] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12264/stat : 12264 (java) S 12258 12260 10108 0 -1 4202560 414 0 0 0 0 0 0 0 16 0 19 0 131101136 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12265] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12265/stat : 12265 (java) S 12258 12260 10108 0 -1 4202560 174 0 0 0 0 0 0 0 16 0 19 0 131101136 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12266] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12266/stat : 12266 (java) S 12258 12260 10108 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131101136 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12267] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12267/stat : 12267 (java) S 12258 12260 10108 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 131101136 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12268] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12268/stat : 12268 (java) S 12258 12260 10108 0 -1 4202560 343 0 0 0 0 0 0 0 16 0 19 0 131101136 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12269] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12269/stat : 12269 (java) S 12258 12260 10108 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 19 0 131101136 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12270] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12270/stat : 12270 (java) S 12258 12260 10108 0 -1 4202560 320 0 0 0 0 0 0 0 15 0 19 0 131101136 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12271] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12271/stat : 12271 (java) S 12258 12260 10108 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 131101137 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12272] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12272/stat : 12272 (java) S 12258 12260 10108 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 131101137 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12273] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12273/stat : 12273 (java) S 12258 12260 10108 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131101137 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12274] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12274/stat : 12274 (java) S 12258 12260 10108 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 131101139 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12275] ppid=12258 vsize=1551768 CPUtime=0.77 /proc/12260/task/12275/stat : 12275 (java) S 12258 12260 10108 0 -1 4202560 4661 0 0 0 77 0 0 0 15 0 19 0 131101139 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12276] ppid=12258 vsize=1551768 CPUtime=0.76 /proc/12260/task/12276/stat : 12276 (java) S 12258 12260 10108 0 -1 4202560 6182 0 0 0 75 1 0 0 15 0 19 0 131101139 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12277] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12277/stat : 12277 (java) S 12258 12260 10108 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 131101139 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12278] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12278/stat : 12278 (java) S 12258 12260 10108 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131101139 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12279] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12279/stat : 12279 (java) S 12258 12260 10108 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 131101151 1589010432 40276 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 1551768 [startup+3.10078 s] /proc/loadavg: 2.15 2.05 2.01 3/201 12280 /proc/meminfo: memFree=31102108/32951124 swapFree=67111528/67111528 [pid=12260] ppid=12258 vsize=1551768 CPUtime=4.69 /proc/12260/stat : 12260 (java) S 12258 12260 10108 0 -1 4202496 48796 0 1 0 463 6 0 0 25 0 19 0 131101135 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12260/statm: 387942 43558 1436 10 0 385244 0 [pid=12260/tid=12261] ppid=12258 vsize=1551768 CPUtime=3.05 /proc/12260/task/12261/stat : 12261 (java) R 12258 12260 10108 0 -1 4202560 32096 0 1 0 301 4 0 0 21 0 19 0 131101135 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4109743772 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12260/tid=12263] ppid=12258 vsize=1551768 CPUtime=0.01 /proc/12260/task/12263/stat : 12263 (java) S 12258 12260 10108 0 -1 4202560 647 0 0 0 1 0 0 0 16 0 19 0 131101136 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12264] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12264/stat : 12264 (java) S 12258 12260 10108 0 -1 4202560 567 0 0 0 0 0 0 0 15 0 19 0 131101136 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12265] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12265/stat : 12265 (java) S 12258 12260 10108 0 -1 4202560 402 0 0 0 0 0 0 0 15 0 19 0 131101136 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12266] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12266/stat : 12266 (java) S 12258 12260 10108 0 -1 4202560 392 0 0 0 0 0 0 0 15 0 19 0 131101136 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12267] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12267/stat : 12267 (java) S 12258 12260 10108 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 131101136 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12268] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12268/stat : 12268 (java) S 12258 12260 10108 0 -1 4202560 1318 0 0 0 0 0 0 0 16 0 19 0 131101136 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12269] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12269/stat : 12269 (java) S 12258 12260 10108 0 -1 4202560 300 0 0 0 0 0 0 0 15 0 19 0 131101136 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12270] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12270/stat : 12270 (java) S 12258 12260 10108 0 -1 4202560 959 0 0 0 0 0 0 0 16 0 19 0 131101136 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12271] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12271/stat : 12271 (java) S 12258 12260 10108 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 131101137 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12272] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12272/stat : 12272 (java) S 12258 12260 10108 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 131101137 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12273] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12273/stat : 12273 (java) S 12258 12260 10108 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131101137 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12274] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12274/stat : 12274 (java) S 12258 12260 10108 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 131101139 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12275] ppid=12258 vsize=1551768 CPUtime=0.8 /proc/12260/task/12275/stat : 12275 (java) S 12258 12260 10108 0 -1 4202560 4668 0 0 0 80 0 0 0 15 0 19 0 131101139 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12276] ppid=12258 vsize=1551768 CPUtime=0.76 /proc/12260/task/12276/stat : 12276 (java) S 12258 12260 10108 0 -1 4202560 6182 0 0 0 75 1 0 0 15 0 19 0 131101139 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12277] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12277/stat : 12277 (java) S 12258 12260 10108 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 131101139 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12278] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12278/stat : 12278 (java) S 12258 12260 10108 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131101139 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12279] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12279/stat : 12279 (java) S 12258 12260 10108 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 131101151 1589010432 43558 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4.69 Current children cumulated vsize (KiB) 1551768 [startup+6.30117 s] /proc/loadavg: 2.15 2.05 2.01 3/201 12280 /proc/meminfo: memFree=31067188/32951124 swapFree=67111528/67111528 [pid=12260] ppid=12258 vsize=1551768 CPUtime=7.93 /proc/12260/stat : 12260 (java) S 12258 12260 10108 0 -1 4202496 55199 0 1 0 784 9 0 0 25 0 19 0 131101135 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12260/statm: 387942 49504 1436 10 0 385244 0 [pid=12260/tid=12261] ppid=12258 vsize=1551768 CPUtime=6.24 /proc/12260/task/12261/stat : 12261 (java) R 12258 12260 10108 0 -1 4202560 35335 0 1 0 620 4 0 0 25 0 19 0 131101135 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4109743792 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12260/tid=12263] ppid=12258 vsize=1551768 CPUtime=0.01 /proc/12260/task/12263/stat : 12263 (java) S 12258 12260 10108 0 -1 4202560 1235 0 0 0 1 0 0 0 15 0 19 0 131101136 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12264] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12264/stat : 12264 (java) S 12258 12260 10108 0 -1 4202560 818 0 0 0 0 0 0 0 15 0 19 0 131101136 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12265] ppid=12258 vsize=1551768 CPUtime=0.01 /proc/12260/task/12265/stat : 12265 (java) S 12258 12260 10108 0 -1 4202560 731 0 0 0 1 0 0 0 15 0 19 0 131101136 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12266] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12266/stat : 12266 (java) S 12258 12260 10108 0 -1 4202560 765 0 0 0 0 0 0 0 16 0 19 0 131101136 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12267] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12267/stat : 12267 (java) S 12258 12260 10108 0 -1 4202560 696 0 0 0 0 0 0 0 15 0 19 0 131101136 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12268] ppid=12258 vsize=1551768 CPUtime=0.01 /proc/12260/task/12268/stat : 12268 (java) S 12258 12260 10108 0 -1 4202560 1943 0 0 0 1 0 0 0 15 0 19 0 131101136 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12269] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12269/stat : 12269 (java) S 12258 12260 10108 0 -1 4202560 544 0 0 0 0 0 0 0 15 0 19 0 131101136 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12270] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12270/stat : 12270 (java) S 12258 12260 10108 0 -1 4202560 1188 0 0 0 0 0 0 0 15 0 19 0 131101136 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12271] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12271/stat : 12271 (java) S 12258 12260 10108 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 131101137 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12272] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12272/stat : 12272 (java) S 12258 12260 10108 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 131101137 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12273] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12273/stat : 12273 (java) S 12258 12260 10108 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131101137 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12274] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12274/stat : 12274 (java) S 12258 12260 10108 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 131101139 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12275] ppid=12258 vsize=1551768 CPUtime=0.81 /proc/12260/task/12275/stat : 12275 (java) S 12258 12260 10108 0 -1 4202560 4669 0 0 0 81 0 0 0 15 0 19 0 131101139 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12276] ppid=12258 vsize=1551768 CPUtime=0.76 /proc/12260/task/12276/stat : 12276 (java) S 12258 12260 10108 0 -1 4202560 6182 0 0 0 75 1 0 0 15 0 19 0 131101139 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12277] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12277/stat : 12277 (java) S 12258 12260 10108 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 131101139 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12278] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12278/stat : 12278 (java) S 12258 12260 10108 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131101139 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12279] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12279/stat : 12279 (java) S 12258 12260 10108 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 131101151 1589010432 49504 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 7.93 Current children cumulated vsize (KiB) 1551768 ################ # More data... # ################ [pid=12260/tid=12268] ppid=12258 vsize=1551768 CPUtime=0.16 /proc/12260/task/12268/stat : 12268 (java) S 12258 12260 10108 0 -1 4202560 8666 0 0 0 13 3 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12269] ppid=12258 vsize=1551768 CPUtime=0.18 /proc/12260/task/12269/stat : 12269 (java) S 12258 12260 10108 0 -1 4202560 10312 0 0 0 15 3 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 5 0 0 0 [pid=12260/tid=12270] ppid=12258 vsize=1551768 CPUtime=0.22 /proc/12260/task/12270/stat : 12270 (java) S 12258 12260 10108 0 -1 4202560 12279 0 0 0 17 5 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 1 0 0 0 [pid=12260/tid=12271] ppid=12258 vsize=1551768 CPUtime=0.04 /proc/12260/task/12271/stat : 12271 (java) S 12258 12260 10108 0 -1 4202560 102 0 0 0 1 3 0 0 15 0 19 0 131101137 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12272] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12272/stat : 12272 (java) S 12258 12260 10108 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 131101137 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12273] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12273/stat : 12273 (java) S 12258 12260 10108 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131101137 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12274] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12274/stat : 12274 (java) S 12258 12260 10108 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12275] ppid=12258 vsize=1551768 CPUtime=0.82 /proc/12260/task/12275/stat : 12275 (java) S 12258 12260 10108 0 -1 4202560 4671 0 0 0 82 0 0 0 15 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12276] ppid=12258 vsize=1551768 CPUtime=0.76 /proc/12260/task/12276/stat : 12276 (java) S 12258 12260 10108 0 -1 4202560 6182 0 0 0 75 1 0 0 16 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12277] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12277/stat : 12277 (java) S 12258 12260 10108 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12278] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12278/stat : 12278 (java) S 12258 12260 10108 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12279] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12279/stat : 12279 (java) S 12258 12260 10108 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 131101151 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1665.08 Current children cumulated vsize (KiB) 1551768 [startup+1722.3 s] /proc/loadavg: 2.23 2.09 2.03 3/219 12556 /proc/meminfo: memFree=30784356/32951124 swapFree=67111528/67111528 [pid=12260] ppid=12258 vsize=1551768 CPUtime=1725.08 /proc/12260/stat : 12260 (java) S 12258 12260 10108 0 -1 4202496 133252 0 1 0 172464 44 0 0 25 0 19 0 131101135 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12260/statm: 387942 118510 1436 10 0 385244 0 [pid=12260/tid=12261] ppid=12258 vsize=1551768 CPUtime=1721.86 /proc/12260/task/12261/stat : 12261 (java) R 12258 12260 10108 0 -1 4202560 35525 0 1 0 172182 4 0 0 25 0 19 0 131101135 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4110139094 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=12260/tid=12263] ppid=12258 vsize=1551768 CPUtime=0.18 /proc/12260/task/12263/stat : 12263 (java) S 12258 12260 10108 0 -1 4202560 12695 0 0 0 14 4 0 0 16 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12264] ppid=12258 vsize=1551768 CPUtime=0.19 /proc/12260/task/12264/stat : 12264 (java) S 12258 12260 10108 0 -1 4202560 10524 0 0 0 16 3 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12265] ppid=12258 vsize=1551768 CPUtime=0.19 /proc/12260/task/12265/stat : 12265 (java) S 12258 12260 10108 0 -1 4202560 11552 0 0 0 15 4 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12266] ppid=12258 vsize=1551768 CPUtime=0.17 /proc/12260/task/12266/stat : 12266 (java) S 12258 12260 10108 0 -1 4202560 10184 0 0 0 13 4 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 3 0 0 0 [pid=12260/tid=12267] ppid=12258 vsize=1551768 CPUtime=0.18 /proc/12260/task/12267/stat : 12267 (java) S 12258 12260 10108 0 -1 4202560 9399 0 0 0 15 3 0 0 16 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12268] ppid=12258 vsize=1551768 CPUtime=0.16 /proc/12260/task/12268/stat : 12268 (java) S 12258 12260 10108 0 -1 4202560 8666 0 0 0 13 3 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12269] ppid=12258 vsize=1551768 CPUtime=0.18 /proc/12260/task/12269/stat : 12269 (java) S 12258 12260 10108 0 -1 4202560 10312 0 0 0 15 3 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 5 0 0 0 [pid=12260/tid=12270] ppid=12258 vsize=1551768 CPUtime=0.22 /proc/12260/task/12270/stat : 12270 (java) S 12258 12260 10108 0 -1 4202560 12279 0 0 0 17 5 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 1 0 0 0 [pid=12260/tid=12271] ppid=12258 vsize=1551768 CPUtime=0.04 /proc/12260/task/12271/stat : 12271 (java) S 12258 12260 10108 0 -1 4202560 102 0 0 0 1 3 0 0 15 0 19 0 131101137 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12272] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12272/stat : 12272 (java) S 12258 12260 10108 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 131101137 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12273] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12273/stat : 12273 (java) S 12258 12260 10108 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131101137 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12274] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12274/stat : 12274 (java) S 12258 12260 10108 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12275] ppid=12258 vsize=1551768 CPUtime=0.82 /proc/12260/task/12275/stat : 12275 (java) S 12258 12260 10108 0 -1 4202560 4671 0 0 0 82 0 0 0 15 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12276] ppid=12258 vsize=1551768 CPUtime=0.76 /proc/12260/task/12276/stat : 12276 (java) S 12258 12260 10108 0 -1 4202560 6182 0 0 0 75 1 0 0 16 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12277] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12277/stat : 12277 (java) S 12258 12260 10108 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12278] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12278/stat : 12278 (java) S 12258 12260 10108 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12279] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12279/stat : 12279 (java) S 12258 12260 10108 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 131101151 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1725.08 Current children cumulated vsize (KiB) 1551768 [startup+1782.3 s] /proc/loadavg: 2.08 2.07 2.02 3/219 12558 /proc/meminfo: memFree=30775880/32951124 swapFree=67111528/67111528 [pid=12260] ppid=12258 vsize=1551768 CPUtime=1785.09 /proc/12260/stat : 12260 (java) S 12258 12260 10108 0 -1 4202496 133256 0 1 0 178465 44 0 0 25 0 19 0 131101135 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12260/statm: 387942 118510 1436 10 0 385244 0 [pid=12260/tid=12261] ppid=12258 vsize=1551768 CPUtime=1781.86 /proc/12260/task/12261/stat : 12261 (java) R 12258 12260 10108 0 -1 4202560 35525 0 1 0 178182 4 0 0 25 0 19 0 131101135 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4110139078 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=12260/tid=12263] ppid=12258 vsize=1551768 CPUtime=0.18 /proc/12260/task/12263/stat : 12263 (java) S 12258 12260 10108 0 -1 4202560 12695 0 0 0 14 4 0 0 16 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12264] ppid=12258 vsize=1551768 CPUtime=0.19 /proc/12260/task/12264/stat : 12264 (java) S 12258 12260 10108 0 -1 4202560 10524 0 0 0 16 3 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12265] ppid=12258 vsize=1551768 CPUtime=0.19 /proc/12260/task/12265/stat : 12265 (java) S 12258 12260 10108 0 -1 4202560 11552 0 0 0 15 4 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12266] ppid=12258 vsize=1551768 CPUtime=0.17 /proc/12260/task/12266/stat : 12266 (java) S 12258 12260 10108 0 -1 4202560 10184 0 0 0 13 4 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 3 0 0 0 [pid=12260/tid=12267] ppid=12258 vsize=1551768 CPUtime=0.18 /proc/12260/task/12267/stat : 12267 (java) S 12258 12260 10108 0 -1 4202560 9399 0 0 0 15 3 0 0 16 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12268] ppid=12258 vsize=1551768 CPUtime=0.16 /proc/12260/task/12268/stat : 12268 (java) S 12258 12260 10108 0 -1 4202560 8666 0 0 0 13 3 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12269] ppid=12258 vsize=1551768 CPUtime=0.18 /proc/12260/task/12269/stat : 12269 (java) S 12258 12260 10108 0 -1 4202560 10312 0 0 0 15 3 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 5 0 0 0 [pid=12260/tid=12270] ppid=12258 vsize=1551768 CPUtime=0.22 /proc/12260/task/12270/stat : 12270 (java) S 12258 12260 10108 0 -1 4202560 12279 0 0 0 17 5 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 1 0 0 0 [pid=12260/tid=12271] ppid=12258 vsize=1551768 CPUtime=0.04 /proc/12260/task/12271/stat : 12271 (java) S 12258 12260 10108 0 -1 4202560 102 0 0 0 1 3 0 0 15 0 19 0 131101137 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12272] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12272/stat : 12272 (java) S 12258 12260 10108 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 131101137 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12273] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12273/stat : 12273 (java) S 12258 12260 10108 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131101137 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12274] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12274/stat : 12274 (java) S 12258 12260 10108 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12275] ppid=12258 vsize=1551768 CPUtime=0.82 /proc/12260/task/12275/stat : 12275 (java) S 12258 12260 10108 0 -1 4202560 4671 0 0 0 82 0 0 0 15 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12276] ppid=12258 vsize=1551768 CPUtime=0.76 /proc/12260/task/12276/stat : 12276 (java) S 12258 12260 10108 0 -1 4202560 6182 0 0 0 75 1 0 0 16 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12277] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12277/stat : 12277 (java) S 12258 12260 10108 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12278] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12278/stat : 12278 (java) S 12258 12260 10108 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12279] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12279/stat : 12279 (java) S 12258 12260 10108 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 131101151 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1785.09 Current children cumulated vsize (KiB) 1551768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.3 s] /proc/loadavg: 2.14 2.09 2.03 3/219 12558 /proc/meminfo: memFree=30774508/32951124 swapFree=67111528/67111528 [pid=12260] ppid=12258 vsize=1551768 CPUtime=1800.1 /proc/12260/stat : 12260 (java) S 12258 12260 10108 0 -1 4202496 133259 0 1 0 179966 44 0 0 25 0 19 0 131101135 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/12260/statm: 387942 118510 1436 10 0 385244 0 [pid=12260/tid=12261] ppid=12258 vsize=1551768 CPUtime=1796.87 /proc/12260/task/12261/stat : 12261 (java) R 12258 12260 10108 0 -1 4202560 35526 0 1 0 179683 4 0 0 25 0 19 0 131101135 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4110139080 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=12260/tid=12263] ppid=12258 vsize=1551768 CPUtime=0.18 /proc/12260/task/12263/stat : 12263 (java) S 12258 12260 10108 0 -1 4202560 12695 0 0 0 14 4 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12264] ppid=12258 vsize=1551768 CPUtime=0.19 /proc/12260/task/12264/stat : 12264 (java) S 12258 12260 10108 0 -1 4202560 10524 0 0 0 16 3 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12265] ppid=12258 vsize=1551768 CPUtime=0.19 /proc/12260/task/12265/stat : 12265 (java) S 12258 12260 10108 0 -1 4202560 11552 0 0 0 15 4 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12266] ppid=12258 vsize=1551768 CPUtime=0.18 /proc/12260/task/12266/stat : 12266 (java) S 12258 12260 10108 0 -1 4202560 10184 0 0 0 14 4 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 3 0 0 0 [pid=12260/tid=12267] ppid=12258 vsize=1551768 CPUtime=0.18 /proc/12260/task/12267/stat : 12267 (java) S 12258 12260 10108 0 -1 4202560 9399 0 0 0 15 3 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12268] ppid=12258 vsize=1551768 CPUtime=0.17 /proc/12260/task/12268/stat : 12268 (java) S 12258 12260 10108 0 -1 4202560 8666 0 0 0 14 3 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12269] ppid=12258 vsize=1551768 CPUtime=0.18 /proc/12260/task/12269/stat : 12269 (java) S 12258 12260 10108 0 -1 4202560 10312 0 0 0 15 3 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 5 0 0 0 [pid=12260/tid=12270] ppid=12258 vsize=1551768 CPUtime=0.22 /proc/12260/task/12270/stat : 12270 (java) S 12258 12260 10108 0 -1 4202560 12279 0 0 0 17 5 0 0 15 0 19 0 131101136 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 1 0 0 0 [pid=12260/tid=12271] ppid=12258 vsize=1551768 CPUtime=0.04 /proc/12260/task/12271/stat : 12271 (java) S 12258 12260 10108 0 -1 4202560 104 0 0 0 1 3 0 0 15 0 19 0 131101137 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 0 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 [pid=12260/tid=12272] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12272/stat : 12272 (java) S 12258 12260 10108 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 131101137 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12273] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12273/stat : 12273 (java) S 12258 12260 10108 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131101137 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 0 0 0 0 [pid=12260/tid=12274] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12274/stat : 12274 (java) S 12258 12260 10108 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12275] ppid=12258 vsize=1551768 CPUtime=0.82 /proc/12260/task/12275/stat : 12275 (java) S 12258 12260 10108 0 -1 4202560 4671 0 0 0 82 0 0 0 15 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12276] ppid=12258 vsize=1551768 CPUtime=0.76 /proc/12260/task/12276/stat : 12276 (java) S 12258 12260 10108 0 -1 4202560 6182 0 0 0 75 1 0 0 16 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12277] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12277/stat : 12277 (java) S 12258 12260 10108 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 6 0 0 0 [pid=12260/tid=12278] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12278/stat : 12278 (java) S 12258 12260 10108 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 131101139 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 4 0 0 0 [pid=12260/tid=12279] ppid=12258 vsize=1551768 CPUtime=0 /proc/12260/task/12279/stat : 12279 (java) S 12258 12260 10108 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 131101151 1589010432 118510 4089446400 134512640 134550932 4291195536 18446744073709551615 4294960144 0 4 0 16800975 18446604453968650368 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1551768 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1797.35 CPU time (s): 1800.16 CPU user time (s): 1799.69 CPU system time (s): 0.461929 CPU usage (%): 100.156 Max. virtual memory (cumulated for all children) (KiB): 1554740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.69 system time used= 0.461929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133279 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= 42204 involuntary context switches= 26515 runsolver used 3.55546 second user time and 6.84596 second system time The end
Begin job on node135 at 2010-06-30 13:40:55 IDJOB=2692007 IDBENCH=78824 IDSOLVER=1203 FILE ID=node135/2692007-1277898055 PBS_JOBID= 11197083 Free space on /tmp= 74136 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977780--soft-33-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-2692007-1277898055/watcher-2692007-1277898055 -o /tmp/evaluation-result-2692007-1277898055/solver-2692007-1277898055 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692007-1277898055.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 11192ef633da7cef97eefdeccab8f20f RANDOM SEED=466588680 node135.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.857 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.71 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.857 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 : 5332.75 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.857 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.857 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 : 7186.14 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.857 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.75 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.857 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.75 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.857 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.74 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.857 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31261920 kB Buffers: 181280 kB Cached: 1101332 kB SwapCached: 0 kB Active: 733624 kB Inactive: 811812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31261920 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 488 kB Writeback: 0 kB AnonPages: 262880 kB Mapped: 16108 kB Slab: 80316 kB PageTables: 4976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 412652 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74140 MiB End job on node135 at 2010-06-30 14:10:55