Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.23 | 1717.47 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo |
MD5SUM | 32bdb0ca9ee10d9e7c56deff56e319ba |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 188.053 |
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 | 1777 |
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 | 90281 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90280 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 723 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100526 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch i386 0.00/0.07 c Free memory 1393557488 0.00/0.07 c Max memory 1395916800 0.00/0.07 c Total memory 1395916800 0.00/0.07 c Number of processors 8 0.12/0.10 c Pseudo Boolean Optimization 0.12/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.12/0.10 c --- Begin Solver configuration --- 0.12/0.10 c Stops conflict analysis at the first Unique Implication Point 0.12/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c1ea29 0.12/0.10 c Learn all clauses as in MiniSAT 0.12/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.12/0.10 c No reason simplification 0.12/0.10 c Armin Biere (Picosat) restarts strategy 0.12/0.10 c Glucose learned constraints deletion strategy 0.12/0.10 c timeout=2147483s 0.12/0.10 c DB Simplification allowed=false 0.12/0.10 c --- End Solver configuration --- 0.12/0.10 c solving HOME/instance-2692117-1277901683.wbo 0.12/0.10 c reading problem ... 0.52/0.30 c ... done. Wall clock time 0.204s. 0.52/0.30 c #vars 2008 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 => 78 0.52/0.30 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 856 0.52/0.30 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1772 0.52/0.30 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.30/1.00 c SATISFIABLE 2.30/1.00 c OPTIMIZING... 2.30/1.00 c Got one! Elapsed wall clock time (in seconds):0.899 2.30/1.00 o 500 3.50/1.52 c Got one! Elapsed wall clock time (in seconds):1.422 3.50/1.52 o 463 4.36/2.19 c Got one! Elapsed wall clock time (in seconds):2.089 4.36/2.19 o 457 4.89/2.67 c Got one! Elapsed wall clock time (in seconds):2.578 4.89/2.67 o 436 6.49/4.10 c Got one! Elapsed wall clock time (in seconds):4.005 6.49/4.10 o 406 7.74/5.34 c Got one! Elapsed wall clock time (in seconds):5.243 7.74/5.34 o 386 9.28/6.87 c Got one! Elapsed wall clock time (in seconds):6.774 9.28/6.87 o 385 11.91/9.43 c Got one! Elapsed wall clock time (in seconds):9.333 11.91/9.43 o 372 14.44/11.99 c Got one! Elapsed wall clock time (in seconds):11.891 14.44/11.99 o 353 20.40/17.90 c Got one! Elapsed wall clock time (in seconds):17.799 20.40/17.90 o 328 26.12/23.43 c Got one! Elapsed wall clock time (in seconds):23.332 26.12/23.43 o 321 39.99/37.15 c Got one! Elapsed wall clock time (in seconds):37.053 39.99/37.15 o 301 63.94/60.78 c cleaning 0 clauses out of 5000 with flag 0/5000 75.63/72.23 c Got one! Elapsed wall clock time (in seconds):72.134 75.63/72.23 o 270 150.21/145.40 c Got one! Elapsed wall clock time (in seconds):145.303 150.21/145.40 o 262 244.57/237.37 c Got one! Elapsed wall clock time (in seconds):237.27 244.57/237.37 o 245 339.25/329.41 c Got one! Elapsed wall clock time (in seconds):329.318 339.25/329.41 o 244 356.95/346.66 c Got one! Elapsed wall clock time (in seconds):346.564 356.95/346.66 o 230 420.45/408.47 c cleaning 0 clauses out of 11003 with flag 0/11003 1018.25/982.16 c Got one! Elapsed wall clock time (in seconds):982.065 1018.25/982.16 o 189 1266.13/1215.57 c Got one! Elapsed wall clock time (in seconds):1215.475 1266.13/1215.57 o 169 1421.20/1362.08 c Got one! Elapsed wall clock time (in seconds):1361.988 1421.20/1362.08 o 124 1495.54/1432.58 c cleaning 0 clauses out of 18002 with flag 0/18002 1800.08/1717.42 c starts : 64 1800.08/1717.42 c conflicts : 19590 1800.08/1717.42 c decisions : 99062 1800.08/1717.42 c propagations : 1654594 1800.08/1717.42 c inspects : 1480234708 1800.08/1717.42 c learnt literals : 0 1800.08/1717.42 c learnt binary clauses : 0 1800.08/1717.42 c learnt ternary clauses : 0 1800.08/1717.42 c learnt clauses : 19589 1800.08/1717.42 c ignored clauses : 0 1800.08/1717.42 c root simplifications : 0 1800.08/1717.42 c removed literals (reason simplification) : 0 1800.08/1717.42 c reason swapping (by a shorter reason) : 0 1800.08/1717.42 c Calls to reduceDB : 3 1800.08/1717.42 c number of reductions to clauses (during analyze) : 0 1800.08/1717.42 c number of learned constraints concerned by reduction : 0 1800.08/1717.42 c number of learning phase by resolution : 0 1800.08/1717.42 c number of learning phase by cutting planes : 0 1800.08/1717.42 c speed (assignments/second) : 4656.486487247102 1800.08/1717.42 c non guided choices 2209 1800.08/1717.43 c learnt constraints type 1800.08/1717.43 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 8 1800.08/1717.43 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 5 1800.08/1717.43 c org.sat4j.pb.constraints.pb.MaxWatchPb => 19576 1800.08/1717.43 c constraints type 1800.08/1717.43 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 78 1800.08/1717.43 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 856 1800.08/1717.43 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1772 1800.08/1717.43 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.08/1717.43 s SATISFIABLE 1800.08/1717.43 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.08/1717.43 c objective function=124 1800.08/1717.43 c Total wall clock time (in seconds): 1717.339
OK 124
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692117-1277901683/watcher-2692117-1277901683 -o /tmp/evaluation-result-2692117-1277901683/solver-2692117-1277901683 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692117-1277901683.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.71 2.72 2.46 4/199 13455 /proc/meminfo: memFree=30822316/32951124 swapFree=67111528/67111528 [pid=13455] ppid=13453 vsize=13164 CPUtime=0 /proc/13455/stat : 13455 (java) R 13453 13455 12504 0 -1 4194304 867 0 0 0 0 0 0 0 17 0 1 0 131464272 13479936 392 4089446400 134512640 134550932 4290033120 18446744073709551615 11994757 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13455/statm: 3291 403 143 10 0 1121 0 [startup+0.079527 s] /proc/loadavg: 2.71 2.72 2.46 4/199 13455 /proc/meminfo: memFree=30822316/32951124 swapFree=67111528/67111528 [pid=13455] ppid=13453 vsize=1529580 CPUtime=0.08 /proc/13455/stat : 13455 (java) S 13453 13455 12504 0 -1 4202496 4932 0 1 0 7 1 0 0 17 0 18 0 131464272 1566289920 4370 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13455/statm: 382395 4371 1325 10 0 379697 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1529580 [startup+0.100532 s] /proc/loadavg: 2.71 2.72 2.46 4/199 13455 /proc/meminfo: memFree=30822316/32951124 swapFree=67111528/67111528 [pid=13455] ppid=13453 vsize=1529716 CPUtime=0.12 /proc/13455/stat : 13455 (java) S 13453 13455 12504 0 -1 4202496 5218 0 1 0 11 1 0 0 17 0 18 0 131464272 1566429184 4656 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13455/statm: 382429 4656 1347 10 0 379731 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 1529716 [startup+0.300486 s] /proc/loadavg: 2.71 2.72 2.46 4/199 13455 /proc/meminfo: memFree=30822316/32951124 swapFree=67111528/67111528 [pid=13455] ppid=13453 vsize=1531656 CPUtime=0.52 /proc/13455/stat : 13455 (java) S 13453 13455 12504 0 -1 4202496 7519 0 1 0 50 2 0 0 17 0 18 0 131464272 1568415744 6898 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13455/statm: 382914 6900 1411 10 0 380216 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 1531656 [startup+0.700423 s] /proc/loadavg: 2.71 2.72 2.46 4/199 13455 /proc/meminfo: memFree=30822316/32951124 swapFree=67111528/67111528 [pid=13455] ppid=13453 vsize=1551880 CPUtime=1.71 /proc/13455/stat : 13455 (java) S 13453 13455 12504 0 -1 4202496 20098 0 1 0 167 4 0 0 17 0 19 0 131464272 1589125120 15660 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13455/statm: 387970 15661 1420 10 0 385272 0 Current children cumulated CPU time (s) 1.71 Current children cumulated vsize (KiB) 1551880 [startup+1.50128 s] /proc/loadavg: 2.81 2.74 2.47 6/218 13474 /proc/meminfo: memFree=30731408/32951124 swapFree=67111528/67111528 [pid=13455] ppid=13453 vsize=1552220 CPUtime=3.5 /proc/13455/stat : 13455 (java) S 13453 13455 12504 0 -1 4202496 47305 0 1 0 344 6 0 0 17 0 19 0 131464272 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13455/statm: 388055 39461 1444 10 0 385357 0 [pid=13455/tid=13457] ppid=13453 vsize=1552220 CPUtime=1.47 /proc/13455/task/13457/stat : 13457 (java) R 13453 13455 12504 0 -1 4202560 32082 0 1 0 144 3 0 0 18 0 19 0 131464273 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4109726384 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=13455/tid=13458] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13458/stat : 13458 (java) S 13453 13455 12504 0 -1 4202560 190 0 0 0 0 0 0 0 18 0 19 0 131464273 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13459] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13459/stat : 13459 (java) S 13453 13455 12504 0 -1 4202560 223 0 0 0 0 0 0 0 18 0 19 0 131464273 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 7 0 0 0 [pid=13455/tid=13460] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13460/stat : 13460 (java) S 13453 13455 12504 0 -1 4202560 134 0 0 0 0 0 0 0 18 0 19 0 131464273 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 [pid=13455/tid=13461] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13461/stat : 13461 (java) S 13453 13455 12504 0 -1 4202560 74 0 0 0 0 0 0 0 18 0 19 0 131464273 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 2 0 0 0 [pid=13455/tid=13462] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13462/stat : 13462 (java) S 13453 13455 12504 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 131464273 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13463] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13463/stat : 13463 (java) S 13453 13455 12504 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 131464273 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13464] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13464/stat : 13464 (java) S 13453 13455 12504 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 131464273 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13465] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13465/stat : 13465 (java) S 13453 13455 12504 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 131464273 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13466] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13466/stat : 13466 (java) S 13453 13455 12504 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 131464274 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 [pid=13455/tid=13467] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13467/stat : 13467 (java) S 13453 13455 12504 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131464274 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13468] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13468/stat : 13468 (java) S 13453 13455 12504 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131464274 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13469] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13469/stat : 13469 (java) S 13453 13455 12504 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 131464277 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13470] ppid=13453 vsize=1552220 CPUtime=1.04 /proc/13455/task/13470/stat : 13470 (java) R 13453 13455 12504 0 -1 4202560 7376 0 0 0 102 2 0 0 15 0 19 0 131464277 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 104163168 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13455/tid=13471] ppid=13453 vsize=1552220 CPUtime=0.96 /proc/13455/task/13471/stat : 13471 (java) R 13453 13455 12504 0 -1 4202560 6148 0 0 0 96 0 0 0 16 0 19 0 131464277 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 105600751 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13455/tid=13472] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13472/stat : 13472 (java) S 13453 13455 12504 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 131464277 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13473] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13473/stat : 13473 (java) S 13453 13455 12504 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 131464277 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 7 0 0 0 [pid=13455/tid=13474] ppid=13453 vsize=1552220 CPUtime=0 /proc/13455/task/13474/stat : 13474 (java) S 13453 13455 12504 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131464307 1589473280 39461 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.5 Current children cumulated vsize (KiB) 1552220 [startup+3.10099 s] /proc/loadavg: 2.81 2.74 2.47 4/218 13474 /proc/meminfo: memFree=30667052/32951124 swapFree=67111528/67111528 [pid=13455] ppid=13453 vsize=1549888 CPUtime=5.45 /proc/13455/stat : 13455 (java) S 13453 13455 12504 0 -1 4202496 50962 0 1 0 538 7 0 0 17 0 19 0 131464272 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13455/statm: 387472 42322 1444 10 0 384774 0 [pid=13455/tid=13457] ppid=13453 vsize=1549888 CPUtime=3.04 /proc/13455/task/13457/stat : 13457 (java) R 13453 13455 12504 0 -1 4202560 32087 0 1 0 301 3 0 0 21 0 19 0 131464273 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4109813009 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=13455/tid=13458] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13458/stat : 13458 (java) S 13453 13455 12504 0 -1 4202560 535 0 0 0 0 0 0 0 15 0 19 0 131464273 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13459] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13459/stat : 13459 (java) S 13453 13455 12504 0 -1 4202560 552 0 0 0 0 0 0 0 15 0 19 0 131464273 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13460] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13460/stat : 13460 (java) S 13453 13455 12504 0 -1 4202560 252 0 0 0 0 0 0 0 15 0 19 0 131464273 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13461] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13461/stat : 13461 (java) S 13453 13455 12504 0 -1 4202560 485 0 0 0 0 0 0 0 15 0 19 0 131464273 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13462] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13462/stat : 13462 (java) S 13453 13455 12504 0 -1 4202560 624 0 0 0 0 0 0 0 15 0 19 0 131464273 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13463] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13463/stat : 13463 (java) S 13453 13455 12504 0 -1 4202560 655 0 0 0 0 0 0 0 15 0 19 0 131464273 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 7 0 0 0 [pid=13455/tid=13464] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13464/stat : 13464 (java) S 13453 13455 12504 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 131464273 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13465] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13465/stat : 13465 (java) S 13453 13455 12504 0 -1 4202560 676 0 0 0 0 0 0 0 15 0 19 0 131464273 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 [pid=13455/tid=13466] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13466/stat : 13466 (java) S 13453 13455 12504 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 131464274 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446604454224145472 0 0 -1 7 0 0 0 [pid=13455/tid=13467] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13467/stat : 13467 (java) S 13453 13455 12504 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131464274 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13468] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13468/stat : 13468 (java) S 13453 13455 12504 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131464274 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13469] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13469/stat : 13469 (java) S 13453 13455 12504 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 131464277 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13470] ppid=13453 vsize=1549888 CPUtime=1.18 /proc/13455/task/13470/stat : 13470 (java) S 13453 13455 12504 0 -1 4202560 7508 0 0 0 116 2 0 0 15 0 19 0 131464277 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13471] ppid=13453 vsize=1549888 CPUtime=1.14 /proc/13455/task/13471/stat : 13471 (java) S 13453 13455 12504 0 -1 4202560 6383 0 0 0 114 0 0 0 15 0 19 0 131464277 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 4 0 0 0 [pid=13455/tid=13472] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13472/stat : 13472 (java) S 13453 13455 12504 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 131464277 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13473] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13473/stat : 13473 (java) S 13453 13455 12504 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 131464277 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 7 0 0 0 [pid=13455/tid=13474] ppid=13453 vsize=1549888 CPUtime=0 /proc/13455/task/13474/stat : 13474 (java) S 13453 13455 12504 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131464307 1587085312 42322 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.45 Current children cumulated vsize (KiB) 1549888 [startup+6.30143 s] /proc/loadavg: 2.81 2.74 2.47 3/218 13474 /proc/meminfo: memFree=30630840/32951124 swapFree=67111528/67111528 [pid=13455] ppid=13453 vsize=1548688 CPUtime=8.77 /proc/13455/stat : 13455 (java) S 13453 13455 12504 0 -1 4202496 58773 0 1 0 867 10 0 0 17 0 19 0 131464272 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13455/statm: 387172 49493 1444 10 0 384474 0 [pid=13455/tid=13457] ppid=13453 vsize=1548688 CPUtime=6.21 /proc/13455/task/13457/stat : 13457 (java) R 13453 13455 12504 0 -1 4202560 35853 0 1 0 617 4 0 0 25 0 19 0 131464273 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4109915550 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=13455/tid=13458] ppid=13453 vsize=1548688 CPUtime=0.01 /proc/13455/task/13458/stat : 13458 (java) S 13453 13455 12504 0 -1 4202560 811 0 0 0 1 0 0 0 15 0 19 0 131464273 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 2 0 0 0 [pid=13455/tid=13459] ppid=13453 vsize=1548688 CPUtime=0.01 /proc/13455/task/13459/stat : 13459 (java) S 13453 13455 12504 0 -1 4202560 741 0 0 0 1 0 0 0 15 0 19 0 131464273 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13460] ppid=13453 vsize=1548688 CPUtime=0.02 /proc/13455/task/13460/stat : 13460 (java) S 13453 13455 12504 0 -1 4202560 1210 0 0 0 2 0 0 0 15 0 19 0 131464273 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13461] ppid=13453 vsize=1548688 CPUtime=0.02 /proc/13455/task/13461/stat : 13461 (java) S 13453 13455 12504 0 -1 4202560 1144 0 0 0 2 0 0 0 15 0 19 0 131464273 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 4 0 0 0 [pid=13455/tid=13462] ppid=13453 vsize=1548688 CPUtime=0.01 /proc/13455/task/13462/stat : 13462 (java) S 13453 13455 12504 0 -1 4202560 1101 0 0 0 1 0 0 0 15 0 19 0 131464273 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 7 0 0 0 [pid=13455/tid=13463] ppid=13453 vsize=1548688 CPUtime=0.01 /proc/13455/task/13463/stat : 13463 (java) S 13453 13455 12504 0 -1 4202560 1026 0 0 0 1 0 0 0 15 0 19 0 131464273 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 [pid=13455/tid=13464] ppid=13453 vsize=1548688 CPUtime=0.01 /proc/13455/task/13464/stat : 13464 (java) S 13453 13455 12504 0 -1 4202560 852 0 0 0 1 0 0 0 15 0 19 0 131464273 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13465] ppid=13453 vsize=1548688 CPUtime=0.01 /proc/13455/task/13465/stat : 13465 (java) S 13453 13455 12504 0 -1 4202560 1045 0 0 0 1 0 0 0 15 0 19 0 131464273 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 [pid=13455/tid=13466] ppid=13453 vsize=1548688 CPUtime=0 /proc/13455/task/13466/stat : 13466 (java) S 13453 13455 12504 0 -1 4202560 32 0 0 0 0 0 0 0 16 0 19 0 131464274 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 [pid=13455/tid=13467] ppid=13453 vsize=1548688 CPUtime=0 /proc/13455/task/13467/stat : 13467 (java) S 13453 13455 12504 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131464274 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13468] ppid=13453 vsize=1548688 CPUtime=0 /proc/13455/task/13468/stat : 13468 (java) S 13453 13455 12504 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131464274 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13469] ppid=13453 vsize=1548688 CPUtime=0 /proc/13455/task/13469/stat : 13469 (java) S 13453 13455 12504 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 131464277 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13470] ppid=13453 vsize=1548688 CPUtime=1.2 /proc/13455/task/13470/stat : 13470 (java) S 13453 13455 12504 0 -1 4202560 7511 0 0 0 118 2 0 0 15 0 19 0 131464277 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13471] ppid=13453 vsize=1548688 CPUtime=1.15 /proc/13455/task/13471/stat : 13471 (java) S 13453 13455 12504 0 -1 4202560 6383 0 0 0 115 0 0 0 15 0 19 0 131464277 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 4 0 0 0 [pid=13455/tid=13472] ppid=13453 vsize=1548688 CPUtime=0 /proc/13455/task/13472/stat : 13472 (java) S 13453 13455 12504 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 131464277 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13473] ppid=13453 vsize=1548688 CPUtime=0 /proc/13455/task/13473/stat : 13473 (java) S 13453 13455 12504 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 131464277 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 7 0 0 0 [pid=13455/tid=13474] ppid=13453 vsize=1548688 CPUtime=0 /proc/13455/task/13474/stat : 13474 (java) S 13453 13455 12504 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131464307 1585856512 49493 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 8.77 Current children cumulated vsize (KiB) 1548688 [startup+12.7013 s] /proc/loadavg: 2.77 2.74 2.47 4/218 13474 /proc/meminfo: memFree=30621928/32951124 swapFree=67111528/67111528 [pid=13455] ppid=13453 vsize=1548688 CPUtime=15.25 /proc/13455/stat : 13455 (java) S 13453 13455 12504 0 -1 4202496 61272 0 1 0 1513 12 0 0 17 0 19 0 131464272 1585856512 51819 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13455/statm: 387172 51819 1444 10 0 384474 0 [pid=13455/tid=13457] ppid=13453 vsize=1548688 CPUtime=12.57 /proc/13455/task/13457/stat : 13457 (java) R 13453 13455 12504 0 -1 4202560 36000 0 1 0 1253 4 0 0 25 0 19 0 131464273 1585856512 51819 4089446400 134512640 134550932 4290033120 18446744073709551615 4109915652 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13455/tid=13458] ppid=13453 vsize=1548688 CPUtime=0.02 /proc/13455/task/13458/stat : 13458 (java) S 13453 13455 12504 0 -1 4202560 866 0 0 0 2 0 0 0 15 0 19 0 131464273 1585856512 51819 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 ################ # More data... # ################ [pid=13455/tid=13463] ppid=13453 vsize=1551760 CPUtime=10.2 /proc/13455/task/13463/stat : 13463 (java) S 13453 13455 12504 0 -1 4202560 10995 0 0 0 921 99 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 6 0 0 0 [pid=13455/tid=13464] ppid=13453 vsize=1551760 CPUtime=10.45 /proc/13455/task/13464/stat : 13464 (java) S 13453 13455 12504 0 -1 4202560 11162 0 0 0 925 120 0 0 15 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 2 0 0 0 [pid=13455/tid=13465] ppid=13453 vsize=1551760 CPUtime=10.06 /proc/13455/task/13465/stat : 13465 (java) S 13453 13455 12504 0 -1 4202560 10954 0 0 0 905 101 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 2 0 0 0 [pid=13455/tid=13466] ppid=13453 vsize=1551760 CPUtime=1.47 /proc/13455/task/13466/stat : 13466 (java) S 13453 13455 12504 0 -1 4202560 230 0 0 0 109 38 0 0 15 0 19 0 131464274 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13467] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13467/stat : 13467 (java) S 13453 13455 12504 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131464274 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13468] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13468/stat : 13468 (java) S 13453 13455 12504 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131464274 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13469] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13469/stat : 13469 (java) S 13453 13455 12504 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13470] ppid=13453 vsize=1551760 CPUtime=1.29 /proc/13455/task/13470/stat : 13470 (java) S 13453 13455 12504 0 -1 4202560 7512 0 0 0 127 2 0 0 15 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13471] ppid=13453 vsize=1551760 CPUtime=1.16 /proc/13455/task/13471/stat : 13471 (java) S 13453 13455 12504 0 -1 4202560 6387 0 0 0 116 0 0 0 15 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 4 0 0 0 [pid=13455/tid=13472] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13472/stat : 13472 (java) S 13453 13455 12504 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13473] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13473/stat : 13473 (java) S 13453 13455 12504 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13474] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13474/stat : 13474 (java) S 13453 13455 12504 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131464307 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1610.89 Current children cumulated vsize (KiB) 1551760 [startup+1602.3 s] /proc/loadavg: 2.00 2.16 2.41 3/215 13677 /proc/meminfo: memFree=30586708/32951124 swapFree=67111528/67111528 [pid=13455] ppid=13453 vsize=1551760 CPUtime=1676.29 /proc/13455/stat : 13455 (java) S 13453 13455 12504 0 -1 4202496 144130 0 1 0 166622 1007 0 0 17 0 19 0 131464272 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13455/statm: 387940 128797 1450 10 0 385242 0 [pid=13455/tid=13457] ppid=13453 vsize=1551760 CPUtime=1582.98 /proc/13455/task/13457/stat : 13457 (java) R 13453 13455 12504 0 -1 4202560 38580 0 1 0 158285 13 0 0 25 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4109706010 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=13455/tid=13458] ppid=13453 vsize=1551760 CPUtime=11.49 /proc/13455/task/13458/stat : 13458 (java) S 13453 13455 12504 0 -1 4202560 11838 0 0 0 1024 125 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13459] ppid=13453 vsize=1551760 CPUtime=11.18 /proc/13455/task/13459/stat : 13459 (java) S 13453 13455 12504 0 -1 4202560 11331 0 0 0 993 125 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 7 0 0 0 [pid=13455/tid=13460] ppid=13453 vsize=1551760 CPUtime=11.21 /proc/13455/task/13460/stat : 13460 (java) S 13453 13455 12504 0 -1 4202560 11620 0 0 0 1009 112 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 6 0 0 0 [pid=13455/tid=13461] ppid=13453 vsize=1551760 CPUtime=11.2 /proc/13455/task/13461/stat : 13461 (java) S 13453 13455 12504 0 -1 4202560 10848 0 0 0 1006 114 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 7 0 0 0 [pid=13455/tid=13462] ppid=13453 vsize=1551760 CPUtime=11.03 /proc/13455/task/13462/stat : 13462 (java) S 13453 13455 12504 0 -1 4202560 11516 0 0 0 993 110 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13463] ppid=13453 vsize=1551760 CPUtime=11.01 /proc/13455/task/13463/stat : 13463 (java) S 13453 13455 12504 0 -1 4202560 10995 0 0 0 989 112 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13464] ppid=13453 vsize=1551760 CPUtime=11.24 /proc/13455/task/13464/stat : 13464 (java) S 13453 13455 12504 0 -1 4202560 11162 0 0 0 992 132 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 [pid=13455/tid=13465] ppid=13453 vsize=1551760 CPUtime=10.87 /proc/13455/task/13465/stat : 13465 (java) S 13453 13455 12504 0 -1 4202560 10954 0 0 0 971 116 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 4 0 0 0 [pid=13455/tid=13466] ppid=13453 vsize=1551760 CPUtime=1.51 /proc/13455/task/13466/stat : 13466 (java) S 13453 13455 12504 0 -1 4202560 234 0 0 0 110 41 0 0 15 0 19 0 131464274 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13467] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13467/stat : 13467 (java) S 13453 13455 12504 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131464274 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13468] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13468/stat : 13468 (java) S 13453 13455 12504 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131464274 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13469] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13469/stat : 13469 (java) S 13453 13455 12504 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13470] ppid=13453 vsize=1551760 CPUtime=1.29 /proc/13455/task/13470/stat : 13470 (java) S 13453 13455 12504 0 -1 4202560 7512 0 0 0 127 2 0 0 15 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13471] ppid=13453 vsize=1551760 CPUtime=1.16 /proc/13455/task/13471/stat : 13471 (java) S 13453 13455 12504 0 -1 4202560 6387 0 0 0 116 0 0 0 15 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 4 0 0 0 [pid=13455/tid=13472] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13472/stat : 13472 (java) S 13453 13455 12504 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13473] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13473/stat : 13473 (java) S 13453 13455 12504 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13474] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13474/stat : 13474 (java) S 13453 13455 12504 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131464307 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1676.29 Current children cumulated vsize (KiB) 1551760 [startup+1662.3 s] /proc/loadavg: 2.00 2.13 2.38 3/215 13679 /proc/meminfo: memFree=30586308/32951124 swapFree=67111528/67111528 [pid=13455] ppid=13453 vsize=1551760 CPUtime=1740.89 /proc/13455/stat : 13455 (java) S 13453 13455 12504 0 -1 4202496 144227 0 1 0 172988 1101 0 0 17 0 19 0 131464272 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13455/statm: 387940 128797 1450 10 0 385242 0 [pid=13455/tid=13457] ppid=13453 vsize=1551760 CPUtime=1642.02 /proc/13455/task/13457/stat : 13457 (java) R 13453 13455 12504 0 -1 4202560 38673 0 1 0 164189 13 0 0 25 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4109722751 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13455/tid=13458] ppid=13453 vsize=1551760 CPUtime=12.09 /proc/13455/task/13458/stat : 13458 (java) S 13453 13455 12504 0 -1 4202560 11838 0 0 0 1073 136 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 [pid=13455/tid=13459] ppid=13453 vsize=1551760 CPUtime=11.9 /proc/13455/task/13459/stat : 13459 (java) S 13453 13455 12504 0 -1 4202560 11331 0 0 0 1055 135 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13460] ppid=13453 vsize=1551760 CPUtime=11.95 /proc/13455/task/13460/stat : 13460 (java) S 13453 13455 12504 0 -1 4202560 11620 0 0 0 1072 123 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13461] ppid=13453 vsize=1551760 CPUtime=11.83 /proc/13455/task/13461/stat : 13461 (java) S 13453 13455 12504 0 -1 4202560 10848 0 0 0 1060 123 0 0 15 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 7 0 0 0 [pid=13455/tid=13462] ppid=13453 vsize=1551760 CPUtime=11.75 /proc/13455/task/13462/stat : 13462 (java) S 13453 13455 12504 0 -1 4202560 11516 0 0 0 1055 120 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 4 0 0 0 [pid=13455/tid=13463] ppid=13453 vsize=1551760 CPUtime=11.71 /proc/13455/task/13463/stat : 13463 (java) S 13453 13455 12504 0 -1 4202560 10995 0 0 0 1047 124 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 7 0 0 0 [pid=13455/tid=13464] ppid=13453 vsize=1551760 CPUtime=11.92 /proc/13455/task/13464/stat : 13464 (java) S 13453 13455 12504 0 -1 4202560 11162 0 0 0 1048 144 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13465] ppid=13453 vsize=1551760 CPUtime=11.57 /proc/13455/task/13465/stat : 13465 (java) S 13453 13455 12504 0 -1 4202560 10954 0 0 0 1026 131 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 6 0 0 0 [pid=13455/tid=13466] ppid=13453 vsize=1551760 CPUtime=1.55 /proc/13455/task/13466/stat : 13466 (java) S 13453 13455 12504 0 -1 4202560 236 0 0 0 111 44 0 0 15 0 19 0 131464274 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 [pid=13455/tid=13467] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13467/stat : 13467 (java) S 13453 13455 12504 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131464274 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13468] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13468/stat : 13468 (java) S 13453 13455 12504 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131464274 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13469] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13469/stat : 13469 (java) S 13453 13455 12504 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13470] ppid=13453 vsize=1551760 CPUtime=1.29 /proc/13455/task/13470/stat : 13470 (java) S 13453 13455 12504 0 -1 4202560 7512 0 0 0 127 2 0 0 15 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13471] ppid=13453 vsize=1551760 CPUtime=1.16 /proc/13455/task/13471/stat : 13471 (java) S 13453 13455 12504 0 -1 4202560 6387 0 0 0 116 0 0 0 15 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 4 0 0 0 [pid=13455/tid=13472] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13472/stat : 13472 (java) S 13453 13455 12504 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13473] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13473/stat : 13473 (java) S 13453 13455 12504 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13474] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13474/stat : 13474 (java) S 13453 13455 12504 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131464307 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1740.89 Current children cumulated vsize (KiB) 1551760 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1717.4 s] /proc/loadavg: 2.00 2.11 2.35 3/215 13681 /proc/meminfo: memFree=30585912/32951124 swapFree=67111528/67111528 [pid=13455] ppid=13453 vsize=1551760 CPUtime=1800.08 /proc/13455/stat : 13455 (java) S 13453 13455 12504 0 -1 4202496 144314 0 1 0 178822 1186 0 0 17 0 19 0 131464272 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13455/statm: 387940 128797 1450 10 0 385242 0 [pid=13455/tid=13457] ppid=13453 vsize=1551760 CPUtime=1696.3 /proc/13455/task/13457/stat : 13457 (java) R 13453 13455 12504 0 -1 4202560 38752 0 1 0 169616 14 0 0 25 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4109952058 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=13455/tid=13458] ppid=13453 vsize=1551760 CPUtime=12.71 /proc/13455/task/13458/stat : 13458 (java) S 13453 13455 12504 0 -1 4202560 11838 0 0 0 1127 144 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13459] ppid=13453 vsize=1551760 CPUtime=12.53 /proc/13455/task/13459/stat : 13459 (java) S 13453 13455 12504 0 -1 4202560 11331 0 0 0 1110 143 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 2 0 0 0 [pid=13455/tid=13460] ppid=13453 vsize=1551760 CPUtime=12.55 /proc/13455/task/13460/stat : 13460 (java) S 13453 13455 12504 0 -1 4202560 11620 0 0 0 1123 132 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 [pid=13455/tid=13461] ppid=13453 vsize=1551760 CPUtime=12.41 /proc/13455/task/13461/stat : 13461 (java) S 13453 13455 12504 0 -1 4202560 10848 0 0 0 1109 132 0 0 15 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13462] ppid=13453 vsize=1551760 CPUtime=12.38 /proc/13455/task/13462/stat : 13462 (java) S 13453 13455 12504 0 -1 4202560 11516 0 0 0 1105 133 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 7 0 0 0 [pid=13455/tid=13463] ppid=13453 vsize=1551760 CPUtime=12.26 /proc/13455/task/13463/stat : 13463 (java) S 13453 13455 12504 0 -1 4202560 10995 0 0 0 1092 134 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13464] ppid=13453 vsize=1551760 CPUtime=12.57 /proc/13455/task/13464/stat : 13464 (java) S 13453 13455 12504 0 -1 4202560 11162 0 0 0 1102 155 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13465] ppid=13453 vsize=1551760 CPUtime=12.21 /proc/13455/task/13465/stat : 13465 (java) S 13453 13455 12504 0 -1 4202560 10954 0 0 0 1076 145 0 0 16 0 19 0 131464273 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 6 0 0 0 [pid=13455/tid=13466] ppid=13453 vsize=1551760 CPUtime=1.58 /proc/13455/task/13466/stat : 13466 (java) S 13453 13455 12504 0 -1 4202560 240 0 0 0 113 45 0 0 15 0 19 0 131464274 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 0 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13467] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13467/stat : 13467 (java) S 13453 13455 12504 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 131464274 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13468] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13468/stat : 13468 (java) S 13453 13455 12504 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 131464274 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13469] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13469/stat : 13469 (java) S 13453 13455 12504 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13470] ppid=13453 vsize=1551760 CPUtime=1.29 /proc/13455/task/13470/stat : 13470 (java) S 13453 13455 12504 0 -1 4202560 7512 0 0 0 127 2 0 0 15 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 1 0 0 0 [pid=13455/tid=13471] ppid=13453 vsize=1551760 CPUtime=1.16 /proc/13455/task/13471/stat : 13471 (java) S 13453 13455 12504 0 -1 4202560 6387 0 0 0 116 0 0 0 15 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 4 0 0 0 [pid=13455/tid=13472] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13472/stat : 13472 (java) S 13453 13455 12504 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 0 0 0 0 [pid=13455/tid=13473] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13473/stat : 13473 (java) S 13453 13455 12504 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 131464277 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 3 0 0 0 [pid=13455/tid=13474] ppid=13453 vsize=1551760 CPUtime=0 /proc/13455/task/13474/stat : 13474 (java) S 13453 13455 12504 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 131464307 1589002240 128797 4089446400 134512640 134550932 4290033120 18446744073709551615 4294960144 0 4 0 16800975 18446604454224145472 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1551760 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): 1717.47 CPU time (s): 1800.23 CPU user time (s): 1788.34 CPU system time (s): 11.8942 CPU usage (%): 104.819 Max. virtual memory (cumulated for all children) (KiB): 1552220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.34 system time used= 11.8942 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 144339 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= 116892 involuntary context switches= 3358773 runsolver used 3.39048 second user time and 6.11807 second system time The end
Begin job on node136 at 2010-06-30 14:41:23 IDJOB=2692117 IDBENCH=78893 IDSOLVER=1203 FILE ID=node136/2692117-1277901683 PBS_JOBID= 11197181 Free space on /tmp= 74140 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.1900556231--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-2692117-1277901683/watcher-2692117-1277901683 -o /tmp/evaluation-result-2692117-1277901683/solver-2692117-1277901683 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2692117-1277901683.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 32bdb0ca9ee10d9e7c56deff56e319ba RANDOM SEED=1863351294 node136.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.840 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.68 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.840 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.82 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.840 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 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.74 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.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30822828 kB Buffers: 184288 kB Cached: 1368072 kB SwapCached: 0 kB Active: 1084828 kB Inactive: 896860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30822828 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 428 kB Writeback: 0 kB AnonPages: 429636 kB Mapped: 20300 kB Slab: 81312 kB PageTables: 5976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1668140 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= 74140 MiB End job on node136 at 2010-06-30 15:10:02