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) | 28 | 1800.08 | 1799.14 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_5.opb |
| MD5SUM | 08d7a5060b972f308367859ff82f87f6 |
| 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 | 25 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| 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) | 2528 |
| Sum of products size (including duplicates) | 5056 |
| Number of different products | 2528 |
| Sum of products size | 5056 |
0.05/0.31 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.05/0.31 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.31 c See www.sat4j.org for details. 0.05/0.32 c version PB16.v20160501 0.05/0.32 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.32 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.32 c java.vm.version 19.1-b02 0.05/0.32 c java.vm.vendor Sun Microsystems Inc. 0.05/0.32 c sun.arch.data.model 64 0.05/0.32 c java.version 1.6.0_24 0.05/0.32 c os.name Linux 0.05/0.32 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.32 c os.arch amd64 0.05/0.32 c Free memory 501472288 0.05/0.32 c Max memory 7480803328 0.05/0.32 c Total memory 504102912 0.05/0.32 c Number of processors 8 0.05/0.35 c Pseudo Boolean Optimization by upper bound 0.05/0.35 c --- Begin Solver configuration --- 0.05/0.35 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.05/0.35 c Learn all clauses as in MiniSAT 0.05/0.35 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.05/0.35 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.05/0.35 c No reason simplification 0.05/0.35 c Glucose 2.1 dynamic restart strategy 0.05/0.35 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.05/0.35 c timeout=2147483s 0.05/0.35 c DB Simplification allowed=false 0.05/0.35 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.05/0.35 c --- End Solver configuration --- 0.05/0.35 c solving HOME/instance-4085835-1465255130.opb 0.05/0.35 c reading problem ... 0.05/0.36 c objective function found 0.35/0.57 c ... done. Wall clock time 0.215s. 0.35/0.57 c declared #vars 200 0.35/0.57 c internal #vars 2728 0.35/0.57 c #constraints 5256 0.35/0.57 c constraints type 0.35/0.57 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2728 0.35/0.57 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2528 0.35/0.57 c 5256 constraints processed. 0.35/0.57 c objective function length is 200 literals 0.61/0.60 c SATISFIABLE 0.61/0.60 c OPTIMIZING... 0.61/0.60 c Got one! Elapsed wall clock time (in seconds):0.247 0.61/0.60 o 31 0.61/0.67 c Got one! Elapsed wall clock time (in seconds):0.316 0.61/0.67 o 30 0.61/0.69 c Got one! Elapsed wall clock time (in seconds):0.34 0.61/0.69 o 29 0.91/0.73 c Got one! Elapsed wall clock time (in seconds):0.377 0.91/0.73 o 28 3.44/3.06 c cleaning 2567 clauses out of 5149 with flag 13637/5149 6.71/6.21 c cleaning 4273 clauses out of 8583 with flag 30803/11150 10.41/9.99 c cleaning 5650 clauses out of 11310 with flag 50037/18150 14.82/14.32 c cleaning 6830 clauses out of 13663 with flag 71394/26153 19.63/19.17 c cleaning 7911 clauses out of 15829 with flag 95413/35149 24.92/24.48 c cleaning 8947 clauses out of 17919 with flag 121645/45150 30.62/30.12 c cleaning 9986 clauses out of 19973 with flag 150520/56151 37.02/36.52 c cleaning 10990 clauses out of 21987 with flag 182738/68151 44.27/43.72 c cleaning 11998 clauses out of 23995 with flag 218769/81149 51.87/51.39 c cleaning 12999 clauses out of 26000 with flag 258852/95152 60.07/59.57 c cleaning 13998 clauses out of 28000 with flag 299144/110151 68.87/68.33 c cleaning 15000 clauses out of 30000 with flag 342630/126149 78.57/78.06 c cleaning 16000 clauses out of 32000 with flag 389345/143149 88.38/87.86 c cleaning 17000 clauses out of 34000 with flag 438516/161149 98.38/97.81 c cleaning 17999 clauses out of 36000 with flag 488779/180149 109.67/109.18 c cleaning 18988 clauses out of 38001 with flag 542487/200149 121.48/121.00 c cleaning 20007 clauses out of 40016 with flag 598982/221152 134.58/134.01 c cleaning 20999 clauses out of 42006 with flag 656822/243149 147.78/147.27 c cleaning 21999 clauses out of 44008 with flag 717403/266150 161.58/161.05 c cleaning 22996 clauses out of 46009 with flag 781553/290150 175.87/175.37 c cleaning 24003 clauses out of 48012 with flag 848482/315149 190.68/190.11 c cleaning 25000 clauses out of 50011 with flag 916932/341151 205.78/205.25 c cleaning 25999 clauses out of 52010 with flag 989557/368150 221.88/221.39 c cleaning 26997 clauses out of 54010 with flag 1065479/396149 238.48/237.99 c cleaning 28007 clauses out of 56013 with flag 1149327/425149 256.09/255.56 c cleaning 28993 clauses out of 58010 with flag 1229129/455153 276.39/275.84 c cleaning 29997 clauses out of 60014 with flag 1316265/486150 297.70/297.11 c cleaning 31001 clauses out of 62016 with flag 1405477/518149 319.20/318.65 c cleaning 31995 clauses out of 64018 with flag 1494200/551152 341.32/340.77 c cleaning 32997 clauses out of 66020 with flag 1589013/585149 363.31/362.79 c cleaning 33997 clauses out of 68024 with flag 1682275/620150 386.12/385.56 c cleaning 35012 clauses out of 70026 with flag 1778922/656149 409.62/409.08 c cleaning 36001 clauses out of 72014 with flag 1879267/693149 433.12/432.54 c cleaning 36996 clauses out of 74013 with flag 1983258/731149 457.61/457.05 c cleaning 38002 clauses out of 76017 with flag 2087051/770149 483.01/482.43 c cleaning 39001 clauses out of 78018 with flag 2198711/810152 509.11/508.59 c cleaning 40003 clauses out of 80014 with flag 2311753/851149 535.81/535.27 c cleaning 40995 clauses out of 82011 with flag 2427568/893149 564.61/564.06 c cleaning 41992 clauses out of 84016 with flag 2545550/936149 594.02/593.43 c cleaning 43006 clauses out of 86025 with flag 2666665/980150 623.71/623.10 c cleaning 44010 clauses out of 88019 with flag 2788711/1025150 653.31/652.79 c cleaning 44997 clauses out of 90008 with flag 2916144/1071149 683.91/683.35 c cleaning 45992 clauses out of 92011 with flag 3046236/1118149 715.52/714.97 c cleaning 47002 clauses out of 94019 with flag 3179294/1166149 748.47/747.80 c cleaning 47992 clauses out of 96017 with flag 3314070/1215149 780.88/780.25 c cleaning 48997 clauses out of 98026 with flag 3450491/1265150 813.98/813.31 c cleaning 50004 clauses out of 100030 with flag 3587708/1316151 850.49/849.89 c cleaning 51004 clauses out of 102025 with flag 3733823/1368150 888.09/887.42 c cleaning 52002 clauses out of 104020 with flag 3877809/1421149 925.40/924.78 c cleaning 53004 clauses out of 106018 with flag 4028011/1475149 963.40/962.80 c cleaning 53994 clauses out of 108014 with flag 4177012/1530149 1003.19/1002.56 c cleaning 55008 clauses out of 110020 with flag 4330071/1586149 1044.00/1043.35 c cleaning 55989 clauses out of 112012 with flag 4487306/1643149 1086.91/1086.29 c cleaning 57000 clauses out of 114025 with flag 4645838/1701151 1130.11/1129.44 c cleaning 58004 clauses out of 116023 with flag 4808106/1760149 1174.58/1173.85 c cleaning 59000 clauses out of 118020 with flag 4974697/1820150 1218.88/1218.13 c cleaning 60002 clauses out of 120019 with flag 5144677/1881149 1264.19/1263.47 c cleaning 61002 clauses out of 122017 with flag 5317953/1943149 1310.32/1309.50 c cleaning 62007 clauses out of 124015 with flag 5497046/2006149 1357.41/1356.67 c cleaning 62998 clauses out of 126010 with flag 5675203/2070151 1403.43/1402.68 c cleaning 63996 clauses out of 128013 with flag 5859173/2135152 1448.73/1447.92 c cleaning 65005 clauses out of 130014 with flag 6049426/2201149 1497.03/1496.20 c cleaning 65989 clauses out of 132010 with flag 6233642/2268150 1545.84/1545.08 c cleaning 66999 clauses out of 134020 with flag 6420960/2336149 1597.45/1596.51 c cleaning 68003 clauses out of 136024 with flag 6614791/2405152 1645.06/1644.15 c cleaning 69006 clauses out of 138022 with flag 6812098/2475153 1696.88/1695.94 c cleaning 69996 clauses out of 140012 with flag 7010777/2546149 1748.18/1747.21 c cleaning 71008 clauses out of 142018 with flag 7209252/2618151 1800.08/1799.10 c starts : 75 1800.08/1799.10 c conflicts : 2689005 1800.08/1799.10 c decisions : 6819548 1800.08/1799.10 c propagations : 1656876123 1800.08/1799.10 c inspects : 21779621940 1800.08/1799.10 c shortcuts : 0 1800.08/1799.10 c learnt literals : 0 1800.08/1799.10 c learnt binary clauses : 0 1800.08/1799.10 c learnt ternary clauses : 0 1800.08/1799.10 c learnt constraints : 2689005 1800.08/1799.10 c ignored constraints : 0 1800.08/1799.10 c root simplifications : 0 1800.08/1799.10 c removed literals (reason simplification) : 0 1800.08/1799.10 c reason swapping (by a shorter reason) : 0 1800.08/1799.10 c Calls to reduceDB : 68 1800.08/1799.10 c Number of update (reduction) of LBD : 716430 1800.08/1799.10 c Imported unit clauses : 0 1800.08/1799.10 c number of reductions to clauses (during analyze) : 0 1800.08/1799.10 c number of learned constraints concerned by reduction : 0 1800.08/1799.10 c number of learning phase by resolution : 0 1800.08/1799.10 c number of learning phase by cutting planes : 0 1800.08/1799.10 c speed (assignments/second) : 921240.3382099139 1800.08/1799.10 c non guided choices 0 1800.08/1799.13 c learnt constraints type 1800.08/1799.13 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 141865 1800.08/1799.13 s SATISFIABLE 1800.08/1799.13 c Found 4 solution(s) 1800.08/1799.13 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.08/1799.13 c objective function=28 1800.08/1799.13 c Total wall clock time (in seconds): 1798.779
OK 28
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-4085835-1465255130/watcher-4085835-1465255130 -o /tmp/evaluation-result-4085835-1465255130/solver-4085835-1465255130 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465255130-5982 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085835-1465255130.opb pid=6007 running on 4 cores: 1,3,5,7 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: 1.04 1.45 1.84 2/176 6011 /proc/meminfo: memFree=30257604/32872528 swapFree=16360/1798728 [pid=6011] ppid=6007 vsize=3568 CPUtime=0 cores=1,3,5,7 /proc/6011/stat : 6011 (java) D 6007 6011 5965 0 -1 4202496 174 0 1 0 0 0 0 0 20 0 1 0 107446161 3653632 50 33554432000 1073741824 1073778376 140736464355104 140736464352184 260181159207 0 0 4096 0 18446744071580397875 0 0 17 5 0 0 0 0 0 /proc/6011/statm: 892 50 38 9 0 30 0 [startup+0.100065 s] /proc/loadavg: 1.04 1.45 1.84 2/176 6011 /proc/meminfo: memFree=30257604/32872528 swapFree=16360/1798728 [pid=6011] ppid=6007 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/6011/stat : 6011 (java) D 6007 6011 5965 0 -1 4202496 1165 0 20 0 0 0 0 0 20 0 1 0 107446161 23793664 834 33554432000 1073741824 1073778376 140736121456912 140736121446904 139811177193408 0 0 4096 0 18446744071579943789 0 0 17 7 0 0 7 0 0 /proc/6011/statm: 5809 834 627 9 0 128 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23236 [startup+0.200315 s] /proc/loadavg: 1.04 1.45 1.84 2/176 6011 /proc/meminfo: memFree=30257604/32872528 swapFree=16360/1798728 [pid=6011] ppid=6007 vsize=9092432 CPUtime=0.02 cores=1,3,5,7 /proc/6011/stat : 6011 (java) S 6007 6011 5965 0 -1 4202496 2969 0 27 0 1 1 0 0 20 0 11 0 107446161 9310650368 3616 33554432000 1073741824 1073778376 140736121456912 140736121448048 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 7 0 0 /proc/6011/statm: 2273108 3616 1642 9 0 2263809 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9092432 [startup+0.300296 s] /proc/loadavg: 1.04 1.45 1.84 2/176 6011 /proc/meminfo: memFree=30257604/32872528 swapFree=16360/1798728 [pid=6011] ppid=6007 vsize=9558476 CPUtime=0.05 cores=1,3,5,7 /proc/6011/stat : 6011 (java) S 6007 6011 5965 0 -1 4202496 3366 0 27 0 4 1 0 0 20 0 18 0 107446161 9787879424 4522 33554432000 1073741824 1073778376 140736121456912 140736121448048 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 0 0 /proc/6011/statm: 2389619 4522 1786 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558476 [startup+0.70026 s] /proc/loadavg: 1.04 1.45 1.84 2/176 6011 /proc/meminfo: memFree=30257604/32872528 swapFree=16360/1798728 [pid=6011] ppid=6007 vsize=9625040 CPUtime=0.91 cores=1,3,5,7 /proc/6011/stat : 6011 (java) S 6007 6011 5965 0 -1 4202496 9278 0 27 0 88 3 0 0 20 0 19 0 107446161 9856040960 10394 33554432000 1073741824 1073778376 140736121456912 140736121448048 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 0 0 /proc/6011/statm: 2406260 10394 2260 9 0 2396937 0 Current children cumulated CPU time (s) 0.91 Current children cumulated vsize (KiB) 9625040 [startup+1.50071 s] /proc/loadavg: 1.04 1.45 1.84 5/212 6047 /proc/meminfo: memFree=30051352/32872528 swapFree=16360/1798728 [pid=6011] ppid=6007 vsize=9625040 CPUtime=1.88 cores=1,3,5,7 /proc/6011/stat : 6011 (java) S 6007 6011 5965 0 -1 4202496 9661 0 27 0 185 3 0 0 20 0 19 0 107446161 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 140736121448048 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 0 0 /proc/6011/statm: 2406260 10922 2265 9 0 2396937 0 [pid=6011/tid=6013] ppid=6007 vsize=9625040 CPUtime=1.22 cores=1,3,5,7 /proc/6011/task/6013/stat : 6013 (java) R 6007 6011 5965 0 -1 4202560 2411 0 6 0 120 2 0 0 20 0 19 0 107446171 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139811174240664 139811000771154 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 [pid=6011/tid=6023] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6023/stat : 6023 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139811135732392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6024] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6024/stat : 6024 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139811134679848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6025] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6025/stat : 6025 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139811133627304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6011/tid=6026] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6026/stat : 6026 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139811132574760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6027] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6027/stat : 6027 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139811131521192 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6028] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6028/stat : 6028 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139811130468648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6029] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6029/stat : 6029 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139811129416104 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6030] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6030/stat : 6030 (java) S 6007 6011 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139811128363560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6031] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6031/stat : 6031 (java) S 6007 6011 5965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107446180 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139810998045288 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6034] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6034/stat : 6034 (java) S 6007 6011 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107446182 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139810996991608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6036] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6036/stat : 6036 (java) S 6007 6011 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107446182 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139810995938952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6038] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6038/stat : 6038 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139810994887696 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6040] ppid=6007 vsize=9625040 CPUtime=0.32 cores=1,3,5,7 /proc/6011/task/6040/stat : 6040 (java) S 6007 6011 5965 0 -1 4202560 1954 0 0 0 32 0 0 0 20 0 19 0 107446187 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139810993834040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6042] ppid=6007 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/6011/task/6042/stat : 6042 (java) S 6007 6011 5965 0 -1 4202560 4039 0 0 0 30 0 0 0 20 0 19 0 107446187 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139810992781496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6044] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6044/stat : 6044 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139810991729144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6046] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6046/stat : 6046 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139810990676808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6047] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6047/stat : 6047 (java) S 6007 6011 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107446219 9856040960 10922 33554432000 1073741824 1073778376 140736121456912 139810989622568 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1.88 Current children cumulated vsize (KiB) 9625040 [startup+3.10082 s] /proc/loadavg: 1.04 1.45 1.84 4/213 6048 /proc/meminfo: memFree=30025880/32872528 swapFree=16360/1798728 [pid=6011] ppid=6007 vsize=9625040 CPUtime=3.57 cores=1,3,5,7 /proc/6011/stat : 6011 (java) S 6007 6011 5965 0 -1 4202496 10513 0 27 0 354 3 0 0 20 0 19 0 107446161 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 140736121448048 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 0 0 /proc/6011/statm: 2406260 11144 2272 9 0 2396937 0 [pid=6011/tid=6013] ppid=6007 vsize=9625040 CPUtime=2.82 cores=1,3,5,7 /proc/6011/task/6013/stat : 6013 (java) R 6007 6011 5965 0 -1 4202560 2412 0 6 0 280 2 0 0 20 0 19 0 107446171 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139811174231776 139811000697561 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 [pid=6011/tid=6023] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6023/stat : 6023 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139811135732392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6024] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6024/stat : 6024 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139811134679848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6025] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6025/stat : 6025 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139811133627304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6011/tid=6026] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6026/stat : 6026 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139811132574760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6027] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6027/stat : 6027 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139811131521192 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6028] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6028/stat : 6028 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139811130468648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6029] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6029/stat : 6029 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139811129416104 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6030] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6030/stat : 6030 (java) S 6007 6011 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139811128363560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6031] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6031/stat : 6031 (java) S 6007 6011 5965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107446180 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139810998045288 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6034] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6034/stat : 6034 (java) S 6007 6011 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107446182 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139810996991608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6036] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6036/stat : 6036 (java) S 6007 6011 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107446182 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139810995938952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6038] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6038/stat : 6038 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139810994887696 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6040] ppid=6007 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/6011/task/6040/stat : 6040 (java) S 6007 6011 5965 0 -1 4202560 2802 0 0 0 40 0 0 0 20 0 19 0 107446187 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139810993834040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6042] ppid=6007 vsize=9625040 CPUtime=0.32 cores=1,3,5,7 /proc/6011/task/6042/stat : 6042 (java) S 6007 6011 5965 0 -1 4202560 4042 0 0 0 32 0 0 0 20 0 19 0 107446187 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139810992781496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6044] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6044/stat : 6044 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139810991729144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6046] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6046/stat : 6046 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139810990676808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6047] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6047/stat : 6047 (java) S 6007 6011 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107446219 9856040960 11144 33554432000 1073741824 1073778376 140736121456912 139810989622568 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.57 Current children cumulated vsize (KiB) 9625040 [startup+6.30073 s] /proc/loadavg: 1.11 1.45 1.84 3/213 6048 /proc/meminfo: memFree=30022436/32872528 swapFree=16360/1798728 [pid=6011] ppid=6007 vsize=9625040 CPUtime=6.81 cores=1,3,5,7 /proc/6011/stat : 6011 (java) S 6007 6011 5965 0 -1 4202496 10518 0 27 0 677 4 0 0 20 0 19 0 107446161 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 140736121448048 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 0 0 /proc/6011/statm: 2406260 11432 2273 9 0 2396937 0 [pid=6011/tid=6013] ppid=6007 vsize=9625040 CPUtime=6.01 cores=1,3,5,7 /proc/6011/task/6013/stat : 6013 (java) R 6007 6011 5965 0 -1 4202560 2416 0 6 0 599 2 0 0 20 0 19 0 107446171 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139811174240672 139811000770983 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 [pid=6011/tid=6023] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6023/stat : 6023 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139811135732392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6024] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6024/stat : 6024 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139811134679848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6025] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6025/stat : 6025 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139811133627304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6011/tid=6026] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6026/stat : 6026 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139811132574760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6027] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6027/stat : 6027 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139811131521192 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6028] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6028/stat : 6028 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139811130468648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6029] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6029/stat : 6029 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139811129416104 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6030] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6030/stat : 6030 (java) S 6007 6011 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107446177 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139811128363560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6031] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6031/stat : 6031 (java) S 6007 6011 5965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107446180 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139810998045288 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6034] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6034/stat : 6034 (java) S 6007 6011 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107446182 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139810996991608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6036] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6036/stat : 6036 (java) S 6007 6011 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107446182 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139810995938952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6038] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6038/stat : 6038 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139810994887696 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6040] ppid=6007 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/6011/task/6040/stat : 6040 (java) S 6007 6011 5965 0 -1 4202560 2802 0 0 0 42 0 0 0 20 0 19 0 107446187 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139810993834040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6042] ppid=6007 vsize=9625040 CPUtime=0.33 cores=1,3,5,7 /proc/6011/task/6042/stat : 6042 (java) S 6007 6011 5965 0 -1 4202560 4042 0 0 0 33 0 0 0 20 0 19 0 107446187 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139810992781496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6044] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6044/stat : 6044 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139810991729144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6046] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6046/stat : 6046 (java) S 6007 6011 5965 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139810990676808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6047] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6047/stat : 6047 (java) S 6007 6011 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107446219 9856040960 11432 33554432000 1073741824 1073778376 140736121456912 139810989622568 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 6.81 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=6011/tid=6047] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6047/stat : 6047 (java) S 6007 6011 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107446219 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810989622568 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1723.27 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.17 2.22 2.17 3/213 6093 /proc/meminfo: memFree=29745320/32872528 swapFree=16360/1798728 [pid=6011] ppid=6007 vsize=9625040 CPUtime=1783.28 cores=1,3,5,7 /proc/6011/stat : 6011 (java) S 6007 6011 5965 0 -1 4202496 12210 0 27 0 178292 36 0 0 20 0 19 0 107446161 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 140736121448048 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 0 0 /proc/6011/statm: 2406260 59616 2288 9 0 2396937 0 [pid=6011/tid=6013] ppid=6007 vsize=9625040 CPUtime=1777.34 cores=1,3,5,7 /proc/6011/task/6013/stat : 6013 (java) R 6007 6011 5965 0 -1 4202560 2480 0 6 0 177703 31 0 0 20 0 19 0 107446171 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811174231744 139811000737598 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 [pid=6011/tid=6023] ppid=6007 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6011/task/6023/stat : 6023 (java) S 6007 6011 5965 0 -1 4202560 31 0 0 0 2 2 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811135732392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6024] ppid=6007 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/6011/task/6024/stat : 6024 (java) S 6007 6011 5965 0 -1 4202560 112 0 0 0 1 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811134679848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6025] ppid=6007 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/6011/task/6025/stat : 6025 (java) S 6007 6011 5965 0 -1 4202560 137 0 0 0 1 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811133627304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6026] ppid=6007 vsize=9625040 CPUtime=0.06 cores=1,3,5,7 /proc/6011/task/6026/stat : 6026 (java) S 6007 6011 5965 0 -1 4202560 155 0 0 0 4 2 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811132574760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6011/tid=6027] ppid=6007 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/6011/task/6027/stat : 6027 (java) S 6007 6011 5965 0 -1 4202560 21 0 0 0 1 1 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811131521192 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6028] ppid=6007 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/6011/task/6028/stat : 6028 (java) S 6007 6011 5965 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811130468648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6029] ppid=6007 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6011/task/6029/stat : 6029 (java) S 6007 6011 5965 0 -1 4202560 142 0 0 0 4 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811129416104 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6030] ppid=6007 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/6011/task/6030/stat : 6030 (java) S 6007 6011 5965 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811128363560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6031] ppid=6007 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/6011/task/6031/stat : 6031 (java) S 6007 6011 5965 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 107446180 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810998045288 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6034] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6034/stat : 6034 (java) S 6007 6011 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107446182 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810996991608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6036] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6036/stat : 6036 (java) S 6007 6011 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107446182 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810995938952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6038] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6038/stat : 6038 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810994887696 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6040] ppid=6007 vsize=9625040 CPUtime=0.49 cores=1,3,5,7 /proc/6011/task/6040/stat : 6040 (java) S 6007 6011 5965 0 -1 4202560 3693 0 0 0 49 0 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810993834040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6011/tid=6042] ppid=6007 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/6011/task/6042/stat : 6042 (java) S 6007 6011 5965 0 -1 4202560 4042 0 0 0 36 0 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810992781496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6044] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6044/stat : 6044 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810991729144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6046] ppid=6007 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/6011/task/6046/stat : 6046 (java) S 6007 6011 5965 0 -1 4202560 104 0 0 0 19 22 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810990676808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6047] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6047/stat : 6047 (java) S 6007 6011 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107446219 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810989622568 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1783.28 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.1 s] /proc/loadavg: 2.28 2.24 2.18 4/213 6159 /proc/meminfo: memFree=29975224/32872528 swapFree=16360/1798728 [pid=6011] ppid=6007 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7 /proc/6011/stat : 6011 (java) S 6007 6011 5965 0 -1 4202496 12210 0 27 0 179972 36 0 0 20 0 19 0 107446161 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 140736121448048 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 0 0 /proc/6011/statm: 2406260 59616 2288 9 0 2396937 0 [pid=6011/tid=6013] ppid=6007 vsize=9625040 CPUtime=1794.1 cores=1,3,5,7 /proc/6011/task/6013/stat : 6013 (java) R 6007 6011 5965 0 -1 4202560 2480 0 6 0 179379 31 0 0 20 0 19 0 107446171 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811174231744 139811000744844 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 [pid=6011/tid=6023] ppid=6007 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6011/task/6023/stat : 6023 (java) S 6007 6011 5965 0 -1 4202560 31 0 0 0 2 2 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811135732392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6024] ppid=6007 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/6011/task/6024/stat : 6024 (java) S 6007 6011 5965 0 -1 4202560 112 0 0 0 1 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811134679848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6025] ppid=6007 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/6011/task/6025/stat : 6025 (java) S 6007 6011 5965 0 -1 4202560 137 0 0 0 1 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811133627304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6026] ppid=6007 vsize=9625040 CPUtime=0.06 cores=1,3,5,7 /proc/6011/task/6026/stat : 6026 (java) S 6007 6011 5965 0 -1 4202560 155 0 0 0 4 2 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811132574760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6011/tid=6027] ppid=6007 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/6011/task/6027/stat : 6027 (java) S 6007 6011 5965 0 -1 4202560 21 0 0 0 1 1 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811131521192 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6028] ppid=6007 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/6011/task/6028/stat : 6028 (java) S 6007 6011 5965 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811130468648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6029] ppid=6007 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6011/task/6029/stat : 6029 (java) S 6007 6011 5965 0 -1 4202560 142 0 0 0 4 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811129416104 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6030] ppid=6007 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/6011/task/6030/stat : 6030 (java) S 6007 6011 5965 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811128363560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6031] ppid=6007 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/6011/task/6031/stat : 6031 (java) S 6007 6011 5965 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 107446180 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810998045288 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6034] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6034/stat : 6034 (java) S 6007 6011 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107446182 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810996991608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6036] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6036/stat : 6036 (java) S 6007 6011 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107446182 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810995938952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6038] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6038/stat : 6038 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810994887696 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6040] ppid=6007 vsize=9625040 CPUtime=0.49 cores=1,3,5,7 /proc/6011/task/6040/stat : 6040 (java) S 6007 6011 5965 0 -1 4202560 3693 0 0 0 49 0 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810993834040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6011/tid=6042] ppid=6007 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/6011/task/6042/stat : 6042 (java) S 6007 6011 5965 0 -1 4202560 4042 0 0 0 36 0 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810992781496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6044] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6044/stat : 6044 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810991729144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6046] ppid=6007 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/6011/task/6046/stat : 6046 (java) S 6007 6011 5965 0 -1 4202560 104 0 0 0 19 22 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810990676808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6047] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6047/stat : 6047 (java) S 6007 6011 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107446219 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810989622568 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 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 6011 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1799.1 s] /proc/loadavg: 2.28 2.24 2.18 4/213 6159 /proc/meminfo: memFree=29975224/32872528 swapFree=16360/1798728 [pid=6011] ppid=6007 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7 /proc/6011/stat : 6011 (java) S 6007 6011 5965 0 -1 4202496 12210 0 27 0 179972 36 0 0 20 0 19 0 107446161 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 140736121448048 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7 0 0 /proc/6011/statm: 2406260 59616 2288 9 0 2396937 0 [pid=6011/tid=6013] ppid=6007 vsize=9625040 CPUtime=1794.1 cores=1,3,5,7 /proc/6011/task/6013/stat : 6013 (java) R 6007 6011 5965 0 -1 4202560 2480 0 6 0 179379 31 0 0 20 0 19 0 107446171 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811174231744 139811000744844 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 [pid=6011/tid=6023] ppid=6007 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6011/task/6023/stat : 6023 (java) S 6007 6011 5965 0 -1 4202560 31 0 0 0 2 2 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811135732392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6024] ppid=6007 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/6011/task/6024/stat : 6024 (java) S 6007 6011 5965 0 -1 4202560 112 0 0 0 1 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811134679848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6025] ppid=6007 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/6011/task/6025/stat : 6025 (java) S 6007 6011 5965 0 -1 4202560 137 0 0 0 1 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811133627304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6026] ppid=6007 vsize=9625040 CPUtime=0.06 cores=1,3,5,7 /proc/6011/task/6026/stat : 6026 (java) S 6007 6011 5965 0 -1 4202560 155 0 0 0 4 2 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811132574760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6011/tid=6027] ppid=6007 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/6011/task/6027/stat : 6027 (java) S 6007 6011 5965 0 -1 4202560 21 0 0 0 1 1 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811131521192 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6028] ppid=6007 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/6011/task/6028/stat : 6028 (java) S 6007 6011 5965 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811130468648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6029] ppid=6007 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6011/task/6029/stat : 6029 (java) S 6007 6011 5965 0 -1 4202560 142 0 0 0 4 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811129416104 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6030] ppid=6007 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/6011/task/6030/stat : 6030 (java) S 6007 6011 5965 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 107446177 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139811128363560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6031] ppid=6007 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/6011/task/6031/stat : 6031 (java) S 6007 6011 5965 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 107446180 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810998045288 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6034] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6034/stat : 6034 (java) S 6007 6011 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107446182 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810996991608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6036] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6036/stat : 6036 (java) S 6007 6011 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107446182 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810995938952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6038] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6038/stat : 6038 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810994887696 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6011/tid=6040] ppid=6007 vsize=9625040 CPUtime=0.49 cores=1,3,5,7 /proc/6011/task/6040/stat : 6040 (java) S 6007 6011 5965 0 -1 4202560 3693 0 0 0 49 0 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810993834040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6011/tid=6042] ppid=6007 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/6011/task/6042/stat : 6042 (java) S 6007 6011 5965 0 -1 4202560 4042 0 0 0 36 0 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810992781496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6044] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6044/stat : 6044 (java) S 6007 6011 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810991729144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6011/tid=6046] ppid=6007 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/6011/task/6046/stat : 6046 (java) S 6007 6011 5965 0 -1 4202560 104 0 0 0 19 22 0 0 20 0 19 0 107446187 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810990676808 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6011/tid=6047] ppid=6007 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6011/task/6047/stat : 6047 (java) S 6007 6011 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107446219 9856040960 59616 33554432000 1073741824 1073778376 140736121456912 139810989622568 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 6011 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=199088 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=719890 # CPU time returned by wait4() is 1795.92 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1799.14 CPU time (s): 1800.08 CPU user time (s): 1799.72 CPU system time (s): 0.36 CPU usage (%): 100.052 Max. virtual memory (cumulated for all children) (KiB): 9625268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.2 system time used= 0.71989 maximum resident set size= 238596 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12250 page faults= 27 swaps= 0 block input operations= 7888 block output operations= 1056 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38433 involuntary context switches= 3902 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.3234 second user time and 12.902 second system time The end
Begin job on node123 at 2016-06-07 01:18:50 IDJOB=4085835 IDBENCH=48122 IDSOLVER=2546 FILE ID=node123/4085835-1465255130 RUNJOBID= node123-1465255130-5982 PBS_JOBID= 19843274 Free space on /tmp= 71732 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_5.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085835-1465255130/watcher-4085835-1465255130 -o /tmp/evaluation-result-4085835-1465255130/solver-4085835-1465255130 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465255130-5982 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085835-1465255130.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6 RANDOM SEED=715922234 node123.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 : 2667.117 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 : 5334.23 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 : 2667.117 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 : 2667.117 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.56 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 : 2667.117 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.55 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 : 2667.117 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 : 2667.117 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.57 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 : 2667.117 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 : 2667.117 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: 30258404 kB Buffers: 26772 kB Cached: 83104 kB SwapCached: 1832 kB Active: 41812 kB Inactive: 70824 kB Active(anon): 3584 kB Inactive(anon): 2052 kB Active(file): 38228 kB Inactive(file): 68772 kB Unevictable: 1798728 kB Mlocked: 16360 kB SwapTotal: 67108856 kB SwapFree: 67098732 kB Dirty: 1940 kB Writeback: 0 kB AnonPages: 1801216 kB Mapped: 6380 kB Shmem: 0 kB Slab: 566436 kB SReclaimable: 11152 kB SUnreclaim: 555284 kB KernelStack: 1336 kB PageTables: 7864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1897376 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1785856 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= 71732 MiB End job on node123 at 2016-06-07 01:48:49