Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.2 | 1726.76 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-66-100-0.wbo |
MD5SUM | d52b3728da19986b004dc30001a23e20 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 327.101 |
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 | 904 |
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 | 44120 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 44119 |
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.03/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.07 c See www.sat4j.org for details. 0.03/0.07 c version 2.2.0.v20100526 0.03/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.03/0.07 c java.vm.version 11.2-b01 0.03/0.07 c java.vm.vendor Sun Microsystems Inc. 0.03/0.07 c sun.arch.data.model 32 0.03/0.07 c java.version 1.6.0_12 0.03/0.07 c os.name Linux 0.03/0.07 c os.version 2.6.18-164.el5 0.03/0.07 c os.arch i386 0.03/0.07 c Free memory 1393557488 0.03/0.07 c Max memory 1395916800 0.03/0.07 c Total memory 1395916800 0.03/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1b16e52 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2691591-1277912667.wbo 0.11/0.10 c reading problem ... 0.27/0.29 c ... done. Wall clock time 0.191s. 0.27/0.29 c #vars 1135 0.27/0.29 c #constraints 2707 0.27/0.29 c constraints type 0.27/0.29 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 164 0.27/0.29 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1627 0.27/0.29 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 915 0.27/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.79/1.38 c SATISFIABLE 2.79/1.38 c OPTIMIZING... 2.79/1.38 c Got one! Elapsed wall clock time (in seconds):1.284 2.79/1.38 o 391 4.54/2.66 c Got one! Elapsed wall clock time (in seconds):2.565 4.54/2.66 o 330 6.58/4.56 c Got one! Elapsed wall clock time (in seconds):4.462 6.58/4.56 o 279 7.91/5.87 c Got one! Elapsed wall clock time (in seconds):5.767 7.91/5.87 o 244 10.95/8.74 c Got one! Elapsed wall clock time (in seconds):8.637 10.95/8.74 o 241 16.67/14.39 c Got one! Elapsed wall clock time (in seconds):14.287 16.67/14.39 o 238 27.86/25.34 c Got one! Elapsed wall clock time (in seconds):25.242 27.86/25.34 o 187 56.84/53.81 c cleaning 0 clauses out of 5000 with flag 0/5000 331.26/320.90 c cleaning 0 clauses out of 11000 with flag 0/11000 917.96/886.28 c Got one! Elapsed wall clock time (in seconds):886.177 917.96/886.28 o 156 1059.80/1021.60 c cleaning 0 clauses out of 18000 with flag 0/18000 1728.95/1659.00 c Got one! Elapsed wall clock time (in seconds):1658.904 1728.95/1659.00 o 153 1800.11/1726.71 c starts : 59 1800.11/1726.71 c conflicts : 22528 1800.11/1726.71 c decisions : 62588 1800.11/1726.71 c propagations : 978784 1800.11/1726.71 c inspects : 1793752870 1800.11/1726.71 c learnt literals : 0 1800.11/1726.71 c learnt binary clauses : 0 1800.11/1726.71 c learnt ternary clauses : 0 1800.11/1726.71 c learnt clauses : 22528 1800.11/1726.71 c ignored clauses : 0 1800.11/1726.71 c root simplifications : 0 1800.11/1726.71 c removed literals (reason simplification) : 0 1800.11/1726.71 c reason swapping (by a shorter reason) : 0 1800.11/1726.71 c Calls to reduceDB : 3 1800.11/1726.71 c number of reductions to clauses (during analyze) : 0 1800.11/1726.71 c number of learned constraints concerned by reduction : 0 1800.11/1726.71 c number of learning phase by resolution : 0 1800.11/1726.71 c number of learning phase by cutting planes : 0 1800.11/1726.71 c speed (assignments/second) : 14456.598478694335 1800.11/1726.71 c non guided choices 1134 1800.11/1726.73 c learnt constraints type 1800.11/1726.73 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 130 1800.11/1726.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14 1800.11/1726.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 22384 1800.11/1726.73 c constraints type 1800.11/1726.73 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 164 1800.11/1726.73 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1627 1800.11/1726.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 915 1800.11/1726.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.11/1726.73 s SATISFIABLE 1800.11/1726.73 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/1726.73 c objective function=153 1800.11/1726.73 c Total wall clock time (in seconds): 1726.629
OK 153
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691591-1277912667/watcher-2691591-1277912667 -o /tmp/evaluation-result-2691591-1277912667/solver-2691591-1277912667 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691591-1277912667.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.50 2.71 2.46 3/178 13670 /proc/meminfo: memFree=30691504/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=13480 CPUtime=0 /proc/13670/stat : 13670 (java) S 13668 13670 13645 0 -1 4202496 1112 0 0 0 0 0 0 0 18 0 2 0 132562115 13803520 581 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 /proc/13670/statm: 3370 581 265 10 0 1204 0 [pid=13670/tid=13671] ppid=13668 vsize=13480 CPUtime=0 /proc/13670/task/13671/stat : 13671 (java) S 13668 13670 13645 0 -1 4202560 70 0 0 0 0 0 0 0 19 0 2 0 132562116 13803520 581 4089446400 134512640 134550932 4286796656 18446744073709551615 3469908 0 2147483391 0 16784584 18446744071699207358 0 0 -1 2 0 0 0 [startup+0.0372419 s] /proc/loadavg: 2.50 2.71 2.46 3/178 13670 /proc/meminfo: memFree=30691504/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=1525320 CPUtime=0.03 /proc/13670/stat : 13670 (java) S 13668 13670 13645 0 -1 4202496 3764 0 1 0 2 1 0 0 18 0 13 0 132562115 1561927680 3204 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 /proc/13670/statm: 381330 3206 1036 10 0 378640 0 [pid=13670/tid=13671] ppid=13668 vsize=1525320 CPUtime=0.01 /proc/13670/task/13671/stat : 13671 (java) R 13668 13670 13645 0 -1 4202560 2698 0 1 0 1 0 0 0 18 0 13 0 132562116 1561927680 3206 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1525320 [startup+0.101227 s] /proc/loadavg: 2.50 2.71 2.46 3/178 13670 /proc/meminfo: memFree=30691504/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=1529824 CPUtime=0.11 /proc/13670/stat : 13670 (java) S 13668 13670 13645 0 -1 4202496 5199 0 1 0 10 1 0 0 18 0 18 0 132562115 1566539776 4635 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13670/statm: 382456 4635 1347 10 0 379758 0 [pid=13670/tid=13671] ppid=13668 vsize=1529824 CPUtime=0.08 /proc/13670/task/13671/stat : 13671 (java) R 13668 13670 13645 0 -1 4202560 3523 0 1 0 7 1 0 0 19 0 18 0 132562116 1566539776 4636 4089446400 134512640 134550932 4286796656 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529824 [startup+0.30024 s] /proc/loadavg: 2.50 2.71 2.46 3/178 13670 /proc/meminfo: memFree=30691504/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=1531596 CPUtime=0.5 /proc/13670/stat : 13670 (java) S 13668 13670 13645 0 -1 4202496 7464 0 1 0 49 1 0 0 18 0 18 0 132562115 1568354304 6805 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13670/statm: 382899 6805 1411 10 0 380201 0 [pid=13670/tid=13671] ppid=13668 vsize=1531596 CPUtime=0.28 /proc/13670/task/13671/stat : 13671 (java) R 13668 13670 13645 0 -1 4202560 5128 0 1 0 27 1 0 0 19 0 18 0 132562116 1568354304 6805 4089446400 134512640 134550932 4286796656 18446744073709551615 4109126516 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 1531596 [startup+0.701152 s] /proc/loadavg: 2.50 2.71 2.46 3/178 13670 /proc/meminfo: memFree=30691504/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=1545728 CPUtime=1.65 /proc/13670/stat : 13670 (java) S 13668 13670 13645 0 -1 4202496 20819 0 1 0 161 4 0 0 18 0 19 0 132562115 1582825472 16998 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13670/statm: 386432 16999 1424 10 0 383734 0 [pid=13670/tid=13671] ppid=13668 vsize=1545728 CPUtime=0.68 /proc/13670/task/13671/stat : 13671 (java) R 13668 13670 13645 0 -1 4202560 11880 0 1 0 66 2 0 0 18 0 19 0 132562116 1582825472 17009 4089446400 134512640 134550932 4286796656 18446744073709551615 4109552049 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.65 Current children cumulated vsize (KiB) 1545728 [startup+1.501 s] /proc/loadavg: 2.50 2.71 2.46 3/197 13689 /proc/meminfo: memFree=30552296/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=1545416 CPUtime=3.07 /proc/13670/stat : 13670 (java) S 13668 13670 13645 0 -1 4202496 44588 0 1 0 300 7 0 0 18 0 19 0 132562115 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13670/statm: 386354 38503 1438 10 0 383656 0 [pid=13670/tid=13671] ppid=13668 vsize=1545416 CPUtime=1.47 /proc/13670/task/13671/stat : 13671 (java) R 13668 13670 13645 0 -1 4202560 32086 0 1 0 142 5 0 0 18 0 19 0 132562116 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4109551824 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=13670/tid=13673] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13673/stat : 13673 (java) S 13668 13670 13645 0 -1 4202560 142 0 0 0 0 0 0 0 15 0 19 0 132562116 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13674] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13674/stat : 13674 (java) S 13668 13670 13645 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 19 0 132562116 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13675] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13675/stat : 13675 (java) S 13668 13670 13645 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 132562116 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13676] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13676/stat : 13676 (java) S 13668 13670 13645 0 -1 4202560 280 0 0 0 0 0 0 0 16 0 19 0 132562116 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 5 0 0 0 [pid=13670/tid=13677] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13677/stat : 13677 (java) S 13668 13670 13645 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 132562116 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13678] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13678/stat : 13678 (java) S 13668 13670 13645 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 132562116 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13679] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13679/stat : 13679 (java) S 13668 13670 13645 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 19 0 132562116 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 2 0 0 0 [pid=13670/tid=13680] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13680/stat : 13680 (java) S 13668 13670 13645 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 132562116 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13681] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13681/stat : 13681 (java) S 13668 13670 13645 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 132562117 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13682] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13682/stat : 13682 (java) S 13668 13670 13645 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 132562117 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13683] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13683/stat : 13683 (java) S 13668 13670 13645 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132562117 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13684] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13684/stat : 13684 (java) S 13668 13670 13645 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 132562120 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13685] ppid=13668 vsize=1545416 CPUtime=0.75 /proc/13670/task/13685/stat : 13685 (java) S 13668 13670 13645 0 -1 4202560 3814 0 0 0 75 0 0 0 15 0 19 0 132562120 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13686] ppid=13668 vsize=1545416 CPUtime=0.82 /proc/13670/task/13686/stat : 13686 (java) S 13668 13670 13645 0 -1 4202560 6363 0 0 0 81 1 0 0 15 0 19 0 132562120 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13687] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13687/stat : 13687 (java) S 13668 13670 13645 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 132562120 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13688] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13688/stat : 13688 (java) S 13668 13670 13645 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 132562120 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13689] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13689/stat : 13689 (java) S 13668 13670 13645 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 132562147 1582505984 38503 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 1545416 [startup+3.10075 s] /proc/loadavg: 2.50 2.71 2.46 3/197 13689 /proc/meminfo: memFree=30537912/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=1545416 CPUtime=5.12 /proc/13670/stat : 13670 (java) S 13668 13670 13645 0 -1 4202496 54564 0 1 0 503 9 0 0 18 0 19 0 132562115 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13670/statm: 386354 46531 1438 10 0 383656 0 [pid=13670/tid=13671] ppid=13668 vsize=1545416 CPUtime=3.05 /proc/13670/task/13671/stat : 13671 (java) R 13668 13670 13645 0 -1 4202560 36050 0 1 0 300 5 0 0 20 0 19 0 132562116 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4109691489 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=13670/tid=13673] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13673/stat : 13673 (java) S 13668 13670 13645 0 -1 4202560 637 0 0 0 0 0 0 0 16 0 19 0 132562116 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13674] ppid=13668 vsize=1545416 CPUtime=0.01 /proc/13670/task/13674/stat : 13674 (java) S 13668 13670 13645 0 -1 4202560 871 0 0 0 1 0 0 0 16 0 19 0 132562116 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13675] ppid=13668 vsize=1545416 CPUtime=0.01 /proc/13670/task/13675/stat : 13675 (java) S 13668 13670 13645 0 -1 4202560 580 0 0 0 1 0 0 0 15 0 19 0 132562116 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 2 0 0 0 [pid=13670/tid=13676] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13676/stat : 13676 (java) S 13668 13670 13645 0 -1 4202560 770 0 0 0 0 0 0 0 15 0 19 0 132562116 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 5 0 0 0 [pid=13670/tid=13677] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13677/stat : 13677 (java) S 13668 13670 13645 0 -1 4202560 629 0 0 0 0 0 0 0 16 0 19 0 132562116 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13678] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13678/stat : 13678 (java) S 13668 13670 13645 0 -1 4202560 641 0 0 0 0 0 0 0 15 0 19 0 132562116 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 5 0 0 0 [pid=13670/tid=13679] ppid=13668 vsize=1545416 CPUtime=0.01 /proc/13670/task/13679/stat : 13679 (java) S 13668 13670 13645 0 -1 4202560 987 0 0 0 1 0 0 0 16 0 19 0 132562116 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 6 0 0 0 [pid=13670/tid=13680] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13680/stat : 13680 (java) S 13668 13670 13645 0 -1 4202560 211 0 0 0 0 0 0 0 15 0 19 0 132562116 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13681] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13681/stat : 13681 (java) S 13668 13670 13645 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 132562117 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13682] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13682/stat : 13682 (java) S 13668 13670 13645 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 132562117 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13683] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13683/stat : 13683 (java) S 13668 13670 13645 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132562117 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13684] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13684/stat : 13684 (java) S 13668 13670 13645 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 132562120 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13685] ppid=13668 vsize=1545416 CPUtime=0.94 /proc/13670/task/13685/stat : 13685 (java) S 13668 13670 13645 0 -1 4202560 4506 0 0 0 94 0 0 0 15 0 19 0 132562120 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13686] ppid=13668 vsize=1545416 CPUtime=1.02 /proc/13670/task/13686/stat : 13686 (java) S 13668 13670 13645 0 -1 4202560 7586 0 0 0 101 1 0 0 15 0 19 0 132562120 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13687] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13687/stat : 13687 (java) S 13668 13670 13645 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 132562120 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13688] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13688/stat : 13688 (java) S 13668 13670 13645 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 132562120 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13689] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13689/stat : 13689 (java) S 13668 13670 13645 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 132562147 1582505984 46531 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.12 Current children cumulated vsize (KiB) 1545416 [startup+6.30117 s] /proc/loadavg: 2.46 2.70 2.46 3/197 13689 /proc/meminfo: memFree=30503800/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=1545416 CPUtime=8.5 /proc/13670/stat : 13670 (java) S 13668 13670 13645 0 -1 4202496 56840 0 1 0 839 11 0 0 18 0 19 0 132562115 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13670/statm: 386354 48386 1444 10 0 383656 0 [pid=13670/tid=13671] ppid=13668 vsize=1545416 CPUtime=6.23 /proc/13670/task/13671/stat : 13671 (java) R 13668 13670 13645 0 -1 4202560 36060 0 1 0 618 5 0 0 25 0 19 0 132562116 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4109691621 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=13670/tid=13673] ppid=13668 vsize=1545416 CPUtime=0.01 /proc/13670/task/13673/stat : 13673 (java) S 13668 13670 13645 0 -1 4202560 937 0 0 0 1 0 0 0 15 0 19 0 132562116 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 2 0 0 0 [pid=13670/tid=13674] ppid=13668 vsize=1545416 CPUtime=0.01 /proc/13670/task/13674/stat : 13674 (java) S 13668 13670 13645 0 -1 4202560 963 0 0 0 1 0 0 0 15 0 19 0 132562116 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 4 0 0 0 [pid=13670/tid=13675] ppid=13668 vsize=1545416 CPUtime=0.01 /proc/13670/task/13675/stat : 13675 (java) S 13668 13670 13645 0 -1 4202560 781 0 0 0 1 0 0 0 15 0 19 0 132562116 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13676] ppid=13668 vsize=1545416 CPUtime=0.01 /proc/13670/task/13676/stat : 13676 (java) S 13668 13670 13645 0 -1 4202560 1027 0 0 0 1 0 0 0 15 0 19 0 132562116 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 5 0 0 0 [pid=13670/tid=13677] ppid=13668 vsize=1545416 CPUtime=0.01 /proc/13670/task/13677/stat : 13677 (java) S 13668 13670 13645 0 -1 4202560 1003 0 0 0 1 0 0 0 15 0 19 0 132562116 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 2 0 0 0 [pid=13670/tid=13678] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13678/stat : 13678 (java) S 13668 13670 13645 0 -1 4202560 810 0 0 0 0 0 0 0 15 0 19 0 132562116 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13679] ppid=13668 vsize=1545416 CPUtime=0.02 /proc/13670/task/13679/stat : 13679 (java) S 13668 13670 13645 0 -1 4202560 1362 0 0 0 2 0 0 0 15 0 19 0 132562116 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 6 0 0 0 [pid=13670/tid=13680] ppid=13668 vsize=1545416 CPUtime=0.01 /proc/13670/task/13680/stat : 13680 (java) S 13668 13670 13645 0 -1 4202560 700 0 0 0 1 0 0 0 15 0 19 0 132562116 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13681] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13681/stat : 13681 (java) S 13668 13670 13645 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 132562117 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13682] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13682/stat : 13682 (java) S 13668 13670 13645 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 132562117 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13683] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13683/stat : 13683 (java) S 13668 13670 13645 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132562117 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13684] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13684/stat : 13684 (java) S 13668 13670 13645 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 132562120 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13685] ppid=13668 vsize=1545416 CPUtime=1.01 /proc/13670/task/13685/stat : 13685 (java) S 13668 13670 13645 0 -1 4202560 4508 0 0 0 101 0 0 0 15 0 19 0 132562120 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13686] ppid=13668 vsize=1545416 CPUtime=1.07 /proc/13670/task/13686/stat : 13686 (java) S 13668 13670 13645 0 -1 4202560 7593 0 0 0 106 1 0 0 15 0 19 0 132562120 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13687] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13687/stat : 13687 (java) S 13668 13670 13645 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 132562120 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13688] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13688/stat : 13688 (java) S 13668 13670 13645 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 132562120 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13689] ppid=13668 vsize=1545416 CPUtime=0 /proc/13670/task/13689/stat : 13689 (java) S 13668 13670 13645 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 132562147 1582505984 48386 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 8.5 Current children cumulated vsize (KiB) 1545416 ################ # More data... # ################ [pid=13670/tid=13678] ppid=13668 vsize=1542612 CPUtime=10.33 /proc/13670/task/13678/stat : 13678 (java) S 13668 13670 13645 0 -1 4202560 5920 0 0 0 893 140 0 0 15 0 19 0 132562116 1579634688 89641 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13679] ppid=13668 vsize=1542612 CPUtime=10.32 /proc/13670/task/13679/stat : 13679 (java) S 13668 13670 13645 0 -1 4202560 7698 0 0 0 884 148 0 0 16 0 19 0 132562116 1579634688 89641 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13680] ppid=13668 vsize=1542612 CPUtime=9.97 /proc/13670/task/13680/stat : 13680 (java) S 13668 13670 13645 0 -1 4202560 6615 0 0 0 867 130 0 0 16 0 19 0 132562116 1579634688 89641 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13681] ppid=13668 vsize=1542612 CPUtime=1.16 /proc/13670/task/13681/stat : 13681 (java) S 13668 13670 13645 0 -1 4202560 240 0 0 0 73 43 0 0 15 0 19 0 132562117 1579634688 89641 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446604471159310528 0 0 -1 4 0 0 0 [pid=13670/tid=13682] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13682/stat : 13682 (java) S 13668 13670 13645 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 132562117 1579634688 89641 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13683] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13683/stat : 13683 (java) S 13668 13670 13645 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132562117 1579634688 89641 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13684] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13684/stat : 13684 (java) S 13668 13670 13645 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 132562120 1579634688 89641 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13685] ppid=13668 vsize=1542612 CPUtime=1.08 /proc/13670/task/13685/stat : 13685 (java) S 13668 13670 13645 0 -1 4202560 4510 0 0 0 108 0 0 0 15 0 19 0 132562120 1579634688 89641 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13686] ppid=13668 vsize=1542612 CPUtime=1.14 /proc/13670/task/13686/stat : 13686 (java) S 13668 13670 13645 0 -1 4202560 7604 0 0 0 113 1 0 0 15 0 19 0 132562120 1579634688 89641 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13687] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13687/stat : 13687 (java) S 13668 13670 13645 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 132562120 1579634688 89641 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13688] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13688/stat : 13688 (java) S 13668 13670 13645 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 132562120 1579634688 89641 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 7 0 0 0 [pid=13670/tid=13689] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13689/stat : 13689 (java) S 13668 13670 13645 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 132562147 1579634688 89641 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1732.41 Current children cumulated vsize (KiB) 1542612 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 2.05 3/197 13793 /proc/meminfo: memFree=30672252/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=1542612 CPUtime=1795.44 /proc/13670/stat : 13670 (java) S 13668 13670 13645 0 -1 4202496 103731 0 1 0 178291 1253 0 0 18 0 19 0 132562115 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13670/statm: 385653 90493 1450 10 0 382955 0 [pid=13670/tid=13671] ppid=13668 vsize=1542612 CPUtime=1706.41 /proc/13670/task/13671/stat : 13671 (java) R 13668 13670 13645 0 -1 4202560 38483 0 1 0 170628 13 0 0 25 0 19 0 132562116 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4109602648 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=13670/tid=13673] ppid=13668 vsize=1542612 CPUtime=10.64 /proc/13670/task/13673/stat : 13673 (java) S 13668 13670 13645 0 -1 4202560 6403 0 0 0 917 147 0 0 15 0 19 0 132562116 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 5 0 0 0 [pid=13670/tid=13674] ppid=13668 vsize=1542612 CPUtime=10.74 /proc/13670/task/13674/stat : 13674 (java) S 13668 13670 13645 0 -1 4202560 5103 0 0 0 905 169 0 0 16 0 19 0 132562116 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 6 0 0 0 [pid=13670/tid=13675] ppid=13668 vsize=1542612 CPUtime=10.6 /proc/13670/task/13675/stat : 13675 (java) S 13668 13670 13645 0 -1 4202560 6314 0 0 0 925 135 0 0 16 0 19 0 132562116 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 4 0 0 0 [pid=13670/tid=13676] ppid=13668 vsize=1542612 CPUtime=10.89 /proc/13670/task/13676/stat : 13676 (java) S 13668 13670 13645 0 -1 4202560 6586 0 0 0 935 154 0 0 16 0 19 0 132562116 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13677] ppid=13668 vsize=1542612 CPUtime=10.71 /proc/13670/task/13677/stat : 13677 (java) S 13668 13670 13645 0 -1 4202560 6751 0 0 0 922 149 0 0 15 0 19 0 132562116 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 5 0 0 0 [pid=13670/tid=13678] ppid=13668 vsize=1542612 CPUtime=10.79 /proc/13670/task/13678/stat : 13678 (java) S 13668 13670 13645 0 -1 4202560 6045 0 0 0 933 146 0 0 15 0 19 0 132562116 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13679] ppid=13668 vsize=1542612 CPUtime=10.75 /proc/13670/task/13679/stat : 13679 (java) S 13668 13670 13645 0 -1 4202560 7812 0 0 0 921 154 0 0 16 0 19 0 132562116 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13680] ppid=13668 vsize=1542612 CPUtime=10.38 /proc/13670/task/13680/stat : 13680 (java) S 13668 13670 13645 0 -1 4202560 6716 0 0 0 903 135 0 0 16 0 19 0 132562116 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 2 0 0 0 [pid=13670/tid=13681] ppid=13668 vsize=1542612 CPUtime=1.18 /proc/13670/task/13681/stat : 13681 (java) S 13668 13670 13645 0 -1 4202560 244 0 0 0 74 44 0 0 15 0 19 0 132562117 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446604471159310528 0 0 -1 4 0 0 0 [pid=13670/tid=13682] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13682/stat : 13682 (java) S 13668 13670 13645 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 132562117 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13683] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13683/stat : 13683 (java) S 13668 13670 13645 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132562117 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13684] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13684/stat : 13684 (java) S 13668 13670 13645 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 132562120 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13685] ppid=13668 vsize=1542612 CPUtime=1.08 /proc/13670/task/13685/stat : 13685 (java) S 13668 13670 13645 0 -1 4202560 4510 0 0 0 108 0 0 0 15 0 19 0 132562120 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13686] ppid=13668 vsize=1542612 CPUtime=1.14 /proc/13670/task/13686/stat : 13686 (java) S 13668 13670 13645 0 -1 4202560 7604 0 0 0 113 1 0 0 15 0 19 0 132562120 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13687] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13687/stat : 13687 (java) S 13668 13670 13645 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 132562120 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13688] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13688/stat : 13688 (java) S 13668 13670 13645 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 132562120 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 7 0 0 0 [pid=13670/tid=13689] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13689/stat : 13689 (java) S 13668 13670 13645 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 132562147 1579634688 90493 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1795.44 Current children cumulated vsize (KiB) 1542612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1726.7 s] /proc/loadavg: 2.00 2.00 2.05 3/197 13793 /proc/meminfo: memFree=30669144/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=1542612 CPUtime=1800.11 /proc/13670/stat : 13670 (java) S 13668 13670 13645 0 -1 4202496 103797 0 1 0 178756 1255 0 0 18 0 19 0 132562115 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13670/statm: 385653 90554 1450 10 0 382955 0 [pid=13670/tid=13671] ppid=13668 vsize=1542612 CPUtime=1710.77 /proc/13670/task/13671/stat : 13671 (java) R 13668 13670 13645 0 -1 4202560 38488 0 1 0 171064 13 0 0 25 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4109602754 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=13670/tid=13673] ppid=13668 vsize=1542612 CPUtime=10.68 /proc/13670/task/13673/stat : 13673 (java) S 13668 13670 13645 0 -1 4202560 6407 0 0 0 921 147 0 0 16 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13674] ppid=13668 vsize=1542612 CPUtime=10.78 /proc/13670/task/13674/stat : 13674 (java) S 13668 13670 13645 0 -1 4202560 5113 0 0 0 909 169 0 0 16 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 6 0 0 0 [pid=13670/tid=13675] ppid=13668 vsize=1542612 CPUtime=10.65 /proc/13670/task/13675/stat : 13675 (java) S 13668 13670 13645 0 -1 4202560 6329 0 0 0 930 135 0 0 16 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 4 0 0 0 [pid=13670/tid=13676] ppid=13668 vsize=1542612 CPUtime=10.93 /proc/13670/task/13676/stat : 13676 (java) S 13668 13670 13645 0 -1 4202560 6591 0 0 0 938 155 0 0 16 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 5 0 0 0 [pid=13670/tid=13677] ppid=13668 vsize=1542612 CPUtime=10.74 /proc/13670/task/13677/stat : 13677 (java) S 13668 13670 13645 0 -1 4202560 6760 0 0 0 925 149 0 0 15 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13678] ppid=13668 vsize=1542612 CPUtime=10.83 /proc/13670/task/13678/stat : 13678 (java) S 13668 13670 13645 0 -1 4202560 6050 0 0 0 937 146 0 0 16 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13679] ppid=13668 vsize=1542612 CPUtime=10.79 /proc/13670/task/13679/stat : 13679 (java) S 13668 13670 13645 0 -1 4202560 7815 0 0 0 925 154 0 0 16 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13680] ppid=13668 vsize=1542612 CPUtime=10.44 /proc/13670/task/13680/stat : 13680 (java) S 13668 13670 13645 0 -1 4202560 6726 0 0 0 908 136 0 0 16 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 2 0 0 0 [pid=13670/tid=13681] ppid=13668 vsize=1542612 CPUtime=1.18 /proc/13670/task/13681/stat : 13681 (java) S 13668 13670 13645 0 -1 4202560 244 0 0 0 74 44 0 0 15 0 19 0 132562117 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446604471159310528 0 0 -1 4 0 0 0 [pid=13670/tid=13682] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13682/stat : 13682 (java) S 13668 13670 13645 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 132562117 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13683] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13683/stat : 13683 (java) S 13668 13670 13645 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132562117 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13684] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13684/stat : 13684 (java) S 13668 13670 13645 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 132562120 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13685] ppid=13668 vsize=1542612 CPUtime=1.08 /proc/13670/task/13685/stat : 13685 (java) S 13668 13670 13645 0 -1 4202560 4510 0 0 0 108 0 0 0 15 0 19 0 132562120 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13686] ppid=13668 vsize=1542612 CPUtime=1.14 /proc/13670/task/13686/stat : 13686 (java) S 13668 13670 13645 0 -1 4202560 7604 0 0 0 113 1 0 0 15 0 19 0 132562120 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13687] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13687/stat : 13687 (java) S 13668 13670 13645 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 132562120 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13688] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13688/stat : 13688 (java) S 13668 13670 13645 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 132562120 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 7 0 0 0 [pid=13670/tid=13689] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13689/stat : 13689 (java) S 13668 13670 13645 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 132562147 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 1542612 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1726.7 s] /proc/loadavg: 2.00 2.00 2.05 3/197 13793 /proc/meminfo: memFree=30669144/32951124 swapFree=67111528/67111528 [pid=13670] ppid=13668 vsize=1542612 CPUtime=1800.11 /proc/13670/stat : 13670 (java) S 13668 13670 13645 0 -1 4202496 103797 0 1 0 178756 1255 0 0 18 0 19 0 132562115 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13670/statm: 385653 90554 1450 10 0 382955 0 [pid=13670/tid=13671] ppid=13668 vsize=1542612 CPUtime=1710.77 /proc/13670/task/13671/stat : 13671 (java) R 13668 13670 13645 0 -1 4202560 38488 0 1 0 171064 13 0 0 25 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4109602754 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=13670/tid=13673] ppid=13668 vsize=1542612 CPUtime=10.68 /proc/13670/task/13673/stat : 13673 (java) S 13668 13670 13645 0 -1 4202560 6407 0 0 0 921 147 0 0 16 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13674] ppid=13668 vsize=1542612 CPUtime=10.78 /proc/13670/task/13674/stat : 13674 (java) S 13668 13670 13645 0 -1 4202560 5113 0 0 0 909 169 0 0 16 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 6 0 0 0 [pid=13670/tid=13675] ppid=13668 vsize=1542612 CPUtime=10.65 /proc/13670/task/13675/stat : 13675 (java) S 13668 13670 13645 0 -1 4202560 6329 0 0 0 930 135 0 0 16 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 4 0 0 0 [pid=13670/tid=13676] ppid=13668 vsize=1542612 CPUtime=10.93 /proc/13670/task/13676/stat : 13676 (java) S 13668 13670 13645 0 -1 4202560 6591 0 0 0 938 155 0 0 16 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 5 0 0 0 [pid=13670/tid=13677] ppid=13668 vsize=1542612 CPUtime=10.74 /proc/13670/task/13677/stat : 13677 (java) S 13668 13670 13645 0 -1 4202560 6760 0 0 0 925 149 0 0 15 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13678] ppid=13668 vsize=1542612 CPUtime=10.83 /proc/13670/task/13678/stat : 13678 (java) S 13668 13670 13645 0 -1 4202560 6050 0 0 0 937 146 0 0 16 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13679] ppid=13668 vsize=1542612 CPUtime=10.79 /proc/13670/task/13679/stat : 13679 (java) S 13668 13670 13645 0 -1 4202560 7815 0 0 0 925 154 0 0 16 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13680] ppid=13668 vsize=1542612 CPUtime=10.44 /proc/13670/task/13680/stat : 13680 (java) S 13668 13670 13645 0 -1 4202560 6726 0 0 0 908 136 0 0 16 0 19 0 132562116 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 2 0 0 0 [pid=13670/tid=13681] ppid=13668 vsize=1542612 CPUtime=1.18 /proc/13670/task/13681/stat : 13681 (java) S 13668 13670 13645 0 -1 4202560 244 0 0 0 74 44 0 0 15 0 19 0 132562117 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 0 0 16800975 18446604471159310528 0 0 -1 4 0 0 0 [pid=13670/tid=13682] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13682/stat : 13682 (java) S 13668 13670 13645 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 132562117 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13683] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13683/stat : 13683 (java) S 13668 13670 13645 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132562117 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13684] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13684/stat : 13684 (java) S 13668 13670 13645 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 132562120 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13685] ppid=13668 vsize=1542612 CPUtime=1.08 /proc/13670/task/13685/stat : 13685 (java) S 13668 13670 13645 0 -1 4202560 4510 0 0 0 108 0 0 0 15 0 19 0 132562120 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 0 0 0 0 [pid=13670/tid=13686] ppid=13668 vsize=1542612 CPUtime=1.14 /proc/13670/task/13686/stat : 13686 (java) S 13668 13670 13645 0 -1 4202560 7604 0 0 0 113 1 0 0 15 0 19 0 132562120 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 3 0 0 0 [pid=13670/tid=13687] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13687/stat : 13687 (java) S 13668 13670 13645 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 132562120 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 1 0 0 0 [pid=13670/tid=13688] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13688/stat : 13688 (java) S 13668 13670 13645 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 132562120 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 7 0 0 0 [pid=13670/tid=13689] ppid=13668 vsize=1542612 CPUtime=0 /proc/13670/task/13689/stat : 13689 (java) S 13668 13670 13645 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 132562147 1579634688 90554 4089446400 134512640 134550932 4286796656 18446744073709551615 4294960144 0 4 0 16800975 18446604471159310528 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 1542612 Child status: 143 Real time (s): 1726.76 CPU time (s): 1800.2 CPU user time (s): 1787.62 CPU system time (s): 12.5741 CPU usage (%): 104.253 Max. virtual memory (cumulated for all children) (KiB): 1551128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.62 system time used= 12.5741 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 103821 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= 99145 involuntary context switches= 3053876 runsolver used 3.07253 second user time and 6.38303 second system time The end
Begin job on node137 at 2010-06-30 17:44:27 IDJOB=2691591 IDBENCH=78999 IDSOLVER=1203 FILE ID=node137/2691591-1277912667 PBS_JOBID= 11197298 Free space on /tmp= 74208 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567985--soft-66-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-2691591-1277912667/watcher-2691591-1277912667 -o /tmp/evaluation-result-2691591-1277912667/solver-2691591-1277912667 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691591-1277912667.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d52b3728da19986b004dc30001a23e20 RANDOM SEED=248589315 node137.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 : 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.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.74 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.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.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.83 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30692032 kB Buffers: 198916 kB Cached: 1259640 kB SwapCached: 0 kB Active: 1197740 kB Inactive: 915792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30692032 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 616 kB Writeback: 0 kB AnonPages: 655448 kB Mapped: 16088 kB Slab: 80060 kB PageTables: 5892 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 819560 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node137 at 2010-06-30 18:13:16