Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | OPTIMUM | 104.813 | 103.413 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo |
MD5SUM | a2fcadde47f67cca69c2b162b15fa373 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 0.142978 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 101 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 5034 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 5033 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1327 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.07 c See www.sat4j.org for details. 0.01/0.07 c version 2.2.1.v20100705 0.01/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.01/0.07 c java.vm.version 11.2-b01 0.01/0.07 c java.vm.vendor Sun Microsystems Inc. 0.01/0.07 c sun.arch.data.model 32 0.01/0.07 c java.version 1.6.0_12 0.01/0.07 c os.name Linux 0.01/0.07 c os.version 2.6.18-164.el5 0.01/0.07 c os.arch i386 0.01/0.07 c Free memory 1393557488 0.01/0.07 c Max memory 1395916800 0.01/0.07 c Total memory 1395916800 0.01/0.07 c Number of processors 8 0.01/0.09 c Pseudo Boolean Optimization 0.01/0.09 c --- Begin Solver configuration --- 0.01/0.09 c Stops conflict analysis at the first Unique Implication Point 0.01/0.09 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b 0.01/0.09 c Learn all clauses as in MiniSAT 0.01/0.09 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.01/0.09 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.01/0.09 c Expensive reason simplification 0.01/0.09 c Armin Biere (Picosat) restarts strategy 0.01/0.09 c Glucose learned constraints deletion strategy 0.01/0.09 c timeout=2147483s 0.01/0.09 c DB Simplification allowed=false 0.01/0.09 c --- End Solver configuration --- 0.01/0.09 c solving HOME/instance-2698728-1278327544.wbo 0.01/0.09 c reading problem ... 0.11/0.15 c ... done. Wall clock time 0.054s. 0.11/0.15 c #vars 270 0.11/0.15 c #constraints 101 0.11/0.15 c constraints type 0.11/0.15 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.11/0.15 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.31/0.24 c SATISFIABLE 0.31/0.24 c OPTIMIZING... 0.31/0.24 c Got one! Elapsed wall clock time (in seconds):0.144 0.31/0.24 o 861 0.62/0.31 c Got one! Elapsed wall clock time (in seconds):0.221 0.62/0.31 o 748 0.62/0.34 c Got one! Elapsed wall clock time (in seconds):0.247 0.62/0.34 o 680 0.62/0.35 c Got one! Elapsed wall clock time (in seconds):0.263 0.62/0.35 o 580 0.62/0.38 c Got one! Elapsed wall clock time (in seconds):0.289 0.62/0.38 o 513 0.77/0.41 c Got one! Elapsed wall clock time (in seconds):0.32 0.77/0.41 o 505 0.77/0.43 c Got one! Elapsed wall clock time (in seconds):0.338 0.77/0.43 o 489 0.77/0.46 c Got one! Elapsed wall clock time (in seconds):0.364 0.77/0.46 o 478 0.77/0.49 c Got one! Elapsed wall clock time (in seconds):0.396 0.77/0.49 o 476 0.92/0.59 c Got one! Elapsed wall clock time (in seconds):0.498 0.92/0.59 o 446 1.02/0.61 c cleaning 2497 clauses out of 5000 with flag 5000/5000 1.14/0.77 c Got one! Elapsed wall clock time (in seconds):0.676 1.14/0.77 o 405 1.25/0.81 c Got one! Elapsed wall clock time (in seconds):0.714 1.25/0.81 o 386 1.47/1.07 c cleaning 4251 clauses out of 8503 with flag 11000/11000 1.47/1.10 c Got one! Elapsed wall clock time (in seconds):1.01 1.47/1.10 o 371 1.68/1.29 c Got one! Elapsed wall clock time (in seconds):1.197 1.68/1.29 o 347 1.88/1.48 c Got one! Elapsed wall clock time (in seconds):1.385 1.88/1.48 o 345 1.98/1.51 c cleaning 5623 clauses out of 11253 with flag 18001/18001 2.09/1.60 c Got one! Elapsed wall clock time (in seconds):1.506 2.09/1.60 o 314 2.39/1.93 c Got one! Elapsed wall clock time (in seconds):1.834 2.39/1.93 o 308 2.52/2.03 c cleaning 6807 clauses out of 13632 with flag 26003/26003 2.74/2.24 c Got one! Elapsed wall clock time (in seconds):2.148 2.74/2.24 o 299 3.06/2.59 c cleaning 7909 clauses out of 15823 with flag 35001/35001 3.86/3.33 c cleaning 8955 clauses out of 17914 with flag 45001/45001 4.15/3.65 c Got one! Elapsed wall clock time (in seconds):3.561 4.15/3.65 o 287 4.55/4.01 c cleaning 9473 clauses out of 18958 with flag 55000/55000 4.76/4.26 c Got one! Elapsed wall clock time (in seconds):4.165 4.76/4.26 o 269 5.16/4.67 c cleaning 9740 clauses out of 19487 with flag 65002/65002 5.86/5.30 c cleaning 9869 clauses out of 19746 with flag 75001/75001 6.36/5.88 c cleaning 9931 clauses out of 19876 with flag 85000/85000 6.56/6.02 c Got one! Elapsed wall clock time (in seconds):5.933 6.56/6.02 o 260 6.96/6.45 c cleaning 9968 clauses out of 19945 with flag 95000/95000 7.66/7.18 c cleaning 9985 clauses out of 19980 with flag 105003/105003 7.76/7.21 c Got one! Elapsed wall clock time (in seconds):7.117 7.76/7.21 o 238 8.17/7.63 c Got one! Elapsed wall clock time (in seconds):7.538 8.17/7.63 o 237 8.36/7.86 c cleaning 9992 clauses out of 19992 with flag 115000/115000 9.07/8.52 c cleaning 9999 clauses out of 20002 with flag 125002/125002 9.17/8.68 c Got one! Elapsed wall clock time (in seconds):8.589 9.17/8.68 o 231 9.76/9.15 c cleaning 9994 clauses out of 20002 with flag 135001/135001 10.37/9.71 c cleaning 10002 clauses out of 20009 with flag 145002/145002 10.37/9.80 c Got one! Elapsed wall clock time (in seconds):9.708 10.37/9.80 o 230 10.98/10.38 c cleaning 10001 clauses out of 20007 with flag 155002/155002 11.38/10.70 c Got one! Elapsed wall clock time (in seconds):10.61 11.38/10.70 o 220 11.69/11.01 c cleaning 9998 clauses out of 20004 with flag 165000/165000 11.89/11.21 c Got one! Elapsed wall clock time (in seconds):11.122 11.89/11.21 o 191 12.56/11.60 c cleaning 9998 clauses out of 20006 with flag 175000/175000 13.07/12.11 c cleaning 10004 clauses out of 20017 with flag 185009/185009 13.66/12.71 c cleaning 9996 clauses out of 20006 with flag 195002/195002 14.26/13.35 c cleaning 10001 clauses out of 20011 with flag 205003/205003 14.96/14.08 c cleaning 9998 clauses out of 20010 with flag 215003/215003 15.66/14.75 c cleaning 9999 clauses out of 20011 with flag 225002/225002 16.37/15.43 c cleaning 9993 clauses out of 20010 with flag 235000/235000 17.06/16.10 c cleaning 10005 clauses out of 20017 with flag 245000/245000 17.67/16.78 c cleaning 9999 clauses out of 20012 with flag 255000/255000 18.37/17.45 c cleaning 9999 clauses out of 20013 with flag 265000/265000 18.97/18.08 c cleaning 10004 clauses out of 20014 with flag 275000/275000 19.68/18.71 c cleaning 9991 clauses out of 20010 with flag 285000/285000 19.97/19.03 c Got one! Elapsed wall clock time (in seconds):18.94 19.97/19.03 o 187 20.17/19.29 c cleaning 10007 clauses out of 20019 with flag 295000/295000 20.78/19.85 c cleaning 10003 clauses out of 20018 with flag 305006/305006 21.17/20.24 c Got one! Elapsed wall clock time (in seconds):20.146 21.17/20.24 o 181 21.37/20.44 c cleaning 10000 clauses out of 20009 with flag 315000/315000 21.97/21.04 c cleaning 10000 clauses out of 20011 with flag 325002/325002 22.28/21.33 c Got one! Elapsed wall clock time (in seconds):21.238 22.28/21.33 o 175 22.58/21.64 c cleaning 10002 clauses out of 20011 with flag 335002/335002 23.18/22.21 c cleaning 9993 clauses out of 20007 with flag 345000/345000 23.18/22.22 c Got one! Elapsed wall clock time (in seconds):22.129 23.18/22.22 o 164 23.68/22.76 c cleaning 10004 clauses out of 20014 with flag 355000/355000 24.28/23.30 c cleaning 10001 clauses out of 20011 with flag 365001/365001 24.48/23.52 c Got one! Elapsed wall clock time (in seconds):23.426 24.48/23.52 o 128 24.79/23.88 c cleaning 10001 clauses out of 20010 with flag 375001/375001 25.39/24.41 c cleaning 9999 clauses out of 20008 with flag 385000/385000 25.89/24.91 c cleaning 9999 clauses out of 20010 with flag 395001/395001 26.50/25.56 c cleaning 10000 clauses out of 20010 with flag 405000/405000 27.00/25.84 c Got one! Elapsed wall clock time (in seconds):25.752 27.00/25.84 o 125 27.32/26.17 c cleaning 10001 clauses out of 20010 with flag 415000/415000 27.95/26.71 c cleaning 10001 clauses out of 20010 with flag 425001/425001 28.45/27.24 c cleaning 9996 clauses out of 20008 with flag 435000/435000 29.05/27.80 c cleaning 10002 clauses out of 20013 with flag 445001/445001 29.55/28.32 c cleaning 9997 clauses out of 20010 with flag 455000/455000 30.25/29.03 c cleaning 10004 clauses out of 20013 with flag 465000/465000 30.85/29.67 c cleaning 9998 clauses out of 20009 with flag 475000/475000 30.95/29.79 c Got one! Elapsed wall clock time (in seconds):29.699 30.95/29.79 o 124 31.45/30.23 c cleaning 10002 clauses out of 20012 with flag 485001/485001 32.15/30.91 c cleaning 9999 clauses out of 20009 with flag 495000/495000 32.36/31.13 c Got one! Elapsed wall clock time (in seconds):31.035 32.36/31.13 o 123 32.66/31.48 c cleaning 10001 clauses out of 20010 with flag 505000/505000 33.26/32.08 c cleaning 9996 clauses out of 20012 with flag 515003/515003 33.96/32.78 c cleaning 10000 clauses out of 20013 with flag 525000/525000 34.26/33.03 c Got one! Elapsed wall clock time (in seconds):32.943 34.26/33.03 o 105 34.56/33.36 c cleaning 10004 clauses out of 20014 with flag 535001/535001 35.16/33.90 c cleaning 10001 clauses out of 20009 with flag 545000/545000 35.66/34.48 c cleaning 10001 clauses out of 20008 with flag 555000/555000 36.37/35.12 c cleaning 10003 clauses out of 20009 with flag 565002/565002 36.96/35.77 c cleaning 9998 clauses out of 20006 with flag 575002/575002 37.66/36.44 c cleaning 9992 clauses out of 20006 with flag 585000/585000 38.37/37.13 c cleaning 9995 clauses out of 20014 with flag 595000/595000 39.27/38.00 c cleaning 10006 clauses out of 20021 with flag 605002/605002 39.27/38.04 c Got one! Elapsed wall clock time (in seconds):37.944 39.27/38.04 o 102 39.78/38.55 c cleaning 10003 clauses out of 20014 with flag 615001/615001 40.27/39.09 c cleaning 10002 clauses out of 20011 with flag 625001/625001 40.88/39.68 c cleaning 9998 clauses out of 20014 with flag 635006/635006 41.48/40.27 c cleaning 9998 clauses out of 20010 with flag 645000/645000 42.08/40.82 c cleaning 9996 clauses out of 20012 with flag 655000/655000 42.78/41.54 c cleaning 10007 clauses out of 20017 with flag 665001/665001 43.48/42.27 c cleaning 9999 clauses out of 20009 with flag 675000/675000 44.18/42.98 c cleaning 9999 clauses out of 20010 with flag 685000/685000 44.98/43.71 c cleaning 10004 clauses out of 20013 with flag 695002/695002 45.48/44.28 c cleaning 9999 clauses out of 20007 with flag 705000/705000 46.19/44.92 c cleaning 10002 clauses out of 20008 with flag 715000/715000 46.59/45.32 c Got one! Elapsed wall clock time (in seconds):45.231 46.59/45.32 o 97 46.79/45.58 c cleaning 10000 clauses out of 20006 with flag 725000/725000 47.09/45.84 c Got one! Elapsed wall clock time (in seconds):45.75 47.09/45.84 o 94 47.40/46.15 c cleaning 10000 clauses out of 20007 with flag 735001/735001 47.70/46.42 c Got one! Elapsed wall clock time (in seconds):46.327 47.70/46.42 o 60 48.00/46.74 c cleaning 9999 clauses out of 20006 with flag 745000/745000 48.40/47.19 c cleaning 9996 clauses out of 20007 with flag 755000/755000 48.90/47.63 c cleaning 9998 clauses out of 20013 with flag 765002/765002 49.40/48.15 c cleaning 10000 clauses out of 20013 with flag 775000/775000 49.50/48.27 c Got one! Elapsed wall clock time (in seconds):48.18 49.50/48.27 o 40 49.90/48.61 c cleaning 9999 clauses out of 20013 with flag 785000/785000 50.30/49.08 c cleaning 10003 clauses out of 20014 with flag 795000/795000 50.90/49.67 c cleaning 10002 clauses out of 20012 with flag 805001/805001 51.30/50.06 c Got one! Elapsed wall clock time (in seconds):49.972 51.30/50.06 o 39 51.40/50.15 c cleaning 10001 clauses out of 20009 with flag 815000/815000 51.91/50.61 c cleaning 10001 clauses out of 20009 with flag 825001/825001 52.30/51.07 c cleaning 10000 clauses out of 20007 with flag 835000/835000 52.80/51.54 c cleaning 10000 clauses out of 20008 with flag 845001/845001 53.40/52.18 c cleaning 10000 clauses out of 20008 with flag 855001/855001 54.01/52.72 c cleaning 9997 clauses out of 20007 with flag 865000/865000 54.40/53.18 c cleaning 9998 clauses out of 20011 with flag 875001/875001 54.90/53.62 c cleaning 10003 clauses out of 20013 with flag 885001/885001 55.30/54.06 c cleaning 10000 clauses out of 20009 with flag 895000/895000 55.80/54.54 c cleaning 10000 clauses out of 20009 with flag 905000/905000 56.31/55.03 c cleaning 10000 clauses out of 20010 with flag 915001/915001 56.80/55.52 c cleaning 9996 clauses out of 20009 with flag 925000/925000 57.20/55.98 c cleaning 10002 clauses out of 20013 with flag 935000/935000 57.60/56.33 c Got one! Elapsed wall clock time (in seconds):56.239 57.60/56.33 o 35 57.70/56.42 c cleaning 10006 clauses out of 20017 with flag 945006/945006 58.10/56.89 c cleaning 9999 clauses out of 20007 with flag 955002/955002 58.60/57.36 c cleaning 9999 clauses out of 20007 with flag 965001/965001 59.10/57.84 c cleaning 9999 clauses out of 20008 with flag 975001/975001 59.61/58.32 c cleaning 9999 clauses out of 20008 with flag 985000/985000 60.10/58.82 c cleaning 9999 clauses out of 20009 with flag 995000/995000 60.50/59.29 c cleaning 9999 clauses out of 20010 with flag 1005000/1005000 61.01/59.75 c cleaning 10001 clauses out of 20012 with flag 1015001/1015001 61.51/60.21 c cleaning 10003 clauses out of 20013 with flag 1025003/1025003 61.91/60.65 c cleaning 9995 clauses out of 20007 with flag 1035000/1035000 62.31/61.08 c cleaning 10003 clauses out of 20013 with flag 1045001/1045001 62.71/61.49 c cleaning 10001 clauses out of 20010 with flag 1055001/1055001 63.01/61.74 c Got one! Elapsed wall clock time (in seconds):61.649 63.01/61.74 o 32 63.21/61.94 c cleaning 10003 clauses out of 20011 with flag 1065003/1065003 63.71/62.40 c cleaning 9995 clauses out of 20005 with flag 1075000/1075000 64.11/62.85 c cleaning 10003 clauses out of 20011 with flag 1085001/1085001 64.62/63.33 c cleaning 10000 clauses out of 20008 with flag 1095001/1095001 65.02/63.77 c cleaning 10001 clauses out of 20008 with flag 1105001/1105001 65.52/64.24 c cleaning 9998 clauses out of 20006 with flag 1115000/1115000 66.02/64.79 c cleaning 9999 clauses out of 20008 with flag 1125000/1125000 66.52/65.23 c cleaning 9999 clauses out of 20010 with flag 1135001/1135001 66.92/65.69 c cleaning 9999 clauses out of 20011 with flag 1145001/1145001 67.42/66.13 c cleaning 9997 clauses out of 20011 with flag 1155000/1155000 67.82/66.54 c cleaning 9998 clauses out of 20015 with flag 1165001/1165001 68.22/66.96 c cleaning 10007 clauses out of 20017 with flag 1175001/1175001 68.62/67.39 c cleaning 9997 clauses out of 20009 with flag 1185000/1185000 69.12/67.82 c cleaning 10000 clauses out of 20013 with flag 1195001/1195001 69.53/68.21 c cleaning 10002 clauses out of 20012 with flag 1205000/1205000 69.92/68.61 c cleaning 10001 clauses out of 20011 with flag 1215001/1215001 70.32/69.02 c cleaning 9999 clauses out of 20009 with flag 1225000/1225000 70.72/69.47 c cleaning 10000 clauses out of 20010 with flag 1235000/1235000 71.12/69.90 c cleaning 10001 clauses out of 20011 with flag 1245001/1245001 71.63/70.30 c cleaning 10000 clauses out of 20009 with flag 1255000/1255000 72.03/70.71 c cleaning 9998 clauses out of 20010 with flag 1265001/1265001 72.43/71.13 c cleaning 9999 clauses out of 20011 with flag 1275000/1275000 72.83/71.52 c cleaning 9993 clauses out of 20012 with flag 1285000/1285000 73.23/71.95 c cleaning 10001 clauses out of 20019 with flag 1295000/1295000 73.73/72.42 c cleaning 10001 clauses out of 20018 with flag 1305000/1305000 73.83/72.54 c Got one! Elapsed wall clock time (in seconds):72.446 73.83/72.54 o 31 74.13/72.88 c cleaning 10006 clauses out of 20018 with flag 1315001/1315001 74.63/73.35 c cleaning 10002 clauses out of 20012 with flag 1325001/1325001 75.13/73.82 c cleaning 10000 clauses out of 20010 with flag 1335001/1335001 75.53/74.29 c cleaning 10000 clauses out of 20010 with flag 1345001/1345001 76.04/74.76 c cleaning 10002 clauses out of 20011 with flag 1355002/1355002 76.53/75.23 c cleaning 9997 clauses out of 20007 with flag 1365000/1365000 76.94/75.66 c cleaning 10003 clauses out of 20011 with flag 1375001/1375001 77.44/76.11 c cleaning 10000 clauses out of 20008 with flag 1385001/1385001 77.83/76.54 c cleaning 9996 clauses out of 20007 with flag 1395000/1395000 78.24/76.96 c cleaning 10005 clauses out of 20015 with flag 1405004/1405004 78.74/77.48 c cleaning 9999 clauses out of 20007 with flag 1415001/1415001 79.24/77.96 c cleaning 10001 clauses out of 20010 with flag 1425003/1425003 79.64/78.37 c cleaning 10000 clauses out of 20008 with flag 1435002/1435002 80.14/78.80 c cleaning 10001 clauses out of 20007 with flag 1445001/1445001 80.55/79.23 c cleaning 9998 clauses out of 20007 with flag 1455002/1455002 80.94/79.68 c cleaning 9991 clauses out of 20007 with flag 1465000/1465000 81.34/80.10 c cleaning 10004 clauses out of 20016 with flag 1475000/1475000 81.84/80.54 c cleaning 9997 clauses out of 20013 with flag 1485001/1485001 82.24/80.97 c cleaning 10003 clauses out of 20015 with flag 1495000/1495000 82.75/81.41 c cleaning 10001 clauses out of 20013 with flag 1505001/1505001 83.15/81.85 c cleaning 10001 clauses out of 20011 with flag 1515000/1515000 83.55/82.29 c cleaning 10001 clauses out of 20010 with flag 1525000/1525000 84.05/82.73 c cleaning 10001 clauses out of 20011 with flag 1535002/1535002 84.45/83.17 c cleaning 9998 clauses out of 20009 with flag 1545001/1545001 84.96/83.61 c cleaning 10001 clauses out of 20011 with flag 1555001/1555001 84.96/83.66 c Got one! Elapsed wall clock time (in seconds):83.567 84.96/83.66 o 25 85.35/84.05 c cleaning 10001 clauses out of 20011 with flag 1565002/1565002 85.85/84.51 c cleaning 10001 clauses out of 20010 with flag 1575002/1575002 86.26/84.97 c cleaning 9996 clauses out of 20007 with flag 1585000/1585000 86.76/85.44 c cleaning 9998 clauses out of 20011 with flag 1595000/1595000 87.17/85.88 c cleaning 10005 clauses out of 20015 with flag 1605002/1605002 87.66/86.31 c cleaning 9998 clauses out of 20008 with flag 1615000/1615000 88.06/86.74 c cleaning 10002 clauses out of 20011 with flag 1625001/1625001 88.46/87.17 c cleaning 10001 clauses out of 20009 with flag 1635001/1635001 88.96/87.61 c cleaning 10001 clauses out of 20008 with flag 1645001/1645001 89.37/88.07 c cleaning 9996 clauses out of 20006 with flag 1655000/1655000 89.77/88.49 c cleaning 10000 clauses out of 20012 with flag 1665002/1665002 90.27/88.94 c cleaning 9999 clauses out of 20010 with flag 1675000/1675000 90.77/89.41 c cleaning 9999 clauses out of 20011 with flag 1685000/1685000 91.17/89.85 c cleaning 10001 clauses out of 20012 with flag 1695000/1695000 91.67/90.32 c cleaning 10002 clauses out of 20011 with flag 1705000/1705000 92.07/90.78 c cleaning 10001 clauses out of 20009 with flag 1715000/1715000 92.58/91.27 c cleaning 9998 clauses out of 20008 with flag 1725000/1725000 93.07/91.71 c cleaning 9996 clauses out of 20010 with flag 1735000/1735000 93.47/92.14 c cleaning 10004 clauses out of 20015 with flag 1745001/1745001 93.87/92.56 c cleaning 10001 clauses out of 20012 with flag 1755002/1755002 94.27/92.99 c cleaning 10002 clauses out of 20011 with flag 1765002/1765002 94.68/93.39 c cleaning 10000 clauses out of 20008 with flag 1775001/1775001 95.18/93.80 c cleaning 9999 clauses out of 20007 with flag 1785000/1785000 95.58/94.23 c cleaning 10003 clauses out of 20008 with flag 1795000/1795000 95.98/94.63 c cleaning 9993 clauses out of 20005 with flag 1805000/1805000 96.38/95.07 c cleaning 10003 clauses out of 20013 with flag 1815001/1815001 96.88/95.51 c cleaning 10000 clauses out of 20010 with flag 1825001/1825001 97.28/95.94 c cleaning 10000 clauses out of 20011 with flag 1835002/1835002 97.68/96.35 c cleaning 9995 clauses out of 20009 with flag 1845000/1845000 98.09/96.75 c cleaning 10002 clauses out of 20016 with flag 1855002/1855002 98.48/97.19 c cleaning 9998 clauses out of 20012 with flag 1865000/1865000 98.98/97.60 c cleaning 10005 clauses out of 20016 with flag 1875002/1875002 99.38/98.02 c cleaning 10001 clauses out of 20011 with flag 1885002/1885002 99.78/98.48 c cleaning 9999 clauses out of 20009 with flag 1895001/1895001 100.29/98.92 c cleaning 9999 clauses out of 20010 with flag 1905001/1905001 100.68/99.33 c cleaning 10001 clauses out of 20010 with flag 1915000/1915000 101.08/99.73 c cleaning 10002 clauses out of 20011 with flag 1925002/1925002 101.49/100.13 c cleaning 9998 clauses out of 20008 with flag 1935001/1935001 101.88/100.57 c cleaning 10001 clauses out of 20010 with flag 1945001/1945001 102.38/101.03 c cleaning 9996 clauses out of 20008 with flag 1955000/1955000 102.89/101.50 c cleaning 10000 clauses out of 20012 with flag 1965000/1965000 103.29/101.93 c cleaning 10002 clauses out of 20013 with flag 1975001/1975001 103.49/102.16 c Got one! Elapsed wall clock time (in seconds):102.072 103.49/102.16 o 17 103.69/102.39 c cleaning 10004 clauses out of 20012 with flag 1985002/1985002 104.19/102.85 c cleaning 10002 clauses out of 20009 with flag 1995003/1995003 104.59/103.29 c cleaning 9999 clauses out of 20004 with flag 2005000/2005000 104.70/103.38 c Got one! Elapsed wall clock time (in seconds):103.29 104.70/103.38 o 13 104.70/103.39 c Got one! Elapsed wall clock time (in seconds):103.294 104.70/103.39 o 10 104.70/103.40 c starts : 256 104.70/103.40 c conflicts : 2007258 104.70/103.40 c decisions : 3442405 104.70/103.40 c propagations : 52855386 104.70/103.40 c inspects : 443351237 104.70/103.40 c learnt literals : 0 104.70/103.40 c learnt binary clauses : 54 104.70/103.40 c learnt ternary clauses : 1047 104.70/103.40 c learnt clauses : 2007258 104.70/103.40 c ignored clauses : 0 104.70/103.40 c root simplifications : 0 104.70/103.40 c removed literals (reason simplification) : 11065436 104.70/103.40 c reason swapping (by a shorter reason) : 0 104.70/103.40 c Calls to reduceDB : 202 104.70/103.40 c number of reductions to clauses (during analyze) : 0 104.70/103.40 c number of learned constraints concerned by reduction : 0 104.70/103.40 c number of learning phase by resolution : 0 104.70/103.40 c number of learning phase by cutting planes : 0 104.70/103.40 c speed (assignments/second) : 3.5236924E9 104.70/103.40 c non guided choices 2400 104.70/103.40 c learnt constraints type 104.70/103.40 c constraints type 104.70/103.40 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 104.70/103.40 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 104.70/103.40 s OPTIMUM FOUND 104.80/103.40 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 104.80/103.40 c objective function=10 104.80/103.40 c Total wall clock time (in seconds): 103.311
OK 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698728-1278327544/watcher-2698728-1278327544 -o /tmp/evaluation-result-2698728-1278327544/solver-2698728-1278327544 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698728-1278327544.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.92 3/196 4583 /proc/meminfo: memFree=32149884/32951124 swapFree=67111528/67111528 [pid=4583] ppid=4581 vsize=13504 CPUtime=0 /proc/4583/stat : 4583 (java) S 4581 4583 3841 0 -1 4202496 1113 0 0 0 0 0 0 0 25 0 2 0 966605 13828096 583 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/4583/statm: 3377 586 267 10 0 1204 0 [pid=4583/tid=4584] ppid=4581 vsize=13508 CPUtime=0 /proc/4583/task/4584/stat : 4584 (java) R 4581 4583 3841 0 -1 4202560 73 0 0 0 0 0 0 0 25 0 2 0 966605 13832192 586 4089446400 134512640 134550932 4294922112 18446744073709551615 2585172 0 0 0 16784584 0 0 0 -1 0 0 0 0 [startup+0.0277049 s] /proc/loadavg: 2.00 2.00 1.92 3/196 4583 /proc/meminfo: memFree=32149884/32951124 swapFree=67111528/67111528 [pid=4583] ppid=4581 vsize=1525308 CPUtime=0.01 /proc/4583/stat : 4583 (java) S 4581 4583 3841 0 -1 4202496 3674 0 1 0 1 0 0 0 25 0 13 0 966605 1561915392 3115 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/4583/statm: 381327 3115 1030 10 0 378637 0 [pid=4583/tid=4584] ppid=4581 vsize=1525308 CPUtime=0.01 /proc/4583/task/4584/stat : 4584 (java) R 4581 4583 3841 0 -1 4202560 2607 0 1 0 1 0 0 0 25 0 13 0 966605 1561915392 3116 4089446400 134512640 134550932 4294922112 18446744073709551615 106835046 0 4 0 16784584 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1525308 [startup+0.100691 s] /proc/loadavg: 2.00 2.00 1.92 3/196 4583 /proc/meminfo: memFree=32149884/32951124 swapFree=67111528/67111528 [pid=4583] ppid=4581 vsize=1529968 CPUtime=0.11 /proc/4583/stat : 4583 (java) S 4581 4583 3841 0 -1 4202496 5228 0 1 0 10 1 0 0 25 0 18 0 966605 1566687232 4665 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4583/statm: 382492 4665 1347 10 0 379795 0 [pid=4583/tid=4584] ppid=4581 vsize=1529968 CPUtime=0.09 /proc/4583/task/4584/stat : 4584 (java) R 4581 4583 3841 0 -1 4202560 3582 0 1 0 8 1 0 0 18 0 18 0 966605 1566687232 4665 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529968 [startup+0.300651 s] /proc/loadavg: 2.00 2.00 1.92 3/196 4583 /proc/meminfo: memFree=32149884/32951124 swapFree=67111528/67111528 [pid=4583] ppid=4581 vsize=1533480 CPUtime=0.62 /proc/4583/stat : 4583 (java) S 4581 4583 3841 0 -1 4202496 7070 0 1 0 60 2 0 0 25 0 19 0 966605 1570283520 6188 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4583/statm: 383370 6189 1421 10 0 380673 0 [pid=4583/tid=4584] ppid=4581 vsize=1533480 CPUtime=0.28 /proc/4583/task/4584/stat : 4584 (java) R 4581 4583 3841 0 -1 4202560 4191 0 1 0 27 1 0 0 19 0 19 0 966605 1570283520 6189 4089446400 134512640 134550932 4294922112 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.62 Current children cumulated vsize (KiB) 1533480 [startup+0.700579 s] /proc/loadavg: 2.00 2.00 1.92 3/196 4583 /proc/meminfo: memFree=32149884/32951124 swapFree=67111528/67111528 [pid=4583] ppid=4581 vsize=1533312 CPUtime=1.14 /proc/4583/stat : 4583 (java) S 4581 4583 3841 0 -1 4202496 9864 0 1 0 112 2 0 0 25 0 19 0 966605 1570111488 8930 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4583/statm: 383328 8930 1439 10 0 380631 0 [pid=4583/tid=4584] ppid=4581 vsize=1533312 CPUtime=0.68 /proc/4583/task/4584/stat : 4584 (java) R 4581 4583 3841 0 -1 4202560 6480 0 1 0 66 2 0 0 19 0 19 0 966605 1570111488 8930 4089446400 134512640 134550932 4294922112 18446744073709551615 4109822596 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.14 Current children cumulated vsize (KiB) 1533312 [startup+1.50143 s] /proc/loadavg: 2.00 2.00 1.92 5/215 4602 /proc/meminfo: memFree=32119236/32951124 swapFree=67111528/67111528 [pid=4583] ppid=4581 vsize=1533312 CPUtime=1.98 /proc/4583/stat : 4583 (java) S 4581 4583 3841 0 -1 4202496 10556 0 1 0 196 2 0 0 25 0 19 0 966605 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4583/statm: 383328 9621 1439 10 0 380631 0 [pid=4583/tid=4584] ppid=4581 vsize=1533312 CPUtime=1.47 /proc/4583/task/4584/stat : 4584 (java) R 4581 4583 3841 0 -1 4202560 6738 0 1 0 145 2 0 0 20 0 19 0 966605 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4110009762 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4583/tid=4586] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4586/stat : 4586 (java) S 4581 4583 3841 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4587] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4587/stat : 4587 (java) S 4581 4583 3841 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4588] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4588/stat : 4588 (java) S 4581 4583 3841 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4589] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4589/stat : 4589 (java) S 4581 4583 3841 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4590] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4590/stat : 4590 (java) S 4581 4583 3841 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4591] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4591/stat : 4591 (java) S 4581 4583 3841 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4592] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4592/stat : 4592 (java) S 4581 4583 3841 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4593] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4593/stat : 4593 (java) S 4581 4583 3841 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4594] ppid=4581 vsize=1533312 CPUtime=0.01 /proc/4583/task/4594/stat : 4594 (java) S 4581 4583 3841 0 -1 4202560 345 0 0 0 1 0 0 0 15 0 19 0 966606 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4595] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4595/stat : 4595 (java) S 4581 4583 3841 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 966607 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4596] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4596/stat : 4596 (java) S 4581 4583 3841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 966607 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4597] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4597/stat : 4597 (java) S 4581 4583 3841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 966609 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4598] ppid=4581 vsize=1533312 CPUtime=0.25 /proc/4583/task/4598/stat : 4598 (java) S 4581 4583 3841 0 -1 4202560 705 0 0 0 25 0 0 0 15 0 19 0 966609 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 5 0 0 0 [pid=4583/tid=4599] ppid=4581 vsize=1533312 CPUtime=0.23 /proc/4583/task/4599/stat : 4599 (java) S 4581 4583 3841 0 -1 4202560 1144 0 0 0 23 0 0 0 15 0 19 0 966609 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4600] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4600/stat : 4600 (java) S 4581 4583 3841 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 966609 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4601] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4601/stat : 4601 (java) S 4581 4583 3841 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 966609 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4602] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4602/stat : 4602 (java) S 4581 4583 3841 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 966620 1570111488 9621 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.98 Current children cumulated vsize (KiB) 1533312 [startup+3.10112 s] /proc/loadavg: 2.00 2.00 1.92 3/215 4602 /proc/meminfo: memFree=32112044/32951124 swapFree=67111528/67111528 [pid=4583] ppid=4581 vsize=1533312 CPUtime=3.66 /proc/4583/stat : 4583 (java) S 4581 4583 3841 0 -1 4202496 12822 0 1 0 363 3 0 0 25 0 19 0 966605 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4583/statm: 383328 11824 1440 10 0 380631 0 [pid=4583/tid=4584] ppid=4581 vsize=1533312 CPUtime=3.03 /proc/4583/task/4584/stat : 4584 (java) R 4581 4583 3841 0 -1 4202560 8371 0 1 0 301 2 0 0 25 0 19 0 966605 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4109891984 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4583/tid=4586] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4586/stat : 4586 (java) S 4581 4583 3841 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4587] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4587/stat : 4587 (java) S 4581 4583 3841 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4588] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4588/stat : 4588 (java) S 4581 4583 3841 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4589] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4589/stat : 4589 (java) S 4581 4583 3841 0 -1 4202560 110 0 0 0 0 0 0 0 16 0 19 0 966606 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4590] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4590/stat : 4590 (java) S 4581 4583 3841 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4591] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4591/stat : 4591 (java) S 4581 4583 3841 0 -1 4202560 136 0 0 0 0 0 0 0 16 0 19 0 966606 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4592] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4592/stat : 4592 (java) S 4581 4583 3841 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4593] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4593/stat : 4593 (java) S 4581 4583 3841 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4594] ppid=4581 vsize=1533312 CPUtime=0.04 /proc/4583/task/4594/stat : 4594 (java) S 4581 4583 3841 0 -1 4202560 524 0 0 0 4 0 0 0 15 0 19 0 966606 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4595] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4595/stat : 4595 (java) S 4581 4583 3841 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 966607 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4596] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4596/stat : 4596 (java) S 4581 4583 3841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 966607 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4597] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4597/stat : 4597 (java) S 4581 4583 3841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 966609 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4598] ppid=4581 vsize=1533312 CPUtime=0.26 /proc/4583/task/4598/stat : 4598 (java) S 4581 4583 3841 0 -1 4202560 706 0 0 0 26 0 0 0 15 0 19 0 966609 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 5 0 0 0 [pid=4583/tid=4599] ppid=4581 vsize=1533312 CPUtime=0.29 /proc/4583/task/4599/stat : 4599 (java) S 4581 4583 3841 0 -1 4202560 1215 0 0 0 29 0 0 0 15 0 19 0 966609 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4600] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4600/stat : 4600 (java) S 4581 4583 3841 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 966609 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4601] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4601/stat : 4601 (java) S 4581 4583 3841 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 966609 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4602] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4602/stat : 4602 (java) S 4581 4583 3841 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 966620 1570111488 11824 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 1533312 [startup+6.30152 s] /proc/loadavg: 2.00 2.00 1.92 3/215 4602 /proc/meminfo: memFree=32100992/32951124 swapFree=67111528/67111528 [pid=4583] ppid=4581 vsize=1533312 CPUtime=6.86 /proc/4583/stat : 4583 (java) S 4581 4583 3841 0 -1 4202496 14409 0 1 0 683 3 0 0 25 0 19 0 966605 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4583/statm: 383328 13405 1440 10 0 380631 0 [pid=4583/tid=4584] ppid=4581 vsize=1533312 CPUtime=6.17 /proc/4583/task/4584/stat : 4584 (java) R 4581 4583 3841 0 -1 4202560 9711 0 1 0 615 2 0 0 25 0 19 0 966605 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4109908816 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4583/tid=4586] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4586/stat : 4586 (java) S 4581 4583 3841 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4587] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4587/stat : 4587 (java) S 4581 4583 3841 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4588] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4588/stat : 4588 (java) S 4581 4583 3841 0 -1 4202560 149 0 0 0 0 0 0 0 16 0 19 0 966606 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4589] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4589/stat : 4589 (java) S 4581 4583 3841 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 2 0 0 0 [pid=4583/tid=4590] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4590/stat : 4590 (java) S 4581 4583 3841 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 2 0 0 0 [pid=4583/tid=4591] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4591/stat : 4591 (java) S 4581 4583 3841 0 -1 4202560 138 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4592] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4592/stat : 4592 (java) S 4581 4583 3841 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4593] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4593/stat : 4593 (java) S 4581 4583 3841 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 19 0 966606 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 2 0 0 0 [pid=4583/tid=4594] ppid=4581 vsize=1533312 CPUtime=0.09 /proc/4583/task/4594/stat : 4594 (java) S 4581 4583 3841 0 -1 4202560 740 0 0 0 9 0 0 0 15 0 19 0 966606 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4595] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4595/stat : 4595 (java) S 4581 4583 3841 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 966607 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4596] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4596/stat : 4596 (java) S 4581 4583 3841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 966607 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4597] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4597/stat : 4597 (java) S 4581 4583 3841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 966609 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4598] ppid=4581 vsize=1533312 CPUtime=0.26 /proc/4583/task/4598/stat : 4598 (java) S 4581 4583 3841 0 -1 4202560 706 0 0 0 26 0 0 0 15 0 19 0 966609 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 5 0 0 0 [pid=4583/tid=4599] ppid=4581 vsize=1533312 CPUtime=0.29 /proc/4583/task/4599/stat : 4599 (java) S 4581 4583 3841 0 -1 4202560 1215 0 0 0 29 0 0 0 15 0 19 0 966609 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4600] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4600/stat : 4600 (java) S 4581 4583 3841 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 966609 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4601] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4601/stat : 4601 (java) S 4581 4583 3841 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 966609 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4602] ppid=4581 vsize=1533312 CPUtime=0 /proc/4583/task/4602/stat : 4602 (java) S 4581 4583 3841 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 966620 1570111488 13405 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 6.86 Current children cumulated vsize (KiB) 1533312 ################ # More data... # ################ /proc/4583/task/4587/stat : 4587 (java) S 4581 4583 3841 0 -1 4202560 19 0 0 0 5 0 0 0 15 0 19 0 966606 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 2 0 0 0 [pid=4583/tid=4588] ppid=4581 vsize=1539640 CPUtime=0.05 /proc/4583/task/4588/stat : 4588 (java) S 4581 4583 3841 0 -1 4202560 155 0 0 0 5 0 0 0 15 0 19 0 966606 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4589] ppid=4581 vsize=1539640 CPUtime=0.04 /proc/4583/task/4589/stat : 4589 (java) S 4581 4583 3841 0 -1 4202560 114 0 0 0 4 0 0 0 15 0 19 0 966606 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4590] ppid=4581 vsize=1539640 CPUtime=0.04 /proc/4583/task/4590/stat : 4590 (java) S 4581 4583 3841 0 -1 4202560 73 0 0 0 4 0 0 0 15 0 19 0 966606 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 2 0 0 0 [pid=4583/tid=4591] ppid=4581 vsize=1539640 CPUtime=0.06 /proc/4583/task/4591/stat : 4591 (java) S 4581 4583 3841 0 -1 4202560 147 0 0 0 6 0 0 0 15 0 19 0 966606 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4592] ppid=4581 vsize=1539640 CPUtime=0.05 /proc/4583/task/4592/stat : 4592 (java) S 4581 4583 3841 0 -1 4202560 104 0 0 0 5 0 0 0 15 0 19 0 966606 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4593] ppid=4581 vsize=1539640 CPUtime=0.06 /proc/4583/task/4593/stat : 4593 (java) S 4581 4583 3841 0 -1 4202560 229 0 0 0 6 0 0 0 15 0 19 0 966606 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4594] ppid=4581 vsize=1539640 CPUtime=2.33 /proc/4583/task/4594/stat : 4594 (java) S 4581 4583 3841 0 -1 4202560 1427 0 0 0 230 3 0 0 15 0 19 0 966606 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4595] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4595/stat : 4595 (java) S 4581 4583 3841 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 966607 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4596] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4596/stat : 4596 (java) S 4581 4583 3841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 966607 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4597] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4597/stat : 4597 (java) S 4581 4583 3841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 966609 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4598] ppid=4581 vsize=1539640 CPUtime=0.37 /proc/4583/task/4598/stat : 4598 (java) S 4581 4583 3841 0 -1 4202560 851 0 0 0 37 0 0 0 15 0 19 0 966609 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 5 0 0 0 [pid=4583/tid=4599] ppid=4581 vsize=1539640 CPUtime=0.85 /proc/4583/task/4599/stat : 4599 (java) S 4581 4583 3841 0 -1 4202560 6553 0 0 0 85 0 0 0 16 0 19 0 966609 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4600] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4600/stat : 4600 (java) S 4581 4583 3841 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 966609 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4601] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4601/stat : 4601 (java) S 4581 4583 3841 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 966609 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4602] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4602/stat : 4602 (java) S 4581 4583 3841 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 966620 1576591360 16420 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 103.69 Current children cumulated vsize (KiB) 1539640 Solver just ended. Dumping a history of the last processes samples [startup+103.101 s] /proc/loadavg: 2.00 2.00 1.92 3/215 4605 /proc/meminfo: memFree=32088532/32951124 swapFree=67111528/67111528 [pid=4583] ppid=4581 vsize=1539640 CPUtime=104.49 /proc/4583/stat : 4583 (java) S 4581 4583 3841 0 -1 4202496 21426 0 1 0 10440 9 0 0 25 0 19 0 966605 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4583/statm: 384910 16421 1444 10 0 382213 0 [pid=4583/tid=4584] ppid=4581 vsize=1539640 CPUtime=100.41 /proc/4583/task/4584/stat : 4584 (java) R 4581 4583 3841 0 -1 4202560 10505 0 1 0 10039 2 0 0 25 0 19 0 966605 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4109908874 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4583/tid=4586] ppid=4581 vsize=1539640 CPUtime=0.05 /proc/4583/task/4586/stat : 4586 (java) S 4581 4583 3841 0 -1 4202560 175 0 0 0 5 0 0 0 15 0 19 0 966606 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4587] ppid=4581 vsize=1539640 CPUtime=0.05 /proc/4583/task/4587/stat : 4587 (java) S 4581 4583 3841 0 -1 4202560 19 0 0 0 5 0 0 0 15 0 19 0 966606 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 2 0 0 0 [pid=4583/tid=4588] ppid=4581 vsize=1539640 CPUtime=0.05 /proc/4583/task/4588/stat : 4588 (java) S 4581 4583 3841 0 -1 4202560 155 0 0 0 5 0 0 0 15 0 19 0 966606 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4589] ppid=4581 vsize=1539640 CPUtime=0.04 /proc/4583/task/4589/stat : 4589 (java) S 4581 4583 3841 0 -1 4202560 114 0 0 0 4 0 0 0 15 0 19 0 966606 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4590] ppid=4581 vsize=1539640 CPUtime=0.04 /proc/4583/task/4590/stat : 4590 (java) S 4581 4583 3841 0 -1 4202560 74 0 0 0 4 0 0 0 16 0 19 0 966606 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 2 0 0 0 [pid=4583/tid=4591] ppid=4581 vsize=1539640 CPUtime=0.06 /proc/4583/task/4591/stat : 4591 (java) S 4581 4583 3841 0 -1 4202560 147 0 0 0 6 0 0 0 15 0 19 0 966606 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4592] ppid=4581 vsize=1539640 CPUtime=0.05 /proc/4583/task/4592/stat : 4592 (java) S 4581 4583 3841 0 -1 4202560 104 0 0 0 5 0 0 0 15 0 19 0 966606 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4593] ppid=4581 vsize=1539640 CPUtime=0.06 /proc/4583/task/4593/stat : 4593 (java) S 4581 4583 3841 0 -1 4202560 229 0 0 0 6 0 0 0 15 0 19 0 966606 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4594] ppid=4581 vsize=1539640 CPUtime=2.35 /proc/4583/task/4594/stat : 4594 (java) S 4581 4583 3841 0 -1 4202560 1427 0 0 0 232 3 0 0 15 0 19 0 966606 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4595] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4595/stat : 4595 (java) S 4581 4583 3841 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 966607 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4596] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4596/stat : 4596 (java) S 4581 4583 3841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 966607 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4597] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4597/stat : 4597 (java) S 4581 4583 3841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 966609 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4598] ppid=4581 vsize=1539640 CPUtime=0.37 /proc/4583/task/4598/stat : 4598 (java) S 4581 4583 3841 0 -1 4202560 851 0 0 0 37 0 0 0 15 0 19 0 966609 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 5 0 0 0 [pid=4583/tid=4599] ppid=4581 vsize=1539640 CPUtime=0.85 /proc/4583/task/4599/stat : 4599 (java) S 4581 4583 3841 0 -1 4202560 6553 0 0 0 85 0 0 0 16 0 19 0 966609 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4600] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4600/stat : 4600 (java) S 4581 4583 3841 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 966609 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4601] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4601/stat : 4601 (java) S 4581 4583 3841 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 966609 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4602] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4602/stat : 4602 (java) S 4581 4583 3841 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 966620 1576591360 16421 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 104.49 Current children cumulated vsize (KiB) 1539640 [startup+103.301 s] /proc/loadavg: 2.00 2.00 1.92 6/215 4605 /proc/meminfo: memFree=32088648/32951124 swapFree=67111528/67111528 [pid=4583] ppid=4581 vsize=1539640 CPUtime=104.7 /proc/4583/stat : 4583 (java) S 4581 4583 3841 0 -1 4202496 21427 0 1 0 10461 9 0 0 25 0 19 0 966605 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4583/statm: 384910 16422 1444 10 0 382213 0 [pid=4583/tid=4584] ppid=4581 vsize=1539640 CPUtime=100.61 /proc/4583/task/4584/stat : 4584 (java) S 4581 4583 3841 0 -1 4202560 10505 0 1 0 10059 2 0 0 25 0 19 0 966605 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4586] ppid=4581 vsize=1539640 CPUtime=0.05 /proc/4583/task/4586/stat : 4586 (java) S 4581 4583 3841 0 -1 4202560 175 0 0 0 5 0 0 0 15 0 19 0 966606 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4587] ppid=4581 vsize=1539640 CPUtime=0.05 /proc/4583/task/4587/stat : 4587 (java) S 4581 4583 3841 0 -1 4202560 19 0 0 0 5 0 0 0 15 0 19 0 966606 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 2 0 0 0 [pid=4583/tid=4588] ppid=4581 vsize=1539640 CPUtime=0.05 /proc/4583/task/4588/stat : 4588 (java) S 4581 4583 3841 0 -1 4202560 155 0 0 0 5 0 0 0 15 0 19 0 966606 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4589] ppid=4581 vsize=1539640 CPUtime=0.04 /proc/4583/task/4589/stat : 4589 (java) S 4581 4583 3841 0 -1 4202560 115 0 0 0 4 0 0 0 16 0 19 0 966606 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4590] ppid=4581 vsize=1539640 CPUtime=0.04 /proc/4583/task/4590/stat : 4590 (java) S 4581 4583 3841 0 -1 4202560 74 0 0 0 4 0 0 0 16 0 19 0 966606 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 2 0 0 0 [pid=4583/tid=4591] ppid=4581 vsize=1539640 CPUtime=0.06 /proc/4583/task/4591/stat : 4591 (java) S 4581 4583 3841 0 -1 4202560 147 0 0 0 6 0 0 0 15 0 19 0 966606 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4592] ppid=4581 vsize=1539640 CPUtime=0.05 /proc/4583/task/4592/stat : 4592 (java) S 4581 4583 3841 0 -1 4202560 104 0 0 0 5 0 0 0 15 0 19 0 966606 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4593] ppid=4581 vsize=1539640 CPUtime=0.06 /proc/4583/task/4593/stat : 4593 (java) S 4581 4583 3841 0 -1 4202560 229 0 0 0 6 0 0 0 15 0 19 0 966606 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4594] ppid=4581 vsize=1539640 CPUtime=2.36 /proc/4583/task/4594/stat : 4594 (java) R 4581 4583 3841 0 -1 4202560 1427 0 0 0 233 3 0 0 15 0 19 0 966606 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 105698105 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=4583/tid=4595] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4595/stat : 4595 (java) S 4581 4583 3841 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 966607 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4596] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4596/stat : 4596 (java) S 4581 4583 3841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 966607 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4597] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4597/stat : 4597 (java) S 4581 4583 3841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 966609 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4598] ppid=4581 vsize=1539640 CPUtime=0.37 /proc/4583/task/4598/stat : 4598 (java) S 4581 4583 3841 0 -1 4202560 851 0 0 0 37 0 0 0 15 0 19 0 966609 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 5 0 0 0 [pid=4583/tid=4599] ppid=4581 vsize=1539640 CPUtime=0.85 /proc/4583/task/4599/stat : 4599 (java) S 4581 4583 3841 0 -1 4202560 6553 0 0 0 85 0 0 0 16 0 19 0 966609 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4600] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4600/stat : 4600 (java) S 4581 4583 3841 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 966609 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4601] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4601/stat : 4601 (java) S 4581 4583 3841 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 966609 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4602] ppid=4581 vsize=1539640 CPUtime=0 /proc/4583/task/4602/stat : 4602 (java) S 4581 4583 3841 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 966620 1576591360 16422 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 104.7 Current children cumulated vsize (KiB) 1539640 [startup+103.407 s] /proc/loadavg: 2.00 2.00 1.92 6/215 4605 /proc/meminfo: memFree=32088648/32951124 swapFree=67111528/67111528 [pid=4583] ppid=4581 vsize=1539964 CPUtime=104.8 /proc/4583/stat : 4583 (java) S 4581 4583 3841 0 -1 4202496 21441 0 1 0 10471 9 0 0 25 0 20 0 966605 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4583/statm: 384991 16435 1444 10 0 382294 0 [pid=4583/tid=4584] ppid=4581 vsize=1539964 CPUtime=100.7 /proc/4583/task/4584/stat : 4584 (java) S 4581 4583 3841 0 -1 4202560 10509 0 1 0 10068 2 0 0 25 0 20 0 966605 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4586] ppid=4581 vsize=1539964 CPUtime=0.05 /proc/4583/task/4586/stat : 4586 (java) S 4581 4583 3841 0 -1 4202560 175 0 0 0 5 0 0 0 15 0 20 0 966606 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4587] ppid=4581 vsize=1539964 CPUtime=0.05 /proc/4583/task/4587/stat : 4587 (java) S 4581 4583 3841 0 -1 4202560 19 0 0 0 5 0 0 0 15 0 20 0 966606 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 2 0 0 0 [pid=4583/tid=4588] ppid=4581 vsize=1539964 CPUtime=0.05 /proc/4583/task/4588/stat : 4588 (java) S 4581 4583 3841 0 -1 4202560 155 0 0 0 5 0 0 0 15 0 20 0 966606 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4589] ppid=4581 vsize=1539964 CPUtime=0.04 /proc/4583/task/4589/stat : 4589 (java) S 4581 4583 3841 0 -1 4202560 115 0 0 0 4 0 0 0 16 0 20 0 966606 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4590] ppid=4581 vsize=1539964 CPUtime=0.04 /proc/4583/task/4590/stat : 4590 (java) S 4581 4583 3841 0 -1 4202560 74 0 0 0 4 0 0 0 16 0 20 0 966606 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 2 0 0 0 [pid=4583/tid=4591] ppid=4581 vsize=1539964 CPUtime=0.06 /proc/4583/task/4591/stat : 4591 (java) S 4581 4583 3841 0 -1 4202560 147 0 0 0 6 0 0 0 15 0 20 0 966606 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4592] ppid=4581 vsize=1539964 CPUtime=0.05 /proc/4583/task/4592/stat : 4592 (java) S 4581 4583 3841 0 -1 4202560 104 0 0 0 5 0 0 0 15 0 20 0 966606 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4593] ppid=4581 vsize=1539964 CPUtime=0.06 /proc/4583/task/4593/stat : 4593 (java) S 4581 4583 3841 0 -1 4202560 229 0 0 0 6 0 0 0 15 0 20 0 966606 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4594] ppid=4581 vsize=1539964 CPUtime=2.36 /proc/4583/task/4594/stat : 4594 (java) S 4581 4583 3841 0 -1 4202560 1432 0 0 0 233 3 0 0 15 0 20 0 966606 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 0 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4595] ppid=4581 vsize=1539964 CPUtime=0 /proc/4583/task/4595/stat : 4595 (java) S 4581 4583 3841 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 20 0 966607 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4596] ppid=4581 vsize=1539964 CPUtime=0 /proc/4583/task/4596/stat : 4596 (java) S 4581 4583 3841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 966607 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 0 0 0 0 [pid=4583/tid=4597] ppid=4581 vsize=1539964 CPUtime=0 /proc/4583/task/4597/stat : 4597 (java) S 4581 4583 3841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 966609 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4598] ppid=4581 vsize=1539964 CPUtime=0.37 /proc/4583/task/4598/stat : 4598 (java) S 4581 4583 3841 0 -1 4202560 851 0 0 0 37 0 0 0 15 0 20 0 966609 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 5 0 0 0 [pid=4583/tid=4599] ppid=4581 vsize=1539964 CPUtime=0.85 /proc/4583/task/4599/stat : 4599 (java) S 4581 4583 3841 0 -1 4202560 6553 0 0 0 85 0 0 0 15 0 20 0 966609 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 [pid=4583/tid=4600] ppid=4581 vsize=1539964 CPUtime=0 /proc/4583/task/4600/stat : 4600 (java) S 4581 4583 3841 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 966609 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4601] ppid=4581 vsize=1539964 CPUtime=0 /proc/4583/task/4601/stat : 4601 (java) S 4581 4583 3841 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 20 0 966609 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 6 0 0 0 [pid=4583/tid=4602] ppid=4581 vsize=1539964 CPUtime=0 /proc/4583/task/4602/stat : 4602 (java) S 4581 4583 3841 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 966620 1576923136 16435 4089446400 134512640 134550932 4294922112 18446744073709551615 4294960144 0 4 0 16800975 18446604471091258496 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 104.8 Current children cumulated vsize (KiB) 1539964 Child status: 30 Real time (s): 103.413 CPU time (s): 104.813 CPU user time (s): 104.713 CPU system time (s): 0.099984 CPU usage (%): 101.354 Max. virtual memory (cumulated for all children) (KiB): 1543496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 104.713 system time used= 0.099984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21447 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7000 involuntary context switches= 36950 runsolver used 0.197969 second user time and 0.395939 second system time The end
Begin job on node141 at 2010-07-05 12:59:04 IDJOB=2698728 IDBENCH=79250 IDSOLVER=1211 FILE ID=node141/2698728-1278327544 PBS_JOBID= 11207422 Free space on /tmp= 74176 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698728-1278327544/watcher-2698728-1278327544 -o /tmp/evaluation-result-2698728-1278327544/solver-2698728-1278327544 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698728-1278327544.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a2fcadde47f67cca69c2b162b15fa373 RANDOM SEED=1321313449 node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5265.34 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 32150164 kB Buffers: 25964 kB Cached: 305288 kB SwapCached: 0 kB Active: 454408 kB Inactive: 245996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32150164 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 488 kB Writeback: 0 kB AnonPages: 368912 kB Mapped: 20336 kB Slab: 36264 kB PageTables: 5300 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1653308 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74176 MiB End job on node141 at 2010-07-05 13:00:47