Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.23 | 1670.01 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo |
MD5SUM | a22634c1977478f126d9df874c90c256 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 214.202 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 135641 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 135640 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 761 |
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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 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.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1b16e52 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2691631-1277926977.wbo 0.11/0.10 c reading problem ... 0.53/0.30 c ... done. Wall clock time 0.205s. 0.53/0.30 c #vars 2938 0.53/0.30 c #constraints 2707 0.53/0.30 c constraints type 0.53/0.30 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22 0.53/0.30 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2684 0.53/0.30 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 2.62/1.05 c SATISFIABLE 2.62/1.05 c OPTIMIZING... 2.62/1.05 c Got one! Elapsed wall clock time (in seconds):0.948 2.62/1.05 o 749 3.19/1.32 c Got one! Elapsed wall clock time (in seconds):1.222 3.19/1.32 o 743 3.83/1.85 c Got one! Elapsed wall clock time (in seconds):1.748 3.83/1.85 o 737 4.51/2.45 c Got one! Elapsed wall clock time (in seconds):2.353 4.51/2.45 o 735 5.26/3.18 c Got one! Elapsed wall clock time (in seconds):3.08 5.26/3.18 o 723 6.35/4.10 c Got one! Elapsed wall clock time (in seconds):4.004 6.35/4.10 o 722 6.87/4.66 c Got one! Elapsed wall clock time (in seconds):4.563 6.87/4.66 o 720 7.80/5.55 c Got one! Elapsed wall clock time (in seconds):5.456 7.80/5.55 o 712 9.12/6.83 c Got one! Elapsed wall clock time (in seconds):6.73 9.12/6.83 o 705 11.48/9.15 c Got one! Elapsed wall clock time (in seconds):9.051 11.48/9.15 o 689 12.19/9.83 c Got one! Elapsed wall clock time (in seconds):9.732 12.19/9.83 o 687 13.50/11.17 c Got one! Elapsed wall clock time (in seconds):11.07 13.50/11.17 o 669 18.78/16.36 c Got one! Elapsed wall clock time (in seconds):16.262 18.78/16.36 o 624 22.36/19.82 c Got one! Elapsed wall clock time (in seconds):19.727 22.36/19.82 o 607 28.15/25.56 c Got one! Elapsed wall clock time (in seconds):25.464 28.15/25.56 o 592 30.51/27.84 c Got one! Elapsed wall clock time (in seconds):27.746 30.51/27.84 o 582 33.07/30.33 c Got one! Elapsed wall clock time (in seconds):30.23 33.07/30.33 o 562 36.43/33.62 c Got one! Elapsed wall clock time (in seconds):33.524 36.43/33.62 o 561 46.17/43.17 c Got one! Elapsed wall clock time (in seconds):43.071 46.17/43.17 o 543 57.75/54.41 c Got one! Elapsed wall clock time (in seconds):54.309 57.75/54.41 o 480 72.13/68.49 c cleaning 0 clauses out of 5001 with flag 0/5001 75.73/71.96 c Got one! Elapsed wall clock time (in seconds):71.861 75.73/71.96 o 470 80.46/76.59 c Got one! Elapsed wall clock time (in seconds):76.496 80.46/76.59 o 375 84.86/80.89 c Got one! Elapsed wall clock time (in seconds):80.792 84.86/80.89 o 311 99.80/95.21 c Got one! Elapsed wall clock time (in seconds):95.111 99.80/95.21 o 257 134.41/128.49 c Got one! Elapsed wall clock time (in seconds):128.39 134.41/128.49 o 225 394.79/374.49 c Got one! Elapsed wall clock time (in seconds):374.393 394.79/374.49 o 218 463.70/440.05 c Got one! Elapsed wall clock time (in seconds):439.955 463.70/440.05 o 217 624.61/591.78 c Got one! Elapsed wall clock time (in seconds):591.682 624.61/591.78 o 207 653.18/618.42 c Got one! Elapsed wall clock time (in seconds):618.32 653.18/618.42 o 193 1028.46/964.42 c Got one! Elapsed wall clock time (in seconds):964.32 1028.46/964.42 o 192 1039.75/975.35 c cleaning 0 clauses out of 11000 with flag 0/11000 1800.10/1669.92 c starts : 65 1800.10/1669.92 c conflicts : 12489 1800.10/1669.92 c decisions : 261366 1800.10/1669.92 c propagations : 2082389 1800.10/1669.92 c inspects : 462089365 1800.10/1669.92 c learnt literals : 0 1800.10/1669.92 c learnt binary clauses : 0 1800.10/1669.92 c learnt ternary clauses : 0 1800.10/1669.92 c learnt clauses : 12488 1800.10/1669.92 c ignored clauses : 0 1800.10/1669.92 c root simplifications : 0 1800.10/1669.92 c removed literals (reason simplification) : 0 1800.10/1669.92 c reason swapping (by a shorter reason) : 0 1800.10/1669.92 c Calls to reduceDB : 2 1800.10/1669.92 c number of reductions to clauses (during analyze) : 0 1800.10/1669.92 c number of learned constraints concerned by reduction : 0 1800.10/1669.92 c number of learning phase by resolution : 0 1800.10/1669.92 c number of learning phase by cutting planes : 0 1800.10/1669.92 c speed (assignments/second) : 2951.6791803745746 1800.10/1669.92 c non guided choices 3094 1800.10/1669.93 c learnt constraints type 1800.10/1669.93 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 5 1800.10/1669.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 12483 1800.10/1669.93 c constraints type 1800.10/1669.93 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22 1800.10/1669.93 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2684 1800.10/1669.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.10/1669.93 s SATISFIABLE 1800.10/1669.93 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.10/1669.93 c objective function=192 1800.10/1669.93 c Total wall clock time (in seconds): 1669.829
OK 146
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691631-1277926977/watcher-2691631-1277926977 -o /tmp/evaluation-result-2691631-1277926977/solver-2691631-1277926977 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691631-1277926977.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.08 2.02 2.01 3/178 19562 /proc/meminfo: memFree=30304468/32951124 swapFree=67111528/67111528 [pid=19562] ppid=19560 vsize=13164 CPUtime=0 /proc/19562/stat : 19562 (java) R 19560 19562 19415 0 -1 4194304 787 0 0 0 0 0 0 0 25 0 1 0 133992783 13479936 351 4089446400 134512640 134550932 4293424384 18446744073709551615 3307141 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/19562/statm: 3291 358 143 10 0 1121 0 [startup+0.00969709 s] /proc/loadavg: 2.08 2.02 2.01 3/178 19562 /proc/meminfo: memFree=30304468/32951124 swapFree=67111528/67111528 [pid=19562] ppid=19560 vsize=13684 CPUtime=0 /proc/19562/stat : 19562 (java) S 19560 19562 19415 0 -1 4202496 1184 0 0 0 0 0 0 0 25 0 2 0 133992783 14012416 631 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/19562/statm: 3421 631 307 10 0 1206 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13684 [startup+0.101323 s] /proc/loadavg: 2.08 2.02 2.01 3/178 19562 /proc/meminfo: memFree=30304468/32951124 swapFree=67111528/67111528 [pid=19562] ppid=19560 vsize=1530044 CPUtime=0.11 /proc/19562/stat : 19562 (java) S 19560 19562 19415 0 -1 4202496 5228 0 1 0 10 1 0 0 25 0 18 0 133992783 1566765056 4665 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19562/statm: 382511 4665 1347 10 0 379813 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1530044 [startup+0.302318 s] /proc/loadavg: 2.08 2.02 2.01 3/178 19562 /proc/meminfo: memFree=30304468/32951124 swapFree=67111528/67111528 [pid=19562] ppid=19560 vsize=1532040 CPUtime=0.53 /proc/19562/stat : 19562 (java) S 19560 19562 19415 0 -1 4202496 7740 0 1 0 51 2 0 0 25 0 18 0 133992783 1568808960 7057 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19562/statm: 383010 7057 1411 10 0 380312 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 1532040 [startup+0.700221 s] /proc/loadavg: 2.08 2.02 2.01 3/178 19562 /proc/meminfo: memFree=30304468/32951124 swapFree=67111528/67111528 [pid=19562] ppid=19560 vsize=1550604 CPUtime=1.7 /proc/19562/stat : 19562 (java) S 19560 19562 19415 0 -1 4202496 19135 0 1 0 166 4 0 0 25 0 19 0 133992783 1587818496 16139 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19562/statm: 387651 16139 1420 10 0 384953 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 1550604 [startup+1.50109 s] /proc/loadavg: 2.08 2.02 2.01 5/197 19581 /proc/meminfo: memFree=30190928/32951124 swapFree=67111528/67111528 [pid=19562] ppid=19560 vsize=1551236 CPUtime=3.52 /proc/19562/stat : 19562 (java) S 19560 19562 19415 0 -1 4202496 45818 0 1 0 345 7 0 0 25 0 19 0 133992783 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19562/statm: 387809 39324 1444 10 0 385111 0 [pid=19562/tid=19564] ppid=19560 vsize=1551236 CPUtime=1.47 /proc/19562/task/19564/stat : 19564 (java) R 19560 19562 19415 0 -1 4202560 32092 0 1 0 142 5 0 0 20 0 19 0 133992784 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4109643134 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19562/tid=19565] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19565/stat : 19565 (java) S 19560 19562 19415 0 -1 4202560 330 0 0 0 0 0 0 0 18 0 19 0 133992785 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19566] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19566/stat : 19566 (java) S 19560 19562 19415 0 -1 4202560 272 0 0 0 0 0 0 0 18 0 19 0 133992785 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 0 0 0 0 [pid=19562/tid=19567] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19567/stat : 19567 (java) S 19560 19562 19415 0 -1 4202560 107 0 0 0 0 0 0 0 18 0 19 0 133992785 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19568] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19568/stat : 19568 (java) S 19560 19562 19415 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133992785 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19569] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19569/stat : 19569 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133992785 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19570] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19570/stat : 19570 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133992785 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19571] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19571/stat : 19571 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133992785 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19572] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19572/stat : 19572 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133992785 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19573] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19573/stat : 19573 (java) S 19560 19562 19415 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 133992786 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19574] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19574/stat : 19574 (java) S 19560 19562 19415 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 133992786 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19575] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19575/stat : 19575 (java) S 19560 19562 19415 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133992786 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19576] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19576/stat : 19576 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133992788 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19577] ppid=19560 vsize=1551236 CPUtime=0.9 /proc/19562/task/19577/stat : 19577 (java) S 19560 19562 19415 0 -1 4202560 5654 0 0 0 90 0 0 0 15 0 19 0 133992788 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 6 0 0 0 [pid=19562/tid=19578] ppid=19560 vsize=1551236 CPUtime=1.11 /proc/19562/task/19578/stat : 19578 (java) S 19560 19562 19415 0 -1 4202560 6282 0 0 0 110 1 0 0 16 0 19 0 133992788 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 5 0 0 0 [pid=19562/tid=19579] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19579/stat : 19579 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133992788 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19580] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19580/stat : 19580 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133992788 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19581] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19581/stat : 19581 (java) S 19560 19562 19415 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133992821 1588465664 39324 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.52 Current children cumulated vsize (KiB) 1551236 [startup+3.10082 s] /proc/loadavg: 2.08 2.02 2.01 3/197 19581 /proc/meminfo: memFree=30145792/32951124 swapFree=67111528/67111528 [pid=19562] ppid=19560 vsize=1551236 CPUtime=5.26 /proc/19562/stat : 19562 (java) S 19560 19562 19415 0 -1 4202496 50127 0 1 0 518 8 0 0 25 0 19 0 133992783 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19562/statm: 387809 43622 1444 10 0 385111 0 [pid=19562/tid=19564] ppid=19560 vsize=1551236 CPUtime=3.05 /proc/19562/task/19564/stat : 19564 (java) R 19560 19562 19415 0 -1 4202560 32097 0 1 0 300 5 0 0 25 0 19 0 133992784 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4109651079 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19562/tid=19565] ppid=19560 vsize=1551236 CPUtime=0.01 /proc/19562/task/19565/stat : 19565 (java) S 19560 19562 19415 0 -1 4202560 553 0 0 0 1 0 0 0 15 0 19 0 133992785 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19566] ppid=19560 vsize=1551236 CPUtime=0.01 /proc/19562/task/19566/stat : 19566 (java) S 19560 19562 19415 0 -1 4202560 1134 0 0 0 1 0 0 0 16 0 19 0 133992785 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19567] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19567/stat : 19567 (java) S 19560 19562 19415 0 -1 4202560 798 0 0 0 0 0 0 0 16 0 19 0 133992785 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 1 0 0 0 [pid=19562/tid=19568] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19568/stat : 19568 (java) S 19560 19562 19415 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 19 0 133992785 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 6 0 0 0 [pid=19562/tid=19569] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19569/stat : 19569 (java) S 19560 19562 19415 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 19 0 133992785 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19570] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19570/stat : 19570 (java) S 19560 19562 19415 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 19 0 133992785 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 3 0 0 0 [pid=19562/tid=19571] ppid=19560 vsize=1551236 CPUtime=0.01 /proc/19562/task/19571/stat : 19571 (java) S 19560 19562 19415 0 -1 4202560 960 0 0 0 1 0 0 0 15 0 19 0 133992785 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 0 0 0 0 [pid=19562/tid=19572] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19572/stat : 19572 (java) S 19560 19562 19415 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 19 0 133992785 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 6 0 0 0 [pid=19562/tid=19573] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19573/stat : 19573 (java) S 19560 19562 19415 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 133992786 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19574] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19574/stat : 19574 (java) S 19560 19562 19415 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 133992786 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19575] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19575/stat : 19575 (java) S 19560 19562 19415 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133992786 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19576] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19576/stat : 19576 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133992788 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19577] ppid=19560 vsize=1551236 CPUtime=0.91 /proc/19562/task/19577/stat : 19577 (java) S 19560 19562 19415 0 -1 4202560 5654 0 0 0 91 0 0 0 15 0 19 0 133992788 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 6 0 0 0 [pid=19562/tid=19578] ppid=19560 vsize=1551236 CPUtime=1.19 /proc/19562/task/19578/stat : 19578 (java) S 19560 19562 19415 0 -1 4202560 6290 0 0 0 118 1 0 0 15 0 19 0 133992788 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 5 0 0 0 [pid=19562/tid=19579] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19579/stat : 19579 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133992788 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19580] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19580/stat : 19580 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133992788 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19581] ppid=19560 vsize=1551236 CPUtime=0 /proc/19562/task/19581/stat : 19581 (java) S 19560 19562 19415 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133992821 1588465664 43622 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.26 Current children cumulated vsize (KiB) 1551236 [startup+6.30122 s] /proc/loadavg: 2.07 2.02 2.00 3/197 19581 /proc/meminfo: memFree=30108960/32951124 swapFree=67111528/67111528 [pid=19562] ppid=19560 vsize=1550212 CPUtime=8.61 /proc/19562/stat : 19562 (java) S 19560 19562 19415 0 -1 4202496 57761 0 1 0 851 10 0 0 25 0 19 0 133992783 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19562/statm: 387553 50601 1444 10 0 384855 0 [pid=19562/tid=19564] ppid=19560 vsize=1550212 CPUtime=6.23 /proc/19562/task/19564/stat : 19564 (java) R 19560 19562 19415 0 -1 4202560 35226 0 1 0 617 6 0 0 25 0 19 0 133992784 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4109661818 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19562/tid=19565] ppid=19560 vsize=1550212 CPUtime=0.02 /proc/19562/task/19565/stat : 19565 (java) S 19560 19562 19415 0 -1 4202560 1179 0 0 0 2 0 0 0 15 0 19 0 133992785 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 6 0 0 0 [pid=19562/tid=19566] ppid=19560 vsize=1550212 CPUtime=0.03 /proc/19562/task/19566/stat : 19566 (java) S 19560 19562 19415 0 -1 4202560 1649 0 0 0 3 0 0 0 15 0 19 0 133992785 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 0 0 0 0 [pid=19562/tid=19567] ppid=19560 vsize=1550212 CPUtime=0.02 /proc/19562/task/19567/stat : 19567 (java) S 19560 19562 19415 0 -1 4202560 1457 0 0 0 2 0 0 0 15 0 19 0 133992785 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 1 0 0 0 [pid=19562/tid=19568] ppid=19560 vsize=1550212 CPUtime=0.02 /proc/19562/task/19568/stat : 19568 (java) S 19560 19562 19415 0 -1 4202560 882 0 0 0 2 0 0 0 15 0 19 0 133992785 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 6 0 0 0 [pid=19562/tid=19569] ppid=19560 vsize=1550212 CPUtime=0.01 /proc/19562/task/19569/stat : 19569 (java) S 19560 19562 19415 0 -1 4202560 416 0 0 0 1 0 0 0 15 0 19 0 133992785 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19570] ppid=19560 vsize=1550212 CPUtime=0.02 /proc/19562/task/19570/stat : 19570 (java) S 19560 19562 19415 0 -1 4202560 1078 0 0 0 2 0 0 0 16 0 19 0 133992785 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 3 0 0 0 [pid=19562/tid=19571] ppid=19560 vsize=1550212 CPUtime=0.02 /proc/19562/task/19571/stat : 19571 (java) S 19560 19562 19415 0 -1 4202560 1434 0 0 0 2 0 0 0 15 0 19 0 133992785 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19572] ppid=19560 vsize=1550212 CPUtime=0.02 /proc/19562/task/19572/stat : 19572 (java) S 19560 19562 19415 0 -1 4202560 1392 0 0 0 2 0 0 0 16 0 19 0 133992785 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19573] ppid=19560 vsize=1550212 CPUtime=0 /proc/19562/task/19573/stat : 19573 (java) S 19560 19562 19415 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 133992786 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19574] ppid=19560 vsize=1550212 CPUtime=0 /proc/19562/task/19574/stat : 19574 (java) S 19560 19562 19415 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 133992786 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19575] ppid=19560 vsize=1550212 CPUtime=0 /proc/19562/task/19575/stat : 19575 (java) S 19560 19562 19415 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133992786 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19576] ppid=19560 vsize=1550212 CPUtime=0 /proc/19562/task/19576/stat : 19576 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133992788 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19577] ppid=19560 vsize=1550212 CPUtime=0.92 /proc/19562/task/19577/stat : 19577 (java) S 19560 19562 19415 0 -1 4202560 5655 0 0 0 92 0 0 0 15 0 19 0 133992788 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 6 0 0 0 [pid=19562/tid=19578] ppid=19560 vsize=1550212 CPUtime=1.24 /proc/19562/task/19578/stat : 19578 (java) S 19560 19562 19415 0 -1 4202560 6296 0 0 0 123 1 0 0 15 0 19 0 133992788 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 5 0 0 0 [pid=19562/tid=19579] ppid=19560 vsize=1550212 CPUtime=0 /proc/19562/task/19579/stat : 19579 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133992788 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19580] ppid=19560 vsize=1550212 CPUtime=0 /proc/19562/task/19580/stat : 19580 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133992788 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19581] ppid=19560 vsize=1550212 CPUtime=0 /proc/19562/task/19581/stat : 19581 (java) S 19560 19562 19415 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133992821 1587417088 50601 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.61 Current children cumulated vsize (KiB) 1550212 [startup+12.701 s] /proc/loadavg: 2.07 2.02 2.00 3/197 19581 /proc/meminfo: memFree=30097048/32951124 swapFree=67111528/67111528 [pid=19562] ppid=19560 vsize=1550212 CPUtime=15.12 /proc/19562/stat : 19562 (java) S 19560 19562 19415 0 -1 4202496 61209 0 1 0 1501 11 0 0 25 0 19 0 133992783 1587417088 53668 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19562/statm: 387553 53668 1444 10 0 384855 0 [pid=19562/tid=19564] ppid=19560 vsize=1550212 CPUtime=12.58 /proc/19562/task/19564/stat : 19564 (java) R 19560 19562 19415 0 -1 4202560 35309 0 1 0 1252 6 0 0 25 0 19 0 133992784 1587417088 53668 4089446400 134512640 134550932 4293424384 18446744073709551615 4109875162 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19562/tid=19565] ppid=19560 vsize=1550212 CPUtime=0.04 /proc/19562/task/19565/stat : 19565 (java) S 19560 19562 19415 0 -1 4202560 1569 0 0 0 4 0 0 0 15 0 19 0 133992785 1587417088 53668 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 0 0 0 0 ################ # More data... # ################ [pid=19562/tid=19570] ppid=19560 vsize=1552260 CPUtime=18.88 /proc/19562/task/19570/stat : 19570 (java) S 19560 19562 19415 0 -1 4202560 23085 0 0 0 1616 272 0 0 15 0 19 0 133992785 1589514240 225396 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 1 0 0 0 [pid=19562/tid=19571] ppid=19560 vsize=1552260 CPUtime=18.56 /proc/19562/task/19571/stat : 19571 (java) S 19560 19562 19415 0 -1 4202560 24138 0 0 0 1602 254 0 0 15 0 19 0 133992785 1589514240 225396 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19572] ppid=19560 vsize=1552260 CPUtime=18.83 /proc/19562/task/19572/stat : 19572 (java) S 19560 19562 19415 0 -1 4202560 24488 0 0 0 1626 257 0 0 15 0 19 0 133992785 1589514240 225396 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19573] ppid=19560 vsize=1552260 CPUtime=2 /proc/19562/task/19573/stat : 19573 (java) S 19560 19562 19415 0 -1 4202560 263 0 0 0 120 80 0 0 15 0 19 0 133992786 1589514240 225396 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446604471142965376 0 0 -1 1 0 0 0 [pid=19562/tid=19574] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19574/stat : 19574 (java) S 19560 19562 19415 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 133992786 1589514240 225396 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19575] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19575/stat : 19575 (java) S 19560 19562 19415 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133992786 1589514240 225396 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19576] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19576/stat : 19576 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133992788 1589514240 225396 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19577] ppid=19560 vsize=1552260 CPUtime=0.93 /proc/19562/task/19577/stat : 19577 (java) S 19560 19562 19415 0 -1 4202560 5659 0 0 0 93 0 0 0 15 0 19 0 133992788 1589514240 225396 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 6 0 0 0 [pid=19562/tid=19578] ppid=19560 vsize=1552260 CPUtime=1.3 /proc/19562/task/19578/stat : 19578 (java) S 19560 19562 19415 0 -1 4202560 6298 0 0 0 129 1 0 0 15 0 19 0 133992788 1589514240 225396 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 5 0 0 0 [pid=19562/tid=19579] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19579/stat : 19579 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133992788 1589514240 225396 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19580] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19580/stat : 19580 (java) S 19560 19562 19415 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 133992788 1589514240 225396 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 5 0 0 0 [pid=19562/tid=19581] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19581/stat : 19581 (java) S 19560 19562 19415 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133992821 1589514240 225396 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1724.68 Current children cumulated vsize (KiB) 1552260 [startup+1662.3 s] /proc/loadavg: 2.87 2.91 2.63 4/218 19805 /proc/meminfo: memFree=29801428/32951124 swapFree=67111528/67111528 [pid=19562] ppid=19560 vsize=1552260 CPUtime=1791.61 /proc/19562/stat : 19562 (java) S 19560 19562 19415 0 -1 4202496 257057 0 1 0 176779 2382 0 0 25 0 19 0 133992783 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19562/statm: 388065 237514 1450 10 0 385367 0 [pid=19562/tid=19564] ppid=19560 vsize=1552260 CPUtime=1628.39 /proc/19562/task/19564/stat : 19564 (java) R 19560 19562 19415 0 -1 4202560 40277 0 1 0 162822 17 0 0 25 0 19 0 133992784 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4109679648 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19562/tid=19565] ppid=19560 vsize=1552260 CPUtime=19.81 /proc/19562/task/19565/stat : 19565 (java) S 19560 19562 19415 0 -1 4202560 26584 0 0 0 1714 267 0 0 15 0 19 0 133992785 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 7 0 0 0 [pid=19562/tid=19566] ppid=19560 vsize=1552260 CPUtime=19.57 /proc/19562/task/19566/stat : 19566 (java) S 19560 19562 19415 0 -1 4202560 25346 0 0 0 1671 286 0 0 15 0 19 0 133992785 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 3 0 0 0 [pid=19562/tid=19567] ppid=19560 vsize=1552260 CPUtime=19.95 /proc/19562/task/19567/stat : 19567 (java) S 19560 19562 19415 0 -1 4202560 26599 0 0 0 1694 301 0 0 15 0 19 0 133992785 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19568] ppid=19560 vsize=1552260 CPUtime=19.81 /proc/19562/task/19568/stat : 19568 (java) S 19560 19562 19415 0 -1 4202560 24510 0 0 0 1708 273 0 0 15 0 19 0 133992785 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 0 0 0 0 [pid=19562/tid=19569] ppid=19560 vsize=1552260 CPUtime=20.19 /proc/19562/task/19569/stat : 19569 (java) S 19560 19562 19415 0 -1 4202560 24342 0 0 0 1700 319 0 0 15 0 19 0 133992785 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 1 0 0 0 [pid=19562/tid=19570] ppid=19560 vsize=1552260 CPUtime=19.94 /proc/19562/task/19570/stat : 19570 (java) S 19560 19562 19415 0 -1 4202560 24641 0 0 0 1707 287 0 0 15 0 19 0 133992785 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 0 0 0 0 [pid=19562/tid=19571] ppid=19560 vsize=1552260 CPUtime=19.62 /proc/19562/task/19571/stat : 19571 (java) S 19560 19562 19415 0 -1 4202560 25549 0 0 0 1690 272 0 0 16 0 19 0 133992785 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 7 0 0 0 [pid=19562/tid=19572] ppid=19560 vsize=1552260 CPUtime=19.94 /proc/19562/task/19572/stat : 19572 (java) S 19560 19562 19415 0 -1 4202560 25825 0 0 0 1724 270 0 0 15 0 19 0 133992785 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19573] ppid=19560 vsize=1552260 CPUtime=2.04 /proc/19562/task/19573/stat : 19573 (java) S 19560 19562 19415 0 -1 4202560 268 0 0 0 122 82 0 0 15 0 19 0 133992786 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446604471142965376 0 0 -1 7 0 0 0 [pid=19562/tid=19574] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19574/stat : 19574 (java) S 19560 19562 19415 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 133992786 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19575] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19575/stat : 19575 (java) S 19560 19562 19415 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133992786 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19576] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19576/stat : 19576 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133992788 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19577] ppid=19560 vsize=1552260 CPUtime=0.93 /proc/19562/task/19577/stat : 19577 (java) S 19560 19562 19415 0 -1 4202560 5659 0 0 0 93 0 0 0 15 0 19 0 133992788 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 6 0 0 0 [pid=19562/tid=19578] ppid=19560 vsize=1552260 CPUtime=1.3 /proc/19562/task/19578/stat : 19578 (java) S 19560 19562 19415 0 -1 4202560 6298 0 0 0 129 1 0 0 15 0 19 0 133992788 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 5 0 0 0 [pid=19562/tid=19579] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19579/stat : 19579 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133992788 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19580] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19580/stat : 19580 (java) S 19560 19562 19415 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 133992788 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 0 0 0 0 [pid=19562/tid=19581] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19581/stat : 19581 (java) S 19560 19562 19415 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133992821 1589514240 237514 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (KiB) 1552260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1669.9 s] /proc/loadavg: 3.33 3.01 2.67 4/218 19805 /proc/meminfo: memFree=29794720/32951124 swapFree=67111528/67111528 [pid=19562] ppid=19560 vsize=1552260 CPUtime=1800.1 /proc/19562/stat : 19562 (java) S 19560 19562 19415 0 -1 4202496 258737 0 1 0 177613 2397 0 0 25 0 19 0 133992783 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19562/statm: 388065 239123 1450 10 0 385367 0 [pid=19562/tid=19564] ppid=19560 vsize=1552260 CPUtime=1635.76 /proc/19562/task/19564/stat : 19564 (java) R 19560 19562 19415 0 -1 4202560 40303 0 1 0 163558 18 0 0 18 0 19 0 133992784 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4109649514 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19562/tid=19565] ppid=19560 vsize=1552260 CPUtime=19.95 /proc/19562/task/19565/stat : 19565 (java) S 19560 19562 19415 0 -1 4202560 26858 0 0 0 1725 270 0 0 15 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 3 0 0 0 [pid=19562/tid=19566] ppid=19560 vsize=1552260 CPUtime=19.73 /proc/19562/task/19566/stat : 19566 (java) S 19560 19562 19415 0 -1 4202560 25610 0 0 0 1684 289 0 0 16 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 7 0 0 0 [pid=19562/tid=19567] ppid=19560 vsize=1552260 CPUtime=20.07 /proc/19562/task/19567/stat : 19567 (java) S 19560 19562 19415 0 -1 4202560 26730 0 0 0 1704 303 0 0 16 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 6 0 0 0 [pid=19562/tid=19568] ppid=19560 vsize=1552260 CPUtime=19.94 /proc/19562/task/19568/stat : 19568 (java) S 19560 19562 19415 0 -1 4202560 24702 0 0 0 1720 274 0 0 16 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19569] ppid=19560 vsize=1552260 CPUtime=20.33 /proc/19562/task/19569/stat : 19569 (java) S 19560 19562 19415 0 -1 4202560 24522 0 0 0 1712 321 0 0 16 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 1 0 0 0 [pid=19562/tid=19570] ppid=19560 vsize=1552260 CPUtime=20.1 /proc/19562/task/19570/stat : 19570 (java) S 19560 19562 19415 0 -1 4202560 24902 0 0 0 1721 289 0 0 16 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 0 0 0 0 [pid=19562/tid=19571] ppid=19560 vsize=1552260 CPUtime=19.74 /proc/19562/task/19571/stat : 19571 (java) S 19560 19562 19415 0 -1 4202560 25740 0 0 0 1700 274 0 0 16 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 3 0 0 0 [pid=19562/tid=19572] ppid=19560 vsize=1552260 CPUtime=20.09 /proc/19562/task/19572/stat : 19572 (java) S 19560 19562 19415 0 -1 4202560 25986 0 0 0 1738 271 0 0 15 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19573] ppid=19560 vsize=1552260 CPUtime=2.05 /proc/19562/task/19573/stat : 19573 (java) S 19560 19562 19415 0 -1 4202560 268 0 0 0 122 83 0 0 15 0 19 0 133992786 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446604471142965376 0 0 -1 7 0 0 0 [pid=19562/tid=19574] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19574/stat : 19574 (java) S 19560 19562 19415 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 133992786 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19575] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19575/stat : 19575 (java) S 19560 19562 19415 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133992786 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19576] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19576/stat : 19576 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133992788 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19577] ppid=19560 vsize=1552260 CPUtime=0.93 /proc/19562/task/19577/stat : 19577 (java) S 19560 19562 19415 0 -1 4202560 5659 0 0 0 93 0 0 0 15 0 19 0 133992788 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 6 0 0 0 [pid=19562/tid=19578] ppid=19560 vsize=1552260 CPUtime=1.3 /proc/19562/task/19578/stat : 19578 (java) S 19560 19562 19415 0 -1 4202560 6298 0 0 0 129 1 0 0 15 0 19 0 133992788 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 5 0 0 0 [pid=19562/tid=19579] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19579/stat : 19579 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133992788 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19580] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19580/stat : 19580 (java) S 19560 19562 19415 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 133992788 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 0 0 0 0 [pid=19562/tid=19581] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19581/stat : 19581 (java) S 19560 19562 19415 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133992821 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1552260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1669.9 s] /proc/loadavg: 3.33 3.01 2.67 4/218 19805 /proc/meminfo: memFree=29794720/32951124 swapFree=67111528/67111528 [pid=19562] ppid=19560 vsize=1552260 CPUtime=1800.1 /proc/19562/stat : 19562 (java) S 19560 19562 19415 0 -1 4202496 258737 0 1 0 177613 2397 0 0 25 0 19 0 133992783 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19562/statm: 388065 239123 1450 10 0 385367 0 [pid=19562/tid=19564] ppid=19560 vsize=1552260 CPUtime=1635.76 /proc/19562/task/19564/stat : 19564 (java) R 19560 19562 19415 0 -1 4202560 40303 0 1 0 163558 18 0 0 18 0 19 0 133992784 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4109649514 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19562/tid=19565] ppid=19560 vsize=1552260 CPUtime=19.95 /proc/19562/task/19565/stat : 19565 (java) S 19560 19562 19415 0 -1 4202560 26858 0 0 0 1725 270 0 0 15 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 3 0 0 0 [pid=19562/tid=19566] ppid=19560 vsize=1552260 CPUtime=19.73 /proc/19562/task/19566/stat : 19566 (java) S 19560 19562 19415 0 -1 4202560 25610 0 0 0 1684 289 0 0 16 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 7 0 0 0 [pid=19562/tid=19567] ppid=19560 vsize=1552260 CPUtime=20.07 /proc/19562/task/19567/stat : 19567 (java) S 19560 19562 19415 0 -1 4202560 26730 0 0 0 1704 303 0 0 16 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 6 0 0 0 [pid=19562/tid=19568] ppid=19560 vsize=1552260 CPUtime=19.94 /proc/19562/task/19568/stat : 19568 (java) S 19560 19562 19415 0 -1 4202560 24702 0 0 0 1720 274 0 0 16 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19569] ppid=19560 vsize=1552260 CPUtime=20.33 /proc/19562/task/19569/stat : 19569 (java) S 19560 19562 19415 0 -1 4202560 24522 0 0 0 1712 321 0 0 16 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 1 0 0 0 [pid=19562/tid=19570] ppid=19560 vsize=1552260 CPUtime=20.1 /proc/19562/task/19570/stat : 19570 (java) S 19560 19562 19415 0 -1 4202560 24902 0 0 0 1721 289 0 0 16 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 0 0 0 0 [pid=19562/tid=19571] ppid=19560 vsize=1552260 CPUtime=19.74 /proc/19562/task/19571/stat : 19571 (java) S 19560 19562 19415 0 -1 4202560 25740 0 0 0 1700 274 0 0 16 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 3 0 0 0 [pid=19562/tid=19572] ppid=19560 vsize=1552260 CPUtime=20.09 /proc/19562/task/19572/stat : 19572 (java) S 19560 19562 19415 0 -1 4202560 25986 0 0 0 1738 271 0 0 15 0 19 0 133992785 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 4 0 0 0 [pid=19562/tid=19573] ppid=19560 vsize=1552260 CPUtime=2.05 /proc/19562/task/19573/stat : 19573 (java) S 19560 19562 19415 0 -1 4202560 268 0 0 0 122 83 0 0 15 0 19 0 133992786 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 0 0 16800975 18446604471142965376 0 0 -1 7 0 0 0 [pid=19562/tid=19574] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19574/stat : 19574 (java) S 19560 19562 19415 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 133992786 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19575] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19575/stat : 19575 (java) S 19560 19562 19415 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133992786 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19576] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19576/stat : 19576 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133992788 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19577] ppid=19560 vsize=1552260 CPUtime=0.93 /proc/19562/task/19577/stat : 19577 (java) S 19560 19562 19415 0 -1 4202560 5659 0 0 0 93 0 0 0 15 0 19 0 133992788 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 6 0 0 0 [pid=19562/tid=19578] ppid=19560 vsize=1552260 CPUtime=1.3 /proc/19562/task/19578/stat : 19578 (java) S 19560 19562 19415 0 -1 4202560 6298 0 0 0 129 1 0 0 15 0 19 0 133992788 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 5 0 0 0 [pid=19562/tid=19579] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19579/stat : 19579 (java) S 19560 19562 19415 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133992788 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 2 0 0 0 [pid=19562/tid=19580] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19580/stat : 19580 (java) S 19560 19562 19415 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 133992788 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 0 0 0 0 [pid=19562/tid=19581] ppid=19560 vsize=1552260 CPUtime=0 /proc/19562/task/19581/stat : 19581 (java) S 19560 19562 19415 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133992821 1589514240 239123 4089446400 134512640 134550932 4293424384 18446744073709551615 4294960144 0 4 0 16800975 18446604471142965376 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1552260 Child status: 143 Real time (s): 1670.01 CPU time (s): 1800.23 CPU user time (s): 1776.21 CPU system time (s): 24.0163 CPU usage (%): 107.798 Max. virtual memory (cumulated for all children) (KiB): 1552260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1776.21 system time used= 24.0163 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 258760 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= 173314 involuntary context switches= 7980845 runsolver used 3.16752 second user time and 6.16206 second system time The end
Begin job on node147 at 2010-06-30 21:42:57 IDJOB=2691631 IDBENCH=79275 IDSOLVER=1203 FILE ID=node147/2691631-1277926977 PBS_JOBID= 11197357 Free space on /tmp= 74196 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2691631-1277926977/watcher-2691631-1277926977 -o /tmp/evaluation-result-2691631-1277926977/solver-2691631-1277926977 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691631-1277926977.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a22634c1977478f126d9df874c90c256 RANDOM SEED=723089969 node147.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.822 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.64 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.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.822 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.822 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.84 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.822 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.822 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.822 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.822 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: 30304748 kB Buffers: 215268 kB Cached: 1505172 kB SwapCached: 0 kB Active: 1264368 kB Inactive: 1235220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30304748 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 444 kB Writeback: 0 kB AnonPages: 778900 kB Mapped: 16864 kB Slab: 82048 kB PageTables: 6172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 959740 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= 74196 MiB End job on node147 at 2010-06-30 22:10:49