Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo CP 2.1.1 | SAT (TO) | 100352 | 1801.02 | 1797.62 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare1.opb |
MD5SUM | e15fa473b46d7e2b0dca2d01a2541ab9 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 30720 |
Best CPU time to get the best result obtained on this benchmark | 1800.52 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20480 |
Optimality of the best value was proved | NO |
Number of variables | 230 |
Total number of constraints | 6 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 80 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 6442450938 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 6442450938 |
Number of bits of the biggest sum of numbers | 33 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre 0.09/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.14 c See www.sat4j.org for details. 0.09/0.14 c version 2.1.1.v20090612 0.09/0.14 c sun.arch.data.model 32 0.09/0.14 c java.version 1.6.0_12 0.09/0.14 c os.name Linux 0.09/0.14 c os.version 2.6.9-22.EL.rootsmp 0.09/0.14 c os.arch i386 0.09/0.15 c Free memory 1342000320 0.09/0.15 c Max memory 1344274432 0.09/0.15 c Total memory 1344274432 0.09/0.15 c Number of processors 2 0.23/0.21 c Pseudo Boolean Optimization 0.23/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ecd7e 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.23/0.21 c No reason simplification 0.23/0.21 c MiniSAT restarts strategy 0.23/0.21 c Memory based learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 c solving HOME/instance-1856458-1244911995.opb 0.23/0.21 c reading problem ... 0.23/0.29 c ... done. Wall clock time 0.083s. 0.23/0.29 c #vars 230 0.23/0.29 c #constraints 66 0.23/0.29 c constraints type 0.23/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPb => 12 6.28/4.61 c SATISFIABLE 6.28/4.61 c OPTIMIZING... 6.28/4.61 c Got one! Elapsed wall clock time (in seconds):4.399 6.28/4.61 o 6839296 8.06/6.24 c Got one! Elapsed wall clock time (in seconds):6.034 8.06/6.24 o 6085632 8.99/7.11 c Got one! Elapsed wall clock time (in seconds):6.902 8.99/7.11 o 5392384 10.09/8.22 c Got one! Elapsed wall clock time (in seconds):8.007 10.09/8.22 o 518144 12.15/10.23 c Got one! Elapsed wall clock time (in seconds):10.024 12.15/10.23 o 434176 12.57/10.69 c Got one! Elapsed wall clock time (in seconds):10.483 12.57/10.69 o 412672 18.05/16.06 c Got one! Elapsed wall clock time (in seconds):15.854 18.05/16.06 o 316416 21.49/19.46 c Got one! Elapsed wall clock time (in seconds):19.249 21.49/19.46 o 272384 416.93/414.15 c Got one! Elapsed wall clock time (in seconds):413.943 416.93/414.15 o 205824 417.84/415.07 c Got one! Elapsed wall clock time (in seconds):414.857 417.84/415.07 o 100352 1800.07/1797.11 c starts : 15 1800.07/1797.11 c conflicts : 973 1800.07/1797.11 c decisions : 20228 1800.07/1797.11 c propagations : 62157 1800.07/1797.11 c inspects : 11439824 1800.07/1797.11 c learnt literals : 0 1800.07/1797.11 c learnt binary clauses : 0 1800.07/1797.11 c learnt ternary clauses : 0 1800.07/1797.11 c learnt clauses : 972 1800.07/1797.11 c ignored clauses : 0 1800.07/1797.11 c root simplifications : 0 1800.07/1797.11 c removed literals (reason simplification) : 0 1800.07/1797.11 c reason swapping (by a shorter reason) : 0 1800.07/1797.11 c Calls to reduceDB : 0 1800.07/1797.11 c speed (assignments/second) : 44.97465712042661 1800.07/1797.11 c non guided choices 261 1800.07/1797.12 c learnt constraints type 1800.07/1797.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 972 1800.07/1797.12 c constraints type 1800.07/1797.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 13 1800.07/1797.12 s SATISFIABLE 1800.07/1797.12 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 1800.07/1797.12 c objective function=100352 1800.07/1797.12 c Total wall clock time (in seconds): 1796.909
OK 100352
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1856458-1244911995/watcher-1856458-1244911995 -o /tmp/evaluation-result-1856458-1244911995/solver-1856458-1244911995 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1856458-1244911995.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 1.00 0.99 3/64 14485 /proc/meminfo: memFree=1350176/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=18576 CPUtime=0 /proc/14485/stat : 14485 (runsolver) R 14483 14485 14448 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 158800070 19021824 284 1992294400 4194304 4302564 548682068416 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/14485/statm: 4644 284 249 26 0 2626 0 [startup+0.0948679 s] /proc/loadavg: 0.93 1.00 0.99 3/64 14485 /proc/meminfo: memFree=1350176/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=1473608 CPUtime=0.08 /proc/14485/stat : 14485 (java) S 14483 14485 14448 0 -1 0 3589 0 1 0 5 3 0 0 18 0 12 0 158800070 1508974592 3332 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14485/statm: 368402 3332 1066 9 0 365750 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1473608 [startup+0.102856 s] /proc/loadavg: 0.93 1.00 0.99 3/64 14485 /proc/meminfo: memFree=1350176/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=1473608 CPUtime=0.09 /proc/14485/stat : 14485 (java) S 14483 14485 14448 0 -1 0 3637 0 1 0 6 3 0 0 18 0 12 0 158800070 1508974592 3380 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14485/statm: 368402 3380 1068 9 0 365750 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1473608 [startup+0.301908 s] /proc/loadavg: 0.93 1.00 0.99 3/64 14485 /proc/meminfo: memFree=1350176/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=1475788 CPUtime=0.35 /proc/14485/stat : 14485 (java) S 14483 14485 14448 0 -1 0 5097 0 1 0 32 3 0 0 18 0 12 0 158800070 1511206912 4835 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14485/statm: 368947 4835 1362 9 0 366290 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1475788 [startup+0.702991 s] /proc/loadavg: 0.93 1.00 0.99 3/64 14485 /proc/meminfo: memFree=1350176/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=1478796 CPUtime=1.14 /proc/14485/stat : 14485 (java) S 14483 14485 14448 0 -1 0 7820 0 1 0 110 4 0 0 18 0 13 0 158800070 1514287104 6368 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14485/statm: 369699 6368 1399 9 0 367042 0 Current children cumulated CPU time (s) 1.14 Current children cumulated vsize (KiB) 1478796 [startup+1.50116 s] /proc/loadavg: 0.93 1.00 0.99 4/77 14498 /proc/meminfo: memFree=1310264/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=1489524 CPUtime=2.65 /proc/14485/stat : 14485 (java) S 14483 14485 14448 0 -1 0 24848 0 1 0 252 13 0 0 18 0 13 0 158800070 1525272576 19668 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14485/statm: 372381 19668 1416 9 0 369724 0 [pid=14485/tid=14487] ppid=14483 vsize=1489524 CPUtime=0.91 /proc/14485/task/14487/stat : 14487 (java) R 14483 14485 14448 0 -1 64 14877 0 1 0 83 8 0 0 18 0 13 0 158800071 1525272576 19668 1992294400 134512640 134550932 4294956000 18446744073709551615 4109491656 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14488] ppid=14483 vsize=1489524 CPUtime=0 /proc/14485/task/14488/stat : 14488 (java) S 14483 14485 14448 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 158800073 1525272576 19668 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14489] ppid=14483 vsize=1489524 CPUtime=0 /proc/14485/task/14489/stat : 14489 (java) S 14483 14485 14448 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 158800073 1525272576 19668 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14490] ppid=14483 vsize=1489524 CPUtime=0 /proc/14485/task/14490/stat : 14490 (java) S 14483 14485 14448 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 158800074 1525272576 19668 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14491] ppid=14483 vsize=1489524 CPUtime=0 /proc/14485/task/14491/stat : 14491 (java) S 14483 14485 14448 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 158800075 1525272576 19668 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14492] ppid=14483 vsize=1489524 CPUtime=0 /proc/14485/task/14492/stat : 14492 (java) S 14483 14485 14448 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 158800075 1525272576 19668 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14493] ppid=14483 vsize=1489524 CPUtime=0 /proc/14485/task/14493/stat : 14493 (java) S 14483 14485 14448 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158800079 1525272576 19668 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14494] ppid=14483 vsize=1489524 CPUtime=0.91 /proc/14485/task/14494/stat : 14494 (java) S 14483 14485 14448 0 -1 64 3891 0 0 0 90 1 0 0 16 0 13 0 158800079 1525272576 19668 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14495] ppid=14483 vsize=1489524 CPUtime=0.8 /proc/14485/task/14495/stat : 14495 (java) S 14483 14485 14448 0 -1 64 5330 0 0 0 78 2 0 0 17 0 13 0 158800079 1525272576 19668 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14496] ppid=14483 vsize=1489524 CPUtime=0 /proc/14485/task/14496/stat : 14496 (java) S 14483 14485 14448 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158800079 1525272576 19668 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14497] ppid=14483 vsize=1489524 CPUtime=0 /proc/14485/task/14497/stat : 14497 (java) S 14483 14485 14448 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158800079 1525272576 19668 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14498] ppid=14483 vsize=1489524 CPUtime=0 /proc/14485/task/14498/stat : 14498 (java) S 14483 14485 14448 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 158800102 1525272576 19668 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.65 Current children cumulated vsize (KiB) 1489524 [startup+3.10149 s] /proc/loadavg: 0.93 1.00 0.99 3/77 14498 /proc/meminfo: memFree=1209080/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=1490548 CPUtime=4.73 /proc/14485/stat : 14485 (java) S 14483 14485 14448 0 -1 0 44724 0 1 0 452 21 0 0 18 0 13 0 158800070 1526321152 37302 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14485/statm: 372637 37302 1427 9 0 369980 0 [pid=14485/tid=14487] ppid=14483 vsize=1490548 CPUtime=2.35 /proc/14485/task/14487/stat : 14487 (java) R 14483 14485 14448 0 -1 64 31014 0 1 0 221 14 0 0 21 0 13 0 158800071 1526321152 37302 1992294400 134512640 134550932 4294956000 18446744073709551615 4109570170 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14488] ppid=14483 vsize=1490548 CPUtime=0.01 /proc/14485/task/14488/stat : 14488 (java) S 14483 14485 14448 0 -1 64 704 0 0 0 1 0 0 0 16 0 13 0 158800073 1526321152 37302 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14489] ppid=14483 vsize=1490548 CPUtime=0.01 /proc/14485/task/14489/stat : 14489 (java) S 14483 14485 14448 0 -1 64 721 0 0 0 1 0 0 0 16 0 13 0 158800073 1526321152 37302 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14490] ppid=14483 vsize=1490548 CPUtime=0 /proc/14485/task/14490/stat : 14490 (java) S 14483 14485 14448 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 158800074 1526321152 37302 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14491] ppid=14483 vsize=1490548 CPUtime=0 /proc/14485/task/14491/stat : 14491 (java) S 14483 14485 14448 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158800075 1526321152 37302 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14492] ppid=14483 vsize=1490548 CPUtime=0 /proc/14485/task/14492/stat : 14492 (java) S 14483 14485 14448 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158800075 1526321152 37302 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14493] ppid=14483 vsize=1490548 CPUtime=0 /proc/14485/task/14493/stat : 14493 (java) S 14483 14485 14448 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158800079 1526321152 37302 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14494] ppid=14483 vsize=1490548 CPUtime=1.27 /proc/14485/task/14494/stat : 14494 (java) S 14483 14485 14448 0 -1 64 5744 0 0 0 125 2 0 0 16 0 13 0 158800079 1526321152 37302 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14495] ppid=14483 vsize=1490548 CPUtime=1.04 /proc/14485/task/14495/stat : 14495 (java) S 14483 14485 14448 0 -1 64 5780 0 0 0 102 2 0 0 17 0 13 0 158800079 1526321152 37302 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14496] ppid=14483 vsize=1490548 CPUtime=0 /proc/14485/task/14496/stat : 14496 (java) S 14483 14485 14448 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158800079 1526321152 37302 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14497] ppid=14483 vsize=1490548 CPUtime=0 /proc/14485/task/14497/stat : 14497 (java) S 14483 14485 14448 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158800079 1526321152 37302 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14498] ppid=14483 vsize=1490548 CPUtime=0 /proc/14485/task/14498/stat : 14498 (java) S 14483 14485 14448 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 158800102 1526321152 37302 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.73 Current children cumulated vsize (KiB) 1490548 [startup+6.30218 s] /proc/loadavg: 0.93 1.00 0.99 2/77 14498 /proc/meminfo: memFree=1191296/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=1489236 CPUtime=8.16 /proc/14485/stat : 14485 (java) S 14483 14485 14448 0 -1 0 52806 0 1 0 792 24 0 0 18 0 13 0 158800070 1524977664 44632 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14485/statm: 372309 44632 1427 9 0 369652 0 [pid=14485/tid=14487] ppid=14483 vsize=1489236 CPUtime=5.46 /proc/14485/task/14487/stat : 14487 (java) R 14483 14485 14448 0 -1 64 33896 0 1 0 531 15 0 0 22 0 13 0 158800071 1524977664 44632 1992294400 134512640 134550932 4294956000 18446744073709551615 4109457871 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14488] ppid=14483 vsize=1489236 CPUtime=0.07 /proc/14485/task/14488/stat : 14488 (java) S 14483 14485 14448 0 -1 64 2981 0 0 0 7 0 0 0 17 0 13 0 158800073 1524977664 44632 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14489] ppid=14483 vsize=1489236 CPUtime=0.07 /proc/14485/task/14489/stat : 14489 (java) S 14483 14485 14448 0 -1 64 3121 0 0 0 6 1 0 0 16 0 13 0 158800073 1524977664 44632 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14490] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14490/stat : 14490 (java) S 14483 14485 14448 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 158800074 1524977664 44632 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14491] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14491/stat : 14491 (java) S 14483 14485 14448 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158800075 1524977664 44632 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14492] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14492/stat : 14492 (java) S 14483 14485 14448 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158800075 1524977664 44632 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14493] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14493/stat : 14493 (java) S 14483 14485 14448 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158800079 1524977664 44632 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14494] ppid=14483 vsize=1489236 CPUtime=1.33 /proc/14485/task/14494/stat : 14494 (java) S 14483 14485 14448 0 -1 64 5746 0 0 0 131 2 0 0 16 0 13 0 158800079 1524977664 44632 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14495] ppid=14483 vsize=1489236 CPUtime=1.17 /proc/14485/task/14495/stat : 14495 (java) S 14483 14485 14448 0 -1 64 6285 0 0 0 115 2 0 0 17 0 13 0 158800079 1524977664 44632 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14496] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14496/stat : 14496 (java) S 14483 14485 14448 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158800079 1524977664 44632 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14497] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14497/stat : 14497 (java) S 14483 14485 14448 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158800079 1524977664 44632 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14498] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14498/stat : 14498 (java) S 14483 14485 14448 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 158800102 1524977664 44632 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.16 Current children cumulated vsize (KiB) 1489236 [startup+12.7015 s] /proc/loadavg: 0.94 1.00 0.99 2/77 14498 /proc/meminfo: memFree=1165440/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=1489236 CPUtime=14.72 /proc/14485/stat : 14485 (java) S 14483 14485 14448 0 -1 0 56343 0 1 0 1446 26 0 0 18 0 13 0 158800070 1524977664 47467 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14485/statm: 372309 47467 1433 9 0 369652 0 [pid=14485/tid=14487] ppid=14483 vsize=1489236 CPUtime=11.79 /proc/14485/task/14487/stat : 14487 (java) R 14483 14485 14448 0 -1 64 33905 0 1 0 1164 15 0 0 25 0 13 0 158800071 1524977664 47467 1992294400 134512640 134550932 4294956000 18446744073709551615 4109491931 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14488] ppid=14483 vsize=1489236 CPUtime=0.1 /proc/14485/task/14488/stat : 14488 (java) S 14483 14485 14448 0 -1 64 4613 0 0 0 9 1 0 0 16 0 13 0 158800073 1524977664 47467 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14489] ppid=14483 vsize=1489236 CPUtime=0.11 /proc/14485/task/14489/stat : 14489 (java) S 14483 14485 14448 0 -1 64 5006 0 0 0 9 2 0 0 16 0 13 0 158800073 1524977664 47467 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14490] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14490/stat : 14490 (java) S 14483 14485 14448 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 158800074 1524977664 47467 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14491] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14491/stat : 14491 (java) S 14483 14485 14448 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158800075 1524977664 47467 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14492] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14492/stat : 14492 (java) S 14483 14485 14448 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158800075 1524977664 47467 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14493] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14493/stat : 14493 (java) S 14483 14485 14448 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158800079 1524977664 47467 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14494] ppid=14483 vsize=1489236 CPUtime=1.42 /proc/14485/task/14494/stat : 14494 (java) S 14483 14485 14448 0 -1 64 5751 0 0 0 140 2 0 0 17 0 13 0 158800079 1524977664 47467 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14495] ppid=14483 vsize=1489236 CPUtime=1.23 /proc/14485/task/14495/stat : 14495 (java) S 14483 14485 14448 0 -1 64 6291 0 0 0 121 2 0 0 15 0 13 0 158800079 1524977664 47467 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14496] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14496/stat : 14496 (java) S 14483 14485 14448 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158800079 1524977664 47467 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14497] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14497/stat : 14497 (java) S 14483 14485 14448 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158800079 1524977664 47467 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14498] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14498/stat : 14498 (java) S 14483 14485 14448 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 158800102 1524977664 47467 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.72 Current children cumulated vsize (KiB) 1489236 [startup+25.5022 s] /proc/loadavg: 0.95 1.00 0.99 2/77 14498 /proc/meminfo: memFree=1156992/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=1489236 CPUtime=27.65 /proc/14485/stat : 14485 (java) S 14483 14485 14448 0 -1 0 58684 0 1 0 2738 27 0 0 18 0 13 0 158800070 1524977664 49509 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14485/statm: 372309 49509 1437 9 0 369652 0 [pid=14485/tid=14487] ppid=14483 vsize=1489236 CPUtime=24.54 /proc/14485/task/14487/stat : 14487 (java) R 14483 14485 14448 0 -1 64 34125 0 1 0 2439 15 0 0 25 0 13 0 158800071 1524977664 49509 1992294400 134512640 134550932 4294956000 18446744073709551615 4109450739 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14488] ppid=14483 vsize=1489236 CPUtime=0.14 /proc/14485/task/14488/stat : 14488 (java) S 14483 14485 14448 0 -1 64 5653 0 0 0 12 2 0 0 16 0 13 0 158800073 1524977664 49509 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14489] ppid=14483 vsize=1489236 CPUtime=0.15 /proc/14485/task/14489/stat : 14489 (java) S 14483 14485 14448 0 -1 64 6083 0 0 0 12 3 0 0 16 0 13 0 158800073 1524977664 49509 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14490] ppid=14483 vsize=1489236 CPUtime=0 ################ # More data... # ################ [pid=14485/tid=14489] ppid=14483 vsize=1489236 CPUtime=1.49 /proc/14485/task/14489/stat : 14489 (java) S 14483 14485 14448 0 -1 64 40883 0 0 0 128 21 0 0 16 0 13 0 158800073 1524977664 107677 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14490] ppid=14483 vsize=1489236 CPUtime=0.07 /proc/14485/task/14490/stat : 14490 (java) S 14483 14485 14448 0 -1 64 30 0 0 0 5 2 0 0 16 0 13 0 158800074 1524977664 107677 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14491] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14491/stat : 14491 (java) S 14483 14485 14448 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158800075 1524977664 107677 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14492] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14492/stat : 14492 (java) S 14483 14485 14448 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158800075 1524977664 107677 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14493] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14493/stat : 14493 (java) S 14483 14485 14448 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158800079 1524977664 107677 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14494] ppid=14483 vsize=1489236 CPUtime=1.56 /proc/14485/task/14494/stat : 14494 (java) S 14483 14485 14448 0 -1 64 5757 0 0 0 154 2 0 0 17 0 13 0 158800079 1524977664 107677 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14495] ppid=14483 vsize=1489236 CPUtime=1.35 /proc/14485/task/14495/stat : 14495 (java) S 14483 14485 14448 0 -1 64 6295 0 0 0 133 2 0 0 15 0 13 0 158800079 1524977664 107677 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14496] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14496/stat : 14496 (java) S 14483 14485 14448 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158800079 1524977664 107677 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14497] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14497/stat : 14497 (java) S 14483 14485 14448 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158800079 1524977664 107677 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14498] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14498/stat : 14498 (java) S 14483 14485 14448 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 158800102 1524977664 107677 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1665.28 Current children cumulated vsize (KiB) 1489236 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 14504 /proc/meminfo: memFree=918080/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=1489236 CPUtime=1725.28 /proc/14485/stat : 14485 (java) S 14483 14485 14448 0 -1 0 124918 0 1 0 172457 71 0 0 18 0 13 0 158800070 1524977664 109027 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14485/statm: 372309 109027 1437 9 0 369652 0 [pid=14485/tid=14487] ppid=14483 vsize=1489236 CPUtime=1719.22 /proc/14485/task/14487/stat : 14487 (java) R 14483 14485 14448 0 -1 64 34565 0 1 0 171905 17 0 0 25 0 13 0 158800071 1524977664 109027 1992294400 134512640 134550932 4294956000 18446744073709551615 4109508314 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14488] ppid=14483 vsize=1489236 CPUtime=1.49 /proc/14485/task/14488/stat : 14488 (java) S 14483 14485 14448 0 -1 64 35379 0 0 0 128 21 0 0 16 0 13 0 158800073 1524977664 109027 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14489] ppid=14483 vsize=1489236 CPUtime=1.51 /proc/14485/task/14489/stat : 14489 (java) S 14483 14485 14448 0 -1 64 42145 0 0 0 129 22 0 0 16 0 13 0 158800073 1524977664 109027 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14490] ppid=14483 vsize=1489236 CPUtime=0.07 /proc/14485/task/14490/stat : 14490 (java) S 14483 14485 14448 0 -1 64 30 0 0 0 5 2 0 0 16 0 13 0 158800074 1524977664 109027 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14491] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14491/stat : 14491 (java) S 14483 14485 14448 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158800075 1524977664 109027 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14492] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14492/stat : 14492 (java) S 14483 14485 14448 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158800075 1524977664 109027 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14493] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14493/stat : 14493 (java) S 14483 14485 14448 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158800079 1524977664 109027 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14494] ppid=14483 vsize=1489236 CPUtime=1.56 /proc/14485/task/14494/stat : 14494 (java) S 14483 14485 14448 0 -1 64 5757 0 0 0 154 2 0 0 17 0 13 0 158800079 1524977664 109027 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14495] ppid=14483 vsize=1489236 CPUtime=1.35 /proc/14485/task/14495/stat : 14495 (java) S 14483 14485 14448 0 -1 64 6295 0 0 0 133 2 0 0 15 0 13 0 158800079 1524977664 109027 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14496] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14496/stat : 14496 (java) S 14483 14485 14448 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158800079 1524977664 109027 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14497] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14497/stat : 14497 (java) S 14483 14485 14448 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158800079 1524977664 109027 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14498] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14498/stat : 14498 (java) S 14483 14485 14448 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 158800102 1524977664 109027 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1725.28 Current children cumulated vsize (KiB) 1489236 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 14504 /proc/meminfo: memFree=908352/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=1489236 CPUtime=1785.27 /proc/14485/stat : 14485 (java) S 14483 14485 14448 0 -1 0 127356 0 1 0 178454 73 0 0 18 0 13 0 158800070 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14485/statm: 372309 111434 1437 9 0 369652 0 [pid=14485/tid=14487] ppid=14483 vsize=1489236 CPUtime=1779.18 /proc/14485/task/14487/stat : 14487 (java) R 14483 14485 14448 0 -1 64 34566 0 1 0 177901 17 0 0 25 0 13 0 158800071 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4109508256 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14488] ppid=14483 vsize=1489236 CPUtime=1.5 /proc/14485/task/14488/stat : 14488 (java) S 14483 14485 14448 0 -1 64 36613 0 0 0 128 22 0 0 16 0 13 0 158800073 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14489] ppid=14483 vsize=1489236 CPUtime=1.53 /proc/14485/task/14489/stat : 14489 (java) S 14483 14485 14448 0 -1 64 43348 0 0 0 130 23 0 0 16 0 13 0 158800073 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14490] ppid=14483 vsize=1489236 CPUtime=0.08 /proc/14485/task/14490/stat : 14490 (java) S 14483 14485 14448 0 -1 64 30 0 0 0 5 3 0 0 16 0 13 0 158800074 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14491] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14491/stat : 14491 (java) S 14483 14485 14448 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158800075 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14492] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14492/stat : 14492 (java) S 14483 14485 14448 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158800075 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14493] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14493/stat : 14493 (java) S 14483 14485 14448 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158800079 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14494] ppid=14483 vsize=1489236 CPUtime=1.56 /proc/14485/task/14494/stat : 14494 (java) S 14483 14485 14448 0 -1 64 5757 0 0 0 154 2 0 0 17 0 13 0 158800079 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14495] ppid=14483 vsize=1489236 CPUtime=1.35 /proc/14485/task/14495/stat : 14495 (java) S 14483 14485 14448 0 -1 64 6295 0 0 0 133 2 0 0 15 0 13 0 158800079 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14496] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14496/stat : 14496 (java) S 14483 14485 14448 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158800079 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14497] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14497/stat : 14497 (java) S 14483 14485 14448 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158800079 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14498] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14498/stat : 14498 (java) S 14483 14485 14448 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 158800102 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1785.27 Current children cumulated vsize (KiB) 1489236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.1 s] /proc/loadavg: 1.00 1.00 1.00 2/77 14504 /proc/meminfo: memFree=908352/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=1489236 CPUtime=1800.07 /proc/14485/stat : 14485 (java) S 14483 14485 14448 0 -1 0 127357 0 1 0 179934 73 0 0 18 0 13 0 158800070 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14485/statm: 372309 111434 1437 9 0 369652 0 [pid=14485/tid=14487] ppid=14483 vsize=1489236 CPUtime=1793.98 /proc/14485/task/14487/stat : 14487 (java) R 14483 14485 14448 0 -1 64 34567 0 1 0 179381 17 0 0 25 0 13 0 158800071 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4109508308 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14488] ppid=14483 vsize=1489236 CPUtime=1.5 /proc/14485/task/14488/stat : 14488 (java) S 14483 14485 14448 0 -1 64 36613 0 0 0 128 22 0 0 16 0 13 0 158800073 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14489] ppid=14483 vsize=1489236 CPUtime=1.53 /proc/14485/task/14489/stat : 14489 (java) S 14483 14485 14448 0 -1 64 43348 0 0 0 130 23 0 0 16 0 13 0 158800073 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14490] ppid=14483 vsize=1489236 CPUtime=0.09 /proc/14485/task/14490/stat : 14490 (java) S 14483 14485 14448 0 -1 64 30 0 0 0 6 3 0 0 16 0 13 0 158800074 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14491] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14491/stat : 14491 (java) S 14483 14485 14448 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158800075 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14492] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14492/stat : 14492 (java) S 14483 14485 14448 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158800075 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14493] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14493/stat : 14493 (java) S 14483 14485 14448 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158800079 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14494] ppid=14483 vsize=1489236 CPUtime=1.56 /proc/14485/task/14494/stat : 14494 (java) S 14483 14485 14448 0 -1 64 5757 0 0 0 154 2 0 0 17 0 13 0 158800079 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14495] ppid=14483 vsize=1489236 CPUtime=1.35 /proc/14485/task/14495/stat : 14495 (java) S 14483 14485 14448 0 -1 64 6295 0 0 0 133 2 0 0 15 0 13 0 158800079 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14496] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14496/stat : 14496 (java) S 14483 14485 14448 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158800079 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14497] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14497/stat : 14497 (java) S 14483 14485 14448 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158800079 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14498] ppid=14483 vsize=1489236 CPUtime=0 /proc/14485/task/14498/stat : 14498 (java) S 14483 14485 14448 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 158800102 1524977664 111434 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1489236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.41 s] /proc/loadavg: 1.00 1.00 1.00 3/77 14507 /proc/meminfo: memFree=908272/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=1489884 CPUtime=1800.65 /proc/14485/stat : 14485 (java) S 14483 14485 14448 0 -1 0 127380 0 1 0 179975 90 0 0 16 0 12 0 158800070 1525641216 111456 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/14485/statm: 372471 111456 1438 9 0 369814 0 [pid=14485/tid=14487] ppid=14483 vsize=1489884 CPUtime=1794.28 /proc/14485/task/14487/stat : 14487 (java) R 14483 14485 14448 0 -1 64 34567 0 1 0 179411 17 0 0 25 0 12 0 158800071 1525641216 111456 1992294400 134512640 134550932 4294956000 18446744073709551615 4109508285 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14485/tid=14488] ppid=14483 vsize=1489884 CPUtime=1.5 /proc/14485/task/14488/stat : 14488 (java) S 14483 14485 14448 0 -1 64 36613 0 0 0 128 22 0 0 16 0 12 0 158800073 1525641216 111456 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14489] ppid=14483 vsize=1489884 CPUtime=1.53 /proc/14485/task/14489/stat : 14489 (java) S 14483 14485 14448 0 -1 64 43348 0 0 0 130 23 0 0 16 0 12 0 158800073 1525641216 111456 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14490] ppid=14483 vsize=1489884 CPUtime=0.35 /proc/14485/task/14490/stat : 14490 (java) R 14483 14485 14448 0 -1 64 30 0 0 0 15 20 0 0 16 0 12 0 158800074 1525641216 111456 1992294400 134512640 134550932 4294956000 18446744073709551615 105829104 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14491] ppid=14483 vsize=1489884 CPUtime=0 /proc/14485/task/14491/stat : 14491 (java) S 14483 14485 14448 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 158800075 1525641216 111456 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14492] ppid=14483 vsize=1489884 CPUtime=0 /proc/14485/task/14492/stat : 14492 (java) S 14483 14485 14448 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 158800075 1525641216 111456 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14494] ppid=14483 vsize=1489884 CPUtime=1.56 /proc/14485/task/14494/stat : 14494 (java) S 14483 14485 14448 0 -1 64 5757 0 0 0 154 2 0 0 17 0 12 0 158800079 1525641216 111456 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14495] ppid=14483 vsize=1489884 CPUtime=1.35 /proc/14485/task/14495/stat : 14495 (java) S 14483 14485 14448 0 -1 64 6295 0 0 0 133 2 0 0 15 0 12 0 158800079 1525641216 111456 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14496] ppid=14483 vsize=1489884 CPUtime=0 /proc/14485/task/14496/stat : 14496 (java) S 14483 14485 14448 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158800079 1525641216 111456 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14498] ppid=14483 vsize=1489884 CPUtime=0 /proc/14485/task/14498/stat : 14498 (java) S 14483 14485 14448 0 -1 64 5 0 0 0 0 0 0 0 20 0 12 0 158800102 1525641216 111456 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14485/tid=14506] ppid=14483 vsize=1489884 CPUtime=0 /proc/14485/task/14506/stat : 14506 (java) S 14483 14485 14448 0 -1 64 11 0 0 0 0 0 0 0 18 0 12 0 158979782 1525641216 111456 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (KiB) 1489884 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 1.00 3/77 14507 /proc/meminfo: memFree=908272/2055920 swapFree=4192956/4192956 [pid=14485] ppid=14483 vsize=0 CPUtime=1800.98 /proc/14485/stat : 14485 (java) Z 14483 14485 14448 0 -1 1036 127380 0 1 0 179994 104 0 0 16 0 2 0 158800070 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/14485/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.98 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1797.62 CPU time (s): 1801.02 CPU user time (s): 1799.95 CPU system time (s): 1.07084 CPU usage (%): 100.189 Max. virtual memory (cumulated for all children) (KiB): 1491812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.95 system time used= 1.07084 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 127380 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= 40325 involuntary context switches= 14313 runsolver used 1.9537 second user time and 4.6043 second system time The end
Begin job on node13 at 2009-06-13 18:53:15 IDJOB=1856458 IDBENCH=2532 IDSOLVER=681 FILE ID=node13/1856458-1244911995 PBS_JOBID= 9354612 Free space on /tmp= 66360 MiB SOLVER NAME= SAT4J Pseudo CP 2.1.1 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1856458-1244911995/watcher-1856458-1244911995 -o /tmp/evaluation-result-1856458-1244911995/solver-1856458-1244911995 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1856458-1244911995.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e15fa473b46d7e2b0dca2d01a2541ab9 RANDOM SEED=362441376 node13.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1350656 kB Buffers: 77568 kB Cached: 542796 kB SwapCached: 0 kB Active: 55292 kB Inactive: 578936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1350656 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 560 kB Writeback: 0 kB Mapped: 23612 kB Slab: 57072 kB Committed_AS: 138892 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66356 MiB End job on node13 at 2009-06-13 19:23:15