Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.2 | 1693.41 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900546417--soft-0-100-0.wbo |
MD5SUM | 0e9942c7ddaaf04ff12871ed1ee37357 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 133.058 |
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 | 137946 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 137945 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
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.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 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@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-2691652-1277927701.wbo 0.11/0.10 c reading problem ... 0.51/0.31 c ... done. Wall clock time 0.209s. 0.51/0.31 c #vars 2938 0.51/0.31 c #constraints 2707 0.51/0.31 c constraints type 0.51/0.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22 0.51/0.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2684 0.51/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.29/0.92 c SATISFIABLE 2.29/0.92 c OPTIMIZING... 2.29/0.92 c Got one! Elapsed wall clock time (in seconds):0.817 2.29/0.92 o 994 2.79/1.18 c Got one! Elapsed wall clock time (in seconds):1.081 2.79/1.18 o 900 3.29/1.49 c Got one! Elapsed wall clock time (in seconds):1.391 3.29/1.49 o 896 3.75/1.79 c Got one! Elapsed wall clock time (in seconds):1.693 3.75/1.79 o 878 4.29/2.20 c Got one! Elapsed wall clock time (in seconds):2.106 4.29/2.20 o 866 5.04/2.91 c Got one! Elapsed wall clock time (in seconds):2.809 5.04/2.91 o 814 5.47/3.31 c Got one! Elapsed wall clock time (in seconds):3.209 5.47/3.31 o 807 6.09/3.98 c Got one! Elapsed wall clock time (in seconds):3.885 6.09/3.98 o 802 7.22/5.04 c Got one! Elapsed wall clock time (in seconds):4.942 7.22/5.04 o 786 9.26/7.02 c Got one! Elapsed wall clock time (in seconds):6.919 9.26/7.02 o 779 9.97/7.74 c Got one! Elapsed wall clock time (in seconds):7.641 9.97/7.74 o 774 11.08/8.85 c Got one! Elapsed wall clock time (in seconds):8.752 11.08/8.85 o 752 12.73/10.43 c Got one! Elapsed wall clock time (in seconds):10.336 12.73/10.43 o 748 15.39/13.03 c Got one! Elapsed wall clock time (in seconds):12.93 15.39/13.03 o 739 20.00/17.57 c Got one! Elapsed wall clock time (in seconds):17.468 20.00/17.57 o 738 21.21/18.74 c Got one! Elapsed wall clock time (in seconds):18.641 21.21/18.74 o 735 23.24/20.78 c Got one! Elapsed wall clock time (in seconds):20.677 23.24/20.78 o 729 25.80/23.21 c Got one! Elapsed wall clock time (in seconds):23.115 25.80/23.21 o 688 30.19/27.54 c Got one! Elapsed wall clock time (in seconds):27.445 30.19/27.54 o 680 36.99/34.28 c Got one! Elapsed wall clock time (in seconds):34.186 36.99/34.28 o 658 48.13/45.10 c cleaning 0 clauses out of 5001 with flag 0/5001 51.10/48.08 c Got one! Elapsed wall clock time (in seconds):47.98 51.10/48.08 o 650 54.56/51.40 c Got one! Elapsed wall clock time (in seconds):51.306 54.56/51.40 o 607 59.56/56.37 c Got one! Elapsed wall clock time (in seconds):56.275 59.56/56.37 o 547 64.95/61.65 c Got one! Elapsed wall clock time (in seconds):61.549 64.95/61.65 o 542 74.95/71.47 c Got one! Elapsed wall clock time (in seconds):71.375 74.95/71.47 o 519 86.76/83.06 c Got one! Elapsed wall clock time (in seconds):82.96 86.76/83.06 o 516 109.05/104.85 c Got one! Elapsed wall clock time (in seconds):104.753 109.05/104.85 o 508 147.66/142.41 c Got one! Elapsed wall clock time (in seconds):142.315 147.66/142.41 o 441 157.15/151.44 c Got one! Elapsed wall clock time (in seconds):151.339 157.15/151.44 o 435 184.42/177.66 c Got one! Elapsed wall clock time (in seconds):177.566 184.42/177.66 o 399 196.10/188.96 c Got one! Elapsed wall clock time (in seconds):188.859 196.10/188.96 o 366 352.76/338.16 c Got one! Elapsed wall clock time (in seconds):338.061 352.76/338.16 o 343 737.42/698.82 c Got one! Elapsed wall clock time (in seconds):698.72 737.42/698.82 o 339 745.07/706.27 c cleaning 0 clauses out of 11000 with flag 0/11000 807.76/767.15 c Got one! Elapsed wall clock time (in seconds):767.05 807.76/767.15 o 332 896.09/852.47 c Got one! Elapsed wall clock time (in seconds):852.373 896.09/852.47 o 323 1085.80/1033.64 c Got one! Elapsed wall clock time (in seconds):1033.545 1085.80/1033.64 o 310 1170.27/1111.03 c Got one! Elapsed wall clock time (in seconds):1110.936 1170.27/1111.03 o 292 1201.22/1140.11 c Got one! Elapsed wall clock time (in seconds):1140.009 1201.22/1140.11 o 291 1235.05/1172.51 c Got one! Elapsed wall clock time (in seconds):1172.408 1235.05/1172.51 o 285 1286.33/1221.54 c Got one! Elapsed wall clock time (in seconds):1221.446 1286.33/1221.54 o 279 1530.13/1444.45 c Got one! Elapsed wall clock time (in seconds):1444.353 1530.13/1444.45 o 266 1645.37/1553.86 c cleaning 0 clauses out of 18001 with flag 0/18001 1800.03/1693.31 c starts : 85 1800.03/1693.31 c conflicts : 18386 1800.03/1693.31 c decisions : 261749 1800.03/1693.31 c propagations : 2121732 1800.03/1693.31 c inspects : 881658146 1800.03/1693.31 c learnt literals : 0 1800.03/1693.31 c learnt binary clauses : 0 1800.03/1693.31 c learnt ternary clauses : 0 1800.03/1693.31 c learnt clauses : 18385 1800.03/1693.31 c ignored clauses : 0 1800.03/1693.31 c root simplifications : 0 1800.03/1693.31 c removed literals (reason simplification) : 0 1800.03/1693.31 c reason swapping (by a shorter reason) : 0 1800.03/1693.31 c Calls to reduceDB : 3 1800.03/1693.31 c number of reductions to clauses (during analyze) : 0 1800.03/1693.31 c number of learned constraints concerned by reduction : 0 1800.03/1693.31 c number of learning phase by resolution : 0 1800.03/1693.31 c number of learning phase by cutting planes : 0 1800.03/1693.31 c speed (assignments/second) : 8526.011235503547 1800.03/1693.31 c non guided choices 4762 1800.03/1693.32 c learnt constraints type 1800.03/1693.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 9 1800.03/1693.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 18376 1800.03/1693.32 c constraints type 1800.03/1693.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22 1800.03/1693.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2684 1800.03/1693.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.03/1693.32 s SATISFIABLE 1800.03/1693.32 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/1693.32 c objective function=266 1800.03/1693.32 c Total wall clock time (in seconds): 1693.225
OK 266
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691652-1277927701/watcher-2691652-1277927701 -o /tmp/evaluation-result-2691652-1277927701/solver-2691652-1277927701 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691652-1277927701.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: 3.06 2.58 2.23 4/199 16899 /proc/meminfo: memFree=31016520/32951124 swapFree=67111528/67111528 [pid=16899] ppid=16897 vsize=13164 CPUtime=0 /proc/16899/stat : 16899 (java) R 16897 16899 16697 0 -1 4194304 891 0 0 0 0 0 0 0 17 0 1 0 134065255 13479936 404 4089446400 134512640 134550932 4290144384 18446744073709551615 8181381 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/16899/statm: 3291 411 144 10 0 1121 0 [startup+0.0934121 s] /proc/loadavg: 3.06 2.58 2.23 4/199 16899 /proc/meminfo: memFree=31016520/32951124 swapFree=67111528/67111528 [pid=16899] ppid=16897 vsize=1529724 CPUtime=0.1 /proc/16899/stat : 16899 (java) S 16897 16899 16697 0 -1 4202496 5136 0 1 0 9 1 0 0 17 0 18 0 134065255 1566437376 4573 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/16899/statm: 382431 4574 1347 10 0 379733 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1529724 [startup+0.100517 s] /proc/loadavg: 3.06 2.58 2.23 4/199 16899 /proc/meminfo: memFree=31016520/32951124 swapFree=67111528/67111528 [pid=16899] ppid=16897 vsize=1529724 CPUtime=0.11 /proc/16899/stat : 16899 (java) S 16897 16899 16697 0 -1 4202496 5197 0 1 0 10 1 0 0 17 0 18 0 134065255 1566437376 4634 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/16899/statm: 382431 4634 1347 10 0 379733 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529724 [startup+0.300499 s] /proc/loadavg: 3.06 2.58 2.23 4/199 16899 /proc/meminfo: memFree=31016520/32951124 swapFree=67111528/67111528 [pid=16899] ppid=16897 vsize=1531772 CPUtime=0.51 /proc/16899/stat : 16899 (java) S 16897 16899 16697 0 -1 4202496 7671 0 1 0 50 1 0 0 17 0 18 0 134065255 1568534528 6927 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/16899/statm: 382943 6927 1403 10 0 380245 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 1531772 [startup+0.70043 s] /proc/loadavg: 3.06 2.58 2.23 4/199 16899 /proc/meminfo: memFree=31016520/32951124 swapFree=67111528/67111528 [pid=16899] ppid=16897 vsize=1548948 CPUtime=1.69 /proc/16899/stat : 16899 (java) S 16897 16899 16697 0 -1 4202496 18890 0 1 0 165 4 0 0 17 0 19 0 134065255 1586122752 13824 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/16899/statm: 387237 13824 1421 10 0 384539 0 Current children cumulated CPU time (s) 1.69 Current children cumulated vsize (KiB) 1548948 [startup+1.50131 s] /proc/loadavg: 3.06 2.58 2.23 6/218 16918 /proc/meminfo: memFree=30937080/32951124 swapFree=67111528/67111528 [pid=16899] ppid=16897 vsize=1549428 CPUtime=3.52 /proc/16899/stat : 16899 (java) S 16897 16899 16697 0 -1 4202496 45544 0 1 0 344 8 0 0 17 0 19 0 134065255 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/16899/statm: 387357 38975 1444 10 0 384659 0 [pid=16899/tid=16901] ppid=16897 vsize=1549428 CPUtime=1.47 /proc/16899/task/16901/stat : 16901 (java) R 16897 16899 16697 0 -1 4202560 32123 0 1 0 142 5 0 0 18 0 19 0 134065256 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4109982379 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=16899/tid=16902] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16902/stat : 16902 (java) S 16897 16899 16697 0 -1 4202560 208 0 0 0 0 0 0 0 18 0 19 0 134065257 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16903] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16903/stat : 16903 (java) S 16897 16899 16697 0 -1 4202560 209 0 0 0 0 0 0 0 18 0 19 0 134065257 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 [pid=16899/tid=16904] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16904/stat : 16904 (java) S 16897 16899 16697 0 -1 4202560 198 0 0 0 0 0 0 0 18 0 19 0 134065257 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 5 0 0 0 [pid=16899/tid=16905] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16905/stat : 16905 (java) S 16897 16899 16697 0 -1 4202560 113 0 0 0 0 0 0 0 18 0 19 0 134065257 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 1 0 0 0 [pid=16899/tid=16906] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16906/stat : 16906 (java) S 16897 16899 16697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134065257 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16907] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16907/stat : 16907 (java) S 16897 16899 16697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134065257 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16908] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16908/stat : 16908 (java) S 16897 16899 16697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134065257 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16909] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16909/stat : 16909 (java) S 16897 16899 16697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134065257 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16910] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16910/stat : 16910 (java) S 16897 16899 16697 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 134065258 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446604471161500672 0 0 -1 5 0 0 0 [pid=16899/tid=16911] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16911/stat : 16911 (java) S 16897 16899 16697 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134065258 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16912] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16912/stat : 16912 (java) S 16897 16899 16697 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 134065258 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16913] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16913/stat : 16913 (java) S 16897 16899 16697 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 134065260 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16914] ppid=16897 vsize=1549428 CPUtime=1.04 /proc/16899/task/16914/stat : 16914 (java) S 16897 16899 16697 0 -1 4202560 7514 0 0 0 103 1 0 0 16 0 19 0 134065260 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16915] ppid=16897 vsize=1549428 CPUtime=0.98 /proc/16899/task/16915/stat : 16915 (java) S 16897 16899 16697 0 -1 4202560 4099 0 0 0 97 1 0 0 15 0 19 0 134065260 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16916] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16916/stat : 16916 (java) S 16897 16899 16697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 134065260 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 4 0 0 0 [pid=16899/tid=16917] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16917/stat : 16917 (java) S 16897 16899 16697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 134065260 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16918] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16918/stat : 16918 (java) S 16897 16899 16697 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 134065294 1586614272 38975 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.52 Current children cumulated vsize (KiB) 1549428 [startup+3.10098 s] /proc/loadavg: 3.05 2.59 2.23 4/218 16918 /proc/meminfo: memFree=30858972/32951124 swapFree=67111528/67111528 [pid=16899] ppid=16897 vsize=1549428 CPUtime=5.26 /proc/16899/stat : 16899 (java) S 16897 16899 16697 0 -1 4202496 49748 0 1 0 518 8 0 0 17 0 19 0 134065255 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/16899/statm: 387357 43161 1444 10 0 384659 0 [pid=16899/tid=16901] ppid=16897 vsize=1549428 CPUtime=3.05 /proc/16899/task/16901/stat : 16901 (java) R 16897 16899 16697 0 -1 4202560 32129 0 1 0 300 5 0 0 20 0 19 0 134065256 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4110023558 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=16899/tid=16902] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16902/stat : 16902 (java) S 16897 16899 16697 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 19 0 134065257 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16903] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16903/stat : 16903 (java) S 16897 16899 16697 0 -1 4202560 1081 0 0 0 0 0 0 0 16 0 19 0 134065257 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 5 0 0 0 [pid=16899/tid=16904] ppid=16897 vsize=1549428 CPUtime=0.01 /proc/16899/task/16904/stat : 16904 (java) S 16897 16899 16697 0 -1 4202560 878 0 0 0 1 0 0 0 15 0 19 0 134065257 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 5 0 0 0 [pid=16899/tid=16905] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16905/stat : 16905 (java) S 16897 16899 16697 0 -1 4202560 646 0 0 0 0 0 0 0 16 0 19 0 134065257 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 1 0 0 0 [pid=16899/tid=16906] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16906/stat : 16906 (java) S 16897 16899 16697 0 -1 4202560 553 0 0 0 0 0 0 0 16 0 19 0 134065257 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16907] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16907/stat : 16907 (java) S 16897 16899 16697 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 19 0 134065257 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 1 0 0 0 [pid=16899/tid=16908] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16908/stat : 16908 (java) S 16897 16899 16697 0 -1 4202560 910 0 0 0 0 0 0 0 16 0 19 0 134065257 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 [pid=16899/tid=16909] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16909/stat : 16909 (java) S 16897 16899 16697 0 -1 4202560 347 0 0 0 0 0 0 0 15 0 19 0 134065257 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 [pid=16899/tid=16910] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16910/stat : 16910 (java) S 16897 16899 16697 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 134065258 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446604471161500672 0 0 -1 5 0 0 0 [pid=16899/tid=16911] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16911/stat : 16911 (java) S 16897 16899 16697 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134065258 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16912] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16912/stat : 16912 (java) S 16897 16899 16697 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 134065258 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16913] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16913/stat : 16913 (java) S 16897 16899 16697 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 134065260 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16914] ppid=16897 vsize=1549428 CPUtime=1.12 /proc/16899/task/16914/stat : 16914 (java) S 16897 16899 16697 0 -1 4202560 7519 0 0 0 111 1 0 0 15 0 19 0 134065260 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16915] ppid=16897 vsize=1549428 CPUtime=1 /proc/16899/task/16915/stat : 16915 (java) S 16897 16899 16697 0 -1 4202560 4100 0 0 0 99 1 0 0 15 0 19 0 134065260 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16916] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16916/stat : 16916 (java) S 16897 16899 16697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 134065260 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 4 0 0 0 [pid=16899/tid=16917] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16917/stat : 16917 (java) S 16897 16899 16697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 134065260 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16918] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16918/stat : 16918 (java) S 16897 16899 16697 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 134065294 1586614272 43161 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.26 Current children cumulated vsize (KiB) 1549428 [startup+6.30143 s] /proc/loadavg: 3.05 2.59 2.23 4/218 16918 /proc/meminfo: memFree=30822764/32951124 swapFree=67111528/67111528 [pid=16899] ppid=16897 vsize=1549428 CPUtime=8.55 /proc/16899/stat : 16899 (java) S 16897 16899 16697 0 -1 4202496 57190 0 1 0 845 10 0 0 17 0 19 0 134065255 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/16899/statm: 387357 49937 1444 10 0 384659 0 [pid=16899/tid=16901] ppid=16897 vsize=1549428 CPUtime=6.22 /proc/16899/task/16901/stat : 16901 (java) R 16897 16899 16697 0 -1 4202560 35289 0 1 0 617 5 0 0 25 0 19 0 134065256 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4110430802 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=16899/tid=16902] ppid=16897 vsize=1549428 CPUtime=0.01 /proc/16899/task/16902/stat : 16902 (java) S 16897 16899 16697 0 -1 4202560 711 0 0 0 1 0 0 0 15 0 19 0 134065257 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16903] ppid=16897 vsize=1549428 CPUtime=0.01 /proc/16899/task/16903/stat : 16903 (java) S 16897 16899 16697 0 -1 4202560 1489 0 0 0 1 0 0 0 15 0 19 0 134065257 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 [pid=16899/tid=16904] ppid=16897 vsize=1549428 CPUtime=0.03 /proc/16899/task/16904/stat : 16904 (java) S 16897 16899 16697 0 -1 4202560 1704 0 0 0 3 0 0 0 15 0 19 0 134065257 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 5 0 0 0 [pid=16899/tid=16905] ppid=16897 vsize=1549428 CPUtime=0.02 /proc/16899/task/16905/stat : 16905 (java) S 16897 16899 16697 0 -1 4202560 1171 0 0 0 2 0 0 0 15 0 19 0 134065257 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 1 0 0 0 [pid=16899/tid=16906] ppid=16897 vsize=1549428 CPUtime=0.01 /proc/16899/task/16906/stat : 16906 (java) S 16897 16899 16697 0 -1 4202560 1161 0 0 0 1 0 0 0 15 0 19 0 134065257 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16907] ppid=16897 vsize=1549428 CPUtime=0.01 /proc/16899/task/16907/stat : 16907 (java) S 16897 16899 16697 0 -1 4202560 519 0 0 0 1 0 0 0 15 0 19 0 134065257 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16908] ppid=16897 vsize=1549428 CPUtime=0.01 /proc/16899/task/16908/stat : 16908 (java) S 16897 16899 16697 0 -1 4202560 1438 0 0 0 1 0 0 0 15 0 19 0 134065257 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 [pid=16899/tid=16909] ppid=16897 vsize=1549428 CPUtime=0.02 /proc/16899/task/16909/stat : 16909 (java) S 16897 16899 16697 0 -1 4202560 993 0 0 0 2 0 0 0 16 0 19 0 134065257 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 4 0 0 0 [pid=16899/tid=16910] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16910/stat : 16910 (java) S 16897 16899 16697 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 134065258 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446604471161500672 0 0 -1 5 0 0 0 [pid=16899/tid=16911] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16911/stat : 16911 (java) S 16897 16899 16697 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134065258 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16912] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16912/stat : 16912 (java) S 16897 16899 16697 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 134065258 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16913] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16913/stat : 16913 (java) S 16897 16899 16697 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 134065260 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16914] ppid=16897 vsize=1549428 CPUtime=1.12 /proc/16899/task/16914/stat : 16914 (java) S 16897 16899 16697 0 -1 4202560 7519 0 0 0 111 1 0 0 15 0 19 0 134065260 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16915] ppid=16897 vsize=1549428 CPUtime=1 /proc/16899/task/16915/stat : 16915 (java) S 16897 16899 16697 0 -1 4202560 4100 0 0 0 99 1 0 0 15 0 19 0 134065260 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16916] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16916/stat : 16916 (java) S 16897 16899 16697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 134065260 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 4 0 0 0 [pid=16899/tid=16917] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16917/stat : 16917 (java) S 16897 16899 16697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 134065260 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16918] ppid=16897 vsize=1549428 CPUtime=0 /proc/16899/task/16918/stat : 16918 (java) S 16897 16899 16697 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 134065294 1586614272 49937 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 8.55 Current children cumulated vsize (KiB) 1549428 [startup+12.7013 s] /proc/loadavg: 2.96 2.58 2.24 4/218 16918 /proc/meminfo: memFree=30809876/32951124 swapFree=67111528/67111528 [pid=16899] ppid=16897 vsize=1549428 CPUtime=15.09 /proc/16899/stat : 16899 (java) S 16897 16899 16697 0 -1 4202496 60439 0 1 0 1497 12 0 0 17 0 19 0 134065255 1586614272 52960 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/16899/statm: 387357 52960 1444 10 0 384659 0 [pid=16899/tid=16901] ppid=16897 vsize=1549428 CPUtime=12.57 /proc/16899/task/16901/stat : 16901 (java) R 16897 16899 16697 0 -1 4202560 35498 0 1 0 1252 5 0 0 25 0 19 0 134065256 1586614272 52960 4089446400 134512640 134550932 4290144384 18446744073709551615 4110188543 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=16899/tid=16902] ppid=16897 vsize=1549428 CPUtime=0.04 /proc/16899/task/16902/stat : 16902 (java) S 16897 16899 16697 0 -1 4202560 1290 0 0 0 4 0 0 0 16 0 19 0 134065257 1586614272 52960 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 ################ # More data... # ################ [pid=16899/tid=16907] ppid=16897 vsize=1557144 CPUtime=14.08 /proc/16899/task/16907/stat : 16907 (java) S 16897 16899 16697 0 -1 4202560 16014 0 0 0 1236 172 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16908] ppid=16897 vsize=1557144 CPUtime=14.28 /proc/16899/task/16908/stat : 16908 (java) S 16897 16899 16697 0 -1 4202560 16588 0 0 0 1263 165 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 1 0 0 0 [pid=16899/tid=16909] ppid=16897 vsize=1557144 CPUtime=14.51 /proc/16899/task/16909/stat : 16909 (java) S 16897 16899 16697 0 -1 4202560 16323 0 0 0 1260 191 0 0 15 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16910] ppid=16897 vsize=1557144 CPUtime=2.15 /proc/16899/task/16910/stat : 16910 (java) S 16897 16899 16697 0 -1 4202560 305 0 0 0 158 57 0 0 15 0 19 0 134065258 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446604471161500672 0 0 -1 6 0 0 0 [pid=16899/tid=16911] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16911/stat : 16911 (java) S 16897 16899 16697 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134065258 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 5 0 0 0 [pid=16899/tid=16912] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16912/stat : 16912 (java) S 16897 16899 16697 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 134065258 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16913] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16913/stat : 16913 (java) S 16897 16899 16697 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16914] ppid=16897 vsize=1557144 CPUtime=1.71 /proc/16899/task/16914/stat : 16914 (java) S 16897 16899 16697 0 -1 4202560 11909 0 0 0 169 2 0 0 15 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16915] ppid=16897 vsize=1557144 CPUtime=1.03 /proc/16899/task/16915/stat : 16915 (java) S 16897 16899 16697 0 -1 4202560 4105 0 0 0 102 1 0 0 15 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16916] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16916/stat : 16916 (java) S 16897 16899 16697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 4 0 0 0 [pid=16899/tid=16917] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16917/stat : 16917 (java) S 16897 16899 16697 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 0 0 0 0 [pid=16899/tid=16918] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16918/stat : 16918 (java) S 16897 16899 16697 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 134065294 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1697.67 Current children cumulated vsize (KiB) 1557144 [startup+1662.3 s] /proc/loadavg: 2.00 2.09 2.24 3/197 17028 /proc/meminfo: memFree=30566384/32951124 swapFree=67111528/67111528 [pid=16899] ppid=16897 vsize=1557144 CPUtime=1765.1 /proc/16899/stat : 16899 (java) S 16897 16899 16697 0 -1 4202496 188883 0 1 0 174837 1673 0 0 17 0 19 0 134065255 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/16899/statm: 389286 169693 1450 10 0 386588 0 [pid=16899/tid=16901] ppid=16897 vsize=1557144 CPUtime=1636.25 /proc/16899/task/16901/stat : 16901 (java) R 16897 16899 16697 0 -1 4202560 39233 0 1 0 163608 17 0 0 25 0 19 0 134065256 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4109913804 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=16899/tid=16902] ppid=16897 vsize=1557144 CPUtime=16.02 /proc/16899/task/16902/stat : 16902 (java) S 16897 16899 16697 0 -1 4202560 15585 0 0 0 1409 193 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 0 0 0 0 [pid=16899/tid=16903] ppid=16897 vsize=1557144 CPUtime=15.5 /proc/16899/task/16903/stat : 16903 (java) S 16897 16899 16697 0 -1 4202560 16455 0 0 0 1330 220 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16904] ppid=16897 vsize=1557144 CPUtime=15.08 /proc/16899/task/16904/stat : 16904 (java) S 16897 16899 16697 0 -1 4202560 18182 0 0 0 1307 201 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16905] ppid=16897 vsize=1557144 CPUtime=15.65 /proc/16899/task/16905/stat : 16905 (java) S 16897 16899 16697 0 -1 4202560 16709 0 0 0 1370 195 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 6 0 0 0 [pid=16899/tid=16906] ppid=16897 vsize=1557144 CPUtime=15.48 /proc/16899/task/16906/stat : 16906 (java) S 16897 16899 16697 0 -1 4202560 16313 0 0 0 1340 208 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16907] ppid=16897 vsize=1557144 CPUtime=15.17 /proc/16899/task/16907/stat : 16907 (java) S 16897 16899 16697 0 -1 4202560 16014 0 0 0 1331 186 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 [pid=16899/tid=16908] ppid=16897 vsize=1557144 CPUtime=15.41 /proc/16899/task/16908/stat : 16908 (java) S 16897 16899 16697 0 -1 4202560 16588 0 0 0 1361 180 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 1 0 0 0 [pid=16899/tid=16909] ppid=16897 vsize=1557144 CPUtime=15.5 /proc/16899/task/16909/stat : 16909 (java) S 16897 16899 16697 0 -1 4202560 16323 0 0 0 1346 204 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 5 0 0 0 [pid=16899/tid=16910] ppid=16897 vsize=1557144 CPUtime=2.2 /proc/16899/task/16910/stat : 16910 (java) S 16897 16899 16697 0 -1 4202560 309 0 0 0 159 61 0 0 15 0 19 0 134065258 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446604471161500672 0 0 -1 0 0 0 0 [pid=16899/tid=16911] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16911/stat : 16911 (java) S 16897 16899 16697 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134065258 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 5 0 0 0 [pid=16899/tid=16912] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16912/stat : 16912 (java) S 16897 16899 16697 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 134065258 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16913] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16913/stat : 16913 (java) S 16897 16899 16697 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16914] ppid=16897 vsize=1557144 CPUtime=1.71 /proc/16899/task/16914/stat : 16914 (java) S 16897 16899 16697 0 -1 4202560 11909 0 0 0 169 2 0 0 15 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16915] ppid=16897 vsize=1557144 CPUtime=1.03 /proc/16899/task/16915/stat : 16915 (java) S 16897 16899 16697 0 -1 4202560 4105 0 0 0 102 1 0 0 15 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16916] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16916/stat : 16916 (java) S 16897 16899 16697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 4 0 0 0 [pid=16899/tid=16917] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16917/stat : 16917 (java) S 16897 16899 16697 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16918] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16918/stat : 16918 (java) S 16897 16899 16697 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 134065294 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1765.1 Current children cumulated vsize (KiB) 1557144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1693.3 s] /proc/loadavg: 2.00 2.08 2.23 3/197 17030 /proc/meminfo: memFree=30566488/32951124 swapFree=67111528/67111528 [pid=16899] ppid=16897 vsize=1557144 CPUtime=1800.03 /proc/16899/stat : 16899 (java) S 16897 16899 16697 0 -1 4202496 188981 0 1 0 178257 1746 0 0 17 0 19 0 134065255 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/16899/statm: 389286 169693 1450 10 0 386588 0 [pid=16899/tid=16901] ppid=16897 vsize=1557144 CPUtime=1666.44 /proc/16899/task/16901/stat : 16901 (java) R 16897 16899 16697 0 -1 4202560 39327 0 1 0 166627 17 0 0 25 0 19 0 134065256 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4109990077 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=16899/tid=16902] ppid=16897 vsize=1557144 CPUtime=16.7 /proc/16899/task/16902/stat : 16902 (java) S 16897 16899 16697 0 -1 4202560 15585 0 0 0 1466 204 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 6 0 0 0 [pid=16899/tid=16903] ppid=16897 vsize=1557144 CPUtime=16.04 /proc/16899/task/16903/stat : 16903 (java) S 16897 16899 16697 0 -1 4202560 16455 0 0 0 1377 227 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16904] ppid=16897 vsize=1557144 CPUtime=15.61 /proc/16899/task/16904/stat : 16904 (java) S 16897 16899 16697 0 -1 4202560 18182 0 0 0 1352 209 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 [pid=16899/tid=16905] ppid=16897 vsize=1557144 CPUtime=16.26 /proc/16899/task/16905/stat : 16905 (java) S 16897 16899 16697 0 -1 4202560 16709 0 0 0 1423 203 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 5 0 0 0 [pid=16899/tid=16906] ppid=16897 vsize=1557144 CPUtime=16.08 /proc/16899/task/16906/stat : 16906 (java) S 16897 16899 16697 0 -1 4202560 16313 0 0 0 1389 219 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 0 0 0 0 [pid=16899/tid=16907] ppid=16897 vsize=1557144 CPUtime=15.81 /proc/16899/task/16907/stat : 16907 (java) S 16897 16899 16697 0 -1 4202560 16014 0 0 0 1386 195 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16908] ppid=16897 vsize=1557144 CPUtime=15.88 /proc/16899/task/16908/stat : 16908 (java) S 16897 16899 16697 0 -1 4202560 16588 0 0 0 1401 187 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16909] ppid=16897 vsize=1557144 CPUtime=16.1 /proc/16899/task/16909/stat : 16909 (java) S 16897 16899 16697 0 -1 4202560 16323 0 0 0 1398 212 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 1 0 0 0 [pid=16899/tid=16910] ppid=16897 vsize=1557144 CPUtime=2.23 /proc/16899/task/16910/stat : 16910 (java) S 16897 16899 16697 0 -1 4202560 311 0 0 0 160 63 0 0 15 0 19 0 134065258 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446604471161500672 0 0 -1 0 0 0 0 [pid=16899/tid=16911] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16911/stat : 16911 (java) S 16897 16899 16697 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134065258 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 5 0 0 0 [pid=16899/tid=16912] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16912/stat : 16912 (java) S 16897 16899 16697 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 134065258 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16913] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16913/stat : 16913 (java) S 16897 16899 16697 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16914] ppid=16897 vsize=1557144 CPUtime=1.71 /proc/16899/task/16914/stat : 16914 (java) S 16897 16899 16697 0 -1 4202560 11909 0 0 0 169 2 0 0 15 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16915] ppid=16897 vsize=1557144 CPUtime=1.03 /proc/16899/task/16915/stat : 16915 (java) S 16897 16899 16697 0 -1 4202560 4105 0 0 0 102 1 0 0 15 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16916] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16916/stat : 16916 (java) S 16897 16899 16697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 4 0 0 0 [pid=16899/tid=16917] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16917/stat : 16917 (java) S 16897 16899 16697 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16918] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16918/stat : 16918 (java) S 16897 16899 16697 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 134065294 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1557144 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1693.3 s] /proc/loadavg: 2.00 2.08 2.23 3/197 17030 /proc/meminfo: memFree=30566488/32951124 swapFree=67111528/67111528 [pid=16899] ppid=16897 vsize=1557144 CPUtime=1800.03 /proc/16899/stat : 16899 (java) S 16897 16899 16697 0 -1 4202496 188981 0 1 0 178257 1746 0 0 17 0 19 0 134065255 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/16899/statm: 389286 169693 1450 10 0 386588 0 [pid=16899/tid=16901] ppid=16897 vsize=1557144 CPUtime=1666.44 /proc/16899/task/16901/stat : 16901 (java) R 16897 16899 16697 0 -1 4202560 39327 0 1 0 166627 17 0 0 25 0 19 0 134065256 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4109990077 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=16899/tid=16902] ppid=16897 vsize=1557144 CPUtime=16.7 /proc/16899/task/16902/stat : 16902 (java) S 16897 16899 16697 0 -1 4202560 15585 0 0 0 1466 204 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 6 0 0 0 [pid=16899/tid=16903] ppid=16897 vsize=1557144 CPUtime=16.04 /proc/16899/task/16903/stat : 16903 (java) S 16897 16899 16697 0 -1 4202560 16455 0 0 0 1377 227 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16904] ppid=16897 vsize=1557144 CPUtime=15.61 /proc/16899/task/16904/stat : 16904 (java) S 16897 16899 16697 0 -1 4202560 18182 0 0 0 1352 209 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 [pid=16899/tid=16905] ppid=16897 vsize=1557144 CPUtime=16.26 /proc/16899/task/16905/stat : 16905 (java) S 16897 16899 16697 0 -1 4202560 16709 0 0 0 1423 203 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 5 0 0 0 [pid=16899/tid=16906] ppid=16897 vsize=1557144 CPUtime=16.08 /proc/16899/task/16906/stat : 16906 (java) S 16897 16899 16697 0 -1 4202560 16313 0 0 0 1389 219 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 0 0 0 0 [pid=16899/tid=16907] ppid=16897 vsize=1557144 CPUtime=15.81 /proc/16899/task/16907/stat : 16907 (java) S 16897 16899 16697 0 -1 4202560 16014 0 0 0 1386 195 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16908] ppid=16897 vsize=1557144 CPUtime=15.88 /proc/16899/task/16908/stat : 16908 (java) S 16897 16899 16697 0 -1 4202560 16588 0 0 0 1401 187 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16909] ppid=16897 vsize=1557144 CPUtime=16.1 /proc/16899/task/16909/stat : 16909 (java) S 16897 16899 16697 0 -1 4202560 16323 0 0 0 1398 212 0 0 16 0 19 0 134065257 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 1 0 0 0 [pid=16899/tid=16910] ppid=16897 vsize=1557144 CPUtime=2.23 /proc/16899/task/16910/stat : 16910 (java) S 16897 16899 16697 0 -1 4202560 311 0 0 0 160 63 0 0 15 0 19 0 134065258 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 0 0 16800975 18446604471161500672 0 0 -1 0 0 0 0 [pid=16899/tid=16911] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16911/stat : 16911 (java) S 16897 16899 16697 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134065258 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 5 0 0 0 [pid=16899/tid=16912] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16912/stat : 16912 (java) S 16897 16899 16697 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 134065258 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16913] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16913/stat : 16913 (java) S 16897 16899 16697 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16914] ppid=16897 vsize=1557144 CPUtime=1.71 /proc/16899/task/16914/stat : 16914 (java) S 16897 16899 16697 0 -1 4202560 11909 0 0 0 169 2 0 0 15 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 3 0 0 0 [pid=16899/tid=16915] ppid=16897 vsize=1557144 CPUtime=1.03 /proc/16899/task/16915/stat : 16915 (java) S 16897 16899 16697 0 -1 4202560 4105 0 0 0 102 1 0 0 15 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16916] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16916/stat : 16916 (java) S 16897 16899 16697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 4 0 0 0 [pid=16899/tid=16917] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16917/stat : 16917 (java) S 16897 16899 16697 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 134065260 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 2 0 0 0 [pid=16899/tid=16918] ppid=16897 vsize=1557144 CPUtime=0 /proc/16899/task/16918/stat : 16918 (java) S 16897 16899 16697 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 134065294 1594515456 169693 4089446400 134512640 134550932 4290144384 18446744073709551615 4294960144 0 4 0 16800975 18446604471161500672 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1557144 Child status: 143 Real time (s): 1693.41 CPU time (s): 1800.2 CPU user time (s): 1782.71 CPU system time (s): 17.4913 CPU usage (%): 106.307 Max. virtual memory (cumulated for all children) (KiB): 1559880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.71 system time used= 17.4913 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 189019 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= 143240 involuntary context switches= 5316614 runsolver used 3.02554 second user time and 6.44302 second system time The end
Begin job on node145 at 2010-06-30 21:55:01 IDJOB=2691652 IDBENCH=79282 IDSOLVER=1203 FILE ID=node145/2691652-1277927701 PBS_JOBID= 11197364 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.1900546417--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-2691652-1277927701/watcher-2691652-1277927701 -o /tmp/evaluation-result-2691652-1277927701/solver-2691652-1277927701 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691652-1277927701.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0e9942c7ddaaf04ff12871ed1ee37357 RANDOM SEED=585146059 node145.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.851 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.70 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.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 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.851 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.851 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.851 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.82 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.851 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.67 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.851 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.851 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31016924 kB Buffers: 210984 kB Cached: 1263372 kB SwapCached: 0 kB Active: 794664 kB Inactive: 994232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31016924 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 476 kB Writeback: 0 kB AnonPages: 314880 kB Mapped: 20312 kB Slab: 80896 kB PageTables: 5508 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1658888 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= 74208 MiB End job on node145 at 2010-06-30 22:23:16