Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.16 | 1705.69 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo |
MD5SUM | 426e5957e411ffe2f76bd332943fd07d |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 467.838 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 1816 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 92461 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 92460 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 661 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100526 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch i386 0.00/0.07 c Free memory 1393557488 0.00/0.07 c Max memory 1395916800 0.00/0.07 c Total memory 1395916800 0.00/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1b16e52 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2692169-1277904734.wbo 0.11/0.10 c reading problem ... 0.51/0.30 c ... done. Wall clock time 0.2s. 0.51/0.30 c #vars 2047 0.51/0.30 c #constraints 2707 0.51/0.30 c constraints type 0.51/0.30 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 84 0.51/0.30 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 812 0.51/0.30 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1810 0.51/0.30 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.61/1.09 c SATISFIABLE 2.61/1.09 c OPTIMIZING... 2.61/1.09 c Got one! Elapsed wall clock time (in seconds):0.993 2.61/1.09 o 556 3.75/1.79 c Got one! Elapsed wall clock time (in seconds):1.691 3.75/1.79 o 547 5.83/3.68 c Got one! Elapsed wall clock time (in seconds):3.585 5.83/3.69 o 485 6.57/4.36 c Got one! Elapsed wall clock time (in seconds):4.262 6.57/4.36 o 478 9.79/7.57 c Got one! Elapsed wall clock time (in seconds):7.471 9.79/7.57 o 471 14.50/12.16 c Got one! Elapsed wall clock time (in seconds):12.063 14.50/12.16 o 451 16.83/14.47 c Got one! Elapsed wall clock time (in seconds):14.367 16.83/14.47 o 391 30.94/28.17 c Got one! Elapsed wall clock time (in seconds):28.074 30.94/28.17 o 322 64.49/60.91 c Got one! Elapsed wall clock time (in seconds):60.809 64.49/60.91 o 311 87.22/83.09 c Got one! Elapsed wall clock time (in seconds):82.995 87.22/83.09 o 308 95.47/91.12 c cleaning 0 clauses out of 5002 with flag 0/5002 115.69/110.88 c Got one! Elapsed wall clock time (in seconds):110.777 115.69/110.88 o 283 174.92/168.62 c Got one! Elapsed wall clock time (in seconds):168.524 174.92/168.62 o 278 320.31/308.13 c Got one! Elapsed wall clock time (in seconds):308.034 320.31/308.13 o 246 467.81/449.59 c Got one! Elapsed wall clock time (in seconds):449.493 467.81/449.59 o 237 478.23/459.55 c cleaning 0 clauses out of 11001 with flag 0/11001 595.72/572.18 c Got one! Elapsed wall clock time (in seconds):572.08 595.72/572.18 o 220 909.87/868.59 c Got one! Elapsed wall clock time (in seconds):868.488 909.87/868.59 o 219 1284.35/1221.25 c Got one! Elapsed wall clock time (in seconds):1221.152 1284.35/1221.25 o 185 1398.10/1329.38 c Got one! Elapsed wall clock time (in seconds):1329.277 1398.10/1329.38 o 161 1422.77/1352.74 c cleaning 0 clauses out of 18000 with flag 0/18000 1800.03/1705.61 c starts : 61 1800.03/1705.61 c conflicts : 19520 1800.03/1705.61 c decisions : 114130 1800.03/1705.61 c propagations : 1678986 1800.03/1705.61 c inspects : 1371167757 1800.03/1705.61 c learnt literals : 0 1800.03/1705.61 c learnt binary clauses : 0 1800.03/1705.61 c learnt ternary clauses : 0 1800.03/1705.61 c learnt clauses : 19520 1800.03/1705.61 c ignored clauses : 0 1800.03/1705.61 c root simplifications : 0 1800.03/1705.61 c removed literals (reason simplification) : 0 1800.03/1705.61 c reason swapping (by a shorter reason) : 0 1800.03/1705.61 c Calls to reduceDB : 3 1800.03/1705.61 c number of reductions to clauses (during analyze) : 0 1800.03/1705.61 c number of learned constraints concerned by reduction : 0 1800.03/1705.61 c number of learning phase by resolution : 0 1800.03/1705.61 c number of learning phase by cutting planes : 0 1800.03/1705.61 c speed (assignments/second) : 4462.68220334478 1800.03/1705.61 c non guided choices 2145 1800.03/1705.62 c learnt constraints type 1800.03/1705.62 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 16 1800.03/1705.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3 1800.03/1705.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 19501 1800.03/1705.62 c constraints type 1800.03/1705.62 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 84 1800.03/1705.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 812 1800.03/1705.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1810 1800.03/1705.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.03/1705.62 s SATISFIABLE 1800.03/1705.62 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.03/1705.62 c objective function=161 1800.03/1705.62 c Total wall clock time (in seconds): 1705.524
OK 161
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692169-1277904734/watcher-2692169-1277904734 -o /tmp/evaluation-result-2692169-1277904734/solver-2692169-1277904734 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692169-1277904734.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.25 2.47 2/178 10717 /proc/meminfo: memFree=30643648/32951124 swapFree=67111528/67111528 [pid=10717] ppid=10715 vsize=248 CPUtime=0 /proc/10717/stat : 10717 (java) R 10715 10717 9931 0 -1 4194304 283 0 0 0 0 0 0 0 25 0 1 0 131770819 253952 28 4089446400 134512640 134550932 4294834528 18446744073709551615 9552468 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/10717/statm: 62 28 21 10 0 23 0 [startup+0.0982289 s] /proc/loadavg: 2.01 2.25 2.47 2/178 10717 /proc/meminfo: memFree=30643648/32951124 swapFree=67111528/67111528 [pid=10717] ppid=10715 vsize=1529892 CPUtime=0.11 /proc/10717/stat : 10717 (java) S 10715 10717 9931 0 -1 4202496 5190 0 1 0 10 1 0 0 25 0 18 0 131770819 1566609408 4625 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10717/statm: 382473 4626 1347 10 0 379775 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529892 [startup+0.10122 s] /proc/loadavg: 2.01 2.25 2.47 2/178 10717 /proc/meminfo: memFree=30643648/32951124 swapFree=67111528/67111528 [pid=10717] ppid=10715 vsize=1529892 CPUtime=0.11 /proc/10717/stat : 10717 (java) S 10715 10717 9931 0 -1 4202496 5216 0 1 0 10 1 0 0 25 0 18 0 131770819 1566609408 4651 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10717/statm: 382473 4651 1347 10 0 379775 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529892 [startup+0.301161 s] /proc/loadavg: 2.01 2.25 2.47 2/178 10717 /proc/meminfo: memFree=30643648/32951124 swapFree=67111528/67111528 [pid=10717] ppid=10715 vsize=1531988 CPUtime=0.51 /proc/10717/stat : 10717 (java) S 10715 10717 9931 0 -1 4202496 7624 0 1 0 50 1 0 0 25 0 18 0 131770819 1568755712 6929 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10717/statm: 382997 6929 1411 10 0 380299 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 1531988 [startup+0.7011 s] /proc/loadavg: 2.01 2.25 2.47 2/178 10717 /proc/meminfo: memFree=30643648/32951124 swapFree=67111528/67111528 [pid=10717] ppid=10715 vsize=1551964 CPUtime=1.7 /proc/10717/stat : 10717 (java) S 10715 10717 9931 0 -1 4202496 20009 0 1 0 167 3 0 0 25 0 19 0 131770819 1589211136 16127 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10717/statm: 387991 16128 1421 10 0 385293 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 1551964 [startup+1.50089 s] /proc/loadavg: 2.01 2.25 2.47 5/197 10736 /proc/meminfo: memFree=30527316/32951124 swapFree=67111528/67111528 [pid=10717] ppid=10715 vsize=1549764 CPUtime=3.53 /proc/10717/stat : 10717 (java) S 10715 10717 9931 0 -1 4202496 47483 0 1 0 347 6 0 0 25 0 19 0 131770819 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10717/statm: 387441 39822 1444 10 0 384743 0 [pid=10717/tid=10719] ppid=10715 vsize=1549764 CPUtime=1.46 /proc/10717/task/10719/stat : 10719 (java) R 10715 10717 9931 0 -1 4202560 32122 0 1 0 143 3 0 0 20 0 19 0 131770820 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4109800814 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=10717/tid=10720] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10720/stat : 10720 (java) S 10715 10717 9931 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 19 0 131770820 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 4 0 0 0 [pid=10717/tid=10721] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10721/stat : 10721 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131770820 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 4 0 0 0 [pid=10717/tid=10722] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10722/stat : 10722 (java) S 10715 10717 9931 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 131770820 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 0 0 0 0 [pid=10717/tid=10723] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10723/stat : 10723 (java) S 10715 10717 9931 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 131770820 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10724] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10724/stat : 10724 (java) S 10715 10717 9931 0 -1 4202560 280 0 0 0 0 0 0 0 15 0 19 0 131770820 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10725] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10725/stat : 10725 (java) S 10715 10717 9931 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 131770820 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 0 0 0 0 [pid=10717/tid=10726] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10726/stat : 10726 (java) S 10715 10717 9931 0 -1 4202560 437 0 0 0 0 0 0 0 16 0 19 0 131770820 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 6 0 0 0 [pid=10717/tid=10727] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10727/stat : 10727 (java) S 10715 10717 9931 0 -1 4202560 179 0 0 0 0 0 0 0 15 0 19 0 131770820 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 4 0 0 0 [pid=10717/tid=10728] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10728/stat : 10728 (java) S 10715 10717 9931 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 131770821 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10729] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10729/stat : 10729 (java) S 10715 10717 9931 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131770821 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10730] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10730/stat : 10730 (java) S 10715 10717 9931 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 131770821 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10731] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10731/stat : 10731 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131770824 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10732] ppid=10715 vsize=1549764 CPUtime=1 /proc/10717/task/10732/stat : 10732 (java) S 10715 10717 9931 0 -1 4202560 9010 0 0 0 99 1 0 0 15 0 19 0 131770824 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10733] ppid=10715 vsize=1549764 CPUtime=1.02 /proc/10717/task/10733/stat : 10733 (java) S 10715 10717 9931 0 -1 4202560 3783 0 0 0 102 0 0 0 16 0 19 0 131770824 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 6 0 0 0 [pid=10717/tid=10734] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10734/stat : 10734 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131770824 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10735] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10735/stat : 10735 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131770824 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 4 0 0 0 [pid=10717/tid=10736] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10736/stat : 10736 (java) S 10715 10717 9931 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131770854 1586958336 39822 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.53 Current children cumulated vsize (KiB) 1549764 [startup+3.10063 s] /proc/loadavg: 2.01 2.25 2.47 3/197 10736 /proc/meminfo: memFree=30487016/32951124 swapFree=67111528/67111528 [pid=10717] ppid=10715 vsize=1549764 CPUtime=5.32 /proc/10717/stat : 10717 (java) S 10715 10717 9931 0 -1 4202496 55154 0 1 0 525 7 0 0 25 0 19 0 131770819 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10717/statm: 387441 47461 1444 10 0 384743 0 [pid=10717/tid=10719] ppid=10715 vsize=1549764 CPUtime=3.05 /proc/10717/task/10719/stat : 10719 (java) R 10715 10717 9931 0 -1 4202560 35704 0 1 0 301 4 0 0 25 0 19 0 131770820 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4109574480 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10717/tid=10720] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10720/stat : 10720 (java) S 10715 10717 9931 0 -1 4202560 443 0 0 0 0 0 0 0 15 0 19 0 131770820 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 6 0 0 0 [pid=10717/tid=10721] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10721/stat : 10721 (java) S 10715 10717 9931 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 131770820 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 6 0 0 0 [pid=10717/tid=10722] ppid=10715 vsize=1549764 CPUtime=0.01 /proc/10717/task/10722/stat : 10722 (java) S 10715 10717 9931 0 -1 4202560 835 0 0 0 1 0 0 0 16 0 19 0 131770820 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 0 0 0 0 [pid=10717/tid=10723] ppid=10715 vsize=1549764 CPUtime=0.01 /proc/10717/task/10723/stat : 10723 (java) S 10715 10717 9931 0 -1 4202560 803 0 0 0 1 0 0 0 16 0 19 0 131770820 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 3 0 0 0 [pid=10717/tid=10724] ppid=10715 vsize=1549764 CPUtime=0.01 /proc/10717/task/10724/stat : 10724 (java) S 10715 10717 9931 0 -1 4202560 983 0 0 0 1 0 0 0 16 0 19 0 131770820 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10725] ppid=10715 vsize=1549764 CPUtime=0.01 /proc/10717/task/10725/stat : 10725 (java) S 10715 10717 9931 0 -1 4202560 664 0 0 0 1 0 0 0 15 0 19 0 131770820 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 [pid=10717/tid=10726] ppid=10715 vsize=1549764 CPUtime=0.01 /proc/10717/task/10726/stat : 10726 (java) S 10715 10717 9931 0 -1 4202560 946 0 0 0 1 0 0 0 15 0 19 0 131770820 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 6 0 0 0 [pid=10717/tid=10727] ppid=10715 vsize=1549764 CPUtime=0.01 /proc/10717/task/10727/stat : 10727 (java) S 10715 10717 9931 0 -1 4202560 855 0 0 0 1 0 0 0 16 0 19 0 131770820 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 4 0 0 0 [pid=10717/tid=10728] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10728/stat : 10728 (java) S 10715 10717 9931 0 -1 4202560 29 0 0 0 0 0 0 0 16 0 19 0 131770821 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446604471141111616 0 0 -1 0 0 0 0 [pid=10717/tid=10729] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10729/stat : 10729 (java) S 10715 10717 9931 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131770821 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10730] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10730/stat : 10730 (java) S 10715 10717 9931 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 131770821 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10731] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10731/stat : 10731 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131770824 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10732] ppid=10715 vsize=1549764 CPUtime=1.05 /proc/10717/task/10732/stat : 10732 (java) S 10715 10717 9931 0 -1 4202560 9010 0 0 0 104 1 0 0 15 0 19 0 131770824 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10733] ppid=10715 vsize=1549764 CPUtime=1.11 /proc/10717/task/10733/stat : 10733 (java) S 10715 10717 9931 0 -1 4202560 3792 0 0 0 111 0 0 0 15 0 19 0 131770824 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 6 0 0 0 [pid=10717/tid=10734] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10734/stat : 10734 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131770824 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10735] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10735/stat : 10735 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131770824 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 4 0 0 0 [pid=10717/tid=10736] ppid=10715 vsize=1549764 CPUtime=0 /proc/10717/task/10736/stat : 10736 (java) S 10715 10717 9931 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131770854 1586958336 47461 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.32 Current children cumulated vsize (KiB) 1549764 [startup+6.30105 s] /proc/loadavg: 2.01 2.24 2.46 3/197 10736 /proc/meminfo: memFree=30452904/32951124 swapFree=67111528/67111528 [pid=10717] ppid=10715 vsize=1548780 CPUtime=8.59 /proc/10717/stat : 10717 (java) S 10715 10717 9931 0 -1 4202496 57554 0 1 0 850 9 0 0 25 0 19 0 131770819 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10717/statm: 387195 49297 1444 10 0 384497 0 [pid=10717/tid=10719] ppid=10715 vsize=1548780 CPUtime=6.22 /proc/10717/task/10719/stat : 10719 (java) R 10715 10717 9931 0 -1 4202560 35714 0 1 0 618 4 0 0 25 0 19 0 131770820 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4109556087 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=10717/tid=10720] ppid=10715 vsize=1548780 CPUtime=0.01 /proc/10717/task/10720/stat : 10720 (java) S 10715 10717 9931 0 -1 4202560 688 0 0 0 1 0 0 0 15 0 19 0 131770820 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 6 0 0 0 [pid=10717/tid=10721] ppid=10715 vsize=1548780 CPUtime=0 /proc/10717/task/10721/stat : 10721 (java) S 10715 10717 9931 0 -1 4202560 261 0 0 0 0 0 0 0 15 0 19 0 131770820 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 0 0 0 0 [pid=10717/tid=10722] ppid=10715 vsize=1548780 CPUtime=0.01 /proc/10717/task/10722/stat : 10722 (java) S 10715 10717 9931 0 -1 4202560 1224 0 0 0 1 0 0 0 15 0 19 0 131770820 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 4 0 0 0 [pid=10717/tid=10723] ppid=10715 vsize=1548780 CPUtime=0.02 /proc/10717/task/10723/stat : 10723 (java) S 10715 10717 9931 0 -1 4202560 1073 0 0 0 2 0 0 0 16 0 19 0 131770820 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 3 0 0 0 [pid=10717/tid=10724] ppid=10715 vsize=1548780 CPUtime=0.02 /proc/10717/task/10724/stat : 10724 (java) S 10715 10717 9931 0 -1 4202560 1430 0 0 0 2 0 0 0 15 0 19 0 131770820 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10725] ppid=10715 vsize=1548780 CPUtime=0.01 /proc/10717/task/10725/stat : 10725 (java) S 10715 10717 9931 0 -1 4202560 884 0 0 0 1 0 0 0 15 0 19 0 131770820 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 [pid=10717/tid=10726] ppid=10715 vsize=1548780 CPUtime=0.01 /proc/10717/task/10726/stat : 10726 (java) S 10715 10717 9931 0 -1 4202560 1280 0 0 0 1 0 0 0 15 0 19 0 131770820 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 [pid=10717/tid=10727] ppid=10715 vsize=1548780 CPUtime=0.01 /proc/10717/task/10727/stat : 10727 (java) S 10715 10717 9931 0 -1 4202560 1099 0 0 0 1 0 0 0 15 0 19 0 131770820 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 4 0 0 0 [pid=10717/tid=10728] ppid=10715 vsize=1548780 CPUtime=0 /proc/10717/task/10728/stat : 10728 (java) S 10715 10717 9931 0 -1 4202560 29 0 0 0 0 0 0 0 16 0 19 0 131770821 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446604471141111616 0 0 -1 6 0 0 0 [pid=10717/tid=10729] ppid=10715 vsize=1548780 CPUtime=0 /proc/10717/task/10729/stat : 10729 (java) S 10715 10717 9931 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131770821 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10730] ppid=10715 vsize=1548780 CPUtime=0 /proc/10717/task/10730/stat : 10730 (java) S 10715 10717 9931 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 131770821 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10731] ppid=10715 vsize=1548780 CPUtime=0 /proc/10717/task/10731/stat : 10731 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131770824 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10732] ppid=10715 vsize=1548780 CPUtime=1.06 /proc/10717/task/10732/stat : 10732 (java) S 10715 10717 9931 0 -1 4202560 9011 0 0 0 105 1 0 0 15 0 19 0 131770824 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10733] ppid=10715 vsize=1548780 CPUtime=1.11 /proc/10717/task/10733/stat : 10733 (java) S 10715 10717 9931 0 -1 4202560 3792 0 0 0 111 0 0 0 15 0 19 0 131770824 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 6 0 0 0 [pid=10717/tid=10734] ppid=10715 vsize=1548780 CPUtime=0 /proc/10717/task/10734/stat : 10734 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131770824 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10735] ppid=10715 vsize=1548780 CPUtime=0 /proc/10717/task/10735/stat : 10735 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131770824 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 4 0 0 0 [pid=10717/tid=10736] ppid=10715 vsize=1548780 CPUtime=0 /proc/10717/task/10736/stat : 10736 (java) S 10715 10717 9931 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131770854 1585950720 49297 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.59 Current children cumulated vsize (KiB) 1548780 [startup+12.7009 s] /proc/loadavg: 2.01 2.24 2.46 3/197 10736 /proc/meminfo: memFree=30444596/32951124 swapFree=67111528/67111528 [pid=10717] ppid=10715 vsize=1548780 CPUtime=15.1 /proc/10717/stat : 10717 (java) S 10715 10717 9931 0 -1 4202496 59777 0 1 0 1499 11 0 0 25 0 19 0 131770819 1585950720 51381 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10717/statm: 387195 51381 1444 10 0 384497 0 [pid=10717/tid=10719] ppid=10715 vsize=1548780 CPUtime=12.58 /proc/10717/task/10719/stat : 10719 (java) R 10715 10717 9931 0 -1 4202560 36222 0 1 0 1254 4 0 0 18 0 19 0 131770820 1585950720 51381 4089446400 134512640 134550932 4294834528 18446744073709551615 4109801005 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10717/tid=10720] ppid=10715 vsize=1548780 CPUtime=0.02 /proc/10717/task/10720/stat : 10720 (java) S 10715 10717 9931 0 -1 4202560 989 0 0 0 2 0 0 0 16 0 19 0 131770820 1585950720 51381 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 4 0 0 0 ################ # More data... # ################ [pid=10717/tid=10725] ppid=10715 vsize=1550828 CPUtime=11.65 /proc/10717/task/10725/stat : 10725 (java) S 10715 10717 9931 0 -1 4202560 10767 0 0 0 973 192 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 4 0 0 0 [pid=10717/tid=10726] ppid=10715 vsize=1550828 CPUtime=11.77 /proc/10717/task/10726/stat : 10726 (java) S 10715 10717 9931 0 -1 4202560 12726 0 0 0 1018 159 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 [pid=10717/tid=10727] ppid=10715 vsize=1550828 CPUtime=12.12 /proc/10717/task/10727/stat : 10727 (java) S 10715 10717 9931 0 -1 4202560 12379 0 0 0 1037 175 0 0 15 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 6 0 0 0 [pid=10717/tid=10728] ppid=10715 vsize=1550828 CPUtime=1.75 /proc/10717/task/10728/stat : 10728 (java) S 10715 10717 9931 0 -1 4202560 227 0 0 0 123 52 0 0 15 0 19 0 131770821 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10729] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10729/stat : 10729 (java) S 10715 10717 9931 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131770821 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10730] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10730/stat : 10730 (java) S 10715 10717 9931 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 131770821 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10731] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10731/stat : 10731 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10732] ppid=10715 vsize=1550828 CPUtime=1.11 /proc/10717/task/10732/stat : 10732 (java) S 10715 10717 9931 0 -1 4202560 9018 0 0 0 110 1 0 0 15 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10733] ppid=10715 vsize=1550828 CPUtime=1.41 /proc/10717/task/10733/stat : 10733 (java) S 10715 10717 9931 0 -1 4202560 3811 0 0 0 141 0 0 0 15 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 0 0 0 0 [pid=10717/tid=10734] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10734/stat : 10734 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10735] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10735/stat : 10735 (java) S 10715 10717 9931 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 3 0 0 0 [pid=10717/tid=10736] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10736/stat : 10736 (java) S 10715 10717 9931 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131770854 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1623.12 Current children cumulated vsize (KiB) 1550828 [startup+1602.3 s] /proc/loadavg: 2.01 2.04 2.11 3/215 10825 /proc/meminfo: memFree=30155460/32951124 swapFree=67111528/67111528 [pid=10717] ppid=10715 vsize=1550828 CPUtime=1687.92 /proc/10717/stat : 10717 (java) S 10715 10717 9931 0 -1 4202496 146665 0 1 0 167205 1587 0 0 25 0 19 0 131770819 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10717/statm: 387707 131740 1450 10 0 385009 0 [pid=10717/tid=10719] ppid=10715 vsize=1550828 CPUtime=1583.19 /proc/10717/task/10719/stat : 10719 (java) R 10715 10717 9931 0 -1 4202560 38863 0 1 0 158309 10 0 0 25 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4109337466 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=10717/tid=10720] ppid=10715 vsize=1550828 CPUtime=12.71 /proc/10717/task/10720/stat : 10720 (java) S 10715 10717 9931 0 -1 4202560 11630 0 0 0 1086 185 0 0 15 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 6 0 0 0 [pid=10717/tid=10721] ppid=10715 vsize=1550828 CPUtime=12.43 /proc/10717/task/10721/stat : 10721 (java) S 10715 10717 9931 0 -1 4202560 10676 0 0 0 1056 187 0 0 15 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10722] ppid=10715 vsize=1550828 CPUtime=12.87 /proc/10717/task/10722/stat : 10722 (java) S 10715 10717 9931 0 -1 4202560 11099 0 0 0 1075 212 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 0 0 0 0 [pid=10717/tid=10723] ppid=10715 vsize=1550828 CPUtime=12.23 /proc/10717/task/10723/stat : 10723 (java) S 10715 10717 9931 0 -1 4202560 12047 0 0 0 1044 179 0 0 15 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10724] ppid=10715 vsize=1550828 CPUtime=12.32 /proc/10717/task/10724/stat : 10724 (java) S 10715 10717 9931 0 -1 4202560 12262 0 0 0 1039 193 0 0 15 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 4 0 0 0 [pid=10717/tid=10725] ppid=10715 vsize=1550828 CPUtime=12.43 /proc/10717/task/10725/stat : 10725 (java) S 10715 10717 9931 0 -1 4202560 10767 0 0 0 1041 202 0 0 15 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 [pid=10717/tid=10726] ppid=10715 vsize=1550828 CPUtime=12.47 /proc/10717/task/10726/stat : 10726 (java) S 10715 10717 9931 0 -1 4202560 12726 0 0 0 1075 172 0 0 15 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 5 0 0 0 [pid=10717/tid=10727] ppid=10715 vsize=1550828 CPUtime=12.84 /proc/10717/task/10727/stat : 10727 (java) S 10715 10717 9931 0 -1 4202560 12379 0 0 0 1099 185 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 3 0 0 0 [pid=10717/tid=10728] ppid=10715 vsize=1550828 CPUtime=1.78 /proc/10717/task/10728/stat : 10728 (java) S 10715 10717 9931 0 -1 4202560 232 0 0 0 124 54 0 0 15 0 19 0 131770821 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10729] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10729/stat : 10729 (java) S 10715 10717 9931 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131770821 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10730] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10730/stat : 10730 (java) S 10715 10717 9931 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 131770821 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10731] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10731/stat : 10731 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10732] ppid=10715 vsize=1550828 CPUtime=1.11 /proc/10717/task/10732/stat : 10732 (java) S 10715 10717 9931 0 -1 4202560 9018 0 0 0 110 1 0 0 15 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10733] ppid=10715 vsize=1550828 CPUtime=1.41 /proc/10717/task/10733/stat : 10733 (java) S 10715 10717 9931 0 -1 4202560 3811 0 0 0 141 0 0 0 15 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 0 0 0 0 [pid=10717/tid=10734] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10734/stat : 10734 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10735] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10735/stat : 10735 (java) S 10715 10717 9931 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10736] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10736/stat : 10736 (java) S 10715 10717 9931 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131770854 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1687.92 Current children cumulated vsize (KiB) 1550828 [startup+1662.3 s] /proc/loadavg: 2.00 2.03 2.10 3/215 10826 /proc/meminfo: memFree=30154772/32951124 swapFree=67111528/67111528 [pid=10717] ppid=10715 vsize=1550828 CPUtime=1752.99 /proc/10717/stat : 10717 (java) S 10715 10717 9931 0 -1 4202496 146774 0 1 0 173618 1681 0 0 25 0 19 0 131770819 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10717/statm: 387707 131740 1450 10 0 385009 0 [pid=10717/tid=10719] ppid=10715 vsize=1550828 CPUtime=1642.13 /proc/10717/task/10719/stat : 10719 (java) R 10715 10717 9931 0 -1 4202560 38968 0 1 0 164203 10 0 0 25 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4109574545 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=10717/tid=10720] ppid=10715 vsize=1550828 CPUtime=13.54 /proc/10717/task/10720/stat : 10720 (java) S 10715 10717 9931 0 -1 4202560 11630 0 0 0 1159 195 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10721] ppid=10715 vsize=1550828 CPUtime=13.19 /proc/10717/task/10721/stat : 10721 (java) S 10715 10717 9931 0 -1 4202560 10676 0 0 0 1119 200 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10722] ppid=10715 vsize=1550828 CPUtime=13.71 /proc/10717/task/10722/stat : 10722 (java) S 10715 10717 9931 0 -1 4202560 11099 0 0 0 1151 220 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 0 0 0 0 [pid=10717/tid=10723] ppid=10715 vsize=1550828 CPUtime=12.91 /proc/10717/task/10723/stat : 10723 (java) S 10715 10717 9931 0 -1 4202560 12047 0 0 0 1101 190 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 5 0 0 0 [pid=10717/tid=10724] ppid=10715 vsize=1550828 CPUtime=13.01 /proc/10717/task/10724/stat : 10724 (java) S 10715 10717 9931 0 -1 4202560 12262 0 0 0 1097 204 0 0 15 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 3 0 0 0 [pid=10717/tid=10725] ppid=10715 vsize=1550828 CPUtime=13.25 /proc/10717/task/10725/stat : 10725 (java) S 10715 10717 9931 0 -1 4202560 10767 0 0 0 1111 214 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 4 0 0 0 [pid=10717/tid=10726] ppid=10715 vsize=1550828 CPUtime=13.21 /proc/10717/task/10726/stat : 10726 (java) S 10715 10717 9931 0 -1 4202560 12726 0 0 0 1136 185 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 3 0 0 0 [pid=10717/tid=10727] ppid=10715 vsize=1550828 CPUtime=13.57 /proc/10717/task/10727/stat : 10727 (java) S 10715 10717 9931 0 -1 4202560 12379 0 0 0 1158 199 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 [pid=10717/tid=10728] ppid=10715 vsize=1550828 CPUtime=1.82 /proc/10717/task/10728/stat : 10728 (java) S 10715 10717 9931 0 -1 4202560 234 0 0 0 126 56 0 0 15 0 19 0 131770821 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10729] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10729/stat : 10729 (java) S 10715 10717 9931 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131770821 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10730] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10730/stat : 10730 (java) S 10715 10717 9931 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 131770821 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10731] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10731/stat : 10731 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10732] ppid=10715 vsize=1550828 CPUtime=1.11 /proc/10717/task/10732/stat : 10732 (java) S 10715 10717 9931 0 -1 4202560 9018 0 0 0 110 1 0 0 15 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10733] ppid=10715 vsize=1550828 CPUtime=1.41 /proc/10717/task/10733/stat : 10733 (java) S 10715 10717 9931 0 -1 4202560 3811 0 0 0 141 0 0 0 15 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 0 0 0 0 [pid=10717/tid=10734] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10734/stat : 10734 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10735] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10735/stat : 10735 (java) S 10715 10717 9931 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 [pid=10717/tid=10736] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10736/stat : 10736 (java) S 10715 10717 9931 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131770854 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1752.99 Current children cumulated vsize (KiB) 1550828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1705.6 s] /proc/loadavg: 2.04 2.04 2.10 3/215 10827 /proc/meminfo: memFree=30153712/32951124 swapFree=67111528/67111528 [pid=10717] ppid=10715 vsize=1550828 CPUtime=1800.03 /proc/10717/stat : 10717 (java) S 10715 10717 9931 0 -1 4202496 146858 0 1 0 178244 1759 0 0 25 0 19 0 131770819 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10717/statm: 387707 131740 1450 10 0 385009 0 [pid=10717/tid=10719] ppid=10715 vsize=1550828 CPUtime=1684.69 /proc/10717/task/10719/stat : 10719 (java) R 10715 10717 9931 0 -1 4202560 39044 0 1 0 168458 11 0 0 25 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4109549770 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=10717/tid=10720] ppid=10715 vsize=1550828 CPUtime=14.14 /proc/10717/task/10720/stat : 10720 (java) S 10715 10717 9931 0 -1 4202560 11630 0 0 0 1212 202 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 6 0 0 0 [pid=10717/tid=10721] ppid=10715 vsize=1550828 CPUtime=13.64 /proc/10717/task/10721/stat : 10721 (java) S 10715 10717 9931 0 -1 4202560 10676 0 0 0 1156 208 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 3 0 0 0 [pid=10717/tid=10722] ppid=10715 vsize=1550828 CPUtime=14.32 /proc/10717/task/10722/stat : 10722 (java) S 10715 10717 9931 0 -1 4202560 11099 0 0 0 1203 229 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10723] ppid=10715 vsize=1550828 CPUtime=13.5 /proc/10717/task/10723/stat : 10723 (java) S 10715 10717 9931 0 -1 4202560 12047 0 0 0 1151 199 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 4 0 0 0 [pid=10717/tid=10724] ppid=10715 vsize=1550828 CPUtime=13.5 /proc/10717/task/10724/stat : 10724 (java) S 10715 10717 9931 0 -1 4202560 12262 0 0 0 1135 215 0 0 15 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 5 0 0 0 [pid=10717/tid=10725] ppid=10715 vsize=1550828 CPUtime=13.86 /proc/10717/task/10725/stat : 10725 (java) S 10715 10717 9931 0 -1 4202560 10767 0 0 0 1161 225 0 0 15 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10726] ppid=10715 vsize=1550828 CPUtime=13.8 /proc/10717/task/10726/stat : 10726 (java) S 10715 10717 9931 0 -1 4202560 12726 0 0 0 1184 196 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 [pid=10717/tid=10727] ppid=10715 vsize=1550828 CPUtime=14.12 /proc/10717/task/10727/stat : 10727 (java) S 10715 10717 9931 0 -1 4202560 12379 0 0 0 1202 210 0 0 16 0 19 0 131770820 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10728] ppid=10715 vsize=1550828 CPUtime=1.84 /proc/10717/task/10728/stat : 10728 (java) S 10715 10717 9931 0 -1 4202560 238 0 0 0 127 57 0 0 15 0 19 0 131770821 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 0 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10729] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10729/stat : 10729 (java) S 10715 10717 9931 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131770821 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10730] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10730/stat : 10730 (java) S 10715 10717 9931 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 131770821 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10731] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10731/stat : 10731 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10732] ppid=10715 vsize=1550828 CPUtime=1.11 /proc/10717/task/10732/stat : 10732 (java) S 10715 10717 9931 0 -1 4202560 9018 0 0 0 110 1 0 0 15 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10733] ppid=10715 vsize=1550828 CPUtime=1.41 /proc/10717/task/10733/stat : 10733 (java) S 10715 10717 9931 0 -1 4202560 3811 0 0 0 141 0 0 0 15 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 0 0 0 0 [pid=10717/tid=10734] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10734/stat : 10734 (java) S 10715 10717 9931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 2 0 0 0 [pid=10717/tid=10735] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10735/stat : 10735 (java) S 10715 10717 9931 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 131770824 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 7 0 0 0 [pid=10717/tid=10736] ppid=10715 vsize=1550828 CPUtime=0 /proc/10717/task/10736/stat : 10736 (java) S 10715 10717 9931 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131770854 1588047872 131740 4089446400 134512640 134550932 4294834528 18446744073709551615 4294960144 0 4 0 16800975 18446604471141111616 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1550828 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1705.69 CPU time (s): 1800.16 CPU user time (s): 1782.55 CPU system time (s): 17.6113 CPU usage (%): 105.538 Max. virtual memory (cumulated for all children) (KiB): 1551964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.55 system time used= 17.6113 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 146880 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= 116965 involuntary context switches= 4370142 runsolver used 3.16052 second user time and 6.20406 second system time The end
Begin job on node105 at 2010-06-30 15:32:15 IDJOB=2692169 IDBENCH=78923 IDSOLVER=1203 FILE ID=node105/2692169-1277904734 PBS_JOBID= 11197217 Free space on /tmp= 74204 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692169-1277904734/watcher-2692169-1277904734 -o /tmp/evaluation-result-2692169-1277904734/solver-2692169-1277904734 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692169-1277904734.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 426e5957e411ffe2f76bd332943fd07d RANDOM SEED=173768151 node105.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30644052 kB Buffers: 190384 kB Cached: 1817632 kB SwapCached: 0 kB Active: 630676 kB Inactive: 1531476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30644052 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 452 kB Writeback: 0 kB AnonPages: 154784 kB Mapped: 17432 kB Slab: 80080 kB PageTables: 4796 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 304408 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74212 MiB End job on node105 at 2010-06-30 16:00:42