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 Res+CP PB16 | OPT | -1490 | 996.833 | 527.825 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-15.opb |
| MD5SUM | 806cf92b59839a07d4944a73d0bcdbd2 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -1490 |
| Best CPU time to get the best result obtained on this benchmark | 359.76 |
| 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 | 1494 |
| Biggest coefficient in the objective function | 759 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 99176 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 759 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 99176 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 1474 |
| Sum of products size (including duplicates) | 4660 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Glucose 2.1 dynamic restart strategy 0.08/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.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/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.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4119393-1467255072.opb 0.08/0.12 c reading problem ... 0.08/0.12 c objective function found 0.45/0.35 c ... done. Wall clock time 0.229s. 0.45/0.35 c declared #vars 20 0.45/0.35 c internal #vars 1494 0.45/0.35 c #constraints 2948 0.45/0.35 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.45/0.35 c constraints type 0.45/0.35 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1474 0.45/0.35 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1474 0.45/0.35 c 2948 constraints processed. 0.45/0.35 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.45/0.35 c constraints type 0.45/0.35 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1474 0.45/0.35 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1474 0.45/0.35 c 2948 constraints processed. 0.45/0.35 c objective function length is 1494 literals 0.45/0.38 c And the winner is solver0 0.74/0.85 c SATISFIABLE 0.74/0.85 c OPTIMIZING... 0.74/0.85 c Got one! Elapsed wall clock time (in seconds):0.734 0.74/0.85 o 0 0.74/0.88 c And the winner is solver0 1.32/1.36 c Got one! Elapsed wall clock time (in seconds):1.244 1.32/1.36 o -91 1.32/1.38 c And the winner is solver0 1.37/1.87 c Got one! Elapsed wall clock time (in seconds):1.752 1.37/1.87 o -182 1.37/1.88 c And the winner is solver0 1.47/2.38 c Got one! Elapsed wall clock time (in seconds):2.258 1.47/2.38 o -327 1.47/2.39 c And the winner is solver0 1.58/2.88 c Got one! Elapsed wall clock time (in seconds):2.762 1.58/2.88 o -429 1.58/2.89 c And the winner is solver0 1.59/3.39 c Got one! Elapsed wall clock time (in seconds):3.266 1.59/3.39 o -472 1.59/3.39 c And the winner is solver0 1.64/3.89 c Got one! Elapsed wall clock time (in seconds):3.769 1.64/3.89 o -642 1.67/3.90 c And the winner is solver0 1.77/4.39 c Got one! Elapsed wall clock time (in seconds):4.273 1.77/4.39 o -705 1.77/4.40 c And the winner is solver0 1.87/4.89 c Got one! Elapsed wall clock time (in seconds):4.776 1.87/4.89 o -710 1.87/4.90 c And the winner is solver0 1.89/5.40 c Got one! Elapsed wall clock time (in seconds):5.278 1.89/5.40 o -750 1.89/5.40 c And the winner is solver0 1.89/5.90 c Got one! Elapsed wall clock time (in seconds):5.781 1.89/5.90 o -755 1.89/5.90 c And the winner is solver0 1.89/6.40 c Got one! Elapsed wall clock time (in seconds):6.283 1.89/6.40 o -812 1.90/6.41 c And the winner is solver0 1.90/6.90 c Got one! Elapsed wall clock time (in seconds):6.786 1.90/6.90 o -960 1.90/6.92 c And the winner is solver0 1.96/7.41 c Got one! Elapsed wall clock time (in seconds):7.288 1.96/7.41 o -978 1.96/7.41 c And the winner is solver0 1.97/7.91 c Got one! Elapsed wall clock time (in seconds):7.79 1.97/7.91 o -983 1.97/7.91 c And the winner is solver0 1.97/8.41 c Got one! Elapsed wall clock time (in seconds):8.292 1.97/8.41 o -1091 1.97/8.44 c And the winner is solver0 2.10/8.91 c Got one! Elapsed wall clock time (in seconds):8.794 2.10/8.91 o -1106 2.10/8.93 c And the winner is solver0 2.22/9.41 c Got one! Elapsed wall clock time (in seconds):9.297 2.22/9.41 o -1114 2.22/9.44 c And the winner is solver0 2.26/9.92 c Got one! Elapsed wall clock time (in seconds):9.799 2.26/9.92 o -1185 2.26/9.95 c And the winner is solver0 2.38/10.42 c Got one! Elapsed wall clock time (in seconds):10.301 2.38/10.42 o -1197 2.38/10.44 c And the winner is solver0 2.56/10.92 c Got one! Elapsed wall clock time (in seconds):10.804 2.56/10.92 o -1208 2.56/10.93 c And the winner is solver0 2.62/11.42 c Got one! Elapsed wall clock time (in seconds):11.306 2.62/11.42 o -1217 2.62/11.43 c And the winner is solver0 2.62/11.93 c Got one! Elapsed wall clock time (in seconds):11.808 2.62/11.93 o -1219 2.62/11.93 c And the winner is solver0 2.65/12.43 c Got one! Elapsed wall clock time (in seconds):12.31 2.65/12.43 o -1240 2.78/12.50 c And the winner is solver0 2.81/12.93 c Got one! Elapsed wall clock time (in seconds):12.812 2.81/12.93 o -1274 2.81/12.95 c And the winner is solver0 2.87/13.43 c Got one! Elapsed wall clock time (in seconds):13.314 2.87/13.43 o -1287 2.87/13.44 c And the winner is solver0 2.90/13.93 c Got one! Elapsed wall clock time (in seconds):13.816 2.90/13.93 o -1288 2.90/13.95 c And the winner is solver0 2.90/14.44 c Got one! Elapsed wall clock time (in seconds):14.318 2.90/14.44 o -1292 2.90/14.46 c And the winner is solver0 3.03/14.94 c Got one! Elapsed wall clock time (in seconds):14.82 3.03/14.94 o -1298 3.03/14.95 c And the winner is solver0 3.08/15.44 c Got one! Elapsed wall clock time (in seconds):15.322 3.08/15.44 o -1301 3.08/15.44 c And the winner is solver0 3.11/15.94 c Got one! Elapsed wall clock time (in seconds):15.824 3.11/15.94 o -1312 3.11/15.96 c And the winner is solver0 3.15/16.44 c Got one! Elapsed wall clock time (in seconds):16.327 3.15/16.44 o -1341 3.27/16.52 c And the winner is solver0 3.32/16.95 c Got one! Elapsed wall clock time (in seconds):16.835 3.32/16.95 o -1345 3.32/16.99 c And the winner is solver0 3.40/17.46 c Got one! Elapsed wall clock time (in seconds):17.337 3.40/17.46 o -1356 3.40/17.48 c And the winner is solver0 3.48/17.96 c Got one! Elapsed wall clock time (in seconds):17.839 3.48/17.96 o -1360 3.48/17.97 c And the winner is solver0 3.52/18.46 c Got one! Elapsed wall clock time (in seconds):18.342 3.52/18.46 o -1367 3.52/18.49 c And the winner is solver0 3.59/18.96 c Got one! Elapsed wall clock time (in seconds):18.844 3.59/18.96 o -1378 3.65/19.04 c And the winner is solver0 3.77/19.46 c Got one! Elapsed wall clock time (in seconds):19.346 3.77/19.46 o -1381 3.83/19.50 c And the winner is solver0 3.88/19.97 c Got one! Elapsed wall clock time (in seconds):19.848 3.88/19.97 o -1386 4.63/20.29 c And the winner is solver0 4.96/20.47 c Got one! Elapsed wall clock time (in seconds):20.35 4.96/20.47 o -1395 5.01/20.55 c And the winner is solver0 5.13/20.97 c Got one! Elapsed wall clock time (in seconds):20.852 5.13/20.97 o -1396 5.13/20.99 c And the winner is solver0 5.21/21.47 c Got one! Elapsed wall clock time (in seconds):21.354 5.21/21.47 o -1405 5.21/21.50 c And the winner is solver0 5.27/21.97 c Got one! Elapsed wall clock time (in seconds):21.857 5.27/21.97 o -1416 5.27/21.98 c And the winner is solver0 5.28/22.48 c Got one! Elapsed wall clock time (in seconds):22.359 5.28/22.48 o -1423 5.28/22.49 c And the winner is solver0 5.30/22.98 c Got one! Elapsed wall clock time (in seconds):22.861 5.30/22.98 o -1424 5.35/23.02 c And the winner is solver0 5.41/23.48 c Got one! Elapsed wall clock time (in seconds):23.363 5.41/23.48 o -1429 5.44/23.59 c And the winner is solver0 5.66/23.98 c Got one! Elapsed wall clock time (in seconds):23.865 5.66/23.98 o -1430 5.68/24.00 c And the winner is solver0 5.72/24.48 c Got one! Elapsed wall clock time (in seconds):24.367 5.72/24.48 o -1432 6.48/24.83 c And the winner is solver0 6.56/24.99 c Got one! Elapsed wall clock time (in seconds):24.869 6.56/24.99 o -1435 6.58/25.09 c And the winner is solver0 6.77/25.49 c Got one! Elapsed wall clock time (in seconds):25.371 6.77/25.49 o -1437 7.01/25.68 c And the winner is solver0 7.19/25.99 c Got one! Elapsed wall clock time (in seconds):25.874 7.19/25.99 o -1438 7.19/26.06 c And the winner is solver0 7.35/26.49 c Got one! Elapsed wall clock time (in seconds):26.376 7.35/26.49 o -1439 7.36/26.53 c And the winner is solver0 7.44/27.00 c Got one! Elapsed wall clock time (in seconds):26.878 7.44/27.00 o -1440 7.44/27.02 c And the winner is solver0 7.50/27.50 c Got one! Elapsed wall clock time (in seconds):27.38 7.50/27.50 o -1450 7.51/27.50 c And the winner is solver0 7.56/28.00 c Got one! Elapsed wall clock time (in seconds):27.882 7.56/28.00 o -1451 7.56/28.05 c And the winner is solver0 7.69/28.50 c Got one! Elapsed wall clock time (in seconds):28.385 7.69/28.50 o -1454 7.69/28.56 c And the winner is solver0 7.81/29.00 c Got one! Elapsed wall clock time (in seconds):28.887 7.81/29.00 o -1456 7.81/29.01 c And the winner is solver0 7.81/29.51 c Got one! Elapsed wall clock time (in seconds):29.389 7.81/29.51 o -1465 8.20/29.74 c And the winner is solver0 8.29/30.01 c Got one! Elapsed wall clock time (in seconds):29.891 8.29/30.01 o -1469 8.46/30.10 c And the winner is solver0 8.49/30.51 c Got one! Elapsed wall clock time (in seconds):30.394 8.49/30.51 o -1472 10.36/31.47 c cleaning 5660 clauses out of 11319 with flag 6001/11319 11.21/31.81 c And the winner is solver0 11.25/32.01 c Got one! Elapsed wall clock time (in seconds):31.896 11.25/32.01 o -1478 13.72/33.23 c cleaning 5410 clauses out of 10821 with flag 8056/16481 15.77/34.28 c And the winner is solver0 15.95/34.52 c Got one! Elapsed wall clock time (in seconds):34.399 15.95/34.52 o -1481 17.11/35.13 c cleaning 5663 clauses out of 11332 with flag 4084/22402 18.17/35.66 c And the winner is solver0 18.34/36.02 c Got one! Elapsed wall clock time (in seconds):35.901 18.34/36.02 o -1486 20.75/37.24 c cleaning 5771 clauses out of 11542 with flag 8459/28275 24.15/38.97 c cleaning 5883 clauses out of 11770 with flag 20552/34274 28.20/40.96 c cleaning 6440 clauses out of 12886 with flag 34550/41273 29.29/41.45 c And the winner is solver0 29.42/41.54 c Got one! Elapsed wall clock time (in seconds):41.426 29.42/41.54 o -1489 31.72/42.73 c cleaning 6054 clauses out of 12115 with flag 8062/46942 35.12/44.45 c cleaning 6029 clauses out of 12062 with flag 20099/52943 39.41/46.54 c cleaning 6515 clauses out of 13033 with flag 34193/59943 44.09/48.83 c cleaning 7258 clauses out of 14518 with flag 50212/67943 49.29/51.49 c cleaning 8130 clauses out of 16260 with flag 68214/76943 56.02/54.71 c cleaning 9062 clauses out of 18129 with flag 88243/86942 62.41/57.95 c cleaning 10033 clauses out of 20068 with flag 110268/97943 70.35/61.84 c cleaning 11015 clauses out of 22034 with flag 134320/109942 76.56/64.96 c And the winner is solver0 76.68/65.12 c Got one! Elapsed wall clock time (in seconds):65.001 76.68/65.12 o -1490 80.81/67.38 c cleaning 13025 clauses out of 26052 with flag 10250/124975 84.41/69.19 c cleaning 9508 clauses out of 19028 with flag 22426/130976 88.81/71.31 c cleaning 8258 clauses out of 16519 with flag 36631/137975 93.44/73.68 c cleaning 8128 clauses out of 16262 with flag 52795/145976 98.84/76.32 c cleaning 8562 clauses out of 17134 with flag 71151/154976 104.66/79.21 c cleaning 9287 clauses out of 18573 with flag 91244/164977 111.17/82.45 c cleaning 10139 clauses out of 20285 with flag 113333/175976 118.98/86.35 c cleaning 11073 clauses out of 22145 with flag 137714/187975 127.66/90.64 c cleaning 12032 clauses out of 24072 with flag 164331/200975 136.96/95.26 c cleaning 13014 clauses out of 26040 with flag 192683/214975 146.77/100.19 c cleaning 14013 clauses out of 28026 with flag 222767/229975 157.70/105.50 c cleaning 15006 clauses out of 30014 with flag 254824/245976 169.89/111.66 c cleaning 16002 clauses out of 32008 with flag 289146/262976 183.63/118.79 c cleaning 17000 clauses out of 34006 with flag 325172/280976 197.85/125.81 c cleaning 18000 clauses out of 36006 with flag 363297/299976 212.54/133.16 c cleaning 19003 clauses out of 38006 with flag 403325/319976 228.10/140.82 c cleaning 20000 clauses out of 40003 with flag 445469/340976 245.91/149.63 c cleaning 21002 clauses out of 42003 with flag 489605/362976 266.59/159.80 c cleaning 21995 clauses out of 43998 with flag 536733/385976 288.31/170.56 c cleaning 22998 clauses out of 45999 with flag 586182/409976 310.99/182.23 c cleaning 23999 clauses out of 48000 with flag 636809/434975 334.36/193.90 c cleaning 24995 clauses out of 50000 with flag 690380/460975 359.27/205.90 c cleaning 26001 clauses out of 52006 with flag 745734/487976 384.88/218.58 c cleaning 26999 clauses out of 54005 with flag 804355/515976 412.46/232.17 c cleaning 28000 clauses out of 56005 with flag 863994/544975 440.67/246.08 c cleaning 29003 clauses out of 58006 with flag 926225/574976 471.48/261.23 c cleaning 29998 clauses out of 60002 with flag 991703/605975 502.22/276.44 c cleaning 30998 clauses out of 62005 with flag 1060417/637976 536.43/293.34 c cleaning 32003 clauses out of 64007 with flag 1130635/670976 575.06/313.34 c cleaning 32998 clauses out of 66004 with flag 1201587/704976 613.02/332.28 c cleaning 33999 clauses out of 68006 with flag 1274915/739976 650.70/350.92 c cleaning 35003 clauses out of 70007 with flag 1350660/775976 693.51/372.03 c cleaning 35998 clauses out of 72003 with flag 1427596/812976 736.00/392.94 c cleaning 37000 clauses out of 74005 with flag 1506601/850976 781.82/415.51 c cleaning 38002 clauses out of 76005 with flag 1587912/889976 831.24/440.80 c cleaning 39000 clauses out of 78003 with flag 1671722/929976 878.61/464.31 c cleaning 39997 clauses out of 80001 with flag 1755820/970975 923.21/486.43 c cleaning 41001 clauses out of 82003 with flag 1841590/1012975 973.16/511.18 c cleaning 41998 clauses out of 84001 with flag 1929790/1055976 987.14/518.09 c And the winner is solver0 996.75/527.80 c >>>>>>>>>> Solver number 0 (66 answers) <<<<<<<<<<<<<<<<<< 996.75/527.80 c starts : 882 996.75/527.80 c conflicts : 1071934 996.75/527.80 c decisions : 1085748 996.75/527.80 c propagations : 113551072 996.75/527.80 c inspects : 3949316564 996.75/527.80 c shortcuts : 0 996.75/527.80 c learnt literals : 26 996.75/527.80 c learnt binary clauses : 17 996.75/527.80 c learnt ternary clauses : 25 996.75/527.80 c learnt constraints : 1071907 996.75/527.80 c ignored constraints : 0 996.75/527.80 c root simplifications : 0 996.75/527.80 c removed literals (reason simplification) : 38006989 996.75/527.80 c reason swapping (by a shorter reason) : 0 996.75/527.80 c Calls to reduceDB : 53 996.75/527.80 c Number of update (reduction) of LBD : 3362 996.75/527.80 c Imported unit clauses : 0 996.75/527.80 c number of reductions to clauses (during analyze) : 0 996.75/527.80 c number of learned constraints concerned by reduction : 0 996.75/527.80 c number of learning phase by resolution : 0 996.75/527.80 c number of learning phase by cutting planes : 0 996.75/527.80 c speed (assignments/second) : 215285.95886190547 996.75/527.80 c non guided choices 0 996.75/527.80 c learnt constraints type 996.75/527.80 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 996.75/527.80 c starts : 88 996.75/527.80 c conflicts : 4451 996.75/527.80 c decisions : 5799 996.75/527.80 c propagations : 574723 996.75/527.80 c inspects : 463787598 996.75/527.80 c shortcuts : 0 996.75/527.80 c learnt literals : 0 996.75/527.80 c learnt binary clauses : 0 996.75/527.80 c learnt ternary clauses : 0 996.75/527.80 c learnt constraints : 4391 996.75/527.80 c ignored constraints : 0 996.75/527.80 c root simplifications : 0 996.75/527.80 c removed literals (reason simplification) : 0 996.75/527.80 c reason swapping (by a shorter reason) : 0 996.75/527.80 c Calls to reduceDB : 0 996.75/527.80 c Number of update (reduction) of LBD : 0 996.75/527.80 c Imported unit clauses : 0 996.75/527.80 c number of reductions to clauses (during analyze) : 0 996.75/527.80 c number of learned constraints concerned by reduction : 0 996.75/527.80 c number of learning phase by resolution : 0 996.75/527.80 c number of learning phase by cutting planes : 0 996.75/527.80 c speed (assignments/second) : 1242.152834662177 996.75/527.80 c non guided choices 0 996.75/527.80 c learnt constraints type 996.75/527.80 s OPTIMUM FOUND 996.75/527.80 c Found 65 solution(s) 996.75/527.80 v -x1 -x2 x3 -x4 x5 -x6 x7 x8 -x9 -x10 x11 x12 x13 x14 x15 x16 -x17 x18 -x19 x20 996.75/527.81 c objective function=-1490 996.75/527.81 c Total wall clock time (in seconds): 527.687
OK -1490
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-4119393-1467255072/watcher-4119393-1467255072 -o /tmp/evaluation-result-4119393-1467255072/solver-4119393-1467255072 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11562 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119393-1467255072.opb pid=14774 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: 4.00 3.94 3.89 4/197 14777 /proc/meminfo: memFree=26238604/32872528 swapFree=13208/1155804 [pid=14777] ppid=14774 vsize=5632 CPUtime=0 cores=1,3,5,7 /proc/14777/stat : 14777 (java) R 14774 14777 11545 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 6474660 5767168 55 33554432000 1073741824 1073778376 140733324683408 140733324680536 219504799015 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/14777/statm: 2303 59 47 9 0 30 0 [startup+0.100111 s] /proc/loadavg: 4.00 3.94 3.89 4/197 14777 /proc/meminfo: memFree=26238604/32872528 swapFree=13208/1155804 [pid=14777] ppid=14774 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/14777/stat : 14777 (java) S 14774 14777 11545 0 -1 4202496 4423 0 1 0 8 0 0 0 20 0 18 0 6474660 9787879424 6051 33554432000 1073741824 1073778376 140733324683408 140733324674544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14777/statm: 2389619 6051 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200218 s] /proc/loadavg: 4.00 3.94 3.89 4/197 14777 /proc/meminfo: memFree=26238604/32872528 swapFree=13208/1155804 [pid=14777] ppid=14774 vsize=9558476 CPUtime=0.22 cores=1,3,5,7 /proc/14777/stat : 14777 (java) S 14774 14777 11545 0 -1 4202496 4649 0 1 0 21 1 0 0 20 0 18 0 6474660 9787879424 7275 33554432000 1073741824 1073778376 140733324683408 140733324674544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14777/statm: 2389619 7275 2211 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300241 s] /proc/loadavg: 4.00 3.94 3.89 4/197 14777 /proc/meminfo: memFree=26238604/32872528 swapFree=13208/1155804 [pid=14777] ppid=14774 vsize=9558476 CPUtime=0.45 cores=1,3,5,7 /proc/14777/stat : 14777 (java) S 14774 14777 11545 0 -1 4202496 5278 0 1 0 44 1 0 0 20 0 18 0 6474660 9787879424 8321 33554432000 1073741824 1073778376 140733324683408 140733324674544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14777/statm: 2389619 8321 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558476 [startup+0.70022 s] /proc/loadavg: 4.00 3.94 3.89 4/197 14777 /proc/meminfo: memFree=26238604/32872528 swapFree=13208/1155804 [pid=14777] ppid=14774 vsize=9824732 CPUtime=0.74 cores=1,3,5,7 /proc/14777/stat : 14777 (java) S 14774 14777 11545 0 -1 4202496 8420 0 1 0 71 3 0 0 20 0 19 0 6474660 10060525568 11060 33554432000 1073741824 1073778376 140733324683408 140733324674544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14777/statm: 2456183 11060 2256 9 0 2446860 0 Current children cumulated CPU time (s) 0.74 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 4.00 3.94 3.89 4/216 14802 /proc/meminfo: memFree=26183784/32872528 swapFree=13208/1155804 [pid=14777] ppid=14774 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/14777/stat : 14777 (java) S 14774 14777 11545 0 -1 4202496 17157 0 1 0 130 7 0 0 20 0 19 0 6474660 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 140733324674544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14777/statm: 2456183 17779 2262 9 0 2446860 0 [pid=14777/tid=14779] ppid=14774 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/14777/task/14779/stat : 14779 (java) S 14774 14777 11545 0 -1 4202560 2440 0 1 0 32 2 0 0 20 0 19 0 6474661 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139670036734840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14780] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14780/stat : 14780 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139669998226344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14781] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14781/stat : 14781 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139669997173800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14782] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14782/stat : 14782 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139669996120744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14783] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14783/stat : 14783 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139669995068200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14784] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14784/stat : 14784 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139669994015144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14785] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14785/stat : 14785 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139669992962600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14786] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14786/stat : 14786 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139669991909544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14787] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14787/stat : 14787 (java) S 14774 14777 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139669990857000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14788] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14788/stat : 14788 (java) S 14774 14777 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6474663 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139669860735848 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14789] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14789/stat : 14789 (java) S 14774 14777 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6474664 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139669859682168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14790] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14790/stat : 14790 (java) S 14774 14777 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6474664 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139669858629000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14791] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14791/stat : 14791 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139669857577744 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14792] ppid=14774 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/14777/task/14792/stat : 14792 (java) S 14774 14777 11545 0 -1 4202560 4884 0 0 0 41 0 0 0 20 0 19 0 6474666 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139669856524600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14793] ppid=14774 vsize=9824732 CPUtime=0.46 cores=1,3,5,7 /proc/14777/task/14793/stat : 14793 (java) S 14774 14777 11545 0 -1 4202560 8445 0 0 0 44 2 0 0 20 0 19 0 6474666 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139669855472056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14794] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14794/stat : 14794 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139668981016824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14795] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14795/stat : 14795 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139668979964488 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14799] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14799/stat : 14799 (java) S 14774 14777 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6474697 10060525568 17779 33554432000 1073741824 1073778376 140733324683408 139668975752616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 9824732 [startup+3.10076 s] /proc/loadavg: 3.92 3.93 3.89 3/216 14808 /proc/meminfo: memFree=26171480/32872528 swapFree=13208/1155804 [pid=14777] ppid=14774 vsize=9824732 CPUtime=1.59 cores=1,3,5,7 /proc/14777/stat : 14777 (java) S 14774 14777 11545 0 -1 4202496 17190 0 1 0 150 9 0 0 20 0 19 0 6474660 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 140733324674544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14777/statm: 2456183 21880 2267 9 0 2446860 0 [pid=14777/tid=14779] ppid=14774 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/14777/task/14779/stat : 14779 (java) S 14774 14777 11545 0 -1 4202560 2442 0 1 0 33 2 0 0 20 0 19 0 6474661 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139670036734840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14780] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14780/stat : 14780 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139669998226344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14781] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14781/stat : 14781 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139669997173800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14782] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14782/stat : 14782 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139669996120744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14783] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14783/stat : 14783 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139669995068200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14784] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14784/stat : 14784 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139669994015144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14785] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14785/stat : 14785 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139669992962600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14786] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14786/stat : 14786 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139669991909544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14787] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14787/stat : 14787 (java) S 14774 14777 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139669990857000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14788] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14788/stat : 14788 (java) S 14774 14777 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6474663 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139669860735848 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14789] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14789/stat : 14789 (java) S 14774 14777 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6474664 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139669859682168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14790] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14790/stat : 14790 (java) S 14774 14777 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6474664 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139669858629000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14791] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14791/stat : 14791 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139669857577744 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14792] ppid=14774 vsize=9824732 CPUtime=0.5 cores=1,3,5,7 /proc/14777/task/14792/stat : 14792 (java) S 14774 14777 11545 0 -1 4202560 4887 0 0 0 50 0 0 0 20 0 19 0 6474666 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139669856524600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14793] ppid=14774 vsize=9824732 CPUtime=0.54 cores=1,3,5,7 /proc/14777/task/14793/stat : 14793 (java) S 14774 14777 11545 0 -1 4202560 8447 0 0 0 52 2 0 0 20 0 19 0 6474666 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139669855472056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14794] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14794/stat : 14794 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139668981016824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14795] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14795/stat : 14795 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139668979964488 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14799] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14799/stat : 14799 (java) S 14774 14777 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6474697 10060525568 21880 33554432000 1073741824 1073778376 140733324683408 139668975752616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=18 pid=1817 uid=0 cmd= [startup+6.30078 s] /proc/loadavg: 3.92 3.93 3.89 3/216 14829 /proc/meminfo: memFree=26132236/32872528 swapFree=13208/1155804 [pid=14777] ppid=14774 vsize=9824732 CPUtime=1.89 cores=1,3,5,7 /proc/14777/stat : 14777 (java) S 14774 14777 11545 0 -1 4202496 17340 0 1 0 178 11 0 0 20 0 19 0 6474660 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 140733324674544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14777/statm: 2456183 29902 2273 9 0 2446860 0 [pid=14777/tid=14779] ppid=14774 vsize=9824732 CPUtime=0.37 cores=1,3,5,7 /proc/14777/task/14779/stat : 14779 (java) S 14774 14777 11545 0 -1 4202560 2446 0 1 0 35 2 0 0 20 0 19 0 6474661 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139670036734840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14780] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14780/stat : 14780 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139669998226344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14781] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14781/stat : 14781 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139669997173800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14782] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14782/stat : 14782 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139669996120744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14783] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14783/stat : 14783 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139669995068200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14784] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14784/stat : 14784 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139669994015144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14785] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14785/stat : 14785 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139669992962600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14786] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14786/stat : 14786 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139669991909544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14787] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14787/stat : 14787 (java) S 14774 14777 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6474662 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139669990857000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14788] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14788/stat : 14788 (java) S 14774 14777 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6474663 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139669860735848 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14789] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14789/stat : 14789 (java) S 14774 14777 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6474664 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139669859682168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14790] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14790/stat : 14790 (java) S 14774 14777 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6474664 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139669858629000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14791] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14791/stat : 14791 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139669857577744 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14792] ppid=14774 vsize=9824732 CPUtime=0.61 cores=1,3,5,7 /proc/14777/task/14792/stat : 14792 (java) S 14774 14777 11545 0 -1 4202560 4891 0 0 0 61 0 0 0 20 0 19 0 6474666 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139669856524600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14793] ppid=14774 vsize=9824732 CPUtime=0.68 cores=1,3,5,7 /proc/14777/task/14793/stat : 14793 (java) S 14774 14777 11545 0 -1 4202560 8521 0 0 0 66 2 0 0 20 0 19 0 6474666 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139669855472056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14794] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14794/stat : 14794 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139668981016824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14795] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14795/stat : 14795 (java) S 14774 14777 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139668979964488 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14799] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14799/stat : 14799 (java) S 14774 14777 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6474697 10060525568 29902 33554432000 1073741824 1073778376 140733324683408 139668975752616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.89 ################ # More data... # ################ /proc/14777/task/14786/stat : 14786 (java) S 14774 14777 11545 0 -1 4202560 682 0 0 0 227 22 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669991909544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14787] ppid=14774 vsize=9824732 CPUtime=2.51 cores=1,3,5,7 /proc/14777/task/14787/stat : 14787 (java) S 14774 14777 11545 0 -1 4202560 633 0 0 0 228 23 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669990857000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14788] ppid=14774 vsize=9824732 CPUtime=5.39 cores=1,3,5,7 /proc/14777/task/14788/stat : 14788 (java) S 14774 14777 11545 0 -1 4202560 2658 0 0 0 531 8 0 0 20 0 19 0 6474663 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669860735848 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14789] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14789/stat : 14789 (java) S 14774 14777 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6474664 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669859682168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14790] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14790/stat : 14790 (java) S 14774 14777 11545 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 6474664 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669858629000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14791] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14791/stat : 14791 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669857577744 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14792] ppid=14774 vsize=9824732 CPUtime=1.25 cores=1,3,5,7 /proc/14777/task/14792/stat : 14792 (java) S 14774 14777 11545 0 -1 4202560 4903 0 0 0 125 0 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669856524600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14793] ppid=14774 vsize=9824732 CPUtime=2.42 cores=1,3,5,7 /proc/14777/task/14793/stat : 14793 (java) S 14774 14777 11545 0 -1 4202560 19088 0 0 0 239 3 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669855472056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14794] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14794/stat : 14794 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139668981016824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14795] ppid=14774 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/14777/task/14795/stat : 14795 (java) S 14774 14777 11545 0 -1 4202560 32 0 0 0 7 13 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139668979964488 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14799] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14799/stat : 14799 (java) S 14774 14777 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6474697 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139668975752616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 993.51 Current children cumulated vsize (KiB) 9824732 [startup+527.201 s] /proc/loadavg: 4.18 3.85 3.80 6/214 15156 /proc/meminfo: memFree=25562344/32872528 swapFree=13208/1155804 [pid=14777] ppid=14774 vsize=9824732 CPUtime=994.31 cores=1,3,5,7 /proc/14777/stat : 14777 (java) S 14774 14777 11545 0 -1 4202496 39992 0 1 0 99087 344 0 0 20 0 19 0 6474660 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 140733324674544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14777/statm: 2456183 978433 2301 9 0 2446860 0 [pid=14777/tid=14779] ppid=14774 vsize=9824732 CPUtime=8.66 cores=1,3,5,7 /proc/14777/task/14779/stat : 14779 (java) R 14774 14777 11545 0 -1 4202560 2469 0 1 0 863 3 0 0 20 0 19 0 6474661 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139670036734600 139669870483382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14780] ppid=14774 vsize=9824732 CPUtime=2.83 cores=1,3,5,7 /proc/14777/task/14780/stat : 14780 (java) S 14774 14777 11545 0 -1 4202560 856 0 0 0 258 25 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669998226344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14781] ppid=14774 vsize=9824732 CPUtime=2.37 cores=1,3,5,7 /proc/14777/task/14781/stat : 14781 (java) S 14774 14777 11545 0 -1 4202560 663 0 0 0 215 22 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669997173800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14782] ppid=14774 vsize=9824732 CPUtime=2.57 cores=1,3,5,7 /proc/14777/task/14782/stat : 14782 (java) S 14774 14777 11545 0 -1 4202560 742 0 0 0 236 21 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669996120744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14783] ppid=14774 vsize=9824732 CPUtime=2.69 cores=1,3,5,7 /proc/14777/task/14783/stat : 14783 (java) S 14774 14777 11545 0 -1 4202560 667 0 0 0 240 29 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669995068200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14784] ppid=14774 vsize=9824732 CPUtime=2.55 cores=1,3,5,7 /proc/14777/task/14784/stat : 14784 (java) S 14774 14777 11545 0 -1 4202560 1089 0 0 0 231 24 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669994015144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14785] ppid=14774 vsize=9824732 CPUtime=2.62 cores=1,3,5,7 /proc/14777/task/14785/stat : 14785 (java) S 14774 14777 11545 0 -1 4202560 993 0 0 0 238 24 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669992962600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14786] ppid=14774 vsize=9824732 CPUtime=2.49 cores=1,3,5,7 /proc/14777/task/14786/stat : 14786 (java) S 14774 14777 11545 0 -1 4202560 682 0 0 0 227 22 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669991909544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14787] ppid=14774 vsize=9824732 CPUtime=2.51 cores=1,3,5,7 /proc/14777/task/14787/stat : 14787 (java) S 14774 14777 11545 0 -1 4202560 633 0 0 0 228 23 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669990857000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14788] ppid=14774 vsize=9824732 CPUtime=5.39 cores=1,3,5,7 /proc/14777/task/14788/stat : 14788 (java) S 14774 14777 11545 0 -1 4202560 2658 0 0 0 531 8 0 0 20 0 19 0 6474663 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669860735848 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14789] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14789/stat : 14789 (java) S 14774 14777 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6474664 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669859682168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14790] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14790/stat : 14790 (java) S 14774 14777 11545 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 6474664 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669858629000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14791] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14791/stat : 14791 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669857577744 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14792] ppid=14774 vsize=9824732 CPUtime=1.25 cores=1,3,5,7 /proc/14777/task/14792/stat : 14792 (java) S 14774 14777 11545 0 -1 4202560 4903 0 0 0 125 0 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669856524600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14793] ppid=14774 vsize=9824732 CPUtime=2.42 cores=1,3,5,7 /proc/14777/task/14793/stat : 14793 (java) S 14774 14777 11545 0 -1 4202560 19088 0 0 0 239 3 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669855472056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14794] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14794/stat : 14794 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139668981016824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14795] ppid=14774 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/14777/task/14795/stat : 14795 (java) S 14774 14777 11545 0 -1 4202560 32 0 0 0 7 13 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139668979964488 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14799] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14799/stat : 14799 (java) S 14774 14777 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6474697 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139668975752616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 994.31 Current children cumulated vsize (KiB) 9824732 [startup+527.601 s] /proc/loadavg: 4.18 3.85 3.80 6/214 15156 /proc/meminfo: memFree=25562344/32872528 swapFree=13208/1155804 [pid=14777] ppid=14774 vsize=9824732 CPUtime=994.71 cores=1,3,5,7 /proc/14777/stat : 14777 (java) S 14774 14777 11545 0 -1 4202496 39992 0 1 0 99127 344 0 0 20 0 19 0 6474660 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 140733324674544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14777/statm: 2456183 978433 2301 9 0 2446860 0 [pid=14777/tid=14779] ppid=14774 vsize=9824732 CPUtime=9.06 cores=1,3,5,7 /proc/14777/task/14779/stat : 14779 (java) R 14774 14777 11545 0 -1 4202560 2469 0 1 0 903 3 0 0 20 0 19 0 6474661 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139670036734600 139669870483376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14780] ppid=14774 vsize=9824732 CPUtime=2.83 cores=1,3,5,7 /proc/14777/task/14780/stat : 14780 (java) S 14774 14777 11545 0 -1 4202560 856 0 0 0 258 25 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669998226344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14781] ppid=14774 vsize=9824732 CPUtime=2.37 cores=1,3,5,7 /proc/14777/task/14781/stat : 14781 (java) S 14774 14777 11545 0 -1 4202560 663 0 0 0 215 22 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669997173800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14782] ppid=14774 vsize=9824732 CPUtime=2.57 cores=1,3,5,7 /proc/14777/task/14782/stat : 14782 (java) S 14774 14777 11545 0 -1 4202560 742 0 0 0 236 21 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669996120744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14783] ppid=14774 vsize=9824732 CPUtime=2.69 cores=1,3,5,7 /proc/14777/task/14783/stat : 14783 (java) S 14774 14777 11545 0 -1 4202560 667 0 0 0 240 29 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669995068200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14784] ppid=14774 vsize=9824732 CPUtime=2.55 cores=1,3,5,7 /proc/14777/task/14784/stat : 14784 (java) S 14774 14777 11545 0 -1 4202560 1089 0 0 0 231 24 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669994015144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14785] ppid=14774 vsize=9824732 CPUtime=2.62 cores=1,3,5,7 /proc/14777/task/14785/stat : 14785 (java) S 14774 14777 11545 0 -1 4202560 993 0 0 0 238 24 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669992962600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14786] ppid=14774 vsize=9824732 CPUtime=2.49 cores=1,3,5,7 /proc/14777/task/14786/stat : 14786 (java) S 14774 14777 11545 0 -1 4202560 682 0 0 0 227 22 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669991909544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14787] ppid=14774 vsize=9824732 CPUtime=2.51 cores=1,3,5,7 /proc/14777/task/14787/stat : 14787 (java) S 14774 14777 11545 0 -1 4202560 633 0 0 0 228 23 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669990857000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14788] ppid=14774 vsize=9824732 CPUtime=5.39 cores=1,3,5,7 /proc/14777/task/14788/stat : 14788 (java) S 14774 14777 11545 0 -1 4202560 2658 0 0 0 531 8 0 0 20 0 19 0 6474663 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669860735848 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14789] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14789/stat : 14789 (java) S 14774 14777 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6474664 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669859682168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14790] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14790/stat : 14790 (java) S 14774 14777 11545 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 6474664 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669858629000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14791] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14791/stat : 14791 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669857577744 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14792] ppid=14774 vsize=9824732 CPUtime=1.25 cores=1,3,5,7 /proc/14777/task/14792/stat : 14792 (java) S 14774 14777 11545 0 -1 4202560 4903 0 0 0 125 0 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669856524600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14793] ppid=14774 vsize=9824732 CPUtime=2.42 cores=1,3,5,7 /proc/14777/task/14793/stat : 14793 (java) S 14774 14777 11545 0 -1 4202560 19088 0 0 0 239 3 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669855472056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14794] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14794/stat : 14794 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139668981016824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14795] ppid=14774 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/14777/task/14795/stat : 14795 (java) S 14774 14777 11545 0 -1 4202560 32 0 0 0 7 13 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139668979964488 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14799] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14799/stat : 14799 (java) S 14774 14777 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6474697 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139668975752616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 994.71 Current children cumulated vsize (KiB) 9824732 [startup+527.801 s] /proc/loadavg: 4.18 3.85 3.80 6/214 15156 /proc/meminfo: memFree=25562344/32872528 swapFree=13208/1155804 [pid=14777] ppid=14774 vsize=9824732 CPUtime=994.91 cores=1,3,5,7 /proc/14777/stat : 14777 (java) S 14774 14777 11545 0 -1 4202496 39992 0 1 0 99147 344 0 0 20 0 19 0 6474660 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 140733324674544 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14777/statm: 2456183 978433 2301 9 0 2446860 0 [pid=14777/tid=14779] ppid=14774 vsize=9824732 CPUtime=9.26 cores=1,3,5,7 /proc/14777/task/14779/stat : 14779 (java) R 14774 14777 11545 0 -1 4202560 2469 0 1 0 923 3 0 0 20 0 19 0 6474661 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139670036734600 139669871195161 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14780] ppid=14774 vsize=9824732 CPUtime=2.83 cores=1,3,5,7 /proc/14777/task/14780/stat : 14780 (java) S 14774 14777 11545 0 -1 4202560 856 0 0 0 258 25 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669998226344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14781] ppid=14774 vsize=9824732 CPUtime=2.37 cores=1,3,5,7 /proc/14777/task/14781/stat : 14781 (java) S 14774 14777 11545 0 -1 4202560 663 0 0 0 215 22 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669997173800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14782] ppid=14774 vsize=9824732 CPUtime=2.57 cores=1,3,5,7 /proc/14777/task/14782/stat : 14782 (java) S 14774 14777 11545 0 -1 4202560 742 0 0 0 236 21 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669996120744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14783] ppid=14774 vsize=9824732 CPUtime=2.69 cores=1,3,5,7 /proc/14777/task/14783/stat : 14783 (java) S 14774 14777 11545 0 -1 4202560 667 0 0 0 240 29 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669995068200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14784] ppid=14774 vsize=9824732 CPUtime=2.55 cores=1,3,5,7 /proc/14777/task/14784/stat : 14784 (java) S 14774 14777 11545 0 -1 4202560 1089 0 0 0 231 24 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669994015144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14785] ppid=14774 vsize=9824732 CPUtime=2.62 cores=1,3,5,7 /proc/14777/task/14785/stat : 14785 (java) S 14774 14777 11545 0 -1 4202560 993 0 0 0 238 24 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669992962600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14786] ppid=14774 vsize=9824732 CPUtime=2.49 cores=1,3,5,7 /proc/14777/task/14786/stat : 14786 (java) S 14774 14777 11545 0 -1 4202560 682 0 0 0 227 22 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669991909544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14787] ppid=14774 vsize=9824732 CPUtime=2.51 cores=1,3,5,7 /proc/14777/task/14787/stat : 14787 (java) S 14774 14777 11545 0 -1 4202560 633 0 0 0 228 23 0 0 20 0 19 0 6474662 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669990857000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14788] ppid=14774 vsize=9824732 CPUtime=5.39 cores=1,3,5,7 /proc/14777/task/14788/stat : 14788 (java) S 14774 14777 11545 0 -1 4202560 2658 0 0 0 531 8 0 0 20 0 19 0 6474663 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669860735848 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14777/tid=14789] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14789/stat : 14789 (java) S 14774 14777 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6474664 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669859682168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14790] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14790/stat : 14790 (java) S 14774 14777 11545 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 6474664 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669858629000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14791] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14791/stat : 14791 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669857577744 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14792] ppid=14774 vsize=9824732 CPUtime=1.25 cores=1,3,5,7 /proc/14777/task/14792/stat : 14792 (java) S 14774 14777 11545 0 -1 4202560 4903 0 0 0 125 0 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669856524600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14793] ppid=14774 vsize=9824732 CPUtime=2.42 cores=1,3,5,7 /proc/14777/task/14793/stat : 14793 (java) S 14774 14777 11545 0 -1 4202560 19088 0 0 0 239 3 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139669855472056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14777/tid=14794] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14794/stat : 14794 (java) S 14774 14777 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139668981016824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14777/tid=14795] ppid=14774 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/14777/task/14795/stat : 14795 (java) S 14774 14777 11545 0 -1 4202560 32 0 0 0 7 13 0 0 20 0 19 0 6474666 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139668979964488 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14777/tid=14799] ppid=14774 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14777/task/14799/stat : 14799 (java) S 14774 14777 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6474697 10060525568 978433 33554432000 1073741824 1073778376 140733324683408 139668975752616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 994.91 Current children cumulated vsize (KiB) 9824732 Child status: 30 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.83995 # lost CPU user time (s): 1.96996 # lost CPU system time (s): -0.13 Real time (s): 527.825 CPU time (s): 996.833 CPU user time (s): 993.371 CPU system time (s): 3.46145 CPU usage (%): 188.857 Max. virtual memory (cumulated for all children) (KiB): 9826184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 991.401 system time used= 3.59145 maximum resident set size= 3934988 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40007 page faults= 1 swaps= 0 block input operations= 0 block output operations= 632 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16299 involuntary context switches= 18683 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.79842 second user time and 3.45547 second system time The end
Begin job on node114 at 2016-06-30 04:51:12 IDJOB=4119393 IDBENCH=111719 IDSOLVER=2543 FILE ID=node114/4119393-1467255072 RUNJOBID= node114-1467246678-11562 PBS_JOBID= 20004474 Free space on /tmp= 71672 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern20-15.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119393-1467255072/watcher-4119393-1467255072 -o /tmp/evaluation-result-4119393-1467255072/solver-4119393-1467255072 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11562 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119393-1467255072.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 806cf92b59839a07d4944a73d0bcdbd2 RANDOM SEED=110550107 node114.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.752 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.50 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.752 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.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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.752 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.752 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.56 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.752 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.56 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.752 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: 26238884 kB Buffers: 118700 kB Cached: 1211804 kB SwapCached: 0 kB Active: 3521552 kB Inactive: 1209496 kB Active(anon): 3402448 kB Inactive(anon): 572 kB Active(file): 119104 kB Inactive(file): 1208924 kB Unevictable: 1155804 kB Mlocked: 13208 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 472 kB Writeback: 0 kB AnonPages: 4672396 kB Mapped: 22216 kB Shmem: 204 kB Slab: 608612 kB SReclaimable: 52848 kB SUnreclaim: 555764 kB KernelStack: 1808 kB PageTables: 13060 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4928120 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4601856 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= 71668 MiB End job on node114 at 2016-06-30 05:00:00