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) | -1874 | 1800.07 | 1771.44 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-14.opb |
| MD5SUM | 1b167674473e80fa047420230666ffae |
| 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 | -3989 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| 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 | 0 |
| Total number of constraints | 0 |
| 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 | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 5790 |
| Biggest coefficient in the objective function | 686 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 274008 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 686 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 274008 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 5735 |
| Sum of products size (including duplicates) | 18218 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version PB16.v20160501 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.12 c Pseudo Boolean Optimization by upper bound 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.12 c No reason simplification 0.07/0.12 c Glucose 2.1 dynamic restart strategy 0.07/0.12 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.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 c solving HOME/instance-4119518-1467261007.opb 0.07/0.12 c reading problem ... 0.07/0.13 c objective function found 1.13/0.85 c ... done. Wall clock time 0.725s. 1.13/0.85 c declared #vars 55 1.13/0.85 c internal #vars 5790 1.13/0.85 c #constraints 11470 1.13/0.85 c constraints type 1.13/0.85 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5735 1.13/0.85 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5735 1.13/0.85 c 11470 constraints processed. 1.13/0.85 c objective function length is 5790 literals 1.38/0.96 c SATISFIABLE 1.38/0.96 c OPTIMIZING... 1.38/0.96 c Got one! Elapsed wall clock time (in seconds):0.832 1.38/0.96 o 0 1.68/1.07 c Got one! Elapsed wall clock time (in seconds):0.95 1.68/1.07 o -39 2.00/1.16 c Got one! Elapsed wall clock time (in seconds):1.041 2.00/1.16 o -78 2.30/1.21 c Got one! Elapsed wall clock time (in seconds):1.084 2.30/1.21 o -139 2.30/1.24 c Got one! Elapsed wall clock time (in seconds):1.116 2.30/1.24 o -183 2.58/1.31 c Got one! Elapsed wall clock time (in seconds):1.184 2.58/1.31 o -200 2.58/1.34 c Got one! Elapsed wall clock time (in seconds):1.218 2.58/1.34 o -270 2.58/1.37 c Got one! Elapsed wall clock time (in seconds):1.25 2.58/1.37 o -301 2.58/1.39 c Got one! Elapsed wall clock time (in seconds):1.267 2.58/1.39 o -319 2.79/1.40 c Got one! Elapsed wall clock time (in seconds):1.278 2.79/1.40 o -340 2.79/1.41 c Got one! Elapsed wall clock time (in seconds):1.289 2.79/1.41 o -410 2.79/1.44 c Got one! Elapsed wall clock time (in seconds):1.313 2.79/1.44 o -422 2.79/1.46 c Got one! Elapsed wall clock time (in seconds):1.337 2.79/1.46 o -504 2.89/1.53 c Got one! Elapsed wall clock time (in seconds):1.409 2.89/1.53 o -574 2.99/1.60 c Got one! Elapsed wall clock time (in seconds):1.477 2.99/1.60 o -576 2.99/1.64 c Got one! Elapsed wall clock time (in seconds):1.521 2.99/1.64 o -591 2.99/1.68 c Got one! Elapsed wall clock time (in seconds):1.559 2.99/1.68 o -592 3.11/1.70 c Got one! Elapsed wall clock time (in seconds):1.577 3.11/1.70 o -648 3.28/1.85 c Got one! Elapsed wall clock time (in seconds):1.725 3.28/1.85 o -665 3.38/1.92 c Got one! Elapsed wall clock time (in seconds):1.797 3.38/1.92 o -671 3.38/1.96 c Got one! Elapsed wall clock time (in seconds):1.838 3.38/1.96 o -677 3.38/1.98 c Got one! Elapsed wall clock time (in seconds):1.852 3.38/1.98 o -680 3.47/2.01 c Got one! Elapsed wall clock time (in seconds):1.887 3.47/2.01 o -743 3.57/2.15 c Got one! Elapsed wall clock time (in seconds):2.029 3.57/2.15 o -744 3.68/2.27 c Got one! Elapsed wall clock time (in seconds):2.147 3.68/2.27 o -754 3.78/2.39 c Got one! Elapsed wall clock time (in seconds):2.262 3.78/2.39 o -762 3.87/2.43 c Got one! Elapsed wall clock time (in seconds):2.304 3.87/2.43 o -772 3.87/2.47 c Got one! Elapsed wall clock time (in seconds):2.344 3.87/2.47 o -773 3.97/2.54 c Got one! Elapsed wall clock time (in seconds):2.419 3.97/2.54 o -851 4.38/2.96 c Got one! Elapsed wall clock time (in seconds):2.841 4.38/2.96 o -855 4.68/3.24 c Got one! Elapsed wall clock time (in seconds):3.115 4.68/3.24 o -862 4.79/3.38 c Got one! Elapsed wall clock time (in seconds):3.255 4.79/3.38 o -866 5.07/3.56 c Got one! Elapsed wall clock time (in seconds):3.432 5.07/3.56 o -898 5.58/4.02 c Got one! Elapsed wall clock time (in seconds):3.9 5.58/4.02 o -907 5.92/4.30 c Got one! Elapsed wall clock time (in seconds):4.18 5.92/4.30 o -915 6.03/4.46 c Got one! Elapsed wall clock time (in seconds):4.34 6.03/4.46 o -916 6.03/4.50 c Got one! Elapsed wall clock time (in seconds):4.374 6.03/4.50 o -922 6.13/4.51 c Got one! Elapsed wall clock time (in seconds):4.388 6.13/4.51 o -923 6.13/4.52 c Got one! Elapsed wall clock time (in seconds):4.401 6.13/4.52 o -925 6.13/4.53 c Got one! Elapsed wall clock time (in seconds):4.406 6.13/4.53 o -929 6.13/4.54 c Got one! Elapsed wall clock time (in seconds):4.412 6.13/4.54 o -930 6.13/4.54 c Got one! Elapsed wall clock time (in seconds):4.419 6.13/4.54 o -933 6.22/4.61 c Got one! Elapsed wall clock time (in seconds):4.488 6.22/4.61 o -948 6.62/5.01 c Got one! Elapsed wall clock time (in seconds):4.889 6.62/5.01 o -951 6.82/5.28 c Got one! Elapsed wall clock time (in seconds):5.155 6.82/5.28 o -957 6.92/5.32 c Got one! Elapsed wall clock time (in seconds):5.2 6.92/5.32 o -960 6.92/5.35 c Got one! Elapsed wall clock time (in seconds):5.224 6.92/5.35 o -961 6.92/5.36 c Got one! Elapsed wall clock time (in seconds):5.232 6.92/5.36 o -962 7.12/5.56 c Got one! Elapsed wall clock time (in seconds):5.441 7.12/5.56 o -973 8.95/7.31 c Got one! Elapsed wall clock time (in seconds):7.183 8.95/7.31 o -992 9.44/7.70 c Got one! Elapsed wall clock time (in seconds):7.577 9.44/7.70 o -997 9.65/7.88 c Got one! Elapsed wall clock time (in seconds):7.752 9.65/7.88 o -1000 9.74/7.94 c Got one! Elapsed wall clock time (in seconds):7.814 9.74/7.94 o -1008 9.84/8.09 c Got one! Elapsed wall clock time (in seconds):7.967 9.84/8.09 o -1014 9.94/8.16 c Got one! Elapsed wall clock time (in seconds):8.041 9.94/8.16 o -1018 9.94/8.17 c Got one! Elapsed wall clock time (in seconds):8.048 9.94/8.17 o -1021 9.94/8.19 c Got one! Elapsed wall clock time (in seconds):8.064 9.94/8.19 o -1025 10.04/8.23 c Got one! Elapsed wall clock time (in seconds):8.108 10.04/8.23 o -1026 10.04/8.24 c Got one! Elapsed wall clock time (in seconds):8.116 10.04/8.24 o -1028 10.04/8.25 c Got one! Elapsed wall clock time (in seconds):8.126 10.04/8.25 o -1029 10.34/8.53 c Got one! Elapsed wall clock time (in seconds):8.409 10.34/8.53 o -1054 10.84/9.09 c Got one! Elapsed wall clock time (in seconds):8.964 10.84/9.09 o -1058 11.44/9.62 c Got one! Elapsed wall clock time (in seconds):9.498 11.44/9.62 o -1078 11.94/10.18 c cleaning 8143 clauses out of 16287 with flag 2003/16287 14.90/13.00 c Got one! Elapsed wall clock time (in seconds):12.878 14.90/13.00 o -1104 16.00/14.13 c Got one! Elapsed wall clock time (in seconds):14.007 16.00/14.13 o -1112 16.59/14.71 c Got one! Elapsed wall clock time (in seconds):14.583 16.59/14.71 o -1122 16.69/14.89 c Got one! Elapsed wall clock time (in seconds):14.765 16.69/14.89 o -1123 16.79/14.99 c Got one! Elapsed wall clock time (in seconds):14.863 16.79/14.99 o -1127 17.09/15.30 c Got one! Elapsed wall clock time (in seconds):15.172 17.09/15.30 o -1147 17.70/15.88 c Got one! Elapsed wall clock time (in seconds):15.756 17.70/15.88 o -1151 17.90/16.07 c Got one! Elapsed wall clock time (in seconds):15.944 17.90/16.07 o -1154 18.00/16.16 c Got one! Elapsed wall clock time (in seconds):16.032 18.00/16.16 o -1155 18.60/16.72 c cleaning 10301 clauses out of 20602 with flag 2015/28745 19.34/17.23 c Got one! Elapsed wall clock time (in seconds):17.111 19.34/17.23 o -1157 19.64/17.56 c Got one! Elapsed wall clock time (in seconds):17.436 19.64/17.56 o -1164 22.25/20.11 c cleaning 8395 clauses out of 16790 with flag 10003/35234 25.15/23.03 c cleaning 7197 clauses out of 14394 with flag 22001/41233 26.15/24.07 c Got one! Elapsed wall clock time (in seconds):23.945 26.15/24.07 o -1168 27.25/25.18 c Got one! Elapsed wall clock time (in seconds):25.052 27.25/25.18 o -1174 27.85/25.73 c cleaning 6215 clauses out of 12430 with flag 2003/46466 27.85/25.74 c Got one! Elapsed wall clock time (in seconds):25.617 27.85/25.74 o -1177 27.95/25.89 c Got one! Elapsed wall clock time (in seconds):25.764 27.95/25.89 o -1178 28.05/25.92 c Got one! Elapsed wall clock time (in seconds):25.797 28.05/25.92 o -1180 28.15/26.06 c Got one! Elapsed wall clock time (in seconds):25.935 28.15/26.06 o -1182 28.25/26.19 c Got one! Elapsed wall clock time (in seconds):26.07 28.25/26.19 o -1191 28.35/26.20 c Got one! Elapsed wall clock time (in seconds):26.081 28.35/26.20 o -1193 28.35/26.21 c Got one! Elapsed wall clock time (in seconds):26.089 28.35/26.21 o -1196 28.45/26.34 c Got one! Elapsed wall clock time (in seconds):26.221 28.45/26.34 o -1210 29.26/27.07 c Got one! Elapsed wall clock time (in seconds):26.95 29.26/27.07 o -1211 29.60/27.32 c Got one! Elapsed wall clock time (in seconds):27.201 29.60/27.32 o -1220 29.70/27.46 c Got one! Elapsed wall clock time (in seconds):27.336 29.70/27.46 o -1221 29.70/27.47 c Got one! Elapsed wall clock time (in seconds):27.347 29.70/27.47 o -1224 29.80/27.60 c Got one! Elapsed wall clock time (in seconds):27.474 29.80/27.60 o -1226 30.80/28.56 c Got one! Elapsed wall clock time (in seconds):28.434 30.80/28.56 o -1236 32.30/30.06 c cleaning 7105 clauses out of 14212 with flag 6005/54463 32.80/30.50 c Got one! Elapsed wall clock time (in seconds):30.375 32.80/30.50 o -1244 33.00/30.70 c Got one! Elapsed wall clock time (in seconds):30.577 33.00/30.70 o -1245 33.00/30.76 c Got one! Elapsed wall clock time (in seconds):30.637 33.00/30.76 o -1246 33.00/30.77 c Got one! Elapsed wall clock time (in seconds):30.644 33.00/30.77 o -1247 33.10/30.81 c Got one! Elapsed wall clock time (in seconds):30.684 33.10/30.81 o -1248 33.20/30.99 c Got one! Elapsed wall clock time (in seconds):30.862 33.20/30.99 o -1250 33.30/31.00 c Got one! Elapsed wall clock time (in seconds):30.874 33.30/31.00 o -1252 33.49/31.24 c Got one! Elapsed wall clock time (in seconds):31.112 33.49/31.24 o -1253 33.61/31.37 c Got one! Elapsed wall clock time (in seconds):31.244 33.61/31.37 o -1254 34.11/31.81 c Got one! Elapsed wall clock time (in seconds):31.686 34.11/31.81 o -1256 34.91/32.62 c Got one! Elapsed wall clock time (in seconds):32.494 34.91/32.62 o -1260 36.91/34.65 c cleaning 8035 clauses out of 16075 with flag 8001/63431 39.97/37.68 c cleaning 7020 clauses out of 14041 with flag 20003/69432 43.47/41.12 c cleaning 7010 clauses out of 14021 with flag 34003/76432 47.27/44.91 c cleaning 7506 clauses out of 15011 with flag 50003/84432 47.57/45.23 c Got one! Elapsed wall clock time (in seconds):45.111 47.57/45.23 o -1321 50.22/47.76 c cleaning 6604 clauses out of 13210 with flag 10002/90137 51.92/49.45 c Got one! Elapsed wall clock time (in seconds):49.322 51.92/49.45 o -1322 52.92/50.47 c cleaning 6026 clauses out of 12058 with flag 4094/95589 53.92/51.45 c Got one! Elapsed wall clock time (in seconds):51.33 53.92/51.45 o -1324 55.33/52.89 c Got one! Elapsed wall clock time (in seconds):52.763 55.33/52.89 o -1327 55.92/53.43 c cleaning 5904 clauses out of 11812 with flag 2005/101369 58.83/56.35 c cleaning 5952 clauses out of 11908 with flag 14005/107369 59.28/56.74 c Got one! Elapsed wall clock time (in seconds):56.617 59.28/56.74 o -1330 59.38/56.90 c Got one! Elapsed wall clock time (in seconds):56.773 59.38/56.90 o -1340 59.58/57.01 c Got one! Elapsed wall clock time (in seconds):56.886 59.58/57.01 o -1342 59.58/57.06 c Got one! Elapsed wall clock time (in seconds):56.941 59.58/57.06 o -1347 60.18/57.60 c Got one! Elapsed wall clock time (in seconds):57.477 60.18/57.60 o -1349 60.89/58.39 c Got one! Elapsed wall clock time (in seconds):58.27 60.89/58.39 o -1351 62.48/59.93 c cleaning 6463 clauses out of 12930 with flag 6049/114343 62.78/60.23 c Got one! Elapsed wall clock time (in seconds):60.103 62.78/60.23 o -1353 62.98/60.43 c Got one! Elapsed wall clock time (in seconds):60.303 62.98/60.43 o -1355 63.19/60.62 c Got one! Elapsed wall clock time (in seconds):60.501 63.19/60.62 o -1397 65.60/63.00 c cleaning 6434 clauses out of 12870 with flag 10001/120746 68.63/65.90 c cleaning 6215 clauses out of 12437 with flag 22003/126747 71.93/69.25 c cleaning 6609 clauses out of 13221 with flag 36001/133746 75.63/72.94 c cleaning 7307 clauses out of 14613 with flag 52003/141747 80.02/77.20 c cleaning 8151 clauses out of 16306 with flag 70003/150747 85.07/82.19 c cleaning 9077 clauses out of 18154 with flag 90001/160746 85.47/82.52 c Got one! Elapsed wall clock time (in seconds):82.395 85.47/82.52 o -1402 87.87/84.98 c cleaning 7384 clauses out of 14776 with flag 10004/166445 90.77/87.88 c cleaning 6695 clauses out of 13392 with flag 22004/172445 93.09/90.01 c Got one! Elapsed wall clock time (in seconds):89.884 93.09/90.01 o -1409 93.59/90.53 c cleaning 5912 clauses out of 11832 with flag 2005/177580 96.39/93.38 c cleaning 5957 clauses out of 11920 with flag 14005/183580 96.70/93.69 c Got one! Elapsed wall clock time (in seconds):93.57 96.70/93.69 o -1411 97.29/94.25 c Got one! Elapsed wall clock time (in seconds):94.127 97.29/94.25 o -1412 97.49/94.42 c Got one! Elapsed wall clock time (in seconds):94.294 97.49/94.42 o -1417 97.99/94.93 c Got one! Elapsed wall clock time (in seconds):94.806 97.99/94.93 o -1419 99.12/96.06 c Got one! Elapsed wall clock time (in seconds):95.935 99.12/96.06 o -1423 100.12/97.06 c cleaning 6595 clauses out of 13194 with flag 4086/190811 100.92/97.87 c Got one! Elapsed wall clock time (in seconds):97.748 100.92/97.87 o -1425 102.92/99.83 c cleaning 6172 clauses out of 12351 with flag 8003/196563 105.87/102.72 c cleaning 6088 clauses out of 12179 with flag 20003/202563 108.47/105.32 c Got one! Elapsed wall clock time (in seconds):105.195 108.47/105.32 o -1429 108.78/105.66 c Got one! Elapsed wall clock time (in seconds):105.535 108.78/105.66 o -1437 108.88/105.79 c Got one! Elapsed wall clock time (in seconds):105.665 108.88/105.79 o -1442 109.07/105.92 c Got one! Elapsed wall clock time (in seconds):105.8 109.07/105.92 o -1443 109.27/106.15 c Got one! Elapsed wall clock time (in seconds):106.025 109.27/106.15 o -1444 109.67/106.51 c Got one! Elapsed wall clock time (in seconds):106.384 109.67/106.51 o -1445 110.17/107.07 c Got one! Elapsed wall clock time (in seconds):106.943 110.17/107.07 o -1446 110.77/107.64 c Got one! Elapsed wall clock time (in seconds):107.515 110.77/107.64 o -1447 111.17/108.00 c Got one! Elapsed wall clock time (in seconds):107.876 111.17/108.00 o -1448 111.78/108.52 c Got one! Elapsed wall clock time (in seconds):108.398 111.78/108.52 o -1449 111.78/108.56 c Got one! Elapsed wall clock time (in seconds):108.435 111.78/108.56 o -1450 113.38/110.15 c cleaning 10246 clauses out of 20493 with flag 6119/216965 114.38/111.13 c Got one! Elapsed wall clock time (in seconds):111.006 114.38/111.13 o -1451 115.67/112.49 c Got one! Elapsed wall clock time (in seconds):112.37 115.67/112.49 o -1454 116.27/113.03 c cleaning 8084 clauses out of 16169 with flag 2191/222887 116.59/113.32 c Got one! Elapsed wall clock time (in seconds):113.193 116.59/113.32 o -1469 119.08/115.76 c cleaning 6848 clauses out of 13705 with flag 10003/228507 121.88/118.56 c cleaning 6422 clauses out of 12856 with flag 22001/234506 125.29/121.86 c cleaning 6714 clauses out of 13434 with flag 36001/241506 129.19/125.73 c cleaning 7359 clauses out of 14720 with flag 52001/249506 133.73/130.27 c cleaning 8179 clauses out of 16361 with flag 70001/258506 138.89/135.35 c cleaning 9086 clauses out of 18182 with flag 90001/268506 144.57/140.90 c cleaning 10045 clauses out of 20096 with flag 112001/279506 150.76/147.01 c cleaning 11026 clauses out of 22051 with flag 136001/291506 157.20/153.42 c cleaning 12010 clauses out of 24025 with flag 162001/304506 163.35/159.42 c Got one! Elapsed wall clock time (in seconds):159.292 163.35/159.42 o -1509 166.17/162.22 c cleaning 14413 clauses out of 28831 with flag 10004/321322 169.39/165.33 c cleaning 10203 clauses out of 20418 with flag 22004/327322 172.69/168.69 c cleaning 8605 clauses out of 17214 with flag 36002/334321 176.60/172.54 c cleaning 8304 clauses out of 16610 with flag 52004/342322 179.64/175.55 c Got one! Elapsed wall clock time (in seconds):175.423 179.64/175.55 o -1513 182.24/178.13 c cleaning 9672 clauses out of 19343 with flag 10062/353359 185.27/181.13 c cleaning 7834 clauses out of 15671 with flag 22247/359359 187.37/183.28 c Got one! Elapsed wall clock time (in seconds):183.161 187.37/183.28 o -1515 187.97/183.81 c cleaning 6611 clauses out of 13226 with flag 2044/364748 189.87/185.74 c Got one! Elapsed wall clock time (in seconds):185.619 189.87/185.74 o -1516 190.08/185.98 c Got one! Elapsed wall clock time (in seconds):185.859 190.08/185.98 o -1517 190.18/186.04 c Got one! Elapsed wall clock time (in seconds):185.921 190.18/186.04 o -1518 191.18/187.04 c cleaning 6524 clauses out of 13056 with flag 4174/371189 192.28/188.15 c Got one! Elapsed wall clock time (in seconds):188.024 192.28/188.15 o -1520 193.09/188.91 c Got one! Elapsed wall clock time (in seconds):188.786 193.09/188.91 o -1521 193.09/188.94 c Got one! Elapsed wall clock time (in seconds):188.82 193.09/188.94 o -1522 193.89/189.75 c Got one! Elapsed wall clock time (in seconds):189.622 193.89/189.75 o -1533 194.39/190.30 c cleaning 6513 clauses out of 13034 with flag 2003/377691 197.42/193.23 c cleaning 6260 clauses out of 12521 with flag 14003/383691 200.82/196.67 c cleaning 6628 clauses out of 13261 with flag 28003/390691 204.63/200.49 c cleaning 7315 clauses out of 14634 with flag 44005/398692 207.36/203.11 c Got one! Elapsed wall clock time (in seconds):202.983 207.36/203.11 o -1539 208.91/204.62 c Got one! Elapsed wall clock time (in seconds):204.494 208.91/204.62 o -1542 209.51/205.14 c Got one! Elapsed wall clock time (in seconds):205.015 209.51/205.14 o -1544 211.11/206.76 c cleaning 9764 clauses out of 19529 with flag 6027/410902 211.91/207.50 c Got one! Elapsed wall clock time (in seconds):207.379 211.91/207.50 o -1545 213.21/208.80 c Got one! Elapsed wall clock time (in seconds):208.677 213.21/208.80 o -1546 213.31/208.90 c Got one! Elapsed wall clock time (in seconds):208.779 213.31/208.90 o -1548 214.37/209.91 c cleaning 8056 clauses out of 16115 with flag 4097/417252 215.77/211.37 c Got one! Elapsed wall clock time (in seconds):211.245 215.77/211.37 o -1550 216.77/212.39 c cleaning 6587 clauses out of 13180 with flag 4007/422373 219.67/215.21 c cleaning 6293 clauses out of 12592 with flag 16005/428372 222.51/218.00 c Got one! Elapsed wall clock time (in seconds):217.876 222.51/218.00 o -1558 225.09/220.51 c cleaning 8684 clauses out of 17384 with flag 10001/439457 228.00/223.44 c cleaning 7344 clauses out of 14701 with flag 22003/445458 231.44/226.82 c cleaning 7175 clauses out of 14357 with flag 36003/452458 235.25/230.65 c cleaning 7589 clauses out of 15182 with flag 52003/460458 239.88/235.12 c cleaning 8291 clauses out of 16592 with flag 70001/469457 245.05/240.22 c cleaning 9151 clauses out of 18302 with flag 90003/479458 250.71/245.78 c cleaning 10074 clauses out of 20150 with flag 112001/490457 256.92/251.84 c cleaning 11036 clauses out of 22076 with flag 136001/502457 263.77/258.59 c cleaning 12021 clauses out of 24041 with flag 162003/515458 270.92/265.54 c cleaning 13011 clauses out of 26021 with flag 190005/529459 278.75/273.28 c cleaning 13997 clauses out of 28008 with flag 220001/544457 287.50/281.88 c cleaning 15004 clauses out of 30012 with flag 252003/560458 296.63/290.61 c cleaning 15999 clauses out of 32008 with flag 286003/577458 306.09/299.94 c cleaning 17001 clauses out of 34008 with flag 322001/595457 315.86/309.51 c Got one! Elapsed wall clock time (in seconds):309.387 315.86/309.51 o -1566 319.01/312.55 c cleaning 19860 clauses out of 39732 with flag 10002/618182 322.00/315.56 c cleaning 12929 clauses out of 25873 with flag 22004/624183 325.66/319.11 c cleaning 9968 clauses out of 19943 with flag 36002/631182 329.74/323.16 c cleaning 8983 clauses out of 17975 with flag 52002/639182 331.44/324.83 c Got one! Elapsed wall clock time (in seconds):324.702 331.44/324.83 o -1570 332.44/325.83 c cleaning 7149 clauses out of 14309 with flag 4019/644499 335.37/328.78 c cleaning 6575 clauses out of 13160 with flag 16019/650499 338.66/332.04 c Got one! Elapsed wall clock time (in seconds):331.919 338.66/332.04 o -1574 341.38/334.67 c cleaning 9204 clauses out of 18409 with flag 10006/662323 342.38/335.64 c Got one! Elapsed wall clock time (in seconds):335.513 342.38/335.64 o -1576 342.48/335.77 c Got one! Elapsed wall clock time (in seconds):335.647 342.48/335.77 o -1577 344.37/337.69 c cleaning 7716 clauses out of 15434 with flag 8016/668552 344.77/338.08 c Got one! Elapsed wall clock time (in seconds):337.957 344.77/338.08 o -1578 345.97/339.25 c Got one! Elapsed wall clock time (in seconds):339.124 345.97/339.25 o -1579 345.97/339.27 c Got one! Elapsed wall clock time (in seconds):339.149 345.97/339.27 o -1582 346.07/339.32 c Got one! Elapsed wall clock time (in seconds):339.193 346.07/339.32 o -1586 346.22/339.40 c Got one! Elapsed wall clock time (in seconds):339.274 346.22/339.40 o -1590 346.92/340.17 c Got one! Elapsed wall clock time (in seconds):340.049 346.92/340.17 o -1595 348.02/341.20 c cleaning 7320 clauses out of 14650 with flag 4003/675484 350.92/344.15 c cleaning 6660 clauses out of 13331 with flag 16005/681485 354.34/347.53 c cleaning 6834 clauses out of 13670 with flag 30003/688484 358.30/351.43 c cleaning 7415 clauses out of 14838 with flag 46007/696486 361.50/354.67 c Got one! Elapsed wall clock time (in seconds):354.545 361.50/354.67 o -1596 363.29/356.33 c Got one! Elapsed wall clock time (in seconds):356.208 363.29/356.33 o -1598 363.40/356.47 c Got one! Elapsed wall clock time (in seconds):356.347 363.40/356.47 o -1600 363.50/356.54 c Got one! Elapsed wall clock time (in seconds):356.413 363.50/356.54 o -1601 363.50/356.55 c Got one! Elapsed wall clock time (in seconds):356.427 363.50/356.55 o -1603 364.60/357.63 c cleaning 9779 clauses out of 19559 with flag 4023/708622 365.89/358.96 c Got one! Elapsed wall clock time (in seconds):358.84 365.89/358.96 o -1610 367.49/360.55 c cleaning 7716 clauses out of 15438 with flag 6007/714280 367.69/360.73 c Got one! Elapsed wall clock time (in seconds):360.61 367.69/360.73 o -1613 367.69/360.75 c Got one! Elapsed wall clock time (in seconds):360.631 367.69/360.75 o -1616 370.13/363.19 c cleaning 6566 clauses out of 13137 with flag 10021/719695 373.09/366.05 c cleaning 6283 clauses out of 12571 with flag 22021/725695 375.19/368.15 c Got one! Elapsed wall clock time (in seconds):368.028 375.19/368.15 o -1617 375.69/368.69 c cleaning 5939 clauses out of 11880 with flag 2007/731287 376.38/369.34 c Got one! Elapsed wall clock time (in seconds):369.212 376.38/369.34 o -1618 377.08/370.08 c Got one! Elapsed wall clock time (in seconds):369.958 377.08/370.08 o -1625 378.65/371.59 c cleaning 5909 clauses out of 11831 with flag 6005/737177 381.55/374.49 c cleaning 5955 clauses out of 11921 with flag 18003/743176 384.96/377.89 c cleaning 6478 clauses out of 12967 with flag 32005/750177 389.00/381.87 c cleaning 7241 clauses out of 14488 with flag 48003/758176 393.54/386.37 c cleaning 8124 clauses out of 16247 with flag 66003/767176 398.52/391.28 c cleaning 9059 clauses out of 18123 with flag 86003/777176 404.29/396.97 c cleaning 10032 clauses out of 20064 with flag 108003/788176 404.39/397.07 c Got one! Elapsed wall clock time (in seconds):396.945 404.39/397.07 o -1626 405.49/398.19 c Got one! Elapsed wall clock time (in seconds):398.062 405.49/398.19 o -1636 406.13/398.79 c Got one! Elapsed wall clock time (in seconds):398.669 406.13/398.79 o -1639 406.33/398.91 c Got one! Elapsed wall clock time (in seconds):398.788 406.33/398.91 o -1642 407.33/399.94 c cleaning 7817 clauses out of 15637 with flag 4056/793781 410.40/402.94 c cleaning 6905 clauses out of 13819 with flag 16054/799780 412.90/405.48 c Got one! Elapsed wall clock time (in seconds):405.357 412.90/405.48 o -1643 413.91/406.40 c Got one! Elapsed wall clock time (in seconds):406.274 413.91/406.40 o -1644 416.00/408.47 c cleaning 9029 clauses out of 18058 with flag 8008/810924 419.07/411.43 c cleaning 7513 clauses out of 15029 with flag 20147/816924 422.37/414.79 c cleaning 7257 clauses out of 14518 with flag 34174/823926 426.19/418.57 c cleaning 7628 clauses out of 15259 with flag 50170/831924 428.19/420.54 c Got one! Elapsed wall clock time (in seconds):420.412 428.19/420.54 o -1646 428.69/421.06 c cleaning 6435 clauses out of 12879 with flag 2019/837172 431.68/423.93 c cleaning 6221 clauses out of 12445 with flag 14244/843173 433.08/425.34 c Got one! Elapsed wall clock time (in seconds):425.215 433.08/425.34 o -1650 434.08/426.31 c cleaning 5613 clauses out of 11238 with flag 4001/848187 436.92/429.14 c cleaning 5810 clauses out of 11625 with flag 16001/854187 440.24/432.48 c cleaning 6403 clauses out of 12815 with flag 30001/861187 444.06/436.26 c cleaning 7205 clauses out of 14413 with flag 46003/869188 448.59/440.74 c cleaning 8101 clauses out of 16207 with flag 64001/878187 453.62/445.67 c cleaning 9053 clauses out of 18107 with flag 84003/888188 459.30/451.24 c cleaning 10023 clauses out of 20054 with flag 106003/899188 465.40/457.26 c cleaning 11016 clauses out of 22031 with flag 130003/911188 472.09/463.89 c cleaning 12008 clauses out of 24015 with flag 156003/924188 479.34/470.91 c cleaning 13003 clauses out of 26007 with flag 184003/938188 487.19/478.69 c cleaning 13998 clauses out of 28003 with flag 214001/953187 495.57/486.84 c cleaning 15000 clauses out of 30005 with flag 246001/969187 504.93/496.09 c cleaning 16000 clauses out of 32005 with flag 280001/986187 514.74/505.69 c cleaning 17001 clauses out of 34006 with flag 316003/1004188 520.04/510.87 c Got one! Elapsed wall clock time (in seconds):510.748 520.04/510.87 o -1651 523.32/513.92 c cleaning 15922 clauses out of 31851 with flag 10002/1019034 526.43/517.04 c cleaning 10963 clauses out of 21929 with flag 22002/1025034 530.04/520.63 c cleaning 8980 clauses out of 17966 with flag 36002/1032034 534.10/524.63 c cleaning 8488 clauses out of 16987 with flag 52004/1040035 538.79/529.26 c cleaning 8746 clauses out of 17498 with flag 70002/1049034 543.78/534.29 c cleaning 9373 clauses out of 18753 with flag 90004/1059035 549.60/540.02 c cleaning 10188 clauses out of 20380 with flag 112004/1070035 550.20/540.65 c Got one! Elapsed wall clock time (in seconds):540.522 550.20/540.65 o -1660 552.30/542.71 c cleaning 7697 clauses out of 15404 with flag 8005/1075247 555.26/545.61 c cleaning 6846 clauses out of 13706 with flag 20003/1081246 558.66/549.02 c cleaning 6926 clauses out of 13860 with flag 34003/1088246 562.57/552.94 c cleaning 7465 clauses out of 14934 with flag 50003/1096246 563.97/554.35 c Got one! Elapsed wall clock time (in seconds):554.229 563.97/554.35 o -1664 565.12/555.40 c cleaning 6259 clauses out of 12533 with flag 4006/1101310 568.02/558.31 c cleaning 6134 clauses out of 12273 with flag 16004/1107309 568.22/558.51 c Got one! Elapsed wall clock time (in seconds):558.39 568.22/558.51 o -1665 569.22/559.54 c Got one! Elapsed wall clock time (in seconds):559.415 569.22/559.54 o -1666 569.52/559.82 c Got one! Elapsed wall clock time (in seconds):559.694 569.52/559.82 o -1667 569.52/559.88 c Got one! Elapsed wall clock time (in seconds):559.753 569.52/559.88 o -1668 569.52/559.90 c Got one! Elapsed wall clock time (in seconds):559.777 569.52/559.90 o -1670 571.16/561.41 c cleaning 6110 clauses out of 12228 with flag 6051/1113398 573.96/564.22 c cleaning 6056 clauses out of 12117 with flag 18049/1119397 577.38/567.61 c cleaning 6528 clauses out of 13062 with flag 32051/1126398 577.57/567.81 c Got one! Elapsed wall clock time (in seconds):567.685 577.57/567.81 o -1672 579.31/569.56 c Got one! Elapsed wall clock time (in seconds):569.437 579.31/569.56 o -1680 580.30/570.57 c cleaning 6254 clauses out of 12515 with flag 4005/1132379 583.20/573.49 c cleaning 6125 clauses out of 12260 with flag 16003/1138378 586.67/576.87 c cleaning 6566 clauses out of 13136 with flag 30005/1145379 590.72/580.84 c cleaning 7283 clauses out of 14570 with flag 46005/1153379 595.28/585.39 c cleaning 8141 clauses out of 16286 with flag 64003/1162378 600.33/590.32 c cleaning 9073 clauses out of 18145 with flag 84003/1172378 601.77/591.70 c Got one! Elapsed wall clock time (in seconds):591.578 601.77/591.70 o -1682 603.27/593.22 c cleaning 7410 clauses out of 14829 with flag 6067/1178135 606.23/596.15 c cleaning 6709 clauses out of 13419 with flag 18138/1184135 606.33/596.27 c Got one! Elapsed wall clock time (in seconds):596.147 606.33/596.27 o -1685 606.83/596.75 c Got one! Elapsed wall clock time (in seconds):596.623 606.83/596.75 o -1686 607.03/596.92 c Got one! Elapsed wall clock time (in seconds):596.793 607.03/596.92 o -1687 608.23/598.12 c Got one! Elapsed wall clock time (in seconds):597.995 608.23/598.12 o -1688 609.39/599.28 c Got one! Elapsed wall clock time (in seconds):599.152 609.39/599.28 o -1696 609.99/599.83 c Got one! Elapsed wall clock time (in seconds):599.704 609.99/599.83 o -1699 610.59/600.40 c cleaning 7473 clauses out of 14952 with flag 2052/1192377 613.67/603.45 c cleaning 6738 clauses out of 13480 with flag 14054/1198378 617.07/606.80 c cleaning 6866 clauses out of 13741 with flag 28052/1205377 617.27/607.04 c Got one! Elapsed wall clock time (in seconds):606.921 617.27/607.04 o -1700 618.20/607.95 c Got one! Elapsed wall clock time (in seconds):607.823 618.20/607.95 o -1701 620.10/609.86 c cleaning 6598 clauses out of 13200 with flag 8136/1211702 623.03/612.74 c cleaning 6299 clauses out of 12603 with flag 20182/1217703 623.82/613.55 c Got one! Elapsed wall clock time (in seconds):613.423 623.82/613.55 o -1707 625.17/614.83 c Got one! Elapsed wall clock time (in seconds):614.709 625.17/614.83 o -1712 625.46/615.15 c Got one! Elapsed wall clock time (in seconds):615.026 625.46/615.15 o -1713 626.47/616.16 c cleaning 6565 clauses out of 13134 with flag 4085/1224533 629.40/619.05 c cleaning 6282 clauses out of 12569 with flag 16085/1230533 632.67/622.28 c cleaning 6641 clauses out of 13287 with flag 30085/1237533 636.56/626.03 c Got one! Elapsed wall clock time (in seconds):625.905 636.56/626.03 o -1714 636.75/626.23 c Got one! Elapsed wall clock time (in seconds):626.103 636.75/626.23 o -1715 639.46/628.82 c cleaning 9883 clauses out of 19781 with flag 10093/1250668 639.86/629.23 c Got one! Elapsed wall clock time (in seconds):629.104 639.86/629.23 o -1726 642.25/631.64 c cleaning 7882 clauses out of 15778 with flag 10002/1256548 645.17/634.51 c cleaning 6943 clauses out of 13896 with flag 22002/1262548 648.49/637.90 c cleaning 6974 clauses out of 13954 with flag 36004/1269549 652.33/641.60 c cleaning 7489 clauses out of 14979 with flag 52002/1277548 656.67/645.99 c cleaning 8242 clauses out of 16490 with flag 70002/1286548 661.81/650.96 c cleaning 9124 clauses out of 18248 with flag 90002/1296548 667.26/656.35 c cleaning 10060 clauses out of 20124 with flag 112002/1307548 673.71/662.53 c cleaning 11030 clauses out of 22065 with flag 136004/1319549 680.09/668.89 c cleaning 12015 clauses out of 24035 with flag 162004/1332549 687.13/675.79 c cleaning 13007 clauses out of 26019 with flag 190002/1346548 694.55/683.10 c cleaning 14005 clauses out of 28013 with flag 220004/1361549 702.94/691.29 c cleaning 15004 clauses out of 30007 with flag 252002/1377548 708.10/696.32 c Got one! Elapsed wall clock time (in seconds):696.2 708.10/696.32 o -1728 710.80/699.09 c cleaning 15161 clauses out of 30331 with flag 10005/1392876 713.93/702.10 c cleaning 10580 clauses out of 21169 with flag 22003/1398875 717.39/705.58 c cleaning 8790 clauses out of 17589 with flag 36003/1405875 721.45/709.58 c cleaning 8397 clauses out of 16800 with flag 52005/1413876 725.83/713.88 c cleaning 8696 clauses out of 17402 with flag 70003/1422875 730.69/718.65 c cleaning 9351 clauses out of 18707 with flag 90005/1432876 736.21/724.18 c cleaning 10175 clauses out of 20355 with flag 112003/1443875 737.54/725.49 c Got one! Elapsed wall clock time (in seconds):725.364 737.54/725.49 o -1729 739.14/727.06 c cleaning 7911 clauses out of 15829 with flag 6006/1449524 741.68/729.52 c Got one! Elapsed wall clock time (in seconds):729.397 741.68/729.52 o -1732 742.88/730.77 c Got one! Elapsed wall clock time (in seconds):730.647 742.88/730.77 o -1738 743.18/731.05 c Got one! Elapsed wall clock time (in seconds):730.927 743.18/731.05 o -1739 744.79/732.70 c cleaning 9459 clauses out of 18918 with flag 6095/1460524 746.12/733.96 c Got one! Elapsed wall clock time (in seconds):733.84 746.12/733.96 o -1740 747.62/735.47 c cleaning 7521 clauses out of 15049 with flag 6061/1466114 750.48/738.26 c cleaning 6761 clauses out of 13527 with flag 18157/1472113 752.47/740.23 c Got one! Elapsed wall clock time (in seconds):740.106 752.47/740.23 o -1741 752.97/740.74 c cleaning 6014 clauses out of 12037 with flag 2048/1477384 755.80/743.56 c cleaning 6005 clauses out of 12022 with flag 14046/1483383 759.23/746.96 c cleaning 6508 clauses out of 13017 with flag 28046/1490383 762.96/750.68 c cleaning 7255 clauses out of 14511 with flag 44050/1498385 767.30/754.98 c cleaning 8123 clauses out of 16255 with flag 62048/1507384 768.02/755.64 c Got one! Elapsed wall clock time (in seconds):755.517 768.02/755.64 o -1743 769.92/757.55 c cleaning 6776 clauses out of 13572 with flag 8006/1512824 772.75/760.38 c cleaning 6394 clauses out of 12796 with flag 20006/1518824 776.20/763.78 c cleaning 6696 clauses out of 13401 with flag 34004/1525823 780.02/767.59 c cleaning 7353 clauses out of 14705 with flag 50004/1533823 784.41/771.81 c cleaning 8174 clauses out of 16353 with flag 68006/1542824 789.28/776.66 c cleaning 9084 clauses out of 18179 with flag 88006/1552824 795.09/782.31 c cleaning 10047 clauses out of 20094 with flag 110004/1563823 801.19/788.34 c cleaning 11024 clauses out of 22047 with flag 134004/1575823 807.62/794.64 c cleaning 12010 clauses out of 24024 with flag 160006/1588824 814.63/801.48 c cleaning 13005 clauses out of 26013 with flag 188004/1602823 814.93/801.77 c Got one! Elapsed wall clock time (in seconds):801.643 814.93/801.77 o -1745 817.42/804.19 c cleaning 9311 clauses out of 18632 with flag 10001/1608447 820.35/807.07 c cleaning 7655 clauses out of 15321 with flag 22001/1614447 823.77/810.46 c cleaning 7325 clauses out of 14666 with flag 36001/1621447 827.83/814.42 c cleaning 7665 clauses out of 15342 with flag 52003/1629448 832.20/818.70 c cleaning 8337 clauses out of 16677 with flag 70003/1638448 837.04/823.58 c cleaning 9168 clauses out of 18340 with flag 90003/1648448 842.44/828.88 c cleaning 10081 clauses out of 20172 with flag 112003/1659448 848.52/834.72 c cleaning 11046 clauses out of 22091 with flag 136003/1671448 855.43/841.45 c cleaning 12022 clauses out of 24044 with flag 162001/1684447 862.79/848.67 c cleaning 13009 clauses out of 26022 with flag 190001/1698447 870.72/856.41 c cleaning 14006 clauses out of 28013 with flag 220001/1713447 879.20/864.78 c cleaning 15002 clauses out of 30008 with flag 252003/1729448 888.54/873.87 c cleaning 16002 clauses out of 32006 with flag 286003/1746448 898.03/883.30 c cleaning 17000 clauses out of 34003 with flag 322001/1764447 908.17/893.23 c cleaning 18001 clauses out of 36003 with flag 360001/1783447 919.51/904.33 c cleaning 19001 clauses out of 38003 with flag 400003/1803448 931.19/915.73 c cleaning 20000 clauses out of 40002 with flag 442003/1824448 943.23/927.61 c cleaning 20999 clauses out of 42001 with flag 486001/1846447 956.74/940.87 c cleaning 21996 clauses out of 44002 with flag 532001/1869447 970.54/954.38 c cleaning 23001 clauses out of 46007 with flag 580003/1893448 984.68/968.18 c cleaning 24001 clauses out of 48005 with flag 630001/1918447 999.62/982.93 c cleaning 25001 clauses out of 50005 with flag 682003/1944448 1015.72/998.52 c cleaning 25998 clauses out of 52003 with flag 736001/1971447 1031.88/1014.32 c cleaning 26999 clauses out of 54005 with flag 792001/1999447 1049.06/1031.15 c cleaning 28003 clauses out of 56006 with flag 850001/2028447 1067.48/1049.43 c cleaning 28998 clauses out of 58004 with flag 910003/2058448 1087.06/1068.70 c cleaning 29999 clauses out of 60005 with flag 972001/2089447 1108.15/1089.13 c cleaning 30996 clauses out of 62006 with flag 1036001/2121447 1128.97/1109.61 c cleaning 32005 clauses out of 64010 with flag 1102001/2154447 1150.25/1130.50 c cleaning 33002 clauses out of 66005 with flag 1170001/2188447 1172.00/1151.98 c cleaning 34001 clauses out of 68003 with flag 1240001/2223447 1192.74/1172.53 c Got one! Elapsed wall clock time (in seconds):1172.411 1192.74/1172.53 o -1790 1196.92/1176.49 c cleaning 36214 clauses out of 72435 with flag 10002/2261880 1200.32/1179.87 c cleaning 21105 clauses out of 42222 with flag 22004/2267881 1204.12/1183.62 c cleaning 14050 clauses out of 28117 with flag 36004/2274881 1208.05/1187.55 c cleaning 11025 clauses out of 22067 with flag 52004/2282881 1212.45/1191.97 c cleaning 10014 clauses out of 20042 with flag 70004/2291881 1217.70/1197.17 c cleaning 10010 clauses out of 20028 with flag 90004/2301881 1223.10/1202.55 c cleaning 10508 clauses out of 21018 with flag 112004/2312881 1229.36/1208.75 c cleaning 11254 clauses out of 22509 with flag 136002/2324880 1236.16/1215.50 c cleaning 12127 clauses out of 24255 with flag 162002/2337880 1243.56/1222.84 c cleaning 13064 clauses out of 26128 with flag 190002/2351880 1251.73/1230.97 c cleaning 14029 clauses out of 28065 with flag 220004/2366881 1260.41/1239.51 c cleaning 15017 clauses out of 30035 with flag 252002/2382880 1269.62/1248.64 c cleaning 16009 clauses out of 32018 with flag 286002/2399880 1279.25/1258.17 c cleaning 16999 clauses out of 34010 with flag 322004/2417881 1289.86/1268.63 c cleaning 18005 clauses out of 36011 with flag 360004/2436881 1300.99/1279.61 c cleaning 19002 clauses out of 38006 with flag 400004/2456881 1304.49/1283.06 c Got one! Elapsed wall clock time (in seconds):1282.937 1304.49/1283.06 o -1791 1307.29/1285.82 c cleaning 15373 clauses out of 30760 with flag 10005/2468637 1310.39/1288.91 c cleaning 10685 clauses out of 21387 with flag 22005/2474637 1313.96/1292.41 c cleaning 8844 clauses out of 17703 with flag 36007/2481638 1317.86/1296.38 c cleaning 8426 clauses out of 16857 with flag 52003/2489636 1322.44/1300.81 c cleaning 8711 clauses out of 17432 with flag 70005/2498637 1327.34/1305.78 c cleaning 9356 clauses out of 18720 with flag 90003/2508636 1332.80/1311.17 c cleaning 10182 clauses out of 20364 with flag 112003/2519636 1338.48/1316.78 c cleaning 11092 clauses out of 22183 with flag 136005/2531637 1345.06/1323.25 c cleaning 12045 clauses out of 24091 with flag 162005/2544637 1352.47/1330.52 c cleaning 13019 clauses out of 26046 with flag 190005/2558637 1359.09/1337.02 c Got one! Elapsed wall clock time (in seconds):1336.899 1359.09/1337.02 o -1795 1362.00/1339.97 c cleaning 15368 clauses out of 30744 with flag 10006/2576354 1362.79/1340.72 c Got one! Elapsed wall clock time (in seconds):1340.592 1362.79/1340.72 o -1796 1364.89/1342.90 c cleaning 10424 clauses out of 20858 with flag 8168/2581836 1367.95/1345.89 c cleaning 8211 clauses out of 16434 with flag 20168/2587836 1371.45/1349.33 c cleaning 7610 clauses out of 15223 with flag 34168/2594836 1375.39/1353.27 c cleaning 7804 clauses out of 15614 with flag 50170/2602837 1375.69/1353.50 c Got one! Elapsed wall clock time (in seconds):1353.38 1375.69/1353.50 o -1797 1377.69/1355.58 c Got one! Elapsed wall clock time (in seconds):1355.456 1377.69/1355.58 o -1798 1377.89/1355.73 c Got one! Elapsed wall clock time (in seconds):1355.602 1377.89/1355.73 o -1799 1377.99/1355.80 c Got one! Elapsed wall clock time (in seconds):1355.677 1377.99/1355.80 o -1804 1377.99/1355.82 c Got one! Elapsed wall clock time (in seconds):1355.696 1377.99/1355.82 o -1805 1377.99/1355.83 c Got one! Elapsed wall clock time (in seconds):1355.704 1377.99/1355.83 o -1806 1378.09/1355.93 c Got one! Elapsed wall clock time (in seconds):1355.805 1378.09/1355.93 o -1810 1378.60/1356.49 c cleaning 6991 clauses out of 13989 with flag 2059/2609016 1381.53/1359.34 c cleaning 6494 clauses out of 12998 with flag 14059/2615016 1384.73/1362.59 c cleaning 6747 clauses out of 13504 with flag 28059/2622016 1388.67/1366.47 c cleaning 7376 clauses out of 14758 with flag 44061/2630017 1392.98/1370.68 c cleaning 8189 clauses out of 16382 with flag 62061/2639017 1397.27/1374.98 c Got one! Elapsed wall clock time (in seconds):1374.854 1397.27/1374.98 o -1811 1400.08/1377.70 c cleaning 11349 clauses out of 22698 with flag 10322/2653522 1403.09/1380.69 c cleaning 8674 clauses out of 17350 with flag 22708/2659523 1406.54/1384.07 c cleaning 7836 clauses out of 15676 with flag 37009/2666523 1410.44/1387.92 c cleaning 7917 clauses out of 15839 with flag 53739/2674522 1414.65/1392.19 c cleaning 8459 clauses out of 16922 with flag 72004/2683522 1416.15/1393.60 c Got one! Elapsed wall clock time (in seconds):1393.478 1416.15/1393.60 o -1812 1417.22/1394.62 c cleaning 6740 clauses out of 13487 with flag 4191/2688546 1417.42/1394.84 c Got one! Elapsed wall clock time (in seconds):1394.718 1417.42/1394.84 o -1824 1419.82/1397.29 c cleaning 6112 clauses out of 12240 with flag 10005/2694039 1422.77/1400.19 c cleaning 6060 clauses out of 12128 with flag 22005/2700039 1426.28/1403.64 c cleaning 6534 clauses out of 13067 with flag 36003/2707038 1430.34/1407.61 c cleaning 7264 clauses out of 14534 with flag 52005/2715039 1434.72/1411.96 c cleaning 8134 clauses out of 16270 with flag 70005/2724039 1439.62/1416.84 c cleaning 9064 clauses out of 18135 with flag 90003/2734038 1445.28/1422.43 c cleaning 10034 clauses out of 20072 with flag 112005/2745039 1451.53/1428.63 c cleaning 11018 clauses out of 22037 with flag 136003/2757038 1458.48/1435.48 c cleaning 12009 clauses out of 24019 with flag 162003/2770038 1466.18/1443.03 c cleaning 13004 clauses out of 26010 with flag 190003/2784038 1474.14/1450.82 c cleaning 13999 clauses out of 28007 with flag 220005/2799039 1482.04/1458.70 c cleaning 15003 clauses out of 30008 with flag 252005/2815039 1490.99/1467.50 c cleaning 16002 clauses out of 32004 with flag 286003/2832038 1500.95/1477.28 c cleaning 16997 clauses out of 34003 with flag 322005/2850039 1511.58/1487.60 c cleaning 18002 clauses out of 36005 with flag 360003/2869038 1522.88/1498.73 c cleaning 19002 clauses out of 38004 with flag 400005/2889039 1523.18/1499.07 c Got one! Elapsed wall clock time (in seconds):1498.947 1523.18/1499.07 o -1830 1526.19/1501.94 c cleaning 12327 clauses out of 24661 with flag 10004/2894698 1529.20/1504.91 c cleaning 9160 clauses out of 18335 with flag 22006/2900699 1529.69/1505.49 c Got one! Elapsed wall clock time (in seconds):1505.367 1529.69/1505.49 o -1832 1530.79/1506.59 c Got one! Elapsed wall clock time (in seconds):1506.469 1530.79/1506.59 o -1833 1530.99/1506.71 c Got one! Elapsed wall clock time (in seconds):1506.584 1530.99/1506.71 o -1834 1530.99/1506.75 c Got one! Elapsed wall clock time (in seconds):1506.623 1530.99/1506.75 o -1836 1532.13/1507.80 c cleaning 7436 clauses out of 14882 with flag 4071/2906406 1534.93/1510.69 c cleaning 6715 clauses out of 13446 with flag 16071/2912406 1538.35/1514.06 c cleaning 6865 clauses out of 13731 with flag 30071/2919406 1542.31/1517.91 c cleaning 7430 clauses out of 14866 with flag 46071/2927406 1546.61/1522.27 c cleaning 8216 clauses out of 16436 with flag 64071/2936406 1551.44/1527.04 c cleaning 9109 clauses out of 18221 with flag 84073/2946407 1556.88/1532.43 c cleaning 10052 clauses out of 20112 with flag 106073/2957407 1560.40/1535.98 c Got one! Elapsed wall clock time (in seconds):1535.854 1560.40/1535.98 o -1838 1563.21/1538.65 c cleaning 11226 clauses out of 22457 with flag 10252/2969804 1566.11/1541.53 c cleaning 8613 clauses out of 17230 with flag 22498/2975803 1569.44/1544.85 c cleaning 7808 clauses out of 15619 with flag 36849/2982805 1573.16/1548.52 c cleaning 7900 clauses out of 15810 with flag 53361/2990804 1577.43/1552.78 c cleaning 8451 clauses out of 16909 with flag 71624/2999803 1582.30/1557.58 c cleaning 9222 clauses out of 18458 with flag 91987/3009803 1587.35/1562.56 c cleaning 10117 clauses out of 20236 with flag 113987/3020803 1593.15/1568.25 c cleaning 11060 clauses out of 22119 with flag 137987/3032803 1599.50/1574.60 c cleaning 12027 clauses out of 24059 with flag 163987/3045803 1606.80/1581.74 c cleaning 13014 clauses out of 26033 with flag 191989/3059804 1614.74/1589.51 c cleaning 14005 clauses out of 28018 with flag 221987/3074803 1617.53/1592.39 c Got one! Elapsed wall clock time (in seconds):1592.263 1617.53/1592.39 o -1840 1620.20/1594.96 c cleaning 12531 clauses out of 25071 with flag 10177/3085861 1623.14/1597.88 c cleaning 9266 clauses out of 18539 with flag 22403/3091860 1626.60/1601.22 c cleaning 8134 clauses out of 16273 with flag 36563/3098860 1630.37/1604.98 c cleaning 8065 clauses out of 16139 with flag 52835/3106860 1632.72/1607.21 c Got one! Elapsed wall clock time (in seconds):1607.091 1632.72/1607.21 o -1874 1633.21/1607.74 c cleaning 6921 clauses out of 13846 with flag 2001/3112632 1636.09/1610.59 c cleaning 6456 clauses out of 12926 with flag 14003/3118633 1639.37/1613.89 c cleaning 6732 clauses out of 13469 with flag 28001/3125632 1643.34/1617.75 c cleaning 7367 clauses out of 14737 with flag 44001/3133632 1647.81/1622.17 c cleaning 8181 clauses out of 16370 with flag 62001/3142632 1652.87/1627.13 c cleaning 9093 clauses out of 18190 with flag 82003/3152633 1658.48/1632.64 c cleaning 10048 clauses out of 20098 with flag 104005/3163634 1664.60/1638.68 c cleaning 11022 clauses out of 22049 with flag 128003/3175633 1671.29/1645.25 c cleaning 12012 clauses out of 24027 with flag 154003/3188633 1678.80/1652.63 c cleaning 13003 clauses out of 26014 with flag 182001/3202632 1686.78/1660.48 c cleaning 14002 clauses out of 28012 with flag 212003/3217633 1695.14/1668.66 c cleaning 15000 clauses out of 30010 with flag 244003/3233633 1704.60/1677.95 c cleaning 15998 clauses out of 32010 with flag 278003/3250633 1714.60/1687.73 c cleaning 17006 clauses out of 34011 with flag 314001/3268632 1724.97/1697.98 c cleaning 18001 clauses out of 36006 with flag 352003/3287633 1736.01/1708.72 c cleaning 19002 clauses out of 38005 with flag 392003/3307633 1747.13/1719.68 c cleaning 19997 clauses out of 40003 with flag 434003/3328633 1759.51/1731.74 c cleaning 21003 clauses out of 42006 with flag 478003/3350633 1772.46/1744.47 c cleaning 21999 clauses out of 44002 with flag 524001/3373632 1786.17/1757.72 c cleaning 23001 clauses out of 46004 with flag 572003/3397633 1800.07/1771.40 c starts : 241 1800.07/1771.40 c conflicts : 3422183 1800.07/1771.40 c decisions : 3434118 1800.07/1771.40 c propagations : 502561555 1800.07/1771.40 c inspects : 6909415501 1800.07/1771.40 c shortcuts : 0 1800.07/1771.40 c learnt literals : 0 1800.07/1771.40 c learnt binary clauses : 0 1800.07/1771.40 c learnt ternary clauses : 0 1800.07/1771.40 c learnt constraints : 3422183 1800.07/1771.40 c ignored constraints : 0 1800.07/1771.40 c root simplifications : 0 1800.07/1771.40 c removed literals (reason simplification) : 0 1800.07/1771.40 c reason swapping (by a shorter reason) : 0 1800.07/1771.40 c Calls to reduceDB : 319 1800.07/1771.40 c Number of update (reduction) of LBD : 537 1800.07/1771.40 c Imported unit clauses : 0 1800.07/1771.40 c number of reductions to clauses (during analyze) : 0 1800.07/1771.40 c number of learned constraints concerned by reduction : 0 1800.07/1771.40 c number of learning phase by resolution : 0 1800.07/1771.40 c number of learning phase by cutting planes : 0 1800.07/1771.40 c speed (assignments/second) : 283848.08786069707 1800.07/1771.40 c non guided choices 0 1800.07/1771.42 c learnt constraints type 1800.07/1771.42 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 47553 1800.07/1771.42 s SATISFIABLE 1800.07/1771.42 c Found 240 solution(s) 1800.07/1771.42 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 1800.07/1771.42 c objective function=-1874 1800.07/1771.42 c Total wall clock time (in seconds): 1771.298
OK -1874
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-4119518-1467261007/watcher-4119518-1467261007 -o /tmp/evaluation-result-4119518-1467261007/solver-4119518-1467261007 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467250272-6476 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119518-1467261007.opb pid=7774 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: 2.42 2.33 2.23 3/195 7777 /proc/meminfo: memFree=28095012/32872528 swapFree=1555460/1718980 [pid=7777] ppid=7774 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/7777/stat : 7777 (java) R 7774 7777 5948 0 -1 4202496 157 0 0 0 0 0 0 0 20 0 1 0 5128288 278528 33 33554432000 1073741824 1073778376 140734988384064 140734988381240 270320889013 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/7777/statm: 68 33 25 9 0 25 0 [startup+0.100061 s] /proc/loadavg: 2.42 2.33 2.23 3/195 7777 /proc/meminfo: memFree=28095012/32872528 swapFree=1555460/1718980 [pid=7777] ppid=7774 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/7777/stat : 7777 (java) S 7774 7777 5948 0 -1 4202496 4158 0 1 0 6 1 0 0 20 0 18 0 5128288 9787879424 5278 33554432000 1073741824 1073778376 140733684552800 140733684543936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7777/statm: 2389619 5278 2053 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558476 [startup+0.200245 s] /proc/loadavg: 2.42 2.33 2.23 3/195 7777 /proc/meminfo: memFree=28095012/32872528 swapFree=1555460/1718980 [pid=7777] ppid=7774 vsize=9558476 CPUtime=0.22 cores=1,3,5,7 /proc/7777/stat : 7777 (java) S 7774 7777 5948 0 -1 4202496 4619 0 1 0 21 1 0 0 20 0 18 0 5128288 9787879424 6723 33554432000 1073741824 1073778376 140733684552800 140733684543936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7777/statm: 2389619 6723 2211 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300232 s] /proc/loadavg: 2.42 2.33 2.23 3/195 7777 /proc/meminfo: memFree=28095012/32872528 swapFree=1555460/1718980 [pid=7777] ppid=7774 vsize=9558476 CPUtime=0.45 cores=1,3,5,7 /proc/7777/stat : 7777 (java) S 7774 7777 5948 0 -1 4202496 5846 0 1 0 44 1 0 0 20 0 18 0 5128288 9787879424 8061 33554432000 1073741824 1073778376 140733684552800 140733684543936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7777/statm: 2389619 8061 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558476 [startup+0.700166 s] /proc/loadavg: 2.42 2.33 2.23 3/195 7777 /proc/meminfo: memFree=28095012/32872528 swapFree=1555460/1718980 [pid=7777] ppid=7774 vsize=9558476 CPUtime=1.03 cores=1,3,5,7 /proc/7777/stat : 7777 (java) S 7774 7777 5948 0 -1 4202496 6856 0 1 0 101 2 0 0 20 0 18 0 5128288 9787879424 11178 33554432000 1073741824 1073778376 140733684552800 140733684543936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7777/statm: 2389619 11178 2242 9 0 2380296 0 Current children cumulated CPU time (s) 1.03 Current children cumulated vsize (KiB) 9558476 [startup+1.50081 s] /proc/loadavg: 2.42 2.33 2.23 6/214 7796 /proc/meminfo: memFree=28024264/32872528 swapFree=1555460/1718980 [pid=7777] ppid=7774 vsize=9625040 CPUtime=2.89 cores=1,3,5,7 /proc/7777/stat : 7777 (java) S 7774 7777 5948 0 -1 4202496 20407 0 1 0 285 4 0 0 20 0 19 0 5128288 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 140733684543936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7777/statm: 2406260 24737 2274 9 0 2396937 0 [pid=7777/tid=7779] ppid=7774 vsize=9625040 CPUtime=1.45 cores=1,3,5,7 /proc/7777/task/7779/stat : 7779 (java) R 7774 7777 5948 0 -1 4202560 2453 0 1 0 143 2 0 0 20 0 19 0 5128290 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682947809584 139682820976709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7780] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7780/stat : 7780 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682791721896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7781] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7781/stat : 7781 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682790669352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7782] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7782/stat : 7782 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682789616296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7783] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7783/stat : 7783 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682788563752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7777/tid=7784] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7784/stat : 7784 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682787510696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7785] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7785/stat : 7785 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682786458152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7777/tid=7786] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7786/stat : 7786 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682785405096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7787] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7787/stat : 7787 (java) S 7774 7777 5948 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682784352552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7788] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7788/stat : 7788 (java) S 7774 7777 5948 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682771942248 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7789] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7789/stat : 7789 (java) S 7774 7777 5948 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682770888568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7790] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7790/stat : 7790 (java) S 7774 7777 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682769835400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7791] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7791/stat : 7791 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682768784144 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7792] ppid=7774 vsize=9625040 CPUtime=0.71 cores=1,3,5,7 /proc/7777/task/7792/stat : 7792 (java) S 7774 7777 5948 0 -1 4202560 7501 0 0 0 69 2 0 0 20 0 19 0 5128296 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682767731000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7793] ppid=7774 vsize=9625040 CPUtime=0.71 cores=1,3,5,7 /proc/7777/task/7793/stat : 7793 (java) S 7774 7777 5948 0 -1 4202560 9177 0 0 0 69 2 0 0 20 0 19 0 5128296 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682766678456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7794] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7794/stat : 7794 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682765625592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7795] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7795/stat : 7795 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682764573256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7796] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7796/stat : 7796 (java) S 7774 7777 5948 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5128376 9856040960 24737 33554432000 1073741824 1073778376 140733684552800 139682763519528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.89 Current children cumulated vsize (KiB) 9625040 [startup+3.10081 s] /proc/loadavg: 2.42 2.33 2.23 4/214 7796 /proc/meminfo: memFree=27967232/32872528 swapFree=1555460/1718980 [pid=7777] ppid=7774 vsize=9625040 CPUtime=4.58 cores=1,3,5,7 /proc/7777/stat : 7777 (java) S 7774 7777 5948 0 -1 4202496 20443 0 1 0 452 6 0 0 20 0 19 0 5128288 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 140733684543936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7777/statm: 2406260 42146 2274 9 0 2396937 0 [pid=7777/tid=7779] ppid=7774 vsize=9625040 CPUtime=3.05 cores=1,3,5,7 /proc/7777/task/7779/stat : 7779 (java) R 7774 7777 5948 0 -1 4202560 2488 0 1 0 302 3 0 0 20 0 19 0 5128290 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682947809584 139682821113297 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7780] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7780/stat : 7780 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682791721896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7781] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7781/stat : 7781 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682790669352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7782] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7782/stat : 7782 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682789616296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7783] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7783/stat : 7783 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682788563752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7777/tid=7784] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7784/stat : 7784 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682787510696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7785] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7785/stat : 7785 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682786458152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7777/tid=7786] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7786/stat : 7786 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682785405096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7787] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7787/stat : 7787 (java) S 7774 7777 5948 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682784352552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7788] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7788/stat : 7788 (java) S 7774 7777 5948 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682771942248 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7789] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7789/stat : 7789 (java) S 7774 7777 5948 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682770888568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7790] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7790/stat : 7790 (java) S 7774 7777 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682769835400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7791] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7791/stat : 7791 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682768784144 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7792] ppid=7774 vsize=9625040 CPUtime=0.78 cores=1,3,5,7 /proc/7777/task/7792/stat : 7792 (java) S 7774 7777 5948 0 -1 4202560 7501 0 0 0 76 2 0 0 20 0 19 0 5128296 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682767731000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7793] ppid=7774 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/7777/task/7793/stat : 7793 (java) S 7774 7777 5948 0 -1 4202560 9177 0 0 0 70 2 0 0 20 0 19 0 5128296 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682766678456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7794] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7794/stat : 7794 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682765625592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7795] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7795/stat : 7795 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682764573256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7796] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7796/stat : 7796 (java) S 7774 7777 5948 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5128376 9856040960 42146 33554432000 1073741824 1073778376 140733684552800 139682763519528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 4.58 Current children cumulated vsize (KiB) 9625040 [startup+6.30078 s] /proc/loadavg: 2.47 2.34 2.23 4/214 7796 /proc/meminfo: memFree=27878740/32872528 swapFree=1555460/1718980 [pid=7777] ppid=7774 vsize=9625040 CPUtime=7.92 cores=1,3,5,7 /proc/7777/stat : 7777 (java) S 7774 7777 5948 0 -1 4202496 20621 0 1 0 781 11 0 0 20 0 19 0 5128288 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 140733684543936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7777/statm: 2406260 56015 2288 9 0 2396937 0 [pid=7777/tid=7779] ppid=7774 vsize=9625040 CPUtime=6.2 cores=1,3,5,7 /proc/7777/task/7779/stat : 7779 (java) R 7774 7777 5948 0 -1 4202560 2499 0 1 0 617 3 0 0 20 0 19 0 5128290 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682947809584 139682820934136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7780] ppid=7774 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/7777/task/7780/stat : 7780 (java) S 7774 7777 5948 0 -1 4202560 25 0 0 0 0 1 0 0 20 0 19 0 5128291 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682791721896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7781] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7781/stat : 7781 (java) S 7774 7777 5948 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682790669352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7782] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7782/stat : 7782 (java) S 7774 7777 5948 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682789616296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7783] ppid=7774 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/7777/task/7783/stat : 7783 (java) S 7774 7777 5948 0 -1 4202560 29 0 0 0 0 2 0 0 20 0 19 0 5128291 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682788563752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7784] ppid=7774 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/7777/task/7784/stat : 7784 (java) S 7774 7777 5948 0 -1 4202560 20 0 0 0 0 1 0 0 20 0 19 0 5128291 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682787510696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7785] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7785/stat : 7785 (java) S 7774 7777 5948 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682786458152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7777/tid=7786] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7786/stat : 7786 (java) S 7774 7777 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682785405096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7787] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7787/stat : 7787 (java) S 7774 7777 5948 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 5128291 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682784352552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7788] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7788/stat : 7788 (java) S 7774 7777 5948 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682771942248 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7789] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7789/stat : 7789 (java) S 7774 7777 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682770888568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7790] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7790/stat : 7790 (java) S 7774 7777 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682769835400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7791] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7791/stat : 7791 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682768784144 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7792] ppid=7774 vsize=9625040 CPUtime=0.83 cores=1,3,5,7 /proc/7777/task/7792/stat : 7792 (java) S 7774 7777 5948 0 -1 4202560 7502 0 0 0 81 2 0 0 20 0 19 0 5128296 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682767731000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7793] ppid=7774 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/7777/task/7793/stat : 7793 (java) S 7774 7777 5948 0 -1 4202560 9177 0 0 0 70 2 0 0 20 0 19 0 5128296 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682766678456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7794] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7794/stat : 7794 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682765625592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7795] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7795/stat : 7795 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682764573256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7796] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7796/stat : 7796 (java) S 7774 7777 5948 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5128376 9856040960 56015 33554432000 1073741824 1073778376 140733684552800 139682763519528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 7.92 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=7777/tid=7796] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7796/stat : 7796 (java) S 7774 7777 5948 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5128376 9856040960 271891 33554432000 1073741824 1073778376 140733684552800 139682763519528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1627.7 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.23 2.25 2.24 3/213 7901 /proc/meminfo: memFree=26086892/32872528 swapFree=1555460/1718980 [pid=7777] ppid=7774 vsize=9625040 CPUtime=1688.68 cores=1,3,5,7 /proc/7777/stat : 7777 (java) S 7774 7777 5948 0 -1 4202496 37877 0 1 0 168523 345 0 0 20 0 19 0 5128288 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 140733684543936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7777/statm: 2406260 220491 2301 9 0 2396937 0 [pid=7777/tid=7779] ppid=7774 vsize=9625040 CPUtime=1645.45 cores=1,3,5,7 /proc/7777/task/7779/stat : 7779 (java) R 7774 7777 5948 0 -1 4202560 2882 0 1 0 164510 35 0 0 20 0 19 0 5128290 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682947808976 139682820805759 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7780] ppid=7774 vsize=9625040 CPUtime=4.27 cores=1,3,5,7 /proc/7777/task/7780/stat : 7780 (java) S 7774 7777 5948 0 -1 4202560 2027 0 0 0 386 41 0 0 20 0 19 0 5128291 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682791721896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7781] ppid=7774 vsize=9625040 CPUtime=4.21 cores=1,3,5,7 /proc/7777/task/7781/stat : 7781 (java) S 7774 7777 5948 0 -1 4202560 2399 0 0 0 380 41 0 0 20 0 19 0 5128291 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682790669352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7777/tid=7782] ppid=7774 vsize=9625040 CPUtime=4.23 cores=1,3,5,7 /proc/7777/task/7782/stat : 7782 (java) S 7774 7777 5948 0 -1 4202560 1802 0 0 0 387 36 0 0 20 0 19 0 5128291 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682789616296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7777/tid=7783] ppid=7774 vsize=9625040 CPUtime=4.37 cores=1,3,5,7 /proc/7777/task/7783/stat : 7783 (java) S 7774 7777 5948 0 -1 4202560 1549 0 0 0 392 45 0 0 20 0 19 0 5128291 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682788563752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7784] ppid=7774 vsize=9625040 CPUtime=4.36 cores=1,3,5,7 /proc/7777/task/7784/stat : 7784 (java) S 7774 7777 5948 0 -1 4202560 1780 0 0 0 398 38 0 0 20 0 19 0 5128291 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682787510696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7785] ppid=7774 vsize=9625040 CPUtime=4.4 cores=1,3,5,7 /proc/7777/task/7785/stat : 7785 (java) S 7774 7777 5948 0 -1 4202560 2159 0 0 0 399 41 0 0 20 0 19 0 5128291 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682786458152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7786] ppid=7774 vsize=9625040 CPUtime=4.17 cores=1,3,5,7 /proc/7777/task/7786/stat : 7786 (java) S 7774 7777 5948 0 -1 4202560 1256 0 0 0 382 35 0 0 20 0 19 0 5128291 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682785405096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7777/tid=7787] ppid=7774 vsize=9625040 CPUtime=4.12 cores=1,3,5,7 /proc/7777/task/7787/stat : 7787 (java) S 7774 7777 5948 0 -1 4202560 1400 0 0 0 378 34 0 0 20 0 19 0 5128291 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682784352552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7788] ppid=7774 vsize=9625040 CPUtime=2.83 cores=1,3,5,7 /proc/7777/task/7788/stat : 7788 (java) S 7774 7777 5948 0 -1 4202560 2535 0 0 0 276 7 0 0 20 0 19 0 5128293 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682771942248 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7789] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7789/stat : 7789 (java) S 7774 7777 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682770888568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7790] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7790/stat : 7790 (java) S 7774 7777 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682769835400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7791] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7791/stat : 7791 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682768784144 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7792] ppid=7774 vsize=9625040 CPUtime=1 cores=1,3,5,7 /proc/7777/task/7792/stat : 7792 (java) S 7774 7777 5948 0 -1 4202560 7550 0 0 0 98 2 0 0 20 0 19 0 5128296 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682767731000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7793] ppid=7774 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/7777/task/7793/stat : 7793 (java) S 7774 7777 5948 0 -1 4202560 9181 0 0 0 77 2 0 0 20 0 19 0 5128296 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682766678456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7794] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7794/stat : 7794 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682765625592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7795] ppid=7774 vsize=9625040 CPUtime=0.33 cores=1,3,5,7 /proc/7777/task/7795/stat : 7795 (java) S 7774 7777 5948 0 -1 4202560 95 0 0 0 15 18 0 0 20 0 19 0 5128296 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682764573256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7796] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7796/stat : 7796 (java) S 7774 7777 5948 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5128376 9856040960 220491 33554432000 1073741824 1073778376 140733684552800 139682763519528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1688.68 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.34 2.27 2.25 3/213 7902 /proc/meminfo: memFree=26033976/32872528 swapFree=1555460/1718980 [pid=7777] ppid=7774 vsize=9625040 CPUtime=1749.88 cores=1,3,5,7 /proc/7777/stat : 7777 (java) S 7774 7777 5948 0 -1 4202496 38843 0 1 0 174635 353 0 0 20 0 19 0 5128288 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 140733684543936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7777/statm: 2406260 235169 2301 9 0 2396937 0 [pid=7777/tid=7779] ppid=7774 vsize=9625040 CPUtime=1704.61 cores=1,3,5,7 /proc/7777/task/7779/stat : 7779 (java) R 7774 7777 5948 0 -1 4202560 2899 0 1 0 170426 35 0 0 20 0 19 0 5128290 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682947816672 139682821125569 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7780] ppid=7774 vsize=9625040 CPUtime=4.49 cores=1,3,5,7 /proc/7777/task/7780/stat : 7780 (java) S 7774 7777 5948 0 -1 4202560 2088 0 0 0 406 43 0 0 20 0 19 0 5128291 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682791721896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7777/tid=7781] ppid=7774 vsize=9625040 CPUtime=4.38 cores=1,3,5,7 /proc/7777/task/7781/stat : 7781 (java) S 7774 7777 5948 0 -1 4202560 2411 0 0 0 396 42 0 0 20 0 19 0 5128291 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682790669352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7782] ppid=7774 vsize=9625040 CPUtime=4.43 cores=1,3,5,7 /proc/7777/task/7782/stat : 7782 (java) S 7774 7777 5948 0 -1 4202560 1846 0 0 0 407 36 0 0 20 0 19 0 5128291 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682789616296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7783] ppid=7774 vsize=9625040 CPUtime=4.61 cores=1,3,5,7 /proc/7777/task/7783/stat : 7783 (java) S 7774 7777 5948 0 -1 4202560 1665 0 0 0 415 46 0 0 20 0 19 0 5128291 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682788563752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7784] ppid=7774 vsize=9625040 CPUtime=4.59 cores=1,3,5,7 /proc/7777/task/7784/stat : 7784 (java) S 7774 7777 5948 0 -1 4202560 1942 0 0 0 419 40 0 0 20 0 19 0 5128291 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682787510696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7785] ppid=7774 vsize=9625040 CPUtime=4.59 cores=1,3,5,7 /proc/7777/task/7785/stat : 7785 (java) S 7774 7777 5948 0 -1 4202560 2285 0 0 0 417 42 0 0 20 0 19 0 5128291 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682786458152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7786] ppid=7774 vsize=9625040 CPUtime=4.41 cores=1,3,5,7 /proc/7777/task/7786/stat : 7786 (java) S 7774 7777 5948 0 -1 4202560 1401 0 0 0 405 36 0 0 20 0 19 0 5128291 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682785405096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7787] ppid=7774 vsize=9625040 CPUtime=4.32 cores=1,3,5,7 /proc/7777/task/7787/stat : 7787 (java) S 7774 7777 5948 0 -1 4202560 1408 0 0 0 398 34 0 0 20 0 19 0 5128291 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682784352552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7788] ppid=7774 vsize=9625040 CPUtime=3.03 cores=1,3,5,7 /proc/7777/task/7788/stat : 7788 (java) S 7774 7777 5948 0 -1 4202560 2806 0 0 0 296 7 0 0 20 0 19 0 5128293 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682771942248 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7789] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7789/stat : 7789 (java) S 7774 7777 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682770888568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7790] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7790/stat : 7790 (java) S 7774 7777 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682769835400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7791] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7791/stat : 7791 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682768784144 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7792] ppid=7774 vsize=9625040 CPUtime=1 cores=1,3,5,7 /proc/7777/task/7792/stat : 7792 (java) S 7774 7777 5948 0 -1 4202560 7550 0 0 0 98 2 0 0 20 0 19 0 5128296 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682767731000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7793] ppid=7774 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/7777/task/7793/stat : 7793 (java) S 7774 7777 5948 0 -1 4202560 9181 0 0 0 77 2 0 0 20 0 19 0 5128296 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682766678456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7794] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7794/stat : 7794 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682765625592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7795] ppid=7774 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/7777/task/7795/stat : 7795 (java) S 7774 7777 5948 0 -1 4202560 99 0 0 0 15 20 0 0 20 0 19 0 5128296 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682764573256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7796] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7796/stat : 7796 (java) S 7774 7777 5948 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5128376 9856040960 235169 33554432000 1073741824 1073778376 140733684552800 139682763519528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1749.88 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1771.4 s] /proc/loadavg: 2.34 2.28 2.25 3/213 7903 /proc/meminfo: memFree=26007572/32872528 swapFree=1555460/1718980 [pid=7777] ppid=7774 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7 /proc/7777/stat : 7777 (java) S 7774 7777 5948 0 -1 4202496 39513 0 1 0 179632 375 0 0 20 0 19 0 5128288 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 140733684543936 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7777/statm: 2406260 282577 2301 9 0 2396937 0 [pid=7777/tid=7779] ppid=7774 vsize=9625040 CPUtime=1753.05 cores=1,3,5,7 /proc/7777/task/7779/stat : 7779 (java) R 7774 7777 5948 0 -1 4202560 2908 0 1 0 175269 36 0 0 20 0 19 0 5128290 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682947816672 139682820779886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7780] ppid=7774 vsize=9625040 CPUtime=4.69 cores=1,3,5,7 /proc/7777/task/7780/stat : 7780 (java) S 7774 7777 5948 0 -1 4202560 2144 0 0 0 424 45 0 0 20 0 19 0 5128291 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682791721896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7777/tid=7781] ppid=7774 vsize=9625040 CPUtime=4.57 cores=1,3,5,7 /proc/7777/task/7781/stat : 7781 (java) S 7774 7777 5948 0 -1 4202560 2454 0 0 0 413 44 0 0 20 0 19 0 5128291 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682790669352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7782] ppid=7774 vsize=9625040 CPUtime=4.59 cores=1,3,5,7 /proc/7777/task/7782/stat : 7782 (java) S 7774 7777 5948 0 -1 4202560 1891 0 0 0 420 39 0 0 20 0 19 0 5128291 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682789616296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7777/tid=7783] ppid=7774 vsize=9625040 CPUtime=4.76 cores=1,3,5,7 /proc/7777/task/7783/stat : 7783 (java) S 7774 7777 5948 0 -1 4202560 1711 0 0 0 427 49 0 0 20 0 19 0 5128291 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682788563752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7784] ppid=7774 vsize=9625040 CPUtime=4.8 cores=1,3,5,7 /proc/7777/task/7784/stat : 7784 (java) S 7774 7777 5948 0 -1 4202560 2042 0 0 0 436 44 0 0 20 0 19 0 5128291 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682787510696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7785] ppid=7774 vsize=9625040 CPUtime=4.77 cores=1,3,5,7 /proc/7777/task/7785/stat : 7785 (java) S 7774 7777 5948 0 -1 4202560 2320 0 0 0 433 44 0 0 20 0 19 0 5128291 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682786458152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7786] ppid=7774 vsize=9625040 CPUtime=4.58 cores=1,3,5,7 /proc/7777/task/7786/stat : 7786 (java) S 7774 7777 5948 0 -1 4202560 1444 0 0 0 419 39 0 0 20 0 19 0 5128291 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682785405096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7777/tid=7787] ppid=7774 vsize=9625040 CPUtime=4.51 cores=1,3,5,7 /proc/7777/task/7787/stat : 7787 (java) S 7774 7777 5948 0 -1 4202560 1442 0 0 0 415 36 0 0 20 0 19 0 5128291 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682784352552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7788] ppid=7774 vsize=9625040 CPUtime=3.17 cores=1,3,5,7 /proc/7777/task/7788/stat : 7788 (java) S 7774 7777 5948 0 -1 4202560 3063 0 0 0 310 7 0 0 20 0 19 0 5128293 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682771942248 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7789] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7789/stat : 7789 (java) S 7774 7777 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682770888568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7790] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7790/stat : 7790 (java) S 7774 7777 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5128293 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682769835400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7791] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7791/stat : 7791 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682768784144 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7792] ppid=7774 vsize=9625040 CPUtime=1 cores=1,3,5,7 /proc/7777/task/7792/stat : 7792 (java) S 7774 7777 5948 0 -1 4202560 7550 0 0 0 98 2 0 0 20 0 19 0 5128296 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682767731000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7777/tid=7793] ppid=7774 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/7777/task/7793/stat : 7793 (java) S 7774 7777 5948 0 -1 4202560 9181 0 0 0 77 2 0 0 20 0 19 0 5128296 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682766678456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7794] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7794/stat : 7794 (java) S 7774 7777 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128296 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682765625592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7777/tid=7795] ppid=7774 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/7777/task/7795/stat : 7795 (java) S 7774 7777 5948 0 -1 4202560 101 0 0 0 16 20 0 0 20 0 19 0 5128296 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682764573256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7777/tid=7796] ppid=7774 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7777/task/7796/stat : 7796 (java) S 7774 7777 5948 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5128376 9856040960 282577 33554432000 1073741824 1073778376 140733684552800 139682763519528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 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 7777 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7777 and gives # childrusage.ru_utime.tv_sec=1791 # childrusage.ru_utime.tv_usec=731615 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=211359 # CPU time returned by wait4() is 1795.94 # while last known CPU time is 1800.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1771.44 CPU time (s): 1800.07 CPU user time (s): 1796.32 CPU system time (s): 3.75 CPU usage (%): 101.616 Max. virtual memory (cumulated for all children) (KiB): 9626196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.73 system time used= 4.21136 maximum resident set size= 1767620 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39550 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1696 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 48389 involuntary context switches= 46255 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.57154 second user time and 13.206 second system time The end
Begin job on node117 at 2016-06-30 06:30:07 IDJOB=4119518 IDBENCH=111750 IDSOLVER=2546 FILE ID=node117/4119518-1467261007 RUNJOBID= node117-1467250272-6476 PBS_JOBID= 20004471 Free space on /tmp= 71624 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-14.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119518-1467261007/watcher-4119518-1467261007 -o /tmp/evaluation-result-4119518-1467261007/solver-4119518-1467261007 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467250272-6476 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119518-1467261007.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1b167674473e80fa047420230666ffae RANDOM SEED=827204850 node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.714 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.42 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.714 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.714 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.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.714 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 : 2666.714 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.714 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.714 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.714 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: 28095276 kB Buffers: 128108 kB Cached: 1775324 kB SwapCached: 0 kB Active: 559204 kB Inactive: 1752724 kB Active(anon): 410932 kB Inactive(anon): 4 kB Active(file): 148272 kB Inactive(file): 1752720 kB Unevictable: 1718980 kB Mlocked: 1555460 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 920 kB Writeback: 0 kB AnonPages: 2128596 kB Mapped: 22192 kB Shmem: 204 kB Slab: 611996 kB SReclaimable: 55992 kB SUnreclaim: 556004 kB KernelStack: 1608 kB PageTables: 8400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2240124 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 548864 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= 71624 MiB End job on node117 at 2016-06-30 06:59:38