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 | SAT (TO) | -278 | 1800.06 | 911.061 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-06.opb |
| MD5SUM | 701cda8648df32669dd82c408a9456b5 |
| 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 | -300 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| 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 | 977 |
| Biggest coefficient in the objective function | 34 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 14600 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 34 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 14600 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 922 |
| Sum of products size (including duplicates) | 2709 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@53ef9f1d 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@75786e64 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@3597a37c 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@75786e64 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4119325-1467253262.opb 0.10/0.11 c reading problem ... 0.10/0.11 c objective function found 0.24/0.27 c ... done. Wall clock time 0.166s. 0.24/0.27 c declared #vars 55 0.24/0.27 c internal #vars 977 0.24/0.27 c #constraints 1844 0.24/0.28 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.24/0.28 c constraints type 0.24/0.28 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 922 0.24/0.28 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 922 0.24/0.28 c 1844 constraints processed. 0.24/0.28 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.24/0.28 c constraints type 0.24/0.28 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 922 0.24/0.28 c org.sat4j.pb.constraints.pb.MaxWatchPb => 922 0.24/0.28 c 1844 constraints processed. 0.24/0.28 c objective function length is 977 literals 0.24/0.30 c And the winner is solver0 0.52/0.78 c SATISFIABLE 0.52/0.78 c OPTIMIZING... 0.52/0.78 c Got one! Elapsed wall clock time (in seconds):0.671 0.52/0.78 o -55 0.57/0.80 c And the winner is solver0 0.69/1.29 c Got one! Elapsed wall clock time (in seconds):1.18 0.69/1.29 o -57 0.72/1.31 c And the winner is solver0 1.19/1.79 c Got one! Elapsed wall clock time (in seconds):1.687 1.19/1.79 o -58 1.92/2.01 c And the winner is solver0 1.97/2.30 c Got one! Elapsed wall clock time (in seconds):2.192 1.97/2.30 o -73 1.98/2.31 c And the winner is solver0 1.99/2.80 c Got one! Elapsed wall clock time (in seconds):2.695 1.99/2.80 o -89 1.99/2.81 c And the winner is solver0 4.10/4.36 c Got one! Elapsed wall clock time (in seconds):4.25 4.10/4.36 o -91 4.10/4.36 c And the winner is solver0 4.18/4.86 c Got one! Elapsed wall clock time (in seconds):4.753 4.18/4.86 o -92 4.28/4.98 c And the winner is solver0 4.52/5.36 c Got one! Elapsed wall clock time (in seconds):5.256 4.52/5.36 o -93 4.59/5.46 c And the winner is solver0 4.77/5.87 c Got one! Elapsed wall clock time (in seconds):5.759 4.77/5.87 o -94 4.83/5.93 c And the winner is solver0 4.97/6.37 c Got one! Elapsed wall clock time (in seconds):6.261 4.97/6.37 o -105 5.04/6.43 c And the winner is solver0 5.11/6.87 c Got one! Elapsed wall clock time (in seconds):6.764 5.11/6.87 o -106 5.11/6.87 c And the winner is solver0 5.14/7.37 c Got one! Elapsed wall clock time (in seconds):7.267 5.14/7.37 o -123 5.14/7.38 c And the winner is solver0 5.15/7.88 c Got one! Elapsed wall clock time (in seconds):7.769 5.15/7.88 o -125 5.15/7.88 c And the winner is solver0 5.17/8.38 c Got one! Elapsed wall clock time (in seconds):8.271 5.17/8.38 o -126 5.40/8.53 c And the winner is solver0 5.59/8.88 c Got one! Elapsed wall clock time (in seconds):8.773 5.59/8.88 o -127 5.90/9.00 c And the winner is solver0 5.94/9.38 c Got one! Elapsed wall clock time (in seconds):9.274 5.94/9.38 o -128 5.96/9.42 c And the winner is solver0 6.04/9.88 c Got one! Elapsed wall clock time (in seconds):9.777 6.04/9.88 o -129 6.28/10.05 c And the winner is solver0 6.39/10.39 c Got one! Elapsed wall clock time (in seconds):10.278 6.39/10.39 o -130 6.41/10.47 c And the winner is solver0 6.58/10.89 c Got one! Elapsed wall clock time (in seconds):10.78 6.58/10.89 o -132 6.58/10.89 c And the winner is solver0 6.59/11.39 c Got one! Elapsed wall clock time (in seconds):11.282 6.59/11.39 o -133 6.59/11.39 c And the winner is solver0 6.59/11.89 c Got one! Elapsed wall clock time (in seconds):11.784 6.59/11.89 o -135 6.63/11.93 c And the winner is solver0 6.70/12.39 c Got one! Elapsed wall clock time (in seconds):12.286 6.70/12.39 o -136 7.55/12.87 c cleaning 5147 clauses out of 10296 with flag 6073/10296 8.17/13.17 c And the winner is solver0 8.35/13.39 c Got one! Elapsed wall clock time (in seconds):13.288 8.35/13.39 o -139 8.35/13.47 c And the winner is solver0 8.52/13.90 c Got one! Elapsed wall clock time (in seconds):13.79 8.52/13.90 o -142 9.13/14.27 c And the winner is solver0 9.30/14.40 c Got one! Elapsed wall clock time (in seconds):14.292 9.30/14.40 o -144 9.77/14.61 c cleaning 5841 clauses out of 11682 with flag 2003/16829 11.38/15.45 c cleaning 5918 clauses out of 11842 with flag 14005/22830 13.46/16.49 c cleaning 6461 clauses out of 12924 with flag 28006/29830 13.67/16.53 c And the winner is solver1 13.73/16.90 c Got one! Elapsed wall clock time (in seconds):16.795 13.73/16.90 o -166 14.52/17.35 c And the winner is solver0 14.67/17.40 c Got one! Elapsed wall clock time (in seconds):17.298 14.67/17.40 o -167 15.27/17.75 c cleaning 5931 clauses out of 11867 with flag 4900/35234 15.68/17.94 c And the winner is solver0 15.80/18.41 c Got one! Elapsed wall clock time (in seconds):18.3 15.80/18.41 o -168 15.80/18.46 c And the winner is solver0 15.95/18.91 c Got one! Elapsed wall clock time (in seconds):18.803 15.95/18.91 o -169 16.32/19.16 c And the winner is solver0 16.49/19.41 c Got one! Elapsed wall clock time (in seconds):19.305 16.49/19.41 o -170 17.41/19.83 c And the winner is solver0 17.51/19.92 c Got one! Elapsed wall clock time (in seconds):19.808 17.51/19.92 o -171 17.67/20.02 c And the winner is solver0 17.76/20.42 c Got one! Elapsed wall clock time (in seconds):20.311 17.76/20.42 o -172 17.76/20.47 c And the winner is solver0 17.91/20.92 c Got one! Elapsed wall clock time (in seconds):20.813 17.91/20.92 o -173 18.26/21.10 c cleaning 6631 clauses out of 13265 with flag 2576/42563 18.26/21.15 c And the winner is solver0 18.42/21.42 c Got one! Elapsed wall clock time (in seconds):21.316 18.42/21.42 o -174 19.16/21.85 c And the winner is solver0 19.32/21.93 c Got one! Elapsed wall clock time (in seconds):21.818 19.32/21.93 o -176 20.06/22.36 c cleaning 6476 clauses out of 12952 with flag 6266/48881 22.17/23.31 c cleaning 6238 clauses out of 12477 with flag 18301/54882 24.36/24.44 c cleaning 6619 clauses out of 13238 with flag 32360/61881 25.56/25.02 c And the winner is solver0 25.67/25.43 c Got one! Elapsed wall clock time (in seconds):25.322 25.67/25.43 o -178 26.20/25.73 c cleaning 6304 clauses out of 12608 with flag 4082/67870 27.20/26.27 c And the winner is solver0 27.41/26.43 c Got one! Elapsed wall clock time (in seconds):26.325 27.41/26.43 o -179 27.75/26.64 c And the winner is solver0 27.89/26.93 c Got one! Elapsed wall clock time (in seconds):26.827 27.89/26.93 o -189 28.37/27.18 c cleaning 6235 clauses out of 12476 with flag 2025/74042 29.20/27.54 c And the winner is solver0 29.35/27.94 c Got one! Elapsed wall clock time (in seconds):27.83 29.35/27.94 o -190 29.66/28.18 c And the winner is solver0 29.89/28.44 c Got one! Elapsed wall clock time (in seconds):28.332 29.89/28.44 o -195 30.41/28.71 c cleaning 6393 clauses out of 12801 with flag 4048/80602 32.00/29.50 c cleaning 6198 clauses out of 12409 with flag 16099/86603 33.79/30.47 c cleaning 6601 clauses out of 13210 with flag 30107/93602 35.19/31.18 c And the winner is solver1 35.36/31.44 c Got one! Elapsed wall clock time (in seconds):31.336 35.36/31.44 o -217 35.47/31.50 c And the winner is solver0 35.53/31.95 c Got one! Elapsed wall clock time (in seconds):31.838 35.53/31.95 o -221 36.01/32.18 c And the winner is solver0 36.50/32.45 c Got one! Elapsed wall clock time (in seconds):32.34 36.50/32.45 o -224 38.49/33.43 c cleaning 9095 clauses out of 18195 with flag 11877/105188 40.91/34.52 c cleaning 7544 clauses out of 15098 with flag 29072/111186 43.73/35.77 c cleaning 7275 clauses out of 14554 with flag 48681/118186 46.73/37.20 c And the winner is solver0 46.82/37.45 c Got one! Elapsed wall clock time (in seconds):37.343 46.82/37.45 o -225 46.91/37.52 c And the winner is solver0 47.01/37.95 c Got one! Elapsed wall clock time (in seconds):37.846 47.01/37.95 o -230 48.69/38.86 c cleaning 10161 clauses out of 20328 with flag 11844/131235 51.28/40.06 c cleaning 8079 clauses out of 16167 with flag 28563/137235 53.88/41.30 c cleaning 7541 clauses out of 15087 with flag 44996/144234 54.89/41.83 c And the winner is solver0 55.02/41.96 c Got one! Elapsed wall clock time (in seconds):41.85 55.02/41.96 o -232 55.52/42.27 c cleaning 6420 clauses out of 12846 with flag 4258/149534 57.52/43.20 c cleaning 6210 clauses out of 12427 with flag 16630/155535 59.72/44.33 c cleaning 6607 clauses out of 13217 with flag 31530/162535 62.67/45.72 c cleaning 7302 clauses out of 14611 with flag 47976/170536 65.67/47.24 c cleaning 8153 clauses out of 16307 with flag 66179/179534 66.86/47.86 c And the winner is solver0 67.11/48.01 c Got one! Elapsed wall clock time (in seconds):47.903 67.11/48.01 o -233 67.47/48.29 c cleaning 6923 clauses out of 13854 with flag 4139/185234 69.27/49.11 c cleaning 6462 clauses out of 12930 with flag 16329/191233 71.07/50.09 c cleaning 6731 clauses out of 13468 with flag 30441/198233 73.47/51.22 c cleaning 7369 clauses out of 14737 with flag 46980/206233 76.27/52.60 c cleaning 8182 clauses out of 16368 with flag 65647/215233 76.68/52.90 c And the winner is solver1 76.87/53.01 c Got one! Elapsed wall clock time (in seconds):52.907 76.87/53.01 o -235 77.84/53.54 c cleaning 6698 clauses out of 13406 with flag 7573/220453 79.83/54.55 c cleaning 6350 clauses out of 12707 with flag 23531/226452 82.56/55.80 c cleaning 6675 clauses out of 13358 with flag 41756/233453 83.56/56.35 c And the winner is solver1 83.67/56.52 c Got one! Elapsed wall clock time (in seconds):56.411 83.67/56.52 o -236 84.23/56.86 c cleaning 5930 clauses out of 11871 with flag 4505/238641 85.24/57.38 c And the winner is solver0 85.52/57.57 c Got one! Elapsed wall clock time (in seconds):57.464 85.52/57.57 o -238 86.19/57.90 c cleaning 5602 clauses out of 11215 with flag 4521/243915 87.00/58.36 c And the winner is solver0 87.26/58.57 c Got one! Elapsed wall clock time (in seconds):58.467 87.26/58.57 o -240 87.69/58.90 c cleaning 5306 clauses out of 10624 with flag 4480/248926 89.10/59.54 c And the winner is solver0 89.33/59.73 c Got one! Elapsed wall clock time (in seconds):59.62 89.33/59.73 o -242 89.46/59.83 c And the winner is solver0 89.61/60.23 c Got one! Elapsed wall clock time (in seconds):60.123 89.61/60.23 o -246 89.94/60.40 c cleaning 5606 clauses out of 11213 with flag 2266/254821 91.74/61.33 c cleaning 5804 clauses out of 11609 with flag 19079/260823 94.13/62.50 c cleaning 6397 clauses out of 12804 with flag 42286/267822 97.72/64.54 c cleaning 7205 clauses out of 14409 with flag 67639/275824 100.93/66.14 c cleaning 8100 clauses out of 16201 with flag 91647/284821 104.92/68.16 c cleaning 9046 clauses out of 18102 with flag 121711/294822 109.67/70.44 c cleaning 10022 clauses out of 20055 with flag 159951/305821 114.95/73.08 c And the winner is solver0 115.26/73.45 c Got one! Elapsed wall clock time (in seconds):73.339 115.26/73.45 o -248 116.96/74.38 c cleaning 12678 clauses out of 25355 with flag 10552/321143 119.16/75.45 c cleaning 9336 clauses out of 18677 with flag 23035/327143 121.55/76.67 c cleaning 8166 clauses out of 16341 with flag 37555/334143 124.57/78.14 c cleaning 8086 clauses out of 16176 with flag 54363/342144 128.16/79.90 c cleaning 8541 clauses out of 17090 with flag 73270/351144 131.83/81.80 c cleaning 9275 clauses out of 18549 with flag 93835/361144 136.24/83.91 c cleaning 10134 clauses out of 20273 with flag 116445/372143 140.84/86.26 c cleaning 11066 clauses out of 22139 with flag 140701/384143 146.24/88.90 c cleaning 12035 clauses out of 24074 with flag 167394/397144 152.54/92.07 c cleaning 13017 clauses out of 26038 with flag 196164/411143 159.15/95.30 c cleaning 14011 clauses out of 28022 with flag 227433/426144 166.96/99.55 c cleaning 15004 clauses out of 30010 with flag 260480/442143 174.57/103.39 c cleaning 16002 clauses out of 32006 with flag 295568/459143 183.22/107.69 c cleaning 17001 clauses out of 34005 with flag 332391/477144 192.42/112.23 c cleaning 18000 clauses out of 36003 with flag 372050/496143 202.73/117.35 c cleaning 18997 clauses out of 38004 with flag 413878/516144 213.53/122.71 c cleaning 20003 clauses out of 40007 with flag 457345/537144 224.68/128.26 c cleaning 21001 clauses out of 42003 with flag 502760/559143 236.78/134.26 c cleaning 21997 clauses out of 44003 with flag 549791/582144 249.36/140.58 c cleaning 23000 clauses out of 46006 with flag 600282/606144 264.48/148.00 c And the winner is solver1 264.48/148.02 c cleaning 24001 clauses out of 48005 with flag 653365/631143 264.48/148.43 c Got one! Elapsed wall clock time (in seconds):148.32 264.48/148.43 o -277 266.41/149.43 c cleaning 14500 clauses out of 29004 with flag 12055/636143 266.41/149.45 c And the winner is solver0 266.86/149.93 c Got one! Elapsed wall clock time (in seconds):149.824 266.86/149.93 o -278 269.15/151.00 c cleaning 9803 clauses out of 19613 with flag 12517/641252 271.35/152.15 c cleaning 7898 clauses out of 15811 with flag 28567/647253 274.15/153.52 c cleaning 7455 clauses out of 14914 with flag 47875/654254 277.15/155.06 c cleaning 7723 clauses out of 15458 with flag 70404/662253 280.75/156.85 c cleaning 8361 clauses out of 16734 with flag 94506/671252 285.05/158.94 c cleaning 9183 clauses out of 18373 with flag 121750/681252 289.65/161.24 c cleaning 10091 clauses out of 20190 with flag 153853/692252 295.26/164.05 c cleaning 11044 clauses out of 22099 with flag 192950/704252 301.66/167.15 c cleaning 12028 clauses out of 24055 with flag 235562/717252 309.06/170.83 c cleaning 13008 clauses out of 26027 with flag 278773/731252 318.07/175.73 c cleaning 14010 clauses out of 28020 with flag 325644/746253 325.67/179.56 c cleaning 15004 clauses out of 30009 with flag 376762/762252 334.72/184.02 c cleaning 15996 clauses out of 32005 with flag 444359/779252 344.31/188.87 c cleaning 17002 clauses out of 34009 with flag 504290/797252 354.58/193.94 c cleaning 18001 clauses out of 36010 with flag 561168/816255 366.28/199.72 c cleaning 18991 clauses out of 38007 with flag 622832/836253 378.08/205.63 c cleaning 20003 clauses out of 40015 with flag 685895/857252 390.99/212.04 c cleaning 21000 clauses out of 42012 with flag 752413/879252 406.74/219.89 c cleaning 22007 clauses out of 44013 with flag 822841/902253 422.48/227.67 c cleaning 23003 clauses out of 46007 with flag 892268/926254 439.85/236.29 c cleaning 23994 clauses out of 48002 with flag 971876/951252 457.43/244.91 c cleaning 24999 clauses out of 50008 with flag 1049971/977252 476.42/254.32 c cleaning 25997 clauses out of 52011 with flag 1136298/1004254 497.06/264.43 c cleaning 26999 clauses out of 54012 with flag 1227946/1032252 517.88/274.76 c cleaning 28001 clauses out of 56013 with flag 1320398/1061252 539.92/285.65 c cleaning 29001 clauses out of 58012 with flag 1416177/1091252 567.14/299.08 c cleaning 30007 clauses out of 60013 with flag 1521076/1122254 593.17/311.82 c cleaning 31002 clauses out of 62004 with flag 1612460/1154252 628.19/329.19 c cleaning 32002 clauses out of 64003 with flag 1712616/1187253 664.22/346.92 c cleaning 33001 clauses out of 66001 with flag 1803724/1221253 699.86/364.56 c cleaning 33999 clauses out of 68000 with flag 1900364/1256253 736.69/382.79 c cleaning 34997 clauses out of 70000 with flag 1994859/1292252 777.95/404.13 c cleaning 35999 clauses out of 72003 with flag 2094638/1329252 818.09/424.15 c cleaning 36999 clauses out of 74004 with flag 2194362/1367252 859.30/444.61 c cleaning 38003 clauses out of 76006 with flag 2295524/1406253 905.46/467.52 c cleaning 38998 clauses out of 78002 with flag 2397029/1446252 952.37/490.82 c cleaning 39995 clauses out of 80005 with flag 2502281/1487253 1001.49/515.13 c cleaning 41001 clauses out of 82010 with flag 2609239/1529253 1055.08/541.77 c cleaning 41999 clauses out of 84008 with flag 2724011/1572252 1110.73/569.24 c cleaning 43003 clauses out of 86010 with flag 2839254/1616253 1165.19/596.18 c cleaning 43999 clauses out of 88006 with flag 2952357/1661252 1227.10/626.73 c cleaning 45004 clauses out of 90008 with flag 3070721/1707253 1291.13/658.35 c cleaning 45999 clauses out of 92003 with flag 3191592/1754252 1353.65/689.18 c cleaning 47001 clauses out of 94006 with flag 3321073/1802254 1413.67/718.78 c cleaning 48000 clauses out of 96004 with flag 3444057/1851253 1414.91/719.34 c cleaning 0 clauses out of 7091 with flag 0/7121 1484.66/754.66 c cleaning 49002 clauses out of 98004 with flag 3573955/1901253 1561.62/792.93 c cleaning 50000 clauses out of 100001 with flag 3702640/1952252 1642.00/832.82 c cleaning 50988 clauses out of 102001 with flag 3835132/2004252 1728.55/875.77 c cleaning 52002 clauses out of 104013 with flag 3968655/2057252 1800.06/911.00 c >>>>>>>>>> Solver number 0 (51 answers) <<<<<<<<<<<<<<<<<< 1800.06/911.00 c starts : 12980 1800.06/911.00 c conflicts : 2107581 1800.06/911.00 c decisions : 4439411 1800.06/911.00 c propagations : 51521968 1800.06/911.00 c inspects : 8457688405 1800.06/911.00 c shortcuts : 0 1800.06/911.00 c learnt literals : 0 1800.06/911.00 c learnt binary clauses : 235 1800.06/911.00 c learnt ternary clauses : 1118 1800.06/911.00 c learnt constraints : 2107581 1800.06/911.00 c ignored constraints : 0 1800.06/911.00 c root simplifications : 0 1800.06/911.00 c removed literals (reason simplification) : 24221960 1800.06/911.00 c reason swapping (by a shorter reason) : 0 1800.06/911.00 c Calls to reduceDB : 114 1800.06/911.00 c Number of update (reduction) of LBD : 44806 1800.06/911.00 c Imported unit clauses : 0 1800.06/911.00 c number of reductions to clauses (during analyze) : 0 1800.06/911.00 c number of learned constraints concerned by reduction : 0 1800.06/911.00 c number of learning phase by resolution : 0 1800.06/911.00 c number of learning phase by cutting planes : 0 1800.06/911.00 c speed (assignments/second) : 67563.42089664975 1800.06/911.00 c non guided choices 0 1800.06/911.03 c learnt constraints type 1800.06/911.03 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 235 1800.06/911.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 102106 1800.06/911.03 c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<< 1800.06/911.03 c starts : 97 1800.06/911.03 c conflicts : 7808 1800.06/911.03 c decisions : 12419 1800.06/911.03 c propagations : 469850 1800.06/911.03 c inspects : 826854842 1800.06/911.03 c shortcuts : 0 1800.06/911.03 c learnt literals : 0 1800.06/911.03 c learnt binary clauses : 0 1800.06/911.03 c learnt ternary clauses : 4 1800.06/911.03 c learnt constraints : 7778 1800.06/911.03 c ignored constraints : 0 1800.06/911.03 c root simplifications : 0 1800.06/911.03 c removed literals (reason simplification) : 0 1800.06/911.03 c reason swapping (by a shorter reason) : 0 1800.06/911.03 c Calls to reduceDB : 1 1800.06/911.03 c Number of update (reduction) of LBD : 0 1800.06/911.03 c Imported unit clauses : 0 1800.06/911.03 c number of reductions to clauses (during analyze) : 0 1800.06/911.03 c number of learned constraints concerned by reduction : 0 1800.06/911.03 c number of learning phase by resolution : 0 1800.06/911.03 c number of learning phase by cutting planes : 0 1800.06/911.03 c speed (assignments/second) : 617.3366688915401 1800.06/911.03 c non guided choices 0 1800.06/911.03 c learnt constraints type 1800.06/911.03 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 4 1800.06/911.03 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7774 1800.06/911.03 s SATISFIABLE 1800.06/911.03 c Found 56 solution(s) 1800.06/911.03 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.06/911.03 c objective function=-278 1800.06/911.03 c Total wall clock time (in seconds): 910.924
OK -278
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-4119325-1467253262/watcher-4119325-1467253262 -o /tmp/evaluation-result-4119325-1467253262/solver-4119325-1467253262 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11562 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119325-1467253262.opb pid=13985 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: 3.12 3.10 3.20 4/197 13988 /proc/meminfo: memFree=27273740/32872528 swapFree=13208/1155804 [pid=13988] ppid=13985 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 6293590 98570240 978 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13988/statm: 24065 978 744 9 0 16771 0 [pid=13988/tid=13989] ppid=13985 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13989/stat : 13989 (java) R 13985 13988 11545 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 6293591 98570240 978 33554432000 1073741824 1073778376 140736643692080 139647092547112 219513963904 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 [startup+0.100163 s] /proc/loadavg: 3.12 3.10 3.20 4/197 13988 /proc/meminfo: memFree=27273740/32872528 swapFree=13208/1155804 [pid=13988] ppid=13985 vsize=9558476 CPUtime=0.1 cores=1,3,5,7 /proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 4479 0 1 0 9 1 0 0 20 0 18 0 6293590 9787879424 6109 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13988/statm: 2389619 6109 2156 9 0 2380296 0 [pid=13988/tid=13989] ppid=13985 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/13988/task/13989/stat : 13989 (java) R 13985 13988 11545 0 -1 4202560 2389 0 1 0 7 0 0 0 20 0 18 0 6293591 9787879424 6109 33554432000 1073741824 1073778376 140736643692080 139647092551032 139647095836217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200316 s] /proc/loadavg: 3.12 3.10 3.20 4/197 13988 /proc/meminfo: memFree=27273740/32872528 swapFree=13208/1155804 [pid=13988] ppid=13985 vsize=9558476 CPUtime=0.24 cores=1,3,5,7 /proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 4656 0 1 0 23 1 0 0 20 0 18 0 6293590 9787879424 7277 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13988/statm: 2389619 7277 2222 9 0 2380296 0 [pid=13988/tid=13989] ppid=13985 vsize=9558476 CPUtime=0.17 cores=1,3,5,7 /proc/13988/task/13989/stat : 13989 (java) R 13985 13988 11545 0 -1 4202560 2409 0 1 0 17 0 0 0 20 0 18 0 6293591 9787879424 7277 33554432000 1073741824 1073778376 140736643692080 139647092551480 139647096565847 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.307724 s] /proc/loadavg: 3.12 3.10 3.20 4/197 13988 /proc/meminfo: memFree=27273740/32872528 swapFree=13208/1155804 [pid=13988] ppid=13985 vsize=9824732 CPUtime=0.52 cores=1,3,5,7 /proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 5606 0 1 0 48 4 0 0 20 0 19 0 6293590 10060525568 9481 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13988/statm: 2456183 9481 2252 9 0 2446860 0 [pid=13988/tid=13989] ppid=13985 vsize=9824732 CPUtime=0.25 cores=1,3,5,7 /proc/13988/task/13989/stat : 13989 (java) S 13985 13988 11545 0 -1 4202560 2422 0 1 0 25 0 0 0 20 0 19 0 6293591 10060525568 9481 33554432000 1073741824 1073778376 140736643692080 139647092552568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9824732 [startup+0.700312 s] /proc/loadavg: 3.12 3.10 3.20 4/197 13988 /proc/meminfo: memFree=27273740/32872528 swapFree=13208/1155804 [pid=13988] ppid=13985 vsize=9824732 CPUtime=0.52 cores=1,3,5,7 /proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 5606 0 1 0 48 4 0 0 20 0 19 0 6293590 10060525568 9481 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13988/statm: 2456183 9481 2252 9 0 2446860 0 [pid=13988/tid=13989] ppid=13985 vsize=9824732 CPUtime=0.25 cores=1,3,5,7 /proc/13988/task/13989/stat : 13989 (java) S 13985 13988 11545 0 -1 4202560 2422 0 1 0 25 0 0 0 20 0 19 0 6293591 10060525568 9481 33554432000 1073741824 1073778376 140736643692080 139647092552568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9824732 [startup+1.50087 s] /proc/loadavg: 3.12 3.10 3.20 3/216 14013 /proc/meminfo: memFree=27233868/32872528 swapFree=13208/1155804 [pid=13988] ppid=13985 vsize=9824732 CPUtime=1.18 cores=1,3,5,7 /proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 16705 0 1 0 109 9 0 0 20 0 19 0 6293590 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13988/statm: 2456183 17198 2254 9 0 2446860 0 [pid=13988/tid=13989] ppid=13985 vsize=9824732 CPUtime=0.27 cores=1,3,5,7 /proc/13988/task/13989/stat : 13989 (java) S 13985 13988 11545 0 -1 4202560 2424 0 1 0 27 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647092552568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13991] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13991/stat : 13991 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647054043688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=13992] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13992/stat : 13992 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647052990888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13993] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13993/stat : 13993 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647051938088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=13994] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13994/stat : 13994 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647050885288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13995] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13995/stat : 13995 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647049833512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=13996] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13996/stat : 13996 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647048780712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13997] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13997/stat : 13997 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647047727912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13998] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13998/stat : 13998 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139647046675112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=13999] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13999/stat : 13999 (java) S 13985 13988 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6293592 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646915820008 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=14000] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14000/stat : 14000 (java) S 13985 13988 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6293593 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646914766072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14001] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14001/stat : 14001 (java) S 13985 13988 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6293593 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646913713160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14002] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14002/stat : 14002 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293595 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646912661648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14003] ppid=13985 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/13988/task/14003/stat : 14003 (java) R 13985 13988 11545 0 -1 4202560 7792 0 0 0 38 1 0 0 20 0 19 0 6293595 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646911586936 139647099526500 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=14004] ppid=13985 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/13988/task/14004/stat : 14004 (java) R 13985 13988 11545 0 -1 4202560 5142 0 0 0 33 0 0 0 20 0 19 0 6293595 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646910544264 139647095418369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14005] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14005/stat : 14005 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293595 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646909504376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=14006] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14006/stat : 14006 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293595 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646908451784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=14010] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14010/stat : 14010 (java) S 13985 13988 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6293619 10060525568 17198 33554432000 1073741824 1073778376 140736643692080 139646904238888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 9824732 [startup+3.10087 s] /proc/loadavg: 3.03 3.09 3.19 3/216 14019 /proc/meminfo: memFree=27198636/32872528 swapFree=13208/1155804 [pid=13988] ppid=13985 vsize=9824732 CPUtime=2.61 cores=1,3,5,7 /proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 17849 0 1 0 249 12 0 0 20 0 21 0 6293590 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13988/statm: 2456183 30062 2273 9 0 2446860 0 [pid=13988/tid=13989] ppid=13985 vsize=9824732 CPUtime=0.28 cores=1,3,5,7 /proc/13988/task/13989/stat : 13989 (java) S 13985 13988 11545 0 -1 4202560 2424 0 1 0 28 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647092552568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13991] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13991/stat : 13991 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647054043688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=13992] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13992/stat : 13992 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647052990888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13993] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13993/stat : 13993 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647051938088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=13994] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13994/stat : 13994 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647050885288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13995] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13995/stat : 13995 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647049833512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=13996] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13996/stat : 13996 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647048780712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13997] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13997/stat : 13997 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647047727912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13998] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13998/stat : 13998 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 6293591 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139647046675112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=13999] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13999/stat : 13999 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 6293592 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646915820008 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=14000] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14000/stat : 14000 (java) S 13985 13988 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 6293593 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646914766072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14001] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14001/stat : 14001 (java) S 13985 13988 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 6293593 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646913713160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14002] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14002/stat : 14002 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293595 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646912661648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14003] ppid=13985 vsize=9824732 CPUtime=0.76 cores=1,3,5,7 /proc/13988/task/14003/stat : 14003 (java) R 13985 13988 11545 0 -1 4202560 8754 0 0 0 74 2 0 0 20 0 21 0 6293595 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646911609784 139647099536111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=14004] ppid=13985 vsize=9824732 CPUtime=0.66 cores=1,3,5,7 /proc/13988/task/14004/stat : 14004 (java) S 13985 13988 11545 0 -1 4202560 5276 0 0 0 66 0 0 0 20 0 21 0 6293595 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646910556984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14005] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14005/stat : 14005 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293595 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646909504376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=14006] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14006/stat : 14006 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 6293595 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646908451784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=14010] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14010/stat : 14010 (java) S 13985 13988 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 6293619 10060525568 30062 33554432000 1073741824 1073778376 140736643692080 139646904238888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.61 Current children cumulated vsize (KiB) 9824732 [startup+6.30084 s] /proc/loadavg: 3.03 3.09 3.19 3/216 14033 /proc/meminfo: memFree=27076860/32872528 swapFree=13208/1155804 [pid=13988] ppid=13985 vsize=9824732 CPUtime=4.97 cores=1,3,5,7 /proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 19943 0 1 0 472 25 0 0 20 0 19 0 6293590 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13988/statm: 2456183 50918 2288 9 0 2446860 0 [pid=13988/tid=13989] ppid=13985 vsize=9824732 CPUtime=0.29 cores=1,3,5,7 /proc/13988/task/13989/stat : 13989 (java) S 13985 13988 11545 0 -1 4202560 2424 0 1 0 29 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647092552568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13991] ppid=13985 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/13988/task/13991/stat : 13991 (java) S 13985 13988 11545 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647054043688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13992] ppid=13985 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/13988/task/13992/stat : 13992 (java) S 13985 13988 11545 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647052990888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13993] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13993/stat : 13993 (java) S 13985 13988 11545 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647051938088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13994] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13994/stat : 13994 (java) S 13985 13988 11545 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647050885288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=13995] ppid=13985 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/13988/task/13995/stat : 13995 (java) S 13985 13988 11545 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647049833512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13996] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13996/stat : 13996 (java) S 13985 13988 11545 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647048780712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13997] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13997/stat : 13997 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647047727912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13998] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13998/stat : 13998 (java) S 13985 13988 11545 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6293591 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139647046675112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=13999] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/13999/stat : 13999 (java) S 13985 13988 11545 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 6293592 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139646915820008 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14000] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14000/stat : 14000 (java) S 13985 13988 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6293593 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139646914766072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14001] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14001/stat : 14001 (java) S 13985 13988 11545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6293593 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139646913713160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14002] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14002/stat : 14002 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6293595 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139646912661648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14003] ppid=13985 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/13988/task/14003/stat : 14003 (java) S 13985 13988 11545 0 -1 4202560 10578 0 0 0 102 2 0 0 20 0 19 0 6293595 10060525568 50918 33554432000 1073741824 1073778376 140736643692080 139646911609784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=14004] ppid=13985 vsize=9824732 CPUtime=0.78 cores=1,3,5,7 ################ # More data... # ################ [pid=13988/tid=13998] ppid=13985 vsize=9824732 CPUtime=4.13 cores=1,3,5,7 /proc/13988/task/13998/stat : 13998 (java) S 13985 13988 11545 0 -1 4202560 1018 0 0 0 392 21 0 0 20 0 22 0 6293591 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139647046675112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13999] ppid=13985 vsize=9824732 CPUtime=6.29 cores=1,3,5,7 /proc/13988/task/13999/stat : 13999 (java) S 13985 13988 11545 0 -1 4202560 2948 0 0 0 619 10 0 0 20 0 22 0 6293592 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646915820008 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=14000] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14000/stat : 14000 (java) S 13985 13988 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6293593 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646914766072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=14001] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14001/stat : 14001 (java) S 13985 13988 11545 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 6293593 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646913713160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=14002] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14002/stat : 14002 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6293595 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646912661648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14003] ppid=13985 vsize=9824732 CPUtime=2.2 cores=1,3,5,7 /proc/13988/task/14003/stat : 14003 (java) S 13985 13988 11545 0 -1 4202560 21158 0 0 0 217 3 0 0 20 0 22 0 6293595 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646911609784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=14004] ppid=13985 vsize=9824732 CPUtime=1.35 cores=1,3,5,7 /proc/13988/task/14004/stat : 14004 (java) S 13985 13988 11545 0 -1 4202560 5766 0 0 0 133 2 0 0 20 0 22 0 6293595 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646910556984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14005] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14005/stat : 14005 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6293595 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646909504376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=14006] ppid=13985 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/13988/task/14006/stat : 14006 (java) S 13985 13988 11545 0 -1 4202560 47 0 0 0 11 21 0 0 20 0 22 0 6293595 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646908451784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14198] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14198/stat : 14198 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6308434 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646904239400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=14199] ppid=13985 vsize=9824732 CPUtime=658.05 cores=1,3,5,7 /proc/13988/task/14199/stat : 14199 (java) R 13985 13988 11545 0 -1 4202560 22 0 0 0 65794 11 0 0 20 0 22 0 6308584 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646907394832 139646919836275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=14200] ppid=13985 vsize=9824732 CPUtime=657.97 cores=1,3,5,7 /proc/13988/task/14200/stat : 14200 (java) R 13985 13988 11545 0 -1 4202560 61 0 0 0 65787 10 0 0 20 0 22 0 6308584 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646905290144 139646919566030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=14201] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14201/stat : 14201 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6308584 10060525568 998156 33554432000 1073741824 1073778376 140736643692080 139646906344360 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1620.52 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.21 4.16 3.77 5/219 14326 /proc/meminfo: memFree=22196872/32872528 swapFree=13208/1155804 [pid=13988] ppid=13985 vsize=9824732 CPUtime=1741.65 cores=1,3,5,7 /proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 42262 0 1 0 173840 325 0 0 20 0 22 0 6293590 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13988/statm: 2456183 998220 2302 9 0 2446860 0 [pid=13988/tid=13989] ppid=13985 vsize=9824732 CPUtime=0.44 cores=1,3,5,7 /proc/13988/task/13989/stat : 13989 (java) S 13985 13988 11545 0 -1 4202560 2446 0 1 0 40 4 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647092552568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13991] ppid=13985 vsize=9824732 CPUtime=4.62 cores=1,3,5,7 /proc/13988/task/13991/stat : 13991 (java) S 13985 13988 11545 0 -1 4202560 1136 0 0 0 438 24 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647054043688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13992] ppid=13985 vsize=9824732 CPUtime=4.28 cores=1,3,5,7 /proc/13988/task/13992/stat : 13992 (java) S 13985 13988 11545 0 -1 4202560 665 0 0 0 412 16 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647052990888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13993] ppid=13985 vsize=9824732 CPUtime=4.51 cores=1,3,5,7 /proc/13988/task/13993/stat : 13993 (java) S 13985 13988 11545 0 -1 4202560 814 0 0 0 427 24 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647051938088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=13994] ppid=13985 vsize=9824732 CPUtime=4.64 cores=1,3,5,7 /proc/13988/task/13994/stat : 13994 (java) S 13985 13988 11545 0 -1 4202560 748 0 0 0 443 21 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647050885288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13995] ppid=13985 vsize=9824732 CPUtime=4.36 cores=1,3,5,7 /proc/13988/task/13995/stat : 13995 (java) S 13985 13988 11545 0 -1 4202560 785 0 0 0 416 20 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647049833512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13996] ppid=13985 vsize=9824732 CPUtime=5.16 cores=1,3,5,7 /proc/13988/task/13996/stat : 13996 (java) S 13985 13988 11545 0 -1 4202560 954 0 0 0 494 22 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647048780712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13997] ppid=13985 vsize=9824732 CPUtime=4.76 cores=1,3,5,7 /proc/13988/task/13997/stat : 13997 (java) S 13985 13988 11545 0 -1 4202560 593 0 0 0 462 14 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647047727912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13998] ppid=13985 vsize=9824732 CPUtime=4.46 cores=1,3,5,7 /proc/13988/task/13998/stat : 13998 (java) S 13985 13988 11545 0 -1 4202560 1018 0 0 0 425 21 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647046675112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=13999] ppid=13985 vsize=9824732 CPUtime=6.3 cores=1,3,5,7 /proc/13988/task/13999/stat : 13999 (java) S 13985 13988 11545 0 -1 4202560 2961 0 0 0 619 11 0 0 20 0 22 0 6293592 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646915820008 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=14000] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14000/stat : 14000 (java) S 13985 13988 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6293593 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646914766072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=14001] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14001/stat : 14001 (java) S 13985 13988 11545 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 6293593 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646913713160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=14002] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14002/stat : 14002 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646912661648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14003] ppid=13985 vsize=9824732 CPUtime=2.2 cores=1,3,5,7 /proc/13988/task/14003/stat : 14003 (java) S 13985 13988 11545 0 -1 4202560 21158 0 0 0 217 3 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646911609784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=14004] ppid=13985 vsize=9824732 CPUtime=1.35 cores=1,3,5,7 /proc/13988/task/14004/stat : 14004 (java) S 13985 13988 11545 0 -1 4202560 5766 0 0 0 133 2 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646910556984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14005] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14005/stat : 14005 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646909504376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=14006] ppid=13985 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/13988/task/14006/stat : 14006 (java) S 13985 13988 11545 0 -1 4202560 51 0 0 0 12 22 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646908451784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=14198] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14198/stat : 14198 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6308434 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646904239400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=14199] ppid=13985 vsize=9824732 CPUtime=717.26 cores=1,3,5,7 /proc/13988/task/14199/stat : 14199 (java) R 13985 13988 11545 0 -1 4202560 24 0 0 0 71715 11 0 0 20 0 22 0 6308584 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646907395616 139646919836275 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14200] ppid=13985 vsize=9824732 CPUtime=717.16 cores=1,3,5,7 /proc/13988/task/14200/stat : 14200 (java) R 13985 13988 11545 0 -1 4202560 64 0 0 0 71706 10 0 0 20 0 22 0 6308584 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646905289360 139646919809301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=14201] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14201/stat : 14201 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6308584 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646906344360 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1741.65 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+911.001 s] /proc/loadavg: 4.20 4.16 3.78 6/219 14326 /proc/meminfo: memFree=22196748/32872528 swapFree=13208/1155804 [pid=13988] ppid=13985 vsize=9824732 CPUtime=1799.75 cores=1,3,5,7 /proc/13988/stat : 13988 (java) S 13985 13988 11545 0 -1 4202496 42269 0 1 0 179648 327 0 0 20 0 22 0 6293590 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 140736643683216 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13988/statm: 2456183 998220 2302 9 0 2446860 0 [pid=13988/tid=13989] ppid=13985 vsize=9824732 CPUtime=0.44 cores=1,3,5,7 /proc/13988/task/13989/stat : 13989 (java) S 13985 13988 11545 0 -1 4202560 2446 0 1 0 40 4 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647092552568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13991] ppid=13985 vsize=9824732 CPUtime=4.77 cores=1,3,5,7 /proc/13988/task/13991/stat : 13991 (java) S 13985 13988 11545 0 -1 4202560 1136 0 0 0 453 24 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647054043688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13992] ppid=13985 vsize=9824732 CPUtime=4.44 cores=1,3,5,7 /proc/13988/task/13992/stat : 13992 (java) S 13985 13988 11545 0 -1 4202560 665 0 0 0 428 16 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647052990888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13993] ppid=13985 vsize=9824732 CPUtime=4.88 cores=1,3,5,7 /proc/13988/task/13993/stat : 13993 (java) S 13985 13988 11545 0 -1 4202560 814 0 0 0 464 24 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647051938088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=13994] ppid=13985 vsize=9824732 CPUtime=4.79 cores=1,3,5,7 /proc/13988/task/13994/stat : 13994 (java) S 13985 13988 11545 0 -1 4202560 748 0 0 0 458 21 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647050885288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13995] ppid=13985 vsize=9824732 CPUtime=4.52 cores=1,3,5,7 /proc/13988/task/13995/stat : 13995 (java) S 13985 13988 11545 0 -1 4202560 785 0 0 0 432 20 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647049833512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13996] ppid=13985 vsize=9824732 CPUtime=5.38 cores=1,3,5,7 /proc/13988/task/13996/stat : 13996 (java) S 13985 13988 11545 0 -1 4202560 954 0 0 0 516 22 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647048780712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13997] ppid=13985 vsize=9824732 CPUtime=4.89 cores=1,3,5,7 /proc/13988/task/13997/stat : 13997 (java) S 13985 13988 11545 0 -1 4202560 593 0 0 0 475 14 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647047727912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=13998] ppid=13985 vsize=9824732 CPUtime=4.62 cores=1,3,5,7 /proc/13988/task/13998/stat : 13998 (java) S 13985 13988 11545 0 -1 4202560 1018 0 0 0 441 21 0 0 20 0 22 0 6293591 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139647046675112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=13999] ppid=13985 vsize=9824732 CPUtime=6.3 cores=1,3,5,7 /proc/13988/task/13999/stat : 13999 (java) S 13985 13988 11545 0 -1 4202560 2963 0 0 0 619 11 0 0 20 0 22 0 6293592 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646915820008 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14000] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14000/stat : 14000 (java) S 13985 13988 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6293593 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646914766072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13988/tid=14001] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14001/stat : 14001 (java) S 13985 13988 11545 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 22 0 6293593 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646913713160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=14002] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14002/stat : 14002 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646912661648 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14003] ppid=13985 vsize=9824732 CPUtime=2.2 cores=1,3,5,7 /proc/13988/task/14003/stat : 14003 (java) S 13985 13988 11545 0 -1 4202560 21158 0 0 0 217 3 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646911609784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=14004] ppid=13985 vsize=9824732 CPUtime=1.35 cores=1,3,5,7 /proc/13988/task/14004/stat : 14004 (java) S 13985 13988 11545 0 -1 4202560 5766 0 0 0 133 2 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646910556984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14005] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14005/stat : 14005 (java) S 13985 13988 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646909504376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=14006] ppid=13985 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/13988/task/14006/stat : 14006 (java) S 13985 13988 11545 0 -1 4202560 53 0 0 0 13 23 0 0 20 0 22 0 6293595 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646908451784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=14198] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14198/stat : 14198 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6308434 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646904239400 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13988/tid=14199] ppid=13985 vsize=9824732 CPUtime=745.48 cores=1,3,5,7 /proc/13988/task/14199/stat : 14199 (java) R 13985 13988 11545 0 -1 4202560 25 0 0 0 74536 12 0 0 20 0 22 0 6308584 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646907395616 139646919588384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13988/tid=14200] ppid=13985 vsize=9824732 CPUtime=745.39 cores=1,3,5,7 /proc/13988/task/14200/stat : 14200 (java) R 13985 13988 11545 0 -1 4202560 66 0 0 0 74528 11 0 0 20 0 22 0 6308584 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646905289360 139646919566485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13988/tid=14201] ppid=13985 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13988/task/14201/stat : 14201 (java) S 13985 13988 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6308584 10060525568 998220 33554432000 1073741824 1073778376 140736643692080 139646906344360 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.75 Current children cumulated vsize (KiB) 9824732 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 13988 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 13988 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=687470 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=643446 # CPU time returned by wait4() is 1796.33 # while last known CPU time is 1799.75 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # 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): 0.309998 # lost CPU user time (s): 0.339996 # lost CPU system time (s): -0.03 Real time (s): 911.061 CPU time (s): 1800.06 CPU user time (s): 1796.82 CPU system time (s): 3.24 CPU usage (%): 197.578 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.69 system time used= 3.64345 maximum resident set size= 4025060 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42304 page faults= 1 swaps= 0 block input operations= 0 block output operations= 960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25932 involuntary context switches= 33259 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.04108 second user time and 7.41587 second system time The end
Begin job on node114 at 2016-06-30 04:21:02 IDJOB=4119325 IDBENCH=111702 IDSOLVER=2543 FILE ID=node114/4119325-1467253262 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_bern55-06.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119325-1467253262/watcher-4119325-1467253262 -o /tmp/evaluation-result-4119325-1467253262/solver-4119325-1467253262 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11562 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119325-1467253262.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 701cda8648df32669dd82c408a9456b5 RANDOM SEED=1257082444 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: 27274532 kB Buffers: 116152 kB Cached: 1211624 kB SwapCached: 0 kB Active: 2491648 kB Inactive: 1206272 kB Active(anon): 2372964 kB Inactive(anon): 0 kB Active(file): 118684 kB Inactive(file): 1206272 kB Unevictable: 1155804 kB Mlocked: 13208 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 880 kB Writeback: 0 kB AnonPages: 3524224 kB Mapped: 22168 kB Shmem: 204 kB Slab: 608916 kB SReclaimable: 52796 kB SUnreclaim: 556120 kB KernelStack: 1624 kB PageTables: 11420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3862484 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3461120 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 04:36:13