Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.18 | 1667.39 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo |
MD5SUM | 2d690d91fe5f00c81c2e61f07f4a896b |
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 | 510.174 |
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 | 136180 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 136179 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 661 |
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.01/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.06 c See www.sat4j.org for details. 0.01/0.07 c version 2.2.0.v20100526 0.01/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.01/0.07 c java.vm.version 11.2-b01 0.01/0.07 c java.vm.vendor Sun Microsystems Inc. 0.01/0.07 c sun.arch.data.model 32 0.01/0.07 c java.version 1.6.0_12 0.01/0.07 c os.name Linux 0.01/0.07 c os.version 2.6.18-164.el5 0.01/0.07 c os.arch i386 0.01/0.07 c Free memory 1393557488 0.01/0.07 c Max memory 1395916800 0.01/0.07 c Total memory 1395916800 0.01/0.07 c Number of processors 8 0.01/0.10 c Pseudo Boolean Optimization 0.01/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.01/0.10 c --- Begin Solver configuration --- 0.01/0.10 c Stops conflict analysis at the first Unique Implication Point 0.01/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c1ea29 0.01/0.10 c Learn all clauses as in MiniSAT 0.01/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.01/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.01/0.10 c No reason simplification 0.01/0.10 c Armin Biere (Picosat) restarts strategy 0.01/0.10 c Glucose learned constraints deletion strategy 0.01/0.10 c timeout=2147483s 0.01/0.10 c DB Simplification allowed=false 0.01/0.10 c --- End Solver configuration --- 0.01/0.10 c solving HOME/instance-2691720-1277930177.wbo 0.01/0.10 c reading problem ... 0.53/0.30 c ... done. Wall clock time 0.204s. 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.30/0.91 c SATISFIABLE 2.30/0.91 c OPTIMIZING... 2.30/0.91 c Got one! Elapsed wall clock time (in seconds):0.815 2.30/0.91 o 947 2.60/1.08 c Got one! Elapsed wall clock time (in seconds):0.989 2.60/1.08 o 942 3.38/1.54 c Got one! Elapsed wall clock time (in seconds):1.448 3.38/1.54 o 938 3.67/1.78 c Got one! Elapsed wall clock time (in seconds):1.689 3.67/1.78 o 899 4.10/2.12 c Got one! Elapsed wall clock time (in seconds):2.026 4.10/2.12 o 870 4.77/2.79 c Got one! Elapsed wall clock time (in seconds):2.698 4.77/2.79 o 851 5.31/3.21 c Got one! Elapsed wall clock time (in seconds):3.118 5.31/3.21 o 849 5.94/3.81 c Got one! Elapsed wall clock time (in seconds):3.719 5.94/3.81 o 798 6.77/4.65 c Got one! Elapsed wall clock time (in seconds):4.558 6.77/4.65 o 754 8.60/6.44 c Got one! Elapsed wall clock time (in seconds):6.344 8.60/6.44 o 719 9.31/7.19 c Got one! Elapsed wall clock time (in seconds):7.093 9.31/7.19 o 710 10.45/8.23 c Got one! Elapsed wall clock time (in seconds):8.137 10.45/8.23 o 707 12.09/9.83 c Got one! Elapsed wall clock time (in seconds):9.736 12.09/9.83 o 704 14.42/12.16 c Got one! Elapsed wall clock time (in seconds):12.065 14.42/12.16 o 689 19.00/16.66 c Got one! Elapsed wall clock time (in seconds):16.57 19.00/16.66 o 665 20.22/17.89 c Got one! Elapsed wall clock time (in seconds):17.79 20.22/17.89 o 658 22.24/19.82 c Got one! Elapsed wall clock time (in seconds):19.725 22.24/19.82 o 648 25.19/22.76 c Got one! Elapsed wall clock time (in seconds):22.666 25.19/22.76 o 637 29.97/27.41 c Got one! Elapsed wall clock time (in seconds):27.312 29.97/27.41 o 622 36.38/33.79 c Got one! Elapsed wall clock time (in seconds):33.697 36.38/33.79 o 613 48.02/45.11 c cleaning 0 clauses out of 5000 with flag 0/5000 49.56/46.66 c Got one! Elapsed wall clock time (in seconds):46.56 49.56/46.66 o 551 51.89/48.98 c Got one! Elapsed wall clock time (in seconds):48.887 51.89/48.98 o 546 60.92/57.79 c Got one! Elapsed wall clock time (in seconds):57.691 60.92/57.79 o 520 70.37/66.98 c Got one! Elapsed wall clock time (in seconds):66.888 70.37/66.98 o 511 84.59/80.72 c Got one! Elapsed wall clock time (in seconds):80.623 84.59/80.72 o 505 121.76/116.56 c Got one! Elapsed wall clock time (in seconds):116.469 121.76/116.56 o 490 143.63/137.85 c Got one! Elapsed wall clock time (in seconds):137.751 143.63/137.85 o 460 185.32/178.32 c Got one! Elapsed wall clock time (in seconds):178.222 185.32/178.32 o 457 206.11/198.18 c Got one! Elapsed wall clock time (in seconds):198.082 206.11/198.18 o 449 223.64/214.87 c Got one! Elapsed wall clock time (in seconds):214.776 223.64/214.87 o 441 234.95/225.73 c Got one! Elapsed wall clock time (in seconds):225.637 234.95/225.73 o 404 277.30/265.98 c Got one! Elapsed wall clock time (in seconds):265.885 277.30/265.98 o 385 352.45/336.73 c Got one! Elapsed wall clock time (in seconds):336.631 352.45/336.73 o 365 404.87/387.02 c Got one! Elapsed wall clock time (in seconds):386.925 404.87/387.02 o 349 413.87/395.69 c cleaning 0 clauses out of 11001 with flag 0/11001 498.78/476.64 c Got one! Elapsed wall clock time (in seconds):476.549 498.78/476.64 o 336 659.06/629.80 c Got one! Elapsed wall clock time (in seconds):629.705 659.06/629.80 o 335 669.84/640.16 c Got one! Elapsed wall clock time (in seconds):640.064 669.84/640.16 o 324 1146.00/1069.92 c Got one! Elapsed wall clock time (in seconds):1069.824 1146.00/1069.92 o 318 1238.32/1155.38 c Got one! Elapsed wall clock time (in seconds):1155.282 1238.32/1155.38 o 293 1491.32/1383.13 c Got one! Elapsed wall clock time (in seconds):1383.035 1491.32/1383.13 o 272 1694.90/1572.96 c cleaning 0 clauses out of 18002 with flag 0/18002 1800.07/1667.31 c starts : 84 1800.07/1667.31 c conflicts : 18127 1800.07/1667.31 c decisions : 238543 1800.07/1667.31 c propagations : 2222076 1800.07/1667.31 c inspects : 867360106 1800.07/1667.31 c learnt literals : 0 1800.07/1667.31 c learnt binary clauses : 0 1800.07/1667.31 c learnt ternary clauses : 0 1800.07/1667.31 c learnt clauses : 18127 1800.07/1667.31 c ignored clauses : 0 1800.07/1667.31 c root simplifications : 0 1800.07/1667.31 c removed literals (reason simplification) : 0 1800.07/1667.31 c reason swapping (by a shorter reason) : 0 1800.07/1667.31 c Calls to reduceDB : 3 1800.07/1667.31 c number of reductions to clauses (during analyze) : 0 1800.07/1667.31 c number of learned constraints concerned by reduction : 0 1800.07/1667.31 c number of learning phase by resolution : 0 1800.07/1667.31 c number of learning phase by cutting planes : 0 1800.07/1667.31 c speed (assignments/second) : 7819.4204958933615 1800.07/1667.31 c non guided choices 4147 1800.07/1667.33 c learnt constraints type 1800.07/1667.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1800.07/1667.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 18120 1800.07/1667.33 c constraints type 1800.07/1667.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22 1800.07/1667.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2684 1800.07/1667.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.07/1667.33 s SATISFIABLE 1800.07/1667.33 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 x222 x223 -x224 x225 -x226 x227 -x228 -x229 -x230 x231 1800.07/1667.33 c objective function=272 1800.07/1667.33 c Total wall clock time (in seconds): 1667.233
OK 249
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691720-1277930177/watcher-2691720-1277930177 -o /tmp/evaluation-result-2691720-1277930177/solver-2691720-1277930177 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691720-1277930177.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.21 3/178 15381 /proc/meminfo: memFree=31249672/32950928 swapFree=67111528/67111528 [pid=15381] ppid=15379 vsize=13164 CPUtime=0 /proc/15381/stat : 15381 (java) R 15379 15381 15024 0 -1 4194304 909 0 0 0 0 0 0 0 17 0 1 0 134163355 13479936 413 4089446400 134512640 134550932 4291846032 18446744073709551615 7771781 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15381/statm: 3291 419 143 10 0 1121 0 [startup+0.022562 s] /proc/loadavg: 2.00 2.02 2.21 3/178 15381 /proc/meminfo: memFree=31249672/32950928 swapFree=67111528/67111528 [pid=15381] ppid=15379 vsize=1525552 CPUtime=0.01 /proc/15381/stat : 15381 (java) S 15379 15381 15024 0 -1 4202496 3511 0 1 0 1 0 0 0 17 0 11 0 134163355 1562165248 2954 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/15381/statm: 381388 2954 984 10 0 378698 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1525552 [startup+0.100546 s] /proc/loadavg: 2.00 2.02 2.21 3/178 15381 /proc/meminfo: memFree=31249672/32950928 swapFree=67111528/67111528 [pid=15381] ppid=15379 vsize=1529724 CPUtime=0.11 /proc/15381/stat : 15381 (java) S 15379 15381 15024 0 -1 4202496 5233 0 1 0 11 0 0 0 17 0 18 0 134163355 1566437376 4670 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/15381/statm: 382431 4670 1349 10 0 379733 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529724 [startup+0.300509 s] /proc/loadavg: 2.00 2.02 2.21 3/178 15381 /proc/meminfo: memFree=31249672/32950928 swapFree=67111528/67111528 [pid=15381] ppid=15379 vsize=1531588 CPUtime=0.53 /proc/15381/stat : 15381 (java) S 15379 15381 15024 0 -1 4202496 7771 0 1 0 52 1 0 0 17 0 18 0 134163355 1568346112 7047 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/15381/statm: 382897 7047 1411 10 0 380199 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 1531588 [startup+0.700433 s] /proc/loadavg: 2.00 2.02 2.21 3/178 15381 /proc/meminfo: memFree=31249672/32950928 swapFree=67111528/67111528 [pid=15381] ppid=15379 vsize=1547728 CPUtime=1.71 /proc/15381/stat : 15381 (java) S 15379 15381 15024 0 -1 4202496 18526 0 1 0 169 2 0 0 17 0 19 0 134163355 1584873472 14422 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/15381/statm: 386932 14423 1421 10 0 384234 0 Current children cumulated CPU time (s) 1.71 Current children cumulated vsize (KiB) 1547728 [startup+1.50128 s] /proc/loadavg: 2.00 2.02 2.21 5/197 15400 /proc/meminfo: memFree=31148904/32950928 swapFree=67111528/67111528 [pid=15381] ppid=15379 vsize=1548792 CPUtime=3.38 /proc/15381/stat : 15381 (java) S 15379 15381 15024 0 -1 4202496 44222 0 1 0 334 4 0 0 17 0 19 0 134163355 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/15381/statm: 387198 38825 1444 10 0 384500 0 [pid=15381/tid=15383] ppid=15379 vsize=1548792 CPUtime=1.48 /proc/15381/task/15383/stat : 15383 (java) R 15379 15381 15024 0 -1 4202560 32084 0 1 0 145 3 0 0 25 0 19 0 134163355 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4109462416 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=15381/tid=15384] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15384/stat : 15384 (java) S 15379 15381 15024 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 134163356 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15385] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15385/stat : 15385 (java) S 15379 15381 15024 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134163356 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15386] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15386/stat : 15386 (java) S 15379 15381 15024 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134163356 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15387] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15387/stat : 15387 (java) S 15379 15381 15024 0 -1 4202560 91 0 0 0 0 0 0 0 18 0 19 0 134163356 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15388] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15388/stat : 15388 (java) S 15379 15381 15024 0 -1 4202560 205 0 0 0 0 0 0 0 18 0 19 0 134163356 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15389] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15389/stat : 15389 (java) S 15379 15381 15024 0 -1 4202560 241 0 0 0 0 0 0 0 18 0 19 0 134163356 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 6 0 0 0 [pid=15381/tid=15390] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15390/stat : 15390 (java) S 15379 15381 15024 0 -1 4202560 90 0 0 0 0 0 0 0 18 0 19 0 134163356 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 5 0 0 0 [pid=15381/tid=15391] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15391/stat : 15391 (java) S 15379 15381 15024 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 134163356 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15392] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15392/stat : 15392 (java) S 15379 15381 15024 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 134163357 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15393] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15393/stat : 15393 (java) S 15379 15381 15024 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134163357 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15394] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15394/stat : 15394 (java) S 15379 15381 15024 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 134163357 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15395] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15395/stat : 15395 (java) S 15379 15381 15024 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 134163359 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15396] ppid=15379 vsize=1548792 CPUtime=0.91 /proc/15381/task/15396/stat : 15396 (java) R 15379 15381 15024 0 -1 4202560 6406 0 0 0 91 0 0 0 15 0 19 0 134163359 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 103863959 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=15381/tid=15397] ppid=15379 vsize=1548792 CPUtime=0.97 /proc/15381/task/15397/stat : 15397 (java) R 15379 15381 15024 0 -1 4202560 3924 0 0 0 97 0 0 0 15 0 19 0 134163359 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 104161456 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15381/tid=15398] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15398/stat : 15398 (java) S 15379 15381 15024 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134163359 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15399] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15399/stat : 15399 (java) S 15379 15381 15024 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 134163359 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 0 0 0 0 [pid=15381/tid=15400] ppid=15379 vsize=1548792 CPUtime=0 /proc/15381/task/15400/stat : 15400 (java) S 15379 15381 15024 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 134163392 1585963008 38825 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3.38 Current children cumulated vsize (KiB) 1548792 [startup+3.10097 s] /proc/loadavg: 2.00 2.02 2.21 3/197 15400 /proc/meminfo: memFree=31094468/32950928 swapFree=67111528/67111528 [pid=15381] ppid=15379 vsize=1547756 CPUtime=5.2 /proc/15381/stat : 15381 (java) S 15379 15381 15024 0 -1 4202496 48513 0 1 0 514 6 0 0 17 0 19 0 134163355 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/15381/statm: 386939 42741 1444 10 0 384241 0 [pid=15381/tid=15383] ppid=15379 vsize=1547756 CPUtime=3.05 /proc/15381/task/15383/stat : 15383 (java) R 15379 15381 15024 0 -1 4202560 32088 0 1 0 302 3 0 0 25 0 19 0 134163355 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4109462556 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=15381/tid=15384] ppid=15379 vsize=1547756 CPUtime=0.01 /proc/15381/task/15384/stat : 15384 (java) S 15379 15381 15024 0 -1 4202560 567 0 0 0 1 0 0 0 16 0 19 0 134163356 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 0 0 0 0 [pid=15381/tid=15385] ppid=15379 vsize=1547756 CPUtime=0.01 /proc/15381/task/15385/stat : 15385 (java) S 15379 15381 15024 0 -1 4202560 804 0 0 0 1 0 0 0 16 0 19 0 134163356 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15386] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15386/stat : 15386 (java) S 15379 15381 15024 0 -1 4202560 334 0 0 0 0 0 0 0 15 0 19 0 134163356 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 [pid=15381/tid=15387] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15387/stat : 15387 (java) S 15379 15381 15024 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 134163356 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 6 0 0 0 [pid=15381/tid=15388] ppid=15379 vsize=1547756 CPUtime=0.01 /proc/15381/task/15388/stat : 15388 (java) S 15379 15381 15024 0 -1 4202560 944 0 0 0 1 0 0 0 16 0 19 0 134163356 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15389] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15389/stat : 15389 (java) S 15379 15381 15024 0 -1 4202560 648 0 0 0 0 0 0 0 16 0 19 0 134163356 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 6 0 0 0 [pid=15381/tid=15390] ppid=15379 vsize=1547756 CPUtime=0.01 /proc/15381/task/15390/stat : 15390 (java) S 15379 15381 15024 0 -1 4202560 909 0 0 0 1 0 0 0 16 0 19 0 134163356 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 4 0 0 0 [pid=15381/tid=15391] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15391/stat : 15391 (java) S 15379 15381 15024 0 -1 4202560 460 0 0 0 0 0 0 0 15 0 19 0 134163356 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 5 0 0 0 [pid=15381/tid=15392] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15392/stat : 15392 (java) S 15379 15381 15024 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 134163357 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15393] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15393/stat : 15393 (java) S 15379 15381 15024 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134163357 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15394] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15394/stat : 15394 (java) S 15379 15381 15024 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 134163357 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15395] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15395/stat : 15395 (java) S 15379 15381 15024 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 134163359 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15396] ppid=15379 vsize=1547756 CPUtime=0.96 /proc/15381/task/15396/stat : 15396 (java) S 15379 15381 15024 0 -1 4202560 6408 0 0 0 96 0 0 0 15 0 19 0 134163359 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 4 0 0 0 [pid=15381/tid=15397] ppid=15379 vsize=1547756 CPUtime=1.07 /proc/15381/task/15397/stat : 15397 (java) S 15379 15381 15024 0 -1 4202560 4079 0 0 0 107 0 0 0 15 0 19 0 134163359 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15398] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15398/stat : 15398 (java) S 15379 15381 15024 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134163359 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15399] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15399/stat : 15399 (java) S 15379 15381 15024 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 134163359 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 0 0 0 0 [pid=15381/tid=15400] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15400/stat : 15400 (java) S 15379 15381 15024 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 134163392 1584902144 42741 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 5.2 Current children cumulated vsize (KiB) 1547756 [startup+6.30142 s] /proc/loadavg: 2.00 2.02 2.20 3/197 15400 /proc/meminfo: memFree=31057704/32950928 swapFree=67111528/67111528 [pid=15381] ppid=15379 vsize=1547756 CPUtime=8.5 /proc/15381/stat : 15381 (java) S 15379 15381 15024 0 -1 4202496 55911 0 1 0 843 7 0 0 17 0 19 0 134163355 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/15381/statm: 386939 49541 1444 10 0 384241 0 [pid=15381/tid=15383] ppid=15379 vsize=1547756 CPUtime=6.22 /proc/15381/task/15383/stat : 15383 (java) R 15379 15381 15024 0 -1 4202560 35283 0 1 0 619 3 0 0 25 0 19 0 134163355 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4109709432 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=15381/tid=15384] ppid=15379 vsize=1547756 CPUtime=0.02 /proc/15381/task/15384/stat : 15384 (java) S 15379 15381 15024 0 -1 4202560 1175 0 0 0 2 0 0 0 15 0 19 0 134163356 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 6 0 0 0 [pid=15381/tid=15385] ppid=15379 vsize=1547756 CPUtime=0.02 /proc/15381/task/15385/stat : 15385 (java) S 15379 15381 15024 0 -1 4202560 1482 0 0 0 2 0 0 0 15 0 19 0 134163356 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15386] ppid=15379 vsize=1547756 CPUtime=0.02 /proc/15381/task/15386/stat : 15386 (java) S 15379 15381 15024 0 -1 4202560 1096 0 0 0 2 0 0 0 15 0 19 0 134163356 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 [pid=15381/tid=15387] ppid=15379 vsize=1547756 CPUtime=0.02 /proc/15381/task/15387/stat : 15387 (java) S 15379 15381 15024 0 -1 4202560 779 0 0 0 2 0 0 0 15 0 19 0 134163356 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 0 0 0 0 [pid=15381/tid=15388] ppid=15379 vsize=1547756 CPUtime=0.02 /proc/15381/task/15388/stat : 15388 (java) S 15379 15381 15024 0 -1 4202560 1442 0 0 0 2 0 0 0 15 0 19 0 134163356 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 5 0 0 0 [pid=15381/tid=15389] ppid=15379 vsize=1547756 CPUtime=0.01 /proc/15381/task/15389/stat : 15389 (java) S 15379 15381 15024 0 -1 4202560 892 0 0 0 1 0 0 0 15 0 19 0 134163356 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 4 0 0 0 [pid=15381/tid=15390] ppid=15379 vsize=1547756 CPUtime=0.02 /proc/15381/task/15390/stat : 15390 (java) S 15379 15381 15024 0 -1 4202560 1226 0 0 0 2 0 0 0 15 0 19 0 134163356 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 4 0 0 0 [pid=15381/tid=15391] ppid=15379 vsize=1547756 CPUtime=0.01 /proc/15381/task/15391/stat : 15391 (java) S 15379 15381 15024 0 -1 4202560 950 0 0 0 1 0 0 0 15 0 19 0 134163356 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15392] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15392/stat : 15392 (java) S 15379 15381 15024 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 134163357 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15393] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15393/stat : 15393 (java) S 15379 15381 15024 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134163357 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15394] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15394/stat : 15394 (java) S 15379 15381 15024 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 134163357 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15395] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15395/stat : 15395 (java) S 15379 15381 15024 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 134163359 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15396] ppid=15379 vsize=1547756 CPUtime=0.96 /proc/15381/task/15396/stat : 15396 (java) S 15379 15381 15024 0 -1 4202560 6408 0 0 0 96 0 0 0 15 0 19 0 134163359 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 4 0 0 0 [pid=15381/tid=15397] ppid=15379 vsize=1547756 CPUtime=1.08 /proc/15381/task/15397/stat : 15397 (java) S 15379 15381 15024 0 -1 4202560 4079 0 0 0 108 0 0 0 15 0 19 0 134163359 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15398] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15398/stat : 15398 (java) S 15379 15381 15024 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134163359 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15399] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15399/stat : 15399 (java) S 15379 15381 15024 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 134163359 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 0 0 0 0 [pid=15381/tid=15400] ppid=15379 vsize=1547756 CPUtime=0 /proc/15381/task/15400/stat : 15400 (java) S 15379 15381 15024 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 134163392 1584902144 49541 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 8.5 Current children cumulated vsize (KiB) 1547756 [startup+12.7012 s] /proc/loadavg: 2.00 2.02 2.20 3/197 15400 /proc/meminfo: memFree=31047180/32950928 swapFree=67111528/67111528 [pid=15381] ppid=15379 vsize=1547756 CPUtime=15.02 /proc/15381/stat : 15381 (java) S 15379 15381 15024 0 -1 4202496 59179 0 1 0 1494 8 0 0 17 0 19 0 134163355 1584902144 52612 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/15381/statm: 386939 52612 1444 10 0 384241 0 [pid=15381/tid=15383] ppid=15379 vsize=1547756 CPUtime=12.58 /proc/15381/task/15383/stat : 15383 (java) R 15379 15381 15024 0 -1 4202560 35424 0 1 0 1255 3 0 0 25 0 19 0 134163355 1584902144 52612 4089446400 134512640 134550932 4291846032 18446744073709551615 4109749654 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=15381/tid=15384] ppid=15379 vsize=1547756 CPUtime=0.02 /proc/15381/task/15384/stat : 15384 (java) S 15379 15381 15024 0 -1 4202560 1343 0 0 0 2 0 0 0 15 0 19 0 134163356 1584902144 52612 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 0 0 0 0 ################ # More data... # ################ [pid=15381/tid=15389] ppid=15379 vsize=1549804 CPUtime=18.18 /proc/15381/task/15389/stat : 15389 (java) S 15379 15381 15024 0 -1 4202560 25296 0 0 0 1483 335 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15390] ppid=15379 vsize=1549804 CPUtime=18.41 /proc/15381/task/15390/stat : 15390 (java) S 15379 15381 15024 0 -1 4202560 25239 0 0 0 1477 364 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 5 0 0 0 [pid=15381/tid=15391] ppid=15379 vsize=1549804 CPUtime=18.48 /proc/15381/task/15391/stat : 15391 (java) S 15379 15381 15024 0 -1 4202560 24281 0 0 0 1483 365 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 4 0 0 0 [pid=15381/tid=15392] ppid=15379 vsize=1549804 CPUtime=1.9 /proc/15381/task/15392/stat : 15392 (java) S 15379 15381 15024 0 -1 4202560 324 0 0 0 152 38 0 0 15 0 19 0 134163357 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 [pid=15381/tid=15393] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15393/stat : 15393 (java) S 15379 15381 15024 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134163357 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15394] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15394/stat : 15394 (java) S 15379 15381 15024 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 134163357 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15395] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15395/stat : 15395 (java) S 15379 15381 15024 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15396] ppid=15379 vsize=1549804 CPUtime=0.97 /proc/15381/task/15396/stat : 15396 (java) S 15379 15381 15024 0 -1 4202560 6412 0 0 0 97 0 0 0 15 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 4 0 0 0 [pid=15381/tid=15397] ppid=15379 vsize=1549804 CPUtime=1.33 /proc/15381/task/15397/stat : 15397 (java) S 15379 15381 15024 0 -1 4202560 4098 0 0 0 133 0 0 0 15 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15398] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15398/stat : 15398 (java) S 15379 15381 15024 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15399] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15399/stat : 15399 (java) S 15379 15381 15024 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 6 0 0 0 [pid=15381/tid=15400] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15400/stat : 15400 (java) S 15379 15381 15024 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 134163392 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1727.51 Current children cumulated vsize (KiB) 1549804 [startup+1662.3 s] /proc/loadavg: 2.00 2.05 2.07 3/197 15510 /proc/meminfo: memFree=30583196/32950928 swapFree=67111528/67111528 [pid=15381] ppid=15379 vsize=1549804 CPUtime=1794.46 /proc/15381/stat : 15381 (java) S 15379 15381 15024 0 -1 4202496 249541 0 1 0 176440 3006 0 0 17 0 19 0 134163355 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/15381/statm: 387451 232535 1450 10 0 384753 0 [pid=15381/tid=15383] ppid=15379 vsize=1549804 CPUtime=1634.62 /proc/15381/task/15383/stat : 15383 (java) R 15379 15381 15024 0 -1 4202560 39060 0 1 0 163452 10 0 0 25 0 19 0 134163355 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4109463393 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15381/tid=15384] ppid=15379 vsize=1549804 CPUtime=19.7 /proc/15381/task/15384/stat : 15384 (java) S 15379 15381 15024 0 -1 4202560 24841 0 0 0 1616 354 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 0 0 0 0 [pid=15381/tid=15385] ppid=15379 vsize=1549804 CPUtime=19.82 /proc/15381/task/15385/stat : 15385 (java) S 15379 15381 15024 0 -1 4202560 24677 0 0 0 1574 408 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 6 0 0 0 [pid=15381/tid=15386] ppid=15379 vsize=1549804 CPUtime=19.16 /proc/15381/task/15386/stat : 15386 (java) S 15379 15381 15024 0 -1 4202560 24036 0 0 0 1558 358 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 [pid=15381/tid=15387] ppid=15379 vsize=1549804 CPUtime=19.11 /proc/15381/task/15387/stat : 15387 (java) S 15379 15381 15024 0 -1 4202560 23164 0 0 0 1557 354 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 4 0 0 0 [pid=15381/tid=15388] ppid=15379 vsize=1549804 CPUtime=19.42 /proc/15381/task/15388/stat : 15388 (java) S 15379 15381 15024 0 -1 4202560 26951 0 0 0 1594 348 0 0 15 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 4 0 0 0 [pid=15381/tid=15389] ppid=15379 vsize=1549804 CPUtime=19.3 /proc/15381/task/15389/stat : 15389 (java) S 15379 15381 15024 0 -1 4202560 25296 0 0 0 1571 359 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15390] ppid=15379 vsize=1549804 CPUtime=19.5 /proc/15381/task/15390/stat : 15390 (java) S 15379 15381 15024 0 -1 4202560 25239 0 0 0 1562 388 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15391] ppid=15379 vsize=1549804 CPUtime=19.48 /proc/15381/task/15391/stat : 15391 (java) S 15379 15381 15024 0 -1 4202560 24281 0 0 0 1567 381 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 5 0 0 0 [pid=15381/tid=15392] ppid=15379 vsize=1549804 CPUtime=1.93 /proc/15381/task/15392/stat : 15392 (java) S 15379 15381 15024 0 -1 4202560 326 0 0 0 153 40 0 0 15 0 19 0 134163357 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 [pid=15381/tid=15393] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15393/stat : 15393 (java) S 15379 15381 15024 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134163357 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15394] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15394/stat : 15394 (java) S 15379 15381 15024 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 134163357 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15395] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15395/stat : 15395 (java) S 15379 15381 15024 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15396] ppid=15379 vsize=1549804 CPUtime=0.97 /proc/15381/task/15396/stat : 15396 (java) S 15379 15381 15024 0 -1 4202560 6412 0 0 0 97 0 0 0 15 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 4 0 0 0 [pid=15381/tid=15397] ppid=15379 vsize=1549804 CPUtime=1.33 /proc/15381/task/15397/stat : 15397 (java) S 15379 15381 15024 0 -1 4202560 4098 0 0 0 133 0 0 0 15 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15398] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15398/stat : 15398 (java) S 15379 15381 15024 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15399] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15399/stat : 15399 (java) S 15379 15381 15024 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 0 0 0 0 [pid=15381/tid=15400] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15400/stat : 15400 (java) S 15379 15381 15024 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 134163392 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (KiB) 1549804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1667.3 s] /proc/loadavg: 2.00 2.05 2.07 3/197 15510 /proc/meminfo: memFree=30583068/32950928 swapFree=67111528/67111528 [pid=15381] ppid=15379 vsize=1549804 CPUtime=1800.07 /proc/15381/stat : 15381 (java) S 15379 15381 15024 0 -1 4202496 249556 0 1 0 176992 3015 0 0 17 0 19 0 134163355 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/15381/statm: 387451 232535 1450 10 0 384753 0 [pid=15381/tid=15383] ppid=15379 vsize=1549804 CPUtime=1639.5 /proc/15381/task/15383/stat : 15383 (java) R 15379 15381 15024 0 -1 4202560 39075 0 1 0 163940 10 0 0 25 0 19 0 134163355 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4109750861 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15381/tid=15384] ppid=15379 vsize=1549804 CPUtime=19.79 /proc/15381/task/15384/stat : 15384 (java) S 15379 15381 15024 0 -1 4202560 24841 0 0 0 1624 355 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 0 0 0 0 [pid=15381/tid=15385] ppid=15379 vsize=1549804 CPUtime=19.91 /proc/15381/task/15385/stat : 15385 (java) S 15379 15381 15024 0 -1 4202560 24677 0 0 0 1582 409 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 6 0 0 0 [pid=15381/tid=15386] ppid=15379 vsize=1549804 CPUtime=19.25 /proc/15381/task/15386/stat : 15386 (java) S 15379 15381 15024 0 -1 4202560 24036 0 0 0 1566 359 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 [pid=15381/tid=15387] ppid=15379 vsize=1549804 CPUtime=19.19 /proc/15381/task/15387/stat : 15387 (java) S 15379 15381 15024 0 -1 4202560 23164 0 0 0 1564 355 0 0 15 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 0 0 0 0 [pid=15381/tid=15388] ppid=15379 vsize=1549804 CPUtime=19.53 /proc/15381/task/15388/stat : 15388 (java) S 15379 15381 15024 0 -1 4202560 26951 0 0 0 1604 349 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 4 0 0 0 [pid=15381/tid=15389] ppid=15379 vsize=1549804 CPUtime=19.39 /proc/15381/task/15389/stat : 15389 (java) S 15379 15381 15024 0 -1 4202560 25296 0 0 0 1579 360 0 0 15 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15390] ppid=15379 vsize=1549804 CPUtime=19.58 /proc/15381/task/15390/stat : 15390 (java) S 15379 15381 15024 0 -1 4202560 25239 0 0 0 1569 389 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15391] ppid=15379 vsize=1549804 CPUtime=19.57 /proc/15381/task/15391/stat : 15391 (java) S 15379 15381 15024 0 -1 4202560 24281 0 0 0 1575 382 0 0 15 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 5 0 0 0 [pid=15381/tid=15392] ppid=15379 vsize=1549804 CPUtime=1.94 /proc/15381/task/15392/stat : 15392 (java) S 15379 15381 15024 0 -1 4202560 326 0 0 0 154 40 0 0 15 0 19 0 134163357 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 [pid=15381/tid=15393] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15393/stat : 15393 (java) S 15379 15381 15024 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134163357 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15394] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15394/stat : 15394 (java) S 15379 15381 15024 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 134163357 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15395] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15395/stat : 15395 (java) S 15379 15381 15024 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15396] ppid=15379 vsize=1549804 CPUtime=0.97 /proc/15381/task/15396/stat : 15396 (java) S 15379 15381 15024 0 -1 4202560 6412 0 0 0 97 0 0 0 15 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 4 0 0 0 [pid=15381/tid=15397] ppid=15379 vsize=1549804 CPUtime=1.33 /proc/15381/task/15397/stat : 15397 (java) S 15379 15381 15024 0 -1 4202560 4098 0 0 0 133 0 0 0 15 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15398] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15398/stat : 15398 (java) S 15379 15381 15024 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15399] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15399/stat : 15399 (java) S 15379 15381 15024 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 0 0 0 0 [pid=15381/tid=15400] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15400/stat : 15400 (java) S 15379 15381 15024 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 134163392 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1549804 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1667.3 s] /proc/loadavg: 2.00 2.05 2.07 3/197 15510 /proc/meminfo: memFree=30583068/32950928 swapFree=67111528/67111528 [pid=15381] ppid=15379 vsize=1549804 CPUtime=1800.07 /proc/15381/stat : 15381 (java) S 15379 15381 15024 0 -1 4202496 249556 0 1 0 176992 3015 0 0 17 0 19 0 134163355 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/15381/statm: 387451 232535 1450 10 0 384753 0 [pid=15381/tid=15383] ppid=15379 vsize=1549804 CPUtime=1639.5 /proc/15381/task/15383/stat : 15383 (java) R 15379 15381 15024 0 -1 4202560 39075 0 1 0 163940 10 0 0 25 0 19 0 134163355 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4109750861 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15381/tid=15384] ppid=15379 vsize=1549804 CPUtime=19.79 /proc/15381/task/15384/stat : 15384 (java) S 15379 15381 15024 0 -1 4202560 24841 0 0 0 1624 355 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 0 0 0 0 [pid=15381/tid=15385] ppid=15379 vsize=1549804 CPUtime=19.91 /proc/15381/task/15385/stat : 15385 (java) S 15379 15381 15024 0 -1 4202560 24677 0 0 0 1582 409 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 6 0 0 0 [pid=15381/tid=15386] ppid=15379 vsize=1549804 CPUtime=19.25 /proc/15381/task/15386/stat : 15386 (java) S 15379 15381 15024 0 -1 4202560 24036 0 0 0 1566 359 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 [pid=15381/tid=15387] ppid=15379 vsize=1549804 CPUtime=19.19 /proc/15381/task/15387/stat : 15387 (java) S 15379 15381 15024 0 -1 4202560 23164 0 0 0 1564 355 0 0 15 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 0 0 0 0 [pid=15381/tid=15388] ppid=15379 vsize=1549804 CPUtime=19.53 /proc/15381/task/15388/stat : 15388 (java) S 15379 15381 15024 0 -1 4202560 26951 0 0 0 1604 349 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 4 0 0 0 [pid=15381/tid=15389] ppid=15379 vsize=1549804 CPUtime=19.39 /proc/15381/task/15389/stat : 15389 (java) S 15379 15381 15024 0 -1 4202560 25296 0 0 0 1579 360 0 0 15 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15390] ppid=15379 vsize=1549804 CPUtime=19.58 /proc/15381/task/15390/stat : 15390 (java) S 15379 15381 15024 0 -1 4202560 25239 0 0 0 1569 389 0 0 16 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15391] ppid=15379 vsize=1549804 CPUtime=19.57 /proc/15381/task/15391/stat : 15391 (java) S 15379 15381 15024 0 -1 4202560 24281 0 0 0 1575 382 0 0 15 0 19 0 134163356 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 5 0 0 0 [pid=15381/tid=15392] ppid=15379 vsize=1549804 CPUtime=1.94 /proc/15381/task/15392/stat : 15392 (java) S 15379 15381 15024 0 -1 4202560 326 0 0 0 154 40 0 0 15 0 19 0 134163357 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 0 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 [pid=15381/tid=15393] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15393/stat : 15393 (java) S 15379 15381 15024 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 134163357 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15394] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15394/stat : 15394 (java) S 15379 15381 15024 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 134163357 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15395] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15395/stat : 15395 (java) S 15379 15381 15024 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15396] ppid=15379 vsize=1549804 CPUtime=0.97 /proc/15381/task/15396/stat : 15396 (java) S 15379 15381 15024 0 -1 4202560 6412 0 0 0 97 0 0 0 15 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 4 0 0 0 [pid=15381/tid=15397] ppid=15379 vsize=1549804 CPUtime=1.33 /proc/15381/task/15397/stat : 15397 (java) S 15379 15381 15024 0 -1 4202560 4098 0 0 0 133 0 0 0 15 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 1 0 0 0 [pid=15381/tid=15398] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15398/stat : 15398 (java) S 15379 15381 15024 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 3 0 0 0 [pid=15381/tid=15399] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15399/stat : 15399 (java) S 15379 15381 15024 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 134163359 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 0 0 0 0 [pid=15381/tid=15400] ppid=15379 vsize=1549804 CPUtime=0 /proc/15381/task/15400/stat : 15400 (java) S 15379 15381 15024 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 134163392 1586999296 232535 4089446400 134512640 134550932 4291846032 18446744073709551615 4294960144 0 4 0 16800975 18446604471148214080 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1549804 Child status: 143 Real time (s): 1667.39 CPU time (s): 1800.18 CPU user time (s): 1769.99 CPU system time (s): 30.1914 CPU usage (%): 107.964 Max. virtual memory (cumulated for all children) (KiB): 1549804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1769.99 system time used= 30.1914 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 249584 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= 139062 involuntary context switches= 7367963 runsolver used 2.87056 second user time and 6.23005 second system time The end
Begin job on node127 at 2010-06-30 22:36:17 IDJOB=2691720 IDBENCH=79304 IDSOLVER=1203 FILE ID=node127/2691720-1277930177 PBS_JOBID= 11197393 Free space on /tmp= 74204 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.1900577940--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-2691720-1277930177/watcher-2691720-1277930177 -o /tmp/evaluation-result-2691720-1277930177/solver-2691720-1277930177 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691720-1277930177.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2d690d91fe5f00c81c2e61f07f4a896b RANDOM SEED=702364652 node127.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.828 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.65 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.828 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.72 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.828 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.828 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.828 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.82 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31250316 kB Buffers: 216252 kB Cached: 715348 kB SwapCached: 0 kB Active: 1041024 kB Inactive: 516624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31250316 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 432 kB Writeback: 0 kB AnonPages: 626328 kB Mapped: 15272 kB Slab: 78304 kB PageTables: 5948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 770376 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= 74200 MiB End job on node127 at 2010-06-30 23:04:06