Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 33 | 1800.18 | 923.565 |
| Name | /OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_10_errors.opb |
| MD5SUM | b561a61efc46169e6f19abce33721598 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 10 |
| Best CPU time to get the best result obtained on this benchmark | 19.745 |
| 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 | 584 |
| Total number of constraints | 427 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 33 |
| Number of constraints which are nor clauses,nor cardinality constraints | 394 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 34 |
| Number of terms in the objective function | 182 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 182 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 18 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 182 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2406 |
| Sum of products size (including duplicates) | 10572 |
| Number of different products | 2406 |
| Sum of products size | 10572 |
0.06/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.06/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.08 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.2.v20120418 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 501472288 0.06/0.09 c Max memory 7480803328 0.06/0.09 c Total memory 504102912 0.06/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3689144-1337881286.opb 0.09/0.12 c reading problem ... 0.95/0.50 c ... done. Wall clock time 0.383s. 0.95/0.50 c declared #vars 584 0.95/0.50 c internal #vars 2990 0.95/0.50 c #constraints 5064 0.95/0.50 c constraints type 0.95/0.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104 0.95/0.50 c org.sat4j.minisat.constraints.cnf.UnitClauses => 32 0.95/0.50 c org.sat4j.minisat.constraints.card.MinWatchCard => 436 0.95/0.50 c ignored satisfied constraints => 602 0.95/0.50 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20 0.95/0.50 c org.sat4j.minisat.constraints.cnf.UnitClause => 66 0.95/0.50 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406 0.95/0.50 c 5666 constraints processed. 0.95/0.50 c constraints type 0.95/0.50 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 20 0.95/0.50 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2104 0.95/0.50 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 436 0.95/0.50 c ignored satisfied constraints => 602 0.95/0.50 c org.sat4j.pb.constraints.pb.UnitClausesPB => 32 0.95/0.50 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2406 0.95/0.50 c org.sat4j.pb.constraints.pb.UnitClausePB => 66 0.95/0.50 c 5666 constraints processed. 0.95/0.50 c objective function length is 182 literals 4.52/1.42 c cleaning 2494 clauses out of 5002 with flag 5002/5002 6.56/2.11 c cleaning 4253 clauses out of 8506 with flag 11000/11000 6.93/2.30 c And the winner is solver0 6.94/2.50 c SATISFIABLE 6.94/2.50 c OPTIMIZING... 6.94/2.50 c Got one! Elapsed wall clock time (in seconds):2.386 6.94/2.50 o 93 7.17/2.60 c cleaning 4823 clauses out of 9652 with flag 1001/16399 7.17/2.67 c And the winner is solver0 7.33/3.00 c Got one! Elapsed wall clock time (in seconds):2.887 7.33/3.00 o 87 7.73/3.21 c And the winner is solver0 7.76/3.50 c Got one! Elapsed wall clock time (in seconds):3.389 7.76/3.50 o 78 8.35/3.86 c And the winner is solver0 8.50/4.01 c Got one! Elapsed wall clock time (in seconds):3.89 8.50/4.01 o 74 9.16/4.31 c cleaning 5793 clauses out of 11599 with flag 2001/23169 9.50/4.57 c And the winner is solver0 9.75/5.01 c Got one! Elapsed wall clock time (in seconds):4.893 9.75/5.01 o 73 10.32/5.37 c And the winner is solver0 10.49/5.51 c Got one! Elapsed wall clock time (in seconds):5.395 10.49/5.51 o 58 10.88/5.76 c And the winner is solver0 11.02/6.01 c Got one! Elapsed wall clock time (in seconds):5.896 11.02/6.01 o 56 11.20/6.19 c cleaning 5958 clauses out of 11931 with flag 1001/29294 12.95/7.02 c cleaning 5975 clauses out of 11972 with flag 7000/35293 14.30/7.74 c And the winner is solver0 14.39/8.01 c Got one! Elapsed wall clock time (in seconds):7.898 14.39/8.01 o 54 15.16/8.49 c And the winner is solver0 15.35/8.52 c Got one! Elapsed wall clock time (in seconds):8.399 15.35/8.52 o 53 16.32/9.04 c cleaning 8805 clauses out of 17617 with flag 3001/46913 17.46/9.62 c And the winner is solver1 17.51/10.02 c Got one! Elapsed wall clock time (in seconds):9.901 17.51/10.02 o 52 19.07/10.86 c cleaning 9441 clauses out of 18907 with flag 5008/57008 20.78/11.72 c cleaning 7725 clauses out of 15458 with flag 11000/63000 21.53/12.16 c And the winner is solver0 21.66/12.52 c Got one! Elapsed wall clock time (in seconds):12.403 21.66/12.52 o 51 21.82/12.65 c And the winner is solver0 21.95/13.02 c Got one! Elapsed wall clock time (in seconds):12.904 21.95/13.02 o 50 22.50/13.37 c cleaning 7153 clauses out of 14319 with flag 2001/69586 23.23/13.71 c And the winner is solver0 23.30/14.02 c Got one! Elapsed wall clock time (in seconds):13.905 23.30/14.02 o 48 23.68/14.30 c cleaning 6314 clauses out of 12659 with flag 2000/75079 24.19/14.59 c cleaning 6170 clauses out of 12348 with flag 8003/81082 24.87/14.94 c cleaning 6583 clauses out of 13177 with flag 15002/88081 25.02/15.06 c And the winner is solver0 25.15/15.53 c Got one! Elapsed wall clock time (in seconds):15.409 25.15/15.53 o 47 25.69/15.89 c And the winner is solver0 25.92/16.03 c Got one! Elapsed wall clock time (in seconds):15.91 25.92/16.03 o 46 26.67/16.47 c cleaning 6086 clauses out of 12196 with flag 3000/93683 26.98/16.61 c And the winner is solver0 27.04/17.06 c Got one! Elapsed wall clock time (in seconds):16.941 27.04/17.06 o 45 27.52/17.32 c And the winner is solver0 27.58/17.56 c Got one! Elapsed wall clock time (in seconds):17.442 27.58/17.56 o 44 28.87/18.24 c cleaning 5952 clauses out of 11911 with flag 4000/99484 30.19/18.90 c cleaning 5971 clauses out of 11960 with flag 10001/105485 32.06/19.92 c cleaning 6491 clauses out of 12988 with flag 17000/112484 34.38/21.13 c cleaning 7246 clauses out of 14497 with flag 25000/120484 35.90/21.99 c cleaning 8123 clauses out of 16253 with flag 34002/129486 38.80/23.43 c cleaning 9061 clauses out of 18128 with flag 44000/139484 39.88/24.05 c cleaning 10028 clauses out of 20067 with flag 55000/150484 40.98/24.63 c And the winner is solver0 41.07/24.71 c Got one! Elapsed wall clock time (in seconds):24.591 41.07/24.71 o 42 41.46/24.97 c cleaning 8001 clauses out of 16011 with flag 1003/156456 43.36/25.92 c cleaning 7002 clauses out of 14007 with flag 7000/162453 44.47/26.54 c cleaning 6995 clauses out of 14006 with flag 14001/169454 46.35/27.54 c And the winner is solver0 46.45/27.71 c Got one! Elapsed wall clock time (in seconds):27.592 46.45/27.71 o 41 48.04/28.51 c cleaning 8871 clauses out of 17768 with flag 5001/180211 50.14/29.67 c cleaning 7438 clauses out of 14897 with flag 11001/186211 51.45/30.39 c cleaning 7225 clauses out of 14459 with flag 18001/193211 53.74/31.58 c cleaning 7604 clauses out of 15233 with flag 26000/201210 56.98/33.26 c cleaning 8306 clauses out of 16630 with flag 35001/210211 59.67/34.69 c cleaning 9151 clauses out of 18324 with flag 45001/220211 61.36/35.55 c And the winner is solver0 61.48/35.89 c Got one! Elapsed wall clock time (in seconds):35.773 61.48/35.89 o 40 62.32/36.34 c And the winner is solver0 62.45/36.44 c Got one! Elapsed wall clock time (in seconds):36.324 62.45/36.44 o 38 63.40/36.93 c cleaning 11770 clauses out of 23556 with flag 3001/234594 63.68/37.15 c And the winner is solver0 63.86/37.57 c Got one! Elapsed wall clock time (in seconds):37.45 63.86/37.57 o 36 64.92/38.15 c cleaning 8773 clauses out of 17553 with flag 5000/240361 66.14/38.83 c And the winner is solver0 66.27/39.07 c Got one! Elapsed wall clock time (in seconds):38.952 66.27/39.07 o 35 66.73/39.39 c cleaning 7255 clauses out of 14526 with flag 2001/246107 68.41/40.28 c cleaning 6624 clauses out of 13271 with flag 8001/252107 70.28/41.29 c And the winner is solver0 70.56/41.57 c Got one! Elapsed wall clock time (in seconds):41.454 70.56/41.57 o 34 70.82/41.76 c cleaning 6228 clauses out of 12465 with flag 1001/257925 72.28/42.57 c cleaning 6108 clauses out of 12238 with flag 7002/263926 73.30/43.11 c cleaning 6550 clauses out of 13128 with flag 14000/270924 74.17/43.63 c cleaning 7282 clauses out of 14580 with flag 22002/278926 75.86/44.50 c cleaning 8141 clauses out of 16297 with flag 31001/287925 78.33/45.85 c cleaning 9059 clauses out of 18157 with flag 41002/297926 81.94/47.77 c cleaning 10014 clauses out of 20097 with flag 52001/308925 85.23/49.43 c cleaning 11036 clauses out of 22083 with flag 64001/320925 88.08/50.98 c cleaning 12015 clauses out of 24048 with flag 77002/333926 91.75/52.89 c cleaning 13007 clauses out of 26031 with flag 91000/347924 95.94/55.07 c cleaning 13986 clauses out of 28025 with flag 106001/362925 99.58/56.94 c cleaning 15013 clauses out of 30040 with flag 122002/378926 104.25/59.32 c cleaning 16000 clauses out of 32026 with flag 139001/395925 111.29/62.97 c cleaning 16994 clauses out of 34026 with flag 157001/413925 119.85/67.38 c cleaning 18000 clauses out of 36031 with flag 176000/432924 124.08/69.56 c cleaning 19010 clauses out of 38031 with flag 196000/452924 126.52/70.87 c cleaning 20007 clauses out of 40021 with flag 217000/473924 132.74/74.03 c cleaning 20992 clauses out of 42016 with flag 239002/495926 139.06/77.32 c cleaning 21994 clauses out of 44022 with flag 262000/518924 143.47/79.66 c cleaning 22999 clauses out of 46028 with flag 286000/542924 150.90/83.44 c cleaning 23989 clauses out of 48031 with flag 311002/567926 157.71/86.94 c cleaning 25013 clauses out of 50040 with flag 337000/593924 162.80/89.67 c cleaning 26003 clauses out of 52027 with flag 364000/620924 174.01/95.31 c cleaning 27004 clauses out of 54025 with flag 392001/648925 177.59/97.25 c cleaning 28005 clauses out of 56022 with flag 421002/677926 183.00/100.03 c cleaning 28999 clauses out of 58015 with flag 451000/707924 189.25/103.36 c cleaning 30002 clauses out of 60016 with flag 482000/738924 198.26/107.95 c cleaning 30998 clauses out of 62014 with flag 514000/770924 208.06/112.90 c cleaning 31996 clauses out of 64018 with flag 547002/803926 221.07/119.57 c cleaning 33003 clauses out of 66020 with flag 581000/837924 236.99/127.61 c And the winner is solver0 236.82/128.00 c Got one! Elapsed wall clock time (in seconds):127.883 236.82/128.00 o 33 238.61/128.95 c cleaning 31071 clauses out of 62156 with flag 5001/867063 240.57/130.01 c cleaning 18535 clauses out of 37084 with flag 11000/873062 242.14/130.95 c cleaning 12770 clauses out of 25549 with flag 18000/880062 243.89/131.94 c cleaning 10366 clauses out of 20781 with flag 26002/888064 245.48/132.92 c cleaning 9679 clauses out of 19414 with flag 35001/897063 246.43/133.51 c cleaning 9855 clauses out of 19735 with flag 45001/907063 247.18/134.06 c cleaning 10422 clauses out of 20879 with flag 56000/918062 248.13/134.66 c cleaning 11218 clauses out of 22458 with flag 68001/930063 251.15/136.39 c cleaning 12108 clauses out of 24242 with flag 81003/943065 256.69/139.29 c cleaning 13059 clauses out of 26131 with flag 95000/957062 261.44/141.80 c cleaning 14023 clauses out of 28072 with flag 110000/972062 264.38/143.36 c cleaning 15018 clauses out of 30052 with flag 126003/988065 267.17/144.97 c cleaning 16006 clauses out of 32032 with flag 143001/1005063 271.11/147.01 c cleaning 17004 clauses out of 34025 with flag 161000/1023062 277.24/150.25 c cleaning 17994 clauses out of 36022 with flag 180001/1042063 282.57/153.05 c cleaning 19008 clauses out of 38027 with flag 200000/1062062 288.16/156.02 c cleaning 20000 clauses out of 40020 with flag 221001/1083063 293.89/159.05 c cleaning 20998 clauses out of 42020 with flag 243001/1105063 300.63/162.50 c cleaning 21996 clauses out of 44021 with flag 266000/1128062 311.16/167.96 c cleaning 23003 clauses out of 46025 with flag 290000/1152062 321.36/173.27 c cleaning 24004 clauses out of 48023 with flag 315001/1177063 330.68/178.06 c cleaning 25002 clauses out of 50018 with flag 341000/1203062 340.62/183.18 c cleaning 26000 clauses out of 52016 with flag 368000/1230062 347.35/186.67 c cleaning 27003 clauses out of 54017 with flag 396001/1258063 355.71/191.09 c cleaning 27997 clauses out of 56015 with flag 425002/1287064 364.65/195.60 c cleaning 28996 clauses out of 58016 with flag 455000/1317062 375.39/201.14 c cleaning 29998 clauses out of 60020 with flag 486000/1348062 385.93/206.51 c cleaning 31005 clauses out of 62022 with flag 518000/1380062 390.62/209.19 c cleaning 32005 clauses out of 64017 with flag 551000/1413062 395.08/211.54 c cleaning 33000 clauses out of 66014 with flag 585002/1447064 399.16/213.77 c cleaning 33998 clauses out of 68013 with flag 620001/1482063 403.84/216.20 c cleaning 34990 clauses out of 70014 with flag 656000/1518062 420.99/225.08 c cleaning 35998 clauses out of 72026 with flag 693002/1555064 434.51/231.95 c cleaning 36990 clauses out of 74029 with flag 731003/1593065 453.50/241.51 c cleaning 38005 clauses out of 76036 with flag 770000/1632062 476.03/252.90 c cleaning 39002 clauses out of 78031 with flag 810000/1672062 493.55/261.96 c cleaning 40006 clauses out of 80032 with flag 851003/1713065 507.25/268.92 c cleaning 41001 clauses out of 82025 with flag 893002/1755064 532.01/281.42 c cleaning 41998 clauses out of 84022 with flag 936000/1798062 551.94/291.55 c cleaning 43000 clauses out of 86025 with flag 980001/1842063 575.04/303.39 c cleaning 44002 clauses out of 88027 with flag 1025003/1887065 594.18/313.01 c cleaning 45001 clauses out of 90023 with flag 1071001/1933063 612.03/322.15 c cleaning 46000 clauses out of 92021 with flag 1118000/1980062 632.90/332.78 c cleaning 46997 clauses out of 94021 with flag 1166000/2028062 647.49/340.33 c cleaning 47998 clauses out of 96031 with flag 1215007/2077069 657.73/345.62 c cleaning 48999 clauses out of 98027 with flag 1265001/2127063 663.90/348.97 c cleaning 0 clauses out of 8718 with flag 0/8737 680.26/357.19 c cleaning 49997 clauses out of 100029 with flag 1316002/2178064 718.82/376.61 c cleaning 51002 clauses out of 102030 with flag 1368000/2230062 743.14/388.90 c cleaning 52004 clauses out of 104028 with flag 1421000/2283062 767.02/401.09 c cleaning 53002 clauses out of 106027 with flag 1475003/2337065 792.93/414.14 c cleaning 54001 clauses out of 108022 with flag 1530000/2392062 819.78/427.86 c cleaning 54997 clauses out of 110022 with flag 1586001/2448063 846.47/441.39 c cleaning 56001 clauses out of 112024 with flag 1643000/2505062 869.10/452.90 c cleaning 56995 clauses out of 114023 with flag 1701000/2563062 898.30/467.68 c cleaning 57997 clauses out of 116028 with flag 1760000/2622062 924.21/480.98 c cleaning 59004 clauses out of 118031 with flag 1820000/2682062 952.68/495.39 c cleaning 59995 clauses out of 120027 with flag 1881000/2743062 995.67/516.93 c cleaning 61007 clauses out of 122032 with flag 1943000/2805062 1048.68/543.59 c cleaning 61992 clauses out of 124025 with flag 2006000/2868062 1110.45/574.69 c cleaning 62999 clauses out of 126035 with flag 2070002/2932064 1160.11/599.95 c cleaning 64001 clauses out of 128036 with flag 2135002/2997064 1201.34/620.70 c cleaning 65007 clauses out of 130034 with flag 2201001/3063063 1247.17/643.94 c cleaning 65997 clauses out of 132027 with flag 2268001/3130063 1284.84/662.97 c cleaning 67003 clauses out of 134029 with flag 2336000/3198062 1319.56/680.58 c cleaning 68002 clauses out of 136027 with flag 2405001/3267063 1335.20/688.66 c cleaning 68999 clauses out of 138025 with flag 2475001/3337063 1385.61/714.28 c cleaning 69996 clauses out of 140027 with flag 2546002/3408064 1438.30/740.71 c cleaning 70999 clauses out of 142030 with flag 2618001/3480063 1468.41/756.01 c cleaning 72011 clauses out of 144030 with flag 2691000/3553062 1511.14/777.66 c cleaning 72997 clauses out of 146020 with flag 2765001/3627063 1555.11/800.05 c cleaning 74004 clauses out of 148023 with flag 2840001/3702063 1622.37/833.86 c cleaning 74999 clauses out of 150019 with flag 2916001/3778063 1672.49/859.17 c cleaning 75996 clauses out of 152022 with flag 2993003/3855065 1741.84/894.08 c cleaning 76999 clauses out of 154023 with flag 3071000/3933062 1799.99/923.51 c starts : 349 1799.99/923.51 c conflicts : 4011121 1799.99/923.51 c decisions : 4712924 1799.99/923.51 c propagations : 471018493 1799.99/923.51 c inspects : 7646328782 1799.99/923.51 c shortcuts : 0 1799.99/923.51 c learnt literals : 0 1799.99/923.51 c learnt binary clauses : 53 1799.99/923.51 c learnt ternary clauses : 127 1799.99/923.51 c learnt constraints : 4011122 1799.99/923.51 c ignored constraints : 0 1799.99/923.51 c root simplifications : 0 1799.99/923.51 c removed literals (reason simplification) : 7349126 1799.99/923.51 c reason swapping (by a shorter reason) : 0 1799.99/923.51 c Calls to reduceDB : 138 1799.99/923.51 c number of reductions to clauses (during analyze) : 0 1799.99/923.51 c number of learned constraints concerned by reduction : 0 1799.99/923.51 c number of learning phase by resolution : 0 1799.99/923.51 c number of learning phase by cutting planes : 0 1799.99/923.51 c speed (assignments/second) : 515623.539534512 1799.99/923.51 c non guided choices 899 1799.99/923.54 c learnt constraints type 1799.99/923.54 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 53 1799.99/923.54 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 155110 1799.99/923.54 c constraints type 1799.99/923.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104 1799.99/923.54 c org.sat4j.minisat.constraints.cnf.UnitClauses => 32 1799.99/923.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 437 1799.99/923.54 c ignored satisfied constraints => 602 1799.99/923.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20 1799.99/923.54 c org.sat4j.minisat.constraints.cnf.UnitClause => 66 1799.99/923.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406 1799.99/923.54 c 5667 constraints processed. 1799.99/923.54 c constraints type 1799.99/923.54 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 20 1799.99/923.54 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2104 1799.99/923.54 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 437 1799.99/923.54 c ignored satisfied constraints => 602 1799.99/923.54 c org.sat4j.pb.constraints.pb.UnitClausesPB => 32 1799.99/923.54 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2406 1799.99/923.54 c org.sat4j.pb.constraints.pb.UnitClausePB => 66 1799.99/923.54 c 5667 constraints processed. 1799.99/923.54 s SATISFIABLE 1799.99/923.54 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 x43 -x44 x45 -x46 -x47 x48 -x49 x50 -x51 x52 -x53 -x54 -x55 x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 -x196 x197 x198 x199 x200 -x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 x216 x217 -x218 -x219 x220 x221 -x222 -x223 -x224 x225 x226 x227 -x228 x229 -x230 -x231 -x232 -x233 x234 x235 -x236 x237 -x238 x239 -x240 -x241 -x242 x243 -x244 x245 -x246 -x247 -x248 -x249 x250 x251 x252 -x253 -x254 x255 -x256 -x257 x258 x259 -x260 -x261 -x262 x263 x264 -x265 -x266 x267 -x268 x269 -x270 -x271 x272 x273 -x274 -x275 x276 x277 x278 x279 x280 -x281 x282 x283 -x284 x285 x286 -x287 -x288 x289 x290 x291 -x292 x293 x294 -x295 -x296 x297 -x298 -x299 x300 x301 -x302 x303 -x304 x305 x306 -x307 -x308 -x309 x310 x311 -x312 x313 x314 x315 -x316 x317 -x318 x319 x320 x321 -x322 -x323 x324 x325 -x326 -x327 x328 -x329 x330 x331 x332 -x333 x334 x335 -x336 -x337 x338 x339 -x340 -x341 -x342 -x343 x344 x345 x346 x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 x356 x357 x358 x359 -x360 x361 x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 x370 x371 -x372 x373 -x374 -x375 x376 x377 -x378 x379 -x380 -x381 x382 x383 -x384 x385 x386 x387 -x388 x389 -x390 -x391 -x392 x393 x394 -x395 -x396 x397 x398 -x399 -x400 -x401 -x402 x403 -x404 x405 -x406 x407 -x408 x409 -x410 x411 -x412 x413 x414 -x415 -x416 x417 -x418 -x419 x420 -x421 x422 x423 x424 x425 x426 x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 x438 x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 x447 -x448 -x449 x450 -x451 -x452 x453 x454 x455 -x456 x457 x458 x459 x460 x461 x462 x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 x474 x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 x487 x488 -x489 -x490 -x491 -x492 x493 -x494 x495 x496 x497 x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 x506 x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 x515 x516 x517 -x518 x519 x520 x521 -x522 x523 x524 x525 x526 -x527 -x528 x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 x540 x541 x542 -x543 -x544 x545 x546 x547 -x548 -x549 -x550 x551 x552 x553 x554 x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 x563 x564 -x565 -x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 -x579 x580 x581 x582 -x583 -x584 1799.99/923.55 c objective function=33 1799.99/923.55 c Total wall clock time (in seconds): 923.429
OK 33
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3689144-1337881286/watcher-3689144-1337881286 -o /tmp/evaluation-result-3689144-1337881286/solver-3689144-1337881286 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689144-1337881286.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.87 2.98 3.18 3/197 21610 /proc/meminfo: memFree=27718984/32873844 swapFree=7384/7384 [pid=21610] ppid=21608 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/21610/stat : 21610 (java) D 21608 21610 18255 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254254025 9515008 182 33554432000 1073741824 1073778376 140734027034896 140734027025928 239873113781 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/21610/statm: 2323 182 140 9 0 71 0 [startup+0.086083 s] /proc/loadavg: 2.87 2.98 3.18 3/197 21610 /proc/meminfo: memFree=27718984/32873844 swapFree=7384/7384 [pid=21610] ppid=21608 vsize=9558412 CPUtime=0.06 cores=1,3,5,7 /proc/21610/stat : 21610 (java) S 21608 21610 18255 0 -1 4202496 3649 0 1 0 5 1 0 0 20 0 18 0 254254025 9787813888 4857 33554432000 1073741824 1073778376 140733893486560 140733893477696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21610/statm: 2389603 4859 1932 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558412 [startup+0.100324 s] /proc/loadavg: 2.87 2.98 3.18 3/197 21610 /proc/meminfo: memFree=27718984/32873844 swapFree=7384/7384 [pid=21610] ppid=21608 vsize=9558412 CPUtime=0.09 cores=1,3,5,7 /proc/21610/stat : 21610 (java) S 21608 21610 18255 0 -1 4202496 4306 0 1 0 8 1 0 0 20 0 18 0 254254025 9787813888 5488 33554432000 1073741824 1073778376 140733893486560 140733893477696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21610/statm: 2389603 5488 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300298 s] /proc/loadavg: 2.87 2.98 3.18 3/197 21610 /proc/meminfo: memFree=27718984/32873844 swapFree=7384/7384 [pid=21610] ppid=21608 vsize=9558412 CPUtime=0.53 cores=1,3,5,7 /proc/21610/stat : 21610 (java) S 21608 21610 18255 0 -1 4202496 5747 0 1 0 51 2 0 0 20 0 18 0 254254025 9787813888 8321 33554432000 1073741824 1073778376 140733893486560 140733893477696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21610/statm: 2389603 8321 2222 9 0 2380296 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 9558412 [startup+0.700198 s] /proc/loadavg: 2.87 2.98 3.18 3/197 21610 /proc/meminfo: memFree=27718984/32873844 swapFree=7384/7384 [pid=21610] ppid=21608 vsize=9824668 CPUtime=1.74 cores=1,3,5,7 /proc/21610/stat : 21610 (java) S 21608 21610 18255 0 -1 4202496 10310 0 1 0 171 3 0 0 20 0 22 0 254254025 10060460032 19734 33554432000 1073741824 1073778376 140733893486560 140733893477696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21610/statm: 2456167 19734 2249 9 0 2446860 0 Current children cumulated CPU time (s) 1.74 Current children cumulated vsize (KiB) 9824668 [startup+1.50089 s] /proc/loadavg: 2.87 2.98 3.18 6/219 21632 /proc/meminfo: memFree=27594796/32873844 swapFree=7384/7384 [pid=21610] ppid=21608 vsize=9824668 CPUtime=4.8 cores=1,3,5,7 /proc/21610/stat : 21610 (java) S 21608 21610 18255 0 -1 4202496 26399 0 1 0 469 11 0 0 20 0 22 0 254254025 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140733893477696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21610/statm: 2456167 53027 2287 9 0 2446860 0 [pid=21610/tid=21612] ppid=21608 vsize=9824668 CPUtime=0.47 cores=1,3,5,7 /proc/21610/task/21612/stat : 21612 (java) S 21608 21610 18255 0 -1 4202560 2470 0 1 0 45 2 0 0 20 0 22 0 254254026 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140660555248632 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21613] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21613/stat : 21613 (java) S 21608 21610 18255 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254254027 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140660516739880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21614] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21614/stat : 21614 (java) S 21608 21610 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254254027 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140660515687080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21615] ppid=21608 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/21610/task/21615/stat : 21615 (java) S 21608 21610 18255 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 254254027 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140660397042728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21616] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21616/stat : 21616 (java) S 21608 21610 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254254027 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140660395989928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21617] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21617/stat : 21617 (java) S 21608 21610 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254254027 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140660394936616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21618] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21618/stat : 21618 (java) S 21608 21610 18255 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254254027 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140660393883816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21619] ppid=21608 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/21610/task/21619/stat : 21619 (java) S 21608 21610 18255 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 254254027 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140660392831528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21620] ppid=21608 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/21610/task/21620/stat : 21620 (java) S 21608 21610 18255 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 254254027 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140660391778728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21621] ppid=21608 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/21610/task/21621/stat : 21621 (java) S 21608 21610 18255 0 -1 4202560 97 0 0 0 2 0 0 0 20 0 22 0 254254028 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140659909450472 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21622] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21622/stat : 21622 (java) S 21608 21610 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254254028 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140659908396536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21623] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21623/stat : 21623 (java) S 21608 21610 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254254028 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140659907344136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21624] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21624/stat : 21624 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140659906292624 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21625] ppid=21608 vsize=9824668 CPUtime=1.18 cores=1,3,5,7 /proc/21610/task/21625/stat : 21625 (java) R 21608 21610 18255 0 -1 4202560 11029 0 0 0 116 2 0 0 20 0 22 0 254254031 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140659905215008 140660561208456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21626] ppid=21608 vsize=9824668 CPUtime=1.11 cores=1,3,5,7 /proc/21610/task/21626/stat : 21626 (java) S 21608 21610 18255 0 -1 4202560 11414 0 0 0 108 3 0 0 20 0 22 0 254254031 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140659904186424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21627] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21627/stat : 21627 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140659903134328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21628] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21628/stat : 21628 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140659902081736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21629] ppid=21608 vsize=9824668 CPUtime=0.89 cores=1,3,5,7 /proc/21610/task/21629/stat : 21629 (java) R 21608 21610 18255 0 -1 4202560 28 0 0 0 89 0 0 0 20 0 22 0 254254075 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140659901027160 140660397659367 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21630] ppid=21608 vsize=9824668 CPUtime=0.9 cores=1,3,5,7 /proc/21610/task/21630/stat : 21630 (java) R 21608 21610 18255 0 -1 4202560 117 0 0 0 88 2 0 0 20 0 22 0 254254075 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140659899973976 140660397910491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21631] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21631/stat : 21631 (java) S 21608 21610 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254254076 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140659898922664 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21632] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21632/stat : 21632 (java) S 21608 21610 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254254076 10060460032 53027 33554432000 1073741824 1073778376 140733893486560 140659897869864 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.8 Current children cumulated vsize (KiB) 9824668 [startup+3.10071 s] /proc/loadavg: 2.87 2.98 3.18 4/219 21632 /proc/meminfo: memFree=27418416/32873844 swapFree=7384/7384 [pid=21610] ppid=21608 vsize=9824668 CPUtime=7.52 cores=1,3,5,7 /proc/21610/stat : 21610 (java) S 21608 21610 18255 0 -1 4202496 28547 0 1 0 733 19 0 0 20 0 22 0 254254025 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140733893477696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21610/statm: 2456167 81030 2288 9 0 2446860 0 [pid=21610/tid=21612] ppid=21608 vsize=9824668 CPUtime=0.47 cores=1,3,5,7 /proc/21610/task/21612/stat : 21612 (java) S 21608 21610 18255 0 -1 4202560 2470 0 1 0 45 2 0 0 20 0 22 0 254254026 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140660555248632 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21613] ppid=21608 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/21610/task/21613/stat : 21613 (java) S 21608 21610 18255 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254254027 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140660516739880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21614] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21614/stat : 21614 (java) S 21608 21610 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254254027 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140660515687080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21615] ppid=21608 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/21610/task/21615/stat : 21615 (java) S 21608 21610 18255 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 254254027 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140660397042728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21616] ppid=21608 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/21610/task/21616/stat : 21616 (java) S 21608 21610 18255 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254254027 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140660395989928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21617] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21617/stat : 21617 (java) S 21608 21610 18255 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254254027 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140660394936616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21618] ppid=21608 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/21610/task/21618/stat : 21618 (java) S 21608 21610 18255 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 254254027 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140660393883816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21619] ppid=21608 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/21610/task/21619/stat : 21619 (java) S 21608 21610 18255 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 254254027 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140660392831528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21620] ppid=21608 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/21610/task/21620/stat : 21620 (java) S 21608 21610 18255 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 254254027 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140660391778728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21621] ppid=21608 vsize=9824668 CPUtime=0.1 cores=1,3,5,7 /proc/21610/task/21621/stat : 21621 (java) S 21608 21610 18255 0 -1 4202560 101 0 0 0 10 0 0 0 20 0 22 0 254254028 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140659909450472 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21622] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21622/stat : 21622 (java) S 21608 21610 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254254028 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140659908396536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21623] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21623/stat : 21623 (java) S 21608 21610 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254254028 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140659907344136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21624] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21624/stat : 21624 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140659906292624 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21625] ppid=21608 vsize=9824668 CPUtime=1.65 cores=1,3,5,7 /proc/21610/task/21625/stat : 21625 (java) S 21608 21610 18255 0 -1 4202560 13081 0 0 0 163 2 0 0 20 0 22 0 254254031 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140659905239224 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21626] ppid=21608 vsize=9824668 CPUtime=1.26 cores=1,3,5,7 /proc/21610/task/21626/stat : 21626 (java) S 21608 21610 18255 0 -1 4202560 11419 0 0 0 123 3 0 0 20 0 22 0 254254031 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140659904186424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21627] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21627/stat : 21627 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140659903134328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21628] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21628/stat : 21628 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140659902081736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21631] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21631/stat : 21631 (java) S 21608 21610 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254254076 10060460032 81030 33554432000 1073741824 1073778376 140733893486560 140659898922664 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.52 Current children cumulated vsize (KiB) 9824668 [startup+6.30084 s] /proc/loadavg: 2.88 2.98 3.18 2/216 21647 /proc/meminfo: memFree=27375148/32873844 swapFree=7384/7384 [pid=21610] ppid=21608 vsize=9824668 CPUtime=11.55 cores=1,3,5,7 /proc/21610/stat : 21610 (java) S 21608 21610 18255 0 -1 4202496 29326 0 1 0 1123 32 0 0 20 0 22 0 254254025 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140733893477696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21610/statm: 2456167 127733 2288 9 0 2446860 0 [pid=21610/tid=21612] ppid=21608 vsize=9824668 CPUtime=0.48 cores=1,3,5,7 /proc/21610/task/21612/stat : 21612 (java) S 21608 21610 18255 0 -1 4202560 2470 0 1 0 46 2 0 0 20 0 22 0 254254026 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140660555248632 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21613] ppid=21608 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/21610/task/21613/stat : 21613 (java) S 21608 21610 18255 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 254254027 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140660516739880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21614] ppid=21608 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/21610/task/21614/stat : 21614 (java) S 21608 21610 18255 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 254254027 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140660515687080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21615] ppid=21608 vsize=9824668 CPUtime=0.03 cores=1,3,5,7 /proc/21610/task/21615/stat : 21615 (java) S 21608 21610 18255 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 254254027 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140660397042728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21616] ppid=21608 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/21610/task/21616/stat : 21616 (java) S 21608 21610 18255 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 254254027 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140660395989928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21617] ppid=21608 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/21610/task/21617/stat : 21617 (java) S 21608 21610 18255 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 254254027 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140660394936616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21618] ppid=21608 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/21610/task/21618/stat : 21618 (java) S 21608 21610 18255 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254254027 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140660393883816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21619] ppid=21608 vsize=9824668 CPUtime=0.03 cores=1,3,5,7 /proc/21610/task/21619/stat : 21619 (java) S 21608 21610 18255 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 254254027 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140660392831528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21620] ppid=21608 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/21610/task/21620/stat : 21620 (java) S 21608 21610 18255 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 254254027 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140660391778728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21621] ppid=21608 vsize=9824668 CPUtime=0.23 cores=1,3,5,7 /proc/21610/task/21621/stat : 21621 (java) S 21608 21610 18255 0 -1 4202560 238 0 0 0 23 0 0 0 20 0 22 0 254254028 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140659909450472 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21622] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21622/stat : 21622 (java) S 21608 21610 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254254028 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140659908396536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21623] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21623/stat : 21623 (java) S 21608 21610 18255 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254254028 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140659907344136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21624] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21624/stat : 21624 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140659906292624 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21625] ppid=21608 vsize=9824668 CPUtime=1.77 cores=1,3,5,7 /proc/21610/task/21625/stat : 21625 (java) S 21608 21610 18255 0 -1 4202560 13092 0 0 0 174 3 0 0 20 0 22 0 254254031 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140659905239224 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21626] ppid=21608 vsize=9824668 CPUtime=1.36 cores=1,3,5,7 /proc/21610/task/21626/stat : 21626 (java) S 21608 21610 18255 0 -1 4202560 11896 0 0 0 132 4 0 0 20 0 22 0 254254031 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140659904186424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21627] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21627/stat : 21627 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140659903134328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21628] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21628/stat : 21628 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 127733 33554432000 1073741824 1073778376 140733893486560 140659902081736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 ################ # More data... # ################ [pid=21610/tid=21616] ppid=21608 vsize=9824668 CPUtime=3.1 cores=1,3,5,7 /proc/21610/task/21616/stat : 21616 (java) S 21608 21610 18255 0 -1 4202560 749 0 0 0 295 15 0 0 20 0 22 0 254254027 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140660395989928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21617] ppid=21608 vsize=9824668 CPUtime=3.09 cores=1,3,5,7 /proc/21610/task/21617/stat : 21617 (java) S 21608 21610 18255 0 -1 4202560 804 0 0 0 296 13 0 0 20 0 22 0 254254027 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140660394936616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21618] ppid=21608 vsize=9824668 CPUtime=3.24 cores=1,3,5,7 /proc/21610/task/21618/stat : 21618 (java) S 21608 21610 18255 0 -1 4202560 943 0 0 0 309 15 0 0 20 0 22 0 254254027 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140660393883816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21619] ppid=21608 vsize=9824668 CPUtime=3.15 cores=1,3,5,7 /proc/21610/task/21619/stat : 21619 (java) S 21608 21610 18255 0 -1 4202560 602 0 0 0 301 14 0 0 20 0 22 0 254254027 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140660392831528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21620] ppid=21608 vsize=9824668 CPUtime=3.14 cores=1,3,5,7 /proc/21610/task/21620/stat : 21620 (java) S 21608 21610 18255 0 -1 4202560 758 0 0 0 299 15 0 0 20 0 22 0 254254027 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140660391778728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21621] ppid=21608 vsize=9824668 CPUtime=47.12 cores=1,3,5,7 /proc/21610/task/21621/stat : 21621 (java) S 21608 21610 18255 0 -1 4202560 1605 0 0 0 4690 22 0 0 20 0 22 0 254254028 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140659909450472 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21622] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21622/stat : 21622 (java) S 21608 21610 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254254028 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140659908396536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21623] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21623/stat : 21623 (java) S 21608 21610 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254254028 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140659907344136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21624] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21624/stat : 21624 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140659906292624 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21625] ppid=21608 vsize=9824668 CPUtime=2.05 cores=1,3,5,7 /proc/21610/task/21625/stat : 21625 (java) S 21608 21610 18255 0 -1 4202560 13096 0 0 0 202 3 0 0 20 0 22 0 254254031 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140659905239224 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21626] ppid=21608 vsize=9824668 CPUtime=1.45 cores=1,3,5,7 /proc/21610/task/21626/stat : 21626 (java) S 21608 21610 18255 0 -1 4202560 11900 0 0 0 141 4 0 0 20 0 22 0 254254031 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140659904186424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21627] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21627/stat : 21627 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140659903134328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21628] ppid=21608 vsize=9824668 CPUtime=0.42 cores=1,3,5,7 /proc/21610/task/21628/stat : 21628 (java) S 21608 21610 18255 0 -1 4202560 51 0 0 0 19 23 0 0 20 0 22 0 254254031 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140659902081736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21662] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21662/stat : 21662 (java) S 21608 21610 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254255027 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140659898922280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21706] ppid=21608 vsize=9824668 CPUtime=708.61 cores=1,3,5,7 /proc/21610/task/21706/stat : 21706 (java) R 21608 21610 18255 0 -1 4202560 156 0 0 0 70848 13 0 0 20 0 22 0 254266825 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140659897867552 140660397869559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21707] ppid=21608 vsize=9824668 CPUtime=708.62 cores=1,3,5,7 /proc/21610/task/21707/stat : 21707 (java) R 21608 21610 18255 0 -1 4202560 3168 0 0 0 70840 22 0 0 20 0 22 0 254266825 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140659899971952 140660397909594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21708] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21708/stat : 21708 (java) S 21608 21610 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254266826 10060460032 470446 33554432000 1073741824 1073778376 140733893486560 140659901027496 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1718.3 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+923.501 s] /proc/loadavg: 3.98 3.67 3.35 5/219 21901 /proc/meminfo: memFree=24629712/32873844 swapFree=7384/7384 [pid=21610] ppid=21608 vsize=9824668 CPUtime=1799.99 cores=1,3,5,7 /proc/21610/stat : 21610 (java) S 21608 21610 18255 0 -1 4202496 40302 0 1 0 179735 264 0 0 20 0 22 0 254254025 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140733893477696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21610/statm: 2456167 500694 2289 9 0 2446860 0 [pid=21610/tid=21612] ppid=21608 vsize=9824668 CPUtime=0.55 cores=1,3,5,7 /proc/21610/task/21612/stat : 21612 (java) S 21608 21610 18255 0 -1 4202560 2527 0 1 0 50 5 0 0 20 0 22 0 254254026 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660555248632 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21613] ppid=21608 vsize=9824668 CPUtime=3.39 cores=1,3,5,7 /proc/21610/task/21613/stat : 21613 (java) S 21608 21610 18255 0 -1 4202560 611 0 0 0 323 16 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660516739880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21614] ppid=21608 vsize=9824668 CPUtime=3.22 cores=1,3,5,7 /proc/21610/task/21614/stat : 21614 (java) S 21608 21610 18255 0 -1 4202560 487 0 0 0 307 15 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660515687080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21615] ppid=21608 vsize=9824668 CPUtime=3.27 cores=1,3,5,7 /proc/21610/task/21615/stat : 21615 (java) S 21608 21610 18255 0 -1 4202560 661 0 0 0 314 13 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660397042728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21616] ppid=21608 vsize=9824668 CPUtime=3.25 cores=1,3,5,7 /proc/21610/task/21616/stat : 21616 (java) S 21608 21610 18255 0 -1 4202560 759 0 0 0 310 15 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660395989928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21617] ppid=21608 vsize=9824668 CPUtime=3.19 cores=1,3,5,7 /proc/21610/task/21617/stat : 21617 (java) S 21608 21610 18255 0 -1 4202560 820 0 0 0 306 13 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660394936616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21618] ppid=21608 vsize=9824668 CPUtime=3.38 cores=1,3,5,7 /proc/21610/task/21618/stat : 21618 (java) S 21608 21610 18255 0 -1 4202560 949 0 0 0 322 16 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660393883816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21619] ppid=21608 vsize=9824668 CPUtime=3.25 cores=1,3,5,7 /proc/21610/task/21619/stat : 21619 (java) S 21608 21610 18255 0 -1 4202560 618 0 0 0 310 15 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660392831528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21620] ppid=21608 vsize=9824668 CPUtime=3.25 cores=1,3,5,7 /proc/21610/task/21620/stat : 21620 (java) S 21608 21610 18255 0 -1 4202560 774 0 0 0 310 15 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660391778728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21621] ppid=21608 vsize=9824668 CPUtime=48.3 cores=1,3,5,7 /proc/21610/task/21621/stat : 21621 (java) S 21608 21610 18255 0 -1 4202560 1649 0 0 0 4807 23 0 0 20 0 22 0 254254028 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659909450472 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21622] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21622/stat : 21622 (java) S 21608 21610 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254254028 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659908396536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21623] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21623/stat : 21623 (java) S 21608 21610 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254254028 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659907344136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21624] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21624/stat : 21624 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659906292624 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21625] ppid=21608 vsize=9824668 CPUtime=2.05 cores=1,3,5,7 /proc/21610/task/21625/stat : 21625 (java) S 21608 21610 18255 0 -1 4202560 13096 0 0 0 202 3 0 0 20 0 22 0 254254031 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659905239224 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21626] ppid=21608 vsize=9824668 CPUtime=1.45 cores=1,3,5,7 /proc/21610/task/21626/stat : 21626 (java) S 21608 21610 18255 0 -1 4202560 11900 0 0 0 141 4 0 0 20 0 22 0 254254031 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659904186424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21627] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21627/stat : 21627 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659903134328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21628] ppid=21608 vsize=9824668 CPUtime=0.44 cores=1,3,5,7 /proc/21610/task/21628/stat : 21628 (java) S 21608 21610 18255 0 -1 4202560 53 0 0 0 20 24 0 0 20 0 22 0 254254031 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659902081736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21662] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21662/stat : 21662 (java) S 21608 21610 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254255027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659898922280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21706] ppid=21608 vsize=9824668 CPUtime=748.26 cores=1,3,5,7 /proc/21610/task/21706/stat : 21706 (java) R 21608 21610 18255 0 -1 4202560 157 0 0 0 74812 14 0 0 20 0 22 0 254266825 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659897867552 140660397869559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21707] ppid=21608 vsize=9824668 CPUtime=748.27 cores=1,3,5,7 /proc/21610/task/21707/stat : 21707 (java) R 21608 21610 18255 0 -1 4202560 3199 0 0 0 74803 24 0 0 20 0 22 0 254266825 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659899971824 140660398008015 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21708] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21708/stat : 21708 (java) S 21608 21610 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254266826 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659901027496 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+923.501 s] /proc/loadavg: 3.98 3.67 3.35 5/219 21901 /proc/meminfo: memFree=24629712/32873844 swapFree=7384/7384 [pid=21610] ppid=21608 vsize=9824668 CPUtime=1799.99 cores=1,3,5,7 /proc/21610/stat : 21610 (java) S 21608 21610 18255 0 -1 4202496 40302 0 1 0 179735 264 0 0 20 0 22 0 254254025 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140733893477696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/21610/statm: 2456167 500694 2289 9 0 2446860 0 [pid=21610/tid=21612] ppid=21608 vsize=9824668 CPUtime=0.55 cores=1,3,5,7 /proc/21610/task/21612/stat : 21612 (java) S 21608 21610 18255 0 -1 4202560 2527 0 1 0 50 5 0 0 20 0 22 0 254254026 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660555248632 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21613] ppid=21608 vsize=9824668 CPUtime=3.39 cores=1,3,5,7 /proc/21610/task/21613/stat : 21613 (java) S 21608 21610 18255 0 -1 4202560 611 0 0 0 323 16 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660516739880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21614] ppid=21608 vsize=9824668 CPUtime=3.22 cores=1,3,5,7 /proc/21610/task/21614/stat : 21614 (java) S 21608 21610 18255 0 -1 4202560 487 0 0 0 307 15 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660515687080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21615] ppid=21608 vsize=9824668 CPUtime=3.27 cores=1,3,5,7 /proc/21610/task/21615/stat : 21615 (java) S 21608 21610 18255 0 -1 4202560 661 0 0 0 314 13 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660397042728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21616] ppid=21608 vsize=9824668 CPUtime=3.25 cores=1,3,5,7 /proc/21610/task/21616/stat : 21616 (java) S 21608 21610 18255 0 -1 4202560 759 0 0 0 310 15 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660395989928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21617] ppid=21608 vsize=9824668 CPUtime=3.19 cores=1,3,5,7 /proc/21610/task/21617/stat : 21617 (java) S 21608 21610 18255 0 -1 4202560 820 0 0 0 306 13 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660394936616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21618] ppid=21608 vsize=9824668 CPUtime=3.38 cores=1,3,5,7 /proc/21610/task/21618/stat : 21618 (java) S 21608 21610 18255 0 -1 4202560 949 0 0 0 322 16 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660393883816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21619] ppid=21608 vsize=9824668 CPUtime=3.25 cores=1,3,5,7 /proc/21610/task/21619/stat : 21619 (java) S 21608 21610 18255 0 -1 4202560 618 0 0 0 310 15 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660392831528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21620] ppid=21608 vsize=9824668 CPUtime=3.25 cores=1,3,5,7 /proc/21610/task/21620/stat : 21620 (java) S 21608 21610 18255 0 -1 4202560 774 0 0 0 310 15 0 0 20 0 22 0 254254027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140660391778728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21621] ppid=21608 vsize=9824668 CPUtime=48.3 cores=1,3,5,7 /proc/21610/task/21621/stat : 21621 (java) S 21608 21610 18255 0 -1 4202560 1649 0 0 0 4807 23 0 0 20 0 22 0 254254028 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659909450472 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21622] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21622/stat : 21622 (java) S 21608 21610 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254254028 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659908396536 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21623] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21623/stat : 21623 (java) S 21608 21610 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254254028 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659907344136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21624] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21624/stat : 21624 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659906292624 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21625] ppid=21608 vsize=9824668 CPUtime=2.05 cores=1,3,5,7 /proc/21610/task/21625/stat : 21625 (java) S 21608 21610 18255 0 -1 4202560 13096 0 0 0 202 3 0 0 20 0 22 0 254254031 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659905239224 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21626] ppid=21608 vsize=9824668 CPUtime=1.45 cores=1,3,5,7 /proc/21610/task/21626/stat : 21626 (java) S 21608 21610 18255 0 -1 4202560 11900 0 0 0 141 4 0 0 20 0 22 0 254254031 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659904186424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21627] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21627/stat : 21627 (java) S 21608 21610 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254254031 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659903134328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21628] ppid=21608 vsize=9824668 CPUtime=0.44 cores=1,3,5,7 /proc/21610/task/21628/stat : 21628 (java) S 21608 21610 18255 0 -1 4202560 53 0 0 0 20 24 0 0 20 0 22 0 254254031 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659902081736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21610/tid=21662] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21662/stat : 21662 (java) S 21608 21610 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254255027 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659898922280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21610/tid=21706] ppid=21608 vsize=9824668 CPUtime=748.26 cores=1,3,5,7 /proc/21610/task/21706/stat : 21706 (java) R 21608 21610 18255 0 -1 4202560 157 0 0 0 74812 14 0 0 20 0 22 0 254266825 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659897867552 140660397869559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21610/tid=21707] ppid=21608 vsize=9824668 CPUtime=748.27 cores=1,3,5,7 /proc/21610/task/21707/stat : 21707 (java) R 21608 21610 18255 0 -1 4202560 3199 0 0 0 74803 24 0 0 20 0 22 0 254266825 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659899971824 140660398008015 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21610/tid=21708] ppid=21608 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/21610/task/21708/stat : 21708 (java) S 21608 21610 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254266826 10060460032 500694 33554432000 1073741824 1073778376 140733893486560 140659901027496 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 9824668 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21610 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=639325 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=984546 # CPU time returned by wait4() is 1796.62 # while last known CPU time is 1799.99 # # 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.189983 # lost CPU user time (s): 0.219997 # lost CPU system time (s): -0.03 Real time (s): 923.565 CPU time (s): 1800.18 CPU user time (s): 1797.57 CPU system time (s): 2.61 CPU usage (%): 194.916 Max. virtual memory (cumulated for all children) (KiB): 9825876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.64 system time used= 2.98455 maximum resident set size= 2002888 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40332 page faults= 1 swaps= 0 block input operations= 0 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 32291 involuntary context switches= 49689 runsolver used 3.49947 second user time and 9.04462 second system time The end
Begin job on node136 at 2012-05-24 19:41:26 IDJOB=3689144 IDBENCH=72483 IDSOLVER=2268 FILE ID=node136/3689144-1337881286 RUNJOBID= node136-1337871880-18272 PBS_JOBID= 14620068 Free space on /tmp= 71716 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_10_errors.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689144-1337881286/watcher-3689144-1337881286 -o /tmp/evaluation-result-3689144-1337881286/solver-3689144-1337881286 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689144-1337881286.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b561a61efc46169e6f19abce33721598 RANDOM SEED=680462324 node136.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 : 2667.247 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 : 5334.49 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 : 2667.247 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 : 5331.91 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 : 2667.247 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 : 5331.94 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 : 2667.247 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 : 5331.90 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 : 2667.247 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 : 5331.90 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 : 2667.247 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 : 5331.90 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 : 2667.247 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 : 5331.91 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 : 2667.247 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27719892 kB Buffers: 284136 kB Cached: 1906556 kB SwapCached: 24460 kB Active: 2763540 kB Inactive: 1616784 kB Active(anon): 2164360 kB Inactive(anon): 25096 kB Active(file): 599180 kB Inactive(file): 1591688 kB Unevictable: 7384 kB Mlocked: 7384 kB SwapTotal: 67108856 kB SwapFree: 67079072 kB Dirty: 256 kB Writeback: 0 kB AnonPages: 2175080 kB Mapped: 17988 kB Shmem: 0 kB Slab: 626752 kB SReclaimable: 68492 kB SUnreclaim: 558260 kB KernelStack: 1624 kB PageTables: 8788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 2404576 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2105344 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node136 at 2012-05-24 19:56:51