Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.16 | 1735.46 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo |
MD5SUM | 7129b2638275c1b1b14ce0a3da71735e |
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 | 12 |
Best CPU time to get the best result obtained on this benchmark | 323.561 |
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 | 755 |
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.05/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.07 c See www.sat4j.org for details. 0.05/0.07 c version 2.2.0.v20100526 0.05/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.05/0.07 c java.vm.version 11.2-b01 0.05/0.07 c java.vm.vendor Sun Microsystems Inc. 0.05/0.07 c sun.arch.data.model 32 0.05/0.07 c java.version 1.6.0_12 0.05/0.07 c os.name Linux 0.05/0.07 c os.version 2.6.18-164.el5 0.05/0.07 c os.arch i386 0.05/0.07 c Free memory 1393557488 0.05/0.07 c Max memory 1395916800 0.05/0.07 c Total memory 1395916800 0.05/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@1f436f5 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-2692243-1277908585.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.93 c SATISFIABLE 2.23/0.93 c OPTIMIZING... 2.23/0.93 c Got one! Elapsed wall clock time (in seconds):0.826 2.23/0.93 o 371 3.23/1.51 c Got one! Elapsed wall clock time (in seconds):1.409 3.23/1.51 o 340 8.18/6.27 c Got one! Elapsed wall clock time (in seconds):6.17 8.18/6.27 o 322 10.60/8.63 c Got one! Elapsed wall clock time (in seconds):8.534 10.60/8.63 o 296 20.97/18.89 c Got one! Elapsed wall clock time (in seconds):18.792 20.97/18.89 o 291 61.45/58.81 c Got one! Elapsed wall clock time (in seconds):58.715 61.45/58.81 o 247 63.71/61.00 c cleaning 0 clauses out of 5001 with flag 0/5001 385.47/376.78 c cleaning 0 clauses out of 11002 with flag 0/11002 404.26/395.09 c Got one! Elapsed wall clock time (in seconds):394.991 404.26/395.09 o 246 885.50/860.50 c Got one! Elapsed wall clock time (in seconds):860.398 885.50/860.50 o 218 1318.60/1275.12 c cleaning 0 clauses out of 18001 with flag 0/18001 1800.07/1735.41 c starts : 53 1800.07/1735.41 c conflicts : 20682 1800.07/1735.41 c decisions : 58027 1800.07/1735.41 c propagations : 1206995 1800.07/1735.41 c inspects : 1703577412 1800.07/1735.41 c learnt literals : 0 1800.07/1735.41 c learnt binary clauses : 0 1800.07/1735.41 c learnt ternary clauses : 0 1800.07/1735.41 c learnt clauses : 20682 1800.07/1735.41 c ignored clauses : 0 1800.07/1735.41 c root simplifications : 0 1800.07/1735.41 c removed literals (reason simplification) : 0 1800.07/1735.41 c reason swapping (by a shorter reason) : 0 1800.07/1735.41 c Calls to reduceDB : 3 1800.07/1735.41 c number of reductions to clauses (during analyze) : 0 1800.07/1735.41 c number of learned constraints concerned by reduction : 0 1800.07/1735.41 c number of learning phase by resolution : 0 1800.07/1735.41 c number of learning phase by cutting planes : 0 1800.07/1735.41 c speed (assignments/second) : 1379.5643213995481 1800.07/1735.41 c non guided choices 1252 1800.07/1735.43 c learnt constraints type 1800.07/1735.43 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 92 1800.07/1735.43 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 10 1800.07/1735.43 c org.sat4j.pb.constraints.pb.MaxWatchPb => 20580 1800.07/1735.43 c constraints type 1800.07/1735.43 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 156 1800.07/1735.43 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1617 1800.07/1735.43 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 933 1800.07/1735.43 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.07/1735.43 s SATISFIABLE 1800.07/1735.43 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.07/1735.43 c objective function=218 1800.07/1735.43 c Total wall clock time (in seconds): 1735.328
OK 218
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692243-1277908585/watcher-2692243-1277908585 -o /tmp/evaluation-result-2692243-1277908585/solver-2692243-1277908585 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692243-1277908585.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.82 2.67 2.31 3/199 10197 /proc/meminfo: memFree=31616148/32951124 swapFree=67111528/67111528 [pid=10197] ppid=10195 vsize=1832 CPUtime=0 /proc/10197/stat : 10197 (java) S 10195 10197 8515 0 -1 4194304 418 0 0 0 0 0 0 0 23 0 1 0 132156023 1875968 148 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699199166 0 0 17 7 0 0 0 /proc/10197/statm: 458 149 112 10 0 63 0 [startup+0.0591951 s] /proc/loadavg: 2.82 2.67 2.31 3/199 10197 /proc/meminfo: memFree=31616148/32951124 swapFree=67111528/67111528 [pid=10197] ppid=10195 vsize=1528560 CPUtime=0.05 /proc/10197/stat : 10197 (java) S 10195 10197 8515 0 -1 4202496 4103 0 1 0 4 1 0 0 23 0 18 0 132156023 1565245440 3542 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10197/statm: 382140 3542 1079 10 0 379442 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1528560 [startup+0.101186 s] /proc/loadavg: 2.82 2.67 2.31 3/199 10197 /proc/meminfo: memFree=31616148/32951124 swapFree=67111528/67111528 [pid=10197] ppid=10195 vsize=1529400 CPUtime=0.11 /proc/10197/stat : 10197 (java) S 10195 10197 8515 0 -1 4202496 5193 0 1 0 10 1 0 0 23 0 18 0 132156023 1566105600 4630 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10197/statm: 382350 4630 1347 10 0 379652 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529400 [startup+0.300119 s] /proc/loadavg: 2.82 2.67 2.31 3/199 10197 /proc/meminfo: memFree=31616148/32951124 swapFree=67111528/67111528 [pid=10197] ppid=10195 vsize=1532028 CPUtime=0.51 /proc/10197/stat : 10197 (java) S 10195 10197 8515 0 -1 4202496 7525 0 1 0 50 1 0 0 23 0 18 0 132156023 1568796672 6803 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10197/statm: 383007 6803 1411 10 0 380309 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 1532028 [startup+0.701105 s] /proc/loadavg: 2.82 2.67 2.31 3/199 10197 /proc/meminfo: memFree=31616148/32951124 swapFree=67111528/67111528 [pid=10197] ppid=10195 vsize=1550360 CPUtime=1.63 /proc/10197/stat : 10197 (java) S 10195 10197 8515 0 -1 4202496 20293 0 1 0 160 3 0 0 23 0 19 0 132156023 1587568640 16471 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10197/statm: 387590 16475 1420 10 0 384892 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 1550360 [startup+1.50095 s] /proc/loadavg: 2.82 2.67 2.31 5/218 10216 /proc/meminfo: memFree=31501668/32951124 swapFree=67111528/67111528 [pid=10197] ppid=10195 vsize=1549288 CPUtime=3.23 /proc/10197/stat : 10197 (java) S 10195 10197 8515 0 -1 4202496 44125 0 1 0 318 5 0 0 23 0 19 0 132156023 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10197/statm: 387322 39217 1438 10 0 384624 0 [pid=10197/tid=10199] ppid=10195 vsize=1549288 CPUtime=1.46 /proc/10197/task/10199/stat : 10199 (java) R 10195 10197 8515 0 -1 4202560 32089 0 1 0 143 3 0 0 18 0 19 0 132156024 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4109712222 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=10197/tid=10200] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10200/stat : 10200 (java) S 10195 10197 8515 0 -1 4202560 271 0 0 0 0 0 0 0 16 0 19 0 132156024 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10201] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10201/stat : 10201 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132156024 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10202] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10202/stat : 10202 (java) S 10195 10197 8515 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 19 0 132156024 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10203] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10203/stat : 10203 (java) S 10195 10197 8515 0 -1 4202560 436 0 0 0 0 0 0 0 16 0 19 0 132156024 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 0 0 0 0 [pid=10197/tid=10204] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10204/stat : 10204 (java) S 10195 10197 8515 0 -1 4202560 221 0 0 0 0 0 0 0 16 0 19 0 132156024 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 7 0 0 0 [pid=10197/tid=10205] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10205/stat : 10205 (java) S 10195 10197 8515 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 132156024 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10206] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10206/stat : 10206 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132156024 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10207] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10207/stat : 10207 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132156024 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10208] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10208/stat : 10208 (java) S 10195 10197 8515 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 132156025 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10209] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10209/stat : 10209 (java) S 10195 10197 8515 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132156026 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10210] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10210/stat : 10210 (java) S 10195 10197 8515 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 132156026 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10211] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10211/stat : 10211 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132156028 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10212] ppid=10195 vsize=1549288 CPUtime=0.88 /proc/10197/task/10212/stat : 10212 (java) R 10195 10197 8515 0 -1 4202560 5115 0 0 0 88 0 0 0 15 0 19 0 132156028 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 105580425 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=10197/tid=10213] ppid=10195 vsize=1549288 CPUtime=0.84 /proc/10197/task/10213/stat : 10213 (java) R 10195 10197 8515 0 -1 4202560 4691 0 0 0 84 0 0 0 15 0 19 0 132156028 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 104163157 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=10197/tid=10214] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10214/stat : 10214 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132156028 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10215] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10215/stat : 10215 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132156028 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10216] ppid=10195 vsize=1549288 CPUtime=0 /proc/10197/task/10216/stat : 10216 (java) S 10195 10197 8515 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 19 0 132156055 1586470912 39217 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.23 Current children cumulated vsize (KiB) 1549288 [startup+3.10067 s] /proc/loadavg: 2.82 2.67 2.31 3/218 10216 /proc/meminfo: memFree=31461928/32951124 swapFree=67111528/67111528 [pid=10197] ppid=10195 vsize=1548556 CPUtime=5.02 /proc/10197/stat : 10197 (java) S 10195 10197 8515 0 -1 4202496 52254 0 1 0 496 6 0 0 23 0 19 0 132156023 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10197/statm: 387139 47000 1444 10 0 384441 0 [pid=10197/tid=10199] ppid=10195 vsize=1548556 CPUtime=3.05 /proc/10197/task/10199/stat : 10199 (java) R 10195 10197 8515 0 -1 4202560 36651 0 1 0 301 4 0 0 20 0 19 0 132156024 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4109765034 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=10197/tid=10200] ppid=10195 vsize=1548556 CPUtime=0 /proc/10197/task/10200/stat : 10200 (java) S 10195 10197 8515 0 -1 4202560 778 0 0 0 0 0 0 0 15 0 19 0 132156024 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 [pid=10197/tid=10201] ppid=10195 vsize=1548556 CPUtime=0 /proc/10197/task/10201/stat : 10201 (java) S 10195 10197 8515 0 -1 4202560 445 0 0 0 0 0 0 0 15 0 19 0 132156024 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 3 0 0 0 [pid=10197/tid=10202] ppid=10195 vsize=1548556 CPUtime=0 /proc/10197/task/10202/stat : 10202 (java) S 10195 10197 8515 0 -1 4202560 349 0 0 0 0 0 0 0 15 0 19 0 132156024 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 0 0 0 0 [pid=10197/tid=10203] ppid=10195 vsize=1548556 CPUtime=0.01 /proc/10197/task/10203/stat : 10203 (java) S 10195 10197 8515 0 -1 4202560 940 0 0 0 1 0 0 0 15 0 19 0 132156024 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 0 0 0 0 [pid=10197/tid=10204] ppid=10195 vsize=1548556 CPUtime=0 /proc/10197/task/10204/stat : 10204 (java) S 10195 10197 8515 0 -1 4202560 444 0 0 0 0 0 0 0 15 0 19 0 132156024 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 7 0 0 0 [pid=10197/tid=10205] ppid=10195 vsize=1548556 CPUtime=0 /proc/10197/task/10205/stat : 10205 (java) S 10195 10197 8515 0 -1 4202560 510 0 0 0 0 0 0 0 15 0 19 0 132156024 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10206] ppid=10195 vsize=1548556 CPUtime=0 /proc/10197/task/10206/stat : 10206 (java) S 10195 10197 8515 0 -1 4202560 424 0 0 0 0 0 0 0 15 0 19 0 132156024 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 2 0 0 0 [pid=10197/tid=10207] ppid=10195 vsize=1548556 CPUtime=0.01 /proc/10197/task/10207/stat : 10207 (java) S 10195 10197 8515 0 -1 4202560 714 0 0 0 1 0 0 0 15 0 19 0 132156024 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 7 0 0 0 [pid=10197/tid=10208] ppid=10195 vsize=1548556 CPUtime=0 /proc/10197/task/10208/stat : 10208 (java) S 10195 10197 8515 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 132156025 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 [pid=10197/tid=10209] ppid=10195 vsize=1548556 CPUtime=0 /proc/10197/task/10209/stat : 10209 (java) S 10195 10197 8515 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132156026 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10210] ppid=10195 vsize=1548556 CPUtime=0 /proc/10197/task/10210/stat : 10210 (java) S 10195 10197 8515 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 132156026 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10211] ppid=10195 vsize=1548556 CPUtime=0 /proc/10197/task/10211/stat : 10211 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132156028 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10212] ppid=10195 vsize=1548556 CPUtime=0.97 /proc/10197/task/10212/stat : 10212 (java) S 10195 10197 8515 0 -1 4202560 5195 0 0 0 97 0 0 0 15 0 19 0 132156028 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 3 0 0 0 [pid=10197/tid=10213] ppid=10195 vsize=1548556 CPUtime=0.9 /proc/10197/task/10213/stat : 10213 (java) S 10195 10197 8515 0 -1 4202560 4708 0 0 0 90 0 0 0 15 0 19 0 132156028 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10214] ppid=10195 vsize=1548556 CPUtime=0 /proc/10197/task/10214/stat : 10214 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132156028 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10215] ppid=10195 vsize=1548556 CPUtime=0 /proc/10197/task/10215/stat : 10215 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132156028 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10216] ppid=10195 vsize=1548556 CPUtime=0 /proc/10197/task/10216/stat : 10216 (java) S 10195 10197 8515 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 19 0 132156055 1585721344 47000 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.02 Current children cumulated vsize (KiB) 1548556 [startup+6.30106 s] /proc/loadavg: 2.84 2.68 2.31 4/218 10216 /proc/meminfo: memFree=31428696/32951124 swapFree=67111528/67111528 [pid=10197] ppid=10195 vsize=1546520 CPUtime=8.29 /proc/10197/stat : 10197 (java) S 10195 10197 8515 0 -1 4202496 53919 0 1 0 822 7 0 0 23 0 19 0 132156023 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10197/statm: 386630 48119 1444 10 0 383932 0 [pid=10197/tid=10199] ppid=10195 vsize=1546520 CPUtime=6.23 /proc/10197/task/10199/stat : 10199 (java) R 10195 10197 8515 0 -1 4202560 36660 0 1 0 619 4 0 0 25 0 19 0 132156024 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4109782738 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=10197/tid=10200] ppid=10195 vsize=1546520 CPUtime=0.01 /proc/10197/task/10200/stat : 10200 (java) S 10195 10197 8515 0 -1 4202560 951 0 0 0 1 0 0 0 15 0 19 0 132156024 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 [pid=10197/tid=10201] ppid=10195 vsize=1546520 CPUtime=0.01 /proc/10197/task/10201/stat : 10201 (java) S 10195 10197 8515 0 -1 4202560 632 0 0 0 1 0 0 0 15 0 19 0 132156024 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 3 0 0 0 [pid=10197/tid=10202] ppid=10195 vsize=1546520 CPUtime=0.01 /proc/10197/task/10202/stat : 10202 (java) S 10195 10197 8515 0 -1 4202560 471 0 0 0 1 0 0 0 15 0 19 0 132156024 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 0 0 0 0 [pid=10197/tid=10203] ppid=10195 vsize=1546520 CPUtime=0.01 /proc/10197/task/10203/stat : 10203 (java) S 10195 10197 8515 0 -1 4202560 1126 0 0 0 1 0 0 0 15 0 19 0 132156024 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 0 0 0 0 [pid=10197/tid=10204] ppid=10195 vsize=1546520 CPUtime=0.01 /proc/10197/task/10204/stat : 10204 (java) S 10195 10197 8515 0 -1 4202560 767 0 0 0 1 0 0 0 15 0 19 0 132156024 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 7 0 0 0 [pid=10197/tid=10205] ppid=10195 vsize=1546520 CPUtime=0.01 /proc/10197/task/10205/stat : 10205 (java) S 10195 10197 8515 0 -1 4202560 835 0 0 0 1 0 0 0 15 0 19 0 132156024 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 6 0 0 0 [pid=10197/tid=10206] ppid=10195 vsize=1546520 CPUtime=0.01 /proc/10197/task/10206/stat : 10206 (java) S 10195 10197 8515 0 -1 4202560 584 0 0 0 1 0 0 0 16 0 19 0 132156024 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10207] ppid=10195 vsize=1546520 CPUtime=0.01 /proc/10197/task/10207/stat : 10207 (java) S 10195 10197 8515 0 -1 4202560 889 0 0 0 1 0 0 0 15 0 19 0 132156024 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 7 0 0 0 [pid=10197/tid=10208] ppid=10195 vsize=1546520 CPUtime=0 /proc/10197/task/10208/stat : 10208 (java) S 10195 10197 8515 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 132156025 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 [pid=10197/tid=10209] ppid=10195 vsize=1546520 CPUtime=0 /proc/10197/task/10209/stat : 10209 (java) S 10195 10197 8515 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132156026 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10210] ppid=10195 vsize=1546520 CPUtime=0 /proc/10197/task/10210/stat : 10210 (java) S 10195 10197 8515 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 132156026 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10211] ppid=10195 vsize=1546520 CPUtime=0 /proc/10197/task/10211/stat : 10211 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132156028 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10212] ppid=10195 vsize=1546520 CPUtime=1 /proc/10197/task/10212/stat : 10212 (java) S 10195 10197 8515 0 -1 4202560 5200 0 0 0 100 0 0 0 15 0 19 0 132156028 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 3 0 0 0 [pid=10197/tid=10213] ppid=10195 vsize=1546520 CPUtime=0.9 /proc/10197/task/10213/stat : 10213 (java) S 10195 10197 8515 0 -1 4202560 4708 0 0 0 90 0 0 0 15 0 19 0 132156028 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10214] ppid=10195 vsize=1546520 CPUtime=0 /proc/10197/task/10214/stat : 10214 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132156028 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10215] ppid=10195 vsize=1546520 CPUtime=0 /proc/10197/task/10215/stat : 10215 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132156028 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 [pid=10197/tid=10216] ppid=10195 vsize=1546520 CPUtime=0 /proc/10197/task/10216/stat : 10216 (java) S 10195 10197 8515 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 19 0 132156055 1583636480 48119 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 8.29 Current children cumulated vsize (KiB) 1546520 [startup+12.7009 s] /proc/loadavg: 2.77 2.66 2.31 4/218 10216 /proc/meminfo: memFree=31425960/32951124 swapFree=67111528/67111528 [pid=10197] ppid=10195 vsize=1540944 CPUtime=14.79 /proc/10197/stat : 10197 (java) S 10195 10197 8515 0 -1 4202496 56030 0 1 0 1472 7 0 0 23 0 19 0 132156023 1577926656 48753 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10197/statm: 385236 48753 1444 10 0 382538 0 [pid=10197/tid=10199] ppid=10195 vsize=1540944 CPUtime=12.59 /proc/10197/task/10199/stat : 10199 (java) R 10195 10197 8515 0 -1 4202560 37013 0 1 0 1255 4 0 0 25 0 19 0 132156024 1577926656 48753 4089446400 134512640 134550932 4291222416 18446744073709551615 4109784257 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=10197/tid=10200] ppid=10195 vsize=1540944 CPUtime=0.02 /proc/10197/task/10200/stat : 10200 (java) S 10195 10197 8515 0 -1 4202560 1176 0 0 0 2 0 0 0 15 0 19 0 132156024 1577926656 48753 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 7 0 0 0 ################ # More data... # ################ [pid=10197/tid=10205] ppid=10195 vsize=1542992 CPUtime=8.85 /proc/10197/task/10205/stat : 10205 (java) S 10195 10197 8515 0 -1 4202560 5831 0 0 0 763 122 0 0 16 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 [pid=10197/tid=10206] ppid=10195 vsize=1542992 CPUtime=8.64 /proc/10197/task/10206/stat : 10206 (java) S 10195 10197 8515 0 -1 4202560 5747 0 0 0 753 111 0 0 16 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 7 0 0 0 [pid=10197/tid=10207] ppid=10195 vsize=1542992 CPUtime=8.72 /proc/10197/task/10207/stat : 10207 (java) S 10195 10197 8515 0 -1 4202560 5616 0 0 0 756 116 0 0 15 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10208] ppid=10195 vsize=1542992 CPUtime=1.1 /proc/10197/task/10208/stat : 10208 (java) S 10195 10197 8515 0 -1 4202560 240 0 0 0 77 33 0 0 15 0 19 0 132156025 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446604471136523200 0 0 -1 2 0 0 0 [pid=10197/tid=10209] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10209/stat : 10209 (java) S 10195 10197 8515 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132156026 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10210] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10210/stat : 10210 (java) S 10195 10197 8515 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 132156026 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10211] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10211/stat : 10211 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10212] ppid=10195 vsize=1542992 CPUtime=1.09 /proc/10197/task/10212/stat : 10212 (java) S 10195 10197 8515 0 -1 4202560 5214 0 0 0 109 0 0 0 15 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 3 0 0 0 [pid=10197/tid=10213] ppid=10195 vsize=1542992 CPUtime=1.06 /proc/10197/task/10213/stat : 10213 (java) S 10195 10197 8515 0 -1 4202560 4716 0 0 0 106 0 0 0 15 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10214] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10214/stat : 10214 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10215] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10215/stat : 10215 (java) S 10195 10197 8515 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 6 0 0 0 [pid=10197/tid=10216] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10216/stat : 10216 (java) S 10195 10197 8515 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 19 0 132156055 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1660.94 Current children cumulated vsize (KiB) 1542992 [startup+1662.3 s] /proc/loadavg: 2.00 2.04 2.17 3/197 10326 /proc/meminfo: memFree=30277156/32951124 swapFree=67111528/67111528 [pid=10197] ppid=10195 vsize=1542992 CPUtime=1723.56 /proc/10197/stat : 10197 (java) S 10195 10197 8515 0 -1 4202496 98798 0 1 0 171376 980 0 0 23 0 19 0 132156023 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10197/statm: 385748 87974 1450 10 0 383050 0 [pid=10197/tid=10199] ppid=10195 vsize=1542992 CPUtime=1647.61 /proc/10197/task/10199/stat : 10199 (java) R 10195 10197 8515 0 -1 4202560 39030 0 1 0 164751 10 0 0 25 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4109708006 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10197/tid=10200] ppid=10195 vsize=1542992 CPUtime=9.07 /proc/10197/task/10200/stat : 10200 (java) S 10195 10197 8515 0 -1 4202560 6365 0 0 0 799 108 0 0 16 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 0 0 0 0 [pid=10197/tid=10201] ppid=10195 vsize=1542992 CPUtime=8.95 /proc/10197/task/10201/stat : 10201 (java) S 10195 10197 8515 0 -1 4202560 6626 0 0 0 783 112 0 0 16 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10202] ppid=10195 vsize=1542992 CPUtime=8.97 /proc/10197/task/10202/stat : 10202 (java) S 10195 10197 8515 0 -1 4202560 5502 0 0 0 786 111 0 0 16 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 2 0 0 0 [pid=10197/tid=10203] ppid=10195 vsize=1542992 CPUtime=9.27 /proc/10197/task/10203/stat : 10203 (java) S 10195 10197 8515 0 -1 4202560 6586 0 0 0 802 125 0 0 16 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 [pid=10197/tid=10204] ppid=10195 vsize=1542992 CPUtime=8.84 /proc/10197/task/10204/stat : 10204 (java) S 10195 10197 8515 0 -1 4202560 6168 0 0 0 775 109 0 0 16 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 3 0 0 0 [pid=10197/tid=10205] ppid=10195 vsize=1542992 CPUtime=9.25 /proc/10197/task/10205/stat : 10205 (java) S 10195 10197 8515 0 -1 4202560 5831 0 0 0 797 128 0 0 16 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 7 0 0 0 [pid=10197/tid=10206] ppid=10195 vsize=1542992 CPUtime=9.07 /proc/10197/task/10206/stat : 10206 (java) S 10195 10197 8515 0 -1 4202560 5747 0 0 0 792 115 0 0 16 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 6 0 0 0 [pid=10197/tid=10207] ppid=10195 vsize=1542992 CPUtime=9.12 /proc/10197/task/10207/stat : 10207 (java) S 10195 10197 8515 0 -1 4202560 5616 0 0 0 791 121 0 0 15 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 7 0 0 0 [pid=10197/tid=10208] ppid=10195 vsize=1542992 CPUtime=1.12 /proc/10197/task/10208/stat : 10208 (java) S 10195 10197 8515 0 -1 4202560 242 0 0 0 78 34 0 0 15 0 19 0 132156025 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446604471136523200 0 0 -1 2 0 0 0 [pid=10197/tid=10209] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10209/stat : 10209 (java) S 10195 10197 8515 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132156026 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10210] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10210/stat : 10210 (java) S 10195 10197 8515 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 132156026 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10211] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10211/stat : 10211 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10212] ppid=10195 vsize=1542992 CPUtime=1.09 /proc/10197/task/10212/stat : 10212 (java) S 10195 10197 8515 0 -1 4202560 5214 0 0 0 109 0 0 0 15 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 3 0 0 0 [pid=10197/tid=10213] ppid=10195 vsize=1542992 CPUtime=1.06 /proc/10197/task/10213/stat : 10213 (java) S 10195 10197 8515 0 -1 4202560 4716 0 0 0 106 0 0 0 15 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10214] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10214/stat : 10214 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10215] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10215/stat : 10215 (java) S 10195 10197 8515 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 6 0 0 0 [pid=10197/tid=10216] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10216/stat : 10216 (java) S 10195 10197 8515 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 19 0 132156055 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1723.56 Current children cumulated vsize (KiB) 1542992 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.16 3/197 10328 /proc/meminfo: memFree=30182732/32951124 swapFree=67111528/67111528 [pid=10197] ppid=10195 vsize=1542992 CPUtime=1786.29 /proc/10197/stat : 10197 (java) S 10195 10197 8515 0 -1 4202496 98866 0 1 0 177603 1026 0 0 23 0 19 0 132156023 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10197/statm: 385748 87974 1450 10 0 383050 0 [pid=10197/tid=10199] ppid=10195 vsize=1542992 CPUtime=1707.06 /proc/10197/task/10199/stat : 10199 (java) R 10195 10197 8515 0 -1 4202560 39090 0 1 0 170695 11 0 0 25 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4109781143 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=10197/tid=10200] ppid=10195 vsize=1542992 CPUtime=9.46 /proc/10197/task/10200/stat : 10200 (java) S 10195 10197 8515 0 -1 4202560 6365 0 0 0 832 114 0 0 15 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 0 0 0 0 [pid=10197/tid=10201] ppid=10195 vsize=1542992 CPUtime=9.32 /proc/10197/task/10201/stat : 10201 (java) S 10195 10197 8515 0 -1 4202560 6626 0 0 0 815 117 0 0 15 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10202] ppid=10195 vsize=1542992 CPUtime=9.36 /proc/10197/task/10202/stat : 10202 (java) S 10195 10197 8515 0 -1 4202560 5502 0 0 0 821 115 0 0 15 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 6 0 0 0 [pid=10197/tid=10203] ppid=10195 vsize=1542992 CPUtime=9.71 /proc/10197/task/10203/stat : 10203 (java) S 10195 10197 8515 0 -1 4202560 6586 0 0 0 840 131 0 0 15 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 [pid=10197/tid=10204] ppid=10195 vsize=1542992 CPUtime=9.22 /proc/10197/task/10204/stat : 10204 (java) S 10195 10197 8515 0 -1 4202560 6168 0 0 0 807 115 0 0 15 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 [pid=10197/tid=10205] ppid=10195 vsize=1542992 CPUtime=9.66 /proc/10197/task/10205/stat : 10205 (java) S 10195 10197 8515 0 -1 4202560 5831 0 0 0 833 133 0 0 16 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 7 0 0 0 [pid=10197/tid=10206] ppid=10195 vsize=1542992 CPUtime=9.51 /proc/10197/task/10206/stat : 10206 (java) S 10195 10197 8515 0 -1 4202560 5747 0 0 0 830 121 0 0 15 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 2 0 0 0 [pid=10197/tid=10207] ppid=10195 vsize=1542992 CPUtime=9.57 /proc/10197/task/10207/stat : 10207 (java) S 10195 10197 8515 0 -1 4202560 5616 0 0 0 830 127 0 0 15 0 19 0 132156024 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 3 0 0 0 [pid=10197/tid=10208] ppid=10195 vsize=1542992 CPUtime=1.14 /proc/10197/task/10208/stat : 10208 (java) S 10195 10197 8515 0 -1 4202560 246 0 0 0 79 35 0 0 15 0 19 0 132156025 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446604471136523200 0 0 -1 2 0 0 0 [pid=10197/tid=10209] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10209/stat : 10209 (java) S 10195 10197 8515 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132156026 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10210] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10210/stat : 10210 (java) S 10195 10197 8515 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 132156026 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10211] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10211/stat : 10211 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10212] ppid=10195 vsize=1542992 CPUtime=1.09 /proc/10197/task/10212/stat : 10212 (java) S 10195 10197 8515 0 -1 4202560 5214 0 0 0 109 0 0 0 15 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 3 0 0 0 [pid=10197/tid=10213] ppid=10195 vsize=1542992 CPUtime=1.06 /proc/10197/task/10213/stat : 10213 (java) S 10195 10197 8515 0 -1 4202560 4716 0 0 0 106 0 0 0 15 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10214] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10214/stat : 10214 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10215] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10215/stat : 10215 (java) S 10195 10197 8515 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 132156028 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 6 0 0 0 [pid=10197/tid=10216] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10216/stat : 10216 (java) S 10195 10197 8515 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 19 0 132156055 1580023808 87974 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1786.29 Current children cumulated vsize (KiB) 1542992 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1735.4 s] /proc/loadavg: 2.00 2.03 2.16 3/197 10328 /proc/meminfo: memFree=30161636/32951124 swapFree=67111528/67111528 [pid=10197] ppid=10195 vsize=1542992 CPUtime=1800.07 /proc/10197/stat : 10197 (java) S 10195 10197 8515 0 -1 4202496 99095 0 1 0 178970 1037 0 0 23 0 19 0 132156023 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/10197/statm: 385748 88183 1450 10 0 383050 0 [pid=10197/tid=10199] ppid=10195 vsize=1542992 CPUtime=1720.03 /proc/10197/task/10199/stat : 10199 (java) R 10195 10197 8515 0 -1 4202560 39104 0 1 0 171992 11 0 0 25 0 19 0 132156024 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4109781316 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=10197/tid=10200] ppid=10195 vsize=1542992 CPUtime=9.56 /proc/10197/task/10200/stat : 10200 (java) S 10195 10197 8515 0 -1 4202560 6378 0 0 0 841 115 0 0 16 0 19 0 132156024 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 6 0 0 0 [pid=10197/tid=10201] ppid=10195 vsize=1542992 CPUtime=9.43 /proc/10197/task/10201/stat : 10201 (java) S 10195 10197 8515 0 -1 4202560 6647 0 0 0 825 118 0 0 15 0 19 0 132156024 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 0 0 0 0 [pid=10197/tid=10202] ppid=10195 vsize=1542992 CPUtime=9.48 /proc/10197/task/10202/stat : 10202 (java) S 10195 10197 8515 0 -1 4202560 5545 0 0 0 831 117 0 0 16 0 19 0 132156024 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10203] ppid=10195 vsize=1542992 CPUtime=9.8 /proc/10197/task/10203/stat : 10203 (java) S 10195 10197 8515 0 -1 4202560 6613 0 0 0 848 132 0 0 16 0 19 0 132156024 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 [pid=10197/tid=10204] ppid=10195 vsize=1542992 CPUtime=9.29 /proc/10197/task/10204/stat : 10204 (java) S 10195 10197 8515 0 -1 4202560 6191 0 0 0 814 115 0 0 16 0 19 0 132156024 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 0 0 0 0 [pid=10197/tid=10205] ppid=10195 vsize=1542992 CPUtime=9.76 /proc/10197/task/10205/stat : 10205 (java) S 10195 10197 8515 0 -1 4202560 5854 0 0 0 841 135 0 0 16 0 19 0 132156024 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 7 0 0 0 [pid=10197/tid=10206] ppid=10195 vsize=1542992 CPUtime=9.61 /proc/10197/task/10206/stat : 10206 (java) S 10195 10197 8515 0 -1 4202560 5789 0 0 0 839 122 0 0 16 0 19 0 132156024 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 2 0 0 0 [pid=10197/tid=10207] ppid=10195 vsize=1542992 CPUtime=9.68 /proc/10197/task/10207/stat : 10207 (java) S 10195 10197 8515 0 -1 4202560 5639 0 0 0 839 129 0 0 16 0 19 0 132156024 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 3 0 0 0 [pid=10197/tid=10208] ppid=10195 vsize=1542992 CPUtime=1.14 /proc/10197/task/10208/stat : 10208 (java) S 10195 10197 8515 0 -1 4202560 246 0 0 0 79 35 0 0 15 0 19 0 132156025 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 0 0 16800975 18446604471136523200 0 0 -1 2 0 0 0 [pid=10197/tid=10209] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10209/stat : 10209 (java) S 10195 10197 8515 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132156026 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10210] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10210/stat : 10210 (java) S 10195 10197 8515 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 132156026 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10211] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10211/stat : 10211 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132156028 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 1 0 0 0 [pid=10197/tid=10212] ppid=10195 vsize=1542992 CPUtime=1.09 /proc/10197/task/10212/stat : 10212 (java) S 10195 10197 8515 0 -1 4202560 5214 0 0 0 109 0 0 0 15 0 19 0 132156028 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 3 0 0 0 [pid=10197/tid=10213] ppid=10195 vsize=1542992 CPUtime=1.06 /proc/10197/task/10213/stat : 10213 (java) S 10195 10197 8515 0 -1 4202560 4716 0 0 0 106 0 0 0 15 0 19 0 132156028 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10214] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10214/stat : 10214 (java) S 10195 10197 8515 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132156028 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 4 0 0 0 [pid=10197/tid=10215] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10215/stat : 10215 (java) S 10195 10197 8515 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 132156028 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 6 0 0 0 [pid=10197/tid=10216] ppid=10195 vsize=1542992 CPUtime=0 /proc/10197/task/10216/stat : 10216 (java) S 10195 10197 8515 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 19 0 132156055 1580023808 88183 4089446400 134512640 134550932 4291222416 18446744073709551615 4294960144 0 4 0 16800975 18446604471136523200 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1542992 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): 1735.46 CPU time (s): 1800.16 CPU user time (s): 1789.78 CPU system time (s): 10.3854 CPU usage (%): 103.728 Max. virtual memory (cumulated for all children) (KiB): 1550360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.78 system time used= 10.3854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99127 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= 97033 involuntary context switches= 2969144 runsolver used 3.37549 second user time and 6.08707 second system time The end
Begin job on node104 at 2010-06-30 16:36:25 IDJOB=2692243 IDBENCH=78960 IDSOLVER=1203 FILE ID=node104/2692243-1277908585 PBS_JOBID= 11197176 Free space on /tmp= 74212 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.1900567024--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-2692243-1277908585/watcher-2692243-1277908585 -o /tmp/evaluation-result-2692243-1277908585/solver-2692243-1277908585 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692243-1277908585.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7129b2638275c1b1b14ce0a3da71735e RANDOM SEED=1887024939 node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31616544 kB Buffers: 187016 kB Cached: 692712 kB SwapCached: 0 kB Active: 660332 kB Inactive: 533388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31616544 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 480 kB Writeback: 0 kB AnonPages: 314296 kB Mapped: 20300 kB Slab: 76708 kB PageTables: 5360 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1649968 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node104 at 2010-06-30 17:05:22