Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.22 | 1655.12 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo |
MD5SUM | c90222590d839243781a638355a39a56 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 447.975 |
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 | 2707 |
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 | 136368 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 136367 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 717 |
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.01/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.07 c See www.sat4j.org for details. 0.01/0.07 c version 2.2.0.v20100526 0.01/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.01/0.07 c java.vm.version 11.2-b01 0.01/0.07 c java.vm.vendor Sun Microsystems Inc. 0.01/0.07 c sun.arch.data.model 32 0.01/0.07 c java.version 1.6.0_12 0.01/0.07 c os.name Linux 0.01/0.07 c os.version 2.6.18-164.el5 0.01/0.07 c os.arch i386 0.01/0.07 c Free memory 1393557488 0.01/0.07 c Max memory 1395916800 0.01/0.07 c Total memory 1395916800 0.01/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@1c1ea29 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-2691687-1277928959.wbo 0.11/0.10 c reading problem ... 0.52/0.31 c ... done. Wall clock time 0.205s. 0.52/0.31 c #vars 2938 0.52/0.31 c #constraints 2707 0.52/0.31 c constraints type 0.52/0.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22 0.52/0.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2684 0.52/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.63/1.08 c SATISFIABLE 2.63/1.08 c OPTIMIZING... 2.63/1.08 c Got one! Elapsed wall clock time (in seconds):0.983 2.63/1.08 o 1389 3.26/1.41 c Got one! Elapsed wall clock time (in seconds):1.307 3.26/1.41 o 1375 3.97/1.85 c Got one! Elapsed wall clock time (in seconds):1.754 3.97/1.85 o 1332 4.40/2.22 c Got one! Elapsed wall clock time (in seconds):2.117 4.40/2.22 o 1302 4.99/2.71 c Got one! Elapsed wall clock time (in seconds):2.615 4.99/2.71 o 1289 6.09/3.71 c Got one! Elapsed wall clock time (in seconds):3.606 6.09/3.71 o 1259 6.51/4.19 c Got one! Elapsed wall clock time (in seconds):4.091 6.51/4.19 o 1254 7.43/5.05 c Got one! Elapsed wall clock time (in seconds):4.954 7.43/5.05 o 1245 8.85/6.43 c Got one! Elapsed wall clock time (in seconds):6.327 8.85/6.43 o 1229 11.09/8.67 c Got one! Elapsed wall clock time (in seconds):8.57 11.09/8.67 o 1183 11.90/9.41 c Got one! Elapsed wall clock time (in seconds):9.313 11.90/9.41 o 1140 13.23/10.70 c Got one! Elapsed wall clock time (in seconds):10.597 13.23/10.70 o 1115 15.27/12.74 c Got one! Elapsed wall clock time (in seconds):12.635 15.27/12.74 o 1108 18.94/16.39 c Got one! Elapsed wall clock time (in seconds):16.295 18.94/16.39 o 1071 25.64/22.90 c Got one! Elapsed wall clock time (in seconds):22.805 25.64/22.90 o 1061 27.17/24.49 c Got one! Elapsed wall clock time (in seconds):24.393 27.17/24.49 o 1058 29.23/26.43 c Got one! Elapsed wall clock time (in seconds):26.326 29.23/26.43 o 1055 32.18/29.31 c Got one! Elapsed wall clock time (in seconds):29.21 32.18/29.31 o 1050 38.50/35.58 c Got one! Elapsed wall clock time (in seconds):35.483 38.50/35.58 o 1035 48.19/45.08 c Got one! Elapsed wall clock time (in seconds):44.981 48.19/45.08 o 1032 61.24/57.82 c cleaning 0 clauses out of 5001 with flag 0/5001 63.70/60.24 c Got one! Elapsed wall clock time (in seconds):60.137 63.70/60.24 o 1007 67.60/64.08 c Got one! Elapsed wall clock time (in seconds):63.978 67.60/64.08 o 996 71.28/67.66 c Got one! Elapsed wall clock time (in seconds):67.562 71.28/67.66 o 949 76.94/73.16 c Got one! Elapsed wall clock time (in seconds):73.064 76.94/73.16 o 948 89.17/85.02 c Got one! Elapsed wall clock time (in seconds):84.924 89.17/85.02 o 924 103.54/99.01 c Got one! Elapsed wall clock time (in seconds):98.911 103.54/99.01 o 912 157.88/151.49 c Got one! Elapsed wall clock time (in seconds):151.386 157.88/151.49 o 894 242.99/233.59 c Got one! Elapsed wall clock time (in seconds):233.489 242.99/233.59 o 888 252.74/242.84 c Got one! Elapsed wall clock time (in seconds):242.741 252.74/242.84 o 858 288.91/277.02 c Got one! Elapsed wall clock time (in seconds):276.922 288.91/277.02 o 831 301.01/288.71 c Got one! Elapsed wall clock time (in seconds):288.615 301.01/288.71 o 731 324.62/311.34 c Got one! Elapsed wall clock time (in seconds):311.237 324.62/311.34 o 722 357.41/342.87 c Got one! Elapsed wall clock time (in seconds):342.766 357.41/342.87 o 696 425.92/407.64 c Got one! Elapsed wall clock time (in seconds):407.537 425.92/407.64 o 655 443.73/424.79 c cleaning 0 clauses out of 11000 with flag 0/11000 526.82/504.24 c Got one! Elapsed wall clock time (in seconds):504.144 526.82/504.24 o 635 678.39/648.80 c Got one! Elapsed wall clock time (in seconds):648.705 678.39/648.80 o 630 820.30/778.33 c Got one! Elapsed wall clock time (in seconds):778.233 820.30/778.33 o 598 859.75/815.39 c Got one! Elapsed wall clock time (in seconds):815.291 859.75/815.39 o 597 985.54/931.51 c Got one! Elapsed wall clock time (in seconds):931.41 985.54/931.51 o 596 1765.99/1622.75 c Got one! Elapsed wall clock time (in seconds):1622.654 1765.99/1622.75 o 595 1800.06/1655.01 c starts : 83 1800.06/1655.01 c conflicts : 16592 1800.06/1655.01 c decisions : 318585 1800.06/1655.01 c propagations : 2023978 1800.06/1655.01 c inspects : 717195147 1800.06/1655.01 c learnt literals : 0 1800.06/1655.01 c learnt binary clauses : 0 1800.06/1655.01 c learnt ternary clauses : 0 1800.06/1655.01 c learnt clauses : 16592 1800.06/1655.01 c ignored clauses : 0 1800.06/1655.01 c root simplifications : 0 1800.06/1655.01 c removed literals (reason simplification) : 0 1800.06/1655.01 c reason swapping (by a shorter reason) : 0 1800.06/1655.01 c Calls to reduceDB : 2 1800.06/1655.01 c number of reductions to clauses (during analyze) : 0 1800.06/1655.01 c number of learned constraints concerned by reduction : 0 1800.06/1655.01 c number of learning phase by resolution : 0 1800.06/1655.01 c number of learning phase by cutting planes : 0 1800.06/1655.01 c speed (assignments/second) : 62762.90002480774 1800.06/1655.01 c non guided choices 4705 1800.06/1655.02 c learnt constraints type 1800.06/1655.02 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 8 1800.06/1655.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 16584 1800.06/1655.02 c constraints type 1800.06/1655.02 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22 1800.06/1655.02 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2684 1800.06/1655.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.06/1655.02 s SATISFIABLE 1800.06/1655.02 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.06/1655.02 c objective function=595 1800.06/1655.02 c Total wall clock time (in seconds): 1654.924
OK 397
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691687-1277928959/watcher-2691687-1277928959 -o /tmp/evaluation-result-2691687-1277928959/solver-2691687-1277928959 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691687-1277928959.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.00 2.06 2.07 4/196 16062 /proc/meminfo: memFree=30992924/32951124 swapFree=67111528/67111528 [pid=16062] ppid=16060 vsize=13164 CPUtime=0 /proc/16062/stat : 16062 (java) R 16060 16062 15764 0 -1 4194304 900 0 0 0 0 0 0 0 21 0 1 0 134191020 13479936 409 4089446400 134512640 134550932 4289650896 18446744073709551615 1898107 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16062/statm: 3291 414 144 10 0 1121 0 [startup+0.029478 s] /proc/loadavg: 2.00 2.06 2.07 4/196 16062 /proc/meminfo: memFree=30992924/32951124 swapFree=67111528/67111528 [pid=16062] ppid=16060 vsize=1526200 CPUtime=0.01 /proc/16062/stat : 16062 (java) S 16060 16062 15764 0 -1 4202496 3657 0 1 0 1 0 0 0 21 0 13 0 134191020 1562828800 3099 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/16062/statm: 381550 3099 1024 10 0 378860 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1526200 [startup+0.100459 s] /proc/loadavg: 2.00 2.06 2.07 4/196 16062 /proc/meminfo: memFree=30992924/32951124 swapFree=67111528/67111528 [pid=16062] ppid=16060 vsize=1529708 CPUtime=0.11 /proc/16062/stat : 16062 (java) S 16060 16062 15764 0 -1 4202496 5184 0 1 0 10 1 0 0 21 0 18 0 134191020 1566420992 4621 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/16062/statm: 382427 4621 1347 10 0 379729 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529708 [startup+0.300416 s] /proc/loadavg: 2.00 2.06 2.07 4/196 16062 /proc/meminfo: memFree=30992924/32951124 swapFree=67111528/67111528 [pid=16062] ppid=16060 vsize=1531756 CPUtime=0.52 /proc/16062/stat : 16062 (java) S 16060 16062 15764 0 -1 4202496 7763 0 1 0 51 1 0 0 21 0 18 0 134191020 1568518144 6970 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/16062/statm: 382939 6970 1411 10 0 380241 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 1531756 [startup+0.700338 s] /proc/loadavg: 2.00 2.06 2.07 4/196 16062 /proc/meminfo: memFree=30992924/32951124 swapFree=67111528/67111528 [pid=16062] ppid=16060 vsize=1549876 CPUtime=1.7 /proc/16062/stat : 16062 (java) S 16060 16062 15764 0 -1 4202496 17824 0 1 0 168 2 0 0 21 0 19 0 134191020 1587073024 14407 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/16062/statm: 387469 14407 1421 10 0 384771 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 1549876 [startup+1.50121 s] /proc/loadavg: 2.00 2.06 2.07 5/215 16081 /proc/meminfo: memFree=30896052/32951124 swapFree=67111528/67111528 [pid=16062] ppid=16060 vsize=1549604 CPUtime=3.45 /proc/16062/stat : 16062 (java) S 16060 16062 15764 0 -1 4202496 44410 0 1 0 340 5 0 0 21 0 19 0 134191020 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/16062/statm: 387401 38928 1444 10 0 384703 0 [pid=16062/tid=16064] ppid=16060 vsize=1549604 CPUtime=1.48 /proc/16062/task/16064/stat : 16064 (java) R 16060 16062 15764 0 -1 4202560 32058 0 1 0 144 4 0 0 18 0 19 0 134191021 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4108670953 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=16062/tid=16065] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16065/stat : 16065 (java) S 16060 16062 15764 0 -1 4202560 245 0 0 0 0 0 0 0 18 0 19 0 134191022 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16066] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16066/stat : 16066 (java) S 16060 16062 15764 0 -1 4202560 252 0 0 0 0 0 0 0 18 0 19 0 134191022 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16067] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16067/stat : 16067 (java) S 16060 16062 15764 0 -1 4202560 125 0 0 0 0 0 0 0 18 0 19 0 134191022 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 5 0 0 0 [pid=16062/tid=16068] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16068/stat : 16068 (java) S 16060 16062 15764 0 -1 4202560 24 0 0 0 0 0 0 0 18 0 19 0 134191022 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16069] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16069/stat : 16069 (java) S 16060 16062 15764 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 134191022 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16070] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16070/stat : 16070 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 134191022 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16071] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16071/stat : 16071 (java) S 16060 16062 15764 0 -1 4202560 0 0 0 0 0 0 0 0 16 0 19 0 134191022 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16072] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16072/stat : 16072 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 134191022 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16073] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16073/stat : 16073 (java) S 16060 16062 15764 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 134191023 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16074] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16074/stat : 16074 (java) S 16060 16062 15764 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134191023 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16075] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16075/stat : 16075 (java) S 16060 16062 15764 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 134191023 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16076] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16076/stat : 16076 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134191025 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16077] ppid=16060 vsize=1549604 CPUtime=0.95 /proc/16062/task/16077/stat : 16077 (java) S 16060 16062 15764 0 -1 4202560 5884 0 0 0 95 0 0 0 15 0 19 0 134191025 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16078] ppid=16060 vsize=1549604 CPUtime=0.99 /proc/16062/task/16078/stat : 16078 (java) S 16060 16062 15764 0 -1 4202560 4719 0 0 0 99 0 0 0 15 0 19 0 134191025 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16079] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16079/stat : 16079 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134191025 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16080] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16080/stat : 16080 (java) S 16060 16062 15764 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 134191025 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 5 0 0 0 [pid=16062/tid=16081] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16081/stat : 16081 (java) S 16060 16062 15764 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 134191058 1586794496 38928 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.45 Current children cumulated vsize (KiB) 1549604 [startup+3.10087 s] /proc/loadavg: 2.00 2.06 2.07 3/215 16081 /proc/meminfo: memFree=30836336/32951124 swapFree=67111528/67111528 [pid=16062] ppid=16060 vsize=1549604 CPUtime=5.45 /proc/16062/stat : 16062 (java) S 16060 16062 15764 0 -1 4202496 49106 0 1 0 538 7 0 0 21 0 19 0 134191020 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/16062/statm: 387401 43021 1444 10 0 384703 0 [pid=16062/tid=16064] ppid=16060 vsize=1549604 CPUtime=3.05 /proc/16062/task/16064/stat : 16064 (java) R 16060 16062 15764 0 -1 4202560 32066 0 1 0 301 4 0 0 19 0 19 0 134191021 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4109393611 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=16062/tid=16065] ppid=16060 vsize=1549604 CPUtime=0.01 /proc/16062/task/16065/stat : 16065 (java) S 16060 16062 15764 0 -1 4202560 1346 0 0 0 1 0 0 0 16 0 19 0 134191022 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16066] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16066/stat : 16066 (java) S 16060 16062 15764 0 -1 4202560 382 0 0 0 0 0 0 0 15 0 19 0 134191022 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16067] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16067/stat : 16067 (java) S 16060 16062 15764 0 -1 4202560 755 0 0 0 0 0 0 0 16 0 19 0 134191022 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 5 0 0 0 [pid=16062/tid=16068] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16068/stat : 16068 (java) S 16060 16062 15764 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 134191022 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 7 0 0 0 [pid=16062/tid=16069] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16069/stat : 16069 (java) S 16060 16062 15764 0 -1 4202560 666 0 0 0 0 0 0 0 16 0 19 0 134191022 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 7 0 0 0 [pid=16062/tid=16070] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16070/stat : 16070 (java) S 16060 16062 15764 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 134191022 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16071] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16071/stat : 16071 (java) S 16060 16062 15764 0 -1 4202560 397 0 0 0 0 0 0 0 16 0 19 0 134191022 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16072] ppid=16060 vsize=1549604 CPUtime=0.01 /proc/16062/task/16072/stat : 16072 (java) S 16060 16062 15764 0 -1 4202560 680 0 0 0 1 0 0 0 15 0 19 0 134191022 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16073] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16073/stat : 16073 (java) S 16060 16062 15764 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 134191023 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16074] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16074/stat : 16074 (java) S 16060 16062 15764 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134191023 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16075] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16075/stat : 16075 (java) S 16060 16062 15764 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 134191023 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16076] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16076/stat : 16076 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134191025 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16077] ppid=16060 vsize=1549604 CPUtime=1.14 /proc/16062/task/16077/stat : 16077 (java) S 16060 16062 15764 0 -1 4202560 6189 0 0 0 114 0 0 0 15 0 19 0 134191025 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16078] ppid=16060 vsize=1549604 CPUtime=1.15 /proc/16062/task/16078/stat : 16078 (java) S 16060 16062 15764 0 -1 4202560 5030 0 0 0 115 0 0 0 16 0 19 0 134191025 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16079] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16079/stat : 16079 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134191025 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16080] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16080/stat : 16080 (java) S 16060 16062 15764 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 134191025 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 5 0 0 0 [pid=16062/tid=16081] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16081/stat : 16081 (java) S 16060 16062 15764 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 134191058 1586794496 43021 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.45 Current children cumulated vsize (KiB) 1549604 [startup+6.30123 s] /proc/loadavg: 2.00 2.06 2.07 3/215 16081 /proc/meminfo: memFree=30798392/32951124 swapFree=67111528/67111528 [pid=16062] ppid=16060 vsize=1549604 CPUtime=8.75 /proc/16062/stat : 16062 (java) S 16060 16062 15764 0 -1 4202496 56837 0 1 0 865 10 0 0 21 0 19 0 134191020 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/16062/statm: 387401 50241 1444 10 0 384703 0 [pid=16062/tid=16064] ppid=16060 vsize=1549604 CPUtime=6.22 /proc/16062/task/16064/stat : 16064 (java) R 16060 16062 15764 0 -1 4202560 35318 0 1 0 618 4 0 0 25 0 19 0 134191021 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4109210195 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=16062/tid=16065] ppid=16060 vsize=1549604 CPUtime=0.03 /proc/16062/task/16065/stat : 16065 (java) S 16060 16062 15764 0 -1 4202560 2498 0 0 0 3 0 0 0 16 0 19 0 134191022 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16066] ppid=16060 vsize=1549604 CPUtime=0.01 /proc/16062/task/16066/stat : 16066 (java) S 16060 16062 15764 0 -1 4202560 664 0 0 0 1 0 0 0 16 0 19 0 134191022 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16067] ppid=16060 vsize=1549604 CPUtime=0.01 /proc/16062/task/16067/stat : 16067 (java) S 16060 16062 15764 0 -1 4202560 1236 0 0 0 1 0 0 0 15 0 19 0 134191022 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16068] ppid=16060 vsize=1549604 CPUtime=0.01 /proc/16062/task/16068/stat : 16068 (java) S 16060 16062 15764 0 -1 4202560 636 0 0 0 1 0 0 0 16 0 19 0 134191022 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 2 0 0 0 [pid=16062/tid=16069] ppid=16060 vsize=1549604 CPUtime=0.01 /proc/16062/task/16069/stat : 16069 (java) S 16060 16062 15764 0 -1 4202560 838 0 0 0 1 0 0 0 15 0 19 0 134191022 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 7 0 0 0 [pid=16062/tid=16070] ppid=16060 vsize=1549604 CPUtime=0.01 /proc/16062/task/16070/stat : 16070 (java) S 16060 16062 15764 0 -1 4202560 567 0 0 0 1 0 0 0 16 0 19 0 134191022 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16071] ppid=16060 vsize=1549604 CPUtime=0.01 /proc/16062/task/16071/stat : 16071 (java) S 16060 16062 15764 0 -1 4202560 1303 0 0 0 1 0 0 0 16 0 19 0 134191022 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 7 0 0 0 [pid=16062/tid=16072] ppid=16060 vsize=1549604 CPUtime=0.02 /proc/16062/task/16072/stat : 16072 (java) S 16060 16062 15764 0 -1 4202560 1458 0 0 0 2 0 0 0 16 0 19 0 134191022 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 5 0 0 0 [pid=16062/tid=16073] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16073/stat : 16073 (java) S 16060 16062 15764 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 134191023 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16074] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16074/stat : 16074 (java) S 16060 16062 15764 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134191023 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16075] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16075/stat : 16075 (java) S 16060 16062 15764 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 134191023 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16076] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16076/stat : 16076 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134191025 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16077] ppid=16060 vsize=1549604 CPUtime=1.14 /proc/16062/task/16077/stat : 16077 (java) S 16060 16062 15764 0 -1 4202560 6189 0 0 0 114 0 0 0 15 0 19 0 134191025 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16078] ppid=16060 vsize=1549604 CPUtime=1.17 /proc/16062/task/16078/stat : 16078 (java) S 16060 16062 15764 0 -1 4202560 5031 0 0 0 117 0 0 0 15 0 19 0 134191025 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16079] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16079/stat : 16079 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134191025 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16080] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16080/stat : 16080 (java) S 16060 16062 15764 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 134191025 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16081] ppid=16060 vsize=1549604 CPUtime=0 /proc/16062/task/16081/stat : 16081 (java) S 16060 16062 15764 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 134191058 1586794496 50241 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.75 Current children cumulated vsize (KiB) 1549604 [startup+12.7009 s] /proc/loadavg: 2.00 2.06 2.07 3/215 16081 /proc/meminfo: memFree=30783520/32951124 swapFree=67111528/67111528 [pid=16062] ppid=16060 vsize=1549604 CPUtime=15.27 /proc/16062/stat : 16062 (java) S 16060 16062 15764 0 -1 4202496 60612 0 1 0 1515 12 0 0 21 0 19 0 134191020 1586794496 53757 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/16062/statm: 387401 53757 1444 10 0 384703 0 [pid=16062/tid=16064] ppid=16060 vsize=1549604 CPUtime=12.58 /proc/16062/task/16064/stat : 16064 (java) R 16060 16062 15764 0 -1 4202560 35465 0 1 0 1254 4 0 0 25 0 19 0 134191021 1586794496 53757 4089446400 134512640 134550932 4289650896 18446744073709551615 4109391708 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=16062/tid=16065] ppid=16060 vsize=1549604 CPUtime=0.05 /proc/16062/task/16065/stat : 16065 (java) S 16060 16062 15764 0 -1 4202560 2972 0 0 0 5 0 0 0 15 0 19 0 134191022 1586794496 53757 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 7 0 0 0 ################ # More data... # ################ /proc/16062/task/16075/stat : 16075 (java) S 16060 16062 15764 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 134191023 1589940224 252598 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16076] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16076/stat : 16076 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134191025 1589940224 252598 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16077] ppid=16060 vsize=1552676 CPUtime=1.31 /proc/16062/task/16077/stat : 16077 (java) S 16060 16062 15764 0 -1 4202560 6214 0 0 0 131 0 0 0 15 0 19 0 134191025 1589940224 252598 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16078] ppid=16060 vsize=1552676 CPUtime=1.19 /proc/16062/task/16078/stat : 16078 (java) S 16060 16062 15764 0 -1 4202560 5035 0 0 0 119 0 0 0 16 0 19 0 134191025 1589940224 252598 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16079] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16079/stat : 16079 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134191025 1589940224 252598 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16080] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16080/stat : 16080 (java) S 16060 16062 15764 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 134191025 1589940224 252598 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16081] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16081/stat : 16081 (java) S 16060 16062 15764 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 134191058 1589940224 252598 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1604.65 Current children cumulated vsize (KiB) 1552676 [startup+1542.3 s] /proc/loadavg: 2.14 2.14 2.10 3/197 16182 /proc/meminfo: memFree=30337656/32951124 swapFree=67111528/67111528 [pid=16062] ppid=16060 vsize=1552676 CPUtime=1673.53 /proc/16062/stat : 16062 (java) S 16060 16062 15764 0 -1 4202496 285562 0 1 0 164697 2656 0 0 21 0 19 0 134191020 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/16062/statm: 388169 267312 1450 10 0 385471 0 [pid=16062/tid=16064] ppid=16060 vsize=1552676 CPUtime=1513.85 /proc/16062/task/16064/stat : 16064 (java) R 16060 16062 15764 0 -1 4202560 39039 0 1 0 151371 14 0 0 25 0 19 0 134191021 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4109168193 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=16062/tid=16065] ppid=16060 vsize=1552676 CPUtime=19.48 /proc/16062/task/16065/stat : 16065 (java) S 16060 16062 15764 0 -1 4202560 28399 0 0 0 1625 323 0 0 16 0 19 0 134191022 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 6 0 0 0 [pid=16062/tid=16066] ppid=16060 vsize=1552676 CPUtime=19.85 /proc/16062/task/16066/stat : 16066 (java) S 16060 16062 15764 0 -1 4202560 29319 0 0 0 1660 325 0 0 16 0 19 0 134191022 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 4 0 0 0 [pid=16062/tid=16067] ppid=16060 vsize=1552676 CPUtime=19.74 /proc/16062/task/16067/stat : 16067 (java) S 16060 16062 15764 0 -1 4202560 31308 0 0 0 1639 335 0 0 16 0 19 0 134191022 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16068] ppid=16060 vsize=1552676 CPUtime=19.2 /proc/16062/task/16068/stat : 16068 (java) S 16060 16062 15764 0 -1 4202560 28900 0 0 0 1615 305 0 0 15 0 19 0 134191022 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16069] ppid=16060 vsize=1552676 CPUtime=19.44 /proc/16062/task/16069/stat : 16069 (java) S 16060 16062 15764 0 -1 4202560 28707 0 0 0 1624 320 0 0 16 0 19 0 134191022 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 2 0 0 0 [pid=16062/tid=16070] ppid=16060 vsize=1552676 CPUtime=18.86 /proc/16062/task/16070/stat : 16070 (java) S 16060 16062 15764 0 -1 4202560 28347 0 0 0 1570 316 0 0 16 0 19 0 134191022 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 7 0 0 0 [pid=16062/tid=16071] ppid=16060 vsize=1552676 CPUtime=19.07 /proc/16062/task/16071/stat : 16071 (java) S 16060 16062 15764 0 -1 4202560 28058 0 0 0 1588 319 0 0 16 0 19 0 134191022 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 5 0 0 0 [pid=16062/tid=16072] ppid=16060 vsize=1552676 CPUtime=19.8 /proc/16062/task/16072/stat : 16072 (java) S 16060 16062 15764 0 -1 4202560 30858 0 0 0 1659 321 0 0 16 0 19 0 134191022 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16073] ppid=16060 vsize=1552676 CPUtime=1.61 /proc/16062/task/16073/stat : 16073 (java) S 16060 16062 15764 0 -1 4202560 225 0 0 0 90 71 0 0 15 0 19 0 134191023 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16074] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16074/stat : 16074 (java) S 16060 16062 15764 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134191023 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16075] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16075/stat : 16075 (java) S 16060 16062 15764 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 134191023 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16076] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16076/stat : 16076 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134191025 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16077] ppid=16060 vsize=1552676 CPUtime=1.31 /proc/16062/task/16077/stat : 16077 (java) S 16060 16062 15764 0 -1 4202560 6214 0 0 0 131 0 0 0 15 0 19 0 134191025 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16078] ppid=16060 vsize=1552676 CPUtime=1.19 /proc/16062/task/16078/stat : 16078 (java) S 16060 16062 15764 0 -1 4202560 5035 0 0 0 119 0 0 0 16 0 19 0 134191025 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16079] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16079/stat : 16079 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134191025 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16080] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16080/stat : 16080 (java) S 16060 16062 15764 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 134191025 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16081] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16081/stat : 16081 (java) S 16060 16062 15764 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 134191058 1589940224 267312 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1673.53 Current children cumulated vsize (KiB) 1552676 [startup+1602.3 s] /proc/loadavg: 2.05 2.11 2.09 3/197 16183 /proc/meminfo: memFree=30284788/32951124 swapFree=67111528/67111528 [pid=16062] ppid=16060 vsize=1552676 CPUtime=1742.49 /proc/16062/stat : 16062 (java) S 16060 16062 15764 0 -1 4202496 299054 0 1 0 171373 2876 0 0 21 0 19 0 134191020 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/16062/statm: 388169 280294 1450 10 0 385471 0 [pid=16062/tid=16064] ppid=16060 vsize=1552676 CPUtime=1572 /proc/16062/task/16064/stat : 16064 (java) R 16060 16062 15764 0 -1 4202560 39204 0 1 0 157185 15 0 0 25 0 19 0 134191021 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4109168187 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=16062/tid=16065] ppid=16060 vsize=1552676 CPUtime=20.78 /proc/16062/task/16065/stat : 16065 (java) S 16060 16062 15764 0 -1 4202560 30127 0 0 0 1726 352 0 0 16 0 19 0 134191022 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16066] ppid=16060 vsize=1552676 CPUtime=21.28 /proc/16062/task/16066/stat : 16066 (java) S 16060 16062 15764 0 -1 4202560 31345 0 0 0 1773 355 0 0 16 0 19 0 134191022 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 7 0 0 0 [pid=16062/tid=16067] ppid=16060 vsize=1552676 CPUtime=21.08 /proc/16062/task/16067/stat : 16067 (java) S 16060 16062 15764 0 -1 4202560 33089 0 0 0 1752 356 0 0 16 0 19 0 134191022 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 4 0 0 0 [pid=16062/tid=16068] ppid=16060 vsize=1552676 CPUtime=20.66 /proc/16062/task/16068/stat : 16068 (java) S 16060 16062 15764 0 -1 4202560 30497 0 0 0 1736 330 0 0 16 0 19 0 134191022 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 5 0 0 0 [pid=16062/tid=16069] ppid=16060 vsize=1552676 CPUtime=20.64 /proc/16062/task/16069/stat : 16069 (java) S 16060 16062 15764 0 -1 4202560 29974 0 0 0 1719 345 0 0 16 0 19 0 134191022 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 6 0 0 0 [pid=16062/tid=16070] ppid=16060 vsize=1552676 CPUtime=20.17 /proc/16062/task/16070/stat : 16070 (java) S 16060 16062 15764 0 -1 4202560 29858 0 0 0 1672 345 0 0 15 0 19 0 134191022 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 6 0 0 0 [pid=16062/tid=16071] ppid=16060 vsize=1552676 CPUtime=20.48 /proc/16062/task/16071/stat : 16071 (java) S 16060 16062 15764 0 -1 4202560 29937 0 0 0 1698 350 0 0 16 0 19 0 134191022 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16072] ppid=16060 vsize=1552676 CPUtime=21.1 /proc/16062/task/16072/stat : 16072 (java) S 16060 16062 15764 0 -1 4202560 32392 0 0 0 1763 347 0 0 16 0 19 0 134191022 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 2 0 0 0 [pid=16062/tid=16073] ppid=16060 vsize=1552676 CPUtime=1.67 /proc/16062/task/16073/stat : 16073 (java) S 16060 16062 15764 0 -1 4202560 227 0 0 0 92 75 0 0 15 0 19 0 134191023 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16074] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16074/stat : 16074 (java) S 16060 16062 15764 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134191023 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16075] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16075/stat : 16075 (java) S 16060 16062 15764 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 134191023 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16076] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16076/stat : 16076 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134191025 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16077] ppid=16060 vsize=1552676 CPUtime=1.31 /proc/16062/task/16077/stat : 16077 (java) S 16060 16062 15764 0 -1 4202560 6214 0 0 0 131 0 0 0 15 0 19 0 134191025 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16078] ppid=16060 vsize=1552676 CPUtime=1.19 /proc/16062/task/16078/stat : 16078 (java) S 16060 16062 15764 0 -1 4202560 5035 0 0 0 119 0 0 0 16 0 19 0 134191025 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16079] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16079/stat : 16079 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134191025 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16080] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16080/stat : 16080 (java) S 16060 16062 15764 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 134191025 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16081] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16081/stat : 16081 (java) S 16060 16062 15764 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 134191058 1589940224 280294 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1742.49 Current children cumulated vsize (KiB) 1552676 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1655 s] /proc/loadavg: 2.02 2.09 2.08 3/197 16185 /proc/meminfo: memFree=30264684/32951124 swapFree=67111528/67111528 [pid=16062] ppid=16060 vsize=1552676 CPUtime=1800.06 /proc/16062/stat : 16062 (java) S 16060 16062 15764 0 -1 4202496 304101 0 1 0 176999 3007 0 0 21 0 19 0 134191020 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/16062/statm: 388169 285147 1450 10 0 385471 0 [pid=16062/tid=16064] ppid=16060 vsize=1552676 CPUtime=1623.73 /proc/16062/task/16064/stat : 16064 (java) R 16060 16062 15764 0 -1 4202560 39291 0 1 0 162358 15 0 0 25 0 19 0 134191021 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4109390804 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=16062/tid=16065] ppid=16060 vsize=1552676 CPUtime=21.49 /proc/16062/task/16065/stat : 16065 (java) S 16060 16062 15764 0 -1 4202560 30627 0 0 0 1784 365 0 0 16 0 19 0 134191022 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16066] ppid=16060 vsize=1552676 CPUtime=21.99 /proc/16062/task/16066/stat : 16066 (java) S 16060 16062 15764 0 -1 4202560 32065 0 0 0 1827 372 0 0 16 0 19 0 134191022 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 2 0 0 0 [pid=16062/tid=16067] ppid=16060 vsize=1552676 CPUtime=21.83 /proc/16062/task/16067/stat : 16067 (java) S 16060 16062 15764 0 -1 4202560 33713 0 0 0 1811 372 0 0 16 0 19 0 134191022 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 7 0 0 0 [pid=16062/tid=16068] ppid=16060 vsize=1552676 CPUtime=21.42 /proc/16062/task/16068/stat : 16068 (java) S 16060 16062 15764 0 -1 4202560 31204 0 0 0 1791 351 0 0 16 0 19 0 134191022 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 5 0 0 0 [pid=16062/tid=16069] ppid=16060 vsize=1552676 CPUtime=21.42 /proc/16062/task/16069/stat : 16069 (java) S 16060 16062 15764 0 -1 4202560 30705 0 0 0 1779 363 0 0 16 0 19 0 134191022 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16070] ppid=16060 vsize=1552676 CPUtime=20.92 /proc/16062/task/16070/stat : 16070 (java) S 16060 16062 15764 0 -1 4202560 30475 0 0 0 1733 359 0 0 16 0 19 0 134191022 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 4 0 0 0 [pid=16062/tid=16071] ppid=16060 vsize=1552676 CPUtime=21.23 /proc/16062/task/16071/stat : 16071 (java) S 16060 16062 15764 0 -1 4202560 30425 0 0 0 1754 369 0 0 15 0 19 0 134191022 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 4 0 0 0 [pid=16062/tid=16072] ppid=16060 vsize=1552676 CPUtime=21.72 /proc/16062/task/16072/stat : 16072 (java) S 16060 16062 15764 0 -1 4202560 32957 0 0 0 1814 358 0 0 16 0 19 0 134191022 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 6 0 0 0 [pid=16062/tid=16073] ppid=16060 vsize=1552676 CPUtime=1.7 /proc/16062/task/16073/stat : 16073 (java) S 16060 16062 15764 0 -1 4202560 231 0 0 0 93 77 0 0 15 0 19 0 134191023 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 0 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16074] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16074/stat : 16074 (java) S 16060 16062 15764 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134191023 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16075] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16075/stat : 16075 (java) S 16060 16062 15764 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 134191023 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16076] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16076/stat : 16076 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134191025 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 [pid=16062/tid=16077] ppid=16060 vsize=1552676 CPUtime=1.31 /proc/16062/task/16077/stat : 16077 (java) S 16060 16062 15764 0 -1 4202560 6214 0 0 0 131 0 0 0 15 0 19 0 134191025 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16078] ppid=16060 vsize=1552676 CPUtime=1.19 /proc/16062/task/16078/stat : 16078 (java) S 16060 16062 15764 0 -1 4202560 5035 0 0 0 119 0 0 0 16 0 19 0 134191025 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16079] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16079/stat : 16079 (java) S 16060 16062 15764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134191025 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 3 0 0 0 [pid=16062/tid=16080] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16080/stat : 16080 (java) S 16060 16062 15764 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 134191025 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 0 0 0 0 [pid=16062/tid=16081] ppid=16060 vsize=1552676 CPUtime=0 /proc/16062/task/16081/stat : 16081 (java) S 16060 16062 15764 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 134191058 1589940224 285147 4089446400 134512640 134550932 4289650896 18446744073709551615 4294960144 0 4 0 16800975 18446604471126691904 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1552676 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1655.11 s] /proc/loadavg: 2.02 2.09 2.08 3/197 16185 /proc/meminfo: memFree=30264684/32951124 swapFree=67111528/67111528 [pid=16062] ppid=16060 vsize=0 CPUtime=1800.21 /proc/16062/stat : 16062 (java) Z 16060 16062 15764 0 -1 4203548 304125 0 1 0 177010 3011 0 0 17 0 2 0 134191020 0 0 4089446400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/16062/statm: 0 0 0 0 0 0 0 [pid=16062/tid=16081] ppid=16060 vsize=0 CPUtime=0.04 /proc/16062/task/16081/stat : 16081 (java) R 16060 16062 15764 0 -1 4203588 5 0 0 0 0 4 0 0 18 0 2 0 134191058 0 0 4089446400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1655.12 CPU time (s): 1800.22 CPU user time (s): 1770.1 CPU system time (s): 30.1204 CPU usage (%): 108.767 Max. virtual memory (cumulated for all children) (KiB): 1552676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1770.1 system time used= 30.1204 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 304125 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= 144797 involuntary context switches= 8229015 runsolver used 3.2745 second user time and 5.97209 second system time The end
Begin job on node143 at 2010-06-30 22:15:59 IDJOB=2691687 IDBENCH=79293 IDSOLVER=1203 FILE ID=node143/2691687-1277928959 PBS_JOBID= 11197381 Free space on /tmp= 74212 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557957--soft-0-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-2691687-1277928959/watcher-2691687-1277928959 -o /tmp/evaluation-result-2691687-1277928959/solver-2691687-1277928959 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691687-1277928959.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c90222590d839243781a638355a39a56 RANDOM SEED=610880837 node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5285.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30993692 kB Buffers: 213764 kB Cached: 964708 kB SwapCached: 0 kB Active: 1043880 kB Inactive: 768704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30993692 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 452 kB Writeback: 0 kB AnonPages: 633872 kB Mapped: 20692 kB Slab: 80068 kB PageTables: 6000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1654644 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= 74204 MiB End job on node143 at 2010-06-30 22:43:36