Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.25 | 1686.71 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo |
MD5SUM | e639daae290163b8abe4f9e3cf3dc11c |
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 | 513.52 |
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 | 136843 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 136842 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 669 |
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.02/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.07 c See www.sat4j.org for details. 0.02/0.07 c version 2.2.0.v20100526 0.02/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.02/0.07 c java.vm.version 11.2-b01 0.02/0.07 c java.vm.vendor Sun Microsystems Inc. 0.02/0.07 c sun.arch.data.model 32 0.02/0.07 c java.version 1.6.0_12 0.02/0.07 c os.name Linux 0.02/0.07 c os.version 2.6.18-164.el5 0.02/0.07 c os.arch i386 0.02/0.07 c Free memory 1393557488 0.02/0.07 c Max memory 1395916800 0.02/0.07 c Total memory 1395916800 0.02/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@1f436f5 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-2691572-1277925302.wbo 0.11/0.10 c reading problem ... 0.52/0.31 c ... done. Wall clock time 0.208s. 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.29/0.96 c SATISFIABLE 2.29/0.96 c OPTIMIZING... 2.29/0.96 c Got one! Elapsed wall clock time (in seconds):0.862 2.29/0.96 o 979 2.88/1.22 c Got one! Elapsed wall clock time (in seconds):1.126 2.88/1.22 o 940 3.35/1.59 c Got one! Elapsed wall clock time (in seconds):1.494 3.35/1.59 o 899 3.93/2.01 c Got one! Elapsed wall clock time (in seconds):1.909 3.93/2.01 o 875 4.48/2.52 c Got one! Elapsed wall clock time (in seconds):2.419 4.48/2.52 o 866 15.21/13.05 c Got one! Elapsed wall clock time (in seconds):12.951 15.21/13.05 o 856 15.72/13.57 c Got one! Elapsed wall clock time (in seconds):13.473 15.72/13.57 o 852 16.54/14.35 c Got one! Elapsed wall clock time (in seconds):14.252 16.54/14.35 o 845 17.87/15.61 c Got one! Elapsed wall clock time (in seconds):15.516 17.87/15.61 o 829 19.70/17.49 c Got one! Elapsed wall clock time (in seconds):17.394 19.70/17.49 o 819 20.51/18.25 c Got one! Elapsed wall clock time (in seconds):18.149 20.51/18.25 o 815 24.98/22.64 c Got one! Elapsed wall clock time (in seconds):22.542 24.98/22.64 o 798 27.00/24.64 c Got one! Elapsed wall clock time (in seconds):24.547 27.00/24.65 o 693 30.07/27.63 c Got one! Elapsed wall clock time (in seconds):27.536 30.07/27.63 o 689 36.88/34.36 c Got one! Elapsed wall clock time (in seconds):34.266 36.88/34.36 o 643 38.20/35.68 c Got one! Elapsed wall clock time (in seconds):35.586 38.20/35.68 o 631 41.46/38.80 c Got one! Elapsed wall clock time (in seconds):38.707 41.46/38.80 o 623 44.31/41.66 c Got one! Elapsed wall clock time (in seconds):41.561 44.31/41.66 o 618 77.45/73.87 c Got one! Elapsed wall clock time (in seconds):73.767 77.45/73.87 o 616 105.29/100.92 c Got one! Elapsed wall clock time (in seconds):100.824 105.29/100.92 o 594 115.35/110.77 c cleaning 0 clauses out of 5001 with flag 0/5001 124.06/119.26 c Got one! Elapsed wall clock time (in seconds):119.162 124.06/119.26 o 591 127.32/122.48 c Got one! Elapsed wall clock time (in seconds):122.378 127.32/122.48 o 589 132.16/127.10 c Got one! Elapsed wall clock time (in seconds):127.0 132.16/127.10 o 586 272.44/262.29 c Got one! Elapsed wall clock time (in seconds):262.194 272.44/262.29 o 549 289.84/279.13 c Got one! Elapsed wall clock time (in seconds):279.031 289.84/279.13 o 533 376.35/361.56 c Got one! Elapsed wall clock time (in seconds):361.462 376.35/361.56 o 525 984.29/924.80 c Got one! Elapsed wall clock time (in seconds):924.7 984.29/924.80 o 479 1072.09/1007.46 c Got one! Elapsed wall clock time (in seconds):1007.359 1072.09/1007.46 o 472 1087.56/1022.21 c cleaning 0 clauses out of 11000 with flag 0/11000 1249.70/1175.02 c Got one! Elapsed wall clock time (in seconds):1174.927 1249.70/1175.02 o 468 1673.31/1570.37 c Got one! Elapsed wall clock time (in seconds):1570.269 1673.31/1570.37 o 446 1800.11/1686.61 c starts : 70 1800.11/1686.61 c conflicts : 14643 1800.11/1686.61 c decisions : 428207 1800.11/1686.61 c propagations : 2396939 1800.11/1686.61 c inspects : 605606847 1800.11/1686.61 c learnt literals : 0 1800.11/1686.61 c learnt binary clauses : 0 1800.11/1686.61 c learnt ternary clauses : 0 1800.11/1686.61 c learnt clauses : 14642 1800.11/1686.61 c ignored clauses : 0 1800.11/1686.61 c root simplifications : 0 1800.11/1686.61 c removed literals (reason simplification) : 0 1800.11/1686.61 c reason swapping (by a shorter reason) : 0 1800.11/1686.61 c Calls to reduceDB : 2 1800.11/1686.61 c number of reductions to clauses (during analyze) : 0 1800.11/1686.61 c number of learned constraints concerned by reduction : 0 1800.11/1686.61 c number of learning phase by resolution : 0 1800.11/1686.61 c number of learning phase by cutting planes : 0 1800.11/1686.61 c speed (assignments/second) : 20621.13612705077 1800.11/1686.61 c non guided choices 3312 1800.11/1686.62 c learnt constraints type 1800.11/1686.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 9 1800.11/1686.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 14633 1800.11/1686.62 c constraints type 1800.11/1686.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22 1800.11/1686.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2684 1800.11/1686.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.11/1686.62 s SATISFIABLE 1800.11/1686.62 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 1800.11/1686.62 c objective function=446 1800.11/1686.62 c Total wall clock time (in seconds): 1686.525
OK 349
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691572-1277925302/watcher-2691572-1277925302 -o /tmp/evaluation-result-2691572-1277925302/solver-2691572-1277925302 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691572-1277925302.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.00 2.00 3/196 14988 /proc/meminfo: memFree=31136656/32950904 swapFree=67111528/67111528 [pid=14988] ppid=14986 vsize=13164 CPUtime=0 /proc/14988/stat : 14988 (java) R 14986 14988 13057 0 -1 4194304 915 0 0 0 0 0 0 0 17 0 1 0 133826884 13479936 416 4089446400 134512640 134550932 4288038128 18446744073709551615 2815621 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14988/statm: 3291 420 144 10 0 1121 0 [startup+0.0309449 s] /proc/loadavg: 2.00 2.00 2.00 3/196 14988 /proc/meminfo: memFree=31136656/32950904 swapFree=67111528/67111528 [pid=14988] ppid=14986 vsize=1525320 CPUtime=0.02 /proc/14988/stat : 14988 (java) S 14986 14988 13057 0 -1 4202496 3692 0 1 0 2 0 0 0 17 0 13 0 133826884 1561927680 3134 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/14988/statm: 381330 3134 1033 10 0 378640 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1525320 [startup+0.100938 s] /proc/loadavg: 2.00 2.00 2.00 3/196 14988 /proc/meminfo: memFree=31136656/32950904 swapFree=67111528/67111528 [pid=14988] ppid=14986 vsize=1529868 CPUtime=0.11 /proc/14988/stat : 14988 (java) S 14986 14988 13057 0 -1 4202496 5215 0 1 0 10 1 0 0 17 0 18 0 133826884 1566584832 4653 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14988/statm: 382467 4653 1347 10 0 379769 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529868 [startup+0.302946 s] /proc/loadavg: 2.00 2.00 2.00 3/196 14988 /proc/meminfo: memFree=31136656/32950904 swapFree=67111528/67111528 [pid=14988] ppid=14986 vsize=1531976 CPUtime=0.52 /proc/14988/stat : 14988 (java) S 14986 14988 13057 0 -1 4202496 7778 0 1 0 51 1 0 0 17 0 18 0 133826884 1568743424 7084 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14988/statm: 382994 7085 1411 10 0 380296 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 1531976 [startup+0.700883 s] /proc/loadavg: 2.00 2.00 2.00 3/196 14988 /proc/meminfo: memFree=31136656/32950904 swapFree=67111528/67111528 [pid=14988] ppid=14986 vsize=1548720 CPUtime=1.7 /proc/14988/stat : 14988 (java) S 14986 14988 13057 0 -1 4202496 19514 0 1 0 167 3 0 0 17 0 19 0 133826884 1585889280 14749 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14988/statm: 387180 14749 1421 10 0 384482 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 1548720 [startup+1.50074 s] /proc/loadavg: 2.00 2.00 2.00 4/215 15007 /proc/meminfo: memFree=31031104/32950904 swapFree=67111528/67111528 [pid=14988] ppid=14986 vsize=1548488 CPUtime=3.35 /proc/14988/stat : 14988 (java) S 14986 14988 13057 0 -1 4202496 45356 0 1 0 328 7 0 0 17 0 19 0 133826884 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14988/statm: 387122 38537 1444 10 0 384424 0 [pid=14988/tid=14990] ppid=14986 vsize=1548488 CPUtime=1.46 /proc/14988/task/14990/stat : 14990 (java) R 14986 14988 13057 0 -1 4202560 32079 0 1 0 142 4 0 0 25 0 19 0 133826885 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4109901352 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=14988/tid=14991] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14991/stat : 14991 (java) S 14986 14988 13057 0 -1 4202560 173 0 0 0 0 0 0 0 18 0 19 0 133826886 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 5 0 0 0 [pid=14988/tid=14992] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14992/stat : 14992 (java) S 14986 14988 13057 0 -1 4202560 60 0 0 0 0 0 0 0 18 0 19 0 133826886 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=14993] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14993/stat : 14993 (java) S 14986 14988 13057 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 19 0 133826886 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=14994] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14994/stat : 14994 (java) S 14986 14988 13057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133826886 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=14995] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14995/stat : 14995 (java) S 14986 14988 13057 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133826886 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=14996] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14996/stat : 14996 (java) S 14986 14988 13057 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133826886 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=14997] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14997/stat : 14997 (java) S 14986 14988 13057 0 -1 4202560 199 0 0 0 0 0 0 0 18 0 19 0 133826886 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=14998] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14998/stat : 14998 (java) S 14986 14988 13057 0 -1 4202560 213 0 0 0 0 0 0 0 18 0 19 0 133826886 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 7 0 0 0 [pid=14988/tid=14999] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14999/stat : 14999 (java) S 14986 14988 13057 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 133826887 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15000] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15000/stat : 15000 (java) S 14986 14988 13057 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133826887 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15001] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15001/stat : 15001 (java) S 14986 14988 13057 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133826887 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15002] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15002/stat : 15002 (java) S 14986 14988 13057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133826889 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15003] ppid=14986 vsize=1548488 CPUtime=0.87 /proc/14988/task/15003/stat : 15003 (java) S 14986 14988 13057 0 -1 4202560 5724 0 0 0 87 0 0 0 15 0 19 0 133826889 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=15004] ppid=14986 vsize=1548488 CPUtime=0.97 /proc/14988/task/15004/stat : 15004 (java) S 14986 14988 13057 0 -1 4202560 5780 0 0 0 97 0 0 0 15 0 19 0 133826889 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15005] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15005/stat : 15005 (java) S 14986 14988 13057 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133826889 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15006] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15006/stat : 15006 (java) S 14986 14988 13057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133826889 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15007] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15007/stat : 15007 (java) S 14986 14988 13057 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 133826922 1585651712 38537 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.35 Current children cumulated vsize (KiB) 1548488 [startup+3.1015 s] /proc/loadavg: 2.00 2.00 2.00 3/215 15007 /proc/meminfo: memFree=30982744/32950904 swapFree=67111528/67111528 [pid=14988] ppid=14986 vsize=1548488 CPUtime=5.16 /proc/14988/stat : 14988 (java) S 14986 14988 13057 0 -1 4202496 49900 0 1 0 507 9 0 0 17 0 19 0 133826884 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14988/statm: 387122 43069 1444 10 0 384424 0 [pid=14988/tid=14990] ppid=14986 vsize=1548488 CPUtime=3.05 /proc/14988/task/14990/stat : 14990 (java) R 14986 14988 13057 0 -1 4202560 32084 0 1 0 301 4 0 0 25 0 19 0 133826885 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4110138737 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=14988/tid=14991] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14991/stat : 14991 (java) S 14986 14988 13057 0 -1 4202560 762 0 0 0 0 0 0 0 16 0 19 0 133826886 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 5 0 0 0 [pid=14988/tid=14992] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14992/stat : 14992 (java) S 14986 14988 13057 0 -1 4202560 636 0 0 0 0 0 0 0 16 0 19 0 133826886 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=14993] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14993/stat : 14993 (java) S 14986 14988 13057 0 -1 4202560 281 0 0 0 0 0 0 0 15 0 19 0 133826886 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 0 0 0 0 [pid=14988/tid=14994] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14994/stat : 14994 (java) S 14986 14988 13057 0 -1 4202560 493 0 0 0 0 0 0 0 16 0 19 0 133826886 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 6 0 0 0 [pid=14988/tid=14995] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14995/stat : 14995 (java) S 14986 14988 13057 0 -1 4202560 633 0 0 0 0 0 0 0 16 0 19 0 133826886 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=14996] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14996/stat : 14996 (java) S 14986 14988 13057 0 -1 4202560 555 0 0 0 0 0 0 0 15 0 19 0 133826886 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 0 0 0 0 [pid=14988/tid=14997] ppid=14986 vsize=1548488 CPUtime=0.01 /proc/14988/task/14997/stat : 14997 (java) S 14986 14988 13057 0 -1 4202560 908 0 0 0 1 0 0 0 16 0 19 0 133826886 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=14998] ppid=14986 vsize=1548488 CPUtime=0.01 /proc/14988/task/14998/stat : 14998 (java) S 14986 14988 13057 0 -1 4202560 934 0 0 0 1 0 0 0 16 0 19 0 133826886 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 7 0 0 0 [pid=14988/tid=14999] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14999/stat : 14999 (java) S 14986 14988 13057 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 133826887 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15000] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15000/stat : 15000 (java) S 14986 14988 13057 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133826887 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15001] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15001/stat : 15001 (java) S 14986 14988 13057 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133826887 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15002] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15002/stat : 15002 (java) S 14986 14988 13057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133826889 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15003] ppid=14986 vsize=1548488 CPUtime=0.94 /proc/14988/task/15003/stat : 15003 (java) S 14986 14988 13057 0 -1 4202560 5732 0 0 0 94 0 0 0 15 0 19 0 133826889 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=15004] ppid=14986 vsize=1548488 CPUtime=1.03 /proc/14988/task/15004/stat : 15004 (java) S 14986 14988 13057 0 -1 4202560 5785 0 0 0 103 0 0 0 15 0 19 0 133826889 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15005] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15005/stat : 15005 (java) S 14986 14988 13057 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133826889 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15006] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15006/stat : 15006 (java) S 14986 14988 13057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133826889 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15007] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15007/stat : 15007 (java) S 14986 14988 13057 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 133826922 1585651712 43069 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.16 Current children cumulated vsize (KiB) 1548488 [startup+6.30087 s] /proc/loadavg: 2.00 2.00 2.00 3/215 15007 /proc/meminfo: memFree=30947404/32950904 swapFree=67111528/67111528 [pid=14988] ppid=14986 vsize=1548488 CPUtime=8.45 /proc/14988/stat : 14988 (java) S 14986 14988 13057 0 -1 4202496 56273 0 1 0 835 10 0 0 17 0 19 0 133826884 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14988/statm: 387122 49177 1444 10 0 384424 0 [pid=14988/tid=14990] ppid=14986 vsize=1548488 CPUtime=6.23 /proc/14988/task/14990/stat : 14990 (java) R 14986 14988 13057 0 -1 4202560 35174 0 1 0 618 5 0 0 25 0 19 0 133826885 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4109894217 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=14988/tid=14991] ppid=14986 vsize=1548488 CPUtime=0.02 /proc/14988/task/14991/stat : 14991 (java) S 14986 14988 13057 0 -1 4202560 1237 0 0 0 2 0 0 0 15 0 19 0 133826886 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 5 0 0 0 [pid=14988/tid=14992] ppid=14986 vsize=1548488 CPUtime=0.02 /proc/14988/task/14992/stat : 14992 (java) S 14986 14988 13057 0 -1 4202560 996 0 0 0 2 0 0 0 15 0 19 0 133826886 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=14993] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14993/stat : 14993 (java) S 14986 14988 13057 0 -1 4202560 402 0 0 0 0 0 0 0 15 0 19 0 133826886 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=14994] ppid=14986 vsize=1548488 CPUtime=0.02 /proc/14988/task/14994/stat : 14994 (java) S 14986 14988 13057 0 -1 4202560 931 0 0 0 2 0 0 0 15 0 19 0 133826886 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 6 0 0 0 [pid=14988/tid=14995] ppid=14986 vsize=1548488 CPUtime=0.02 /proc/14988/task/14995/stat : 14995 (java) S 14986 14988 13057 0 -1 4202560 1180 0 0 0 2 0 0 0 16 0 19 0 133826886 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=14996] ppid=14986 vsize=1548488 CPUtime=0.02 /proc/14988/task/14996/stat : 14996 (java) S 14986 14988 13057 0 -1 4202560 993 0 0 0 2 0 0 0 15 0 19 0 133826886 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 0 0 0 0 [pid=14988/tid=14997] ppid=14986 vsize=1548488 CPUtime=0.02 /proc/14988/task/14997/stat : 14997 (java) S 14986 14988 13057 0 -1 4202560 1228 0 0 0 2 0 0 0 15 0 19 0 133826886 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=14998] ppid=14986 vsize=1548488 CPUtime=0.03 /proc/14988/task/14998/stat : 14998 (java) S 14986 14988 13057 0 -1 4202560 1518 0 0 0 3 0 0 0 16 0 19 0 133826886 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 7 0 0 0 [pid=14988/tid=14999] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/14999/stat : 14999 (java) S 14986 14988 13057 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 133826887 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15000] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15000/stat : 15000 (java) S 14986 14988 13057 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133826887 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15001] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15001/stat : 15001 (java) S 14986 14988 13057 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133826887 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15002] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15002/stat : 15002 (java) S 14986 14988 13057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133826889 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15003] ppid=14986 vsize=1548488 CPUtime=0.94 /proc/14988/task/15003/stat : 15003 (java) S 14986 14988 13057 0 -1 4202560 5732 0 0 0 94 0 0 0 15 0 19 0 133826889 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=15004] ppid=14986 vsize=1548488 CPUtime=1.03 /proc/14988/task/15004/stat : 15004 (java) S 14986 14988 13057 0 -1 4202560 5785 0 0 0 103 0 0 0 15 0 19 0 133826889 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15005] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15005/stat : 15005 (java) S 14986 14988 13057 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133826889 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15006] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15006/stat : 15006 (java) S 14986 14988 13057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133826889 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15007] ppid=14986 vsize=1548488 CPUtime=0 /proc/14988/task/15007/stat : 15007 (java) S 14986 14988 13057 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 133826922 1585651712 49177 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.45 Current children cumulated vsize (KiB) 1548488 [startup+12.7007 s] /proc/loadavg: 2.00 2.00 2.00 3/215 15008 /proc/meminfo: memFree=30941564/32950904 swapFree=67111528/67111528 [pid=14988] ppid=14986 vsize=1549512 CPUtime=14.9 /proc/14988/stat : 14988 (java) S 14986 14988 13057 0 -1 4202496 58044 0 1 0 1478 12 0 0 17 0 19 0 133826884 1586700288 50878 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14988/statm: 387378 50878 1444 10 0 384680 0 [pid=14988/tid=14990] ppid=14986 vsize=1549512 CPUtime=12.6 /proc/14988/task/14990/stat : 14990 (java) R 14986 14988 13057 0 -1 4202560 36008 0 1 0 1255 5 0 0 25 0 19 0 133826885 1586700288 50878 4089446400 134512640 134550932 4288038128 18446744073709551615 4109860812 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=14988/tid=14991] ppid=14986 vsize=1549512 CPUtime=0.02 /proc/14988/task/14991/stat : 14991 (java) S 14986 14988 13057 0 -1 4202560 1347 0 0 0 2 0 0 0 15 0 19 0 133826886 1586700288 50878 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 5 0 0 0 ################ # More data... # ################ /proc/14988/task/15001/stat : 15001 (java) S 14986 14988 13057 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133826887 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15002] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15002/stat : 15002 (java) S 14986 14988 13057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15003] ppid=14986 vsize=1553608 CPUtime=1.29 /proc/14988/task/15003/stat : 15003 (java) S 14986 14988 13057 0 -1 4202560 7240 0 0 0 128 1 0 0 15 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=15004] ppid=14986 vsize=1553608 CPUtime=1.05 /proc/14988/task/15004/stat : 15004 (java) S 14986 14988 13057 0 -1 4202560 5785 0 0 0 105 0 0 0 16 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15005] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15005/stat : 15005 (java) S 14986 14988 13057 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15006] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15006/stat : 15006 (java) S 14986 14988 13057 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15007] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15007/stat : 15007 (java) S 14986 14988 13057 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 133826922 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1642.24 Current children cumulated vsize (KiB) 1553608 [startup+1602.3 s] /proc/loadavg: 2.12 2.16 2.11 3/215 15101 /proc/meminfo: memFree=29995484/32950904 swapFree=67111528/67111528 [pid=14988] ppid=14986 vsize=1553608 CPUtime=1706.75 /proc/14988/stat : 14988 (java) S 14986 14988 13057 0 -1 4202496 224703 0 1 0 168535 2140 0 0 17 0 19 0 133826884 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14988/statm: 388402 204709 1450 10 0 385704 0 [pid=14988/tid=14990] ppid=14986 vsize=1553608 CPUtime=1578.48 /proc/14988/task/14990/stat : 14990 (java) R 14986 14988 13057 0 -1 4202560 40069 0 1 0 157835 13 0 0 25 0 19 0 133826885 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4109860614 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=14988/tid=14991] ppid=14986 vsize=1553608 CPUtime=15.4 /proc/14988/task/14991/stat : 14991 (java) S 14986 14988 13057 0 -1 4202560 20814 0 0 0 1284 256 0 0 15 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 6 0 0 0 [pid=14988/tid=14992] ppid=14986 vsize=1553608 CPUtime=15.94 /proc/14988/task/14992/stat : 14992 (java) S 14986 14988 13057 0 -1 4202560 20753 0 0 0 1320 274 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=14993] ppid=14986 vsize=1553608 CPUtime=15.46 /proc/14988/task/14993/stat : 14993 (java) S 14986 14988 13057 0 -1 4202560 21932 0 0 0 1283 263 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 0 0 0 0 [pid=14988/tid=14994] ppid=14986 vsize=1553608 CPUtime=15.61 /proc/14988/task/14994/stat : 14994 (java) S 14986 14988 13057 0 -1 4202560 21309 0 0 0 1311 250 0 0 15 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=14995] ppid=14986 vsize=1553608 CPUtime=15.57 /proc/14988/task/14995/stat : 14995 (java) S 14986 14988 13057 0 -1 4202560 21820 0 0 0 1301 256 0 0 15 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 7 0 0 0 [pid=14988/tid=14996] ppid=14986 vsize=1553608 CPUtime=15.46 /proc/14988/task/14996/stat : 14996 (java) S 14986 14988 13057 0 -1 4202560 21404 0 0 0 1282 264 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 0 0 0 0 [pid=14988/tid=14997] ppid=14986 vsize=1553608 CPUtime=15.6 /proc/14988/task/14997/stat : 14997 (java) S 14986 14988 13057 0 -1 4202560 21329 0 0 0 1295 265 0 0 15 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 5 0 0 0 [pid=14988/tid=14998] ppid=14986 vsize=1553608 CPUtime=15.09 /proc/14988/task/14998/stat : 14998 (java) S 14986 14988 13057 0 -1 4202560 20952 0 0 0 1260 249 0 0 15 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 4 0 0 0 [pid=14988/tid=14999] ppid=14986 vsize=1553608 CPUtime=1.67 /proc/14988/task/14999/stat : 14999 (java) S 14986 14988 13057 0 -1 4202560 139 0 0 0 124 43 0 0 15 0 19 0 133826887 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446604471152319360 0 0 -1 0 0 0 0 [pid=14988/tid=15000] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15000/stat : 15000 (java) S 14986 14988 13057 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133826887 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15001] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15001/stat : 15001 (java) S 14986 14988 13057 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133826887 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15002] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15002/stat : 15002 (java) S 14986 14988 13057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15003] ppid=14986 vsize=1553608 CPUtime=1.29 /proc/14988/task/15003/stat : 15003 (java) S 14986 14988 13057 0 -1 4202560 7240 0 0 0 128 1 0 0 15 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=15004] ppid=14986 vsize=1553608 CPUtime=1.05 /proc/14988/task/15004/stat : 15004 (java) S 14986 14988 13057 0 -1 4202560 5785 0 0 0 105 0 0 0 16 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15005] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15005/stat : 15005 (java) S 14986 14988 13057 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15006] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15006/stat : 15006 (java) S 14986 14988 13057 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 5 0 0 0 [pid=14988/tid=15007] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15007/stat : 15007 (java) S 14986 14988 13057 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 133826922 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1706.75 Current children cumulated vsize (KiB) 1553608 [startup+1662.3 s] /proc/loadavg: 2.53 2.26 2.14 3/215 15103 /proc/meminfo: memFree=29981932/32950904 swapFree=67111528/67111528 [pid=14988] ppid=14986 vsize=1553608 CPUtime=1773.1 /proc/14988/stat : 14988 (java) S 14986 14988 13057 0 -1 4202496 224880 0 1 0 175043 2267 0 0 17 0 19 0 133826884 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14988/statm: 388402 204709 1450 10 0 385704 0 [pid=14988/tid=14990] ppid=14986 vsize=1553608 CPUtime=1637.18 /proc/14988/task/14990/stat : 14990 (java) R 14986 14988 13057 0 -1 4202560 40238 0 1 0 163704 14 0 0 25 0 19 0 133826885 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4110211004 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14988/tid=14991] ppid=14986 vsize=1553608 CPUtime=16.21 /proc/14988/task/14991/stat : 14991 (java) S 14986 14988 13057 0 -1 4202560 20814 0 0 0 1350 271 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=14992] ppid=14986 vsize=1553608 CPUtime=16.92 /proc/14988/task/14992/stat : 14992 (java) S 14986 14988 13057 0 -1 4202560 20753 0 0 0 1400 292 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 4 0 0 0 [pid=14988/tid=14993] ppid=14986 vsize=1553608 CPUtime=16.35 /proc/14988/task/14993/stat : 14993 (java) S 14986 14988 13057 0 -1 4202560 21932 0 0 0 1357 278 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=14994] ppid=14986 vsize=1553608 CPUtime=16.54 /proc/14988/task/14994/stat : 14994 (java) S 14986 14988 13057 0 -1 4202560 21309 0 0 0 1391 263 0 0 15 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 0 0 0 0 [pid=14988/tid=14995] ppid=14986 vsize=1553608 CPUtime=16.66 /proc/14988/task/14995/stat : 14995 (java) S 14986 14988 13057 0 -1 4202560 21820 0 0 0 1395 271 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 0 0 0 0 [pid=14988/tid=14996] ppid=14986 vsize=1553608 CPUtime=16.43 /proc/14988/task/14996/stat : 14996 (java) S 14986 14988 13057 0 -1 4202560 21404 0 0 0 1364 279 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 5 0 0 0 [pid=14988/tid=14997] ppid=14986 vsize=1553608 CPUtime=16.63 /proc/14988/task/14997/stat : 14997 (java) S 14986 14988 13057 0 -1 4202560 21329 0 0 0 1380 283 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 7 0 0 0 [pid=14988/tid=14998] ppid=14986 vsize=1553608 CPUtime=16.02 /proc/14988/task/14998/stat : 14998 (java) S 14986 14988 13057 0 -1 4202560 20952 0 0 0 1338 264 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 6 0 0 0 [pid=14988/tid=14999] ppid=14986 vsize=1553608 CPUtime=1.7 /proc/14988/task/14999/stat : 14999 (java) S 14986 14988 13057 0 -1 4202560 143 0 0 0 126 44 0 0 15 0 19 0 133826887 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446604471152319360 0 0 -1 4 0 0 0 [pid=14988/tid=15000] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15000/stat : 15000 (java) S 14986 14988 13057 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133826887 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15001] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15001/stat : 15001 (java) S 14986 14988 13057 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133826887 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15002] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15002/stat : 15002 (java) S 14986 14988 13057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15003] ppid=14986 vsize=1553608 CPUtime=1.29 /proc/14988/task/15003/stat : 15003 (java) S 14986 14988 13057 0 -1 4202560 7240 0 0 0 128 1 0 0 15 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=15004] ppid=14986 vsize=1553608 CPUtime=1.05 /proc/14988/task/15004/stat : 15004 (java) S 14986 14988 13057 0 -1 4202560 5785 0 0 0 105 0 0 0 16 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15005] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15005/stat : 15005 (java) S 14986 14988 13057 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15006] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15006/stat : 15006 (java) S 14986 14988 13057 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 5 0 0 0 [pid=14988/tid=15007] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15007/stat : 15007 (java) S 14986 14988 13057 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 133826922 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1773.1 Current children cumulated vsize (KiB) 1553608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1686.6 s] /proc/loadavg: 2.38 2.25 2.14 3/215 15103 /proc/meminfo: memFree=29957488/32950904 swapFree=67111528/67111528 [pid=14988] ppid=14986 vsize=1553608 CPUtime=1800.11 /proc/14988/stat : 14988 (java) S 14986 14988 13057 0 -1 4202496 224957 0 1 0 177695 2316 0 0 17 0 19 0 133826884 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14988/statm: 388402 204709 1450 10 0 385704 0 [pid=14988/tid=14990] ppid=14986 vsize=1553608 CPUtime=1660.89 /proc/14988/task/14990/stat : 14990 (java) R 14986 14988 13057 0 -1 4202560 40315 0 1 0 166075 14 0 0 24 0 19 0 133826885 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4110211076 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=14988/tid=14991] ppid=14986 vsize=1553608 CPUtime=16.64 /proc/14988/task/14991/stat : 14991 (java) S 14986 14988 13057 0 -1 4202560 20814 0 0 0 1389 275 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 0 0 0 0 [pid=14988/tid=14992] ppid=14986 vsize=1553608 CPUtime=17.32 /proc/14988/task/14992/stat : 14992 (java) S 14986 14988 13057 0 -1 4202560 20753 0 0 0 1434 298 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 7 0 0 0 [pid=14988/tid=14993] ppid=14986 vsize=1553608 CPUtime=16.77 /proc/14988/task/14993/stat : 14993 (java) S 14986 14988 13057 0 -1 4202560 21932 0 0 0 1392 285 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=14994] ppid=14986 vsize=1553608 CPUtime=16.94 /proc/14988/task/14994/stat : 14994 (java) S 14986 14988 13057 0 -1 4202560 21309 0 0 0 1425 269 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 6 0 0 0 [pid=14988/tid=14995] ppid=14986 vsize=1553608 CPUtime=17.09 /proc/14988/task/14995/stat : 14995 (java) S 14986 14988 13057 0 -1 4202560 21820 0 0 0 1431 278 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=14996] ppid=14986 vsize=1553608 CPUtime=16.85 /proc/14988/task/14996/stat : 14996 (java) S 14986 14988 13057 0 -1 4202560 21404 0 0 0 1400 285 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 6 0 0 0 [pid=14988/tid=14997] ppid=14986 vsize=1553608 CPUtime=17 /proc/14988/task/14997/stat : 14997 (java) S 14986 14988 13057 0 -1 4202560 21329 0 0 0 1412 288 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 4 0 0 0 [pid=14988/tid=14998] ppid=14986 vsize=1553608 CPUtime=16.43 /proc/14988/task/14998/stat : 14998 (java) S 14986 14988 13057 0 -1 4202560 20952 0 0 0 1372 271 0 0 16 0 19 0 133826886 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 5 0 0 0 [pid=14988/tid=14999] ppid=14986 vsize=1553608 CPUtime=1.72 /proc/14988/task/14999/stat : 14999 (java) S 14986 14988 13057 0 -1 4202560 143 0 0 0 127 45 0 0 15 0 19 0 133826887 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 0 0 16800975 18446604471152319360 0 0 -1 0 0 0 0 [pid=14988/tid=15000] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15000/stat : 15000 (java) S 14986 14988 13057 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 133826887 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15001] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15001/stat : 15001 (java) S 14986 14988 13057 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133826887 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15002] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15002/stat : 15002 (java) S 14986 14988 13057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 [pid=14988/tid=15003] ppid=14986 vsize=1553608 CPUtime=1.29 /proc/14988/task/15003/stat : 15003 (java) S 14986 14988 13057 0 -1 4202560 7240 0 0 0 128 1 0 0 15 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 2 0 0 0 [pid=14988/tid=15004] ppid=14986 vsize=1553608 CPUtime=1.05 /proc/14988/task/15004/stat : 15004 (java) S 14986 14988 13057 0 -1 4202560 5785 0 0 0 105 0 0 0 16 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15005] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15005/stat : 15005 (java) S 14986 14988 13057 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15006] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15006/stat : 15006 (java) S 14986 14988 13057 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 133826889 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 3 0 0 0 [pid=14988/tid=15007] ppid=14986 vsize=1553608 CPUtime=0 /proc/14988/task/15007/stat : 15007 (java) S 14986 14988 13057 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 133826922 1590894592 204709 4089446400 134512640 134550932 4288038128 18446744073709551615 4294960144 0 4 0 16800975 18446604471152319360 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 1553608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1686.71 s] /proc/loadavg: 2.38 2.25 2.14 3/215 15103 /proc/meminfo: memFree=29957488/32950904 swapFree=67111528/67111528 [pid=14988] ppid=14986 vsize=0 CPUtime=1800.25 /proc/14988/stat : 14988 (java) Z 14986 14988 13057 0 -1 4203548 224979 0 1 0 177705 2320 0 0 15 0 2 0 133826884 0 0 4089446400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14988/statm: 0 0 0 0 0 0 0 [pid=14988/tid=15007] ppid=14986 vsize=0 CPUtime=0.03 /proc/14988/task/15007/stat : 15007 (java) R 14986 14988 13057 0 -1 4203588 5 0 0 0 0 3 0 0 18 0 2 0 133826922 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.25 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1686.71 CPU time (s): 1800.25 CPU user time (s): 1777.05 CPU system time (s): 23.2015 CPU usage (%): 106.731 Max. virtual memory (cumulated for all children) (KiB): 1553608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.05 system time used= 23.2015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 224979 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= 162779 involuntary context switches= 6062232 runsolver used 3.2695 second user time and 6.27804 second system time The end
Begin job on node121 at 2010-06-30 21:15:02 IDJOB=2691572 IDBENCH=79259 IDSOLVER=1203 FILE ID=node121/2691572-1277925302 PBS_JOBID= 11197299 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.1900567985--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-2691572-1277925302/watcher-2691572-1277925302 -o /tmp/evaluation-result-2691572-1277925302/solver-2691572-1277925302 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691572-1277925302.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e639daae290163b8abe4f9e3cf3dc11c RANDOM SEED=499202350 node121.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.876 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.75 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.876 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.23 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.876 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.75 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.876 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.83 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.876 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.75 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.876 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.82 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.876 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.75 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.876 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: 32950904 kB MemFree: 31137176 kB Buffers: 207112 kB Cached: 1100484 kB SwapCached: 0 kB Active: 860716 kB Inactive: 804628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 31137176 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 472 kB Writeback: 0 kB AnonPages: 357396 kB Mapped: 20248 kB Slab: 81316 kB PageTables: 6212 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 1657604 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74212 MiB End job on node121 at 2010-06-30 21:43:10