Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.17 | 1696.7 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo |
MD5SUM | c3adda683c0d048bf44386b3ccfc9e41 |
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 | 47.4258 |
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 | 1816 |
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 | 92461 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 92460 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 779 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.05/0.07 c version 2.2.0.v20100526 0.05/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.05/0.07 c java.vm.version 11.2-b01 0.05/0.07 c java.vm.vendor Sun Microsystems Inc. 0.05/0.07 c sun.arch.data.model 32 0.05/0.07 c java.version 1.6.0_12 0.05/0.07 c os.name Linux 0.05/0.07 c os.version 2.6.18-164.el5 0.05/0.07 c os.arch i386 0.05/0.07 c Free memory 1393557488 0.05/0.07 c Max memory 1395916800 0.05/0.07 c Total memory 1395916800 0.05/0.07 c Number of processors 8 0.05/0.10 c Pseudo Boolean Optimization 0.05/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.05/0.10 c --- Begin Solver configuration --- 0.05/0.10 c Stops conflict analysis at the first Unique Implication Point 0.05/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1b16e52 0.05/0.10 c Learn all clauses as in MiniSAT 0.05/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.05/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.05/0.10 c No reason simplification 0.05/0.10 c Armin Biere (Picosat) restarts strategy 0.05/0.10 c Glucose learned constraints deletion strategy 0.05/0.10 c timeout=2147483s 0.05/0.10 c DB Simplification allowed=false 0.05/0.10 c --- End Solver configuration --- 0.05/0.10 c solving HOME/instance-2692149-1277903691.wbo 0.05/0.10 c reading problem ... 0.52/0.30 c ... done. Wall clock time 0.201s. 0.52/0.30 c #vars 2047 0.52/0.30 c #constraints 2707 0.52/0.30 c constraints type 0.52/0.30 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 84 0.52/0.30 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 812 0.52/0.30 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1810 0.52/0.30 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.29/0.97 c SATISFIABLE 2.29/0.97 c OPTIMIZING... 2.29/0.97 c Got one! Elapsed wall clock time (in seconds):0.87 2.29/0.97 o 556 3.11/1.31 c Got one! Elapsed wall clock time (in seconds):1.211 3.11/1.31 o 485 3.75/1.73 c Got one! Elapsed wall clock time (in seconds):1.634 3.75/1.73 o 482 4.22/2.15 c Got one! Elapsed wall clock time (in seconds):2.051 4.22/2.15 o 477 5.80/3.69 c Got one! Elapsed wall clock time (in seconds):3.595 5.80/3.69 o 476 7.54/5.32 c Got one! Elapsed wall clock time (in seconds):5.225 7.54/5.32 o 451 14.45/12.15 c Got one! Elapsed wall clock time (in seconds):12.056 14.45/12.15 o 434 16.58/14.30 c Got one! Elapsed wall clock time (in seconds):14.203 16.58/14.30 o 429 20.34/17.94 c Got one! Elapsed wall clock time (in seconds):17.841 20.34/17.94 o 387 33.65/31.03 c Got one! Elapsed wall clock time (in seconds):30.936 33.65/31.03 o 352 45.93/43.03 c Got one! Elapsed wall clock time (in seconds):42.938 45.93/43.03 o 243 90.11/86.17 c Got one! Elapsed wall clock time (in seconds):86.071 90.11/86.17 o 240 98.69/94.51 c cleaning 0 clauses out of 5001 with flag 0/5001 217.37/208.99 c Got one! Elapsed wall clock time (in seconds):208.898 217.37/208.99 o 220 541.01/517.54 c Got one! Elapsed wall clock time (in seconds):517.444 541.01/517.54 o 160 750.42/716.29 c Got one! Elapsed wall clock time (in seconds):716.193 750.42/716.29 o 135 832.01/793.42 c cleaning 0 clauses out of 11001 with flag 0/11001 1800.04/1696.61 c starts : 57 1800.04/1696.61 c conflicts : 15891 1800.04/1696.61 c decisions : 112406 1800.04/1696.61 c propagations : 2557669 1800.04/1696.61 c inspects : 976615861 1800.04/1696.61 c learnt literals : 0 1800.04/1696.61 c learnt binary clauses : 0 1800.04/1696.61 c learnt ternary clauses : 0 1800.04/1696.61 c learnt clauses : 15891 1800.04/1696.61 c ignored clauses : 0 1800.04/1696.61 c root simplifications : 0 1800.04/1696.61 c removed literals (reason simplification) : 0 1800.04/1696.61 c reason swapping (by a shorter reason) : 0 1800.04/1696.61 c Calls to reduceDB : 2 1800.04/1696.61 c number of reductions to clauses (during analyze) : 0 1800.04/1696.61 c number of learned constraints concerned by reduction : 0 1800.04/1696.61 c number of learning phase by resolution : 0 1800.04/1696.61 c number of learning phase by cutting planes : 0 1800.04/1696.61 c speed (assignments/second) : 2609.044430571367 1800.04/1696.61 c non guided choices 1781 1800.04/1696.62 c learnt constraints type 1800.04/1696.62 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 12 1800.04/1696.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3 1800.04/1696.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 15876 1800.04/1696.62 c constraints type 1800.04/1696.62 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 84 1800.04/1696.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 812 1800.04/1696.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1810 1800.04/1696.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.04/1696.62 s SATISFIABLE 1800.04/1696.62 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.04/1696.62 c objective function=135 1800.04/1696.62 c Total wall clock time (in seconds): 1696.527
OK 135
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692149-1277903691/watcher-2692149-1277903691 -o /tmp/evaluation-result-2692149-1277903691/solver-2692149-1277903691 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692149-1277903691.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 2/178 24861 /proc/meminfo: memFree=31335212/32950928 swapFree=67111528/67111528 [pid=24861] ppid=24859 vsize=13164 CPUtime=0 /proc/24861/stat : 24861 (java) R 24859 24861 24172 0 -1 4194304 938 0 0 0 0 0 0 0 25 0 1 0 165972209 13479936 429 4089446400 134512640 134550932 4289211936 18446744073709551615 9741957 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24861/statm: 3291 432 147 10 0 1121 0 [startup+0.0705201 s] /proc/loadavg: 2.00 2.01 2.00 2/178 24861 /proc/meminfo: memFree=31335212/32950928 swapFree=67111528/67111528 [pid=24861] ppid=24859 vsize=1528560 CPUtime=0.05 /proc/24861/stat : 24861 (java) S 24859 24861 24172 0 -1 4202496 4297 0 1 0 4 1 0 0 25 0 18 0 165972209 1565245440 3737 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/24861/statm: 382140 3751 1100 10 0 379442 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1528560 [startup+0.100548 s] /proc/loadavg: 2.00 2.01 2.00 2/178 24861 /proc/meminfo: memFree=31335212/32950928 swapFree=67111528/67111528 [pid=24861] ppid=24859 vsize=1529752 CPUtime=0.11 /proc/24861/stat : 24861 (java) S 24859 24861 24172 0 -1 4202496 5239 0 1 0 10 1 0 0 25 0 18 0 165972209 1566466048 4677 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/24861/statm: 382438 4677 1349 10 0 379740 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529752 [startup+0.300476 s] /proc/loadavg: 2.00 2.01 2.00 2/178 24861 /proc/meminfo: memFree=31335212/32950928 swapFree=67111528/67111528 [pid=24861] ppid=24859 vsize=1531780 CPUtime=0.52 /proc/24861/stat : 24861 (java) S 24859 24861 24172 0 -1 4202496 7602 0 1 0 51 1 0 0 25 0 18 0 165972209 1568542720 6910 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/24861/statm: 382945 6910 1411 10 0 380247 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 1531780 [startup+0.700399 s] /proc/loadavg: 2.00 2.01 2.00 2/178 24861 /proc/meminfo: memFree=31335212/32950928 swapFree=67111528/67111528 [pid=24861] ppid=24859 vsize=1552588 CPUtime=1.7 /proc/24861/stat : 24861 (java) S 24859 24861 24172 0 -1 4202496 22614 0 1 0 166 4 0 0 25 0 19 0 165972209 1589850112 17625 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/24861/statm: 388147 17626 1420 10 0 385449 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 1552588 [startup+1.50125 s] /proc/loadavg: 2.00 2.01 2.00 5/197 24880 /proc/meminfo: memFree=31239484/32950928 swapFree=67111528/67111528 [pid=24861] ppid=24859 vsize=1550836 CPUtime=3.52 /proc/24861/stat : 24861 (java) S 24859 24861 24172 0 -1 4202496 47777 0 1 0 346 6 0 0 25 0 19 0 165972209 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/24861/statm: 387709 39105 1444 10 0 385011 0 [pid=24861/tid=24863] ppid=24859 vsize=1550836 CPUtime=1.47 /proc/24861/task/24863/stat : 24863 (java) R 24859 24861 24172 0 -1 4202560 32103 0 1 0 144 3 0 0 18 0 19 0 165972210 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4109862878 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=24861/tid=24864] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24864/stat : 24864 (java) S 24859 24861 24172 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 165972211 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 6 0 0 0 [pid=24861/tid=24865] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24865/stat : 24865 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 165972211 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 6 0 0 0 [pid=24861/tid=24866] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24866/stat : 24866 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 165972211 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24867] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24867/stat : 24867 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 165972211 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24868] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24868/stat : 24868 (java) S 24859 24861 24172 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 165972211 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24869] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24869/stat : 24869 (java) S 24859 24861 24172 0 -1 4202560 173 0 0 0 0 0 0 0 18 0 19 0 165972211 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24870] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24870/stat : 24870 (java) S 24859 24861 24172 0 -1 4202560 183 0 0 0 0 0 0 0 18 0 19 0 165972211 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24871] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24871/stat : 24871 (java) S 24859 24861 24172 0 -1 4202560 195 0 0 0 0 0 0 0 18 0 19 0 165972211 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24872] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24872/stat : 24872 (java) S 24859 24861 24172 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 165972211 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446604453947449472 0 0 -1 6 0 0 0 [pid=24861/tid=24873] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24873/stat : 24873 (java) S 24859 24861 24172 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 165972212 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24874] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24874/stat : 24874 (java) S 24859 24861 24172 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165972212 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24875] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24875/stat : 24875 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165972214 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24876] ppid=24859 vsize=1550836 CPUtime=1.02 /proc/24861/task/24876/stat : 24876 (java) S 24859 24861 24172 0 -1 4202560 5416 0 0 0 101 1 0 0 16 0 19 0 165972214 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24877] ppid=24859 vsize=1550836 CPUtime=1 /proc/24861/task/24877/stat : 24877 (java) S 24859 24861 24172 0 -1 4202560 8624 0 0 0 99 1 0 0 16 0 19 0 165972214 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24878] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24878/stat : 24878 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165972214 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24879] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24879/stat : 24879 (java) R 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 165972214 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=24861/tid=24880] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24880/stat : 24880 (java) S 24859 24861 24172 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 165972244 1588056064 39105 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.52 Current children cumulated vsize (KiB) 1550836 [startup+3.10096 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24880 /proc/meminfo: memFree=31177856/32950928 swapFree=67111528/67111528 [pid=24861] ppid=24859 vsize=1550836 CPUtime=5.29 /proc/24861/stat : 24861 (java) S 24859 24861 24172 0 -1 4202496 56664 0 1 0 521 8 0 0 25 0 19 0 165972209 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/24861/statm: 387709 47836 1444 10 0 385011 0 [pid=24861/tid=24863] ppid=24859 vsize=1550836 CPUtime=3.05 /proc/24861/task/24863/stat : 24863 (java) R 24859 24861 24172 0 -1 4202560 36205 0 1 0 301 4 0 0 20 0 19 0 165972210 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4109348038 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=24861/tid=24864] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24864/stat : 24864 (java) S 24859 24861 24172 0 -1 4202560 702 0 0 0 0 0 0 0 16 0 19 0 165972211 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24865] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24865/stat : 24865 (java) S 24859 24861 24172 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 165972211 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24866] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24866/stat : 24866 (java) S 24859 24861 24172 0 -1 4202560 263 0 0 0 0 0 0 0 15 0 19 0 165972211 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24867] ppid=24859 vsize=1550836 CPUtime=0.01 /proc/24861/task/24867/stat : 24867 (java) S 24859 24861 24172 0 -1 4202560 975 0 0 0 1 0 0 0 16 0 19 0 165972211 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24868] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24868/stat : 24868 (java) S 24859 24861 24172 0 -1 4202560 390 0 0 0 0 0 0 0 15 0 19 0 165972211 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24869] ppid=24859 vsize=1550836 CPUtime=0.01 /proc/24861/task/24869/stat : 24869 (java) S 24859 24861 24172 0 -1 4202560 687 0 0 0 1 0 0 0 15 0 19 0 165972211 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 6 0 0 0 [pid=24861/tid=24870] ppid=24859 vsize=1550836 CPUtime=0.01 /proc/24861/task/24870/stat : 24870 (java) S 24859 24861 24172 0 -1 4202560 1285 0 0 0 1 0 0 0 15 0 19 0 165972211 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24871] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24871/stat : 24871 (java) S 24859 24861 24172 0 -1 4202560 789 0 0 0 0 0 0 0 16 0 19 0 165972211 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 6 0 0 0 [pid=24861/tid=24872] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24872/stat : 24872 (java) S 24859 24861 24172 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 165972211 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446604453947449472 0 0 -1 6 0 0 0 [pid=24861/tid=24873] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24873/stat : 24873 (java) S 24859 24861 24172 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 165972212 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24874] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24874/stat : 24874 (java) S 24859 24861 24172 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165972212 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24875] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24875/stat : 24875 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165972214 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24876] ppid=24859 vsize=1550836 CPUtime=1.05 /proc/24861/task/24876/stat : 24876 (java) S 24859 24861 24172 0 -1 4202560 5422 0 0 0 104 1 0 0 15 0 19 0 165972214 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24877] ppid=24859 vsize=1550836 CPUtime=1.09 /proc/24861/task/24877/stat : 24877 (java) S 24859 24861 24172 0 -1 4202560 8635 0 0 0 108 1 0 0 15 0 19 0 165972214 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24878] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24878/stat : 24878 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165972214 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24879] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24879/stat : 24879 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 165972214 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24880] ppid=24859 vsize=1550836 CPUtime=0 /proc/24861/task/24880/stat : 24880 (java) S 24859 24861 24172 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 165972244 1588056064 47836 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.29 Current children cumulated vsize (KiB) 1550836 [startup+6.30135 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24880 /proc/meminfo: memFree=31142260/32950928 swapFree=67111528/67111528 [pid=24861] ppid=24859 vsize=1549864 CPUtime=8.59 /proc/24861/stat : 24861 (java) S 24859 24861 24172 0 -1 4202496 59041 0 1 0 849 10 0 0 25 0 19 0 165972209 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/24861/statm: 387466 49698 1444 10 0 384768 0 [pid=24861/tid=24863] ppid=24859 vsize=1549864 CPUtime=6.22 /proc/24861/task/24863/stat : 24863 (java) R 24859 24861 24172 0 -1 4202560 36216 0 1 0 618 4 0 0 20 0 19 0 165972210 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4109860200 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=24861/tid=24864] ppid=24859 vsize=1549864 CPUtime=0.01 /proc/24861/task/24864/stat : 24864 (java) S 24859 24861 24172 0 -1 4202560 1114 0 0 0 1 0 0 0 15 0 19 0 165972211 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24865] ppid=24859 vsize=1549864 CPUtime=0 /proc/24861/task/24865/stat : 24865 (java) S 24859 24861 24172 0 -1 4202560 471 0 0 0 0 0 0 0 15 0 19 0 165972211 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24866] ppid=24859 vsize=1549864 CPUtime=0 /proc/24861/task/24866/stat : 24866 (java) S 24859 24861 24172 0 -1 4202560 611 0 0 0 0 0 0 0 16 0 19 0 165972211 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 6 0 0 0 [pid=24861/tid=24867] ppid=24859 vsize=1549864 CPUtime=0.01 /proc/24861/task/24867/stat : 24867 (java) S 24859 24861 24172 0 -1 4202560 1434 0 0 0 1 0 0 0 15 0 19 0 165972211 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24868] ppid=24859 vsize=1549864 CPUtime=0 /proc/24861/task/24868/stat : 24868 (java) S 24859 24861 24172 0 -1 4202560 481 0 0 0 0 0 0 0 15 0 19 0 165972211 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24869] ppid=24859 vsize=1549864 CPUtime=0.01 /proc/24861/task/24869/stat : 24869 (java) S 24859 24861 24172 0 -1 4202560 847 0 0 0 1 0 0 0 15 0 19 0 165972211 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24870] ppid=24859 vsize=1549864 CPUtime=0.01 /proc/24861/task/24870/stat : 24870 (java) S 24859 24861 24172 0 -1 4202560 1487 0 0 0 1 0 0 0 16 0 19 0 165972211 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24871] ppid=24859 vsize=1549864 CPUtime=0.01 /proc/24861/task/24871/stat : 24871 (java) S 24859 24861 24172 0 -1 4202560 1222 0 0 0 1 0 0 0 15 0 19 0 165972211 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24872] ppid=24859 vsize=1549864 CPUtime=0 /proc/24861/task/24872/stat : 24872 (java) S 24859 24861 24172 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 165972211 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446604453947449472 0 0 -1 6 0 0 0 [pid=24861/tid=24873] ppid=24859 vsize=1549864 CPUtime=0 /proc/24861/task/24873/stat : 24873 (java) S 24859 24861 24172 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 165972212 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24874] ppid=24859 vsize=1549864 CPUtime=0 /proc/24861/task/24874/stat : 24874 (java) S 24859 24861 24172 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165972212 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24875] ppid=24859 vsize=1549864 CPUtime=0 /proc/24861/task/24875/stat : 24875 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165972214 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24876] ppid=24859 vsize=1549864 CPUtime=1.09 /proc/24861/task/24876/stat : 24876 (java) S 24859 24861 24172 0 -1 4202560 5425 0 0 0 108 1 0 0 15 0 19 0 165972214 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24877] ppid=24859 vsize=1549864 CPUtime=1.11 /proc/24861/task/24877/stat : 24877 (java) S 24859 24861 24172 0 -1 4202560 8636 0 0 0 110 1 0 0 15 0 19 0 165972214 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24878] ppid=24859 vsize=1549864 CPUtime=0 /proc/24861/task/24878/stat : 24878 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165972214 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24879] ppid=24859 vsize=1549864 CPUtime=0 /proc/24861/task/24879/stat : 24879 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 165972214 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24880] ppid=24859 vsize=1549864 CPUtime=0 /proc/24861/task/24880/stat : 24880 (java) S 24859 24861 24172 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 165972244 1587060736 49698 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.59 Current children cumulated vsize (KiB) 1549864 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24880 /proc/meminfo: memFree=31133472/32950928 swapFree=67111528/67111528 [pid=24861] ppid=24859 vsize=1549864 CPUtime=15.07 /proc/24861/stat : 24861 (java) S 24859 24861 24172 0 -1 4202496 61102 0 1 0 1495 12 0 0 25 0 19 0 165972209 1587060736 51594 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/24861/statm: 387466 51594 1444 10 0 384768 0 [pid=24861/tid=24863] ppid=24859 vsize=1549864 CPUtime=12.58 /proc/24861/task/24863/stat : 24863 (java) R 24859 24861 24172 0 -1 4202560 36614 0 1 0 1254 4 0 0 25 0 19 0 165972210 1587060736 51594 4089446400 134512640 134550932 4289211936 18446744073709551615 4109382421 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=24861/tid=24864] ppid=24859 vsize=1549864 CPUtime=0.01 /proc/24861/task/24864/stat : 24864 (java) S 24859 24861 24172 0 -1 4202560 1178 0 0 0 1 0 0 0 15 0 19 0 165972211 1587060736 51594 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 ################ # More data... # ################ [pid=24861/tid=24869] ppid=24859 vsize=1552936 CPUtime=13.51 /proc/24861/task/24869/stat : 24869 (java) S 24859 24861 24172 0 -1 4202560 13273 0 0 0 1149 202 0 0 16 0 19 0 165972211 1590206464 146259 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 1 0 0 0 [pid=24861/tid=24870] ppid=24859 vsize=1552936 CPUtime=13.67 /proc/24861/task/24870/stat : 24870 (java) S 24859 24861 24172 0 -1 4202560 14461 0 0 0 1164 203 0 0 15 0 19 0 165972211 1590206464 146259 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24871] ppid=24859 vsize=1552936 CPUtime=13.78 /proc/24861/task/24871/stat : 24871 (java) S 24859 24861 24172 0 -1 4202560 13384 0 0 0 1166 212 0 0 16 0 19 0 165972211 1590206464 146259 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24872] ppid=24859 vsize=1552936 CPUtime=1.85 /proc/24861/task/24872/stat : 24872 (java) S 24859 24861 24172 0 -1 4202560 224 0 0 0 96 89 0 0 15 0 19 0 165972211 1590206464 146259 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24873] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24873/stat : 24873 (java) S 24859 24861 24172 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 165972212 1590206464 146259 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24874] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24874/stat : 24874 (java) S 24859 24861 24172 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165972212 1590206464 146259 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24875] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24875/stat : 24875 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165972214 1590206464 146259 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24876] ppid=24859 vsize=1552936 CPUtime=1.15 /proc/24861/task/24876/stat : 24876 (java) S 24859 24861 24172 0 -1 4202560 5425 0 0 0 114 1 0 0 15 0 19 0 165972214 1590206464 146259 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24877] ppid=24859 vsize=1552936 CPUtime=1.12 /proc/24861/task/24877/stat : 24877 (java) S 24859 24861 24172 0 -1 4202560 8647 0 0 0 111 1 0 0 15 0 19 0 165972214 1590206464 146259 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24878] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24878/stat : 24878 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165972214 1590206464 146259 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24879] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24879/stat : 24879 (java) S 24859 24861 24172 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 165972214 1590206464 146259 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24880] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24880/stat : 24880 (java) S 24859 24861 24172 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 165972244 1590206464 146259 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1632.08 Current children cumulated vsize (KiB) 1552936 [startup+1602.3 s] /proc/loadavg: 2.04 2.16 2.09 3/197 24951 /proc/meminfo: memFree=30819060/32950928 swapFree=67111528/67111528 [pid=24861] ppid=24859 vsize=1552936 CPUtime=1697.68 /proc/24861/stat : 24861 (java) S 24859 24861 24172 0 -1 4202496 170367 0 1 0 167996 1772 0 0 25 0 19 0 165972209 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/24861/statm: 388234 152972 1450 10 0 385536 0 [pid=24861/tid=24863] ppid=24859 vsize=1552936 CPUtime=1578.89 /proc/24861/task/24863/stat : 24863 (java) R 24859 24861 24172 0 -1 4202560 40109 0 1 0 157873 16 0 0 25 0 19 0 165972210 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4109390471 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=24861/tid=24864] ppid=24859 vsize=1552936 CPUtime=14.14 /proc/24861/task/24864/stat : 24864 (java) S 24859 24861 24172 0 -1 4202560 13983 0 0 0 1216 198 0 0 16 0 19 0 165972211 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24865] ppid=24859 vsize=1552936 CPUtime=14.03 /proc/24861/task/24865/stat : 24865 (java) S 24859 24861 24172 0 -1 4202560 14834 0 0 0 1223 180 0 0 16 0 19 0 165972211 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24866] ppid=24859 vsize=1552936 CPUtime=14.29 /proc/24861/task/24866/stat : 24866 (java) S 24859 24861 24172 0 -1 4202560 13911 0 0 0 1210 219 0 0 16 0 19 0 165972211 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 6 0 0 0 [pid=24861/tid=24867] ppid=24859 vsize=1552936 CPUtime=14.63 /proc/24861/task/24867/stat : 24867 (java) S 24859 24861 24172 0 -1 4202560 14067 0 0 0 1237 226 0 0 15 0 19 0 165972211 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 1 0 0 0 [pid=24861/tid=24868] ppid=24859 vsize=1552936 CPUtime=13.86 /proc/24861/task/24868/stat : 24868 (java) S 24859 24861 24172 0 -1 4202560 14132 0 0 0 1216 170 0 0 15 0 19 0 165972211 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 6 0 0 0 [pid=24861/tid=24869] ppid=24859 vsize=1552936 CPUtime=14.41 /proc/24861/task/24869/stat : 24869 (java) S 24859 24861 24172 0 -1 4202560 14053 0 0 0 1219 222 0 0 16 0 19 0 165972211 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 7 0 0 0 [pid=24861/tid=24870] ppid=24859 vsize=1552936 CPUtime=14.5 /proc/24861/task/24870/stat : 24870 (java) S 24859 24861 24172 0 -1 4202560 15346 0 0 0 1232 218 0 0 16 0 19 0 165972211 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24871] ppid=24859 vsize=1552936 CPUtime=14.64 /proc/24861/task/24871/stat : 24871 (java) S 24859 24861 24172 0 -1 4202560 14478 0 0 0 1241 223 0 0 16 0 19 0 165972211 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24872] ppid=24859 vsize=1552936 CPUtime=1.91 /proc/24861/task/24872/stat : 24872 (java) S 24859 24861 24172 0 -1 4202560 229 0 0 0 98 93 0 0 15 0 19 0 165972211 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24873] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24873/stat : 24873 (java) S 24859 24861 24172 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 165972212 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24874] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24874/stat : 24874 (java) S 24859 24861 24172 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165972212 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24875] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24875/stat : 24875 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165972214 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24876] ppid=24859 vsize=1552936 CPUtime=1.15 /proc/24861/task/24876/stat : 24876 (java) S 24859 24861 24172 0 -1 4202560 5425 0 0 0 114 1 0 0 15 0 19 0 165972214 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24877] ppid=24859 vsize=1552936 CPUtime=1.12 /proc/24861/task/24877/stat : 24877 (java) S 24859 24861 24172 0 -1 4202560 8647 0 0 0 111 1 0 0 15 0 19 0 165972214 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24878] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24878/stat : 24878 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165972214 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24879] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24879/stat : 24879 (java) S 24859 24861 24172 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 165972214 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 1 0 0 0 [pid=24861/tid=24880] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24880/stat : 24880 (java) S 24859 24861 24172 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 165972244 1590206464 152972 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1697.68 Current children cumulated vsize (KiB) 1552936 [startup+1662.3 s] /proc/loadavg: 2.01 2.12 2.08 3/197 24952 /proc/meminfo: memFree=30803636/32950928 swapFree=67111528/67111528 [pid=24861] ppid=24859 vsize=1552936 CPUtime=1763.07 /proc/24861/stat : 24861 (java) S 24859 24861 24172 0 -1 4202496 174216 0 1 0 174396 1911 0 0 25 0 19 0 165972209 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/24861/statm: 388234 156672 1450 10 0 385536 0 [pid=24861/tid=24863] ppid=24859 vsize=1552936 CPUtime=1637.69 /proc/24861/task/24863/stat : 24863 (java) R 24859 24861 24172 0 -1 4202560 40212 0 1 0 163753 16 0 0 25 0 19 0 165972210 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4109462640 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=24861/tid=24864] ppid=24859 vsize=1552936 CPUtime=14.97 /proc/24861/task/24864/stat : 24864 (java) S 24859 24861 24172 0 -1 4202560 14360 0 0 0 1275 222 0 0 16 0 19 0 165972211 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24865] ppid=24859 vsize=1552936 CPUtime=14.83 /proc/24861/task/24865/stat : 24865 (java) S 24859 24861 24172 0 -1 4202560 15409 0 0 0 1285 198 0 0 16 0 19 0 165972211 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 7 0 0 0 [pid=24861/tid=24866] ppid=24859 vsize=1552936 CPUtime=15.06 /proc/24861/task/24866/stat : 24866 (java) S 24859 24861 24172 0 -1 4202560 14384 0 0 0 1272 234 0 0 15 0 19 0 165972211 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24867] ppid=24859 vsize=1552936 CPUtime=15.47 /proc/24861/task/24867/stat : 24867 (java) S 24859 24861 24172 0 -1 4202560 14482 0 0 0 1303 244 0 0 16 0 19 0 165972211 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 6 0 0 0 [pid=24861/tid=24868] ppid=24859 vsize=1552936 CPUtime=14.71 /proc/24861/task/24868/stat : 24868 (java) S 24859 24861 24172 0 -1 4202560 14803 0 0 0 1289 182 0 0 16 0 19 0 165972211 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24869] ppid=24859 vsize=1552936 CPUtime=15.24 /proc/24861/task/24869/stat : 24869 (java) S 24859 24861 24172 0 -1 4202560 14421 0 0 0 1278 246 0 0 16 0 19 0 165972211 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24870] ppid=24859 vsize=1552936 CPUtime=15.32 /proc/24861/task/24870/stat : 24870 (java) S 24859 24861 24172 0 -1 4202560 15714 0 0 0 1302 230 0 0 16 0 19 0 165972211 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 1 0 0 0 [pid=24861/tid=24871] ppid=24859 vsize=1552936 CPUtime=15.46 /proc/24861/task/24871/stat : 24871 (java) S 24859 24861 24172 0 -1 4202560 14969 0 0 0 1310 236 0 0 16 0 19 0 165972211 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24872] ppid=24859 vsize=1552936 CPUtime=1.95 /proc/24861/task/24872/stat : 24872 (java) S 24859 24861 24172 0 -1 4202560 233 0 0 0 99 96 0 0 15 0 19 0 165972211 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24873] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24873/stat : 24873 (java) S 24859 24861 24172 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 165972212 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24874] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24874/stat : 24874 (java) S 24859 24861 24172 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165972212 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24875] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24875/stat : 24875 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165972214 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24876] ppid=24859 vsize=1552936 CPUtime=1.15 /proc/24861/task/24876/stat : 24876 (java) S 24859 24861 24172 0 -1 4202560 5425 0 0 0 114 1 0 0 15 0 19 0 165972214 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24877] ppid=24859 vsize=1552936 CPUtime=1.12 /proc/24861/task/24877/stat : 24877 (java) S 24859 24861 24172 0 -1 4202560 8647 0 0 0 111 1 0 0 15 0 19 0 165972214 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24878] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24878/stat : 24878 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165972214 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24879] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24879/stat : 24879 (java) S 24859 24861 24172 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 165972214 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 7 0 0 0 [pid=24861/tid=24880] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24880/stat : 24880 (java) S 24859 24861 24172 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 165972244 1590206464 156672 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1763.07 Current children cumulated vsize (KiB) 1552936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1696.6 s] /proc/loadavg: 2.01 2.11 2.08 3/197 24953 /proc/meminfo: memFree=30799280/32950928 swapFree=67111528/67111528 [pid=24861] ppid=24859 vsize=1552936 CPUtime=1800.04 /proc/24861/stat : 24861 (java) S 24859 24861 24172 0 -1 4202496 175492 0 1 0 178020 1984 0 0 25 0 19 0 165972209 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/24861/statm: 388234 157871 1450 10 0 385536 0 [pid=24861/tid=24863] ppid=24859 vsize=1552936 CPUtime=1671.39 /proc/24861/task/24863/stat : 24863 (java) R 24859 24861 24172 0 -1 4202560 40262 0 1 0 167123 16 0 0 25 0 19 0 165972210 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4109465252 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=24861/tid=24864] ppid=24859 vsize=1552936 CPUtime=15.41 /proc/24861/task/24864/stat : 24864 (java) S 24859 24861 24172 0 -1 4202560 14505 0 0 0 1307 234 0 0 16 0 19 0 165972211 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24865] ppid=24859 vsize=1552936 CPUtime=15.26 /proc/24861/task/24865/stat : 24865 (java) S 24859 24861 24172 0 -1 4202560 15631 0 0 0 1316 210 0 0 16 0 19 0 165972211 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 1 0 0 0 [pid=24861/tid=24866] ppid=24859 vsize=1552936 CPUtime=15.46 /proc/24861/task/24866/stat : 24866 (java) S 24859 24861 24172 0 -1 4202560 14541 0 0 0 1303 243 0 0 16 0 19 0 165972211 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 7 0 0 0 [pid=24861/tid=24867] ppid=24859 vsize=1552936 CPUtime=15.84 /proc/24861/task/24867/stat : 24867 (java) S 24859 24861 24172 0 -1 4202560 14718 0 0 0 1333 251 0 0 15 0 19 0 165972211 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24868] ppid=24859 vsize=1552936 CPUtime=15.14 /proc/24861/task/24868/stat : 24868 (java) S 24859 24861 24172 0 -1 4202560 14982 0 0 0 1326 188 0 0 16 0 19 0 165972211 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24869] ppid=24859 vsize=1552936 CPUtime=15.64 /proc/24861/task/24869/stat : 24869 (java) S 24859 24861 24172 0 -1 4202560 14505 0 0 0 1310 254 0 0 16 0 19 0 165972211 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24870] ppid=24859 vsize=1552936 CPUtime=15.75 /proc/24861/task/24870/stat : 24870 (java) S 24859 24861 24172 0 -1 4202560 15814 0 0 0 1333 242 0 0 16 0 19 0 165972211 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24871] ppid=24859 vsize=1552936 CPUtime=15.81 /proc/24861/task/24871/stat : 24871 (java) S 24859 24861 24172 0 -1 4202560 15068 0 0 0 1339 242 0 0 16 0 19 0 165972211 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 6 0 0 0 [pid=24861/tid=24872] ppid=24859 vsize=1552936 CPUtime=1.96 /proc/24861/task/24872/stat : 24872 (java) S 24859 24861 24172 0 -1 4202560 235 0 0 0 99 97 0 0 15 0 19 0 165972211 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 0 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24873] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24873/stat : 24873 (java) S 24859 24861 24172 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 165972212 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24874] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24874/stat : 24874 (java) S 24859 24861 24172 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 165972212 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 0 0 0 0 [pid=24861/tid=24875] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24875/stat : 24875 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165972214 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24876] ppid=24859 vsize=1552936 CPUtime=1.15 /proc/24861/task/24876/stat : 24876 (java) S 24859 24861 24172 0 -1 4202560 5425 0 0 0 114 1 0 0 15 0 19 0 165972214 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 3 0 0 0 [pid=24861/tid=24877] ppid=24859 vsize=1552936 CPUtime=1.12 /proc/24861/task/24877/stat : 24877 (java) S 24859 24861 24172 0 -1 4202560 8647 0 0 0 111 1 0 0 15 0 19 0 165972214 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 4 0 0 0 [pid=24861/tid=24878] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24878/stat : 24878 (java) S 24859 24861 24172 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 165972214 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 2 0 0 0 [pid=24861/tid=24879] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24879/stat : 24879 (java) S 24859 24861 24172 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 165972214 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 7 0 0 0 [pid=24861/tid=24880] ppid=24859 vsize=1552936 CPUtime=0 /proc/24861/task/24880/stat : 24880 (java) S 24859 24861 24172 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 165972244 1590206464 157871 4089446400 134512640 134550932 4289211936 18446744073709551615 4294960144 0 4 0 16800975 18446604453947449472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1552936 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): 1696.7 CPU time (s): 1800.17 CPU user time (s): 1780.3 CPU system time (s): 19.874 CPU usage (%): 106.099 Max. virtual memory (cumulated for all children) (KiB): 1553452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.3 system time used= 19.874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 175514 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= 144032 involuntary context switches= 5317415 runsolver used 2.82057 second user time and 6.43402 second system time The end
Begin job on node114 at 2010-06-30 15:14:51 IDJOB=2692149 IDBENCH=78913 IDSOLVER=1203 FILE ID=node114/2692149-1277903691 PBS_JOBID= 11197192 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.1900552423--soft-33-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-2692149-1277903691/watcher-2692149-1277903691 -o /tmp/evaluation-result-2692149-1277903691/solver-2692149-1277903691 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692149-1277903691.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c3adda683c0d048bf44386b3ccfc9e41 RANDOM SEED=833378089 node114.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.819 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.819 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.819 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.819 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.67 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.819 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.819 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.819 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.83 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.819 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 : 5447.01 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31335608 kB Buffers: 186080 kB Cached: 1121392 kB SwapCached: 0 kB Active: 576640 kB Inactive: 896904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31335608 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 404 kB Writeback: 0 kB AnonPages: 166344 kB Mapped: 16924 kB Slab: 78552 kB PageTables: 5020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 316336 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 node114 at 2010-06-30 15:43:09