Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 29 | 1800.04 | 1798.94 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_1.opb |
| MD5SUM | 7c4476530a00e5609896ce3ef5260c8d |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 26 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 23 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2482 |
| Sum of products size (including duplicates) | 4964 |
| Number of different products | 2482 |
| Sum of products size | 4964 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4106567-1466271005.opb 0.09/0.11 c reading problem ... 0.09/0.11 c objective function found 0.44/0.31 c ... done. Wall clock time 0.202s. 0.44/0.31 c declared #vars 200 0.44/0.31 c internal #vars 2682 0.44/0.31 c #constraints 5164 0.44/0.31 c constraints type 0.44/0.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2682 0.44/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2482 0.44/0.31 c 5164 constraints processed. 0.44/0.31 c objective function length is 200 literals 0.44/0.34 c SATISFIABLE 0.44/0.34 c OPTIMIZING... 0.44/0.34 c Got one! Elapsed wall clock time (in seconds):0.23 0.44/0.34 o 32 0.75/0.46 c Got one! Elapsed wall clock time (in seconds):0.347 0.75/0.46 o 31 0.75/0.49 c Got one! Elapsed wall clock time (in seconds):0.382 0.75/0.49 o 30 3.46/2.81 c cleaning 2683 clauses out of 5374 with flag 15139/5374 6.57/5.92 c cleaning 4345 clauses out of 8691 with flag 32130/11374 9.98/9.40 c cleaning 5667 clauses out of 11346 with flag 51816/18374 14.28/13.67 c cleaning 6832 clauses out of 13680 with flag 73579/26375 19.21/18.50 c cleaning 7923 clauses out of 15849 with flag 98068/35376 24.41/23.78 c cleaning 8961 clauses out of 17925 with flag 125016/45375 30.11/29.43 c cleaning 9974 clauses out of 19963 with flag 153966/56374 36.51/35.84 c cleaning 10984 clauses out of 21989 with flag 185852/68374 43.51/42.81 c cleaning 12002 clauses out of 24005 with flag 221661/81374 51.12/50.49 c cleaning 12988 clauses out of 26005 with flag 260940/95376 58.62/57.91 c Got one! Elapsed wall clock time (in seconds):57.798 58.62/57.91 o 29 61.38/60.67 c cleaning 15587 clauses out of 31195 with flag 14663/113554 64.78/64.08 c cleaning 10799 clauses out of 21609 with flag 30609/119555 68.58/67.88 c cleaning 8903 clauses out of 17810 with flag 49700/126555 72.88/72.17 c cleaning 8446 clauses out of 16907 with flag 71592/134555 77.67/76.90 c cleaning 8724 clauses out of 17461 with flag 96108/143555 82.67/81.98 c cleaning 9363 clauses out of 18736 with flag 122669/153554 88.27/87.53 c cleaning 10186 clauses out of 20374 with flag 150780/164555 94.38/93.68 c cleaning 11071 clauses out of 22187 with flag 181886/176554 101.37/100.63 c cleaning 12047 clauses out of 24116 with flag 217721/189554 109.07/108.31 c cleaning 13023 clauses out of 26069 with flag 255877/203554 117.57/116.85 c cleaning 14023 clauses out of 28048 with flag 296483/218556 126.47/125.71 c cleaning 15009 clauses out of 30025 with flag 339837/234556 135.67/134.97 c cleaning 16004 clauses out of 32015 with flag 384324/251555 146.08/145.33 c cleaning 16991 clauses out of 34010 with flag 434026/269554 156.47/155.78 c cleaning 18006 clauses out of 36020 with flag 485811/288555 167.17/166.44 c cleaning 19009 clauses out of 38017 with flag 539273/308558 178.67/177.91 c cleaning 19995 clauses out of 40004 with flag 597703/329554 191.37/190.66 c cleaning 21005 clauses out of 42013 with flag 658670/351558 204.87/204.10 c cleaning 21996 clauses out of 44004 with flag 721115/374554 218.58/217.83 c cleaning 22999 clauses out of 46010 with flag 784737/398556 232.77/232.06 c cleaning 23992 clauses out of 48009 with flag 850060/423554 247.87/247.17 c cleaning 24993 clauses out of 50017 with flag 920837/449554 263.56/262.83 c cleaning 26002 clauses out of 52026 with flag 992971/476556 280.37/279.63 c cleaning 27011 clauses out of 54022 with flag 1067166/504554 297.27/296.56 c cleaning 27995 clauses out of 56011 with flag 1145064/533554 314.92/314.19 c cleaning 29007 clauses out of 58019 with flag 1224443/563557 333.62/332.85 c cleaning 30005 clauses out of 60011 with flag 1306481/594556 353.03/352.21 c cleaning 30997 clauses out of 62004 with flag 1390211/626554 373.43/372.61 c cleaning 31994 clauses out of 64007 with flag 1477710/659554 394.13/393.32 c cleaning 32996 clauses out of 66013 with flag 1566268/693554 415.54/414.80 c cleaning 34007 clauses out of 68017 with flag 1657925/728554 437.13/436.37 c cleaning 35004 clauses out of 70010 with flag 1752183/764554 460.23/459.41 c cleaning 35998 clauses out of 72006 with flag 1853910/801554 485.83/485.10 c cleaning 37002 clauses out of 74009 with flag 1959504/839555 513.54/512.71 c cleaning 37997 clauses out of 76006 with flag 2065548/878554 540.83/540.00 c cleaning 39002 clauses out of 78010 with flag 2173918/918555 569.33/568.57 c cleaning 39990 clauses out of 80008 with flag 2285251/959555 598.33/597.58 c cleaning 41006 clauses out of 82017 with flag 2401190/1001554 627.74/626.94 c cleaning 42002 clauses out of 84012 with flag 2520715/1044555 657.84/657.08 c cleaning 42994 clauses out of 86009 with flag 2641173/1088554 689.05/688.28 c cleaning 44001 clauses out of 88015 with flag 2766739/1133554 720.14/719.28 c cleaning 44999 clauses out of 90014 with flag 2889927/1179554 749.64/748.72 c cleaning 45990 clauses out of 92015 with flag 3022561/1226554 780.45/779.59 c cleaning 47008 clauses out of 94028 with flag 3150624/1274557 811.45/810.55 c cleaning 48002 clauses out of 96025 with flag 3286417/1323562 842.75/841.84 c cleaning 49010 clauses out of 98019 with flag 3420812/1373558 874.75/873.82 c cleaning 50000 clauses out of 100006 with flag 3555343/1424555 908.06/907.17 c cleaning 50993 clauses out of 102005 with flag 3697060/1476554 942.36/941.49 c cleaning 52001 clauses out of 104017 with flag 3839470/1529559 978.37/977.49 c cleaning 53001 clauses out of 106011 with flag 3986856/1583554 1013.87/1012.98 c cleaning 54001 clauses out of 108013 with flag 4140138/1638557 1052.77/1051.89 c cleaning 54986 clauses out of 110009 with flag 4293116/1694554 1092.28/1091.31 c cleaning 56001 clauses out of 112023 with flag 4448308/1751554 1133.33/1132.39 c cleaning 57005 clauses out of 114022 with flag 4608089/1809554 1174.62/1173.60 c cleaning 58000 clauses out of 116017 with flag 4765828/1868554 1217.53/1216.59 c cleaning 58992 clauses out of 118018 with flag 4928780/1928555 1259.03/1258.04 c cleaning 60005 clauses out of 120025 with flag 5095435/1989554 1303.03/1302.03 c cleaning 61003 clauses out of 122021 with flag 5263259/2051555 1347.53/1346.55 c cleaning 62008 clauses out of 124020 with flag 5429787/2114557 1394.93/1393.91 c cleaning 63005 clauses out of 126010 with flag 5602659/2178555 1439.54/1438.50 c cleaning 63992 clauses out of 128004 with flag 5783214/2243554 1484.53/1483.60 c cleaning 65005 clauses out of 130017 with flag 5960028/2309559 1533.35/1532.36 c cleaning 65995 clauses out of 132008 with flag 6146559/2376555 1584.03/1582.96 c cleaning 66995 clauses out of 134012 with flag 6337529/2444554 1636.23/1635.14 c cleaning 67998 clauses out of 136018 with flag 6525554/2513555 1685.63/1684.50 c cleaning 69009 clauses out of 138023 with flag 6716877/2583558 1736.24/1735.19 c cleaning 69995 clauses out of 140010 with flag 6909977/2654554 1787.84/1786.77 c cleaning 70988 clauses out of 142015 with flag 7104891/2726554 1800.04/1798.90 c starts : 40 1800.04/1798.90 c conflicts : 2745501 1800.04/1798.90 c decisions : 6888742 1800.04/1798.90 c propagations : 1606188799 1800.04/1798.90 c inspects : 20224760565 1800.04/1798.90 c shortcuts : 0 1800.04/1798.90 c learnt literals : 0 1800.04/1798.90 c learnt binary clauses : 0 1800.04/1798.90 c learnt ternary clauses : 1 1800.04/1798.90 c learnt constraints : 2745501 1800.04/1798.90 c ignored constraints : 0 1800.04/1798.90 c root simplifications : 0 1800.04/1798.90 c removed literals (reason simplification) : 0 1800.04/1798.90 c reason swapping (by a shorter reason) : 0 1800.04/1798.90 c Calls to reduceDB : 78 1800.04/1798.90 c Number of update (reduction) of LBD : 709969 1800.04/1798.90 c Imported unit clauses : 0 1800.04/1798.90 c number of reductions to clauses (during analyze) : 0 1800.04/1798.90 c number of learned constraints concerned by reduction : 0 1800.04/1798.90 c number of learning phase by resolution : 0 1800.04/1798.90 c number of learning phase by cutting planes : 0 1800.04/1798.90 c speed (assignments/second) : 893029.627195616 1800.04/1798.90 c non guided choices 0 1800.04/1798.93 c learnt constraints type 1800.04/1798.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 89974 1800.04/1798.93 s SATISFIABLE 1800.04/1798.93 c Found 4 solution(s) 1800.04/1798.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 1800.04/1798.93 c objective function=29 1800.04/1798.93 c Total wall clock time (in seconds): 1798.818
OK 29
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106567-1466271005/watcher-4106567-1466271005 -o /tmp/evaluation-result-4106567-1466271005/solver-4106567-1466271005 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466240732-22004 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106567-1466271005.opb pid=27610 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.34 2.25 2.19 4/195 27613 /proc/meminfo: memFree=29949700/32872528 swapFree=1542984/1696284 [pid=27613] ppid=27610 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/27613/stat : 27613 (java) D 27610 27613 21988 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 29147102 9515008 175 33554432000 1073741824 1073778376 140737347738768 140737347721496 270707540880 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/27613/statm: 2323 175 133 9 0 71 0 [startup+0.100158 s] /proc/loadavg: 2.34 2.25 2.19 4/195 27613 /proc/meminfo: memFree=29949700/32872528 swapFree=1542984/1696284 [pid=27613] ppid=27610 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/27613/stat : 27613 (java) S 27610 27613 21988 0 -1 4202496 4441 0 1 0 8 1 0 0 20 0 18 0 29147102 9787879424 5570 33554432000 1073741824 1073778376 140737347738768 140737347729904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27613/statm: 2389619 5570 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200314 s] /proc/loadavg: 2.34 2.25 2.19 4/195 27613 /proc/meminfo: memFree=29949700/32872528 swapFree=1542984/1696284 [pid=27613] ppid=27610 vsize=9558476 CPUtime=0.23 cores=0,2,4,6 /proc/27613/stat : 27613 (java) S 27610 27613 21988 0 -1 4202496 4760 0 1 0 22 1 0 0 20 0 18 0 29147102 9787879424 6327 33554432000 1073741824 1073778376 140737347738768 140737347729904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27613/statm: 2389619 6327 2202 9 0 2380296 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9558476 [startup+0.30022 s] /proc/loadavg: 2.34 2.25 2.19 4/195 27613 /proc/meminfo: memFree=29949700/32872528 swapFree=1542984/1696284 [pid=27613] ppid=27610 vsize=9558476 CPUtime=0.44 cores=0,2,4,6 /proc/27613/stat : 27613 (java) S 27610 27613 21988 0 -1 4202496 5796 0 1 0 43 1 0 0 20 0 18 0 29147102 9787879424 8185 33554432000 1073741824 1073778376 140737347738768 140737347729904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27613/statm: 2389619 8185 2237 9 0 2380296 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 9558476 [startup+0.700246 s] /proc/loadavg: 2.34 2.25 2.19 4/195 27613 /proc/meminfo: memFree=29949700/32872528 swapFree=1542984/1696284 [pid=27613] ppid=27610 vsize=9625040 CPUtime=1.26 cores=0,2,4,6 /proc/27613/stat : 27613 (java) S 27610 27613 21988 0 -1 4202496 9225 0 1 0 124 2 0 0 20 0 19 0 29147102 9856040960 11150 33554432000 1073741824 1073778376 140737347738768 140737347729904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27613/statm: 2406260 11150 2262 9 0 2396937 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 9625040 [startup+1.50076 s] /proc/loadavg: 2.34 2.25 2.19 4/214 27632 /proc/meminfo: memFree=29913284/32872528 swapFree=1542984/1696284 [pid=27613] ppid=27610 vsize=9625040 CPUtime=2.07 cores=0,2,4,6 /proc/27613/stat : 27613 (java) S 27610 27613 21988 0 -1 4202496 9229 0 1 0 205 2 0 0 20 0 19 0 29147102 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 140737347729904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27613/statm: 2406260 11153 2264 9 0 2396937 0 [pid=27613/tid=27615] ppid=27610 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/27613/task/27615/stat : 27615 (java) R 27610 27613 21988 0 -1 4202560 2469 0 1 0 145 1 0 0 20 0 19 0 29147103 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786758484376 139786631423049 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27616] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27616/stat : 27616 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786602408360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27617] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27617/stat : 27617 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786601355816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27618] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27618/stat : 27618 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786600302760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27613/tid=27619] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27619/stat : 27619 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786599250216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27620] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27620/stat : 27620 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786598198184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27621] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27621/stat : 27621 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786597145640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27622] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27622/stat : 27622 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786596092584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27623] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27623/stat : 27623 (java) S 27610 27613 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786595040040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27624] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27624/stat : 27624 (java) S 27610 27613 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786582628712 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27625] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27625/stat : 27625 (java) S 27610 27613 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786581575032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27626] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27626/stat : 27626 (java) S 27610 27613 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786580521864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27627] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27627/stat : 27627 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786579470608 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27628] ppid=27610 vsize=9625040 CPUtime=0.27 cores=0,2,4,6 /proc/27613/task/27628/stat : 27628 (java) S 27610 27613 21988 0 -1 4202560 2564 0 0 0 27 0 0 0 20 0 19 0 29147108 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786578418488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27629] ppid=27610 vsize=9625040 CPUtime=0.3 cores=0,2,4,6 /proc/27613/task/27629/stat : 27629 (java) S 27610 27613 21988 0 -1 4202560 2918 0 0 0 30 0 0 0 20 0 19 0 29147108 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786577365944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27613/tid=27630] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27630/stat : 27630 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786576313080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27613/tid=27631] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27631/stat : 27631 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786575260744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27632] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27632/stat : 27632 (java) S 27610 27613 21988 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29147134 9856040960 11153 33554432000 1073741824 1073778376 140737347738768 139786573972520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.07 Current children cumulated vsize (KiB) 9625040 [startup+3.10077 s] /proc/loadavg: 2.34 2.25 2.19 4/214 27632 /proc/meminfo: memFree=29912664/32872528 swapFree=1542984/1696284 [pid=27613] ppid=27610 vsize=9625040 CPUtime=3.76 cores=0,2,4,6 /proc/27613/stat : 27613 (java) S 27610 27613 21988 0 -1 4202496 9616 0 1 0 374 2 0 0 20 0 19 0 29147102 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 140737347729904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27613/statm: 2406260 11200 2272 9 0 2396937 0 [pid=27613/tid=27615] ppid=27610 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/27613/task/27615/stat : 27615 (java) R 27610 27613 21988 0 -1 4202560 2470 0 1 0 305 1 0 0 20 0 19 0 29147103 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786758484424 139786631423109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27616] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27616/stat : 27616 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786602408360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27617] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27617/stat : 27617 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786601355816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27618] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27618/stat : 27618 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786600302760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27613/tid=27619] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27619/stat : 27619 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786599250216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27620] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27620/stat : 27620 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786598198184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27621] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27621/stat : 27621 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786597145640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27622] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27622/stat : 27622 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786596092584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27623] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27623/stat : 27623 (java) S 27610 27613 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786595040040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27624] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27624/stat : 27624 (java) S 27610 27613 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786582628712 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27625] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27625/stat : 27625 (java) S 27610 27613 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786581575032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27626] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27626/stat : 27626 (java) S 27610 27613 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786580521864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27627] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27627/stat : 27627 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786579470608 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27628] ppid=27610 vsize=9625040 CPUtime=0.34 cores=0,2,4,6 /proc/27613/task/27628/stat : 27628 (java) S 27610 27613 21988 0 -1 4202560 2943 0 0 0 34 0 0 0 20 0 19 0 29147108 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786578418488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27629] ppid=27610 vsize=9625040 CPUtime=0.32 cores=0,2,4,6 /proc/27613/task/27629/stat : 27629 (java) S 27610 27613 21988 0 -1 4202560 2925 0 0 0 32 0 0 0 20 0 19 0 29147108 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786577365944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27630] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27630/stat : 27630 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786576313080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27613/tid=27631] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27631/stat : 27631 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786575260744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27632] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27632/stat : 27632 (java) S 27610 27613 21988 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29147134 9856040960 11200 33554432000 1073741824 1073778376 140737347738768 139786573972520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.76 Current children cumulated vsize (KiB) 9625040 [startup+6.30068 s] /proc/loadavg: 2.31 2.24 2.19 3/214 27632 /proc/meminfo: memFree=29912092/32872528 swapFree=1542984/1696284 [pid=27613] ppid=27610 vsize=9625040 CPUtime=6.97 cores=0,2,4,6 /proc/27613/stat : 27613 (java) S 27610 27613 21988 0 -1 4202496 9622 0 1 0 695 2 0 0 20 0 19 0 29147102 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 140737347729904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27613/statm: 2406260 11289 2273 9 0 2396937 0 [pid=27613/tid=27615] ppid=27610 vsize=9625040 CPUtime=6.25 cores=0,2,4,6 /proc/27613/task/27615/stat : 27615 (java) R 27610 27613 21988 0 -1 4202560 2473 0 1 0 624 1 0 0 20 0 19 0 29147103 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786758484424 139786631231324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27616] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27616/stat : 27616 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786602408360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27617] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27617/stat : 27617 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786601355816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27618] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27618/stat : 27618 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786600302760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27613/tid=27619] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27619/stat : 27619 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786599250216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27620] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27620/stat : 27620 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786598198184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27621] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27621/stat : 27621 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786597145640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27622] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27622/stat : 27622 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786596092584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27623] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27623/stat : 27623 (java) S 27610 27613 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29147104 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786595040040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27624] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27624/stat : 27624 (java) S 27610 27613 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786582628712 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27625] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27625/stat : 27625 (java) S 27610 27613 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786581575032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27626] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27626/stat : 27626 (java) S 27610 27613 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786580521864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27627] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27627/stat : 27627 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786579470608 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27628] ppid=27610 vsize=9625040 CPUtime=0.34 cores=0,2,4,6 /proc/27613/task/27628/stat : 27628 (java) S 27610 27613 21988 0 -1 4202560 2944 0 0 0 34 0 0 0 20 0 19 0 29147108 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786578418488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27629] ppid=27610 vsize=9625040 CPUtime=0.33 cores=0,2,4,6 /proc/27613/task/27629/stat : 27629 (java) S 27610 27613 21988 0 -1 4202560 2926 0 0 0 33 0 0 0 20 0 19 0 29147108 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786577365944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27630] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27630/stat : 27630 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786576313080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27613/tid=27631] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27631/stat : 27631 (java) S 27610 27613 21988 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786575260744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27632] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27632/stat : 27632 (java) S 27610 27613 21988 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29147134 9856040960 11289 33554432000 1073741824 1073778376 140737347738768 139786573972520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.97 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=27613/tid=27632] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27632/stat : 27632 (java) S 27610 27613 21988 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29147134 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786573972520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1723.43 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.36 2.26 2.20 3/213 27803 /proc/meminfo: memFree=29677012/32872528 swapFree=1542984/1696284 [pid=27613] ppid=27610 vsize=9625040 CPUtime=1783.44 cores=0,2,4,6 /proc/27613/stat : 27613 (java) S 27610 27613 21988 0 -1 4202496 10422 0 1 0 178314 30 0 0 20 0 19 0 29147102 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 140737347729904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27613/statm: 2406260 55393 2288 9 0 2396937 0 [pid=27613/tid=27615] ppid=27610 vsize=9625040 CPUtime=1777.5 cores=0,2,4,6 /proc/27613/task/27615/stat : 27615 (java) R 27610 27613 21988 0 -1 4202560 2539 0 1 0 177721 29 0 0 20 0 19 0 29147103 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786758475456 139786631363423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27616] ppid=27610 vsize=9625040 CPUtime=0.07 cores=0,2,4,6 /proc/27613/task/27616/stat : 27616 (java) S 27610 27613 21988 0 -1 4202560 147 0 0 0 5 2 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786602408360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27617] ppid=27610 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/27613/task/27617/stat : 27617 (java) S 27610 27613 21988 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786601355816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27613/tid=27618] ppid=27610 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/27613/task/27618/stat : 27618 (java) S 27610 27613 21988 0 -1 4202560 17 0 0 0 2 2 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786600302760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27619] ppid=27610 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/27613/task/27619/stat : 27619 (java) S 27610 27613 21988 0 -1 4202560 118 0 0 0 3 2 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786599250216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27620] ppid=27610 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/27613/task/27620/stat : 27620 (java) S 27610 27613 21988 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786598198184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27621] ppid=27610 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/27613/task/27621/stat : 27621 (java) S 27610 27613 21988 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786597145640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27622] ppid=27610 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/27613/task/27622/stat : 27622 (java) S 27610 27613 21988 0 -1 4202560 125 0 0 0 1 0 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786596092584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27623] ppid=27610 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/27613/task/27623/stat : 27623 (java) S 27610 27613 21988 0 -1 4202560 135 0 0 0 2 0 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786595040040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27624] ppid=27610 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/27613/task/27624/stat : 27624 (java) S 27610 27613 21988 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 29147105 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786582628712 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27625] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27625/stat : 27625 (java) S 27610 27613 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786581575032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27626] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27626/stat : 27626 (java) S 27610 27613 21988 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786580521864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27627] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27627/stat : 27627 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786579470608 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27628] ppid=27610 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/27613/task/27628/stat : 27628 (java) S 27610 27613 21988 0 -1 4202560 2947 0 0 0 37 0 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786578418488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27629] ppid=27610 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/27613/task/27629/stat : 27629 (java) S 27610 27613 21988 0 -1 4202560 2947 0 0 0 42 0 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786577365944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27630] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27630/stat : 27630 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786576313080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27613/tid=27631] ppid=27610 vsize=9625040 CPUtime=0.35 cores=0,2,4,6 /proc/27613/task/27631/stat : 27631 (java) S 27610 27613 21988 0 -1 4202560 104 0 0 0 15 20 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786575260744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27632] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27632/stat : 27632 (java) S 27610 27613 21988 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29147134 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786573972520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.9 s] /proc/loadavg: 2.26 2.24 2.19 3/214 27806 /proc/meminfo: memFree=29676516/32872528 swapFree=1542984/1696284 [pid=27613] ppid=27610 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6 /proc/27613/stat : 27613 (java) S 27610 27613 21988 0 -1 4202496 10422 0 1 0 179974 30 0 0 20 0 19 0 29147102 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 140737347729904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27613/statm: 2406260 55393 2288 9 0 2396937 0 [pid=27613/tid=27615] ppid=27610 vsize=9625040 CPUtime=1794.06 cores=0,2,4,6 /proc/27613/task/27615/stat : 27615 (java) R 27610 27613 21988 0 -1 4202560 2539 0 1 0 179377 29 0 0 20 0 19 0 29147103 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786758475456 139786631424003 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27616] ppid=27610 vsize=9625040 CPUtime=0.07 cores=0,2,4,6 /proc/27613/task/27616/stat : 27616 (java) S 27610 27613 21988 0 -1 4202560 147 0 0 0 5 2 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786602408360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27617] ppid=27610 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/27613/task/27617/stat : 27617 (java) S 27610 27613 21988 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786601355816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27613/tid=27618] ppid=27610 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/27613/task/27618/stat : 27618 (java) S 27610 27613 21988 0 -1 4202560 17 0 0 0 2 2 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786600302760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27619] ppid=27610 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/27613/task/27619/stat : 27619 (java) S 27610 27613 21988 0 -1 4202560 118 0 0 0 3 2 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786599250216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27620] ppid=27610 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/27613/task/27620/stat : 27620 (java) S 27610 27613 21988 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786598198184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27621] ppid=27610 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/27613/task/27621/stat : 27621 (java) S 27610 27613 21988 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786597145640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27622] ppid=27610 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/27613/task/27622/stat : 27622 (java) S 27610 27613 21988 0 -1 4202560 125 0 0 0 1 0 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786596092584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27623] ppid=27610 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/27613/task/27623/stat : 27623 (java) S 27610 27613 21988 0 -1 4202560 135 0 0 0 2 0 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786595040040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27624] ppid=27610 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/27613/task/27624/stat : 27624 (java) S 27610 27613 21988 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 29147105 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786582628712 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27625] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27625/stat : 27625 (java) S 27610 27613 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786581575032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27626] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27626/stat : 27626 (java) S 27610 27613 21988 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786580521864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27627] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27627/stat : 27627 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786579470608 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27628] ppid=27610 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/27613/task/27628/stat : 27628 (java) S 27610 27613 21988 0 -1 4202560 2947 0 0 0 37 0 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786578418488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27629] ppid=27610 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/27613/task/27629/stat : 27629 (java) S 27610 27613 21988 0 -1 4202560 2947 0 0 0 42 0 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786577365944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27630] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27630/stat : 27630 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786576313080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27613/tid=27631] ppid=27610 vsize=9625040 CPUtime=0.35 cores=0,2,4,6 /proc/27613/task/27631/stat : 27631 (java) S 27610 27613 21988 0 -1 4202560 104 0 0 0 15 20 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786575260744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27632] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27632/stat : 27632 (java) S 27610 27613 21988 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29147134 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786573972520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 27613 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1798.9 s] /proc/loadavg: 2.26 2.24 2.19 3/214 27806 /proc/meminfo: memFree=29676516/32872528 swapFree=1542984/1696284 [pid=27613] ppid=27610 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6 /proc/27613/stat : 27613 (java) S 27610 27613 21988 0 -1 4202496 10422 0 1 0 179974 30 0 0 20 0 19 0 29147102 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 140737347729904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/27613/statm: 2406260 55393 2288 9 0 2396937 0 [pid=27613/tid=27615] ppid=27610 vsize=9625040 CPUtime=1794.06 cores=0,2,4,6 /proc/27613/task/27615/stat : 27615 (java) R 27610 27613 21988 0 -1 4202560 2539 0 1 0 179377 29 0 0 20 0 19 0 29147103 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786758475456 139786631424003 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27616] ppid=27610 vsize=9625040 CPUtime=0.07 cores=0,2,4,6 /proc/27613/task/27616/stat : 27616 (java) S 27610 27613 21988 0 -1 4202560 147 0 0 0 5 2 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786602408360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27617] ppid=27610 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/27613/task/27617/stat : 27617 (java) S 27610 27613 21988 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786601355816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27613/tid=27618] ppid=27610 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/27613/task/27618/stat : 27618 (java) S 27610 27613 21988 0 -1 4202560 17 0 0 0 2 2 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786600302760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27619] ppid=27610 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/27613/task/27619/stat : 27619 (java) S 27610 27613 21988 0 -1 4202560 118 0 0 0 3 2 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786599250216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27620] ppid=27610 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/27613/task/27620/stat : 27620 (java) S 27610 27613 21988 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786598198184 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27621] ppid=27610 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/27613/task/27621/stat : 27621 (java) S 27610 27613 21988 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786597145640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27622] ppid=27610 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/27613/task/27622/stat : 27622 (java) S 27610 27613 21988 0 -1 4202560 125 0 0 0 1 0 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786596092584 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27623] ppid=27610 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/27613/task/27623/stat : 27623 (java) S 27610 27613 21988 0 -1 4202560 135 0 0 0 2 0 0 0 20 0 19 0 29147104 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786595040040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27613/tid=27624] ppid=27610 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/27613/task/27624/stat : 27624 (java) S 27610 27613 21988 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 29147105 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786582628712 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27625] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27625/stat : 27625 (java) S 27610 27613 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786581575032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27626] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27626/stat : 27626 (java) S 27610 27613 21988 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29147105 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786580521864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27627] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27627/stat : 27627 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786579470608 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27628] ppid=27610 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/27613/task/27628/stat : 27628 (java) S 27610 27613 21988 0 -1 4202560 2947 0 0 0 37 0 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786578418488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27613/tid=27629] ppid=27610 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/27613/task/27629/stat : 27629 (java) S 27610 27613 21988 0 -1 4202560 2947 0 0 0 42 0 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786577365944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27630] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27630/stat : 27630 (java) S 27610 27613 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786576313080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27613/tid=27631] ppid=27610 vsize=9625040 CPUtime=0.35 cores=0,2,4,6 /proc/27613/task/27631/stat : 27631 (java) S 27610 27613 21988 0 -1 4202560 104 0 0 0 15 20 0 0 20 0 19 0 29147108 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786575260744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27613/tid=27632] ppid=27610 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/27613/task/27632/stat : 27632 (java) S 27610 27613 21988 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29147134 9856040960 55393 33554432000 1073741824 1073778376 140737347738768 139786573972520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27613 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=148096 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=702893 # CPU time returned by wait4() is 1795.85 # while last known CPU time is 1800.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1798.94 CPU time (s): 1800.04 CPU user time (s): 1799.74 CPU system time (s): 0.3 CPU usage (%): 100.061 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.15 system time used= 0.702893 maximum resident set size= 221708 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10462 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38185 involuntary context switches= 2996 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.1913 second user time and 11.4843 second system time The end
Begin job on node125 at 2016-06-18 19:30:05 IDJOB=4106567 IDBENCH=48107 IDSOLVER=2546 FILE ID=node125/4106567-1466271005 RUNJOBID= node125-1466240732-22004 PBS_JOBID= 19918195 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_1.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106567-1466271005/watcher-4106567-1466271005 -o /tmp/evaluation-result-4106567-1466271005/solver-4106567-1466271005 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466240732-22004 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106567-1466271005.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7c4476530a00e5609896ce3ef5260c8d RANDOM SEED=1526525573 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29950220 kB Buffers: 141460 kB Cached: 170684 kB SwapCached: 688 kB Active: 247848 kB Inactive: 240720 kB Active(anon): 177340 kB Inactive(anon): 1040 kB Active(file): 70508 kB Inactive(file): 239680 kB Unevictable: 1696284 kB Mlocked: 1542984 kB SwapTotal: 67108856 kB SwapFree: 67098232 kB Dirty: 492 kB Writeback: 0 kB AnonPages: 1824220 kB Mapped: 15344 kB Shmem: 0 kB Slab: 604600 kB SReclaimable: 48064 kB SUnreclaim: 556536 kB KernelStack: 1768 kB PageTables: 7952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2385688 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 251904 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71744 MiB End job on node125 at 2016-06-18 20:00:04