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) | -2765 | 1800.02 | 922.237 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-30.opb |
| MD5SUM | 72ec75988a0f21e62b2c0e390134188b |
| 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 | -2848 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| 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 | 6412 |
| Biggest coefficient in the objective function | 846 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 204620 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 846 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 204620 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 6382 |
| Sum of products size (including duplicates) | 20636 |
| 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.11/0.11 c Pseudo Boolean Optimization by upper bound 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Glucose 2.1 dynamic restart strategy 0.11/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.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/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.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-4119453-1467256507.opb 0.11/0.11 c reading problem ... 0.11/0.11 c objective function found 1.69/1.11 c ... done. Wall clock time 1.006s. 1.69/1.11 c declared #vars 30 1.69/1.11 c internal #vars 6412 1.69/1.11 c #constraints 12764 1.69/1.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.69/1.11 c constraints type 1.69/1.12 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6382 1.69/1.12 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6382 1.69/1.12 c 12764 constraints processed. 1.69/1.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.69/1.12 c constraints type 1.69/1.12 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6382 1.69/1.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6382 1.69/1.12 c 12764 constraints processed. 1.69/1.12 c objective function length is 6412 literals 2.03/1.22 c And the winner is solver0 2.17/1.62 c SATISFIABLE 2.17/1.62 c OPTIMIZING... 2.17/1.62 c Got one! Elapsed wall clock time (in seconds):1.514 2.17/1.62 o 0 2.43/1.76 c And the winner is solver0 2.98/2.16 c Got one! Elapsed wall clock time (in seconds):2.052 2.98/2.16 o -203 2.98/2.19 c And the winner is solver0 3.16/2.68 c Got one! Elapsed wall clock time (in seconds):2.574 3.16/2.68 o -378 3.20/2.71 c And the winner is solver0 3.34/3.19 c Got one! Elapsed wall clock time (in seconds):3.087 3.34/3.19 o -659 3.35/3.22 c And the winner is solver0 3.46/3.71 c Got one! Elapsed wall clock time (in seconds):3.6 3.46/3.71 o -790 3.46/3.75 c And the winner is solver0 3.55/4.22 c Got one! Elapsed wall clock time (in seconds):4.111 3.55/4.22 o -890 3.55/4.23 c And the winner is solver0 3.57/4.73 c Got one! Elapsed wall clock time (in seconds):4.62 3.57/4.73 o -1184 3.57/4.77 c And the winner is solver0 3.65/5.24 c Got one! Elapsed wall clock time (in seconds):5.13 3.65/5.24 o -1375 3.65/5.27 c And the winner is solver0 3.73/5.75 c Got one! Elapsed wall clock time (in seconds):5.64 3.73/5.75 o -1412 3.73/5.77 c And the winner is solver0 3.78/6.26 c Got one! Elapsed wall clock time (in seconds):6.15 3.78/6.26 o -1669 3.85/6.33 c And the winner is solver0 3.98/6.77 c Got one! Elapsed wall clock time (in seconds):6.66 3.98/6.77 o -1712 4.07/6.86 c And the winner is solver0 4.31/7.30 c Got one! Elapsed wall clock time (in seconds):7.192 4.31/7.30 o -1770 4.31/7.32 c And the winner is solver0 4.37/7.81 c Got one! Elapsed wall clock time (in seconds):7.699 4.37/7.81 o -1771 4.37/7.83 c And the winner is solver0 4.41/8.32 c Got one! Elapsed wall clock time (in seconds):8.208 4.41/8.32 o -1864 4.41/8.35 c And the winner is solver0 4.50/8.82 c Got one! Elapsed wall clock time (in seconds):8.716 4.50/8.82 o -2041 4.88/9.00 c And the winner is solver0 4.90/9.33 c Got one! Elapsed wall clock time (in seconds):9.224 4.90/9.33 o -2054 4.90/9.38 c And the winner is solver0 5.00/9.84 c Got one! Elapsed wall clock time (in seconds):9.731 5.00/9.84 o -2073 5.00/9.89 c And the winner is solver0 5.14/10.35 c Got one! Elapsed wall clock time (in seconds):10.24 5.14/10.35 o -2079 5.14/10.38 c And the winner is solver0 5.22/10.85 c Got one! Elapsed wall clock time (in seconds):10.748 5.22/10.85 o -2221 5.51/11.10 c And the winner is solver0 6.15/11.51 c Got one! Elapsed wall clock time (in seconds):11.406 6.15/11.51 o -2238 6.53/11.79 c And the winner is solver0 7.05/12.12 c Got one! Elapsed wall clock time (in seconds):12.014 7.05/12.12 o -2309 7.84/12.59 c And the winner is solver0 8.14/12.78 c Got one! Elapsed wall clock time (in seconds):12.672 8.14/12.78 o -2320 8.67/13.07 c And the winner is solver0 9.05/13.39 c Got one! Elapsed wall clock time (in seconds):13.28 9.05/13.39 o -2336 9.31/13.52 c And the winner is solver0 9.37/13.89 c Got one! Elapsed wall clock time (in seconds):13.788 9.37/13.89 o -2349 9.60/14.02 c And the winner is solver0 9.66/14.40 c Got one! Elapsed wall clock time (in seconds):14.297 9.66/14.40 o -2352 9.66/14.44 c And the winner is solver0 9.73/14.91 c Got one! Elapsed wall clock time (in seconds):14.805 9.73/14.91 o -2356 9.73/14.94 c And the winner is solver0 9.80/15.42 c Got one! Elapsed wall clock time (in seconds):15.312 9.80/15.42 o -2373 13.14/17.01 c And the winner is solver0 13.17/17.43 c Got one! Elapsed wall clock time (in seconds):17.321 13.17/17.43 o -2379 13.71/17.79 c And the winner is solver0 13.93/17.94 c Got one! Elapsed wall clock time (in seconds):17.829 13.93/17.94 o -2396 15.75/18.87 c And the winner is solver0 15.89/18.94 c Got one! Elapsed wall clock time (in seconds):18.837 15.89/18.94 o -2412 16.87/19.45 c And the winner is solver0 16.98/19.50 c Got one! Elapsed wall clock time (in seconds):19.395 16.98/19.50 o -2421 17.37/19.75 c And the winner is solver0 17.65/20.01 c Got one! Elapsed wall clock time (in seconds):19.904 17.65/20.01 o -2427 17.81/20.15 c And the winner is solver0 18.20/20.52 c Got one! Elapsed wall clock time (in seconds):20.413 18.20/20.52 o -2431 18.34/20.68 c And the winner is solver0 18.75/21.03 c Got one! Elapsed wall clock time (in seconds):20.922 18.75/21.03 o -2440 21.17/22.27 c And the winner is solver0 21.53/22.54 c Got one! Elapsed wall clock time (in seconds):22.431 21.53/22.54 o -2446 22.44/23.05 c And the winner is solver0 22.55/23.55 c Got one! Elapsed wall clock time (in seconds):23.439 22.55/23.55 o -2450 23.05/23.82 c And the winner is solver0 23.33/24.10 c Got one! Elapsed wall clock time (in seconds):23.997 23.33/24.10 o -2456 23.33/24.17 c And the winner is solver0 23.48/24.61 c Got one! Elapsed wall clock time (in seconds):24.505 23.48/24.61 o -2459 27.40/26.55 c cleaning 5154 clauses out of 10308 with flag 4001/10308 32.21/28.96 c And the winner is solver0 32.67/29.32 c Got one! Elapsed wall clock time (in seconds):29.214 32.67/29.32 o -2476 34.61/30.36 c And the winner is solver0 34.77/30.83 c Got one! Elapsed wall clock time (in seconds):30.724 34.77/30.83 o -2477 36.19/31.54 c And the winner is solver0 36.54/31.84 c Got one! Elapsed wall clock time (in seconds):31.733 36.54/31.84 o -2480 37.08/32.12 c And the winner is solver0 37.30/32.35 c Got one! Elapsed wall clock time (in seconds):32.242 37.30/32.35 o -2487 40.82/34.13 c And the winner is solver0 41.04/34.36 c Got one! Elapsed wall clock time (in seconds):34.25 41.04/34.36 o -2512 42.73/35.30 c cleaning 6245 clauses out of 12489 with flag 2001/17643 49.22/38.47 c And the winner is solver0 49.61/38.87 c Got one! Elapsed wall clock time (in seconds):38.76 49.61/38.87 o -2521 51.66/39.91 c And the winner is solver0 52.03/40.37 c Got one! Elapsed wall clock time (in seconds):40.268 52.03/40.37 o -2523 52.88/40.82 c And the winner is solver0 52.88/40.88 c Got one! Elapsed wall clock time (in seconds):40.777 52.88/40.88 o -2536 53.35/41.16 c And the winner is solver0 53.62/41.39 c Got one! Elapsed wall clock time (in seconds):41.285 53.62/41.39 o -2539 53.84/41.56 c And the winner is solver0 54.21/41.90 c Got one! Elapsed wall clock time (in seconds):41.794 54.21/41.90 o -2545 55.42/42.53 c And the winner is solver0 55.80/42.91 c Got one! Elapsed wall clock time (in seconds):42.803 55.80/42.91 o -2550 57.76/43.94 c cleaning 6542 clauses out of 13084 with flag 2071/24483 70.11/50.08 c cleaning 6269 clauses out of 12542 with flag 14104/30483 73.91/51.94 c And the winner is solver0 74.16/52.42 c Got one! Elapsed wall clock time (in seconds):52.313 74.16/52.42 o -2552 75.50/53.10 c And the winner is solver0 75.76/53.43 c Got one! Elapsed wall clock time (in seconds):53.322 75.76/53.43 o -2570 83.44/57.22 c cleaning 6466 clauses out of 12932 with flag 8001/37142 95.07/63.01 c cleaning 6232 clauses out of 12466 with flag 20001/43142 109.31/70.00 c cleaning 6614 clauses out of 13234 with flag 34001/50142 111.11/70.92 c And the winner is solver0 111.11/70.99 c Got one! Elapsed wall clock time (in seconds):70.887 111.11/70.99 o -2574 120.70/75.81 c cleaning 6283 clauses out of 12568 with flag 10054/56090 132.30/81.65 c cleaning 6142 clauses out of 12285 with flag 22202/62090 140.43/85.73 c And the winner is solver0 140.47/86.04 c Got one! Elapsed wall clock time (in seconds):85.936 140.47/86.04 o -2577 144.17/87.95 c cleaning 6056 clauses out of 12114 with flag 4001/68061 155.38/93.60 c cleaning 6029 clauses out of 12058 with flag 16001/74061 169.00/100.35 c cleaning 6513 clauses out of 13029 with flag 30001/81061 172.00/101.89 c And the winner is solver0 172.27/102.10 c Got one! Elapsed wall clock time (in seconds):101.998 172.27/102.10 o -2595 180.04/106.03 c And the winner is solver0 180.27/106.22 c Got one! Elapsed wall clock time (in seconds):106.109 180.27/106.22 o -2598 182.33/107.27 c cleaning 6570 clauses out of 13140 with flag 2003/87685 182.53/107.30 c And the winner is solver0 182.84/107.73 c Got one! Elapsed wall clock time (in seconds):107.619 182.84/107.73 o -2607 183.77/108.21 c And the winner is solver0 183.77/108.29 c Got one! Elapsed wall clock time (in seconds):108.18 183.77/108.29 o -2621 184.47/108.67 c And the winner is solver0 184.73/108.80 c Got one! Elapsed wall clock time (in seconds):108.69 184.73/108.80 o -2626 184.93/108.92 c And the winner is solver0 185.02/109.31 c Got one! Elapsed wall clock time (in seconds):109.203 185.02/109.31 o -2630 185.02/109.36 c And the winner is solver0 185.15/109.82 c Got one! Elapsed wall clock time (in seconds):109.713 185.15/109.82 o -2640 188.29/111.49 c And the winner is solver0 188.62/111.83 c Got one! Elapsed wall clock time (in seconds):111.724 188.62/111.83 o -2644 188.94/112.10 c And the winner is solver0 189.35/112.39 c Got one! Elapsed wall clock time (in seconds):112.284 189.35/112.39 o -2646 197.20/116.32 c cleaning 6823 clauses out of 13646 with flag 8043/94761 209.07/122.23 c cleaning 6408 clauses out of 12824 with flag 20073/100762 222.74/129.05 c cleaning 6704 clauses out of 13416 with flag 34073/107762 233.93/134.62 c And the winner is solver0 234.05/134.91 c Got one! Elapsed wall clock time (in seconds):134.799 234.05/134.91 o -2648 243.92/139.81 c cleaning 8866 clauses out of 17733 with flag 10351/118783 255.70/145.72 c cleaning 7432 clauses out of 14868 with flag 23091/124784 270.61/153.37 c cleaning 7218 clauses out of 14436 with flag 37998/131784 279.67/157.90 c And the winner is solver0 280.14/158.33 c Got one! Elapsed wall clock time (in seconds):158.222 280.14/158.33 o -2658 281.86/159.27 c cleaning 6329 clauses out of 12663 with flag 2014/137229 293.56/165.04 c cleaning 6166 clauses out of 12335 with flag 14073/143230 307.03/171.72 c cleaning 6581 clauses out of 13168 with flag 28131/150229 322.48/179.49 c cleaning 7293 clauses out of 14587 with flag 44164/158229 340.52/188.41 c cleaning 8146 clauses out of 16294 with flag 62285/167229 360.66/198.40 c cleaning 9071 clauses out of 18148 with flag 82421/177229 383.42/210.00 c cleaning 10038 clauses out of 20078 with flag 104576/188230 407.59/222.09 c cleaning 11015 clauses out of 22040 with flag 128576/200230 434.55/235.40 c cleaning 12012 clauses out of 24025 with flag 154636/213230 457.90/247.07 c And the winner is solver0 458.10/247.43 c Got one! Elapsed wall clock time (in seconds):247.321 458.10/247.43 o -2660 469.51/253.47 c cleaning 13934 clauses out of 27871 with flag 10283/229088 481.71/259.50 c cleaning 9968 clauses out of 19938 with flag 22801/235089 496.19/266.64 c cleaning 8484 clauses out of 16969 with flag 37557/242088 500.59/268.87 c And the winner is solver0 500.81/269.07 c Got one! Elapsed wall clock time (in seconds):268.966 500.81/269.07 o -2663 506.64/272.09 c cleaning 6873 clauses out of 13751 with flag 6086/247354 518.90/278.16 c cleaning 6439 clauses out of 12879 with flag 18643/253355 527.10/282.24 c And the winner is solver0 527.41/282.59 c Got one! Elapsed wall clock time (in seconds):282.479 527.41/282.59 o -2672 529.85/283.73 c cleaning 5790 clauses out of 11586 with flag 2046/258501 540.45/289.05 c And the winner is solver0 540.69/289.28 c Got one! Elapsed wall clock time (in seconds):289.169 540.69/289.28 o -2699 550.36/294.14 c cleaning 8032 clauses out of 16072 with flag 10001/268777 562.12/299.92 c cleaning 7014 clauses out of 14040 with flag 22001/274777 575.52/306.62 c cleaning 7009 clauses out of 14026 with flag 36001/281777 591.30/314.46 c cleaning 7508 clauses out of 15017 with flag 52001/289777 609.11/323.25 c cleaning 8251 clauses out of 16509 with flag 70001/298777 628.30/332.89 c cleaning 9129 clauses out of 18258 with flag 90001/308777 650.36/343.78 c cleaning 10065 clauses out of 20129 with flag 112001/319777 670.52/353.78 c And the winner is solver0 670.85/354.20 c Got one! Elapsed wall clock time (in seconds):354.091 670.85/354.20 o -2701 681.02/359.36 c cleaning 12404 clauses out of 24810 with flag 10002/334523 693.27/365.32 c cleaning 9198 clauses out of 18406 with flag 22002/340523 705.25/371.32 c And the winner is solver0 705.53/371.71 c Got one! Elapsed wall clock time (in seconds):371.605 705.53/371.71 o -2709 713.28/375.61 c And the winner is solver0 714.02/376.11 c Got one! Elapsed wall clock time (in seconds):376.007 714.02/376.11 o -2715 715.77/377.10 c And the winner is solver0 716.47/377.63 c Got one! Elapsed wall clock time (in seconds):377.521 716.47/377.63 o -2735 717.22/378.07 c And the winner is solver0 717.90/378.69 c Got one! Elapsed wall clock time (in seconds):378.584 717.90/378.69 o -2739 717.97/378.72 c And the winner is solver0 718.03/379.20 c Got one! Elapsed wall clock time (in seconds):379.097 718.03/379.20 o -2741 718.03/379.22 c And the winner is solver0 718.06/379.72 c Got one! Elapsed wall clock time (in seconds):379.609 718.06/379.72 o -2744 718.06/379.74 c And the winner is solver0 718.12/380.23 c Got one! Elapsed wall clock time (in seconds):380.122 718.12/380.23 o -2748 718.86/380.66 c And the winner is solver0 719.21/380.94 c Got one! Elapsed wall clock time (in seconds):380.835 719.21/380.94 o -2750 723.53/383.19 c cleaning 11514 clauses out of 23028 with flag 4058/354343 736.30/389.42 c cleaning 8757 clauses out of 17515 with flag 16113/360344 750.48/396.53 c cleaning 7877 clauses out of 15758 with flag 30143/367344 760.22/401.33 c And the winner is solver0 760.71/401.86 c Got one! Elapsed wall clock time (in seconds):401.75 760.71/401.86 o -2751 762.55/402.85 c cleaning 6830 clauses out of 13669 with flag 2004/373132 773.95/408.56 c cleaning 6415 clauses out of 12839 with flag 14035/379132 787.91/415.50 c cleaning 6710 clauses out of 13425 with flag 28406/386133 791.91/417.41 c And the winner is solver0 792.13/417.87 c Got one! Elapsed wall clock time (in seconds):417.764 792.13/417.87 o -2757 800.36/422.06 c cleaning 6347 clauses out of 12702 with flag 8519/392120 812.76/428.11 c cleaning 6173 clauses out of 12355 with flag 21106/398120 825.96/434.72 c cleaning 6590 clauses out of 13182 with flag 35106/405120 841.47/442.50 c cleaning 7294 clauses out of 14592 with flag 51106/413120 858.88/451.18 c cleaning 8147 clauses out of 16298 with flag 69106/422120 878.60/460.97 c cleaning 9072 clauses out of 18151 with flag 89106/432120 900.78/471.91 c cleaning 10036 clauses out of 20079 with flag 111106/443120 926.08/485.02 c cleaning 11021 clauses out of 22043 with flag 135106/455120 952.37/498.14 c cleaning 12009 clauses out of 24022 with flag 161106/468120 980.37/512.13 c cleaning 13001 clauses out of 26013 with flag 189106/482120 1011.52/527.66 c cleaning 14004 clauses out of 28011 with flag 219104/497119 1045.71/544.78 c cleaning 15001 clauses out of 30007 with flag 251104/513119 1083.27/563.26 c cleaning 16000 clauses out of 32006 with flag 285216/530119 1093.65/568.45 c And the winner is solver0 1094.05/568.95 c Got one! Elapsed wall clock time (in seconds):568.841 1094.05/568.95 o -2760 1101.36/572.50 c And the winner is solver0 1102.02/573.21 c Got one! Elapsed wall clock time (in seconds):573.105 1102.02/573.21 o -2765 1106.17/575.32 c cleaning 13274 clauses out of 26563 with flag 4033/540676 1118.61/581.42 c cleaning 9637 clauses out of 19289 with flag 16033/546676 1131.81/588.07 c cleaning 8320 clauses out of 16652 with flag 30033/553676 1148.52/596.24 c cleaning 8159 clauses out of 16332 with flag 46033/561676 1167.63/605.70 c cleaning 8586 clauses out of 17173 with flag 64033/570676 1189.73/617.26 c cleaning 9291 clauses out of 18587 with flag 84033/580676 1211.98/628.38 c cleaning 10145 clauses out of 20295 with flag 106031/591675 1237.58/641.03 c cleaning 11073 clauses out of 22150 with flag 130031/603675 1264.88/654.67 c cleaning 12034 clauses out of 24078 with flag 156033/616676 1293.17/668.72 c cleaning 13020 clauses out of 26043 with flag 184031/630675 1323.47/683.84 c cleaning 14010 clauses out of 28023 with flag 214031/645675 1356.03/700.01 c cleaning 15002 clauses out of 30014 with flag 246033/661676 1390.83/717.47 c cleaning 16000 clauses out of 32012 with flag 280033/678676 1430.29/737.00 c cleaning 17001 clauses out of 34012 with flag 316033/696676 1473.34/759.07 c cleaning 18002 clauses out of 36010 with flag 354031/715675 1517.35/780.96 c cleaning 18999 clauses out of 38008 with flag 394031/735675 1562.99/803.63 c cleaning 20004 clauses out of 40010 with flag 436033/756676 1611.90/827.81 c cleaning 21001 clauses out of 42006 with flag 480033/778676 1663.80/853.59 c cleaning 21997 clauses out of 44005 with flag 526033/801676 1716.74/879.81 c cleaning 23000 clauses out of 46008 with flag 574033/825676 1776.57/909.45 c cleaning 24001 clauses out of 48008 with flag 624033/850676 1800.02/922.20 c >>>>>>>>>> Solver number 0 (81 answers) <<<<<<<<<<<<<<<<<< 1800.02/922.20 c starts : 298 1800.02/922.20 c conflicts : 859994 1800.02/922.20 c decisions : 867629 1800.02/922.20 c propagations : 459937560 1800.02/922.20 c inspects : 3060902498 1800.02/922.20 c shortcuts : 0 1800.02/922.20 c learnt literals : 0 1800.02/922.20 c learnt binary clauses : 0 1800.02/922.20 c learnt ternary clauses : 0 1800.02/922.20 c learnt constraints : 859993 1800.02/922.20 c ignored constraints : 0 1800.02/922.20 c root simplifications : 0 1800.02/922.20 c removed literals (reason simplification) : 327181328 1800.02/922.20 c reason swapping (by a shorter reason) : 0 1800.02/922.20 c Calls to reduceDB : 83 1800.02/922.20 c Number of update (reduction) of LBD : 837 1800.02/922.20 c Imported unit clauses : 0 1800.02/922.20 c number of reductions to clauses (during analyze) : 0 1800.02/922.20 c number of learned constraints concerned by reduction : 0 1800.02/922.20 c number of learning phase by resolution : 0 1800.02/922.20 c number of learning phase by cutting planes : 0 1800.02/922.20 c speed (assignments/second) : 499356.242420426 1800.02/922.20 c non guided choices 0 1800.02/922.21 c learnt constraints type 1800.02/922.21 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 33325 1800.02/922.21 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.02/922.21 c starts : 89 1800.02/922.21 c conflicts : 1272 1800.02/922.21 c decisions : 3532 1800.02/922.21 c propagations : 1257934 1800.02/922.21 c inspects : 200454115 1800.02/922.21 c shortcuts : 0 1800.02/922.21 c learnt literals : 0 1800.02/922.21 c learnt binary clauses : 0 1800.02/922.21 c learnt ternary clauses : 0 1800.02/922.21 c learnt constraints : 1196 1800.02/922.21 c ignored constraints : 0 1800.02/922.21 c root simplifications : 0 1800.02/922.21 c removed literals (reason simplification) : 0 1800.02/922.21 c reason swapping (by a shorter reason) : 0 1800.02/922.21 c Calls to reduceDB : 0 1800.02/922.21 c Number of update (reduction) of LBD : 0 1800.02/922.21 c Imported unit clauses : 0 1800.02/922.21 c number of reductions to clauses (during analyze) : 0 1800.02/922.21 c number of learned constraints concerned by reduction : 0 1800.02/922.21 c number of learning phase by resolution : 0 1800.02/922.21 c number of learning phase by cutting planes : 0 1800.02/922.21 c speed (assignments/second) : 3604.5090246397453 1800.02/922.21 c non guided choices 0 1800.02/922.22 c learnt constraints type 1800.02/922.22 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1196 1800.02/922.22 s SATISFIABLE 1800.02/922.22 c Found 81 solution(s) 1800.02/922.22 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 1800.02/922.22 c objective function=-2765 1800.02/922.22 c Total wall clock time (in seconds): 922.109
OK -2765
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-4119453-1467256507/watcher-4119453-1467256507 -o /tmp/evaluation-result-4119453-1467256507/solver-4119453-1467256507 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11561 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119453-1467256507.opb pid=15528 running on 4 cores: 0,2,4,6 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.30 4.26 4.07 4/197 15531 /proc/meminfo: memFree=29390052/32872528 swapFree=13208/1155804 [pid=15531] ppid=15528 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/15531/stat : 15531 (java) S 15528 15531 11545 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 6618167 98570240 977 33554432000 1073741824 1073778376 140735358271536 140735358262672 219517321277 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15531/statm: 24065 977 744 9 0 16771 0 [pid=15531/tid=15532] ppid=15528 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15532/stat : 15532 (java) R 15528 15531 11545 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 6618167 98570240 977 33554432000 1073741824 1073778376 140735358271536 139965539204648 219513963904 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0 [startup+0.10006 s] /proc/loadavg: 4.30 4.26 4.07 4/197 15531 /proc/meminfo: memFree=29390052/32872528 swapFree=13208/1155804 [pid=15531] ppid=15528 vsize=9558476 CPUtime=0.11 cores=0,2,4,6 /proc/15531/stat : 15531 (java) S 15528 15531 11545 0 -1 4202496 4520 0 1 0 10 1 0 0 20 0 18 0 6618167 9787879424 6146 33554432000 1073741824 1073778376 140735358271536 140735358262672 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15531/statm: 2389619 6146 2156 9 0 2380296 0 [pid=15531/tid=15532] ppid=15528 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/15531/task/15532/stat : 15532 (java) R 15528 15531 11545 0 -1 4202560 2418 0 1 0 7 0 0 0 20 0 18 0 6618167 9787879424 6146 33554432000 1073741824 1073778376 140735358271536 139965539208096 219517347085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.200263 s] /proc/loadavg: 4.30 4.26 4.07 4/197 15531 /proc/meminfo: memFree=29390052/32872528 swapFree=13208/1155804 [pid=15531] ppid=15528 vsize=9558476 CPUtime=0.24 cores=0,2,4,6 /proc/15531/stat : 15531 (java) S 15528 15531 11545 0 -1 4202496 4648 0 1 0 23 1 0 0 20 0 18 0 6618167 9787879424 7267 33554432000 1073741824 1073778376 140735358271536 140735358262672 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15531/statm: 2389619 7267 2218 9 0 2380296 0 [pid=15531/tid=15532] ppid=15528 vsize=9558476 CPUtime=0.17 cores=0,2,4,6 /proc/15531/task/15532/stat : 15532 (java) R 15528 15531 11545 0 -1 4202560 2442 0 1 0 16 1 0 0 20 0 18 0 6618167 9787879424 7267 33554432000 1073741824 1073778376 140735358271536 139965539209224 219517336632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300271 s] /proc/loadavg: 4.30 4.26 4.07 4/197 15531 /proc/meminfo: memFree=29390052/32872528 swapFree=13208/1155804 [pid=15531] ppid=15528 vsize=9558476 CPUtime=0.5 cores=0,2,4,6 /proc/15531/stat : 15531 (java) S 15528 15531 11545 0 -1 4202496 5436 0 1 0 49 1 0 0 20 0 18 0 6618167 9787879424 8420 33554432000 1073741824 1073778376 140735358271536 140735358262672 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15531/statm: 2389619 8420 2233 9 0 2380296 0 [pid=15531/tid=15532] ppid=15528 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/15531/task/15532/stat : 15532 (java) R 15528 15531 11545 0 -1 4202560 2445 0 1 0 26 1 0 0 20 0 18 0 6618167 9787879424 8420 33554432000 1073741824 1073778376 140735358271536 139965539209224 139965411257254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700259 s] /proc/loadavg: 4.30 4.26 4.07 4/197 15531 /proc/meminfo: memFree=29390052/32872528 swapFree=13208/1155804 [pid=15531] ppid=15528 vsize=9558476 CPUtime=1.21 cores=0,2,4,6 /proc/15531/stat : 15531 (java) S 15528 15531 11545 0 -1 4202496 9376 0 1 0 119 2 0 0 20 0 18 0 6618167 9787879424 13563 33554432000 1073741824 1073778376 140735358271536 140735358262672 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15531/statm: 2389619 13563 2247 9 0 2380296 0 [pid=15531/tid=15532] ppid=15528 vsize=9558476 CPUtime=0.67 cores=0,2,4,6 /proc/15531/task/15532/stat : 15532 (java) R 15528 15531 11545 0 -1 4202560 2451 0 1 0 66 1 0 0 20 0 18 0 6618167 9787879424 13563 33554432000 1073741824 1073778376 140735358271536 139965539209224 139965411556229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.21 Current children cumulated vsize (KiB) 9558476 [startup+1.50078 s] /proc/loadavg: 4.30 4.26 4.07 6/215 15549 /proc/meminfo: memFree=29335740/32872528 swapFree=13208/1155804 [pid=15531] ppid=15528 vsize=9824732 CPUtime=2.17 cores=0,2,4,6 /proc/15531/stat : 15531 (java) S 15528 15531 11545 0 -1 4202496 9870 0 1 0 212 5 0 0 20 0 19 0 6618167 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 140735358262672 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15531/statm: 2456183 17830 2264 9 0 2446860 0 [pid=15531/tid=15532] ppid=15528 vsize=9824732 CPUtime=1.09 cores=0,2,4,6 /proc/15531/task/15532/stat : 15532 (java) S 15528 15531 11545 0 -1 4202560 2467 0 1 0 107 2 0 0 20 0 19 0 6618167 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965539210104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15534] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15534/stat : 15534 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965382773416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15535] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15535/stat : 15535 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965381720872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15536] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15536/stat : 15536 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965380668328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15537] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15537/stat : 15537 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965379615784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15538] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15538/stat : 15538 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965378562216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15539] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15539/stat : 15539 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965377509672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15540] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15540/stat : 15540 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965376457128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15541] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15541/stat : 15541 (java) S 15528 15531 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965375404584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15542] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15542/stat : 15542 (java) S 15528 15531 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6618169 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965363206760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15543] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15543/stat : 15543 (java) S 15528 15531 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6618169 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965362153080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15544] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15544/stat : 15544 (java) S 15528 15531 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6618169 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965361100424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15545] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15545/stat : 15545 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618172 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965360049168 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15546] ppid=15528 vsize=9824732 CPUtime=0.33 cores=0,2,4,6 /proc/15531/task/15546/stat : 15546 (java) S 15528 15531 11545 0 -1 4202560 1940 0 0 0 33 0 0 0 20 0 19 0 6618172 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965358995512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15547] ppid=15528 vsize=9824732 CPUtime=0.49 cores=0,2,4,6 /proc/15531/task/15547/stat : 15547 (java) S 15528 15531 11545 0 -1 4202560 4149 0 0 0 49 0 0 0 20 0 19 0 6618172 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965357942968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15548] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15548/stat : 15548 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618172 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965356890616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15549] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15549/stat : 15549 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618172 10060525568 17830 33554432000 1073741824 1073778376 140735358271536 139965355838280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.17 Current children cumulated vsize (KiB) 9824732 [startup+3.10081 s] /proc/loadavg: 4.11 4.23 4.06 6/217 15559 /proc/meminfo: memFree=29296964/32872528 swapFree=13208/1155804 [pid=15531] ppid=15528 vsize=9824732 CPUtime=3.34 cores=0,2,4,6 /proc/15531/stat : 15531 (java) S 15528 15531 11545 0 -1 4202496 15896 0 1 0 322 12 0 0 20 0 19 0 6618167 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 140735358262672 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15531/statm: 2456183 27128 2275 9 0 2446860 0 [pid=15531/tid=15532] ppid=15528 vsize=9824732 CPUtime=1.17 cores=0,2,4,6 /proc/15531/task/15532/stat : 15532 (java) S 15528 15531 11545 0 -1 4202560 2472 0 1 0 115 2 0 0 20 0 19 0 6618167 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965539210104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15534] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15534/stat : 15534 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965382773416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15535] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15535/stat : 15535 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965381720872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15536] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15536/stat : 15536 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965380668328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15537] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15537/stat : 15537 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965379615784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15538] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15538/stat : 15538 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965378562216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15539] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15539/stat : 15539 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965377509672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15540] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15540/stat : 15540 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965376457128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15541] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15541/stat : 15541 (java) S 15528 15531 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6618168 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965375404584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15542] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15542/stat : 15542 (java) S 15528 15531 11545 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6618169 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965363206760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15543] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15543/stat : 15543 (java) S 15528 15531 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6618169 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965362153080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15544] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15544/stat : 15544 (java) S 15528 15531 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6618169 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965361100424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15545] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15545/stat : 15545 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618172 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965360049168 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15546] ppid=15528 vsize=9824732 CPUtime=0.68 cores=0,2,4,6 /proc/15531/task/15546/stat : 15546 (java) S 15528 15531 11545 0 -1 4202560 4596 0 0 0 68 0 0 0 20 0 19 0 6618172 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965358995512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15547] ppid=15528 vsize=9824732 CPUtime=0.87 cores=0,2,4,6 /proc/15531/task/15547/stat : 15547 (java) S 15528 15531 11545 0 -1 4202560 7463 0 0 0 87 0 0 0 20 0 19 0 6618172 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965357942968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15548] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15548/stat : 15548 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618172 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965356890616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15549] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15549/stat : 15549 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6618172 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965355838280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15553] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15553/stat : 15553 (java) S 15528 15531 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6618281 10060525568 27128 33554432000 1073741824 1073778376 140735358271536 139965351626408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.34 Current children cumulated vsize (KiB) 9824732 [startup+6.30083 s] /proc/loadavg: 4.11 4.23 4.06 3/216 15580 /proc/meminfo: memFree=29105936/32872528 swapFree=13208/1155804 [pid=15531] ppid=15528 vsize=9824732 CPUtime=3.85 cores=0,2,4,6 /proc/15531/stat : 15531 (java) S 15528 15531 11545 0 -1 4202496 15988 0 1 0 362 23 0 0 20 0 22 0 6618167 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 140735358262672 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15531/statm: 2456183 42146 2277 9 0 2446860 0 [pid=15531/tid=15532] ppid=15528 vsize=9824732 CPUtime=1.24 cores=0,2,4,6 /proc/15531/task/15532/stat : 15532 (java) S 15528 15531 11545 0 -1 4202560 2484 0 1 0 122 2 0 0 20 0 22 0 6618167 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965539210104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15534] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15534/stat : 15534 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6618168 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965382773416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15535] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15535/stat : 15535 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6618168 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965381720872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15536] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15536/stat : 15536 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6618168 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965380668328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15537] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15537/stat : 15537 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6618168 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965379615784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15538] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15538/stat : 15538 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6618168 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965378562216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15539] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15539/stat : 15539 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6618168 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965377509672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15540] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15540/stat : 15540 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6618168 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965376457128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15541] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15541/stat : 15541 (java) S 15528 15531 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6618168 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965375404584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15542] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15542/stat : 15542 (java) S 15528 15531 11545 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 6618169 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965363206760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15543] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15543/stat : 15543 (java) S 15528 15531 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 6618169 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965362153080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15544] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15544/stat : 15544 (java) S 15528 15531 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6618169 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965361100424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15545] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15545/stat : 15545 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6618172 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965360049168 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15546] ppid=15528 vsize=9824732 CPUtime=0.73 cores=0,2,4,6 /proc/15531/task/15546/stat : 15546 (java) S 15528 15531 11545 0 -1 4202560 4597 0 0 0 73 0 0 0 20 0 22 0 6618172 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965358995512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15547] ppid=15528 vsize=9824732 CPUtime=0.89 cores=0,2,4,6 /proc/15531/task/15547/stat : 15547 (java) S 15528 15531 11545 0 -1 4202560 7463 0 0 0 89 0 0 0 20 0 22 0 6618172 10060525568 42146 33554432000 1073741824 1073778376 140735358271536 139965357942968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15548] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [pid=15531/tid=15541] ppid=15528 vsize=9824732 CPUtime=2.95 cores=0,2,4,6 /proc/15531/task/15541/stat : 15541 (java) S 15528 15531 11545 0 -1 4202560 819 0 0 0 264 31 0 0 20 0 22 0 6618168 10060525568 958712 33554432000 1073741824 1073778376 140735358271536 139965375404584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15542] ppid=15528 vsize=9824732 CPUtime=6.23 cores=0,2,4,6 /proc/15531/task/15542/stat : 15542 (java) S 15528 15531 11545 0 -1 4202560 3118 0 0 0 611 12 0 0 20 0 22 0 6618169 10060525568 958712 33554432000 1073741824 1073778376 140735358271536 139965363206760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15543] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15543/stat : 15543 (java) S 15528 15531 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6618169 10060525568 958712 33554432000 1073741824 1073778376 140735358271536 139965362153080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15544] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15544/stat : 15544 (java) S 15528 15531 11545 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 22 0 6618169 10060525568 958712 33554432000 1073741824 1073778376 140735358271536 139965361100424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15545] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15545/stat : 15545 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6618172 10060525568 958712 33554432000 1073741824 1073778376 140735358271536 139965360049168 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15546] ppid=15528 vsize=9824732 CPUtime=1.25 cores=0,2,4,6 /proc/15531/task/15546/stat : 15546 (java) S 15528 15531 11545 0 -1 4202560 4604 0 0 0 125 0 0 0 20 0 22 0 6618172 10060525568 958712 33554432000 1073741824 1073778376 140735358271536 139965358995512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15547] ppid=15528 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/15531/task/15547/stat : 15547 (java) S 15528 15531 11545 0 -1 4202560 7496 0 0 0 163 0 0 0 20 0 22 0 6618172 10060525568 958712 33554432000 1073741824 1073778376 140735358271536 139965357942968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15548] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15548/stat : 15548 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6618172 10060525568 958712 33554432000 1073741824 1073778376 140735358271536 139965356890616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15549] ppid=15528 vsize=9824732 CPUtime=0.23 cores=0,2,4,6 /proc/15531/task/15549/stat : 15549 (java) S 15528 15531 11545 0 -1 4202560 46 0 0 0 11 12 0 0 20 0 22 0 6618172 10060525568 958712 33554432000 1073741824 1073778376 140735358271536 139965355838280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15553] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15553/stat : 15553 (java) S 15528 15531 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6618281 10060525568 958712 33554432000 1073741824 1073778376 140735358271536 139965351626408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15823] ppid=15528 vsize=9824732 CPUtime=243.11 cores=0,2,4,6 /proc/15531/task/15823/stat : 15823 (java) R 15528 15531 11545 0 -1 4202560 10 0 0 0 24308 3 0 0 20 0 22 0 6675490 10060525568 958712 33554432000 1073741824 1073778376 140735358271536 139965353729152 139965412278872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15824] ppid=15528 vsize=9824732 CPUtime=243.14 cores=0,2,4,6 /proc/15531/task/15824/stat : 15824 (java) R 15528 15531 11545 0 -1 4202560 14 0 0 0 24311 3 0 0 20 0 22 0 6675490 10060525568 958712 33554432000 1073741824 1073778376 140735358271536 139965354780704 139965411806680 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15825] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15825/stat : 15825 (java) S 15528 15531 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6675490 10060525568 958712 33554432000 1073741824 1073778376 140735358271536 139965352678440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1599.95 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 3.97 4.20 4.16 5/219 15831 /proc/meminfo: memFree=20544628/32872528 swapFree=13208/1155804 [pid=15531] ppid=15528 vsize=9824732 CPUtime=1721.05 cores=0,2,4,6 /proc/15531/stat : 15531 (java) S 15528 15531 11545 0 -1 4202496 29343 0 1 0 171600 505 0 0 20 0 22 0 6618167 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 140735358262672 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15531/statm: 2456183 1019251 2303 9 0 2446860 0 [pid=15531/tid=15532] ppid=15528 vsize=9824732 CPUtime=1.94 cores=0,2,4,6 /proc/15531/task/15532/stat : 15532 (java) S 15528 15531 11545 0 -1 4202560 2516 0 1 0 189 5 0 0 20 0 22 0 6618167 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965539210104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15534] ppid=15528 vsize=9824732 CPUtime=3.14 cores=0,2,4,6 /proc/15531/task/15534/stat : 15534 (java) S 15528 15531 11545 0 -1 4202560 915 0 0 0 280 34 0 0 20 0 22 0 6618168 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965382773416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15535] ppid=15528 vsize=9824732 CPUtime=2.91 cores=0,2,4,6 /proc/15531/task/15535/stat : 15535 (java) S 15528 15531 11545 0 -1 4202560 829 0 0 0 258 33 0 0 20 0 22 0 6618168 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965381720872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15536] ppid=15528 vsize=9824732 CPUtime=3.42 cores=0,2,4,6 /proc/15531/task/15536/stat : 15536 (java) S 15528 15531 11545 0 -1 4202560 1184 0 0 0 298 44 0 0 20 0 22 0 6618168 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965380668328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15537] ppid=15528 vsize=9824732 CPUtime=3.09 cores=0,2,4,6 /proc/15531/task/15537/stat : 15537 (java) S 15528 15531 11545 0 -1 4202560 856 0 0 0 268 41 0 0 20 0 22 0 6618168 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965379615784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15538] ppid=15528 vsize=9824732 CPUtime=3.04 cores=0,2,4,6 /proc/15531/task/15538/stat : 15538 (java) S 15528 15531 11545 0 -1 4202560 948 0 0 0 269 35 0 0 20 0 22 0 6618168 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965378562216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15539] ppid=15528 vsize=9824732 CPUtime=2.98 cores=0,2,4,6 /proc/15531/task/15539/stat : 15539 (java) S 15528 15531 11545 0 -1 4202560 897 0 0 0 266 32 0 0 20 0 22 0 6618168 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965377509672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15540] ppid=15528 vsize=9824732 CPUtime=3.02 cores=0,2,4,6 /proc/15531/task/15540/stat : 15540 (java) S 15528 15531 11545 0 -1 4202560 1152 0 0 0 266 36 0 0 20 0 22 0 6618168 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965376457128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15541] ppid=15528 vsize=9824732 CPUtime=3.13 cores=0,2,4,6 /proc/15531/task/15541/stat : 15541 (java) S 15528 15531 11545 0 -1 4202560 853 0 0 0 281 32 0 0 20 0 22 0 6618168 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965375404584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15542] ppid=15528 vsize=9824732 CPUtime=6.24 cores=0,2,4,6 /proc/15531/task/15542/stat : 15542 (java) S 15528 15531 11545 0 -1 4202560 3120 0 0 0 611 13 0 0 20 0 22 0 6618169 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965363206760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15543] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15543/stat : 15543 (java) S 15528 15531 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6618169 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965362153080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15544] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15544/stat : 15544 (java) S 15528 15531 11545 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 22 0 6618169 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965361100424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15545] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15545/stat : 15545 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6618172 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965360049168 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15546] ppid=15528 vsize=9824732 CPUtime=1.27 cores=0,2,4,6 /proc/15531/task/15546/stat : 15546 (java) S 15528 15531 11545 0 -1 4202560 4607 0 0 0 127 0 0 0 20 0 22 0 6618172 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965358995512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15547] ppid=15528 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/15531/task/15547/stat : 15547 (java) S 15528 15531 11545 0 -1 4202560 7496 0 0 0 163 0 0 0 20 0 22 0 6618172 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965357942968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15548] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15548/stat : 15548 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6618172 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965356890616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15549] ppid=15528 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/15531/task/15549/stat : 15549 (java) S 15528 15531 11545 0 -1 4202560 50 0 0 0 12 12 0 0 20 0 22 0 6618172 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965355838280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15553] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15553/stat : 15553 (java) S 15528 15531 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6618281 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965351626408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15823] ppid=15528 vsize=9824732 CPUtime=302.39 cores=0,2,4,6 /proc/15531/task/15823/stat : 15823 (java) R 15528 15531 11545 0 -1 4202560 11 0 0 0 30235 4 0 0 20 0 22 0 6675490 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965353721472 139965412768608 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15824] ppid=15528 vsize=9824732 CPUtime=302.43 cores=0,2,4,6 /proc/15531/task/15824/stat : 15824 (java) R 15528 15531 11545 0 -1 4202560 17 0 0 0 30239 4 0 0 20 0 22 0 6675490 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965354782616 139965412081911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15825] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15825/stat : 15825 (java) S 15528 15531 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6675490 10060525568 1019251 33554432000 1073741824 1073778376 140735358271536 139965352678440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.05 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+922.201 s] /proc/loadavg: 4.03 4.18 4.16 5/220 15927 /proc/meminfo: memFree=23414896/32872528 swapFree=13208/1155804 [pid=15531] ppid=15528 vsize=9824732 CPUtime=1799.31 cores=0,2,4,6 /proc/15531/stat : 15531 (java) S 15528 15531 11545 0 -1 4202496 29829 0 1 0 179406 525 0 0 20 0 22 0 6618167 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 140735358262672 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15531/statm: 2456183 1072667 2303 9 0 2446860 0 [pid=15531/tid=15532] ppid=15528 vsize=9824732 CPUtime=1.94 cores=0,2,4,6 /proc/15531/task/15532/stat : 15532 (java) S 15528 15531 11545 0 -1 4202560 2518 0 1 0 189 5 0 0 20 0 22 0 6618167 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965539210104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15534] ppid=15528 vsize=9824732 CPUtime=3.42 cores=0,2,4,6 /proc/15531/task/15534/stat : 15534 (java) S 15528 15531 11545 0 -1 4202560 967 0 0 0 306 36 0 0 20 0 22 0 6618168 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965382773416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15535] ppid=15528 vsize=9824732 CPUtime=3.21 cores=0,2,4,6 /proc/15531/task/15535/stat : 15535 (java) S 15528 15531 11545 0 -1 4202560 905 0 0 0 284 37 0 0 20 0 22 0 6618168 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965381720872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15536] ppid=15528 vsize=9824732 CPUtime=3.84 cores=0,2,4,6 /proc/15531/task/15536/stat : 15536 (java) S 15528 15531 11545 0 -1 4202560 1234 0 0 0 339 45 0 0 20 0 22 0 6618168 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965380668328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15537] ppid=15528 vsize=9824732 CPUtime=3.28 cores=0,2,4,6 /proc/15531/task/15537/stat : 15537 (java) S 15528 15531 11545 0 -1 4202560 882 0 0 0 285 43 0 0 20 0 22 0 6618168 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965379615784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15538] ppid=15528 vsize=9824732 CPUtime=3.3 cores=0,2,4,6 /proc/15531/task/15538/stat : 15538 (java) S 15528 15531 11545 0 -1 4202560 1000 0 0 0 292 38 0 0 20 0 22 0 6618168 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965378562216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15539] ppid=15528 vsize=9824732 CPUtime=3.28 cores=0,2,4,6 /proc/15531/task/15539/stat : 15539 (java) S 15528 15531 11545 0 -1 4202560 932 0 0 0 294 34 0 0 20 0 22 0 6618168 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965377509672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15540] ppid=15528 vsize=9824732 CPUtime=3.2 cores=0,2,4,6 /proc/15531/task/15540/stat : 15540 (java) S 15528 15531 11545 0 -1 4202560 1195 0 0 0 282 38 0 0 20 0 22 0 6618168 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965376457128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15541] ppid=15528 vsize=9824732 CPUtime=3.3 cores=0,2,4,6 /proc/15531/task/15541/stat : 15541 (java) S 15528 15531 11545 0 -1 4202560 898 0 0 0 296 34 0 0 20 0 22 0 6618168 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965375404584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15542] ppid=15528 vsize=9824732 CPUtime=8.79 cores=0,2,4,6 /proc/15531/task/15542/stat : 15542 (java) S 15528 15531 11545 0 -1 4202560 3222 0 0 0 866 13 0 0 20 0 22 0 6618169 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965363206760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15543] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15543/stat : 15543 (java) S 15528 15531 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6618169 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965362153080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15544] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15544/stat : 15544 (java) S 15528 15531 11545 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 22 0 6618169 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965361100424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15545] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15545/stat : 15545 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6618172 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965360049168 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15531/tid=15546] ppid=15528 vsize=9824732 CPUtime=1.27 cores=0,2,4,6 /proc/15531/task/15546/stat : 15546 (java) S 15528 15531 11545 0 -1 4202560 4607 0 0 0 127 0 0 0 20 0 22 0 6618172 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965358995512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15547] ppid=15528 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/15531/task/15547/stat : 15547 (java) S 15528 15531 11545 0 -1 4202560 7496 0 0 0 163 0 0 0 20 0 22 0 6618172 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965357942968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15548] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15548/stat : 15548 (java) S 15528 15531 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6618172 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965356890616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15549] ppid=15528 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/15531/task/15549/stat : 15549 (java) S 15528 15531 11545 0 -1 4202560 52 0 0 0 13 13 0 0 20 0 22 0 6618172 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965355838280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15553] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15553/stat : 15553 (java) S 15528 15531 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6618281 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965351626408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15531/tid=15823] ppid=15528 vsize=9824732 CPUtime=339.1 cores=0,2,4,6 /proc/15531/task/15823/stat : 15823 (java) R 15528 15531 11545 0 -1 4202560 11 0 0 0 33905 5 0 0 20 0 22 0 6675490 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965353729200 139965411889988 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=15531/tid=15824] ppid=15528 vsize=9824732 CPUtime=339.12 cores=0,2,4,6 /proc/15531/task/15824/stat : 15824 (java) R 15528 15531 11545 0 -1 4202560 18 0 0 0 33907 5 0 0 20 0 22 0 6675490 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965354780608 139965411957912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=15531/tid=15825] ppid=15528 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/15531/task/15825/stat : 15825 (java) S 15528 15531 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6675490 10060525568 1072667 33554432000 1073741824 1073778376 140735358271536 139965352678440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.31 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 15531 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 15531 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=249536 # childrusage.ru_stime.tv_sec=5 # childrusage.ru_stime.tv_usec=490165 # CPU time returned by wait4() is 1797.74 # while last known CPU time is 1799.31 # # 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.710106 # lost CPU user time (s): 0.800041 # lost CPU system time (s): -0.0899997 Real time (s): 922.237 CPU time (s): 1800.02 CPU user time (s): 1794.86 CPU system time (s): 5.16 CPU usage (%): 195.18 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.25 system time used= 5.49017 maximum resident set size= 4290780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29863 page faults= 1 swaps= 0 block input operations= 0 block output operations= 992 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26294 involuntary context switches= 28230 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.67399 second user time and 6.33304 second system time The end
Begin job on node114 at 2016-06-30 05:15:07 IDJOB=4119453 IDBENCH=111734 IDSOLVER=2543 FILE ID=node114/4119453-1467256507 RUNJOBID= node114-1467246678-11561 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_bern30-30.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119453-1467256507/watcher-4119453-1467256507 -o /tmp/evaluation-result-4119453-1467256507/solver-4119453-1467256507 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11561 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119453-1467256507.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 72ec75988a0f21e62b2c0e390134188b 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: 29391356 kB Buffers: 120644 kB Cached: 1212428 kB SwapCached: 0 kB Active: 346932 kB Inactive: 1211192 kB Active(anon): 227616 kB Inactive(anon): 0 kB Active(file): 119316 kB Inactive(file): 1211192 kB Unevictable: 1155804 kB Mlocked: 13208 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1584 kB Writeback: 0 kB AnonPages: 1474436 kB Mapped: 22248 kB Shmem: 204 kB Slab: 609216 kB SReclaimable: 52972 kB SUnreclaim: 556244 kB KernelStack: 1808 kB PageTables: 6744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1857156 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1380352 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:30:30