Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.17 | 1725.67 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-66-100-0.wbo |
MD5SUM | cd9d62896ad241b3e0bc0c585d812475 |
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 | 7 |
Best CPU time to get the best result obtained on this benchmark | 664.98 |
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 | 930 |
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 | 46532 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46531 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 717 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.06 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@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-2692151-1277903781.wbo 0.11/0.10 c reading problem ... 0.28/0.29 c ... done. Wall clock time 0.191s. 0.28/0.29 c #vars 1161 0.28/0.29 c #constraints 2707 0.28/0.29 c constraints type 0.28/0.29 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 150 0.28/0.29 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1621 0.28/0.29 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 935 0.28/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 4.19/2.54 c SATISFIABLE 4.19/2.54 c OPTIMIZING... 4.19/2.54 c Got one! Elapsed wall clock time (in seconds):2.444 4.19/2.54 o 409 12.36/10.50 c Got one! Elapsed wall clock time (in seconds):10.407 12.36/10.50 o 356 16.16/14.24 c Got one! Elapsed wall clock time (in seconds):14.143 16.16/14.24 o 351 47.31/44.94 c Got one! Elapsed wall clock time (in seconds):44.846 47.31/44.94 o 344 57.77/55.15 c cleaning 0 clauses out of 5001 with flag 0/5001 87.72/84.45 c Got one! Elapsed wall clock time (in seconds):84.353 87.72/84.45 o 291 98.13/94.59 c Got one! Elapsed wall clock time (in seconds):94.494 98.13/94.59 o 287 118.50/114.43 c Got one! Elapsed wall clock time (in seconds):114.33 118.50/114.43 o 265 165.47/160.27 c Got one! Elapsed wall clock time (in seconds):160.174 165.47/160.27 o 212 275.03/266.50 c Got one! Elapsed wall clock time (in seconds):266.404 275.03/266.50 o 191 344.12/333.35 c cleaning 0 clauses out of 11001 with flag 0/11001 427.98/413.79 c Got one! Elapsed wall clock time (in seconds):413.69 427.98/413.79 o 139 1198.54/1151.95 c cleaning 0 clauses out of 18000 with flag 0/18000 1800.07/1725.61 c starts : 55 1800.07/1725.61 c conflicts : 20970 1800.07/1725.61 c decisions : 61205 1800.07/1725.61 c propagations : 1199665 1800.07/1725.61 c inspects : 1763832239 1800.07/1725.61 c learnt literals : 0 1800.07/1725.61 c learnt binary clauses : 0 1800.07/1725.61 c learnt ternary clauses : 0 1800.07/1725.61 c learnt clauses : 20970 1800.07/1725.61 c ignored clauses : 0 1800.07/1725.61 c root simplifications : 0 1800.07/1725.61 c removed literals (reason simplification) : 0 1800.07/1725.61 c reason swapping (by a shorter reason) : 0 1800.07/1725.61 c Calls to reduceDB : 3 1800.07/1725.61 c number of reductions to clauses (during analyze) : 0 1800.07/1725.61 c number of learned constraints concerned by reduction : 0 1800.07/1725.61 c number of learning phase by resolution : 0 1800.07/1725.61 c number of learning phase by cutting planes : 0 1800.07/1725.61 c speed (assignments/second) : 914.5028822507933 1800.07/1725.61 c non guided choices 1311 1800.07/1725.63 c learnt constraints type 1800.07/1725.63 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 90 1800.07/1725.63 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 5 1800.07/1725.63 c org.sat4j.pb.constraints.pb.MaxWatchPb => 20875 1800.07/1725.63 c constraints type 1800.07/1725.63 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 150 1800.07/1725.63 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1621 1800.07/1725.63 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 935 1800.07/1725.63 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.07/1725.63 s SATISFIABLE 1800.07/1725.63 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.07/1725.63 c objective function=139 1800.07/1725.63 c Total wall clock time (in seconds): 1725.529
OK 139
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692151-1277903781/watcher-2692151-1277903781 -o /tmp/evaluation-result-2692151-1277903781/solver-2692151-1277903781 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692151-1277903781.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.45 2.22 2.16 2/196 9837 /proc/meminfo: memFree=30992000/32951124 swapFree=67111528/67111528 [pid=9837] ppid=9835 vsize=13164 CPUtime=0 /proc/9837/stat : 9837 (java) R 9835 9837 9433 0 -1 4194304 489 0 0 0 0 0 0 0 23 0 1 0 131675448 13479936 201 4089446400 134512640 134550932 4294848176 18446744073709551615 11277957 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/9837/statm: 3291 207 140 10 0 1121 0 [startup+0.041786 s] /proc/loadavg: 2.45 2.22 2.16 2/196 9837 /proc/meminfo: memFree=30992000/32951124 swapFree=67111528/67111528 [pid=9837] ppid=9835 vsize=1525308 CPUtime=0.02 /proc/9837/stat : 9837 (java) S 9835 9837 9433 0 -1 4202496 3857 0 1 0 2 0 0 0 23 0 13 0 131675448 1561915392 3297 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 0 /proc/9837/statm: 381327 3297 1045 10 0 378637 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1525308 [startup+0.100827 s] /proc/loadavg: 2.45 2.22 2.16 2/196 9837 /proc/meminfo: memFree=30992000/32951124 swapFree=67111528/67111528 [pid=9837] ppid=9835 vsize=1530188 CPUtime=0.11 /proc/9837/stat : 9837 (java) S 9835 9837 9433 0 -1 4202496 5228 0 1 0 10 1 0 0 23 0 18 0 131675448 1566912512 4664 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/9837/statm: 382547 4664 1347 10 0 379849 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1530188 [startup+0.304772 s] /proc/loadavg: 2.45 2.22 2.16 2/196 9837 /proc/meminfo: memFree=30992000/32951124 swapFree=67111528/67111528 [pid=9837] ppid=9835 vsize=1531824 CPUtime=0.52 /proc/9837/stat : 9837 (java) S 9835 9837 9433 0 -1 4202496 7489 0 1 0 51 1 0 0 23 0 18 0 131675448 1568587776 6859 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/9837/statm: 382956 6860 1411 10 0 380258 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 1531824 [startup+0.700686 s] /proc/loadavg: 2.45 2.22 2.16 2/196 9837 /proc/meminfo: memFree=30992000/32951124 swapFree=67111528/67111528 [pid=9837] ppid=9835 vsize=1547544 CPUtime=1.63 /proc/9837/stat : 9837 (java) S 9835 9837 9433 0 -1 4202496 20642 0 1 0 160 3 0 0 23 0 19 0 131675448 1584685056 17271 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/9837/statm: 386886 17273 1424 10 0 384188 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 1547544 [startup+1.50157 s] /proc/loadavg: 2.45 2.22 2.16 3/215 9856 /proc/meminfo: memFree=30851428/32951124 swapFree=67111528/67111528 [pid=9837] ppid=9835 vsize=1545992 CPUtime=3 /proc/9837/stat : 9837 (java) S 9835 9837 9433 0 -1 4202496 44486 0 1 0 293 7 0 0 23 0 19 0 131675448 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/9837/statm: 386498 38457 1438 10 0 383800 0 [pid=9837/tid=9839] ppid=9835 vsize=1545992 CPUtime=1.47 /proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9433 0 -1 4202560 32100 0 1 0 142 5 0 0 19 0 19 0 131675449 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4109697599 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=9837/tid=9840] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9840/stat : 9840 (java) S 9835 9837 9433 0 -1 4202560 164 0 0 0 0 0 0 0 15 0 19 0 131675450 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 [pid=9837/tid=9841] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9841/stat : 9841 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131675450 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9842] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9842/stat : 9842 (java) S 9835 9837 9433 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 19 0 131675450 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9843] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9843/stat : 9843 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131675450 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9844] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9844/stat : 9844 (java) S 9835 9837 9433 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 131675450 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 [pid=9837/tid=9845] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9845/stat : 9845 (java) S 9835 9837 9433 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 19 0 131675450 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 [pid=9837/tid=9846] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9846/stat : 9846 (java) S 9835 9837 9433 0 -1 4202560 141 0 0 0 0 0 0 0 15 0 19 0 131675450 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9847] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9847/stat : 9847 (java) S 9835 9837 9433 0 -1 4202560 342 0 0 0 0 0 0 0 15 0 19 0 131675450 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9848] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9848/stat : 9848 (java) S 9835 9837 9433 0 -1 4202560 14 0 0 0 0 0 0 0 16 0 19 0 131675451 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9849] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9849/stat : 9849 (java) S 9835 9837 9433 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131675451 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9850] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9850/stat : 9850 (java) S 9835 9837 9433 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131675451 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9851] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9851/stat : 9851 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131675453 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9852] ppid=9835 vsize=1545992 CPUtime=0.72 /proc/9837/task/9852/stat : 9852 (java) S 9835 9837 9433 0 -1 4202560 4601 0 0 0 72 0 0 0 15 0 19 0 131675453 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9853] ppid=9835 vsize=1545992 CPUtime=0.77 /proc/9837/task/9853/stat : 9853 (java) S 9835 9837 9433 0 -1 4202560 5609 0 0 0 76 1 0 0 15 0 19 0 131675453 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9854] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9854/stat : 9854 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131675453 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9855] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9855/stat : 9855 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131675453 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9856] ppid=9835 vsize=1545992 CPUtime=0 /proc/9837/task/9856/stat : 9856 (java) S 9835 9837 9433 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131675480 1583095808 38457 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 1545992 [startup+3.10128 s] /proc/loadavg: 2.45 2.22 2.16 3/215 9856 /proc/meminfo: memFree=30840268/32951124 swapFree=67111528/67111528 [pid=9837] ppid=9835 vsize=1545156 CPUtime=4.86 /proc/9837/stat : 9837 (java) S 9835 9837 9433 0 -1 4202496 53794 0 1 0 478 8 0 0 23 0 19 0 131675448 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/9837/statm: 386289 46635 1438 10 0 383591 0 [pid=9837/tid=9839] ppid=9835 vsize=1545156 CPUtime=3.05 /proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9433 0 -1 4202560 37594 0 1 0 299 6 0 0 22 0 19 0 131675449 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4109638922 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=9837/tid=9840] ppid=9835 vsize=1545156 CPUtime=0 /proc/9837/task/9840/stat : 9840 (java) S 9835 9837 9433 0 -1 4202560 300 0 0 0 0 0 0 0 15 0 19 0 131675450 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9841] ppid=9835 vsize=1545156 CPUtime=0 /proc/9837/task/9841/stat : 9841 (java) S 9835 9837 9433 0 -1 4202560 321 0 0 0 0 0 0 0 15 0 19 0 131675450 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9842] ppid=9835 vsize=1545156 CPUtime=0 /proc/9837/task/9842/stat : 9842 (java) S 9835 9837 9433 0 -1 4202560 295 0 0 0 0 0 0 0 15 0 19 0 131675450 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9843] ppid=9835 vsize=1545156 CPUtime=0.01 /proc/9837/task/9843/stat : 9843 (java) S 9835 9837 9433 0 -1 4202560 630 0 0 0 1 0 0 0 16 0 19 0 131675450 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9844] ppid=9835 vsize=1545156 CPUtime=0.01 /proc/9837/task/9844/stat : 9844 (java) S 9835 9837 9433 0 -1 4202560 520 0 0 0 1 0 0 0 16 0 19 0 131675450 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9845] ppid=9835 vsize=1545156 CPUtime=0.01 /proc/9837/task/9845/stat : 9845 (java) S 9835 9837 9433 0 -1 4202560 750 0 0 0 1 0 0 0 16 0 19 0 131675450 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 [pid=9837/tid=9846] ppid=9835 vsize=1545156 CPUtime=0 /proc/9837/task/9846/stat : 9846 (java) S 9835 9837 9433 0 -1 4202560 797 0 0 0 0 0 0 0 16 0 19 0 131675450 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9847] ppid=9835 vsize=1545156 CPUtime=0 /proc/9837/task/9847/stat : 9847 (java) S 9835 9837 9433 0 -1 4202560 385 0 0 0 0 0 0 0 15 0 19 0 131675450 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9848] ppid=9835 vsize=1545156 CPUtime=0 /proc/9837/task/9848/stat : 9848 (java) S 9835 9837 9433 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 131675451 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9849] ppid=9835 vsize=1545156 CPUtime=0 /proc/9837/task/9849/stat : 9849 (java) S 9835 9837 9433 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131675451 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9850] ppid=9835 vsize=1545156 CPUtime=0 /proc/9837/task/9850/stat : 9850 (java) S 9835 9837 9433 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131675451 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9851] ppid=9835 vsize=1545156 CPUtime=0 /proc/9837/task/9851/stat : 9851 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131675453 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9852] ppid=9835 vsize=1545156 CPUtime=0.84 /proc/9837/task/9852/stat : 9852 (java) S 9835 9837 9433 0 -1 4202560 4671 0 0 0 84 0 0 0 15 0 19 0 131675453 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9853] ppid=9835 vsize=1545156 CPUtime=0.88 /proc/9837/task/9853/stat : 9853 (java) S 9835 9837 9433 0 -1 4202560 6432 0 0 0 87 1 0 0 15 0 19 0 131675453 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9854] ppid=9835 vsize=1545156 CPUtime=0 /proc/9837/task/9854/stat : 9854 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131675453 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9855] ppid=9835 vsize=1545156 CPUtime=0 /proc/9837/task/9855/stat : 9855 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131675453 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9856] ppid=9835 vsize=1545156 CPUtime=0 /proc/9837/task/9856/stat : 9856 (java) S 9835 9837 9433 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131675480 1582239744 46635 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.86 Current children cumulated vsize (KiB) 1545156 [startup+6.30067 s] /proc/loadavg: 2.41 2.22 2.16 3/215 9856 /proc/meminfo: memFree=30802588/32951124 swapFree=67111528/67111528 [pid=9837] ppid=9835 vsize=1543204 CPUtime=8.1 /proc/9837/stat : 9837 (java) S 9835 9837 9433 0 -1 4202496 55596 0 1 0 801 9 0 0 23 0 19 0 131675448 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/9837/statm: 385801 47617 1438 10 0 383103 0 [pid=9837/tid=9839] ppid=9835 vsize=1543204 CPUtime=6.22 /proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9433 0 -1 4202560 37604 0 1 0 616 6 0 0 25 0 19 0 131675449 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4109621830 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=9837/tid=9840] ppid=9835 vsize=1543204 CPUtime=0.01 /proc/9837/task/9840/stat : 9840 (java) S 9835 9837 9433 0 -1 4202560 583 0 0 0 1 0 0 0 16 0 19 0 131675450 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9841] ppid=9835 vsize=1543204 CPUtime=0 /proc/9837/task/9841/stat : 9841 (java) S 9835 9837 9433 0 -1 4202560 416 0 0 0 0 0 0 0 15 0 19 0 131675450 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9842] ppid=9835 vsize=1543204 CPUtime=0.01 /proc/9837/task/9842/stat : 9842 (java) S 9835 9837 9433 0 -1 4202560 578 0 0 0 1 0 0 0 16 0 19 0 131675450 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9843] ppid=9835 vsize=1543204 CPUtime=0.01 /proc/9837/task/9843/stat : 9843 (java) S 9835 9837 9433 0 -1 4202560 866 0 0 0 1 0 0 0 15 0 19 0 131675450 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 [pid=9837/tid=9844] ppid=9835 vsize=1543204 CPUtime=0.01 /proc/9837/task/9844/stat : 9844 (java) S 9835 9837 9433 0 -1 4202560 682 0 0 0 1 0 0 0 15 0 19 0 131675450 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9845] ppid=9835 vsize=1543204 CPUtime=0.01 /proc/9837/task/9845/stat : 9845 (java) S 9835 9837 9433 0 -1 4202560 982 0 0 0 1 0 0 0 15 0 19 0 131675450 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9846] ppid=9835 vsize=1543204 CPUtime=0.01 /proc/9837/task/9846/stat : 9846 (java) S 9835 9837 9433 0 -1 4202560 1012 0 0 0 1 0 0 0 15 0 19 0 131675450 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9847] ppid=9835 vsize=1543204 CPUtime=0.01 /proc/9837/task/9847/stat : 9847 (java) S 9835 9837 9433 0 -1 4202560 671 0 0 0 1 0 0 0 15 0 19 0 131675450 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 [pid=9837/tid=9848] ppid=9835 vsize=1543204 CPUtime=0 /proc/9837/task/9848/stat : 9848 (java) S 9835 9837 9433 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 131675451 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9849] ppid=9835 vsize=1543204 CPUtime=0 /proc/9837/task/9849/stat : 9849 (java) S 9835 9837 9433 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131675451 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9850] ppid=9835 vsize=1543204 CPUtime=0 /proc/9837/task/9850/stat : 9850 (java) S 9835 9837 9433 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131675451 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9851] ppid=9835 vsize=1543204 CPUtime=0 /proc/9837/task/9851/stat : 9851 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131675453 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9852] ppid=9835 vsize=1543204 CPUtime=0.85 /proc/9837/task/9852/stat : 9852 (java) S 9835 9837 9433 0 -1 4202560 4671 0 0 0 85 0 0 0 15 0 19 0 131675453 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9853] ppid=9835 vsize=1543204 CPUtime=0.88 /proc/9837/task/9853/stat : 9853 (java) S 9835 9837 9433 0 -1 4202560 6432 0 0 0 87 1 0 0 15 0 19 0 131675453 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9854] ppid=9835 vsize=1543204 CPUtime=0 /proc/9837/task/9854/stat : 9854 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131675453 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9855] ppid=9835 vsize=1543204 CPUtime=0 /proc/9837/task/9855/stat : 9855 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 131675453 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9856] ppid=9835 vsize=1543204 CPUtime=0 /proc/9837/task/9856/stat : 9856 (java) S 9835 9837 9433 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131675480 1580240896 47617 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.1 Current children cumulated vsize (KiB) 1543204 [startup+12.7015 s] /proc/loadavg: 2.38 2.21 2.16 10/215 9856 /proc/meminfo: memFree=30793160/32951124 swapFree=67111528/67111528 [pid=9837] ppid=9835 vsize=1543204 CPUtime=14.63 /proc/9837/stat : 9837 (java) S 9835 9837 9433 0 -1 4202496 57652 0 1 0 1453 10 0 0 23 0 19 0 131675448 1580240896 49483 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/9837/statm: 385801 49483 1444 10 0 383103 0 [pid=9837/tid=9839] ppid=9835 vsize=1543204 CPUtime=12.58 /proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9433 0 -1 4202560 37768 0 1 0 1252 6 0 0 25 0 19 0 131675449 1580240896 49483 4089446400 134512640 134550932 4294848176 18446744073709551615 4109697448 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=9837/tid=9840] ppid=9835 vsize=1543204 CPUtime=0.01 /proc/9837/task/9840/stat : 9840 (java) S 9835 9837 9433 0 -1 4202560 704 0 0 0 1 0 0 0 15 0 19 0 131675450 1580240896 49483 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 ################ # More data... # ################ [pid=9837/tid=9845] ppid=9835 vsize=1544228 CPUtime=10.15 /proc/9837/task/9845/stat : 9845 (java) S 9835 9837 9433 0 -1 4202560 6490 0 0 0 880 135 0 0 16 0 19 0 131675450 1581289472 92251 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9846] ppid=9835 vsize=1544228 CPUtime=10 /proc/9837/task/9846/stat : 9846 (java) S 9835 9837 9433 0 -1 4202560 6794 0 0 0 859 141 0 0 16 0 19 0 131675450 1581289472 92251 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 1 0 0 0 [pid=9837/tid=9847] ppid=9835 vsize=1544228 CPUtime=10.15 /proc/9837/task/9847/stat : 9847 (java) S 9835 9837 9433 0 -1 4202560 6794 0 0 0 903 112 0 0 16 0 19 0 131675450 1581289472 92251 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 [pid=9837/tid=9848] ppid=9835 vsize=1544228 CPUtime=1.19 /proc/9837/task/9848/stat : 9848 (java) S 9835 9837 9433 0 -1 4202560 195 0 0 0 81 38 0 0 15 0 19 0 131675451 1581289472 92251 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9849] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9849/stat : 9849 (java) S 9835 9837 9433 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131675451 1581289472 92251 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9850] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9850/stat : 9850 (java) S 9835 9837 9433 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131675451 1581289472 92251 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9851] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9851/stat : 9851 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131675453 1581289472 92251 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9852] ppid=9835 vsize=1544228 CPUtime=1.03 /proc/9837/task/9852/stat : 9852 (java) S 9835 9837 9433 0 -1 4202560 4695 0 0 0 103 0 0 0 15 0 19 0 131675453 1581289472 92251 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9853] ppid=9835 vsize=1544228 CPUtime=1.23 /proc/9837/task/9853/stat : 9853 (java) S 9835 9837 9433 0 -1 4202560 8172 0 0 0 122 1 0 0 15 0 19 0 131675453 1581289472 92251 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9854] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9854/stat : 9854 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131675453 1581289472 92251 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9855] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9855/stat : 9855 (java) S 9835 9837 9433 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 131675453 1581289472 92251 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 7 0 0 0 [pid=9837/tid=9856] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9856/stat : 9856 (java) S 9835 9837 9433 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131675480 1581289472 92251 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1670.47 Current children cumulated vsize (KiB) 1544228 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.05 3/197 9933 /proc/meminfo: memFree=30125592/32951124 swapFree=67111528/67111528 [pid=9837] ppid=9835 vsize=1544228 CPUtime=1733.46 /proc/9837/stat : 9837 (java) S 9835 9837 9433 0 -1 4202496 106591 0 1 0 172177 1169 0 0 23 0 19 0 131675448 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/9837/statm: 386057 92761 1450 10 0 383359 0 [pid=9837/tid=9839] ppid=9835 vsize=1544228 CPUtime=1646.32 /proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9433 0 -1 4202560 39919 0 1 0 164619 13 0 0 25 0 19 0 131675449 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4109619793 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=9837/tid=9840] ppid=9835 vsize=1544228 CPUtime=10.31 /proc/9837/task/9840/stat : 9840 (java) S 9835 9837 9433 0 -1 4202560 6203 0 0 0 881 150 0 0 16 0 19 0 131675450 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 5 0 0 0 [pid=9837/tid=9841] ppid=9835 vsize=1544228 CPUtime=9.96 /proc/9837/task/9841/stat : 9841 (java) S 9835 9837 9433 0 -1 4202560 6485 0 0 0 863 133 0 0 16 0 19 0 131675450 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9842] ppid=9835 vsize=1544228 CPUtime=10.9 /proc/9837/task/9842/stat : 9842 (java) S 9835 9837 9433 0 -1 4202560 6648 0 0 0 939 151 0 0 16 0 19 0 131675450 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 1 0 0 0 [pid=9837/tid=9843] ppid=9835 vsize=1544228 CPUtime=10.36 /proc/9837/task/9843/stat : 9843 (java) S 9835 9837 9433 0 -1 4202560 5865 0 0 0 904 132 0 0 15 0 19 0 131675450 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 7 0 0 0 [pid=9837/tid=9844] ppid=9835 vsize=1544228 CPUtime=10.37 /proc/9837/task/9844/stat : 9844 (java) S 9835 9837 9433 0 -1 4202560 6990 0 0 0 899 138 0 0 16 0 19 0 131675450 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 7 0 0 0 [pid=9837/tid=9845] ppid=9835 vsize=1544228 CPUtime=10.6 /proc/9837/task/9845/stat : 9845 (java) S 9835 9837 9433 0 -1 4202560 6571 0 0 0 921 139 0 0 16 0 19 0 131675450 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 [pid=9837/tid=9846] ppid=9835 vsize=1544228 CPUtime=10.41 /proc/9837/task/9846/stat : 9846 (java) S 9835 9837 9433 0 -1 4202560 6823 0 0 0 893 148 0 0 16 0 19 0 131675450 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9847] ppid=9835 vsize=1544228 CPUtime=10.61 /proc/9837/task/9847/stat : 9847 (java) S 9835 9837 9433 0 -1 4202560 6858 0 0 0 944 117 0 0 16 0 19 0 131675450 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9848] ppid=9835 vsize=1544228 CPUtime=1.22 /proc/9837/task/9848/stat : 9848 (java) S 9835 9837 9433 0 -1 4202560 199 0 0 0 83 39 0 0 15 0 19 0 131675451 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9849] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9849/stat : 9849 (java) S 9835 9837 9433 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131675451 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9850] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9850/stat : 9850 (java) S 9835 9837 9433 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131675451 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9851] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9851/stat : 9851 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131675453 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9852] ppid=9835 vsize=1544228 CPUtime=1.03 /proc/9837/task/9852/stat : 9852 (java) S 9835 9837 9433 0 -1 4202560 4695 0 0 0 103 0 0 0 15 0 19 0 131675453 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9853] ppid=9835 vsize=1544228 CPUtime=1.23 /proc/9837/task/9853/stat : 9853 (java) S 9835 9837 9433 0 -1 4202560 8172 0 0 0 122 1 0 0 15 0 19 0 131675453 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9854] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9854/stat : 9854 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131675453 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9855] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9855/stat : 9855 (java) S 9835 9837 9433 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 131675453 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 7 0 0 0 [pid=9837/tid=9856] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9856/stat : 9856 (java) S 9835 9837 9433 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131675480 1581289472 92761 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1733.46 Current children cumulated vsize (KiB) 1544228 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.04 3/197 9935 /proc/meminfo: memFree=30053880/32951124 swapFree=67111528/67111528 [pid=9837] ppid=9835 vsize=1544228 CPUtime=1796.54 /proc/9837/stat : 9837 (java) S 9835 9837 9433 0 -1 4202496 107551 0 1 0 178429 1225 0 0 23 0 19 0 131675448 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/9837/statm: 386057 93644 1450 10 0 383359 0 [pid=9837/tid=9839] ppid=9835 vsize=1544228 CPUtime=1705.68 /proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9433 0 -1 4202560 39981 0 1 0 170555 13 0 0 25 0 19 0 131675449 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4109697723 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=9837/tid=9840] ppid=9835 vsize=1544228 CPUtime=10.77 /proc/9837/task/9840/stat : 9840 (java) S 9835 9837 9433 0 -1 4202560 6261 0 0 0 919 158 0 0 16 0 19 0 131675450 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 1 0 0 0 [pid=9837/tid=9841] ppid=9835 vsize=1544228 CPUtime=10.44 /proc/9837/task/9841/stat : 9841 (java) S 9835 9837 9433 0 -1 4202560 6709 0 0 0 905 139 0 0 16 0 19 0 131675450 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9842] ppid=9835 vsize=1544228 CPUtime=11.37 /proc/9837/task/9842/stat : 9842 (java) S 9835 9837 9433 0 -1 4202560 6735 0 0 0 977 160 0 0 16 0 19 0 131675450 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9843] ppid=9835 vsize=1544228 CPUtime=10.86 /proc/9837/task/9843/stat : 9843 (java) S 9835 9837 9433 0 -1 4202560 5994 0 0 0 949 137 0 0 16 0 19 0 131675450 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 [pid=9837/tid=9844] ppid=9835 vsize=1544228 CPUtime=10.79 /proc/9837/task/9844/stat : 9844 (java) S 9835 9837 9433 0 -1 4202560 7086 0 0 0 936 143 0 0 16 0 19 0 131675450 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 5 0 0 0 [pid=9837/tid=9845] ppid=9835 vsize=1544228 CPUtime=11.06 /proc/9837/task/9845/stat : 9845 (java) S 9835 9837 9433 0 -1 4202560 6692 0 0 0 960 146 0 0 16 0 19 0 131675450 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9846] ppid=9835 vsize=1544228 CPUtime=10.93 /proc/9837/task/9846/stat : 9846 (java) S 9835 9837 9433 0 -1 4202560 6903 0 0 0 936 157 0 0 16 0 19 0 131675450 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 7 0 0 0 [pid=9837/tid=9847] ppid=9835 vsize=1544228 CPUtime=11.01 /proc/9837/task/9847/stat : 9847 (java) S 9835 9837 9433 0 -1 4202560 6956 0 0 0 978 123 0 0 15 0 19 0 131675450 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 7 0 0 0 [pid=9837/tid=9848] ppid=9835 vsize=1544228 CPUtime=1.25 /proc/9837/task/9848/stat : 9848 (java) S 9835 9837 9433 0 -1 4202560 202 0 0 0 84 41 0 0 15 0 19 0 131675451 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9849] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9849/stat : 9849 (java) S 9835 9837 9433 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131675451 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9850] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9850/stat : 9850 (java) S 9835 9837 9433 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131675451 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9851] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9851/stat : 9851 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131675453 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9852] ppid=9835 vsize=1544228 CPUtime=1.03 /proc/9837/task/9852/stat : 9852 (java) S 9835 9837 9433 0 -1 4202560 4695 0 0 0 103 0 0 0 15 0 19 0 131675453 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9853] ppid=9835 vsize=1544228 CPUtime=1.23 /proc/9837/task/9853/stat : 9853 (java) S 9835 9837 9433 0 -1 4202560 8172 0 0 0 122 1 0 0 15 0 19 0 131675453 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9854] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9854/stat : 9854 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131675453 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9855] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9855/stat : 9855 (java) S 9835 9837 9433 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 131675453 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 5 0 0 0 [pid=9837/tid=9856] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9856/stat : 9856 (java) S 9835 9837 9433 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131675480 1581289472 93644 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (KiB) 1544228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1725.6 s] /proc/loadavg: 2.00 2.02 2.04 3/197 9935 /proc/meminfo: memFree=30049908/32951124 swapFree=67111528/67111528 [pid=9837] ppid=9835 vsize=1544228 CPUtime=1800.07 /proc/9837/stat : 9837 (java) S 9835 9837 9433 0 -1 4202496 107641 0 1 0 178778 1229 0 0 23 0 19 0 131675448 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/9837/statm: 386057 93730 1450 10 0 383359 0 [pid=9837/tid=9839] ppid=9835 vsize=1544228 CPUtime=1708.94 /proc/9837/task/9839/stat : 9839 (java) R 9835 9837 9433 0 -1 4202560 39985 0 1 0 170881 13 0 0 25 0 19 0 131675449 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4109638911 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=9837/tid=9840] ppid=9835 vsize=1544228 CPUtime=10.8 /proc/9837/task/9840/stat : 9840 (java) S 9835 9837 9433 0 -1 4202560 6267 0 0 0 922 158 0 0 16 0 19 0 131675450 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 5 0 0 0 [pid=9837/tid=9841] ppid=9835 vsize=1544228 CPUtime=10.48 /proc/9837/task/9841/stat : 9841 (java) S 9835 9837 9433 0 -1 4202560 6724 0 0 0 908 140 0 0 16 0 19 0 131675450 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9842] ppid=9835 vsize=1544228 CPUtime=11.4 /proc/9837/task/9842/stat : 9842 (java) S 9835 9837 9433 0 -1 4202560 6738 0 0 0 980 160 0 0 16 0 19 0 131675450 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 5 0 0 0 [pid=9837/tid=9843] ppid=9835 vsize=1544228 CPUtime=10.9 /proc/9837/task/9843/stat : 9843 (java) S 9835 9837 9433 0 -1 4202560 6030 0 0 0 953 137 0 0 16 0 19 0 131675450 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 [pid=9837/tid=9844] ppid=9835 vsize=1544228 CPUtime=10.81 /proc/9837/task/9844/stat : 9844 (java) S 9835 9837 9433 0 -1 4202560 7089 0 0 0 938 143 0 0 16 0 19 0 131675450 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9845] ppid=9835 vsize=1544228 CPUtime=11.08 /proc/9837/task/9845/stat : 9845 (java) S 9835 9837 9433 0 -1 4202560 6702 0 0 0 962 146 0 0 16 0 19 0 131675450 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9846] ppid=9835 vsize=1544228 CPUtime=10.96 /proc/9837/task/9846/stat : 9846 (java) S 9835 9837 9433 0 -1 4202560 6912 0 0 0 938 158 0 0 16 0 19 0 131675450 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 1 0 0 0 [pid=9837/tid=9847] ppid=9835 vsize=1544228 CPUtime=11.05 /proc/9837/task/9847/stat : 9847 (java) S 9835 9837 9433 0 -1 4202560 6960 0 0 0 981 124 0 0 16 0 19 0 131675450 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 7 0 0 0 [pid=9837/tid=9848] ppid=9835 vsize=1544228 CPUtime=1.25 /proc/9837/task/9848/stat : 9848 (java) S 9835 9837 9433 0 -1 4202560 202 0 0 0 84 41 0 0 15 0 19 0 131675451 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 0 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9849] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9849/stat : 9849 (java) S 9835 9837 9433 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131675451 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 6 0 0 0 [pid=9837/tid=9850] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9850/stat : 9850 (java) S 9835 9837 9433 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131675451 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9851] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9851/stat : 9851 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131675453 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9852] ppid=9835 vsize=1544228 CPUtime=1.03 /proc/9837/task/9852/stat : 9852 (java) S 9835 9837 9433 0 -1 4202560 4695 0 0 0 103 0 0 0 15 0 19 0 131675453 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 4 0 0 0 [pid=9837/tid=9853] ppid=9835 vsize=1544228 CPUtime=1.23 /proc/9837/task/9853/stat : 9853 (java) S 9835 9837 9433 0 -1 4202560 8172 0 0 0 122 1 0 0 15 0 19 0 131675453 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 3 0 0 0 [pid=9837/tid=9854] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9854/stat : 9854 (java) S 9835 9837 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 131675453 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 2 0 0 0 [pid=9837/tid=9855] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9855/stat : 9855 (java) S 9835 9837 9433 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 131675453 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 5 0 0 0 [pid=9837/tid=9856] ppid=9835 vsize=1544228 CPUtime=0 /proc/9837/task/9856/stat : 9856 (java) S 9835 9837 9433 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131675480 1581289472 93730 4089446400 134512640 134550932 4294848176 18446744073709551615 4294960144 0 4 0 16800975 18446604453939247040 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1544228 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1725.67 CPU time (s): 1800.17 CPU user time (s): 1787.86 CPU system time (s): 12.3091 CPU usage (%): 104.318 Max. virtual memory (cumulated for all children) (KiB): 1549348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.86 system time used= 12.3091 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107663 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= 100744 involuntary context switches= 2867124 runsolver used 3.06253 second user time and 6.44002 second system time The end
Begin job on node109 at 2010-06-30 15:16:21 IDJOB=2692151 IDBENCH=78914 IDSOLVER=1203 FILE ID=node109/2692151-1277903781 PBS_JOBID= 11197218 Free space on /tmp= 74212 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.1900557957--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-2692151-1277903781/watcher-2692151-1277903781 -o /tmp/evaluation-result-2692151-1277903781/solver-2692151-1277903781 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692151-1277903781.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cd9d62896ad241b3e0bc0c585d812475 RANDOM SEED=509704972 node109.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.817 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.63 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.817 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30992388 kB Buffers: 184144 kB Cached: 1039572 kB SwapCached: 0 kB Active: 1092060 kB Inactive: 723072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30992388 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 484 kB Writeback: 0 kB AnonPages: 590980 kB Mapped: 20308 kB Slab: 80304 kB PageTables: 5864 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1660608 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node109 at 2010-06-30 15:45:09