Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.17 | 1715.68 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-66-100-0.wbo |
MD5SUM | 83dbd2cd2ef615ae6bc4c3ab9b5ef9b9 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 326.406 |
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 | 961 |
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 | 46411 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46410 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 625 |
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.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100526 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch i386 0.00/0.07 c Free memory 1393557488 0.00/0.07 c Max memory 1395916800 0.00/0.07 c Total memory 1395916800 0.00/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c1ea29 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2692119-1277901872.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 1192 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 => 146 0.28/0.29 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1593 0.28/0.29 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 967 0.28/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.43/1.07 c SATISFIABLE 2.43/1.07 c OPTIMIZING... 2.43/1.07 c Got one! Elapsed wall clock time (in seconds):0.974 2.43/1.07 o 383 2.81/1.35 c Got one! Elapsed wall clock time (in seconds):1.248 2.81/1.35 o 364 3.40/1.68 c Got one! Elapsed wall clock time (in seconds):1.579 3.40/1.68 o 313 5.10/3.24 c Got one! Elapsed wall clock time (in seconds):3.145 5.10/3.24 o 277 7.83/5.80 c Got one! Elapsed wall clock time (in seconds):5.7 7.83/5.80 o 251 11.81/9.80 c Got one! Elapsed wall clock time (in seconds):9.697 11.81/9.80 o 229 27.72/25.49 c Got one! Elapsed wall clock time (in seconds):25.394 27.72/25.49 o 216 44.76/42.27 c Got one! Elapsed wall clock time (in seconds):42.167 44.76/42.27 o 180 59.56/56.84 c Got one! Elapsed wall clock time (in seconds):56.743 59.56/56.84 o 135 72.43/69.41 c cleaning 0 clauses out of 5000 with flag 0/5000 142.54/137.63 c Got one! Elapsed wall clock time (in seconds):137.532 142.54/137.63 o 98 562.61/540.32 c cleaning 0 clauses out of 11001 with flag 0/11001 664.69/637.31 c Got one! Elapsed wall clock time (in seconds):637.216 664.69/637.31 o 87 1167.76/1112.12 c Got one! Elapsed wall clock time (in seconds):1112.016 1167.76/1112.12 o 73 1617.92/1541.96 c cleaning 0 clauses out of 18002 with flag 0/18002 1800.05/1715.61 c starts : 56 1800.05/1715.61 c conflicts : 19181 1800.05/1715.61 c decisions : 71533 1800.05/1715.61 c propagations : 1752211 1800.05/1715.61 c inspects : 1508198557 1800.05/1715.61 c learnt literals : 0 1800.05/1715.61 c learnt binary clauses : 0 1800.05/1715.61 c learnt ternary clauses : 1 1800.05/1715.61 c learnt clauses : 19181 1800.05/1715.61 c ignored clauses : 0 1800.05/1715.61 c root simplifications : 0 1800.05/1715.61 c removed literals (reason simplification) : 0 1800.05/1715.61 c reason swapping (by a shorter reason) : 0 1800.05/1715.61 c Calls to reduceDB : 3 1800.05/1715.61 c number of reductions to clauses (during analyze) : 0 1800.05/1715.61 c number of learned constraints concerned by reduction : 0 1800.05/1715.61 c number of learning phase by resolution : 0 1800.05/1715.61 c number of learning phase by cutting planes : 0 1800.05/1715.61 c speed (assignments/second) : 2903.4535669072666 1800.05/1715.61 c non guided choices 1454 1800.05/1715.62 c learnt constraints type 1800.05/1715.62 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 99 1800.05/1715.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 15 1800.05/1715.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 19067 1800.05/1715.62 c constraints type 1800.05/1715.62 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 146 1800.05/1715.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1593 1800.05/1715.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 967 1800.05/1715.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.05/1715.62 s SATISFIABLE 1800.05/1715.62 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.05/1715.62 c objective function=73 1800.05/1715.62 c Total wall clock time (in seconds): 1715.525
OK 73
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692119-1277901872/watcher-2692119-1277901872 -o /tmp/evaluation-result-2692119-1277901872/solver-2692119-1277901872 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692119-1277901872.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: 1.92 1.98 1.99 2/178 23887 /proc/meminfo: memFree=31512696/32950928 swapFree=67111528/67111528 [pid=23887] ppid=23885 vsize=248 CPUtime=0 /proc/23887/stat : 23887 (java) R 23885 23887 23309 0 -1 4194304 282 0 0 0 0 0 0 0 25 0 1 0 165790286 253952 28 4089446400 134512640 134550932 4290735264 18446744073709551615 3162590 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/23887/statm: 62 28 21 10 0 23 0 [startup+0.0105551 s] /proc/loadavg: 1.92 1.98 1.99 2/178 23887 /proc/meminfo: memFree=31512696/32950928 swapFree=67111528/67111528 [pid=23887] ppid=23885 vsize=13684 CPUtime=0 /proc/23887/stat : 23887 (java) S 23885 23887 23309 0 -1 4202496 1183 0 0 0 0 0 0 0 25 0 2 0 165790286 14012416 630 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 /proc/23887/statm: 3421 631 307 10 0 1206 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13684 [startup+0.100533 s] /proc/loadavg: 1.92 1.98 1.99 2/178 23887 /proc/meminfo: memFree=31512696/32950928 swapFree=67111528/67111528 [pid=23887] ppid=23885 vsize=1529932 CPUtime=0.11 /proc/23887/stat : 23887 (java) S 23885 23887 23309 0 -1 4202496 5196 0 1 0 10 1 0 0 25 0 18 0 165790286 1566650368 4633 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/23887/statm: 382483 4633 1347 10 0 379785 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529932 [startup+0.300465 s] /proc/loadavg: 1.92 1.98 1.99 2/178 23887 /proc/meminfo: memFree=31512696/32950928 swapFree=67111528/67111528 [pid=23887] ppid=23885 vsize=1532024 CPUtime=0.51 /proc/23887/stat : 23887 (java) S 23885 23887 23309 0 -1 4202496 7462 0 1 0 50 1 0 0 25 0 18 0 165790286 1568792576 6858 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/23887/statm: 383006 6859 1411 10 0 380308 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 1532024 [startup+0.700391 s] /proc/loadavg: 1.92 1.98 1.99 2/178 23887 /proc/meminfo: memFree=31512696/32950928 swapFree=67111528/67111528 [pid=23887] ppid=23885 vsize=1548696 CPUtime=1.64 /proc/23887/stat : 23887 (java) S 23885 23887 23309 0 -1 4202496 19392 0 1 0 160 4 0 0 25 0 19 0 165790286 1585864704 15992 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/23887/statm: 387174 15992 1420 10 0 384476 0 Current children cumulated CPU time (s) 1.64 Current children cumulated vsize (KiB) 1548696 [startup+1.50123 s] /proc/loadavg: 1.92 1.98 1.99 3/197 23906 /proc/meminfo: memFree=31373424/32950928 swapFree=67111528/67111528 [pid=23887] ppid=23885 vsize=1549352 CPUtime=3.14 /proc/23887/stat : 23887 (java) S 23885 23887 23309 0 -1 4202496 43445 0 1 0 307 7 0 0 25 0 19 0 165790286 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/23887/statm: 387338 39381 1444 10 0 384640 0 [pid=23887/tid=23889] ppid=23885 vsize=1549352 CPUtime=1.47 /proc/23887/task/23889/stat : 23889 (java) R 23885 23887 23309 0 -1 4202560 32097 0 1 0 142 5 0 0 18 0 19 0 165790286 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4109492698 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=23887/tid=23890] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23890/stat : 23890 (java) S 23885 23887 23309 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 19 0 165790287 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23891] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23891/stat : 23891 (java) S 23885 23887 23309 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 19 0 165790287 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23892] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23892/stat : 23892 (java) S 23885 23887 23309 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 165790287 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23893] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23893/stat : 23893 (java) S 23885 23887 23309 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 165790287 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23894] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23894/stat : 23894 (java) S 23885 23887 23309 0 -1 4202560 241 0 0 0 0 0 0 0 16 0 19 0 165790287 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23895] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23895/stat : 23895 (java) S 23885 23887 23309 0 -1 4202560 222 0 0 0 0 0 0 0 16 0 19 0 165790287 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23896] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23896/stat : 23896 (java) S 23885 23887 23309 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 165790287 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23897] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23897/stat : 23897 (java) S 23885 23887 23309 0 -1 4202560 391 0 0 0 0 0 0 0 16 0 19 0 165790287 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23898] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23898/stat : 23898 (java) S 23885 23887 23309 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 165790288 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23899] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23899/stat : 23899 (java) S 23885 23887 23309 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 165790288 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23900] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23900/stat : 23900 (java) S 23885 23887 23309 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165790288 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23901] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23901/stat : 23901 (java) S 23885 23887 23309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165790290 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23902] ppid=23885 vsize=1549352 CPUtime=0.84 /proc/23887/task/23902/stat : 23902 (java) R 23885 23887 23309 0 -1 4202560 5259 0 0 0 83 1 0 0 15 0 19 0 165790290 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 103371731 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=23887/tid=23903] ppid=23885 vsize=1549352 CPUtime=0.8 /proc/23887/task/23903/stat : 23903 (java) R 23885 23887 23309 0 -1 4202560 3615 0 0 0 80 0 0 0 15 0 19 0 165790290 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 103371461 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=23887/tid=23904] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23904/stat : 23904 (java) S 23885 23887 23309 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 165790290 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23905] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23905/stat : 23905 (java) S 23885 23887 23309 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 165790290 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23906] ppid=23885 vsize=1549352 CPUtime=0 /proc/23887/task/23906/stat : 23906 (java) S 23885 23887 23309 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 165790318 1586536448 39381 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.14 Current children cumulated vsize (KiB) 1549352 [startup+3.10098 s] /proc/loadavg: 1.92 1.98 1.99 3/197 23906 /proc/meminfo: memFree=31352832/32950928 swapFree=67111528/67111528 [pid=23887] ppid=23885 vsize=1549500 CPUtime=5 /proc/23887/stat : 23887 (java) S 23885 23887 23309 0 -1 4202496 51720 0 1 0 491 9 0 0 25 0 19 0 165790286 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/23887/statm: 387375 47086 1444 10 0 384677 0 [pid=23887/tid=23889] ppid=23885 vsize=1549500 CPUtime=3.04 /proc/23887/task/23889/stat : 23889 (java) R 23885 23887 23309 0 -1 4202560 35351 0 1 0 299 5 0 0 21 0 19 0 165790286 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4109483884 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=23887/tid=23890] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23890/stat : 23890 (java) S 23885 23887 23309 0 -1 4202560 592 0 0 0 0 0 0 0 16 0 19 0 165790287 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23891] ppid=23885 vsize=1549500 CPUtime=0.01 /proc/23887/task/23891/stat : 23891 (java) S 23885 23887 23309 0 -1 4202560 1384 0 0 0 1 0 0 0 16 0 19 0 165790287 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23892] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23892/stat : 23892 (java) S 23885 23887 23309 0 -1 4202560 383 0 0 0 0 0 0 0 15 0 19 0 165790287 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23893] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23893/stat : 23893 (java) S 23885 23887 23309 0 -1 4202560 485 0 0 0 0 0 0 0 15 0 19 0 165790287 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23894] ppid=23885 vsize=1549500 CPUtime=0.01 /proc/23887/task/23894/stat : 23894 (java) S 23885 23887 23309 0 -1 4202560 970 0 0 0 1 0 0 0 15 0 19 0 165790287 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23895] ppid=23885 vsize=1549500 CPUtime=0.01 /proc/23887/task/23895/stat : 23895 (java) S 23885 23887 23309 0 -1 4202560 1082 0 0 0 1 0 0 0 15 0 19 0 165790287 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23896] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23896/stat : 23896 (java) S 23885 23887 23309 0 -1 4202560 480 0 0 0 0 0 0 0 16 0 19 0 165790287 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23897] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23897/stat : 23897 (java) S 23885 23887 23309 0 -1 4202560 528 0 0 0 0 0 0 0 15 0 19 0 165790287 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23898] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23898/stat : 23898 (java) S 23885 23887 23309 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 165790288 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23899] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23899/stat : 23899 (java) S 23885 23887 23309 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 165790288 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23900] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23900/stat : 23900 (java) S 23885 23887 23309 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165790288 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23901] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23901/stat : 23901 (java) S 23885 23887 23309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165790290 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23902] ppid=23885 vsize=1549500 CPUtime=0.9 /proc/23887/task/23902/stat : 23902 (java) S 23885 23887 23309 0 -1 4202560 5453 0 0 0 89 1 0 0 15 0 19 0 165790290 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23903] ppid=23885 vsize=1549500 CPUtime=0.93 /proc/23887/task/23903/stat : 23903 (java) S 23885 23887 23309 0 -1 4202560 3916 0 0 0 93 0 0 0 15 0 19 0 165790290 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 7 0 0 0 [pid=23887/tid=23904] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23904/stat : 23904 (java) S 23885 23887 23309 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 165790290 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23905] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23905/stat : 23905 (java) S 23885 23887 23309 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 165790290 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23906] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23906/stat : 23906 (java) S 23885 23887 23309 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 165790318 1586688000 47086 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5 Current children cumulated vsize (KiB) 1549500 [startup+6.30134 s] /proc/loadavg: 1.93 1.98 1.99 3/197 23906 /proc/meminfo: memFree=31307076/32950928 swapFree=67111528/67111528 [pid=23887] ppid=23885 vsize=1549500 CPUtime=8.37 /proc/23887/stat : 23887 (java) S 23885 23887 23309 0 -1 4202496 53975 0 1 0 827 10 0 0 25 0 19 0 165790286 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/23887/statm: 387375 49127 1444 10 0 384677 0 [pid=23887/tid=23889] ppid=23885 vsize=1549500 CPUtime=6.22 /proc/23887/task/23889/stat : 23889 (java) R 23885 23887 23309 0 -1 4202560 35361 0 1 0 617 5 0 0 25 0 19 0 165790286 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4109472277 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=23887/tid=23890] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23890/stat : 23890 (java) S 23885 23887 23309 0 -1 4202560 592 0 0 0 0 0 0 0 15 0 19 0 165790287 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23891] ppid=23885 vsize=1549500 CPUtime=0.02 /proc/23887/task/23891/stat : 23891 (java) S 23885 23887 23309 0 -1 4202560 1829 0 0 0 2 0 0 0 15 0 19 0 165790287 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23892] ppid=23885 vsize=1549500 CPUtime=0.01 /proc/23887/task/23892/stat : 23892 (java) S 23885 23887 23309 0 -1 4202560 771 0 0 0 1 0 0 0 15 0 19 0 165790287 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23893] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23893/stat : 23893 (java) S 23885 23887 23309 0 -1 4202560 591 0 0 0 0 0 0 0 16 0 19 0 165790287 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23894] ppid=23885 vsize=1549500 CPUtime=0.01 /proc/23887/task/23894/stat : 23894 (java) S 23885 23887 23309 0 -1 4202560 1383 0 0 0 1 0 0 0 15 0 19 0 165790287 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23895] ppid=23885 vsize=1549500 CPUtime=0.02 /proc/23887/task/23895/stat : 23895 (java) S 23885 23887 23309 0 -1 4202560 1316 0 0 0 2 0 0 0 15 0 19 0 165790287 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23896] ppid=23885 vsize=1549500 CPUtime=0.01 /proc/23887/task/23896/stat : 23896 (java) S 23885 23887 23309 0 -1 4202560 875 0 0 0 1 0 0 0 16 0 19 0 165790287 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23897] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23897/stat : 23897 (java) S 23885 23887 23309 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 19 0 165790287 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23898] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23898/stat : 23898 (java) S 23885 23887 23309 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 165790288 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23899] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23899/stat : 23899 (java) S 23885 23887 23309 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 165790288 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23900] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23900/stat : 23900 (java) S 23885 23887 23309 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165790288 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23901] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23901/stat : 23901 (java) S 23885 23887 23309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165790290 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23902] ppid=23885 vsize=1549500 CPUtime=0.99 /proc/23887/task/23902/stat : 23902 (java) S 23885 23887 23309 0 -1 4202560 5463 0 0 0 98 1 0 0 15 0 19 0 165790290 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23903] ppid=23885 vsize=1549500 CPUtime=0.99 /proc/23887/task/23903/stat : 23903 (java) S 23885 23887 23309 0 -1 4202560 3919 0 0 0 99 0 0 0 15 0 19 0 165790290 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 7 0 0 0 [pid=23887/tid=23904] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23904/stat : 23904 (java) S 23885 23887 23309 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 165790290 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23905] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23905/stat : 23905 (java) S 23885 23887 23309 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 165790290 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23906] ppid=23885 vsize=1549500 CPUtime=0 /proc/23887/task/23906/stat : 23906 (java) S 23885 23887 23309 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 165790318 1586688000 49127 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.37 Current children cumulated vsize (KiB) 1549500 [startup+12.7011 s] /proc/loadavg: 1.93 1.98 1.99 3/197 23906 /proc/meminfo: memFree=31279076/32950928 swapFree=67111528/67111528 [pid=23887] ppid=23885 vsize=1549500 CPUtime=14.85 /proc/23887/stat : 23887 (java) S 23885 23887 23309 0 -1 4202496 57094 0 1 0 1474 11 0 0 25 0 19 0 165790286 1586688000 52078 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/23887/statm: 387375 52078 1444 10 0 384677 0 [pid=23887/tid=23889] ppid=23885 vsize=1549500 CPUtime=12.57 /proc/23887/task/23889/stat : 23889 (java) R 23885 23887 23309 0 -1 4202560 35874 0 1 0 1252 5 0 0 25 0 19 0 165790286 1586688000 52078 4089446400 134512640 134550932 4290735264 18446744073709551615 4109472277 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=23887/tid=23890] ppid=23885 vsize=1549500 CPUtime=0.02 /proc/23887/task/23890/stat : 23890 (java) S 23885 23887 23309 0 -1 4202560 976 0 0 0 2 0 0 0 15 0 19 0 165790287 1586688000 52078 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 ################ # More data... # ################ [pid=23887/tid=23895] ppid=23885 vsize=1547800 CPUtime=11.25 /proc/23887/task/23895/stat : 23895 (java) S 23885 23887 23309 0 -1 4202560 9848 0 0 0 967 158 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23896] ppid=23885 vsize=1547800 CPUtime=11.06 /proc/23887/task/23896/stat : 23896 (java) S 23885 23887 23309 0 -1 4202560 10792 0 0 0 935 171 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 3 0 0 0 [pid=23887/tid=23897] ppid=23885 vsize=1547800 CPUtime=11.12 /proc/23887/task/23897/stat : 23897 (java) S 23885 23887 23309 0 -1 4202560 9169 0 0 0 932 180 0 0 15 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 1 0 0 0 [pid=23887/tid=23898] ppid=23885 vsize=1547800 CPUtime=1.67 /proc/23887/task/23898/stat : 23898 (java) R 23885 23887 23309 0 -1 4202560 232 0 0 0 109 58 0 0 16 0 19 0 165790288 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 105886120 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=23887/tid=23899] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23899/stat : 23899 (java) S 23885 23887 23309 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 165790288 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23900] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23900/stat : 23900 (java) S 23885 23887 23309 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165790288 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23901] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23901/stat : 23901 (java) S 23885 23887 23309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23902] ppid=23885 vsize=1547800 CPUtime=1 /proc/23887/task/23902/stat : 23902 (java) S 23885 23887 23309 0 -1 4202560 5467 0 0 0 99 1 0 0 15 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23903] ppid=23885 vsize=1547800 CPUtime=1.1 /proc/23887/task/23903/stat : 23903 (java) S 23885 23887 23309 0 -1 4202560 3921 0 0 0 110 0 0 0 15 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 7 0 0 0 [pid=23887/tid=23904] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23904/stat : 23904 (java) S 23885 23887 23309 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23905] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23905/stat : 23905 (java) S 23885 23887 23309 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23906] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23906/stat : 23906 (java) S 23885 23887 23309 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 165790318 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1618.43 Current children cumulated vsize (KiB) 1547800 [startup+1602.3 s] /proc/loadavg: 2.64 2.16 2.05 3/197 24031 /proc/meminfo: memFree=31032164/32950928 swapFree=67111528/67111528 [pid=23887] ppid=23885 vsize=1547800 CPUtime=1681.15 /proc/23887/stat : 23887 (java) S 23885 23887 23309 0 -1 4202496 130092 0 1 0 166549 1566 0 0 25 0 19 0 165790286 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/23887/statm: 386950 118429 1450 10 0 384252 0 [pid=23887/tid=23889] ppid=23885 vsize=1547800 CPUtime=1583.76 /proc/23887/task/23889/stat : 23889 (java) R 23885 23887 23309 0 -1 4202560 38229 0 1 0 158360 16 0 0 25 0 19 0 165790286 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4109536582 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=23887/tid=23890] ppid=23885 vsize=1547800 CPUtime=11.83 /proc/23887/task/23890/stat : 23890 (java) S 23885 23887 23309 0 -1 4202560 9093 0 0 0 978 205 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23891] ppid=23885 vsize=1547800 CPUtime=11.4 /proc/23887/task/23891/stat : 23891 (java) S 23885 23887 23309 0 -1 4202560 10135 0 0 0 951 189 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23892] ppid=23885 vsize=1547800 CPUtime=11.8 /proc/23887/task/23892/stat : 23892 (java) S 23885 23887 23309 0 -1 4202560 11259 0 0 0 988 192 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 7 0 0 0 [pid=23887/tid=23893] ppid=23885 vsize=1547800 CPUtime=12.01 /proc/23887/task/23893/stat : 23893 (java) S 23885 23887 23309 0 -1 4202560 10180 0 0 0 1009 192 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 3 0 0 0 [pid=23887/tid=23894] ppid=23885 vsize=1547800 CPUtime=11.56 /proc/23887/task/23894/stat : 23894 (java) S 23885 23887 23309 0 -1 4202560 10609 0 0 0 977 179 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23895] ppid=23885 vsize=1547800 CPUtime=11.65 /proc/23887/task/23895/stat : 23895 (java) S 23885 23887 23309 0 -1 4202560 9848 0 0 0 1003 162 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23896] ppid=23885 vsize=1547800 CPUtime=11.47 /proc/23887/task/23896/stat : 23896 (java) S 23885 23887 23309 0 -1 4202560 10792 0 0 0 969 178 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 5 0 0 0 [pid=23887/tid=23897] ppid=23885 vsize=1547800 CPUtime=11.5 /proc/23887/task/23897/stat : 23897 (java) S 23885 23887 23309 0 -1 4202560 9169 0 0 0 964 186 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23898] ppid=23885 vsize=1547800 CPUtime=1.95 /proc/23887/task/23898/stat : 23898 (java) S 23885 23887 23309 0 -1 4202560 236 0 0 0 135 60 0 0 15 0 19 0 165790288 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446604453956968640 0 0 -1 3 0 0 0 [pid=23887/tid=23899] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23899/stat : 23899 (java) S 23885 23887 23309 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 165790288 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23900] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23900/stat : 23900 (java) S 23885 23887 23309 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165790288 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23901] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23901/stat : 23901 (java) S 23885 23887 23309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23902] ppid=23885 vsize=1547800 CPUtime=1 /proc/23887/task/23902/stat : 23902 (java) S 23885 23887 23309 0 -1 4202560 5467 0 0 0 99 1 0 0 15 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23903] ppid=23885 vsize=1547800 CPUtime=1.1 /proc/23887/task/23903/stat : 23903 (java) S 23885 23887 23309 0 -1 4202560 3921 0 0 0 110 0 0 0 15 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 7 0 0 0 [pid=23887/tid=23904] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23904/stat : 23904 (java) S 23885 23887 23309 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23905] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23905/stat : 23905 (java) S 23885 23887 23309 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23906] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23906/stat : 23906 (java) S 23885 23887 23309 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 165790318 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1681.15 Current children cumulated vsize (KiB) 1547800 [startup+1662.3 s] /proc/loadavg: 2.23 2.13 2.04 3/197 24032 /proc/meminfo: memFree=31031508/32950928 swapFree=67111528/67111528 [pid=23887] ppid=23885 vsize=1547800 CPUtime=1744 /proc/23887/stat : 23887 (java) S 23885 23887 23309 0 -1 4202496 130166 0 1 0 172789 1611 0 0 25 0 19 0 165790286 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/23887/statm: 386950 118429 1450 10 0 384252 0 [pid=23887/tid=23889] ppid=23885 vsize=1547800 CPUtime=1643.14 /proc/23887/task/23889/stat : 23889 (java) R 23885 23887 23309 0 -1 4202560 38295 0 1 0 164298 16 0 0 25 0 19 0 165790286 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4109500536 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=23887/tid=23890] ppid=23885 vsize=1547800 CPUtime=12.29 /proc/23887/task/23890/stat : 23890 (java) S 23885 23887 23309 0 -1 4202560 9093 0 0 0 1020 209 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23891] ppid=23885 vsize=1547800 CPUtime=11.83 /proc/23887/task/23891/stat : 23891 (java) S 23885 23887 23309 0 -1 4202560 10135 0 0 0 989 194 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 5 0 0 0 [pid=23887/tid=23892] ppid=23885 vsize=1547800 CPUtime=12.23 /proc/23887/task/23892/stat : 23892 (java) S 23885 23887 23309 0 -1 4202560 11259 0 0 0 1024 199 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 3 0 0 0 [pid=23887/tid=23893] ppid=23885 vsize=1547800 CPUtime=12.43 /proc/23887/task/23893/stat : 23893 (java) S 23885 23887 23309 0 -1 4202560 10180 0 0 0 1047 196 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23894] ppid=23885 vsize=1547800 CPUtime=11.99 /proc/23887/task/23894/stat : 23894 (java) S 23885 23887 23309 0 -1 4202560 10609 0 0 0 1014 185 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 7 0 0 0 [pid=23887/tid=23895] ppid=23885 vsize=1547800 CPUtime=12.07 /proc/23887/task/23895/stat : 23895 (java) S 23885 23887 23309 0 -1 4202560 9848 0 0 0 1041 166 0 0 15 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23896] ppid=23885 vsize=1547800 CPUtime=11.87 /proc/23887/task/23896/stat : 23896 (java) S 23885 23887 23309 0 -1 4202560 10792 0 0 0 1001 186 0 0 15 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23897] ppid=23885 vsize=1547800 CPUtime=11.94 /proc/23887/task/23897/stat : 23897 (java) S 23885 23887 23309 0 -1 4202560 9169 0 0 0 1003 191 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23898] ppid=23885 vsize=1547800 CPUtime=1.96 /proc/23887/task/23898/stat : 23898 (java) S 23885 23887 23309 0 -1 4202560 240 0 0 0 135 61 0 0 15 0 19 0 165790288 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23899] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23899/stat : 23899 (java) S 23885 23887 23309 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 165790288 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23900] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23900/stat : 23900 (java) S 23885 23887 23309 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165790288 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23901] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23901/stat : 23901 (java) S 23885 23887 23309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23902] ppid=23885 vsize=1547800 CPUtime=1 /proc/23887/task/23902/stat : 23902 (java) S 23885 23887 23309 0 -1 4202560 5467 0 0 0 99 1 0 0 15 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23903] ppid=23885 vsize=1547800 CPUtime=1.1 /proc/23887/task/23903/stat : 23903 (java) S 23885 23887 23309 0 -1 4202560 3921 0 0 0 110 0 0 0 15 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 7 0 0 0 [pid=23887/tid=23904] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23904/stat : 23904 (java) S 23885 23887 23309 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23905] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23905/stat : 23905 (java) S 23885 23887 23309 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 7 0 0 0 [pid=23887/tid=23906] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23906/stat : 23906 (java) S 23885 23887 23309 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 165790318 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1744 Current children cumulated vsize (KiB) 1547800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1715.6 s] /proc/loadavg: 2.09 2.11 2.04 3/197 24034 /proc/meminfo: memFree=31030612/32950928 swapFree=67111528/67111528 [pid=23887] ppid=23885 vsize=1547800 CPUtime=1800.05 /proc/23887/stat : 23887 (java) S 23885 23887 23309 0 -1 4202496 130232 0 1 0 178342 1663 0 0 25 0 19 0 165790286 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/23887/statm: 386950 118429 1450 10 0 384252 0 [pid=23887/tid=23889] ppid=23885 vsize=1547800 CPUtime=1695.82 /proc/23887/task/23889/stat : 23889 (java) R 23885 23887 23309 0 -1 4202560 38357 0 1 0 169566 16 0 0 25 0 19 0 165790286 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4109540467 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=23887/tid=23890] ppid=23885 vsize=1547800 CPUtime=12.73 /proc/23887/task/23890/stat : 23890 (java) S 23885 23887 23309 0 -1 4202560 9093 0 0 0 1059 214 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23891] ppid=23885 vsize=1547800 CPUtime=12.28 /proc/23887/task/23891/stat : 23891 (java) S 23885 23887 23309 0 -1 4202560 10135 0 0 0 1024 204 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 5 0 0 0 [pid=23887/tid=23892] ppid=23885 vsize=1547800 CPUtime=12.67 /proc/23887/task/23892/stat : 23892 (java) S 23885 23887 23309 0 -1 4202560 11259 0 0 0 1059 208 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 7 0 0 0 [pid=23887/tid=23893] ppid=23885 vsize=1547800 CPUtime=12.87 /proc/23887/task/23893/stat : 23893 (java) S 23885 23887 23309 0 -1 4202560 10180 0 0 0 1085 202 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23894] ppid=23885 vsize=1547800 CPUtime=12.41 /proc/23887/task/23894/stat : 23894 (java) S 23885 23887 23309 0 -1 4202560 10609 0 0 0 1048 193 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 3 0 0 0 [pid=23887/tid=23895] ppid=23885 vsize=1547800 CPUtime=12.48 /proc/23887/task/23895/stat : 23895 (java) S 23885 23887 23309 0 -1 4202560 9848 0 0 0 1077 171 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23896] ppid=23885 vsize=1547800 CPUtime=12.21 /proc/23887/task/23896/stat : 23896 (java) S 23885 23887 23309 0 -1 4202560 10792 0 0 0 1031 190 0 0 15 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 5 0 0 0 [pid=23887/tid=23897] ppid=23885 vsize=1547800 CPUtime=12.35 /proc/23887/task/23897/stat : 23897 (java) S 23885 23887 23309 0 -1 4202560 9169 0 0 0 1040 195 0 0 16 0 19 0 165790287 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23898] ppid=23885 vsize=1547800 CPUtime=2 /proc/23887/task/23898/stat : 23898 (java) S 23885 23887 23309 0 -1 4202560 242 0 0 0 136 64 0 0 15 0 19 0 165790288 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 0 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 [pid=23887/tid=23899] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23899/stat : 23899 (java) S 23885 23887 23309 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 165790288 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23900] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23900/stat : 23900 (java) S 23885 23887 23309 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165790288 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 4 0 0 0 [pid=23887/tid=23901] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23901/stat : 23901 (java) S 23885 23887 23309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23902] ppid=23885 vsize=1547800 CPUtime=1 /proc/23887/task/23902/stat : 23902 (java) S 23885 23887 23309 0 -1 4202560 5467 0 0 0 99 1 0 0 15 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 2 0 0 0 [pid=23887/tid=23903] ppid=23885 vsize=1547800 CPUtime=1.1 /proc/23887/task/23903/stat : 23903 (java) S 23885 23887 23309 0 -1 4202560 3921 0 0 0 110 0 0 0 15 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 7 0 0 0 [pid=23887/tid=23904] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23904/stat : 23904 (java) S 23885 23887 23309 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 6 0 0 0 [pid=23887/tid=23905] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23905/stat : 23905 (java) S 23885 23887 23309 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 165790290 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 7 0 0 0 [pid=23887/tid=23906] ppid=23885 vsize=1547800 CPUtime=0 /proc/23887/task/23906/stat : 23906 (java) S 23885 23887 23309 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 165790318 1584947200 118429 4089446400 134512640 134550932 4290735264 18446744073709551615 4294960144 0 4 0 16800975 18446604453956968640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1547800 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): 1715.68 CPU time (s): 1800.17 CPU user time (s): 1783.51 CPU system time (s): 16.6575 CPU usage (%): 104.925 Max. virtual memory (cumulated for all children) (KiB): 1550568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.51 system time used= 16.6575 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 130256 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= 108537 involuntary context switches= 4109033 runsolver used 2.95955 second user time and 6.65099 second system time The end
Begin job on node115 at 2010-06-30 14:44:32 IDJOB=2692119 IDBENCH=78895 IDSOLVER=1203 FILE ID=node115/2692119-1277901872 PBS_JOBID= 11197177 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.1900561288--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-2692119-1277901872/watcher-2692119-1277901872 -o /tmp/evaluation-result-2692119-1277901872/solver-2692119-1277901872 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692119-1277901872.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 83dbd2cd2ef615ae6bc4c3ab9b5ef9b9 RANDOM SEED=696979924 node115.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.796 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.59 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.796 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.08 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.796 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.796 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.76 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.796 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.82 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.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 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.796 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31513084 kB Buffers: 187812 kB Cached: 930456 kB SwapCached: 0 kB Active: 634096 kB Inactive: 661848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31513084 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 504 kB Writeback: 0 kB AnonPages: 177444 kB Mapped: 15084 kB Slab: 77740 kB PageTables: 4880 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 321712 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 node115 at 2010-06-30 15:13:10