Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2025-06-06 | SAT (TO) | 165 | 3600.28 | 3601.33 |
| Name | PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1616732.opb |
| MD5SUM | 75f9ad7c30513194432fdca99f15ae89 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 159 |
| Best CPU time to get the best result obtained on this benchmark | 1007.35 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 200 |
| Total number of constraints | 1999 |
| Number of constraints which are clauses | 1999 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| 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) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 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 PB25.v20250606 0.09/0.10 c java.runtime.name OpenJDK Runtime Environment 0.09/0.10 c java.vm.name OpenJDK 64-Bit Server VM 0.09/0.10 c java.vm.version 22.0.1+8-16 0.09/0.10 c java.vm.vendor Oracle Corporation 0.09/0.10 c sun.arch.data.model 64 0.09/0.10 c java.version 22.0.1 0.09/0.10 c os.name Linux 0.09/0.10 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.09/0.10 c os.arch amd64 0.09/0.11 c Free memory 2104792832 0.09/0.11 c Max memory 16282288128 0.09/0.11 c Total memory 2113929216 0.09/0.11 c Number of processors 2 0.09/0.15 c Pseudo Boolean Optimization by upper bound 0.09/0.15 c --- Begin Solver configuration --- 0.09/0.15 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.09/0.15 c Learn all clauses as in MiniSAT 0.09/0.15 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.15 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.15 c Expensive reason simplification 0.09/0.15 c Glucose 2.1 dynamic restart strategy 0.09/0.15 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.15 c timeout=2147483s 0.09/0.15 c DB Simplification allowed=false 0.09/0.15 c Listener: none 0.09/0.15 c --- End Solver configuration --- 0.09/0.15 c solving HOME/instance-4502746-1751434764.opb 0.09/0.15 c reading problem ... 0.09/0.15 c objective function found 0.28/0.21 c ... done. Wall clock time 0.059s. 0.28/0.21 c declared #vars 200 0.28/0.21 c #constraints 1999 0.28/0.21 c constraints type 0.28/0.21 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1999 0.28/0.21 c 1999 constraints processed. 0.28/0.22 c objective function length is 200 literals 0.28/0.23 c SATISFIABLE 0.28/0.23 c OPTIMIZING... 0.28/0.23 c Got one! Elapsed wall clock time (in seconds):0.083 0.28/0.23 o 172 0.28/0.24 c Got one! Elapsed wall clock time (in seconds):0.094 0.28/0.24 o 171 0.49/0.37 c Got one! Elapsed wall clock time (in seconds):0.217 0.49/0.37 o 170 0.49/0.39 c Got one! Elapsed wall clock time (in seconds):0.245 0.49/0.39 o 169 0.67/0.46 c Got one! Elapsed wall clock time (in seconds):0.309 0.67/0.46 o 168 1.45/0.86 c cleaning 3451 clauses out of 6907 with flag 10738/6907 1.45/0.87 c Got one! Elapsed wall clock time (in seconds):0.72 1.45/0.87 o 167 1.45/0.89 c Got one! Elapsed wall clock time (in seconds):0.736 1.45/0.89 o 166 1.80/1.03 c Got one! Elapsed wall clock time (in seconds):0.882 1.80/1.03 o 165 2.03/1.26 c cleaning 4866 clauses out of 9731 with flag 6629/13182 2.51/1.61 c cleaning 5429 clauses out of 10865 with flag 19476/19182 3.12/2.02 c cleaning 6219 clauses out of 12437 with flag 34274/26183 3.62/2.53 c cleaning 7103 clauses out of 14219 with flag 51240/34184 4.47/3.27 c cleaning 8051 clauses out of 16116 with flag 72492/43184 5.34/4.06 c cleaning 9032 clauses out of 18065 with flag 95174/53184 6.33/5.04 c cleaning 10015 clauses out of 20033 with flag 121120/64184 7.33/6.09 c cleaning 11005 clauses out of 22016 with flag 148657/76182 8.63/7.39 c cleaning 12005 clauses out of 24011 with flag 178884/89182 9.76/8.48 c cleaning 13003 clauses out of 26006 with flag 210294/103182 10.96/9.62 c cleaning 14002 clauses out of 28003 with flag 241348/118182 12.30/10.98 c cleaning 15001 clauses out of 30001 with flag 274543/134182 13.72/12.38 c cleaning 16001 clauses out of 32001 with flag 309735/151183 15.34/13.90 c cleaning 16999 clauses out of 34000 with flag 347212/169183 16.94/15.58 c cleaning 18001 clauses out of 36001 with flag 386660/188183 18.93/17.57 c cleaning 19000 clauses out of 38000 with flag 428085/208183 21.16/19.77 c cleaning 19997 clauses out of 40000 with flag 471696/229183 23.86/22.49 c cleaning 20997 clauses out of 42002 with flag 517216/251182 26.95/25.52 c cleaning 21996 clauses out of 44005 with flag 564981/274182 29.88/28.49 c cleaning 23004 clauses out of 46009 with flag 614937/298182 33.27/31.80 c cleaning 24002 clauses out of 48007 with flag 666714/323184 36.89/35.42 c cleaning 24996 clauses out of 50004 with flag 720665/349183 40.98/39.58 c cleaning 26004 clauses out of 52008 with flag 776668/376183 45.42/43.94 c cleaning 26999 clauses out of 54003 with flag 834786/404182 49.81/48.36 c cleaning 28000 clauses out of 56004 with flag 895126/433182 54.35/52.83 c cleaning 28996 clauses out of 58004 with flag 957408/463182 59.54/58.09 c cleaning 30005 clauses out of 60010 with flag 1021579/494184 65.17/63.66 c cleaning 30997 clauses out of 62003 with flag 1087942/526182 71.56/70.09 c cleaning 31998 clauses out of 64008 with flag 1156297/559184 77.68/76.14 c cleaning 33004 clauses out of 66009 with flag 1226942/593183 84.07/82.57 c cleaning 33999 clauses out of 68004 with flag 1299570/628182 91.39/89.85 c cleaning 35003 clauses out of 70006 with flag 1374175/664183 98.58/97.03 c cleaning 36001 clauses out of 72004 with flag 1451003/701184 105.19/103.61 c cleaning 36995 clauses out of 74001 with flag 1529882/739182 112.77/111.27 c cleaning 38001 clauses out of 76006 with flag 1610817/778182 121.09/119.57 c cleaning 38999 clauses out of 78006 with flag 1693998/818183 130.61/129.06 c cleaning 39998 clauses out of 80006 with flag 1779161/859182 138.99/137.42 c cleaning 41002 clauses out of 82009 with flag 1866542/901183 148.23/146.63 c cleaning 42004 clauses out of 84007 with flag 1956101/944183 158.40/156.86 c cleaning 43002 clauses out of 86003 with flag 2047635/988183 169.73/168.19 c cleaning 44000 clauses out of 88000 with flag 2141289/1033182 180.80/179.25 c cleaning 44999 clauses out of 90000 with flag 2236757/1079182 193.48/191.69 c cleaning 45989 clauses out of 92002 with flag 2334015/1126183 206.95/205.19 c cleaning 47003 clauses out of 94012 with flag 2433258/1174182 219.52/217.79 c cleaning 48005 clauses out of 96009 with flag 2534743/1223182 233.84/232.06 c cleaning 48996 clauses out of 98005 with flag 2638178/1273183 246.71/244.96 c cleaning 49997 clauses out of 100009 with flag 2744096/1324183 262.16/260.32 c cleaning 51005 clauses out of 102011 with flag 2851999/1376182 276.63/274.86 c cleaning 52000 clauses out of 104007 with flag 2961801/1429183 293.31/291.54 c cleaning 52995 clauses out of 106006 with flag 3073700/1483182 310.42/308.62 c cleaning 54000 clauses out of 108011 with flag 3188035/1538182 328.79/327.09 c cleaning 55006 clauses out of 110012 with flag 3304184/1594183 347.32/345.50 c cleaning 56001 clauses out of 112007 with flag 3422438/1651184 365.08/363.32 c cleaning 57004 clauses out of 114007 with flag 3542970/1709185 384.44/382.77 c cleaning 57991 clauses out of 116000 with flag 3665354/1768182 406.19/404.45 c cleaning 59001 clauses out of 118010 with flag 3789991/1828183 428.69/427.06 c cleaning 60004 clauses out of 120008 with flag 3916607/1889182 451.54/449.98 c cleaning 61003 clauses out of 122007 with flag 4045360/1951185 476.46/474.82 c cleaning 61999 clauses out of 124003 with flag 4176477/2014184 501.50/499.92 c cleaning 62999 clauses out of 126004 with flag 4309581/2078184 524.06/522.10 c cleaning 63999 clauses out of 128003 with flag 4444479/2143182 545.80/543.94 c cleaning 64997 clauses out of 130005 with flag 4581505/2209183 569.25/567.40 c cleaning 65996 clauses out of 132009 with flag 4720890/2276184 595.73/593.96 c cleaning 67002 clauses out of 134011 with flag 4862056/2344182 622.88/621.14 c cleaning 67999 clauses out of 136009 with flag 5005317/2413182 651.01/649.37 c cleaning 68999 clauses out of 138010 with flag 5150792/2483182 678.96/677.31 c cleaning 70004 clauses out of 140012 with flag 5298655/2554183 709.77/708.16 c cleaning 71003 clauses out of 142009 with flag 5448040/2626184 738.31/736.72 c cleaning 71996 clauses out of 144004 with flag 5599912/2699182 767.46/765.94 c cleaning 73005 clauses out of 146009 with flag 5753589/2773183 797.80/796.33 c cleaning 73998 clauses out of 148004 with flag 5909720/2848183 828.63/827.23 c cleaning 74999 clauses out of 150005 with flag 6068225/2924182 862.94/861.58 c cleaning 76000 clauses out of 152007 with flag 6227979/3001183 898.57/897.28 c cleaning 77000 clauses out of 154009 with flag 6389967/3079185 933.01/931.72 c cleaning 77999 clauses out of 156007 with flag 6554378/3158183 969.63/968.48 c cleaning 79003 clauses out of 158007 with flag 6720562/3238182 1004.06/1002.91 c cleaning 79997 clauses out of 160005 with flag 6889307/3319183 1037.40/1036.30 c cleaning 80998 clauses out of 162008 with flag 7060092/3401183 1077.49/1076.38 c cleaning 82005 clauses out of 164009 with flag 7232858/3484182 1122.99/1121.97 c cleaning 82994 clauses out of 166004 with flag 7406603/3568182 1170.43/1168.88 c cleaning 84004 clauses out of 168012 with flag 7582392/3653184 1213.23/1211.77 c cleaning 85000 clauses out of 170009 with flag 7760392/3739185 1257.41/1255.97 c cleaning 85998 clauses out of 172006 with flag 7940955/3826182 1303.12/1301.71 c cleaning 87004 clauses out of 174010 with flag 8123394/3914184 1347.34/1346.03 c cleaning 88003 clauses out of 176006 with flag 8308116/4003184 1391.35/1390.16 c cleaning 89001 clauses out of 178002 with flag 8495051/4093183 1437.68/1436.43 c cleaning 89994 clauses out of 180000 with flag 8684194/4184182 1490.07/1488.96 c cleaning 90995 clauses out of 182006 with flag 8875147/4276182 1544.74/1543.77 c cleaning 92004 clauses out of 184011 with flag 9068067/4369182 1594.93/1594.07 c cleaning 92999 clauses out of 186008 with flag 9263275/4463183 1652.29/1651.49 c cleaning 94005 clauses out of 188010 with flag 9460728/4558184 1707.27/1706.52 c cleaning 94998 clauses out of 190003 with flag 9660574/4654182 1763.08/1761.87 c cleaning 96002 clauses out of 192007 with flag 9862185/4751184 1820.77/1819.63 c cleaning 97002 clauses out of 194003 with flag 10065815/4849182 1878.46/1877.43 c cleaning 97994 clauses out of 196001 with flag 10271384/4948182 1938.13/1937.11 c cleaning 99005 clauses out of 198009 with flag 10479306/5048184 2002.07/2001.22 c cleaning 99999 clauses out of 200002 with flag 10689046/5149182 2073.11/2072.50 c cleaning 100996 clauses out of 202003 with flag 10900349/5251182 2135.57/2135.02 c cleaning 101999 clauses out of 204007 with flag 11114145/5354182 2200.71/2200.14 c cleaning 103000 clauses out of 206008 with flag 11330024/5458182 2270.04/2269.65 c cleaning 104005 clauses out of 208009 with flag 11547606/5563183 2334.80/2334.52 c cleaning 104995 clauses out of 210004 with flag 11767237/5669183 2399.63/2399.48 c cleaning 106000 clauses out of 212010 with flag 11989665/5776184 2469.48/2469.46 c cleaning 106994 clauses out of 214008 with flag 12213923/5884182 2537.16/2536.51 c cleaning 108005 clauses out of 216015 with flag 12440654/5993183 2607.52/2607.05 c cleaning 108997 clauses out of 218010 with flag 12669543/6103183 2680.86/2680.59 c cleaning 110005 clauses out of 220013 with flag 12900260/6214183 2759.35/2759.17 c cleaning 110996 clauses out of 222007 with flag 13133116/6326182 2839.67/2839.64 c cleaning 112003 clauses out of 224013 with flag 13367762/6439184 2917.32/2917.40 c cleaning 112996 clauses out of 226009 with flag 13605595/6553183 2998.44/2998.62 c cleaning 114002 clauses out of 228013 with flag 13844335/6668183 3086.96/3087.32 c cleaning 114999 clauses out of 230010 with flag 14084941/6784182 3167.88/3168.43 c cleaning 116002 clauses out of 232011 with flag 14327976/6901182 3256.00/3256.57 c cleaning 117001 clauses out of 234009 with flag 14573480/7019182 3344.01/3344.76 c cleaning 117995 clauses out of 236010 with flag 14820723/7138184 3430.52/3431.43 c cleaning 119005 clauses out of 238015 with flag 15070538/7258184 3516.42/3517.49 c cleaning 120003 clauses out of 240008 with flag 15322935/7379182 3600.04/3601.21 c starts : 1291 3600.04/3601.22 c conflicts : 7488118 3600.04/3601.22 c decisions : 7809651 3600.04/3601.22 c propagations : 38577329 3600.04/3601.22 c inspects : 21526723973 3600.04/3601.23 c shortcuts : 0 3600.04/3601.23 c learnt literals : 0 3600.04/3601.23 c learnt binary clauses : 0 3600.04/3601.23 c learnt ternary clauses : 0 3600.04/3601.23 c learnt constraints : 7488118 3600.04/3601.23 c ignored constraints : 0 3600.04/3601.23 c root simplifications : 0 3600.04/3601.23 c removed literals (reason simplification) : 219112978 3600.04/3601.23 c reason swapping (by a shorter reason) : 0 3600.04/3601.23 c Calls to reduceDB : 118 3600.04/3601.23 c Number of update (reduction) of LBD : 54392 3600.04/3601.23 c Imported unit clauses : 0 3600.04/3601.23 c No decision after first conflict : false 3600.04/3601.23 c number of reductions to clauses (during analyze) : 0 3600.04/3601.23 c number of learned constraints concerned by reduction : 0 3600.04/3601.23 c number of learning phase by resolution : 0 3600.04/3601.23 c number of learning phase by cutting planes : 0 3600.04/3601.23 c number of rounding to 1 operations : 0 3600.04/3601.23 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3601.23 c number of reductions of the coefficients by power 2 : 0 3600.04/3601.23 c number of right shift for reduction by power 2 : 0 3600.04/3601.23 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3601.23 c number of ending skipping : 0 3600.04/3601.23 c number of internal skipping : 0 3600.04/3601.23 c number of derivation steps : 0 3600.04/3601.23 c number of skipped derivation steps : 0 3600.04/3601.23 c number of remaining unassigned : 0 3600.04/3601.23 c number of remaining assigned : 0 3600.04/3601.23 c number of falsified literals weakened from reason : 0 3600.04/3601.23 c number of falsified literals weakened from conflict : 0 3600.04/3601.23 c time for arithmetic operations : 0 3600.04/3601.24 c minimum degree of deleted constraints : null 3600.04/3601.24 c maximum degree of deleted constraints : null 3600.04/3601.24 c number of deleted constraints : 0 3600.04/3601.25 c speed (assignments/second) : 10712.919153237563 3600.04/3601.25 c non guided choices : 0 3600.24/3601.31 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 228941 3600.24/3601.31 s SATISFIABLE 3600.24/3601.31 c Found 8 solution(s) 3600.24/3601.31 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 3600.24/3601.31 c objective function=165 3600.24/3601.31 c Total wall clock time (in seconds): 3601.164
OK 165
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (50793 MiB free)
memory of node 1: 64465 MiB (55716 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502746-1751434764/watcher-4502746-1751434764 -o /tmp/evaluation-result-4502746-1751434764/solver-4502746-1751434764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751434764-60260 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4502746-1751434764.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=60306, runsolver pid=60300
[startup+0.100059 s]*
/proc/loadavg: 1.43 3.30 3.76 9/331 60387
/proc/meminfo: memFree=108978384/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=18930384 memory=51900 CPUtime=0.09 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 6091 0 159 0 8 1 0 0 20 0 18 0 59154959 19384713216 12975 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4732596 12975 5292 1 0 547301 0
[pid=60306/tid=60320] ppid=60300 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 4871 0 159 0 5 1 0 0 20 0 18 0 59154961 19384713216 12975 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=18930384 memory=15156 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 59154963 19384713216 12975 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=18930384 memory=56286469424100 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 59154964 19384713216 12975 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51900 KiB
[startup+0.205695 s]*
/proc/loadavg: 1.43 3.30 3.76 13/331 60387
/proc/meminfo: memFree=108958044/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=18930384 memory=63792 CPUtime=0.28 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 6911 0 159 0 26 2 0 0 20 0 18 0 59154959 19384713216 15948 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4732596 15948 5388 1 0 547897 0
[pid=60306/tid=60320] ppid=60300 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 5159 0 159 0 14 2 0 0 20 0 18 0 59154961 19384713216 15948 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=18930384 memory=15156 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 59154963 19384713216 15948 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=18930384 memory=56286469424100 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 59154964 19384713216 15948 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63792 KiB
[startup+0.30557 s]*
/proc/loadavg: 1.43 3.30 3.76 10/334 60390
/proc/meminfo: memFree=108915448/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=18996948 memory=66360 CPUtime=0.49 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 7874 0 159 0 46 3 0 0 20 0 19 0 59154959 19452874752 16590 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4749237 16590 5420 1 0 548664 0
[pid=60306/tid=60320] ppid=60300 vsize=18996948 memory=-6000919494265367657 CPUtime=0.24 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 5290 0 159 0 22 2 0 0 20 0 19 0 59154961 19452874752 16590 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59154963 19452874752 16590 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 59154964 19452874752 16590 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60388] ppid=60300 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/60306/task/60388/stat : 60388 (Timer-0) S 60300 60306 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59154982 19452874752 16590 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66360 KiB
[startup+0.700236 s]
/proc/loadavg: 1.43 3.30 3.76 9/335 60391
/proc/meminfo: memFree=108900736/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=18996948 memory=85256 CPUtime=1.25 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 12009 0 159 0 121 4 0 0 20 0 19 0 59154959 19452874752 21314 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4749237 21314 5420 1 0 550766 0
[pid=60306/tid=60320] ppid=60300 vsize=18996948 memory=18432 CPUtime=0.61 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 5377 0 159 0 59 2 0 0 20 0 19 0 59154961 19452874752 21314 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59154963 19452874752 21314 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 59154964 19452874752 21314 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60388] ppid=60300 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/60306/task/60388/stat : 60388 (Timer-0) S 60300 60306 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59154982 19452874752 21314 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85256 KiB
[startup+1.50023 s]
/proc/loadavg: 1.43 3.30 3.76 7/335 60391
/proc/meminfo: memFree=108844596/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=18996948 memory=109856 CPUtime=2.4 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 15269 0 159 0 236 4 0 0 20 0 19 0 59154959 19452874752 27464 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4749237 27464 5420 1 0 551186 0
[pid=60306/tid=60320] ppid=60300 vsize=18996948 memory=10752 CPUtime=1.41 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 5768 0 159 0 138 3 0 0 20 0 19 0 59154961 19452874752 27464 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59154963 19452874752 27464 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 59154964 19452874752 27464 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60388] ppid=60300 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/60306/task/60388/stat : 60388 (Timer-0) S 60300 60306 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59154982 19452874752 27464 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 109856 KiB
[startup+3.10553 s]
/proc/loadavg: 1.43 3.30 3.76 4/291 60411
/proc/meminfo: memFree=108899256/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=18996948 memory=147824 CPUtime=4.33 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 17727 0 159 0 427 6 0 0 20 0 19 0 59154959 19452874752 36956 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4749237 36956 5420 1 0 551427 0
[pid=60306/tid=60320] ppid=60300 vsize=18996948 memory=10752 CPUtime=3 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 6134 0 159 0 297 3 0 0 20 0 19 0 59154961 19452874752 36956 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=18996948 memory=-6000919507150269545 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59154963 19452874752 36956 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 59154964 19452874752 36956 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60388] ppid=60300 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/60306/task/60388/stat : 60388 (Timer-0) S 60300 60306 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59154982 19452874752 36956 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 4.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 147824 KiB
[startup+6.30023 s]
/proc/loadavg: 1.55 3.29 3.75 5/313 60495
/proc/meminfo: memFree=108126712/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=19063512 memory=188680 CPUtime=7.63 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 20956 0 159 0 755 8 0 0 20 0 20 0 59154959 19521036288 47170 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4765878 47170 5484 1 0 551986 0
[pid=60306/tid=60320] ppid=60300 vsize=19063512 memory=0 CPUtime=6.17 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 6710 0 159 0 613 4 0 0 20 0 20 0 59154961 19521036288 47170 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154963 19521036288 47170 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 47170 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60388] ppid=60300 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/60306/task/60388/stat : 60388 (Timer-0) S 60300 60306 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154982 19521036288 47170 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 7.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188680 KiB
[startup+12.7002 s]
/proc/loadavg: 1.67 3.29 3.75 4/315 60497
/proc/meminfo: memFree=107682512/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=19063512 memory=246144 CPUtime=14.12 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 23532 0 159 0 1402 10 0 0 20 0 20 0 59154959 19521036288 61536 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4765878 61536 5484 1 0 551986 0
[pid=60306/tid=60320] ppid=60300 vsize=19063512 memory=0 CPUtime=12.51 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 7210 0 159 0 1247 4 0 0 20 0 20 0 59154961 19521036288 61536 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154963 19521036288 61536 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=19063512 memory=-6000919507150269545 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 61536 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60388] ppid=60300 vsize=19063512 memory=2688 CPUtime=0 cores=0,2
/proc/60306/task/60388/stat : 60388 (Timer-0) S 60300 60306 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154982 19521036288 61536 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 14.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 246144 KiB
[startup+25.5002 s]
/proc/loadavg: 2.04 3.29 3.74 4/316 60499
/proc/meminfo: memFree=107592400/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=19063512 memory=328148 CPUtime=26.95 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 25500 0 159 0 2682 13 0 0 20 0 20 0 59154959 19521036288 82037 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4765878 82037 5484 1 0 551986 0
[pid=60306/tid=60320] ppid=60300 vsize=19063512 memory=0 CPUtime=25.22 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 7933 0 159 0 2518 4 0 0 20 0 20 0 59154961 19521036288 82037 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=19063512 memory=328148 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154963 19521036288 82037 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 82037 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60388] ppid=60300 vsize=19063512 memory=328148 CPUtime=0 cores=0,2
/proc/60306/task/60388/stat : 60388 (Timer-0) S 60300 60306 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154982 19521036288 82037 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 26.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 328148 KiB
[startup+51.1054 s]
/proc/loadavg: 2.37 3.26 3.72 4/316 60499
/proc/meminfo: memFree=107313368/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=19063512 memory=514628 CPUtime=52.61 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 26457 0 159 0 5244 17 0 0 20 0 20 0 59154959 19521036288 128657 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4765878 128657 5484 1 0 551986 0
[pid=60306/tid=60320] ppid=60300 vsize=19063512 memory=10752 CPUtime=50.63 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 7951 0 159 0 5059 4 0 0 20 0 20 0 59154961 19521036288 128657 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 2.09 2.11 2.37 3/289 60703
/proc/meminfo: memFree=103206424/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=19063512 memory=2144828 CPUtime=3281.75 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 75276 0 159 0 328042 133 0 0 20 0 20 0 59154959 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4765878 536207 5516 1 0 553420 0
[pid=60306/tid=60320] ppid=60300 vsize=19063512 memory=18432 CPUtime=3270.84 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 31236 0 159 0 327072 12 0 0 20 0 20 0 59154961 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=19063512 memory=2144828 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154963 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=19063512 memory=2144828 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 1188 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60388] ppid=60300 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/60306/task/60388/stat : 60388 (Timer-0) S 60300 60306 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154982 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 3281.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2144828 KiB
[startup+3342.3 s]
/proc/loadavg: 2.14 2.12 2.36 3/289 60705
/proc/meminfo: memFree=103206280/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=19063512 memory=2144828 CPUtime=3341.62 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 75782 0 159 0 334028 134 0 0 20 0 20 0 59154959 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4765878 536207 5516 1 0 553420 0
[pid=60306/tid=60320] ppid=60300 vsize=19063512 memory=18432 CPUtime=3330.69 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 31717 0 159 0 333057 12 0 0 20 0 20 0 59154961 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=19063512 memory=2144828 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154963 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 1188 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60388] ppid=60300 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/60306/task/60388/stat : 60388 (Timer-0) S 60300 60306 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154982 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 3341.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2144828 KiB
[startup+3402.3 s]
/proc/loadavg: 2.11 2.11 2.34 3/289 60707
/proc/meminfo: memFree=103206124/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=19063512 memory=2144828 CPUtime=3401.49 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 76391 0 159 0 340013 136 0 0 20 0 20 0 59154959 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4765878 536207 5516 1 0 553420 0
[pid=60306/tid=60320] ppid=60300 vsize=19063512 memory=14344 CPUtime=3390.52 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 32290 0 159 0 339040 12 0 0 20 0 20 0 59154961 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154963 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=19063512 memory=2144828 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 1199 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60388] ppid=60300 vsize=19063512 memory=2144828 CPUtime=0 cores=0,2
/proc/60306/task/60388/stat : 60388 (Timer-0) S 60300 60306 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154982 19521036288 536207 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 3401.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2144828 KiB
[startup+3462.3 s]
/proc/loadavg: 2.12 2.10 2.32 3/289 60709
/proc/meminfo: memFree=103202124/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=19063512 memory=2148936 CPUtime=3461.44 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 77007 0 159 0 346006 138 0 0 20 0 20 0 59154959 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4765878 537234 5516 1 0 553420 0
[pid=60306/tid=60320] ppid=60300 vsize=19063512 memory=14344 CPUtime=3450.31 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 32417 0 159 0 345018 13 0 0 20 0 20 0 59154961 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154963 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=19063512 memory=2144828 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 1248 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60388] ppid=60300 vsize=19063512 memory=2148936 CPUtime=0 cores=0,2
/proc/60306/task/60388/stat : 60388 (Timer-0) S 60300 60306 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154982 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 3461.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2148936 KiB
[startup+3522.3 s]
/proc/loadavg: 2.10 2.10 2.31 3/289 60711
/proc/meminfo: memFree=103202472/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=19063512 memory=2148936 CPUtime=3521.3 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 77240 0 159 0 351991 139 0 0 20 0 20 0 59154959 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4765878 537234 5516 1 0 553420 0
[pid=60306/tid=60320] ppid=60300 vsize=19063512 memory=2148936 CPUtime=3510.16 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 32626 0 159 0 351003 13 0 0 20 0 20 0 59154961 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154963 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=19063512 memory=2148936 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 1249 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60388] ppid=60300 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/60306/task/60388/stat : 60388 (Timer-0) S 60300 60306 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154982 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 3521.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2148936 KiB
[startup+3582.3 s]
/proc/loadavg: 2.08 2.09 2.29 3/289 60713
/proc/meminfo: memFree=103136780/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=19063512 memory=2148936 CPUtime=3581.17 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 77685 0 159 0 357977 140 0 0 20 0 20 0 59154959 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4765878 537234 5516 1 0 553420 0
[pid=60306/tid=60320] ppid=60300 vsize=19063512 memory=2148936 CPUtime=3570.01 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 33046 0 159 0 356988 13 0 0 20 0 20 0 59154961 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154963 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=19063512 memory=-6000919507150269545 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 1249 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60388] ppid=60300 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/60306/task/60388/stat : 60388 (Timer-0) S 60300 60306 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154982 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 3581.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2148936 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3601.2 s]
/proc/loadavg: 2.13 2.10 2.29 2/266 60724
/proc/meminfo: memFree=106861816/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=19063512 memory=2148936 CPUtime=3600.04 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 77812 0 159 0 359863 141 0 0 20 0 20 0 59154959 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4765878 537234 5516 1 0 553420 0
[pid=60306/tid=60320] ppid=60300 vsize=19063512 memory=18552 CPUtime=3588.86 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 33166 0 159 0 358873 13 0 0 20 0 20 0 59154961 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=19063512 memory=2148936 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59154963 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=19063512 memory=2148936 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 1249 0 0 0 0 0 0 0 20 0 20 0 59154964 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60388] ppid=60300 vsize=19063512 memory=6644 CPUtime=0 cores=0,2
/proc/60306/task/60388/stat : 60388 (Timer-0) S 60300 60306 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59154982 19521036288 537234 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2148936 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3601.33 s]
# the end of solver process 60306 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.86 s, system=1.42311 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3601.31 s]
/proc/loadavg: 2.13 2.10 2.29 2/266 60724
/proc/meminfo: memFree=106861816/131249988 swapFree=33010416/33010684
[pid=60306] ppid=60300 vsize=19263204 memory=2149832 CPUtime=3600.24 cores=0,2
/proc/60306/stat : 60306 (java) S 60300 60306 59167 0 -1 4194304 79485 0 159 0 359883 141 0 0 20 0 21 0 59154959 19725520896 537458 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
/proc/60306/statm: 4815801 537458 5548 1 0 554369 0
[pid=60306/tid=60320] ppid=60300 vsize=19263204 memory=14344 CPUtime=3588.96 cores=0,2
/proc/60306/task/60320/stat : 60320 (java) R 60300 60306 59167 0 -1 4194368 33273 0 159 0 358883 13 0 0 20 0 21 0 59154961 19725520896 537458 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60354] ppid=60300 vsize=19263204 memory=14344 CPUtime=0 cores=0,2
/proc/60306/task/60354/stat : 60354 (Finalizer) S 60300 60306 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 59154963 19725520896 537458 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
[pid=60306/tid=60382] ppid=60300 vsize=19263204 memory=2148936 CPUtime=0 cores=0,2
/proc/60306/task/60382/stat : 60382 (Common-Cleaner) S 60300 60306 59167 0 -1 4194368 1249 0 0 0 0 0 0 0 20 0 21 0 59154964 19725520896 537458 18446744073709551615 94390326587392 94390326591088 140728434310208 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94390326598904 94390326599696 94390355120128 140728434313601 140728434313702 140728434313702 140728434319304 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2149832 KiB
Child status: 143
Real time (s): 3601.33
CPU time (s): 3600.28
CPU user time (s): 3598.86
CPU system time (s): 1.42311
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2149832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.86
system time used= 1.42311
maximum resident set size= 2149960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79673
page faults= 159
swaps= 0
block input operations= 0
block output operations= 13720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105660
involuntary context switches= 9766
# summary of solver processes directly reported to runsolver:
# pid: 60306
# total CPU time (s): 3600.28
# total CPU user time (s): 3598.86
# total CPU system time (s): 1.42311
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.14761 second user time and 17.6804 second system time
The end
Begin job on nodeC031 at 2025-07-02 07:39:24 IDJOB=4502746 IDBENCH=155375 IDSOLVER=3363 FILE ID=nodeC031/4502746-1751434764 RUNJOBID= nodeC031-1751434764-60260 SLURM_JOB_ID= 9598370 Free space on /tmp= 432148 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-1616732.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502746-1751434764/watcher-4502746-1751434764 -o /tmp/evaluation-result-4502746-1751434764/solver-4502746-1751434764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751434764-60260 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4502746-1751434764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 75f9ad7c30513194432fdca99f15ae89 RANDOM SEED=51045428 nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.018 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2088.332 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.865 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2230.890 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.766 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1818.431 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.884 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1714.882 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 109066132 kB MemAvailable: 129598368 kB Buffers: 2128 kB Cached: 21218136 kB SwapCached: 12 kB Active: 488144 kB Inactive: 20811876 kB Active(anon): 87336 kB Inactive(anon): 10472 kB Active(file): 400808 kB Inactive(file): 20801404 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 3240 kB Writeback: 0 kB AnonPages: 82500 kB Mapped: 103804 kB Shmem: 18052 kB KReclaimable: 338528 kB Slab: 430200 kB SReclaimable: 338528 kB SUnreclaim: 91672 kB KernelStack: 4020 kB PageTables: 2564 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 348844 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 26624 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191188 kB DirectMap2M: 9017344 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432048 MiB End job on nodeC031 at 2025-07-02 08:39:26