Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.16 | 1713.46 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-66-100-0.wbo |
MD5SUM | d542ebd8fdf9cdf1064a589ed9ad7045 |
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 | 6 |
Best CPU time to get the best result obtained on this benchmark | 341.652 |
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 | 930 |
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 | 46532 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46531 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 801 |
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.04/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.06 c See www.sat4j.org for details. 0.04/0.07 c version 2.2.0.v20100526 0.04/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.04/0.07 c java.vm.version 11.2-b01 0.04/0.07 c java.vm.vendor Sun Microsystems Inc. 0.04/0.07 c sun.arch.data.model 32 0.04/0.07 c java.version 1.6.0_12 0.04/0.07 c os.name Linux 0.04/0.07 c os.version 2.6.18-164.el5 0.04/0.07 c os.arch i386 0.04/0.07 c Free memory 1393557488 0.04/0.07 c Max memory 1395916800 0.04/0.07 c Total memory 1395916800 0.04/0.07 c Number of processors 8 0.04/0.10 c Pseudo Boolean Optimization 0.04/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.04/0.10 c --- Begin Solver configuration --- 0.04/0.10 c Stops conflict analysis at the first Unique Implication Point 0.04/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1b16e52 0.04/0.10 c Learn all clauses as in MiniSAT 0.04/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.04/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.04/0.10 c No reason simplification 0.04/0.10 c Armin Biere (Picosat) restarts strategy 0.04/0.10 c Glucose learned constraints deletion strategy 0.04/0.10 c timeout=2147483s 0.04/0.10 c DB Simplification allowed=false 0.04/0.10 c --- End Solver configuration --- 0.04/0.10 c solving HOME/instance-2692281-1277910647.wbo 0.04/0.10 c reading problem ... 0.28/0.29 c ... done. Wall clock time 0.19s. 0.28/0.29 c #vars 1161 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 => 150 0.28/0.29 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1621 0.28/0.29 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 935 0.28/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.86/1.32 c SATISFIABLE 2.86/1.32 c OPTIMIZING... 2.86/1.32 c Got one! Elapsed wall clock time (in seconds):1.22 2.86/1.32 o 409 3.36/1.64 c Got one! Elapsed wall clock time (in seconds):1.543 3.36/1.64 o 404 7.39/5.50 c Got one! Elapsed wall clock time (in seconds):5.4 7.39/5.50 o 377 15.38/13.32 c Got one! Elapsed wall clock time (in seconds):13.224 15.38/13.32 o 372 24.81/22.59 c Got one! Elapsed wall clock time (in seconds):22.494 24.81/22.59 o 324 32.15/29.76 c Got one! Elapsed wall clock time (in seconds):29.664 32.15/29.76 o 271 38.55/36.03 c Got one! Elapsed wall clock time (in seconds):35.935 38.55/36.03 o 265 57.72/54.88 c cleaning 0 clauses out of 5000 with flag 0/5000 59.01/56.07 c Got one! Elapsed wall clock time (in seconds):55.979 59.01/56.07 o 264 78.80/75.44 c Got one! Elapsed wall clock time (in seconds):75.341 78.80/75.44 o 212 153.99/148.89 c Got one! Elapsed wall clock time (in seconds):148.794 153.99/148.89 o 133 387.28/373.52 c cleaning 0 clauses out of 11001 with flag 0/11001 1238.42/1180.67 c cleaning 0 clauses out of 18005 with flag 0/18005 1800.09/1713.41 c starts : 55 1800.09/1713.41 c conflicts : 21036 1800.09/1713.41 c decisions : 65880 1800.09/1713.41 c propagations : 1789237 1800.09/1713.41 c inspects : 1741305631 1800.09/1713.41 c learnt literals : 0 1800.09/1713.41 c learnt binary clauses : 0 1800.09/1713.41 c learnt ternary clauses : 0 1800.09/1713.41 c learnt clauses : 21036 1800.09/1713.41 c ignored clauses : 0 1800.09/1713.41 c root simplifications : 0 1800.09/1713.41 c removed literals (reason simplification) : 0 1800.09/1713.41 c reason swapping (by a shorter reason) : 0 1800.09/1713.41 c Calls to reduceDB : 3 1800.09/1713.41 c number of reductions to clauses (during analyze) : 0 1800.09/1713.41 c number of learned constraints concerned by reduction : 0 1800.09/1713.41 c number of learning phase by resolution : 0 1800.09/1713.41 c number of learning phase by cutting planes : 0 1800.09/1713.41 c speed (assignments/second) : 1143.6339219913596 1800.09/1713.41 c non guided choices 1158 1800.09/1713.42 c learnt constraints type 1800.09/1713.42 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 106 1800.09/1713.42 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 9 1800.09/1713.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 20921 1800.09/1713.42 c constraints type 1800.09/1713.42 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 150 1800.09/1713.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1621 1800.09/1713.42 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 935 1800.09/1713.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.09/1713.42 s SATISFIABLE 1800.09/1713.42 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.09/1713.42 c objective function=133 1800.09/1713.42 c Total wall clock time (in seconds): 1713.329
OK 133
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692281-1277910647/watcher-2692281-1277910647 -o /tmp/evaluation-result-2692281-1277910647/solver-2692281-1277910647 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692281-1277910647.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.01 2.00 2.00 2/178 13066 /proc/meminfo: memFree=31604436/32950928 swapFree=67111528/67111528 [pid=13066] ppid=13064 vsize=13164 CPUtime=0 /proc/13066/stat : 13066 (java) R 13064 13066 11577 0 -1 4194304 645 0 0 0 0 0 0 0 25 0 1 0 132361629 13479936 279 4089446400 134512640 134550932 4287210400 18446744073709551615 9660027 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13066/statm: 3291 286 142 10 0 1121 0 [startup+0.064929 s] /proc/loadavg: 2.01 2.00 2.00 2/178 13066 /proc/meminfo: memFree=31604436/32950928 swapFree=67111528/67111528 [pid=13066] ppid=13064 vsize=1527800 CPUtime=0.04 /proc/13066/stat : 13066 (java) S 13064 13066 11577 0 -1 4202496 4228 0 1 0 4 0 0 0 25 0 18 0 132361629 1564467200 3666 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13066/statm: 381950 3666 1090 10 0 379252 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1527800 [startup+0.100922 s] /proc/loadavg: 2.01 2.00 2.00 2/178 13066 /proc/meminfo: memFree=31604436/32950928 swapFree=67111528/67111528 [pid=13066] ppid=13064 vsize=1529948 CPUtime=0.11 /proc/13066/stat : 13066 (java) S 13064 13066 11577 0 -1 4202496 5234 0 1 0 11 0 0 0 25 0 18 0 132361629 1566666752 4670 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13066/statm: 382487 4670 1349 10 0 379789 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529948 [startup+0.300887 s] /proc/loadavg: 2.01 2.00 2.00 2/178 13066 /proc/meminfo: memFree=31604436/32950928 swapFree=67111528/67111528 [pid=13066] ppid=13064 vsize=1532108 CPUtime=0.52 /proc/13066/stat : 13066 (java) S 13064 13066 11577 0 -1 4202496 7548 0 1 0 51 1 0 0 25 0 18 0 132361629 1568878592 6872 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13066/statm: 383027 6872 1411 10 0 380329 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 1532108 [startup+0.70082 s] /proc/loadavg: 2.01 2.00 2.00 2/178 13066 /proc/meminfo: memFree=31604436/32950928 swapFree=67111528/67111528 [pid=13066] ppid=13064 vsize=1548836 CPUtime=1.65 /proc/13066/stat : 13066 (java) S 13064 13066 11577 0 -1 4202496 19177 0 1 0 162 3 0 0 25 0 19 0 132361629 1586008064 15757 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13066/statm: 387209 15759 1419 10 0 384511 0 Current children cumulated CPU time (s) 1.65 Current children cumulated vsize (KiB) 1548836 [startup+1.50074 s] /proc/loadavg: 2.01 2.00 2.00 4/197 13085 /proc/meminfo: memFree=31462080/32950928 swapFree=67111528/67111528 [pid=13066] ppid=13064 vsize=1548680 CPUtime=3.13 /proc/13066/stat : 13066 (java) S 13064 13066 11577 0 -1 4202496 42790 0 1 0 308 5 0 0 25 0 19 0 132361629 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13066/statm: 387170 39045 1437 10 0 384472 0 [pid=13066/tid=13068] ppid=13064 vsize=1548680 CPUtime=1.47 /proc/13066/task/13068/stat : 13068 (java) R 13064 13066 11577 0 -1 4202560 32099 0 1 0 144 3 0 0 19 0 19 0 132361630 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4108961613 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=13066/tid=13069] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13069/stat : 13069 (java) S 13064 13066 11577 0 -1 4202560 233 0 0 0 0 0 0 0 15 0 19 0 132361630 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13070] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13070/stat : 13070 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132361630 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13071] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13071/stat : 13071 (java) S 13064 13066 11577 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 132361630 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 0 0 0 0 [pid=13066/tid=13072] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13072/stat : 13072 (java) S 13064 13066 11577 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 132361630 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13073] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13073/stat : 13073 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132361630 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 4 0 0 0 [pid=13066/tid=13074] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13074/stat : 13074 (java) S 13064 13066 11577 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 19 0 132361630 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 0 0 0 0 [pid=13066/tid=13075] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13075/stat : 13075 (java) S 13064 13066 11577 0 -1 4202560 353 0 0 0 0 0 0 0 15 0 19 0 132361630 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 4 0 0 0 [pid=13066/tid=13076] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13076/stat : 13076 (java) S 13064 13066 11577 0 -1 4202560 395 0 0 0 0 0 0 0 15 0 19 0 132361630 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13077] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13077/stat : 13077 (java) S 13064 13066 11577 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 132361631 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13078] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13078/stat : 13078 (java) S 13064 13066 11577 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132361632 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13079] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13079/stat : 13079 (java) S 13064 13066 11577 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132361632 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13080] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13080/stat : 13080 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132361634 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13081] ppid=13064 vsize=1548680 CPUtime=0.82 /proc/13066/task/13081/stat : 13081 (java) S 13064 13066 11577 0 -1 4202560 4350 0 0 0 82 0 0 0 21 0 19 0 132361634 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13082] ppid=13064 vsize=1548680 CPUtime=0.81 /proc/13066/task/13082/stat : 13082 (java) S 13064 13066 11577 0 -1 4202560 4254 0 0 0 80 1 0 0 15 0 19 0 132361634 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 7 0 0 0 [pid=13066/tid=13083] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13083/stat : 13083 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132361634 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13084] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13084/stat : 13084 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132361634 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 3 0 0 0 [pid=13066/tid=13085] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13085/stat : 13085 (java) S 13064 13066 11577 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 132361661 1585848320 39045 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.13 Current children cumulated vsize (KiB) 1548680 [startup+3.10139 s] /proc/loadavg: 2.01 2.00 2.00 3/197 13085 /proc/meminfo: memFree=31449804/32950928 swapFree=67111528/67111528 [pid=13066] ppid=13064 vsize=1548680 CPUtime=5.03 /proc/13066/stat : 13066 (java) S 13064 13066 11577 0 -1 4202496 52371 0 1 0 496 7 0 0 25 0 19 0 132361629 1585848320 47537 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13066/statm: 387170 47542 1444 10 0 384472 0 [pid=13066/tid=13068] ppid=13064 vsize=1548680 CPUtime=3.05 /proc/13066/task/13068/stat : 13068 (java) S 13064 13066 11577 0 -1 4202560 36845 0 1 0 301 4 0 0 22 0 19 0 132361630 1585848320 47544 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 0 0 0 0 [pid=13066/tid=13069] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13069/stat : 13069 (java) S 13064 13066 11577 0 -1 4202560 561 0 0 0 0 0 0 0 15 0 19 0 132361630 1585848320 47548 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13070] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13070/stat : 13070 (java) R 13064 13066 11577 0 -1 4202560 206 0 0 0 0 0 0 0 15 0 19 0 132361630 1585848320 47551 4089446400 134512640 134550932 4287210400 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13066/tid=13071] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13071/stat : 13071 (java) R 13064 13066 11577 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 19 0 132361630 1585848320 47556 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13066/tid=13072] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13072/stat : 13072 (java) S 13064 13066 11577 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 132361630 1585848320 47560 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13073] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13073/stat : 13073 (java) R 13064 13066 11577 0 -1 4202560 331 0 0 0 0 0 0 0 15 0 19 0 132361630 1585848320 47563 4089446400 134512640 134550932 4287210400 18446744073709551615 106195391 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=13066/tid=13074] ppid=13064 vsize=1548680 CPUtime=0.01 /proc/13066/task/13074/stat : 13074 (java) R 13064 13066 11577 0 -1 4202560 791 0 0 0 1 0 0 0 15 0 19 0 132361630 1585848320 47566 4089446400 134512640 134550932 4287210400 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13066/tid=13075] ppid=13064 vsize=1548680 CPUtime=0.01 /proc/13066/task/13075/stat : 13075 (java) R 13064 13066 11577 0 -1 4202560 1479 0 0 0 1 0 0 0 15 0 19 0 132361630 1585848320 47570 4089446400 134512640 134550932 4287210400 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13066/tid=13076] ppid=13064 vsize=1548680 CPUtime=0.01 /proc/13066/task/13076/stat : 13076 (java) R 13064 13066 11577 0 -1 4202560 1316 0 0 0 1 0 0 0 15 0 19 0 132361630 1585848320 47573 4089446400 134512640 134550932 4287210400 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=13066/tid=13077] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13077/stat : 13077 (java) S 13064 13066 11577 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 132361631 1585848320 47577 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13078] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13078/stat : 13078 (java) S 13064 13066 11577 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132361632 1585848320 47581 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13079] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13079/stat : 13079 (java) S 13064 13066 11577 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132361632 1585848320 47586 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13080] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13080/stat : 13080 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132361634 1585848320 47591 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13081] ppid=13064 vsize=1548680 CPUtime=0.98 /proc/13066/task/13081/stat : 13081 (java) S 13064 13066 11577 0 -1 4202560 4368 0 0 0 98 0 0 0 15 0 19 0 132361634 1585848320 47596 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13082] ppid=13064 vsize=1548680 CPUtime=0.9 /proc/13066/task/13082/stat : 13082 (java) S 13064 13066 11577 0 -1 4202560 5222 0 0 0 89 1 0 0 15 0 19 0 132361634 1585848320 47599 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 7 0 0 0 [pid=13066/tid=13083] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13083/stat : 13083 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132361634 1585848320 47604 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13084] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13084/stat : 13084 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132361634 1585848320 47609 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 3 0 0 0 [pid=13066/tid=13085] ppid=13064 vsize=1548680 CPUtime=0 /proc/13066/task/13085/stat : 13085 (java) S 13064 13066 11577 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 132361661 1585848320 47613 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.03 Current children cumulated vsize (KiB) 1548680 [startup+6.30083 s] /proc/loadavg: 2.01 2.00 2.00 3/197 13085 /proc/meminfo: memFree=31414952/32950928 swapFree=67111528/67111528 [pid=13066] ppid=13064 vsize=1547856 CPUtime=8.3 /proc/13066/stat : 13066 (java) S 13064 13066 11577 0 -1 4202496 54021 0 1 0 823 7 0 0 25 0 19 0 132361629 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13066/statm: 386964 48794 1444 10 0 384266 0 [pid=13066/tid=13068] ppid=13064 vsize=1547856 CPUtime=6.24 /proc/13066/task/13068/stat : 13068 (java) R 13064 13066 11577 0 -1 4202560 36855 0 1 0 620 4 0 0 25 0 19 0 132361630 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4109047492 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13066/tid=13069] ppid=13064 vsize=1547856 CPUtime=0.01 /proc/13066/task/13069/stat : 13069 (java) S 13064 13066 11577 0 -1 4202560 667 0 0 0 1 0 0 0 15 0 19 0 132361630 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 0 0 0 0 [pid=13066/tid=13070] ppid=13064 vsize=1547856 CPUtime=0 /proc/13066/task/13070/stat : 13070 (java) S 13064 13066 11577 0 -1 4202560 364 0 0 0 0 0 0 0 15 0 19 0 132361630 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 1 0 0 0 [pid=13066/tid=13071] ppid=13064 vsize=1547856 CPUtime=0.01 /proc/13066/task/13071/stat : 13071 (java) S 13064 13066 11577 0 -1 4202560 486 0 0 0 1 0 0 0 16 0 19 0 132361630 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 7 0 0 0 [pid=13066/tid=13072] ppid=13064 vsize=1547856 CPUtime=0 /proc/13066/task/13072/stat : 13072 (java) S 13064 13066 11577 0 -1 4202560 339 0 0 0 0 0 0 0 16 0 19 0 132361630 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 4 0 0 0 [pid=13066/tid=13073] ppid=13064 vsize=1547856 CPUtime=0 /proc/13066/task/13073/stat : 13073 (java) S 13064 13066 11577 0 -1 4202560 435 0 0 0 0 0 0 0 15 0 19 0 132361630 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13074] ppid=13064 vsize=1547856 CPUtime=0.02 /proc/13066/task/13074/stat : 13074 (java) S 13064 13066 11577 0 -1 4202560 1007 0 0 0 2 0 0 0 15 0 19 0 132361630 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 0 0 0 0 [pid=13066/tid=13075] ppid=13064 vsize=1547856 CPUtime=0.02 /proc/13066/task/13075/stat : 13075 (java) S 13064 13066 11577 0 -1 4202560 1692 0 0 0 2 0 0 0 16 0 19 0 132361630 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 0 0 0 0 [pid=13066/tid=13076] ppid=13064 vsize=1547856 CPUtime=0.01 /proc/13066/task/13076/stat : 13076 (java) S 13064 13066 11577 0 -1 4202560 1487 0 0 0 1 0 0 0 15 0 19 0 132361630 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 4 0 0 0 [pid=13066/tid=13077] ppid=13064 vsize=1547856 CPUtime=0 /proc/13066/task/13077/stat : 13077 (java) S 13064 13066 11577 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 132361631 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13078] ppid=13064 vsize=1547856 CPUtime=0 /proc/13066/task/13078/stat : 13078 (java) S 13064 13066 11577 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132361632 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13079] ppid=13064 vsize=1547856 CPUtime=0 /proc/13066/task/13079/stat : 13079 (java) S 13064 13066 11577 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132361632 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13080] ppid=13064 vsize=1547856 CPUtime=0 /proc/13066/task/13080/stat : 13080 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132361634 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13081] ppid=13064 vsize=1547856 CPUtime=1.01 /proc/13066/task/13081/stat : 13081 (java) S 13064 13066 11577 0 -1 4202560 4371 0 0 0 101 0 0 0 15 0 19 0 132361634 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13082] ppid=13064 vsize=1547856 CPUtime=0.9 /proc/13066/task/13082/stat : 13082 (java) S 13064 13066 11577 0 -1 4202560 5222 0 0 0 89 1 0 0 15 0 19 0 132361634 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 7 0 0 0 [pid=13066/tid=13083] ppid=13064 vsize=1547856 CPUtime=0 /proc/13066/task/13083/stat : 13083 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132361634 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13084] ppid=13064 vsize=1547856 CPUtime=0 /proc/13066/task/13084/stat : 13084 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132361634 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 1 0 0 0 [pid=13066/tid=13085] ppid=13064 vsize=1547856 CPUtime=0 /proc/13066/task/13085/stat : 13085 (java) S 13064 13066 11577 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 132361661 1585004544 48794 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 8.3 Current children cumulated vsize (KiB) 1547856 [startup+12.7007 s] /proc/loadavg: 2.01 2.00 2.00 3/197 13085 /proc/meminfo: memFree=31407748/32950928 swapFree=67111528/67111528 [pid=13066] ppid=13064 vsize=1546480 CPUtime=14.78 /proc/13066/stat : 13066 (java) S 13064 13066 11577 0 -1 4202496 56126 0 1 0 1470 8 0 0 25 0 19 0 132361629 1583595520 50391 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13066/statm: 386620 50391 1444 10 0 383922 0 [pid=13066/tid=13068] ppid=13064 vsize=1546480 CPUtime=12.61 /proc/13066/task/13068/stat : 13068 (java) R 13064 13066 11577 0 -1 4202560 37161 0 1 0 1257 4 0 0 25 0 19 0 132361630 1583595520 50391 4089446400 134512640 134550932 4287210400 18446744073709551615 4109009945 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13066/tid=13069] ppid=13064 vsize=1546480 CPUtime=0.02 /proc/13066/task/13069/stat : 13069 (java) S 13064 13066 11577 0 -1 4202560 878 0 0 0 2 0 0 0 15 0 19 0 132361630 1583595520 50391 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 ################ # More data... # ################ [pid=13066/tid=13074] ppid=13064 vsize=1547504 CPUtime=11.41 /proc/13066/task/13074/stat : 13074 (java) S 13064 13066 11577 0 -1 4202560 8465 0 0 0 967 174 0 0 16 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 4 0 0 0 [pid=13066/tid=13075] ppid=13064 vsize=1547504 CPUtime=11.51 /proc/13066/task/13075/stat : 13075 (java) S 13064 13066 11577 0 -1 4202560 7823 0 0 0 950 201 0 0 15 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 4 0 0 0 [pid=13066/tid=13076] ppid=13064 vsize=1547504 CPUtime=11.66 /proc/13066/task/13076/stat : 13076 (java) S 13064 13066 11577 0 -1 4202560 8797 0 0 0 993 173 0 0 15 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 4 0 0 0 [pid=13066/tid=13077] ppid=13064 vsize=1547504 CPUtime=1.11 /proc/13066/task/13077/stat : 13077 (java) S 13064 13066 11577 0 -1 4202560 192 0 0 0 87 24 0 0 15 0 19 0 132361631 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13078] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13078/stat : 13078 (java) S 13064 13066 11577 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132361632 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13079] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13079/stat : 13079 (java) S 13064 13066 11577 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132361632 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13080] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13080/stat : 13080 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13081] ppid=13064 vsize=1547504 CPUtime=1.15 /proc/13066/task/13081/stat : 13081 (java) S 13064 13066 11577 0 -1 4202560 4381 0 0 0 115 0 0 0 15 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13082] ppid=13064 vsize=1547504 CPUtime=0.99 /proc/13066/task/13082/stat : 13082 (java) S 13064 13066 11577 0 -1 4202560 5231 0 0 0 98 1 0 0 15 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 7 0 0 0 [pid=13066/tid=13083] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13083/stat : 13083 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13084] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13084/stat : 13084 (java) S 13064 13066 11577 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13085] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13085/stat : 13085 (java) S 13064 13066 11577 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 132361661 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1621.32 Current children cumulated vsize (KiB) 1547504 [startup+1602.3 s] /proc/loadavg: 3.07 2.38 2.17 4/218 13265 /proc/meminfo: memFree=30980780/32950928 swapFree=67111528/67111528 [pid=13066] ppid=13064 vsize=1547504 CPUtime=1683.91 /proc/13066/stat : 13066 (java) S 13064 13066 11577 0 -1 4202496 112088 0 1 0 166846 1545 0 0 25 0 19 0 132361629 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13066/statm: 386876 101415 1450 10 0 384178 0 [pid=13066/tid=13068] ppid=13064 vsize=1547504 CPUtime=1584.93 /proc/13066/task/13068/stat : 13068 (java) R 13064 13066 11577 0 -1 4202560 39646 0 1 0 158483 10 0 0 25 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4109047340 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=13066/tid=13069] ppid=13064 vsize=1547504 CPUtime=12 /proc/13066/task/13069/stat : 13069 (java) S 13064 13066 11577 0 -1 4202560 7232 0 0 0 1012 188 0 0 15 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 3 0 0 0 [pid=13066/tid=13070] ppid=13064 vsize=1547504 CPUtime=12.05 /proc/13066/task/13070/stat : 13070 (java) S 13064 13066 11577 0 -1 4202560 7451 0 0 0 999 206 0 0 16 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 5 0 0 0 [pid=13066/tid=13071] ppid=13064 vsize=1547504 CPUtime=11.87 /proc/13066/task/13071/stat : 13071 (java) S 13064 13066 11577 0 -1 4202560 7580 0 0 0 1007 180 0 0 16 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13072] ppid=13064 vsize=1547504 CPUtime=12.16 /proc/13066/task/13072/stat : 13072 (java) S 13064 13066 11577 0 -1 4202560 6881 0 0 0 1026 190 0 0 16 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 4 0 0 0 [pid=13066/tid=13073] ppid=13064 vsize=1547504 CPUtime=11.81 /proc/13066/task/13073/stat : 13073 (java) S 13064 13066 11577 0 -1 4202560 7248 0 0 0 998 183 0 0 15 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 3 0 0 0 [pid=13066/tid=13074] ppid=13064 vsize=1547504 CPUtime=11.76 /proc/13066/task/13074/stat : 13074 (java) S 13064 13066 11577 0 -1 4202560 8465 0 0 0 998 178 0 0 15 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13075] ppid=13064 vsize=1547504 CPUtime=11.91 /proc/13066/task/13075/stat : 13075 (java) S 13064 13066 11577 0 -1 4202560 7823 0 0 0 987 204 0 0 16 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13076] ppid=13064 vsize=1547504 CPUtime=12.06 /proc/13066/task/13076/stat : 13076 (java) S 13064 13066 11577 0 -1 4202560 8797 0 0 0 1031 175 0 0 16 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 0 0 0 0 [pid=13066/tid=13077] ppid=13064 vsize=1547504 CPUtime=1.11 /proc/13066/task/13077/stat : 13077 (java) S 13064 13066 11577 0 -1 4202560 194 0 0 0 87 24 0 0 15 0 19 0 132361631 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13078] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13078/stat : 13078 (java) S 13064 13066 11577 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132361632 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13079] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13079/stat : 13079 (java) S 13064 13066 11577 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132361632 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13080] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13080/stat : 13080 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13081] ppid=13064 vsize=1547504 CPUtime=1.15 /proc/13066/task/13081/stat : 13081 (java) S 13064 13066 11577 0 -1 4202560 4381 0 0 0 115 0 0 0 15 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13082] ppid=13064 vsize=1547504 CPUtime=0.99 /proc/13066/task/13082/stat : 13082 (java) S 13064 13066 11577 0 -1 4202560 5231 0 0 0 98 1 0 0 15 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 7 0 0 0 [pid=13066/tid=13083] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13083/stat : 13083 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13084] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13084/stat : 13084 (java) S 13064 13066 11577 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13085] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13085/stat : 13085 (java) S 13064 13066 11577 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 132361661 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1683.91 Current children cumulated vsize (KiB) 1547504 [startup+1662.3 s] /proc/loadavg: 3.11 2.53 2.23 4/218 13267 /proc/meminfo: memFree=30963976/32950928 swapFree=67111528/67111528 [pid=13066] ppid=13064 vsize=1547504 CPUtime=1746.5 /proc/13066/stat : 13066 (java) S 13064 13066 11577 0 -1 4202496 112163 0 1 0 173076 1574 0 0 25 0 19 0 132361629 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13066/statm: 386876 101415 1450 10 0 384178 0 [pid=13066/tid=13068] ppid=13064 vsize=1547504 CPUtime=1644.32 /proc/13066/task/13068/stat : 13068 (java) R 13064 13066 11577 0 -1 4202560 39713 0 1 0 164421 11 0 0 25 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4109009815 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=13066/tid=13069] ppid=13064 vsize=1547504 CPUtime=12.41 /proc/13066/task/13069/stat : 13069 (java) S 13064 13066 11577 0 -1 4202560 7232 0 0 0 1051 190 0 0 15 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 4 0 0 0 [pid=13066/tid=13070] ppid=13064 vsize=1547504 CPUtime=12.49 /proc/13066/task/13070/stat : 13070 (java) S 13064 13066 11577 0 -1 4202560 7451 0 0 0 1038 211 0 0 16 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 1 0 0 0 [pid=13066/tid=13071] ppid=13064 vsize=1547504 CPUtime=12.21 /proc/13066/task/13071/stat : 13071 (java) S 13064 13066 11577 0 -1 4202560 7580 0 0 0 1037 184 0 0 16 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 0 0 0 0 [pid=13066/tid=13072] ppid=13064 vsize=1547504 CPUtime=12.58 /proc/13066/task/13072/stat : 13072 (java) S 13064 13066 11577 0 -1 4202560 6881 0 0 0 1065 193 0 0 16 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 5 0 0 0 [pid=13066/tid=13073] ppid=13064 vsize=1547504 CPUtime=12.22 /proc/13066/task/13073/stat : 13073 (java) S 13064 13066 11577 0 -1 4202560 7248 0 0 0 1034 188 0 0 16 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 1 0 0 0 [pid=13066/tid=13074] ppid=13064 vsize=1547504 CPUtime=12.14 /proc/13066/task/13074/stat : 13074 (java) S 13064 13066 11577 0 -1 4202560 8465 0 0 0 1033 181 0 0 16 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 4 0 0 0 [pid=13066/tid=13075] ppid=13064 vsize=1547504 CPUtime=12.29 /proc/13066/task/13075/stat : 13075 (java) S 13064 13066 11577 0 -1 4202560 7823 0 0 0 1023 206 0 0 16 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13076] ppid=13064 vsize=1547504 CPUtime=12.47 /proc/13066/task/13076/stat : 13076 (java) S 13064 13066 11577 0 -1 4202560 8797 0 0 0 1069 178 0 0 16 0 19 0 132361630 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13077] ppid=13064 vsize=1547504 CPUtime=1.11 /proc/13066/task/13077/stat : 13077 (java) S 13064 13066 11577 0 -1 4202560 198 0 0 0 87 24 0 0 15 0 19 0 132361631 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13078] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13078/stat : 13078 (java) S 13064 13066 11577 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132361632 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13079] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13079/stat : 13079 (java) S 13064 13066 11577 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132361632 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13080] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13080/stat : 13080 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13081] ppid=13064 vsize=1547504 CPUtime=1.15 /proc/13066/task/13081/stat : 13081 (java) S 13064 13066 11577 0 -1 4202560 4381 0 0 0 115 0 0 0 15 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13082] ppid=13064 vsize=1547504 CPUtime=0.99 /proc/13066/task/13082/stat : 13082 (java) S 13064 13066 11577 0 -1 4202560 5231 0 0 0 98 1 0 0 15 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 7 0 0 0 [pid=13066/tid=13083] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13083/stat : 13083 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13084] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13084/stat : 13084 (java) S 13064 13066 11577 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 132361634 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 4 0 0 0 [pid=13066/tid=13085] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13085/stat : 13085 (java) S 13064 13066 11577 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 132361661 1584644096 101415 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1746.5 Current children cumulated vsize (KiB) 1547504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1713.4 s] /proc/loadavg: 3.00 2.59 2.26 3/218 13268 /proc/meminfo: memFree=30949400/32950928 swapFree=67111528/67111528 [pid=13066] ppid=13064 vsize=1547504 CPUtime=1800.09 /proc/13066/stat : 13066 (java) S 13064 13066 11577 0 -1 4202496 113297 0 1 0 178406 1603 0 0 25 0 19 0 132361629 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13066/statm: 386876 102480 1450 10 0 384178 0 [pid=13066/tid=13068] ppid=13064 vsize=1547504 CPUtime=1694.81 /proc/13066/task/13068/stat : 13068 (java) R 13064 13066 11577 0 -1 4202560 39773 0 1 0 169470 11 0 0 25 0 19 0 132361630 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4109013125 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=13066/tid=13069] ppid=13064 vsize=1547504 CPUtime=12.79 /proc/13066/task/13069/stat : 13069 (java) S 13064 13066 11577 0 -1 4202560 7380 0 0 0 1085 194 0 0 15 0 19 0 132361630 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 3 0 0 0 [pid=13066/tid=13070] ppid=13064 vsize=1547504 CPUtime=12.85 /proc/13066/task/13070/stat : 13070 (java) S 13064 13066 11577 0 -1 4202560 7565 0 0 0 1071 214 0 0 16 0 19 0 132361630 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 3 0 0 0 [pid=13066/tid=13071] ppid=13064 vsize=1547504 CPUtime=12.62 /proc/13066/task/13071/stat : 13071 (java) S 13064 13066 11577 0 -1 4202560 7666 0 0 0 1076 186 0 0 16 0 19 0 132361630 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 4 0 0 0 [pid=13066/tid=13072] ppid=13064 vsize=1547504 CPUtime=12.97 /proc/13066/task/13072/stat : 13072 (java) S 13064 13066 11577 0 -1 4202560 7079 0 0 0 1099 198 0 0 16 0 19 0 132361630 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13073] ppid=13064 vsize=1547504 CPUtime=12.56 /proc/13066/task/13073/stat : 13073 (java) S 13064 13066 11577 0 -1 4202560 7425 0 0 0 1065 191 0 0 15 0 19 0 132361630 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13074] ppid=13064 vsize=1547504 CPUtime=12.54 /proc/13066/task/13074/stat : 13074 (java) S 13064 13066 11577 0 -1 4202560 8613 0 0 0 1071 183 0 0 16 0 19 0 132361630 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 0 0 0 0 [pid=13066/tid=13075] ppid=13064 vsize=1547504 CPUtime=12.68 /proc/13066/task/13075/stat : 13075 (java) S 13064 13066 11577 0 -1 4202560 7926 0 0 0 1058 210 0 0 16 0 19 0 132361630 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13076] ppid=13064 vsize=1547504 CPUtime=12.86 /proc/13066/task/13076/stat : 13076 (java) S 13064 13066 11577 0 -1 4202560 8893 0 0 0 1104 182 0 0 16 0 19 0 132361630 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 5 0 0 0 [pid=13066/tid=13077] ppid=13064 vsize=1547504 CPUtime=1.13 /proc/13066/task/13077/stat : 13077 (java) S 13064 13066 11577 0 -1 4202560 200 0 0 0 88 25 0 0 15 0 19 0 132361631 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 0 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13078] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13078/stat : 13078 (java) S 13064 13066 11577 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132361632 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13079] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13079/stat : 13079 (java) S 13064 13066 11577 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132361632 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13080] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13080/stat : 13080 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132361634 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13081] ppid=13064 vsize=1547504 CPUtime=1.15 /proc/13066/task/13081/stat : 13081 (java) S 13064 13066 11577 0 -1 4202560 4381 0 0 0 115 0 0 0 15 0 19 0 132361634 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13082] ppid=13064 vsize=1547504 CPUtime=0.99 /proc/13066/task/13082/stat : 13082 (java) S 13064 13066 11577 0 -1 4202560 5231 0 0 0 98 1 0 0 15 0 19 0 132361634 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 7 0 0 0 [pid=13066/tid=13083] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13083/stat : 13083 (java) S 13064 13066 11577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132361634 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 2 0 0 0 [pid=13066/tid=13084] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13084/stat : 13084 (java) S 13064 13066 11577 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 132361634 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 [pid=13066/tid=13085] ppid=13064 vsize=1547504 CPUtime=0 /proc/13066/task/13085/stat : 13085 (java) S 13064 13066 11577 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 132361661 1584644096 102480 4089446400 134512640 134550932 4287210400 18446744073709551615 4294960144 0 4 0 16800975 18446604453984631680 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1547504 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): 1713.46 CPU time (s): 1800.16 CPU user time (s): 1784.11 CPU system time (s): 16.0486 CPU usage (%): 105.06 Max. virtual memory (cumulated for all children) (KiB): 1550728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.11 system time used= 16.0486 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 113320 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= 111179 involuntary context switches= 3772832 runsolver used 2.74458 second user time and 6.29904 second system time The end
Begin job on node120 at 2010-06-30 17:10:47 IDJOB=2692281 IDBENCH=78979 IDSOLVER=1203 FILE ID=node120/2692281-1277910647 PBS_JOBID= 11197198 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.1900566157--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-2692281-1277910647/watcher-2692281-1277910647 -o /tmp/evaluation-result-2692281-1277910647/solver-2692281-1277910647 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692281-1277910647.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d542ebd8fdf9cdf1064a589ed9ad7045 RANDOM SEED=603576091 node120.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.820 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.64 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.820 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.07 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.820 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.80 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.820 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.74 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.820 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.820 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.68 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.820 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31604840 kB Buffers: 195648 kB Cached: 931300 kB SwapCached: 0 kB Active: 613624 kB Inactive: 591968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31604840 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 436 kB Writeback: 0 kB AnonPages: 79052 kB Mapped: 15996 kB Slab: 77944 kB PageTables: 4632 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 220700 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= 74212 MiB End job on node120 at 2010-06-30 17:39:22