Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.16 | 1704.29 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo |
MD5SUM | 8222df718f0c39737e94bfab6b6fa003 |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 29.2616 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 927 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 45360 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45359 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 719 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.06 c See www.sat4j.org for details. 0.03/0.07 c version 2.2.0.v20100526 0.03/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.03/0.07 c java.vm.version 11.2-b01 0.03/0.07 c java.vm.vendor Sun Microsystems Inc. 0.03/0.07 c sun.arch.data.model 32 0.03/0.07 c java.version 1.6.0_12 0.03/0.07 c os.name Linux 0.03/0.07 c os.version 2.6.18-164.el5 0.03/0.07 c os.arch i386 0.03/0.07 c Free memory 1393557488 0.03/0.07 c Max memory 1395916800 0.03/0.07 c Total memory 1395916800 0.03/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@1b16e52 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-2692284-1277910821.wbo 0.11/0.10 c reading problem ... 0.28/0.29 c ... done. Wall clock time 0.191s. 0.28/0.29 c #vars 1158 0.28/0.29 c #constraints 2707 0.28/0.29 c constraints type 0.28/0.29 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 156 0.28/0.29 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1617 0.28/0.29 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 933 0.28/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.23/0.90 c SATISFIABLE 2.23/0.90 c OPTIMIZING... 2.23/0.90 c Got one! Elapsed wall clock time (in seconds):0.803 2.23/0.90 o 321 2.91/1.30 c Got one! Elapsed wall clock time (in seconds):1.205 2.91/1.30 o 314 3.59/1.77 c Got one! Elapsed wall clock time (in seconds):1.673 3.59/1.77 o 259 4.24/2.34 c Got one! Elapsed wall clock time (in seconds):2.243 4.24/2.34 o 238 7.42/5.35 c Got one! Elapsed wall clock time (in seconds):5.256 7.42/5.35 o 229 10.58/8.48 c Got one! Elapsed wall clock time (in seconds):8.381 10.58/8.48 o 220 54.98/51.88 c Got one! Elapsed wall clock time (in seconds):51.778 54.98/51.88 o 218 61.42/58.16 c cleaning 0 clauses out of 5001 with flag 0/5001 84.68/80.83 c Got one! Elapsed wall clock time (in seconds):80.731 84.68/80.83 o 183 186.21/179.52 c Got one! Elapsed wall clock time (in seconds):179.423 186.21/179.52 o 153 272.70/263.21 c Got one! Elapsed wall clock time (in seconds):263.116 272.70/263.21 o 142 352.75/340.12 c cleaning 0 clauses out of 11001 with flag 0/11001 1349.70/1281.21 c cleaning 0 clauses out of 18000 with flag 0/18000 1800.03/1704.21 c starts : 55 1800.03/1704.21 c conflicts : 20233 1800.03/1704.21 c decisions : 62431 1800.03/1704.21 c propagations : 2310990 1800.03/1704.21 c inspects : 1632162591 1800.03/1704.21 c learnt literals : 0 1800.03/1704.21 c learnt binary clauses : 0 1800.03/1704.21 c learnt ternary clauses : 0 1800.03/1704.21 c learnt clauses : 20232 1800.03/1704.21 c ignored clauses : 0 1800.03/1704.21 c root simplifications : 0 1800.03/1704.21 c removed literals (reason simplification) : 0 1800.03/1704.21 c reason swapping (by a shorter reason) : 0 1800.03/1704.21 c Calls to reduceDB : 3 1800.03/1704.21 c number of reductions to clauses (during analyze) : 0 1800.03/1704.21 c number of learned constraints concerned by reduction : 0 1800.03/1704.21 c number of learning phase by resolution : 0 1800.03/1704.21 c number of learning phase by cutting planes : 0 1800.03/1704.21 c speed (assignments/second) : 1603.7460227134725 1800.03/1704.21 c non guided choices 1230 1800.03/1704.22 c learnt constraints type 1800.03/1704.22 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 103 1800.03/1704.22 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 13 1800.03/1704.22 c org.sat4j.pb.constraints.pb.MaxWatchPb => 20116 1800.03/1704.22 c constraints type 1800.03/1704.22 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 156 1800.03/1704.22 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1617 1800.03/1704.22 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 933 1800.03/1704.22 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.03/1704.22 s SATISFIABLE 1800.03/1704.22 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 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.03/1704.22 c objective function=142 1800.03/1704.22 c Total wall clock time (in seconds): 1704.126
OK 67
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692284-1277910821/watcher-2692284-1277910821 -o /tmp/evaluation-result-2692284-1277910821/solver-2692284-1277910821 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692284-1277910821.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.00 2.00 2.00 3/178 12483 /proc/meminfo: memFree=31807188/32951124 swapFree=67111528/67111528 [pid=12483] ppid=12481 vsize=13164 CPUtime=0 /proc/12483/stat : 12483 (java) R 12481 12483 11383 0 -1 4194304 698 0 0 0 0 0 0 0 22 0 1 0 132380276 13479936 306 4089446400 134512640 134550932 4291594944 18446744073709551615 9746053 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12483/statm: 3291 312 141 10 0 1121 0 [startup+0.0454121 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12483 /proc/meminfo: memFree=31807188/32951124 swapFree=67111528/67111528 [pid=12483] ppid=12481 vsize=1526332 CPUtime=0.03 /proc/12483/stat : 12483 (java) S 12481 12483 11383 0 -1 4202496 3900 0 1 0 2 1 0 0 22 0 13 0 132380276 1562963968 3341 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 /proc/12483/statm: 381583 3341 1048 10 0 378893 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1526332 [startup+0.100389 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12483 /proc/meminfo: memFree=31807188/32951124 swapFree=67111528/67111528 [pid=12483] ppid=12481 vsize=1529420 CPUtime=0.11 /proc/12483/stat : 12483 (java) S 12481 12483 11383 0 -1 4202496 5205 0 1 0 10 1 0 0 22 0 18 0 132380276 1566126080 4642 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/12483/statm: 382355 4642 1347 10 0 379657 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529420 [startup+0.300311 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12483 /proc/meminfo: memFree=31807188/32951124 swapFree=67111528/67111528 [pid=12483] ppid=12481 vsize=1531952 CPUtime=0.5 /proc/12483/stat : 12483 (java) S 12481 12483 11383 0 -1 4202496 7477 0 1 0 49 1 0 0 22 0 18 0 132380276 1568718848 6834 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/12483/statm: 382988 6835 1411 10 0 380290 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 1531952 [startup+0.700273 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12483 /proc/meminfo: memFree=31807188/32951124 swapFree=67111528/67111528 [pid=12483] ppid=12481 vsize=1546484 CPUtime=1.63 /proc/12483/stat : 12483 (java) S 12481 12483 11383 0 -1 4202496 20085 0 1 0 160 3 0 0 22 0 19 0 132380276 1583599616 16677 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/12483/statm: 386621 16677 1423 10 0 383923 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 1546484 [startup+1.50115 s] /proc/loadavg: 2.00 2.00 2.00 5/197 12502 /proc/meminfo: memFree=31692904/32951124 swapFree=67111528/67111528 [pid=12483] ppid=12481 vsize=1546908 CPUtime=3.39 /proc/12483/stat : 12483 (java) S 12481 12483 11383 0 -1 4202496 45503 0 1 0 334 5 0 0 22 0 19 0 132380276 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/12483/statm: 386727 38853 1444 10 0 384029 0 [pid=12483/tid=12485] ppid=12481 vsize=1546908 CPUtime=1.47 /proc/12483/task/12485/stat : 12485 (java) R 12481 12483 11383 0 -1 4202560 32072 0 1 0 144 3 0 0 18 0 19 0 132380277 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4109585186 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=12483/tid=12486] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12486/stat : 12486 (java) S 12481 12483 11383 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 19 0 132380278 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12487] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12487/stat : 12487 (java) S 12481 12483 11383 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 132380278 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12488] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12488/stat : 12488 (java) S 12481 12483 11383 0 -1 4202560 141 0 0 0 0 0 0 0 16 0 19 0 132380278 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12489] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12489/stat : 12489 (java) S 12481 12483 11383 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 19 0 132380278 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 5 0 0 0 [pid=12483/tid=12490] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12490/stat : 12490 (java) S 12481 12483 11383 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 132380278 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12491] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12491/stat : 12491 (java) S 12481 12483 11383 0 -1 4202560 291 0 0 0 0 0 0 0 16 0 19 0 132380278 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 3 0 0 0 [pid=12483/tid=12492] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12492/stat : 12492 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132380278 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12493] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12493/stat : 12493 (java) S 12481 12483 11383 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 132380278 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12494] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12494/stat : 12494 (java) S 12481 12483 11383 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 132380278 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12495] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12495/stat : 12495 (java) S 12481 12483 11383 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132380279 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12496] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12496/stat : 12496 (java) S 12481 12483 11383 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132380279 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12497] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12497/stat : 12497 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132380281 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12498] ppid=12481 vsize=1546908 CPUtime=0.92 /proc/12483/task/12498/stat : 12498 (java) S 12481 12483 11383 0 -1 4202560 5440 0 0 0 92 0 0 0 16 0 19 0 132380281 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12499] ppid=12481 vsize=1546908 CPUtime=0.95 /proc/12483/task/12499/stat : 12499 (java) S 12481 12483 11383 0 -1 4202560 5563 0 0 0 95 0 0 0 16 0 19 0 132380281 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 0 0 0 0 [pid=12483/tid=12500] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12500/stat : 12500 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 132380281 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12501] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12501/stat : 12501 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132380281 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 3 0 0 0 [pid=12483/tid=12502] ppid=12481 vsize=1546908 CPUtime=0 /proc/12483/task/12502/stat : 12502 (java) S 12481 12483 11383 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 132380308 1584033792 38853 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.39 Current children cumulated vsize (KiB) 1546908 [startup+3.10083 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12502 /proc/meminfo: memFree=31653472/32951124 swapFree=67111528/67111528 [pid=12483] ppid=12481 vsize=1547932 CPUtime=5.19 /proc/12483/stat : 12483 (java) S 12481 12483 11383 0 -1 4202496 53560 0 1 0 512 7 0 0 22 0 19 0 132380276 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/12483/statm: 386983 46740 1444 10 0 384285 0 [pid=12483/tid=12485] ppid=12481 vsize=1547932 CPUtime=3.05 /proc/12483/task/12485/stat : 12485 (java) R 12481 12483 11383 0 -1 4202560 36061 0 1 0 301 4 0 0 20 0 19 0 132380277 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4109607743 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=12483/tid=12486] ppid=12481 vsize=1547932 CPUtime=0 /proc/12483/task/12486/stat : 12486 (java) S 12481 12483 11383 0 -1 4202560 872 0 0 0 0 0 0 0 15 0 19 0 132380278 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12487] ppid=12481 vsize=1547932 CPUtime=0 /proc/12483/task/12487/stat : 12487 (java) S 12481 12483 11383 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 19 0 132380278 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 5 0 0 0 [pid=12483/tid=12488] ppid=12481 vsize=1547932 CPUtime=0 /proc/12483/task/12488/stat : 12488 (java) S 12481 12483 11383 0 -1 4202560 245 0 0 0 0 0 0 0 15 0 19 0 132380278 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 5 0 0 0 [pid=12483/tid=12489] ppid=12481 vsize=1547932 CPUtime=0 /proc/12483/task/12489/stat : 12489 (java) S 12481 12483 11383 0 -1 4202560 633 0 0 0 0 0 0 0 15 0 19 0 132380278 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12490] ppid=12481 vsize=1547932 CPUtime=0.01 /proc/12483/task/12490/stat : 12490 (java) S 12481 12483 11383 0 -1 4202560 1079 0 0 0 1 0 0 0 15 0 19 0 132380278 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12491] ppid=12481 vsize=1547932 CPUtime=0.01 /proc/12483/task/12491/stat : 12491 (java) S 12481 12483 11383 0 -1 4202560 1260 0 0 0 1 0 0 0 16 0 19 0 132380278 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 3 0 0 0 [pid=12483/tid=12492] ppid=12481 vsize=1547932 CPUtime=0 /proc/12483/task/12492/stat : 12492 (java) S 12481 12483 11383 0 -1 4202560 541 0 0 0 0 0 0 0 15 0 19 0 132380278 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12493] ppid=12481 vsize=1547932 CPUtime=0 /proc/12483/task/12493/stat : 12493 (java) S 12481 12483 11383 0 -1 4202560 509 0 0 0 0 0 0 0 15 0 19 0 132380278 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 5 0 0 0 [pid=12483/tid=12494] ppid=12481 vsize=1547932 CPUtime=0 /proc/12483/task/12494/stat : 12494 (java) S 12481 12483 11383 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 132380278 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12495] ppid=12481 vsize=1547932 CPUtime=0 /proc/12483/task/12495/stat : 12495 (java) S 12481 12483 11383 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132380279 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12496] ppid=12481 vsize=1547932 CPUtime=0 /proc/12483/task/12496/stat : 12496 (java) S 12481 12483 11383 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132380279 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12497] ppid=12481 vsize=1547932 CPUtime=0 /proc/12483/task/12497/stat : 12497 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132380281 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12498] ppid=12481 vsize=1547932 CPUtime=1.06 /proc/12483/task/12498/stat : 12498 (java) S 12481 12483 11383 0 -1 4202560 5450 0 0 0 105 1 0 0 15 0 19 0 132380281 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12499] ppid=12481 vsize=1547932 CPUtime=0.98 /proc/12483/task/12499/stat : 12499 (java) S 12481 12483 11383 0 -1 4202560 5563 0 0 0 98 0 0 0 15 0 19 0 132380281 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 0 0 0 0 [pid=12483/tid=12500] ppid=12481 vsize=1547932 CPUtime=0 /proc/12483/task/12500/stat : 12500 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 132380281 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12501] ppid=12481 vsize=1547932 CPUtime=0 /proc/12483/task/12501/stat : 12501 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132380281 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 3 0 0 0 [pid=12483/tid=12502] ppid=12481 vsize=1547932 CPUtime=0 /proc/12483/task/12502/stat : 12502 (java) S 12481 12483 11383 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 132380308 1585082368 46740 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.19 Current children cumulated vsize (KiB) 1547932 [startup+6.30122 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12503 /proc/meminfo: memFree=31620908/32951124 swapFree=67111528/67111528 [pid=12483] ppid=12481 vsize=1545424 CPUtime=8.46 /proc/12483/stat : 12483 (java) S 12481 12483 11383 0 -1 4202496 55513 0 1 0 838 8 0 0 22 0 19 0 132380276 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/12483/statm: 386356 48080 1444 10 0 383658 0 [pid=12483/tid=12485] ppid=12481 vsize=1545424 CPUtime=6.23 /proc/12483/task/12485/stat : 12485 (java) R 12481 12483 11383 0 -1 4202560 36073 0 1 0 619 4 0 0 25 0 19 0 132380277 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4109633663 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=12483/tid=12486] ppid=12481 vsize=1545424 CPUtime=0.01 /proc/12483/task/12486/stat : 12486 (java) S 12481 12483 11383 0 -1 4202560 1081 0 0 0 1 0 0 0 16 0 19 0 132380278 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 5 0 0 0 [pid=12483/tid=12487] ppid=12481 vsize=1545424 CPUtime=0.01 /proc/12483/task/12487/stat : 12487 (java) S 12481 12483 11383 0 -1 4202560 554 0 0 0 1 0 0 0 16 0 19 0 132380278 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 3 0 0 0 [pid=12483/tid=12488] ppid=12481 vsize=1545424 CPUtime=0 /proc/12483/task/12488/stat : 12488 (java) S 12481 12483 11383 0 -1 4202560 547 0 0 0 0 0 0 0 15 0 19 0 132380278 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 5 0 0 0 [pid=12483/tid=12489] ppid=12481 vsize=1545424 CPUtime=0.01 /proc/12483/task/12489/stat : 12489 (java) S 12481 12483 11383 0 -1 4202560 966 0 0 0 1 0 0 0 16 0 19 0 132380278 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12490] ppid=12481 vsize=1545424 CPUtime=0.01 /proc/12483/task/12490/stat : 12490 (java) S 12481 12483 11383 0 -1 4202560 1282 0 0 0 1 0 0 0 15 0 19 0 132380278 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12491] ppid=12481 vsize=1545424 CPUtime=0.02 /proc/12483/task/12491/stat : 12491 (java) S 12481 12483 11383 0 -1 4202560 1599 0 0 0 2 0 0 0 15 0 19 0 132380278 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 3 0 0 0 [pid=12483/tid=12492] ppid=12481 vsize=1545424 CPUtime=0 /proc/12483/task/12492/stat : 12492 (java) S 12481 12483 11383 0 -1 4202560 587 0 0 0 0 0 0 0 15 0 19 0 132380278 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12493] ppid=12481 vsize=1545424 CPUtime=0.01 /proc/12483/task/12493/stat : 12493 (java) S 12481 12483 11383 0 -1 4202560 711 0 0 0 1 0 0 0 15 0 19 0 132380278 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 5 0 0 0 [pid=12483/tid=12494] ppid=12481 vsize=1545424 CPUtime=0 /proc/12483/task/12494/stat : 12494 (java) S 12481 12483 11383 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 132380278 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12495] ppid=12481 vsize=1545424 CPUtime=0 /proc/12483/task/12495/stat : 12495 (java) S 12481 12483 11383 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132380279 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12496] ppid=12481 vsize=1545424 CPUtime=0 /proc/12483/task/12496/stat : 12496 (java) S 12481 12483 11383 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132380279 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12497] ppid=12481 vsize=1545424 CPUtime=0 /proc/12483/task/12497/stat : 12497 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132380281 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12498] ppid=12481 vsize=1545424 CPUtime=1.07 /proc/12483/task/12498/stat : 12498 (java) S 12481 12483 11383 0 -1 4202560 5450 0 0 0 106 1 0 0 15 0 19 0 132380281 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12499] ppid=12481 vsize=1545424 CPUtime=1.01 /proc/12483/task/12499/stat : 12499 (java) S 12481 12483 11383 0 -1 4202560 5567 0 0 0 101 0 0 0 15 0 19 0 132380281 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 0 0 0 0 [pid=12483/tid=12500] ppid=12481 vsize=1545424 CPUtime=0 /proc/12483/task/12500/stat : 12500 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 132380281 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12501] ppid=12481 vsize=1545424 CPUtime=0 /proc/12483/task/12501/stat : 12501 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132380281 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12502] ppid=12481 vsize=1545424 CPUtime=0 /proc/12483/task/12502/stat : 12502 (java) S 12481 12483 11383 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 132380308 1582514176 48080 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.46 Current children cumulated vsize (KiB) 1545424 [startup+12.701 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12503 /proc/meminfo: memFree=31614680/32951124 swapFree=67111528/67111528 [pid=12483] ppid=12481 vsize=1542040 CPUtime=14.93 /proc/12483/stat : 12483 (java) S 12481 12483 11383 0 -1 4202496 58176 0 1 0 1484 9 0 0 22 0 19 0 132380276 1579048960 49695 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/12483/statm: 385510 49695 1444 10 0 382812 0 [pid=12483/tid=12485] ppid=12481 vsize=1542040 CPUtime=12.59 /proc/12483/task/12485/stat : 12485 (java) R 12481 12483 11383 0 -1 4202560 36344 0 1 0 1255 4 0 0 25 0 19 0 132380277 1579048960 49695 4089446400 134512640 134550932 4291594944 18446744073709551615 4109589136 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=12483/tid=12486] ppid=12481 vsize=1542040 CPUtime=0.02 /proc/12483/task/12486/stat : 12486 (java) S 12481 12483 11383 0 -1 4202560 1292 0 0 0 2 0 0 0 15 0 19 0 132380278 1579048960 49695 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 ################ # More data... # ################ [pid=12483/tid=12491] ppid=12481 vsize=1543000 CPUtime=12.33 /proc/12483/task/12491/stat : 12491 (java) S 12481 12483 11383 0 -1 4202560 11958 0 0 0 1058 175 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12492] ppid=12481 vsize=1543000 CPUtime=12.33 /proc/12483/task/12492/stat : 12492 (java) S 12481 12483 11383 0 -1 4202560 9221 0 0 0 1059 174 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12493] ppid=12481 vsize=1543000 CPUtime=12.69 /proc/12483/task/12493/stat : 12493 (java) S 12481 12483 11383 0 -1 4202560 9542 0 0 0 1061 208 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 3 0 0 0 [pid=12483/tid=12494] ppid=12481 vsize=1543000 CPUtime=1.6 /proc/12483/task/12494/stat : 12494 (java) S 12481 12483 11383 0 -1 4202560 227 0 0 0 108 52 0 0 15 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446604471131862336 0 0 -1 2 0 0 0 [pid=12483/tid=12495] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12495/stat : 12495 (java) S 12481 12483 11383 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132380279 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12496] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12496/stat : 12496 (java) S 12481 12483 11383 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132380279 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12497] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12497/stat : 12497 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12498] ppid=12481 vsize=1543000 CPUtime=1.26 /proc/12483/task/12498/stat : 12498 (java) S 12481 12483 11383 0 -1 4202560 5478 0 0 0 125 1 0 0 15 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12499] ppid=12481 vsize=1543000 CPUtime=1.17 /proc/12483/task/12499/stat : 12499 (java) S 12481 12483 11383 0 -1 4202560 5925 0 0 0 117 0 0 0 15 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 0 0 0 0 [pid=12483/tid=12500] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12500/stat : 12500 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12501] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12501/stat : 12501 (java) S 12481 12483 11383 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12502] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12502/stat : 12502 (java) S 12481 12483 11383 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 132380308 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1627.57 Current children cumulated vsize (KiB) 1543000 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12602 /proc/meminfo: memFree=31316992/32951124 swapFree=67111528/67111528 [pid=12483] ppid=12481 vsize=1543000 CPUtime=1691.21 /proc/12483/stat : 12483 (java) S 12481 12483 11383 0 -1 4202496 131539 0 1 0 167470 1651 0 0 22 0 19 0 132380276 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/12483/statm: 385750 117177 1450 10 0 383052 0 [pid=12483/tid=12485] ppid=12481 vsize=1543000 CPUtime=1583.07 /proc/12483/task/12485/stat : 12485 (java) R 12481 12483 11383 0 -1 4202560 38856 0 1 0 158295 12 0 0 25 0 19 0 132380277 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4109580093 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=12483/tid=12486] ppid=12481 vsize=1543000 CPUtime=12.96 /proc/12483/task/12486/stat : 12486 (java) S 12481 12483 11383 0 -1 4202560 9371 0 0 0 1091 205 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 0 0 0 0 [pid=12483/tid=12487] ppid=12481 vsize=1543000 CPUtime=13.05 /proc/12483/task/12487/stat : 12487 (java) S 12481 12483 11383 0 -1 4202560 10299 0 0 0 1102 203 0 0 15 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 2 0 0 0 [pid=12483/tid=12488] ppid=12481 vsize=1543000 CPUtime=12.89 /proc/12483/task/12488/stat : 12488 (java) S 12481 12483 11383 0 -1 4202560 9897 0 0 0 1093 196 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12489] ppid=12481 vsize=1543000 CPUtime=12.8 /proc/12483/task/12489/stat : 12489 (java) S 12481 12483 11383 0 -1 4202560 11118 0 0 0 1094 186 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 2 0 0 0 [pid=12483/tid=12490] ppid=12481 vsize=1543000 CPUtime=13.24 /proc/12483/task/12490/stat : 12490 (java) S 12481 12483 11383 0 -1 4202560 8486 0 0 0 1114 210 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 6 0 0 0 [pid=12483/tid=12491] ppid=12481 vsize=1543000 CPUtime=12.87 /proc/12483/task/12491/stat : 12491 (java) S 12481 12483 11383 0 -1 4202560 11958 0 0 0 1104 183 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 3 0 0 0 [pid=12483/tid=12492] ppid=12481 vsize=1543000 CPUtime=12.92 /proc/12483/task/12492/stat : 12492 (java) S 12481 12483 11383 0 -1 4202560 9221 0 0 0 1111 181 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 5 0 0 0 [pid=12483/tid=12493] ppid=12481 vsize=1543000 CPUtime=13.24 /proc/12483/task/12493/stat : 12493 (java) S 12481 12483 11383 0 -1 4202560 9542 0 0 0 1110 214 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12494] ppid=12481 vsize=1543000 CPUtime=1.63 /proc/12483/task/12494/stat : 12494 (java) S 12481 12483 11383 0 -1 4202560 231 0 0 0 109 54 0 0 15 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446604471131862336 0 0 -1 2 0 0 0 [pid=12483/tid=12495] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12495/stat : 12495 (java) S 12481 12483 11383 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132380279 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12496] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12496/stat : 12496 (java) S 12481 12483 11383 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132380279 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12497] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12497/stat : 12497 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12498] ppid=12481 vsize=1543000 CPUtime=1.26 /proc/12483/task/12498/stat : 12498 (java) S 12481 12483 11383 0 -1 4202560 5478 0 0 0 125 1 0 0 15 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12499] ppid=12481 vsize=1543000 CPUtime=1.17 /proc/12483/task/12499/stat : 12499 (java) S 12481 12483 11383 0 -1 4202560 5925 0 0 0 117 0 0 0 15 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 0 0 0 0 [pid=12483/tid=12500] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12500/stat : 12500 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12501] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12501/stat : 12501 (java) S 12481 12483 11383 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12502] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12502/stat : 12502 (java) S 12481 12483 11383 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 132380308 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1691.21 Current children cumulated vsize (KiB) 1543000 [startup+1662.3 s] /proc/loadavg: 2.05 2.01 2.00 4/197 12604 /proc/meminfo: memFree=31199048/32951124 swapFree=67111528/67111528 [pid=12483] ppid=12481 vsize=1543000 CPUtime=1755.27 /proc/12483/stat : 12483 (java) S 12481 12483 11383 0 -1 4202496 131623 0 1 0 173807 1720 0 0 22 0 19 0 132380276 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/12483/statm: 385750 117177 1450 10 0 383052 0 [pid=12483/tid=12485] ppid=12481 vsize=1543000 CPUtime=1642.22 /proc/12483/task/12485/stat : 12485 (java) R 12481 12483 11383 0 -1 4202560 38936 0 1 0 164210 12 0 0 25 0 19 0 132380277 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4109677352 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=12483/tid=12486] ppid=12481 vsize=1543000 CPUtime=13.58 /proc/12483/task/12486/stat : 12486 (java) S 12481 12483 11383 0 -1 4202560 9371 0 0 0 1147 211 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 5 0 0 0 [pid=12483/tid=12487] ppid=12481 vsize=1543000 CPUtime=13.7 /proc/12483/task/12487/stat : 12487 (java) S 12481 12483 11383 0 -1 4202560 10299 0 0 0 1156 214 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 6 0 0 0 [pid=12483/tid=12488] ppid=12481 vsize=1543000 CPUtime=13.47 /proc/12483/task/12488/stat : 12488 (java) S 12481 12483 11383 0 -1 4202560 9897 0 0 0 1141 206 0 0 15 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12489] ppid=12481 vsize=1543000 CPUtime=13.37 /proc/12483/task/12489/stat : 12489 (java) S 12481 12483 11383 0 -1 4202560 11118 0 0 0 1142 195 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12490] ppid=12481 vsize=1543000 CPUtime=13.81 /proc/12483/task/12490/stat : 12490 (java) S 12481 12483 11383 0 -1 4202560 8486 0 0 0 1161 220 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 3 0 0 0 [pid=12483/tid=12491] ppid=12481 vsize=1543000 CPUtime=13.5 /proc/12483/task/12491/stat : 12491 (java) S 12481 12483 11383 0 -1 4202560 11958 0 0 0 1160 190 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 2 0 0 0 [pid=12483/tid=12492] ppid=12481 vsize=1543000 CPUtime=13.54 /proc/12483/task/12492/stat : 12492 (java) S 12481 12483 11383 0 -1 4202560 9221 0 0 0 1165 189 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 0 0 0 0 [pid=12483/tid=12493] ppid=12481 vsize=1543000 CPUtime=13.88 /proc/12483/task/12493/stat : 12493 (java) S 12481 12483 11383 0 -1 4202560 9542 0 0 0 1167 221 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12494] ppid=12481 vsize=1543000 CPUtime=1.66 /proc/12483/task/12494/stat : 12494 (java) S 12481 12483 11383 0 -1 4202560 233 0 0 0 111 55 0 0 15 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446604471131862336 0 0 -1 2 0 0 0 [pid=12483/tid=12495] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12495/stat : 12495 (java) S 12481 12483 11383 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132380279 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12496] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12496/stat : 12496 (java) S 12481 12483 11383 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132380279 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12497] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12497/stat : 12497 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12498] ppid=12481 vsize=1543000 CPUtime=1.26 /proc/12483/task/12498/stat : 12498 (java) S 12481 12483 11383 0 -1 4202560 5478 0 0 0 125 1 0 0 15 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12499] ppid=12481 vsize=1543000 CPUtime=1.17 /proc/12483/task/12499/stat : 12499 (java) S 12481 12483 11383 0 -1 4202560 5925 0 0 0 117 0 0 0 15 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 0 0 0 0 [pid=12483/tid=12500] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12500/stat : 12500 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12501] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12501/stat : 12501 (java) S 12481 12483 11383 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 2 0 0 0 [pid=12483/tid=12502] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12502/stat : 12502 (java) S 12481 12483 11383 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 132380308 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1755.27 Current children cumulated vsize (KiB) 1543000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1704.2 s] /proc/loadavg: 2.08 2.03 2.00 10/197 12605 /proc/meminfo: memFree=31108992/32951124 swapFree=67111528/67111528 [pid=12483] ppid=12481 vsize=1543000 CPUtime=1800.03 /proc/12483/stat : 12483 (java) S 12481 12483 11383 0 -1 4202496 131686 0 1 0 178226 1777 0 0 22 0 19 0 132380276 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/12483/statm: 385750 117177 1450 10 0 383052 0 [pid=12483/tid=12485] ppid=12481 vsize=1543000 CPUtime=1683.54 /proc/12483/task/12485/stat : 12485 (java) R 12481 12483 11383 0 -1 4202560 38991 0 1 0 168342 12 0 0 25 0 19 0 132380277 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4109584687 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=12483/tid=12486] ppid=12481 vsize=1543000 CPUtime=14.02 /proc/12483/task/12486/stat : 12486 (java) S 12481 12483 11383 0 -1 4202560 9371 0 0 0 1184 218 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12487] ppid=12481 vsize=1543000 CPUtime=14.15 /proc/12483/task/12487/stat : 12487 (java) S 12481 12483 11383 0 -1 4202560 10299 0 0 0 1194 221 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 0 0 0 0 [pid=12483/tid=12488] ppid=12481 vsize=1543000 CPUtime=13.89 /proc/12483/task/12488/stat : 12488 (java) S 12481 12483 11383 0 -1 4202560 9897 0 0 0 1175 214 0 0 15 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 5 0 0 0 [pid=12483/tid=12489] ppid=12481 vsize=1543000 CPUtime=13.84 /proc/12483/task/12489/stat : 12489 (java) S 12481 12483 11383 0 -1 4202560 11118 0 0 0 1184 200 0 0 15 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 2 0 0 0 [pid=12483/tid=12490] ppid=12481 vsize=1543000 CPUtime=14.25 /proc/12483/task/12490/stat : 12490 (java) S 12481 12483 11383 0 -1 4202560 8486 0 0 0 1201 224 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12491] ppid=12481 vsize=1543000 CPUtime=13.9 /proc/12483/task/12491/stat : 12491 (java) S 12481 12483 11383 0 -1 4202560 11958 0 0 0 1192 198 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 6 0 0 0 [pid=12483/tid=12492] ppid=12481 vsize=1543000 CPUtime=13.97 /proc/12483/task/12492/stat : 12492 (java) S 12481 12483 11383 0 -1 4202560 9221 0 0 0 1200 197 0 0 15 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 2 0 0 0 [pid=12483/tid=12493] ppid=12481 vsize=1543000 CPUtime=14.25 /proc/12483/task/12493/stat : 12493 (java) S 12481 12483 11383 0 -1 4202560 9542 0 0 0 1196 229 0 0 16 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12494] ppid=12481 vsize=1543000 CPUtime=1.68 /proc/12483/task/12494/stat : 12494 (java) S 12481 12483 11383 0 -1 4202560 237 0 0 0 111 57 0 0 15 0 19 0 132380278 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 0 0 16800975 18446604471131862336 0 0 -1 0 0 0 0 [pid=12483/tid=12495] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12495/stat : 12495 (java) S 12481 12483 11383 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132380279 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12496] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12496/stat : 12496 (java) S 12481 12483 11383 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132380279 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12497] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12497/stat : 12497 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12498] ppid=12481 vsize=1543000 CPUtime=1.26 /proc/12483/task/12498/stat : 12498 (java) S 12481 12483 11383 0 -1 4202560 5478 0 0 0 125 1 0 0 15 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 7 0 0 0 [pid=12483/tid=12499] ppid=12481 vsize=1543000 CPUtime=1.17 /proc/12483/task/12499/stat : 12499 (java) S 12481 12483 11383 0 -1 4202560 5925 0 0 0 117 0 0 0 15 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 0 0 0 0 [pid=12483/tid=12500] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12500/stat : 12500 (java) S 12481 12483 11383 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 [pid=12483/tid=12501] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12501/stat : 12501 (java) S 12481 12483 11383 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 132380281 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 6 0 0 0 [pid=12483/tid=12502] ppid=12481 vsize=1543000 CPUtime=0 /proc/12483/task/12502/stat : 12502 (java) S 12481 12483 11383 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 132380308 1580032000 117177 4089446400 134512640 134550932 4291594944 18446744073709551615 4294960144 0 4 0 16800975 18446604471131862336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1543000 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): 1704.29 CPU time (s): 1800.16 CPU user time (s): 1782.37 CPU system time (s): 17.7943 CPU usage (%): 105.625 Max. virtual memory (cumulated for all children) (KiB): 1550312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.37 system time used= 17.7943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 131710 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= 112862 involuntary context switches= 4537731 runsolver used 3.41748 second user time and 5.95909 second system time The end
Begin job on node102 at 2010-06-30 17:13:41 IDJOB=2692284 IDBENCH=78981 IDSOLVER=1203 FILE ID=node102/2692284-1277910821 PBS_JOBID= 11197247 Free space on /tmp= 74208 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563801--soft-66-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-2692284-1277910821/watcher-2692284-1277910821 -o /tmp/evaluation-result-2692284-1277910821/solver-2692284-1277910821 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692284-1277910821.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8222df718f0c39737e94bfab6b6fa003 RANDOM SEED=447033440 node102.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.833 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.66 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.833 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.83 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.833 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.833 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.85 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.833 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.833 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.82 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.833 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.833 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: 31808088 kB Buffers: 195352 kB Cached: 729832 kB SwapCached: 0 kB Active: 424664 kB Inactive: 577456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31808088 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 436 kB Writeback: 0 kB AnonPages: 76676 kB Mapped: 15452 kB Slab: 77128 kB PageTables: 4400 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 220452 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 node102 at 2010-06-30 17:42:07