Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.25 | 1705.88 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900667195--soft-66-100-0.wbo |
MD5SUM | c3c12ca4f6a34dfd4eee1807e0cef251 |
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 | 355.567 |
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 | 911 |
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 | 46278 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46277 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 655 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.06 c See www.sat4j.org for details. 0.03/0.07 c version 2.2.0.v20100526 0.03/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.03/0.07 c java.vm.version 11.2-b01 0.03/0.07 c java.vm.vendor Sun Microsystems Inc. 0.03/0.07 c sun.arch.data.model 32 0.03/0.07 c java.version 1.6.0_12 0.03/0.07 c os.name Linux 0.03/0.07 c os.version 2.6.18-164.el5 0.03/0.07 c os.arch i386 0.03/0.07 c Free memory 1393557488 0.03/0.07 c Max memory 1395916800 0.03/0.07 c Total memory 1395916800 0.03/0.07 c Number of processors 8 0.03/0.10 c Pseudo Boolean Optimization 0.03/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.03/0.10 c --- Begin Solver configuration --- 0.03/0.10 c Stops conflict analysis at the first Unique Implication Point 0.03/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c1ea29 0.03/0.10 c Learn all clauses as in MiniSAT 0.03/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.03/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.03/0.10 c No reason simplification 0.03/0.10 c Armin Biere (Picosat) restarts strategy 0.03/0.10 c Glucose learned constraints deletion strategy 0.03/0.10 c timeout=2147483s 0.03/0.10 c DB Simplification allowed=false 0.03/0.10 c --- End Solver configuration --- 0.03/0.10 c solving HOME/instance-2691552-1277911194.wbo 0.03/0.10 c reading problem ... 0.27/0.29 c ... done. Wall clock time 0.191s. 0.27/0.29 c #vars 1142 0.27/0.29 c #constraints 2707 0.27/0.29 c constraints type 0.27/0.29 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 149 0.27/0.29 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1645 0.27/0.29 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 912 0.27/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.82/1.38 c SATISFIABLE 2.82/1.38 c OPTIMIZING... 2.82/1.38 c Got one! Elapsed wall clock time (in seconds):1.278 2.82/1.38 o 571 4.95/3.20 c Got one! Elapsed wall clock time (in seconds):3.102 4.95/3.20 o 507 5.85/3.90 c Got one! Elapsed wall clock time (in seconds):3.803 5.85/3.90 o 500 7.71/5.71 c Got one! Elapsed wall clock time (in seconds):5.613 7.71/5.71 o 435 14.76/12.61 c Got one! Elapsed wall clock time (in seconds):12.514 14.76/12.61 o 430 27.26/24.91 c Got one! Elapsed wall clock time (in seconds):24.808 27.26/24.91 o 415 29.90/27.51 c Got one! Elapsed wall clock time (in seconds):27.41 29.90/27.51 o 351 37.19/34.74 c Got one! Elapsed wall clock time (in seconds):34.645 37.19/34.74 o 350 45.61/43.05 c Got one! Elapsed wall clock time (in seconds):42.952 45.61/43.05 o 319 53.50/50.71 c cleaning 0 clauses out of 5000 with flag 0/5000 102.44/98.64 c Got one! Elapsed wall clock time (in seconds):98.541 102.44/98.64 o 230 191.35/185.28 c Got one! Elapsed wall clock time (in seconds):185.187 191.35/185.28 o 180 365.05/352.38 c cleaning 0 clauses out of 11000 with flag 0/11000 753.02/721.65 c Got one! Elapsed wall clock time (in seconds):721.551 753.02/721.65 o 111 1311.44/1248.43 c cleaning 0 clauses out of 18000 with flag 0/18000 1800.07/1705.82 c starts : 57 1800.07/1705.82 c conflicts : 20258 1800.07/1705.82 c decisions : 80960 1800.07/1705.82 c propagations : 1914330 1800.07/1705.82 c inspects : 1532447041 1800.07/1705.82 c learnt literals : 0 1800.07/1705.82 c learnt binary clauses : 0 1800.07/1705.82 c learnt ternary clauses : 0 1800.07/1705.82 c learnt clauses : 20258 1800.07/1705.82 c ignored clauses : 0 1800.07/1705.82 c root simplifications : 0 1800.07/1705.82 c removed literals (reason simplification) : 0 1800.07/1705.82 c reason swapping (by a shorter reason) : 0 1800.07/1705.82 c Calls to reduceDB : 3 1800.07/1705.82 c number of reductions to clauses (during analyze) : 0 1800.07/1705.82 c number of learned constraints concerned by reduction : 0 1800.07/1705.82 c number of learning phase by resolution : 0 1800.07/1705.82 c number of learning phase by cutting planes : 0 1800.07/1705.82 c speed (assignments/second) : 1945.1153404939985 1800.07/1705.82 c non guided choices 1647 1800.07/1705.84 c learnt constraints type 1800.07/1705.84 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 133 1800.07/1705.84 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24 1800.07/1705.84 c org.sat4j.pb.constraints.pb.MaxWatchPb => 20101 1800.07/1705.84 c constraints type 1800.07/1705.84 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 149 1800.07/1705.84 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1645 1800.07/1705.84 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 912 1800.07/1705.84 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.07/1705.84 s SATISFIABLE 1800.07/1705.84 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 1800.07/1705.84 c objective function=111 1800.07/1705.84 c Total wall clock time (in seconds): 1705.742
OK 111
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691552-1277911194/watcher-2691552-1277911194 -o /tmp/evaluation-result-2691552-1277911194/solver-2691552-1277911194 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691552-1277911194.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.05 2.46 2.43 2/178 15003 /proc/meminfo: memFree=31283356/32951124 swapFree=67111528/67111528 [pid=15003] ppid=15001 vsize=1752 CPUtime=0 /proc/15003/stat : 15003 (java) R 15001 15003 14947 0 -1 4194304 339 0 0 0 0 0 0 0 25 0 1 0 132413960 1794048 82 4089446400 134512640 134550932 4291142336 18446744073709551615 7566561 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15003/statm: 425 79 60 10 0 30 0 [startup+0.0540541 s] /proc/loadavg: 2.05 2.46 2.43 2/178 15003 /proc/meminfo: memFree=31283356/32951124 swapFree=67111528/67111528 [pid=15003] ppid=15001 vsize=1528560 CPUtime=0.03 /proc/15003/stat : 15003 (java) S 15001 15003 14947 0 -1 4202496 4059 0 1 0 2 1 0 0 25 0 18 0 132413960 1565245440 3498 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15003/statm: 382140 3498 1079 10 0 379442 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1528560 [startup+0.102226 s] /proc/loadavg: 2.05 2.46 2.43 2/178 15003 /proc/meminfo: memFree=31283356/32951124 swapFree=67111528/67111528 [pid=15003] ppid=15001 vsize=1529848 CPUtime=0.11 /proc/15003/stat : 15003 (java) S 15001 15003 14947 0 -1 4202496 5245 0 1 0 10 1 0 0 25 0 18 0 132413960 1566564352 4682 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15003/statm: 382462 4682 1349 10 0 379764 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529848 [startup+0.300602 s] /proc/loadavg: 2.05 2.46 2.43 2/178 15003 /proc/meminfo: memFree=31283356/32951124 swapFree=67111528/67111528 [pid=15003] ppid=15001 vsize=1531396 CPUtime=0.5 /proc/15003/stat : 15003 (java) S 15001 15003 14947 0 -1 4202496 7534 0 1 0 49 1 0 0 25 0 18 0 132413960 1568149504 6817 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15003/statm: 382849 6817 1411 10 0 380151 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 1531396 [startup+0.700532 s] /proc/loadavg: 2.05 2.46 2.43 2/178 15003 /proc/meminfo: memFree=31283356/32951124 swapFree=67111528/67111528 [pid=15003] ppid=15001 vsize=1548560 CPUtime=1.64 /proc/15003/stat : 15003 (java) S 15001 15003 14947 0 -1 4202496 19392 0 1 0 161 3 0 0 25 0 19 0 132413960 1585725440 16064 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15003/statm: 387140 16064 1419 10 0 384442 0 Current children cumulated CPU time (s) 1.64 Current children cumulated vsize (KiB) 1548560 [startup+1.5014 s] /proc/loadavg: 2.05 2.46 2.43 3/197 15022 /proc/meminfo: memFree=31146440/32951124 swapFree=67111528/67111528 [pid=15003] ppid=15001 vsize=1549476 CPUtime=3.09 /proc/15003/stat : 15003 (java) S 15001 15003 14947 0 -1 4202496 43222 0 1 0 303 6 0 0 25 0 19 0 132413960 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15003/statm: 387369 39389 1437 10 0 384671 0 [pid=15003/tid=15005] ppid=15001 vsize=1549476 CPUtime=1.47 /proc/15003/task/15005/stat : 15005 (java) R 15001 15003 14947 0 -1 4202560 32103 0 1 0 143 4 0 0 18 0 19 0 132413961 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4110062293 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=15003/tid=15006] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15006/stat : 15006 (java) S 15001 15003 14947 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 19 0 132413961 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15007] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15007/stat : 15007 (java) S 15001 15003 14947 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 19 0 132413961 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15008] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15008/stat : 15008 (java) S 15001 15003 14947 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 132413961 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15009] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15009/stat : 15009 (java) S 15001 15003 14947 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 132413961 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15010] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15010/stat : 15010 (java) S 15001 15003 14947 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 132413961 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 2 0 0 0 [pid=15003/tid=15011] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15011/stat : 15011 (java) S 15001 15003 14947 0 -1 4202560 327 0 0 0 0 0 0 0 15 0 19 0 132413961 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 0 0 0 0 [pid=15003/tid=15012] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15012/stat : 15012 (java) S 15001 15003 14947 0 -1 4202560 120 0 0 0 0 0 0 0 15 0 19 0 132413961 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 0 0 0 0 [pid=15003/tid=15013] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15013/stat : 15013 (java) S 15001 15003 14947 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 19 0 132413961 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15014] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15014/stat : 15014 (java) S 15001 15003 14947 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 132413962 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446604471124711488 0 0 -1 0 0 0 0 [pid=15003/tid=15015] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15015/stat : 15015 (java) S 15001 15003 14947 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132413962 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15016] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15016/stat : 15016 (java) S 15001 15003 14947 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132413962 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15017] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15017/stat : 15017 (java) S 15001 15003 14947 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 132413965 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15018] ppid=15001 vsize=1549476 CPUtime=0.75 /proc/15003/task/15018/stat : 15018 (java) R 15001 15003 14947 0 -1 4202560 4044 0 0 0 75 0 0 0 21 0 19 0 132413965 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 106119157 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15003/tid=15019] ppid=15001 vsize=1549476 CPUtime=0.83 /proc/15003/task/15019/stat : 15019 (java) R 15001 15003 14947 0 -1 4202560 4916 0 0 0 83 0 0 0 15 0 19 0 132413965 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 105723088 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15003/tid=15020] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15020/stat : 15020 (java) S 15001 15003 14947 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 132413965 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15021] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15021/stat : 15021 (java) S 15001 15003 14947 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132413965 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 3 0 0 0 [pid=15003/tid=15022] ppid=15001 vsize=1549476 CPUtime=0 /proc/15003/task/15022/stat : 15022 (java) S 15001 15003 14947 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 132413992 1586663424 39389 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1549476 [startup+3.10111 s] /proc/loadavg: 2.05 2.46 2.43 3/197 15022 /proc/meminfo: memFree=31127220/32951124 swapFree=67111528/67111528 [pid=15003] ppid=15001 vsize=1550500 CPUtime=4.95 /proc/15003/stat : 15003 (java) S 15001 15003 14947 0 -1 4202496 51933 0 1 0 488 7 0 0 25 0 19 0 132413960 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15003/statm: 387625 47664 1438 10 0 384927 0 [pid=15003/tid=15005] ppid=15001 vsize=1550500 CPUtime=3.04 /proc/15003/task/15005/stat : 15005 (java) R 15001 15003 14947 0 -1 4202560 36823 0 1 0 300 4 0 0 20 0 19 0 132413961 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4109896958 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=15003/tid=15006] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15006/stat : 15006 (java) S 15001 15003 14947 0 -1 4202560 435 0 0 0 0 0 0 0 15 0 19 0 132413961 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15007] ppid=15001 vsize=1550500 CPUtime=0.01 /proc/15003/task/15007/stat : 15007 (java) S 15001 15003 14947 0 -1 4202560 1049 0 0 0 1 0 0 0 16 0 19 0 132413961 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15008] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15008/stat : 15008 (java) S 15001 15003 14947 0 -1 4202560 829 0 0 0 0 0 0 0 16 0 19 0 132413961 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15009] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15009/stat : 15009 (java) S 15001 15003 14947 0 -1 4202560 439 0 0 0 0 0 0 0 16 0 19 0 132413961 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15010] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15010/stat : 15010 (java) S 15001 15003 14947 0 -1 4202560 494 0 0 0 0 0 0 0 15 0 19 0 132413961 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 2 0 0 0 [pid=15003/tid=15011] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15011/stat : 15011 (java) S 15001 15003 14947 0 -1 4202560 393 0 0 0 0 0 0 0 15 0 19 0 132413961 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 0 0 0 0 [pid=15003/tid=15012] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15012/stat : 15012 (java) S 15001 15003 14947 0 -1 4202560 381 0 0 0 0 0 0 0 15 0 19 0 132413961 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15013] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15013/stat : 15013 (java) S 15001 15003 14947 0 -1 4202560 614 0 0 0 0 0 0 0 16 0 19 0 132413961 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 2 0 0 0 [pid=15003/tid=15014] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15014/stat : 15014 (java) S 15001 15003 14947 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 132413962 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446604471124711488 0 0 -1 0 0 0 0 [pid=15003/tid=15015] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15015/stat : 15015 (java) S 15001 15003 14947 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132413962 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15016] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15016/stat : 15016 (java) S 15001 15003 14947 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132413962 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15017] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15017/stat : 15017 (java) S 15001 15003 14947 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 132413965 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15018] ppid=15001 vsize=1550500 CPUtime=0.84 /proc/15003/task/15018/stat : 15018 (java) S 15001 15003 14947 0 -1 4202560 4053 0 0 0 84 0 0 0 15 0 19 0 132413965 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 5 0 0 0 [pid=15003/tid=15019] ppid=15001 vsize=1550500 CPUtime=0.97 /proc/15003/task/15019/stat : 15019 (java) S 15001 15003 14947 0 -1 4202560 5327 0 0 0 97 0 0 0 15 0 19 0 132413965 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15020] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15020/stat : 15020 (java) S 15001 15003 14947 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 132413965 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15021] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15021/stat : 15021 (java) S 15001 15003 14947 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132413965 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 3 0 0 0 [pid=15003/tid=15022] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15022/stat : 15022 (java) S 15001 15003 14947 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 132413992 1587712000 47664 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.95 Current children cumulated vsize (KiB) 1550500 [startup+6.30154 s] /proc/loadavg: 2.05 2.45 2.43 3/197 15022 /proc/meminfo: memFree=31090148/32951124 swapFree=67111528/67111528 [pid=15003] ppid=15001 vsize=1550500 CPUtime=8.38 /proc/15003/stat : 15003 (java) S 15001 15003 14947 0 -1 4202496 54552 0 1 0 830 8 0 0 25 0 19 0 132413960 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15003/statm: 387625 50014 1444 10 0 384927 0 [pid=15003/tid=15005] ppid=15001 vsize=1550500 CPUtime=6.21 /proc/15003/task/15005/stat : 15005 (java) R 15001 15003 14947 0 -1 4202560 36835 0 1 0 617 4 0 0 25 0 19 0 132413961 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4109894846 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=15003/tid=15006] ppid=15001 vsize=1550500 CPUtime=0.01 /proc/15003/task/15006/stat : 15006 (java) S 15001 15003 14947 0 -1 4202560 648 0 0 0 1 0 0 0 15 0 19 0 132413961 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15007] ppid=15001 vsize=1550500 CPUtime=0.02 /proc/15003/task/15007/stat : 15007 (java) S 15001 15003 14947 0 -1 4202560 1398 0 0 0 2 0 0 0 15 0 19 0 132413961 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15008] ppid=15001 vsize=1550500 CPUtime=0.02 /proc/15003/task/15008/stat : 15008 (java) S 15001 15003 14947 0 -1 4202560 1465 0 0 0 2 0 0 0 15 0 19 0 132413961 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15009] ppid=15001 vsize=1550500 CPUtime=0.01 /proc/15003/task/15009/stat : 15009 (java) S 15001 15003 14947 0 -1 4202560 780 0 0 0 1 0 0 0 16 0 19 0 132413961 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15010] ppid=15001 vsize=1550500 CPUtime=0.01 /proc/15003/task/15010/stat : 15010 (java) S 15001 15003 14947 0 -1 4202560 1033 0 0 0 1 0 0 0 15 0 19 0 132413961 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 2 0 0 0 [pid=15003/tid=15011] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15011/stat : 15011 (java) S 15001 15003 14947 0 -1 4202560 522 0 0 0 0 0 0 0 15 0 19 0 132413961 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 0 0 0 0 [pid=15003/tid=15012] ppid=15001 vsize=1550500 CPUtime=0.01 /proc/15003/task/15012/stat : 15012 (java) S 15001 15003 14947 0 -1 4202560 583 0 0 0 1 0 0 0 16 0 19 0 132413961 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 0 0 0 0 [pid=15003/tid=15013] ppid=15001 vsize=1550500 CPUtime=0.01 /proc/15003/task/15013/stat : 15013 (java) S 15001 15003 14947 0 -1 4202560 774 0 0 0 1 0 0 0 15 0 19 0 132413961 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 2 0 0 0 [pid=15003/tid=15014] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15014/stat : 15014 (java) S 15001 15003 14947 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 132413962 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446604471124711488 0 0 -1 0 0 0 0 [pid=15003/tid=15015] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15015/stat : 15015 (java) S 15001 15003 14947 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132413962 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15016] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15016/stat : 15016 (java) S 15001 15003 14947 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132413962 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15017] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15017/stat : 15017 (java) S 15001 15003 14947 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 132413965 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15018] ppid=15001 vsize=1550500 CPUtime=0.9 /proc/15003/task/15018/stat : 15018 (java) S 15001 15003 14947 0 -1 4202560 4065 0 0 0 90 0 0 0 15 0 19 0 132413965 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 5 0 0 0 [pid=15003/tid=15019] ppid=15001 vsize=1550500 CPUtime=1.09 /proc/15003/task/15019/stat : 15019 (java) S 15001 15003 14947 0 -1 4202560 5353 0 0 0 109 0 0 0 15 0 19 0 132413965 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15020] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15020/stat : 15020 (java) S 15001 15003 14947 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 132413965 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15021] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15021/stat : 15021 (java) S 15001 15003 14947 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132413965 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 3 0 0 0 [pid=15003/tid=15022] ppid=15001 vsize=1550500 CPUtime=0 /proc/15003/task/15022/stat : 15022 (java) S 15001 15003 14947 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 132413992 1587712000 50014 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 8.38 Current children cumulated vsize (KiB) 1550500 [startup+12.7014 s] /proc/loadavg: 2.04 2.44 2.43 3/197 15022 /proc/meminfo: memFree=31081644/32951124 swapFree=67111528/67111528 [pid=15003] ppid=15001 vsize=1550500 CPUtime=14.9 /proc/15003/stat : 15003 (java) S 15001 15003 14947 0 -1 4202496 56813 0 1 0 1481 9 0 0 25 0 19 0 132413960 1587712000 52046 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15003/statm: 387625 52046 1444 10 0 384927 0 [pid=15003/tid=15005] ppid=15001 vsize=1550500 CPUtime=12.58 /proc/15003/task/15005/stat : 15005 (java) R 15001 15003 14947 0 -1 4202560 37052 0 1 0 1254 4 0 0 25 0 19 0 132413961 1587712000 52046 4089446400 134512640 134550932 4291142336 18446744073709551615 4109891478 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=15003/tid=15006] ppid=15001 vsize=1550500 CPUtime=0.02 /proc/15003/task/15006/stat : 15006 (java) S 15001 15003 14947 0 -1 4202560 936 0 0 0 2 0 0 0 15 0 19 0 132413961 1587712000 52046 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 ################ # More data... # ################ [pid=15003/tid=15011] ppid=15001 vsize=1551524 CPUtime=12.22 /proc/15003/task/15011/stat : 15011 (java) S 15001 15003 14947 0 -1 4202560 8836 0 0 0 1022 200 0 0 16 0 19 0 132413961 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 3 0 0 0 [pid=15003/tid=15012] ppid=15001 vsize=1551524 CPUtime=12.04 /proc/15003/task/15012/stat : 15012 (java) S 15001 15003 14947 0 -1 4202560 8740 0 0 0 1009 195 0 0 16 0 19 0 132413961 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15013] ppid=15001 vsize=1551524 CPUtime=12.24 /proc/15003/task/15013/stat : 15013 (java) S 15001 15003 14947 0 -1 4202560 8960 0 0 0 1016 208 0 0 16 0 19 0 132413961 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 5 0 0 0 [pid=15003/tid=15014] ppid=15001 vsize=1551524 CPUtime=1.53 /proc/15003/task/15014/stat : 15014 (java) S 15001 15003 14947 0 -1 4202560 200 0 0 0 107 46 0 0 15 0 19 0 132413962 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446604471124711488 0 0 -1 3 0 0 0 [pid=15003/tid=15015] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15015/stat : 15015 (java) S 15001 15003 14947 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132413962 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15016] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15016/stat : 15016 (java) S 15001 15003 14947 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132413962 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15017] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15017/stat : 15017 (java) S 15001 15003 14947 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 132413965 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15018] ppid=15001 vsize=1551524 CPUtime=1.11 /proc/15003/task/15018/stat : 15018 (java) S 15001 15003 14947 0 -1 4202560 4118 0 0 0 111 0 0 0 15 0 19 0 132413965 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 5 0 0 0 [pid=15003/tid=15019] ppid=15001 vsize=1551524 CPUtime=1.15 /proc/15003/task/15019/stat : 15019 (java) S 15001 15003 14947 0 -1 4202560 5353 0 0 0 115 0 0 0 15 0 19 0 132413965 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15020] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15020/stat : 15020 (java) S 15001 15003 14947 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 132413965 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15021] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15021/stat : 15021 (java) S 15001 15003 14947 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 132413965 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15022] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15022/stat : 15022 (java) S 15001 15003 14947 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 132413992 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1625.85 Current children cumulated vsize (KiB) 1551524 [startup+1602.3 s] /proc/loadavg: 2.04 2.09 2.11 3/197 15141 /proc/meminfo: memFree=30827544/32951124 swapFree=67111528/67111528 [pid=15003] ppid=15001 vsize=1551524 CPUtime=1689.46 /proc/15003/stat : 15003 (java) S 15001 15003 14947 0 -1 4202496 124989 0 1 0 167236 1710 0 0 25 0 19 0 132413960 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15003/statm: 387881 114211 1450 10 0 385183 0 [pid=15003/tid=15005] ppid=15001 vsize=1551524 CPUtime=1583.45 /proc/15003/task/15005/stat : 15005 (java) R 15001 15003 14947 0 -1 4202560 39457 0 1 0 158332 13 0 0 25 0 19 0 132413961 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4109892928 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15003/tid=15006] ppid=15001 vsize=1551524 CPUtime=12.69 /proc/15003/task/15006/stat : 15006 (java) S 15001 15003 14947 0 -1 4202560 9105 0 0 0 1074 195 0 0 16 0 19 0 132413961 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 3 0 0 0 [pid=15003/tid=15007] ppid=15001 vsize=1551524 CPUtime=12.7 /proc/15003/task/15007/stat : 15007 (java) S 15001 15003 14947 0 -1 4202560 9353 0 0 0 1075 195 0 0 16 0 19 0 132413961 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15008] ppid=15001 vsize=1551524 CPUtime=13.01 /proc/15003/task/15008/stat : 15008 (java) S 15001 15003 14947 0 -1 4202560 10925 0 0 0 1091 210 0 0 16 0 19 0 132413961 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 0 0 0 0 [pid=15003/tid=15009] ppid=15001 vsize=1551524 CPUtime=12.78 /proc/15003/task/15009/stat : 15009 (java) S 15001 15003 14947 0 -1 4202560 9276 0 0 0 1076 202 0 0 16 0 19 0 132413961 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15010] ppid=15001 vsize=1551524 CPUtime=12.82 /proc/15003/task/15010/stat : 15010 (java) S 15001 15003 14947 0 -1 4202560 9505 0 0 0 1074 208 0 0 16 0 19 0 132413961 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 7 0 0 0 [pid=15003/tid=15011] ppid=15001 vsize=1551524 CPUtime=12.71 /proc/15003/task/15011/stat : 15011 (java) S 15001 15003 14947 0 -1 4202560 8836 0 0 0 1062 209 0 0 16 0 19 0 132413961 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 2 0 0 0 [pid=15003/tid=15012] ppid=15001 vsize=1551524 CPUtime=12.61 /proc/15003/task/15012/stat : 15012 (java) S 15001 15003 14947 0 -1 4202560 8740 0 0 0 1057 204 0 0 16 0 19 0 132413961 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 5 0 0 0 [pid=15003/tid=15013] ppid=15001 vsize=1551524 CPUtime=12.72 /proc/15003/task/15013/stat : 15013 (java) S 15001 15003 14947 0 -1 4202560 8960 0 0 0 1055 217 0 0 16 0 19 0 132413961 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15014] ppid=15001 vsize=1551524 CPUtime=1.56 /proc/15003/task/15014/stat : 15014 (java) S 15001 15003 14947 0 -1 4202560 204 0 0 0 108 48 0 0 15 0 19 0 132413962 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446604471124711488 0 0 -1 3 0 0 0 [pid=15003/tid=15015] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15015/stat : 15015 (java) S 15001 15003 14947 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132413962 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15016] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15016/stat : 15016 (java) S 15001 15003 14947 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132413962 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15017] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15017/stat : 15017 (java) S 15001 15003 14947 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 132413965 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15018] ppid=15001 vsize=1551524 CPUtime=1.11 /proc/15003/task/15018/stat : 15018 (java) S 15001 15003 14947 0 -1 4202560 4118 0 0 0 111 0 0 0 15 0 19 0 132413965 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 5 0 0 0 [pid=15003/tid=15019] ppid=15001 vsize=1551524 CPUtime=1.15 /proc/15003/task/15019/stat : 15019 (java) S 15001 15003 14947 0 -1 4202560 5353 0 0 0 115 0 0 0 15 0 19 0 132413965 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15020] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15020/stat : 15020 (java) S 15001 15003 14947 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 132413965 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15021] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15021/stat : 15021 (java) S 15001 15003 14947 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 132413965 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 0 0 0 0 [pid=15003/tid=15022] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15022/stat : 15022 (java) S 15001 15003 14947 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 132413992 1588760576 114211 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1689.46 Current children cumulated vsize (KiB) 1551524 [startup+1662.3 s] /proc/loadavg: 2.01 2.07 2.10 3/197 15142 /proc/meminfo: memFree=30825412/32951124 swapFree=67111528/67111528 [pid=15003] ppid=15001 vsize=1551524 CPUtime=1753.39 /proc/15003/stat : 15003 (java) S 15001 15003 14947 0 -1 4202496 125912 0 1 0 173544 1795 0 0 25 0 19 0 132413960 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15003/statm: 387881 115035 1450 10 0 385183 0 [pid=15003/tid=15005] ppid=15001 vsize=1551524 CPUtime=1642.67 /proc/15003/task/15005/stat : 15005 (java) R 15001 15003 14947 0 -1 4202560 39527 0 1 0 164253 14 0 0 25 0 19 0 132413961 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4109891323 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=15003/tid=15006] ppid=15001 vsize=1551524 CPUtime=13.31 /proc/15003/task/15006/stat : 15006 (java) S 15001 15003 14947 0 -1 4202560 9202 0 0 0 1126 205 0 0 16 0 19 0 132413961 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 2 0 0 0 [pid=15003/tid=15007] ppid=15001 vsize=1551524 CPUtime=13.19 /proc/15003/task/15007/stat : 15007 (java) S 15001 15003 14947 0 -1 4202560 9474 0 0 0 1115 204 0 0 15 0 19 0 132413961 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15008] ppid=15001 vsize=1551524 CPUtime=13.59 /proc/15003/task/15008/stat : 15008 (java) S 15001 15003 14947 0 -1 4202560 11028 0 0 0 1141 218 0 0 16 0 19 0 132413961 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 0 0 0 0 [pid=15003/tid=15009] ppid=15001 vsize=1551524 CPUtime=13.36 /proc/15003/task/15009/stat : 15009 (java) S 15001 15003 14947 0 -1 4202560 9401 0 0 0 1124 212 0 0 16 0 19 0 132413961 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15010] ppid=15001 vsize=1551524 CPUtime=13.44 /proc/15003/task/15010/stat : 15010 (java) S 15001 15003 14947 0 -1 4202560 9656 0 0 0 1124 220 0 0 16 0 19 0 132413961 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 7 0 0 0 [pid=15003/tid=15011] ppid=15001 vsize=1551524 CPUtime=13.31 /proc/15003/task/15011/stat : 15011 (java) S 15001 15003 14947 0 -1 4202560 8906 0 0 0 1110 221 0 0 16 0 19 0 132413961 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15012] ppid=15001 vsize=1551524 CPUtime=13.21 /proc/15003/task/15012/stat : 15012 (java) S 15001 15003 14947 0 -1 4202560 8829 0 0 0 1106 215 0 0 16 0 19 0 132413961 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 5 0 0 0 [pid=15003/tid=15013] ppid=15001 vsize=1551524 CPUtime=13.35 /proc/15003/task/15013/stat : 15013 (java) S 15001 15003 14947 0 -1 4202560 9049 0 0 0 1106 229 0 0 16 0 19 0 132413961 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 3 0 0 0 [pid=15003/tid=15014] ppid=15001 vsize=1551524 CPUtime=1.59 /proc/15003/task/15014/stat : 15014 (java) S 15001 15003 14947 0 -1 4202560 209 0 0 0 109 50 0 0 15 0 19 0 132413962 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446604471124711488 0 0 -1 3 0 0 0 [pid=15003/tid=15015] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15015/stat : 15015 (java) S 15001 15003 14947 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132413962 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15016] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15016/stat : 15016 (java) S 15001 15003 14947 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132413962 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15017] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15017/stat : 15017 (java) S 15001 15003 14947 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 132413965 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15018] ppid=15001 vsize=1551524 CPUtime=1.11 /proc/15003/task/15018/stat : 15018 (java) S 15001 15003 14947 0 -1 4202560 4118 0 0 0 111 0 0 0 15 0 19 0 132413965 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 5 0 0 0 [pid=15003/tid=15019] ppid=15001 vsize=1551524 CPUtime=1.15 /proc/15003/task/15019/stat : 15019 (java) S 15001 15003 14947 0 -1 4202560 5353 0 0 0 115 0 0 0 15 0 19 0 132413965 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15020] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15020/stat : 15020 (java) S 15001 15003 14947 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 132413965 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15021] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15021/stat : 15021 (java) S 15001 15003 14947 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 132413965 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15022] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15022/stat : 15022 (java) S 15001 15003 14947 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 132413992 1588760576 115035 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1753.39 Current children cumulated vsize (KiB) 1551524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1705.8 s] /proc/loadavg: 2.00 2.06 2.09 3/197 15144 /proc/meminfo: memFree=30820784/32951124 swapFree=67111528/67111528 [pid=15003] ppid=15001 vsize=1551524 CPUtime=1800.07 /proc/15003/stat : 15003 (java) S 15001 15003 14947 0 -1 4202496 127216 0 1 0 178139 1868 0 0 25 0 19 0 132413960 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15003/statm: 387881 116254 1450 10 0 385183 0 [pid=15003/tid=15005] ppid=15001 vsize=1551524 CPUtime=1685.55 /proc/15003/task/15005/stat : 15005 (java) R 15001 15003 14947 0 -1 4202560 39581 0 1 0 168541 14 0 0 25 0 19 0 132413961 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4109926783 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=15003/tid=15006] ppid=15001 vsize=1551524 CPUtime=13.84 /proc/15003/task/15006/stat : 15006 (java) S 15001 15003 14947 0 -1 4202560 9398 0 0 0 1168 216 0 0 16 0 19 0 132413961 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 2 0 0 0 [pid=15003/tid=15007] ppid=15001 vsize=1551524 CPUtime=13.65 /proc/15003/task/15007/stat : 15007 (java) S 15001 15003 14947 0 -1 4202560 9599 0 0 0 1152 213 0 0 16 0 19 0 132413961 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15008] ppid=15001 vsize=1551524 CPUtime=14.1 /proc/15003/task/15008/stat : 15008 (java) S 15001 15003 14947 0 -1 4202560 11277 0 0 0 1184 226 0 0 16 0 19 0 132413961 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15009] ppid=15001 vsize=1551524 CPUtime=13.88 /proc/15003/task/15009/stat : 15009 (java) S 15001 15003 14947 0 -1 4202560 9537 0 0 0 1168 220 0 0 16 0 19 0 132413961 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 0 0 0 0 [pid=15003/tid=15010] ppid=15001 vsize=1551524 CPUtime=13.87 /proc/15003/task/15010/stat : 15010 (java) S 15001 15003 14947 0 -1 4202560 9773 0 0 0 1157 230 0 0 16 0 19 0 132413961 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15011] ppid=15001 vsize=1551524 CPUtime=13.76 /proc/15003/task/15011/stat : 15011 (java) S 15001 15003 14947 0 -1 4202560 8992 0 0 0 1144 232 0 0 16 0 19 0 132413961 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 3 0 0 0 [pid=15003/tid=15012] ppid=15001 vsize=1551524 CPUtime=13.63 /proc/15003/task/15012/stat : 15012 (java) S 15001 15003 14947 0 -1 4202560 8998 0 0 0 1140 223 0 0 16 0 19 0 132413961 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 7 0 0 0 [pid=15003/tid=15013] ppid=15001 vsize=1551524 CPUtime=13.81 /proc/15003/task/15013/stat : 15013 (java) S 15001 15003 14947 0 -1 4202560 9216 0 0 0 1144 237 0 0 16 0 19 0 132413961 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 5 0 0 0 [pid=15003/tid=15014] ppid=15001 vsize=1551524 CPUtime=1.61 /proc/15003/task/15014/stat : 15014 (java) S 15001 15003 14947 0 -1 4202560 212 0 0 0 110 51 0 0 15 0 19 0 132413962 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 0 0 16800975 18446604471124711488 0 0 -1 3 0 0 0 [pid=15003/tid=15015] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15015/stat : 15015 (java) S 15001 15003 14947 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132413962 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15016] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15016/stat : 15016 (java) S 15001 15003 14947 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132413962 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15017] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15017/stat : 15017 (java) S 15001 15003 14947 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 132413965 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15018] ppid=15001 vsize=1551524 CPUtime=1.11 /proc/15003/task/15018/stat : 15018 (java) S 15001 15003 14947 0 -1 4202560 4118 0 0 0 111 0 0 0 15 0 19 0 132413965 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 5 0 0 0 [pid=15003/tid=15019] ppid=15001 vsize=1551524 CPUtime=1.15 /proc/15003/task/15019/stat : 15019 (java) S 15001 15003 14947 0 -1 4202560 5353 0 0 0 115 0 0 0 15 0 19 0 132413965 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 1 0 0 0 [pid=15003/tid=15020] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15020/stat : 15020 (java) S 15001 15003 14947 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 132413965 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 4 0 0 0 [pid=15003/tid=15021] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15021/stat : 15021 (java) S 15001 15003 14947 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 132413965 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 [pid=15003/tid=15022] ppid=15001 vsize=1551524 CPUtime=0 /proc/15003/task/15022/stat : 15022 (java) S 15001 15003 14947 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 132413992 1588760576 116254 4089446400 134512640 134550932 4291142336 18446744073709551615 4294960144 0 4 0 16800975 18446604471124711488 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1551524 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): 1705.88 CPU time (s): 1800.25 CPU user time (s): 1781.53 CPU system time (s): 18.7212 CPU usage (%): 105.532 Max. virtual memory (cumulated for all children) (KiB): 1551524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.53 system time used= 18.7212 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 127249 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= 106976 involuntary context switches= 4847633 runsolver used 3.09553 second user time and 6.21206 second system time The end
Begin job on node144 at 2010-06-30 17:19:54 IDJOB=2691552 IDBENCH=78985 IDSOLVER=1203 FILE ID=node144/2691552-1277911194 PBS_JOBID= 11197267 Free space on /tmp= 74176 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.1900667195--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-2691552-1277911194/watcher-2691552-1277911194 -o /tmp/evaluation-result-2691552-1277911194/solver-2691552-1277911194 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691552-1277911194.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c3c12ca4f6a34dfd4eee1807e0cef251 RANDOM SEED=1513503655 node144.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.848 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.69 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.848 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.82 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.848 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.848 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 : 5230.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31283760 kB Buffers: 196640 kB Cached: 1251256 kB SwapCached: 0 kB Active: 587588 kB Inactive: 936740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31283760 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 428 kB Writeback: 0 kB AnonPages: 76852 kB Mapped: 15244 kB Slab: 80312 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 221596 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= 74176 MiB End job on node144 at 2010-06-30 17:48:21