Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo Resolution 2.1.1 | SAT (TO) | 1523 | 1801.31 | 1790.68 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb |
MD5SUM | 303eaeab4b7ccd67c7fab31d13d20bc2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1523 |
Best CPU time to get the best result obtained on this benchmark | 3.67744 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | YES |
Number of variables | 201 |
Total number of constraints | 133 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
Number of bits of the biggest sum of numbers | 15 |
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.15 c version 2.1.1.v20090612 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0_12 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.9-22.EL.rootsmp 0.09/0.15 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.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c MiniSAT restarts strategy 0.22/0.22 c Memory based learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c solving HOME/instance-1855373-1244873972.opb 0.22/0.22 c reading problem ... 0.33/0.39 c ... done. Wall clock time 0.177s. 0.33/0.39 c #vars 201 0.33/0.39 c #constraints 139 0.33/0.39 c constraints type 0.33/0.40 c org.sat4j.minisat.constraints.card.MinWatchCard => 80 0.33/0.40 c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 20 0.33/0.40 c org.sat4j.pb.constraints.pb.MaxWatchPb => 33 0.50/0.46 c SATISFIABLE 0.50/0.46 c OPTIMIZING... 0.50/0.46 c Got one! Elapsed wall clock time (in seconds):0.239 0.50/0.46 o 1599 0.69/0.51 c Got one! Elapsed wall clock time (in seconds):0.296 0.69/0.51 o 1589 0.69/0.55 c Got one! Elapsed wall clock time (in seconds):0.335 0.69/0.55 o 1561 779.84/775.34 c Got one! Elapsed wall clock time (in seconds):775.126 779.84/775.34 o 1555 780.34/775.87 c Got one! Elapsed wall clock time (in seconds):775.652 780.34/775.87 o 1547 780.46/775.98 c Got one! Elapsed wall clock time (in seconds):775.758 780.46/775.98 o 1543 780.46/776.00 c Got one! Elapsed wall clock time (in seconds):775.778 780.46/776.00 o 1533 780.56/776.01 c Got one! Elapsed wall clock time (in seconds):775.795 780.56/776.01 o 1523 1800.10/1790.01 c starts : 53 1800.10/1790.01 c conflicts : 2346255 1800.10/1790.01 c decisions : 2816017 1800.10/1790.01 c propagations : 26592447 1800.10/1790.01 c inspects : 4683784675 1800.10/1790.01 c learnt literals : 0 1800.10/1790.01 c learnt binary clauses : 277 1800.10/1790.01 c learnt ternary clauses : 359 1800.10/1790.01 c learnt clauses : 2346257 1800.10/1790.01 c ignored clauses : 0 1800.10/1790.01 c root simplifications : 0 1800.10/1790.01 c removed literals (reason simplification) : 33190808 1800.10/1790.01 c reason swapping (by a shorter reason) : 0 1800.10/1790.01 c Calls to reduceDB : 0 1800.10/1790.01 c speed (assignments/second) : 26225.48851373874 1800.10/1790.01 c non guided choices 0 1801.08/1790.54 c learnt constraints type 1801.08/1790.54 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 2346289 1801.08/1790.54 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 277 1801.08/1790.54 c constraints type 1801.08/1790.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 80 1801.08/1790.54 c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 20 1801.08/1790.54 c org.sat4j.pb.constraints.pb.MaxWatchPb => 34 1801.08/1790.54 s SATISFIABLE 1801.08/1790.54 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 1801.08/1790.54 c objective function=1523 1801.08/1790.54 c Total wall clock time (in seconds): 1790.325
OK 1523
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1855373-1244873972/watcher-1855373-1244873972 -o /tmp/evaluation-result-1855373-1244873972/solver-1855373-1244873972 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1855373-1244873972.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.92 0.98 0.99 3/64 8158 /proc/meminfo: memFree=525032/2055920 swapFree=4192956/4192956 [pid=8158] ppid=8156 vsize=272 CPUtime=0 /proc/8158/stat : 8158 (java6) R 8156 8158 8121 0 -1 0 53 0 0 0 0 0 0 0 18 0 1 0 154996515 278528 37 1992294400 134512640 134550932 4294956176 18446744073709551615 1463076 0 0 4096 0 0 0 0 17 1 0 0 /proc/8158/statm: 68 37 28 9 0 6 0 [startup+0.0818741 s] /proc/loadavg: 0.92 0.98 0.99 3/64 8158 /proc/meminfo: memFree=525032/2055920 swapFree=4192956/4192956 [pid=8158] ppid=8156 vsize=1470220 CPUtime=0.06 /proc/8158/stat : 8158 (java) S 8156 8158 8121 0 -1 0 3429 0 1 0 4 2 0 0 18 0 7 0 154996515 1505505280 3174 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 /proc/8158/statm: 367555 3174 1036 9 0 364906 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1470220 [startup+0.101883 s] /proc/loadavg: 0.92 0.98 0.99 3/64 8158 /proc/meminfo: memFree=525032/2055920 swapFree=4192956/4192956 [pid=8158] ppid=8156 vsize=1472584 CPUtime=0.09 /proc/8158/stat : 8158 (java) S 8156 8158 8121 0 -1 0 3602 0 1 0 6 3 0 0 18 0 12 0 154996515 1507926016 3345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8158/statm: 368146 3345 1066 9 0 365494 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1472584 [startup+0.301898 s] /proc/loadavg: 0.92 0.98 0.99 3/64 8158 /proc/meminfo: memFree=525032/2055920 swapFree=4192956/4192956 [pid=8158] ppid=8156 vsize=1474736 CPUtime=0.33 /proc/8158/stat : 8158 (java) S 8156 8158 8121 0 -1 0 5082 0 1 0 29 4 0 0 18 0 12 0 154996515 1510129664 4820 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8158/statm: 368684 4820 1352 9 0 366027 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1474736 [startup+0.701947 s] /proc/loadavg: 0.92 0.98 0.99 3/64 8158 /proc/meminfo: memFree=525032/2055920 swapFree=4192956/4192956 [pid=8158] ppid=8156 vsize=1478928 CPUtime=1.05 /proc/8158/stat : 8158 (java) S 8156 8158 8121 0 -1 0 7453 0 1 0 100 5 0 0 18 0 13 0 154996515 1514422272 6262 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8158/statm: 369732 6262 1410 9 0 367075 0 Current children cumulated CPU time (s) 1.05 Current children cumulated vsize (KiB) 1478928 [startup+1.50103 s] /proc/loadavg: 0.92 0.98 0.99 4/77 8171 /proc/meminfo: memFree=496896/2055920 swapFree=4192956/4192956 [pid=8158] ppid=8156 vsize=1478356 CPUtime=2.14 /proc/8158/stat : 8158 (java) S 8156 8158 8121 0 -1 0 20160 0 1 0 203 11 0 0 18 0 13 0 154996515 1513836544 17885 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8158/statm: 369589 17886 1414 9 0 366932 0 [pid=8158/tid=8160] ppid=8156 vsize=1478356 CPUtime=1.2 /proc/8158/task/8160/stat : 8160 (java) R 8156 8158 8121 0 -1 64 15945 0 1 0 111 9 0 0 20 0 13 0 154996516 1513836544 17887 1992294400 134512640 134550932 4294956016 18446744073709551615 4109487734 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8161] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8161/stat : 8161 (java) S 8156 8158 8121 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 154996518 1513836544 17889 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8162] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8162/stat : 8162 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 154996518 1513836544 17890 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8163] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8163/stat : 8163 (java) S 8156 8158 8121 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 154996519 1513836544 17891 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8164] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8164/stat : 8164 (java) S 8156 8158 8121 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 154996520 1513836544 17892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8165] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8165/stat : 8165 (java) S 8156 8158 8121 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 154996520 1513836544 17893 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8166] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8166/stat : 8166 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154996524 1513836544 17893 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8167] ppid=8156 vsize=1478356 CPUtime=0.39 /proc/8158/task/8167/stat : 8167 (java) S 8156 8158 8121 0 -1 64 1419 0 0 0 39 0 0 0 15 0 13 0 154996524 1513836544 17894 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8168] ppid=8156 vsize=1478356 CPUtime=0.52 /proc/8158/task/8168/stat : 8168 (java) S 8156 8158 8121 0 -1 64 2050 0 0 0 52 0 0 0 16 0 13 0 154996524 1513836544 17895 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8169] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8169/stat : 8169 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154996524 1513836544 17896 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8170] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8170/stat : 8170 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154996524 1513836544 17897 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8171] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8171/stat : 8171 (java) S 8156 8158 8121 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 154996557 1513836544 17897 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.14 Current children cumulated vsize (KiB) 1478356 [startup+3.1022 s] /proc/loadavg: 0.92 0.98 0.99 2/77 8171 /proc/meminfo: memFree=413888/2055920 swapFree=4192956/4192956 [pid=8158] ppid=8156 vsize=1478356 CPUtime=3.95 /proc/8158/stat : 8158 (java) S 8156 8158 8121 0 -1 0 36052 0 1 0 377 18 0 0 18 0 13 0 154996515 1513836544 33372 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8158/statm: 369589 33372 1427 9 0 366932 0 [pid=8158/tid=8160] ppid=8156 vsize=1478356 CPUtime=2.78 /proc/8158/task/8160/stat : 8160 (java) R 8156 8158 8121 0 -1 64 30965 0 1 0 263 15 0 0 24 0 13 0 154996516 1513836544 33372 1992294400 134512640 134550932 4294956016 18446744073709551615 4109498822 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8161] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8161/stat : 8161 (java) S 8156 8158 8121 0 -1 64 215 0 0 0 0 0 0 0 16 0 13 0 154996518 1513836544 33372 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8162] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8162/stat : 8162 (java) S 8156 8158 8121 0 -1 64 231 0 0 0 0 0 0 0 16 0 13 0 154996518 1513836544 33372 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8163] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8163/stat : 8163 (java) S 8156 8158 8121 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 154996519 1513836544 33372 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8164] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8164/stat : 8164 (java) S 8156 8158 8121 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 154996520 1513836544 33372 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8165] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8165/stat : 8165 (java) S 8156 8158 8121 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154996520 1513836544 33372 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8166] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8166/stat : 8166 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154996524 1513836544 33372 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8167] ppid=8156 vsize=1478356 CPUtime=0.44 /proc/8158/task/8167/stat : 8167 (java) S 8156 8158 8121 0 -1 64 1421 0 0 0 44 0 0 0 16 0 13 0 154996524 1513836544 33372 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8168] ppid=8156 vsize=1478356 CPUtime=0.67 /proc/8158/task/8168/stat : 8168 (java) S 8156 8158 8121 0 -1 64 2467 0 0 0 67 0 0 0 16 0 13 0 154996524 1513836544 33372 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8169] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8169/stat : 8169 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154996524 1513836544 33372 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8170] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8170/stat : 8170 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154996524 1513836544 33372 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8171] ppid=8156 vsize=1478356 CPUtime=0 /proc/8158/task/8171/stat : 8171 (java) S 8156 8158 8121 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 154996557 1513836544 33372 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.95 Current children cumulated vsize (KiB) 1478356 [startup+6.30256 s] /proc/loadavg: 0.93 0.98 0.99 2/77 8171 /proc/meminfo: memFree=390976/2055920 swapFree=4192956/4192956 [pid=8158] ppid=8156 vsize=1476372 CPUtime=7.19 /proc/8158/stat : 8158 (java) S 8156 8158 8121 0 -1 0 38497 0 1 0 700 19 0 0 18 0 13 0 154996515 1511804928 35435 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8158/statm: 369093 35435 1427 9 0 366436 0 [pid=8158/tid=8160] ppid=8156 vsize=1476372 CPUtime=5.93 /proc/8158/task/8160/stat : 8160 (java) R 8156 8158 8121 0 -1 64 30970 0 1 0 578 15 0 0 24 0 13 0 154996516 1511804928 35435 1992294400 134512640 134550932 4294956016 18446744073709551615 4109513970 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8161] ppid=8156 vsize=1476372 CPUtime=0.04 /proc/8158/task/8161/stat : 8161 (java) S 8156 8158 8121 0 -1 64 1458 0 0 0 4 0 0 0 17 0 13 0 154996518 1511804928 35435 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8162] ppid=8156 vsize=1476372 CPUtime=0.04 /proc/8158/task/8162/stat : 8162 (java) S 8156 8158 8121 0 -1 64 1419 0 0 0 4 0 0 0 16 0 13 0 154996518 1511804928 35435 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8163] ppid=8156 vsize=1476372 CPUtime=0 /proc/8158/task/8163/stat : 8163 (java) S 8156 8158 8121 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 154996519 1511804928 35435 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8164] ppid=8156 vsize=1476372 CPUtime=0 /proc/8158/task/8164/stat : 8164 (java) S 8156 8158 8121 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 154996520 1511804928 35435 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8165] ppid=8156 vsize=1476372 CPUtime=0 /proc/8158/task/8165/stat : 8165 (java) S 8156 8158 8121 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154996520 1511804928 35435 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8166] ppid=8156 vsize=1476372 CPUtime=0 /proc/8158/task/8166/stat : 8166 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154996524 1511804928 35435 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8167] ppid=8156 vsize=1476372 CPUtime=0.44 /proc/8158/task/8167/stat : 8167 (java) S 8156 8158 8121 0 -1 64 1421 0 0 0 44 0 0 0 16 0 13 0 154996524 1511804928 35435 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8168] ppid=8156 vsize=1476372 CPUtime=0.67 /proc/8158/task/8168/stat : 8168 (java) S 8156 8158 8121 0 -1 64 2467 0 0 0 67 0 0 0 16 0 13 0 154996524 1511804928 35435 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8169] ppid=8156 vsize=1476372 CPUtime=0 /proc/8158/task/8169/stat : 8169 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154996524 1511804928 35435 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8170] ppid=8156 vsize=1476372 CPUtime=0 /proc/8158/task/8170/stat : 8170 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154996524 1511804928 35435 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8171] ppid=8156 vsize=1476372 CPUtime=0 /proc/8158/task/8171/stat : 8171 (java) S 8156 8158 8121 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 154996557 1511804928 35435 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.19 Current children cumulated vsize (KiB) 1476372 [startup+12.7023 s] /proc/loadavg: 0.93 0.98 0.99 2/77 8171 /proc/meminfo: memFree=362640/2055920 swapFree=4192956/4192956 [pid=8158] ppid=8156 vsize=1476084 CPUtime=13.69 /proc/8158/stat : 8158 (java) S 8156 8158 8121 0 -1 0 45116 0 1 0 1348 21 0 0 18 0 13 0 154996515 1511510016 41751 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8158/statm: 369021 41751 1427 9 0 366364 0 [pid=8158/tid=8160] ppid=8156 vsize=1476084 CPUtime=12.24 /proc/8158/task/8160/stat : 8160 (java) R 8156 8158 8121 0 -1 64 32385 0 1 0 1208 16 0 0 25 0 13 0 154996516 1511510016 41751 1992294400 134512640 134550932 4294956016 18446744073709551615 4109487278 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8161] ppid=8156 vsize=1476084 CPUtime=0.13 /proc/8158/task/8161/stat : 8161 (java) S 8156 8158 8121 0 -1 64 4153 0 0 0 12 1 0 0 17 0 13 0 154996518 1511510016 41751 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8162] ppid=8156 vsize=1476084 CPUtime=0.13 /proc/8158/task/8162/stat : 8162 (java) S 8156 8158 8121 0 -1 64 3920 0 0 0 12 1 0 0 16 0 13 0 154996518 1511510016 41751 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8163] ppid=8156 vsize=1476084 CPUtime=0 /proc/8158/task/8163/stat : 8163 (java) S 8156 8158 8121 0 -1 64 23 0 0 0 0 0 0 0 16 0 13 0 154996519 1511510016 41751 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8164] ppid=8156 vsize=1476084 CPUtime=0 /proc/8158/task/8164/stat : 8164 (java) S 8156 8158 8121 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 154996520 1511510016 41751 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8165] ppid=8156 vsize=1476084 CPUtime=0 /proc/8158/task/8165/stat : 8165 (java) S 8156 8158 8121 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154996520 1511510016 41751 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8166] ppid=8156 vsize=1476084 CPUtime=0 /proc/8158/task/8166/stat : 8166 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154996524 1511510016 41751 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8167] ppid=8156 vsize=1476084 CPUtime=0.44 /proc/8158/task/8167/stat : 8167 (java) S 8156 8158 8121 0 -1 64 1421 0 0 0 44 0 0 0 16 0 13 0 154996524 1511510016 41751 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8168] ppid=8156 vsize=1476084 CPUtime=0.69 /proc/8158/task/8168/stat : 8168 (java) S 8156 8158 8121 0 -1 64 2469 0 0 0 69 0 0 0 16 0 13 0 154996524 1511510016 41751 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8169] ppid=8156 vsize=1476084 CPUtime=0 /proc/8158/task/8169/stat : 8169 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154996524 1511510016 41751 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8170] ppid=8156 vsize=1476084 CPUtime=0 /proc/8158/task/8170/stat : 8170 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154996524 1511510016 41751 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8171] ppid=8156 vsize=1476084 CPUtime=0 /proc/8158/task/8171/stat : 8171 (java) S 8156 8158 8121 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 154996557 1511510016 41751 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.69 Current children cumulated vsize (KiB) 1476084 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/77 8171 /proc/meminfo: memFree=341200/2055920 swapFree=4192956/4192956 [pid=8158] ppid=8156 vsize=1476084 CPUtime=26.64 /proc/8158/stat : 8158 (java) S 8156 8158 8121 0 -1 0 50930 0 1 0 2640 24 0 0 18 0 13 0 154996515 1511510016 47099 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8158/statm: 369021 47099 1427 9 0 366364 0 [pid=8158/tid=8160] ppid=8156 vsize=1476084 CPUtime=24.89 /proc/8158/task/8160/stat : 8160 (java) R 8156 8158 8121 0 -1 64 32391 0 1 0 2473 16 0 0 25 0 13 0 154996516 1511510016 47099 1992294400 134512640 134550932 4294956016 18446744073709551615 4109449729 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8161] ppid=8156 vsize=1476084 CPUtime=0.28 /proc/8158/task/8161/stat : 8161 (java) S 8156 8158 8121 0 -1 64 7093 0 0 0 26 2 0 0 17 0 13 0 154996518 1511510016 47099 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8162] ppid=8156 vsize=1476084 CPUtime=0.28 /proc/8158/task/8162/stat : 8162 (java) S 8156 8158 8121 0 -1 64 6788 0 0 0 26 2 0 0 17 0 13 0 154996518 1511510016 47099 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8163] ppid=8156 vsize=1476084 CPUtime=0 ################ # More data... # ################ [pid=8158/tid=8163] ppid=8156 vsize=1481204 CPUtime=0.01 /proc/8158/task/8163/stat : 8163 (java) S 8156 8158 8121 0 -1 64 23 0 0 0 1 0 0 0 16 0 13 0 154996519 1516752896 167949 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8164] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8164/stat : 8164 (java) S 8156 8158 8121 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 154996520 1516752896 167949 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8165] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8165/stat : 8165 (java) S 8156 8158 8121 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154996520 1516752896 167949 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8166] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8166/stat : 8166 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154996524 1516752896 167949 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8167] ppid=8156 vsize=1481204 CPUtime=0.51 /proc/8158/task/8167/stat : 8167 (java) S 8156 8158 8121 0 -1 64 2043 0 0 0 50 1 0 0 17 0 13 0 154996524 1516752896 167949 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8168] ppid=8156 vsize=1481204 CPUtime=1.25 /proc/8158/task/8168/stat : 8168 (java) S 8156 8158 8121 0 -1 64 7585 0 0 0 122 3 0 0 19 0 13 0 154996524 1516752896 167949 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8169] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8169/stat : 8169 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154996524 1516752896 167949 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8170] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8170/stat : 8170 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154996524 1516752896 167949 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8171] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8171/stat : 8171 (java) S 8156 8158 8121 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 154996557 1516752896 167949 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1671.76 Current children cumulated vsize (KiB) 1481204 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 8171 /proc/meminfo: memFree=15696/2055920 swapFree=4192952/4192956 [pid=8158] ppid=8156 vsize=1481204 CPUtime=1732.17 /proc/8158/stat : 8158 (java) S 8156 8158 8121 0 -1 0 183559 0 1 0 173124 93 0 0 18 0 13 0 154996515 1516752896 171630 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8158/statm: 370301 171630 1427 9 0 367644 0 [pid=8158/tid=8160] ppid=8156 vsize=1481204 CPUtime=1711.39 /proc/8158/task/8160/stat : 8160 (java) R 8156 8158 8121 0 -1 64 32542 0 1 0 171121 18 0 0 25 0 13 0 154996516 1516752896 171630 1992294400 134512640 134550932 4294956016 18446744073709551615 4109487278 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8161] ppid=8156 vsize=1481204 CPUtime=9.55 /proc/8158/task/8161/stat : 8161 (java) S 8156 8158 8121 0 -1 64 63358 0 0 0 926 29 0 0 16 0 13 0 154996518 1516752896 171630 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8162] ppid=8156 vsize=1481204 CPUtime=9.39 /proc/8158/task/8162/stat : 8162 (java) S 8156 8158 8121 0 -1 64 77263 0 0 0 901 38 0 0 17 0 13 0 154996518 1516752896 171630 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8163] ppid=8156 vsize=1481204 CPUtime=0.03 /proc/8158/task/8163/stat : 8163 (java) S 8156 8158 8121 0 -1 64 23 0 0 0 2 1 0 0 16 0 13 0 154996519 1516752896 171630 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8164] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8164/stat : 8164 (java) S 8156 8158 8121 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 154996520 1516752896 171630 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8165] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8165/stat : 8165 (java) S 8156 8158 8121 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154996520 1516752896 171630 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8166] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8166/stat : 8166 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154996524 1516752896 171630 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8167] ppid=8156 vsize=1481204 CPUtime=0.51 /proc/8158/task/8167/stat : 8167 (java) S 8156 8158 8121 0 -1 64 2043 0 0 0 50 1 0 0 17 0 13 0 154996524 1516752896 171630 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8168] ppid=8156 vsize=1481204 CPUtime=1.25 /proc/8158/task/8168/stat : 8168 (java) S 8156 8158 8121 0 -1 64 7585 0 0 0 122 3 0 0 19 0 13 0 154996524 1516752896 171630 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8169] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8169/stat : 8169 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154996524 1516752896 171630 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8170] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8170/stat : 8170 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154996524 1516752896 171630 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8171] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8171/stat : 8171 (java) S 8156 8158 8121 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 154996557 1516752896 171630 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1732.17 Current children cumulated vsize (KiB) 1481204 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 8171 /proc/meminfo: memFree=15888/2055920 swapFree=4192952/4192956 [pid=8158] ppid=8156 vsize=1481204 CPUtime=1792.39 /proc/8158/stat : 8158 (java) S 8156 8158 8121 0 -1 0 186289 0 1 0 179145 94 0 0 18 0 13 0 154996515 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8158/statm: 370301 174333 1427 9 0 367644 0 [pid=8158/tid=8160] ppid=8156 vsize=1481204 CPUtime=1771.13 /proc/8158/task/8160/stat : 8160 (java) R 8156 8158 8121 0 -1 64 32544 0 1 0 177095 18 0 0 25 0 13 0 154996516 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4109564735 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8161] ppid=8156 vsize=1481204 CPUtime=9.79 /proc/8158/task/8161/stat : 8161 (java) S 8156 8158 8121 0 -1 64 64567 0 0 0 950 29 0 0 16 0 13 0 154996518 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8162] ppid=8156 vsize=1481204 CPUtime=9.63 /proc/8158/task/8162/stat : 8162 (java) S 8156 8158 8121 0 -1 64 78782 0 0 0 924 39 0 0 17 0 13 0 154996518 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8163] ppid=8156 vsize=1481204 CPUtime=0.03 /proc/8158/task/8163/stat : 8163 (java) S 8156 8158 8121 0 -1 64 23 0 0 0 2 1 0 0 16 0 13 0 154996519 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8164] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8164/stat : 8164 (java) S 8156 8158 8121 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 154996520 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8165] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8165/stat : 8165 (java) S 8156 8158 8121 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154996520 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8166] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8166/stat : 8166 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154996524 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8167] ppid=8156 vsize=1481204 CPUtime=0.51 /proc/8158/task/8167/stat : 8167 (java) S 8156 8158 8121 0 -1 64 2043 0 0 0 50 1 0 0 17 0 13 0 154996524 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8168] ppid=8156 vsize=1481204 CPUtime=1.25 /proc/8158/task/8168/stat : 8168 (java) S 8156 8158 8121 0 -1 64 7585 0 0 0 122 3 0 0 19 0 13 0 154996524 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8169] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8169/stat : 8169 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154996524 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8170] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8170/stat : 8170 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154996524 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8171] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8171/stat : 8171 (java) S 8156 8158 8121 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 154996557 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1792.39 Current children cumulated vsize (KiB) 1481204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1790 s] /proc/loadavg: 1.00 1.00 1.00 2/77 8171 /proc/meminfo: memFree=15888/2055920 swapFree=4192952/4192956 [pid=8158] ppid=8156 vsize=1481204 CPUtime=1800.1 /proc/8158/stat : 8158 (java) S 8156 8158 8121 0 -1 0 186289 0 1 0 179915 95 0 0 18 0 13 0 154996515 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/8158/statm: 370301 174333 1427 9 0 367644 0 [pid=8158/tid=8160] ppid=8156 vsize=1481204 CPUtime=1778.84 /proc/8158/task/8160/stat : 8160 (java) R 8156 8158 8121 0 -1 64 32544 0 1 0 177865 19 0 0 25 0 13 0 154996516 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4109564735 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8161] ppid=8156 vsize=1481204 CPUtime=9.79 /proc/8158/task/8161/stat : 8161 (java) S 8156 8158 8121 0 -1 64 64567 0 0 0 950 29 0 0 16 0 13 0 154996518 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8162] ppid=8156 vsize=1481204 CPUtime=9.63 /proc/8158/task/8162/stat : 8162 (java) S 8156 8158 8121 0 -1 64 78782 0 0 0 924 39 0 0 17 0 13 0 154996518 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8163] ppid=8156 vsize=1481204 CPUtime=0.03 /proc/8158/task/8163/stat : 8163 (java) S 8156 8158 8121 0 -1 64 23 0 0 0 2 1 0 0 16 0 13 0 154996519 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8164] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8164/stat : 8164 (java) S 8156 8158 8121 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 154996520 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8165] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8165/stat : 8165 (java) S 8156 8158 8121 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 154996520 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8166] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8166/stat : 8166 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 154996524 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8167] ppid=8156 vsize=1481204 CPUtime=0.51 /proc/8158/task/8167/stat : 8167 (java) S 8156 8158 8121 0 -1 64 2043 0 0 0 50 1 0 0 17 0 13 0 154996524 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8168] ppid=8156 vsize=1481204 CPUtime=1.25 /proc/8158/task/8168/stat : 8168 (java) S 8156 8158 8121 0 -1 64 7585 0 0 0 122 3 0 0 19 0 13 0 154996524 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8169] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8169/stat : 8169 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 154996524 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8170] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8170/stat : 8170 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 154996524 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8171] ppid=8156 vsize=1481204 CPUtime=0 /proc/8158/task/8171/stat : 8171 (java) S 8156 8158 8121 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 154996557 1516752896 174333 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1481204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1790.2 s] /proc/loadavg: 1.00 1.00 1.00 2/77 8171 /proc/meminfo: memFree=15888/2055920 swapFree=4192952/4192956 [pid=8158] ppid=8156 vsize=1480828 CPUtime=1800.48 /proc/8158/stat : 8158 (java) S 8156 8158 8121 0 -1 0 186314 0 1 0 179953 95 0 0 16 0 15 0 154996515 1516367872 174245 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/8158/statm: 370207 174245 1429 9 0 367550 0 [pid=8158/tid=8160] ppid=8156 vsize=1480828 CPUtime=1779.03 /proc/8158/task/8160/stat : 8160 (java) R 8156 8158 8121 0 -1 64 32544 0 1 0 177884 19 0 0 25 0 15 0 154996516 1516367872 174245 1992294400 134512640 134550932 4294956016 18446744073709551615 4109564735 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8161] ppid=8156 vsize=1480828 CPUtime=9.79 /proc/8158/task/8161/stat : 8161 (java) S 8156 8158 8121 0 -1 64 64567 0 0 0 950 29 0 0 16 0 15 0 154996518 1516367872 174245 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8162] ppid=8156 vsize=1480828 CPUtime=9.63 /proc/8158/task/8162/stat : 8162 (java) S 8156 8158 8121 0 -1 64 78782 0 0 0 924 39 0 0 17 0 15 0 154996518 1516367872 174245 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8163] ppid=8156 vsize=1480828 CPUtime=0.03 /proc/8158/task/8163/stat : 8163 (java) S 8156 8158 8121 0 -1 64 23 0 0 0 2 1 0 0 16 0 15 0 154996519 1516367872 174245 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8164] ppid=8156 vsize=1480828 CPUtime=0 /proc/8158/task/8164/stat : 8164 (java) S 8156 8158 8121 0 -1 64 10 0 0 0 0 0 0 0 16 0 15 0 154996520 1516367872 174245 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8165] ppid=8156 vsize=1480828 CPUtime=0 /proc/8158/task/8165/stat : 8165 (java) S 8156 8158 8121 0 -1 64 7 0 0 0 0 0 0 0 16 0 15 0 154996520 1516367872 174245 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8166] ppid=8156 vsize=1480828 CPUtime=0 /proc/8158/task/8166/stat : 8166 (java) S 8156 8158 8121 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 154996524 1516367872 174245 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8167] ppid=8156 vsize=1480828 CPUtime=0.51 /proc/8158/task/8167/stat : 8167 (java) S 8156 8158 8121 0 -1 64 2043 0 0 0 50 1 0 0 17 0 15 0 154996524 1516367872 174245 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=8158/tid=8168] ppid=8156 vsize=1480828 CPUtime=1.28 /proc/8158/task/8168/stat : 8168 (java) S 8156 8158 8121 0 -1 64 7590 0 0 0 125 3 0 0 17 0 15 0 154996524 1516367872 174245 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8169] ppid=8156 vsize=1480828 CPUtime=0 /proc/8158/task/8169/stat : 8169 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 25 0 15 0 154996524 1516367872 174245 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8170] ppid=8156 vsize=1480828 CPUtime=0 /proc/8158/task/8170/stat : 8170 (java) S 8156 8158 8121 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 154996524 1516367872 174245 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=8158/tid=8171] ppid=8156 vsize=1480828 CPUtime=0 /proc/8158/task/8171/stat : 8171 (java) S 8156 8158 8121 0 -1 64 4 0 0 0 0 0 0 0 20 0 15 0 154996557 1516367872 174245 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (KiB) 1480828 [startup+1790.6 s] /proc/loadavg: 1.00 1.00 1.00 2/77 8171 /proc/meminfo: memFree=15888/2055920 swapFree=4192952/4192956 [pid=8158] ppid=8156 vsize=0 CPUtime=1801.22 /proc/8158/stat : 8158 (java) Z 8156 8158 8121 0 -1 1036 186317 0 1 0 180025 97 0 0 15 0 2 0 154996515 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/8158/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.22 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1790.68 CPU time (s): 1801.31 CPU user time (s): 1800.26 CPU system time (s): 1.05284 CPU usage (%): 100.594 Max. virtual memory (cumulated for all children) (KiB): 1488924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.26 system time used= 1.05284 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 186317 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= 39066 involuntary context switches= 24743 runsolver used 2.15667 second user time and 4.38733 second system time The end
Begin job on node35 at 2009-06-13 08:19:32 IDJOB=1855373 IDBENCH=1858 IDSOLVER=682 FILE ID=node35/1855373-1244873972 PBS_JOBID= 9354403 Free space on /tmp= 66204 MiB SOLVER NAME= SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1855373-1244873972/watcher-1855373-1244873972 -o /tmp/evaluation-result-1855373-1244873972/solver-1855373-1244873972 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1855373-1244873972.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2 RANDOM SEED=2126332114 node35.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.232 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.232 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: 525448 kB Buffers: 77548 kB Cached: 1349364 kB SwapCached: 0 kB Active: 261144 kB Inactive: 1179628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 525448 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 384 kB Writeback: 0 kB Mapped: 23600 kB Slab: 75708 kB Committed_AS: 128800 kB PageTables: 1400 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= 66204 MiB End job on node35 at 2009-06-13 08:49:24