Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 161 | 1800.29 | 1789.98 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-rot.b.opb |
| MD5SUM | 82ceb454755e01aa6cecb68eb859eaa6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 116 |
| Best CPU time to get the best result obtained on this benchmark | 1800.04 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 116 |
| Optimality of the best value was proved | NO |
| Number of variables | 1451 |
| Total number of constraints | 2932 |
| Number of constraints which are clauses | 2932 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 81 |
| Number of terms in the objective function | 1451 |
| 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 | 1451 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1451 |
| 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.09/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.13 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.14 c no version file found!!! 0.09/0.14 c sun.arch.data.model 32 0.09/0.14 c java.version 1.6.0 0.09/0.14 c os.name Linux 0.09/0.14 c os.version 2.6.9-22.EL.rootsmp 0.09/0.14 c os.arch i386 0.09/0.14 c Free memory 1651659224 0.09/0.14 c Max memory 1654456320 0.09/0.14 c Total memory 1654456320 0.09/0.15 c Number of processors 2 0.21/0.20 --- Begin Solver configuration --- 0.21/0.20 c Stops conflict analysis at the first Unique Implication Point 0.21/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.21/0.20 c Learn all clauses as in MiniSAT 0.21/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.21/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.21/0.20 c No reason simplification 0.21/0.20 c --- End Solver configuration --- 0.21/0.20 c solving /tmp/evaluation/352834-1176642799/instance-352834-1176642799.opb 0.21/0.20 c reading problem ... 1.48/1.10 c ... done. Wall clock time 0.896s. 1.48/1.10 c CPU time (experimental) 0.71s. 1.48/1.10 c #vars 1451 1.48/1.10 c #constraints 2722 1.58/1.19 c SATISFIABLE 1.58/1.19 c OPTIMIZING... 1.58/1.19 c Got one! Elapsed wall clock time (in seconds):0.993 1.72/1.20 o 214 1.72/1.29 c Got one! Elapsed wall clock time (in seconds):1.09 1.72/1.29 o 163 1.88/1.35 c Got one! Elapsed wall clock time (in seconds):1.154 1.88/1.36 o 162 2.38/1.64 c Got one! Elapsed wall clock time (in seconds):1.443 2.38/1.65 o 161 1109.58/1102.20 c cleaning 1096618 clauses out of 2193257 for limit 4522045.569003141 1173.56/1166.30 c cleaning 548561 clauses out of 1097139 for limit 1.4907976256308746E7 1188.96/1181.67 c cleaning 274526 clauses out of 549078 for limit 4.9124957706920736E7 1197.06/1189.76 c cleaning 137515 clauses out of 275055 for limit 1.6220943473853335E8 1201.06/1193.77 c cleaning 69013 clauses out of 138037 for limit 5.3143786480891454E8 1201.96/1194.65 c cleaning 34745 clauses out of 69524 for limit 1.7400797088718107E9 1202.76/1195.43 c cleaning 17620 clauses out of 35279 for limit 5.6551419973225155E9 1203.26/1195.98 c cleaning 9062 clauses out of 18159 for limit 1.8118562524325237E10 1203.66/1196.32 c cleaning 4780 clauses out of 9597 for limit 5.653742958320168E10 1203.96/1196.61 c cleaning 2639 clauses out of 5317 for limit 1.6829095748782755E11 1204.16/1196.89 c cleaning 1571 clauses out of 3178 for limit 4.6433287796543823E11 1204.46/1197.17 c cleaning 1053 clauses out of 2107 for limit 1.1549805748510598E12 1204.76/1197.45 c cleaning 758 clauses out of 1554 for limit 2.5825223469296587E12 1205.06/1197.73 c cleaning 648 clauses out of 1296 for limit 5.106766351574614E12 1205.36/1198.00 c cleaning 554 clauses out of 1148 for limit 9.507470545823785E12 1205.56/1198.28 c cleaning 528 clauses out of 1094 for limit 1.6453013032534143E13 1205.86/1198.55 c cleaning 533 clauses out of 1066 for limit 2.7845911980935594E13 1206.16/1198.83 c cleaning 516 clauses out of 1033 for limit 4.7388636845188125E13 1206.46/1199.10 c cleaning 507 clauses out of 1017 for limit 7.937970339440102E13 1206.66/1199.38 c cleaning 488 clauses out of 1010 for limit 1.3181503156060523E14 1206.96/1199.65 c cleaning 492 clauses out of 1022 for limit 2.1482820660695272E14 1207.26/1199.93 c cleaning 496 clauses out of 1030 for limit 3.515287590679033E14 1207.56/1200.20 c cleaning 496 clauses out of 1034 for limit 5.774753277469921E14 1207.76/1200.48 c cleaning 519 clauses out of 1038 for limit 9.486641879176941E14 1208.05/1200.75 c cleaning 509 clauses out of 1019 for limit 1.593644920338627E15 1208.35/1201.03 c cleaning 505 clauses out of 1010 for limit 2.6515526805216255E15 1208.65/1201.30 c cleaning 502 clauses out of 1005 for limit 4.3945201387433885E15 1208.85/1201.57 c cleaning 482 clauses out of 1003 for limit 7.261602547517581E15 1209.15/1201.85 c cleaning 489 clauses out of 1021 for limit 1.1764231246608762E16 1209.45/1202.13 c cleaning 516 clauses out of 1032 for limit 1.9193999738179532E16 1209.75/1202.40 c cleaning 508 clauses out of 1016 for limit 3.2151953190023512E16 1209.95/1202.68 c cleaning 504 clauses out of 1008 for limit 5.3443688466311432E16 1210.25/1202.96 c cleaning 502 clauses out of 1004 for limit 8.848693046262648E16 1210.55/1203.24 c cleaning 482 clauses out of 1002 for limit 0.0014621805693239174 1210.85/1203.51 c cleaning 490 clauses out of 1020 for limit 0.0023687784593762937 1211.05/1203.78 c cleaning 498 clauses out of 1030 for limit 0.003868506039228067 1211.35/1204.06 c cleaning 497 clauses out of 1032 for limit 0.006367320249526359 1211.65/1204.33 c cleaning 498 clauses out of 1035 for limit 0.010470126482140301 1211.95/1204.61 c cleaning 497 clauses out of 1037 for limit 0.01723333810108392 1212.15/1204.89 c cleaning 501 clauses out of 1040 for limit 0.028338098963518174 1212.45/1205.16 c cleaning 499 clauses out of 1039 for limit 0.04677829532401632 1212.75/1205.44 c cleaning 499 clauses out of 1040 for limit 0.07706949027492635 1213.05/1205.71 c cleaning 501 clauses out of 1041 for limit 0.1269758075126978 1213.25/1205.98 c cleaning 502 clauses out of 1040 for limit 0.20960143935144018 1213.55/1206.26 c cleaning 499 clauses out of 1038 for limit 0.3463268265974987 1213.85/1206.53 c cleaning 500 clauses out of 1039 for limit 0.570589566901741 1214.15/1206.81 c cleaning 498 clauses out of 1039 for limit 0.9409785279275948 1214.35/1207.08 c cleaning 500 clauses out of 1041 for limit 1.5488181113447277 1214.65/1207.35 c cleaning 501 clauses out of 1041 for limit 2.5542082627874882 1214.95/1207.63 c cleaning 500 clauses out of 1040 for limit 4.216281343436703 1215.25/1207.90 c cleaning 499 clauses out of 1040 for limit 6.953211979354092 1215.45/1208.17 c cleaning 501 clauses out of 1041 for limit 11.455761582643888 1215.75/1208.45 c cleaning 499 clauses out of 1040 for limit 18.910248838929203 1216.05/1208.72 c cleaning 499 clauses out of 1041 for limit 31.15557282166528 1216.25/1208.99 c cleaning 498 clauses out of 1042 for limit 51.3303987604872 1216.55/1209.27 c cleaning 505 clauses out of 1044 for limit 84.48852833268386 1216.85/1209.54 c cleaning 501 clauses out of 1039 for limit 140.00340026277763 1217.15/1209.81 c cleaning 500 clauses out of 1038 for limit 231.10676827639548 1217.35/1210.09 c cleaning 500 clauses out of 1038 for limit 381.1259777981101 1217.65/1210.36 c cleaning 501 clauses out of 1038 for limit 628.5277235102168 1217.95/1210.63 c cleaning 498 clauses out of 1037 for limit 1037.525842203477 1218.25/1210.91 c cleaning 501 clauses out of 1039 for limit 1707.725323622389 1218.45/1211.18 c cleaning 499 clauses out of 1038 for limit 2818.980681221789 1218.75/1211.45 c cleaning 500 clauses out of 1039 for limit 4644.401884212386 1219.05/1211.73 c cleaning 500 clauses out of 1039 for limit 7659.240024034491 1219.35/1212.00 c cleaning 499 clauses out of 1039 for limit 12631.111434431848 1219.55/1212.27 c cleaning 499 clauses out of 1040 for limit 20810.363291662456 1219.85/1212.55 c cleaning 503 clauses out of 1041 for limit 34286.10561929624 1220.15/1212.82 c cleaning 500 clauses out of 1038 for limit 56705.792147807224 1220.45/1213.10 c cleaning 500 clauses out of 1038 for limit 93515.43721688942 1220.65/1213.37 c cleaning 498 clauses out of 1038 for limit 154219.46624202371 1220.95/1213.64 c cleaning 501 clauses out of 1040 for limit 253839.4376154471 1221.25/1213.92 c cleaning 499 clauses out of 1039 for limit 419018.09267248807 1221.45/1214.19 c cleaning 499 clauses out of 1040 for limit 690352.4507371426 1221.78/1214.46 c cleaning 500 clauses out of 1041 for limit 1137389.9008287224 1222.07/1214.74 c cleaning 501 clauses out of 1041 for limit 1875708.1037652926 1222.38/1215.01 c cleaning 520 clauses out of 1040 for limit 3096267.9116102434 1222.58/1215.28 c cleaning 510 clauses out of 1020 for limit 5206280.781821771 1222.89/1215.56 c cleaning 505 clauses out of 1010 for limit 8670861.943432288 1223.18/1215.83 c cleaning 481 clauses out of 1005 for limit 1.4370552661688294E7 1223.48/1216.11 c cleaning 512 clauses out of 1024 for limit 2.3259236929932825E7 1223.68/1216.38 c cleaning 487 clauses out of 1012 for limit 3.881242638419741E7 1223.99/1216.65 c cleaning 512 clauses out of 1025 for limit 6.319508872306639E7 1224.28/1216.93 c cleaning 488 clauses out of 1013 for limit 1.0545171202059002E8 1224.58/1217.20 c cleaning 492 clauses out of 1025 for limit 1.7186803116311818E8 1224.78/1217.48 c cleaning 516 clauses out of 1033 for limit 2.812383445003792E8 1225.08/1217.75 c cleaning 486 clauses out of 1017 for limit 4.7109640318424404E8 1225.38/1218.03 c cleaning 515 clauses out of 1031 for limit 7.663514140127327E8 1225.68/1218.30 c cleaning 508 clauses out of 1016 for limit 1.2824747031873133E9 1225.88/1218.58 c cleaning 483 clauses out of 1008 for limit 2.1317578468089902E9 1226.18/1218.85 c cleaning 512 clauses out of 1025 for limit 3.4572471237243724E9 1226.48/1219.13 c cleaning 486 clauses out of 1013 for limit 5.769002551331575E9 1226.78/1219.40 c cleaning 491 clauses out of 1027 for limit 9.384164665156937E9 1226.98/1219.67 c cleaning 518 clauses out of 1036 for limit 1.5341301141775122E10 1227.28/1219.95 c cleaning 509 clauses out of 1018 for limit 2.5747203133525097E10 1227.58/1220.22 c cleaning 484 clauses out of 1009 for limit 4.2839318978186714E10 1227.78/1220.50 c cleaning 492 clauses out of 1025 for limit 6.954497351026491E10 1228.08/1220.77 c cleaning 495 clauses out of 1033 for limit 1.1380076379525578E11 1228.38/1221.05 c cleaning 519 clauses out of 1038 for limit 1.867686724927082E11 1228.68/1221.32 c cleaning 509 clauses out of 1019 for limit 3.137495332776448E11 1228.88/1221.59 c cleaning 505 clauses out of 1010 for limit 5.220255813308619E11 1229.18/1221.87 c cleaning 481 clauses out of 1005 for limit 8.65173053867592E11 1229.48/1222.14 c cleaning 489 clauses out of 1024 for limit 1.400312536270668E12 1229.68/1222.38 c cleaning 517 clauses out of 1035 for limit 2.2847593890207114E12 1229.78/1222.49 c cleaning 509 clauses out of 1019 for limit 3.830866654694687E12 1229.98/1222.64 c cleaning 502 clauses out of 1009 for limit 6.373843976118219E12 1230.08/1222.77 c cleaning 498 clauses out of 1010 for limit 1.0532479998393557E13 1230.18/1222.89 c cleaning 505 clauses out of 1010 for limit 1.7334746959730848E13 1230.38/1223.01 c cleaning 502 clauses out of 1004 for limit 2.8729399118552305E13 1230.48/1223.14 c cleaning 494 clauses out of 1002 for limit 4.747319060552255E13 1230.58/1223.27 c cleaning 494 clauses out of 1008 for limit 7.782363238357289E13 1230.68/1223.39 c cleaning 500 clauses out of 1014 for limit 1.2758216322156702E14 1230.88/1223.51 c cleaning 507 clauses out of 1015 for limit 2.1040316726169594E14 1230.98/1223.62 c cleaning 503 clauses out of 1007 for limit 3.4938979829471794E14 1231.08/1223.73 c cleaning 493 clauses out of 1005 for limit 5.779150807966354E14 1231.18/1223.83 c cleaning 505 clauses out of 1011 for limit 9.4645573902563E14 1231.28/1223.93 c cleaning 503 clauses out of 1006 for limit 1.568589743188282E15 1231.38/1224.04 c cleaning 501 clauses out of 1003 for limit 2.594551559991313E15 1231.48/1224.17 c cleaning 502 clauses out of 1005 for limit 4.283084072092515E15 1231.58/1224.27 c cleaning 494 clauses out of 1001 for limit 7.077427788584295E-5 1231.68/1224.38 c cleaning 492 clauses out of 1006 for limit 1.160200154383784E-4 1231.78/1224.48 c cleaning 500 clauses out of 1014 for limit 1.8982299950285892E-4 1231.88/1224.59 c cleaning 501 clauses out of 1014 for limit 3.130435202467703E-4 1231.98/1224.69 c cleaning 497 clauses out of 1014 for limit 5.167674105103423E-4 1232.18/1224.80 c cleaning 499 clauses out of 1016 for limit 8.496904551895012E-4 1232.28/1224.91 c cleaning 496 clauses out of 1018 for limit 0.0013999001770390838 1232.38/1225.01 c cleaning 498 clauses out of 1022 for limit 0.002299586962077136 1232.48/1225.12 c cleaning 500 clauses out of 1023 for limit 0.003784830850175236 1232.58/1225.23 c cleaning 500 clauses out of 1023 for limit 0.006241692397551573 1232.68/1225.35 c cleaning 501 clauses out of 1023 for limit 0.010293385762232748 1232.78/1225.46 c cleaning 500 clauses out of 1022 for limit 0.01699177990195798 1232.88/1225.56 c cleaning 499 clauses out of 1023 for limit 0.028022348817920272 1232.98/1225.66 c cleaning 502 clauses out of 1023 for limit 0.0461663893615438 1233.08/1225.78 c cleaning 504 clauses out of 1021 for limit 0.076283689308761 1233.28/1225.90 c cleaning 503 clauses out of 1018 for limit 0.12629904059524863 1233.38/1226.02 c cleaning 500 clauses out of 1014 for limit 0.20889654146884426 1233.48/1226.14 c cleaning 496 clauses out of 1015 for limit 0.3445034387661895 1233.58/1226.24 c cleaning 501 clauses out of 1018 for limit 0.5658915392831926 1233.68/1226.35 c cleaning 499 clauses out of 1018 for limit 0.9341650169106298 1233.78/1226.47 c cleaning 499 clauses out of 1019 for limit 1.5390512450875466 1233.88/1226.59 c cleaning 500 clauses out of 1019 for limit 2.535563292347657 1234.08/1226.71 c cleaning 498 clauses out of 1019 for limit 4.181483070669979 1234.18/1226.83 c cleaning 497 clauses out of 1021 for limit 6.882316990016098 1234.28/1226.95 c cleaning 498 clauses out of 1024 for limit 11.316609869313039 1234.38/1227.07 c cleaning 506 clauses out of 1027 for limit 18.626714415958453 1234.58/1227.20 c cleaning 501 clauses out of 1020 for limit 30.897824574845757 1234.68/1227.31 c cleaning 500 clauses out of 1021 for limit 51.00670195073632 1234.78/1227.42 c cleaning 503 clauses out of 1029 for limit 84.13362314637605 1234.88/1227.53 c cleaning 496 clauses out of 1017 for limit 139.1263190030566 1234.98/1227.65 c cleaning 499 clauses out of 1020 for limit 228.5343315390811 1235.08/1227.76 c cleaning 502 clauses out of 1021 for limit 376.5145535685861 1235.18/1227.88 c cleaning 494 clauses out of 1019 for limit 622.1415586648595 1235.37/1228.00 c cleaning 493 clauses out of 1025 for limit 1019.9888364538015 1235.47/1228.11 c cleaning 503 clauses out of 1033 for limit 1670.741888114719 1235.57/1228.23 c cleaning 496 clauses out of 1029 for limit 2763.2213969081 1235.67/1228.34 c cleaning 503 clauses out of 1033 for limit 4539.276351524938 1235.77/1228.46 c cleaning 501 clauses out of 1030 for limit 7507.677473570893 1235.87/1228.59 c cleaning 503 clauses out of 1030 for limit 12393.558071113215 1235.98/1228.70 c cleaning 504 clauses out of 1028 for limit 20498.89801961112 1236.17/1228.82 c cleaning 499 clauses out of 1022 for limit 33935.91764124095 1236.27/1228.93 c cleaning 504 clauses out of 1024 for limit 55911.473146471006 1236.37/1229.04 c cleaning 499 clauses out of 1020 for limit 92567.08911344047 1236.47/1229.15 c cleaning 499 clauses out of 1022 for limit 152509.2838618765 1236.57/1229.27 c cleaning 503 clauses out of 1022 for limit 251256.70320380188 1236.67/1229.37 c cleaning 501 clauses out of 1021 for limit 415592.51896327996 1236.77/1229.48 c cleaning 502 clauses out of 1020 for limit 686039.5898221266 1236.97/1229.60 c cleaning 498 clauses out of 1016 for limit 1133554.762395127 1237.08/1229.72 c cleaning 499 clauses out of 1017 for limit 1865677.7669704873 1237.18/1229.84 c cleaning 501 clauses out of 1018 for limit 3073729.873715739 1237.27/1229.94 c cleaning 501 clauses out of 1017 for limit 5073976.017332215 1800.08/1789.81 c starts : 31 1800.08/1789.81 c conflicts : 3452259 1800.08/1789.81 c decisions : 9482026 1800.08/1789.81 c propagations : 657646262 1800.08/1789.81 c inspects : 753269300 1800.08/1789.81 c learnt literals : 1 1800.08/1789.81 c learnt binary clauses : 1 1800.08/1789.81 c learnt ternary clauses : 2 1800.08/1789.81 c learnt clauses : 3452258 1800.08/1789.81 c root simplifications : 0 1800.08/1789.81 c removed literals (reason simplification) : 0 1800.08/1789.81 c reason swapping (by a shorter reason) : 0 1800.08/1789.81 c Calls to reduceDB : 171 1800.08/1789.81 c speed (decisions/second) : 5302.766916014961 1800.08/1789.81 c non guided choices 3924 1800.08/1789.81 s SATISFIABLE 1800.08/1789.82 v -x1 -x2 -x3 x4 x5 x6 x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 1800.08/1789.82 v 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 1800.08/1789.82 v -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 1800.08/1789.82 v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1800.08/1789.82 v -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 1800.08/1789.82 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.08/1789.82 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.08/1789.82 v x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 x193 1800.08/1789.82 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 1800.08/1789.82 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 x234 -x235 1800.08/1789.82 v -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 1800.08/1789.82 v -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 1800.08/1789.82 v -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1800.08/1789.82 v -x299 x300 -x301 x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 1800.08/1789.82 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1800.08/1789.82 v -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 1800.08/1789.82 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1800.08/1789.82 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1800.08/1789.82 v -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 1800.08/1789.82 v -x425 -x426 -x427 -x428 x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 1800.08/1789.82 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1800.08/1789.82 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 x485 -x486 x487 1800.08/1789.82 v -x488 x489 x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.08/1789.82 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 1800.08/1789.82 v -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 x549 -x550 -x551 1800.08/1789.82 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 x572 1800.08/1789.82 v -x573 -x574 -x575 x576 x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 1800.08/1789.82 v -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1800.08/1789.82 v -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1800.08/1789.82 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.08/1789.82 v -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 1800.08/1789.82 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1800.08/1789.82 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 1800.08/1789.82 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 x737 x738 -x739 -x740 x741 1800.08/1789.82 v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 x760 -x761 x762 1800.08/1789.82 v x763 -x764 x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 1800.08/1789.82 v x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 1800.08/1789.82 v x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 1800.08/1789.82 v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 1800.08/1789.82 v -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 1800.08/1789.82 v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 1800.08/1789.82 v -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 x908 -x909 1800.08/1789.82 v x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 1800.08/1789.82 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 1800.08/1789.82 v -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 1800.08/1789.82 v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 1800.08/1789.82 v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1800.08/1789.82 v -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 1800.08/1789.82 v -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.08/1789.82 v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 1800.08/1789.82 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 1800.08/1789.82 v x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 1800.08/1789.82 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 1800.08/1789.82 v -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 x1133 -x1134 1800.08/1789.82 v -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 1800.08/1789.82 v -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 x1167 -x1168 -x1169 1800.08/1789.82 v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 1800.08/1789.82 v -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 1800.08/1789.82 v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 1800.08/1789.82 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 1800.08/1789.82 v -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 1800.08/1789.82 v x1256 x1257 -x1258 x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 1800.08/1789.82 v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 x1284 x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 1800.08/1789.82 v -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 1800.08/1789.82 v -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 x1322 -x1323 -x1324 -x1325 -x1326 1800.08/1789.82 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 1800.08/1789.82 v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 1800.08/1789.82 v -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 1800.08/1789.82 v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 x1394 -x1395 -x1396 1800.08/1789.82 v -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 x1409 -x1410 -x1411 -x1412 x1413 -x1414 1800.08/1789.82 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 x1431 -x1432 1800.08/1789.82 v -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 x1449 x1450 1800.08/1789.82 v -x1451 1800.08/1789.82 c objective function=161 1800.08/1789.82 c Total wall clock time (ms): 1789.623
OK 161
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-352834-1176642799 -o ROOT/results/node10/solver-352834-1176642799 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352834-1176642799/sat4jPseudoResolution.jar /tmp/evaluation/352834-1176642799/instance-352834-1176642799.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.01 1.00 3/77 7032 /proc/meminfo: memFree=1862864/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=1800 CPUtime=0 /proc/7032/stat : 7032 (java) R 7030 7032 6108 0 -1 0 157 0 0 0 0 0 0 0 18 0 1 0 140317471 1843200 132 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 9325776 0 0 4096 0 0 0 0 17 1 0 0 /proc/7032/statm: 450 138 101 9 0 92 0 [startup+0.0302799 s] /proc/loadavg: 1.04 1.01 1.00 3/77 7032 /proc/meminfo: memFree=1862864/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=1774248 CPUtime=0.01 /proc/7032/stat : 7032 (java) S 7030 7032 6108 0 -1 0 2679 0 1 0 0 1 0 0 18 0 4 0 140317471 1816829952 2427 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/7032/statm: 443562 2427 483 9 0 441576 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1774248 [startup+0.10119 s] /proc/loadavg: 1.04 1.01 1.00 3/77 7032 /proc/meminfo: memFree=1862864/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=1780108 CPUtime=0.09 /proc/7032/stat : 7032 (java) S 7030 7032 6108 0 -1 0 3976 0 1 0 6 3 0 0 18 0 12 0 140317471 1822830592 3718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7032/statm: 445027 3718 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780108 [startup+0.301231 s] /proc/loadavg: 1.04 1.01 1.00 3/77 7032 /proc/meminfo: memFree=1862864/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=1782044 CPUtime=0.33 /proc/7032/stat : 7032 (java) S 7030 7032 6108 0 -1 0 5080 0 1 0 29 4 0 0 18 0 12 0 140317471 1824813056 4817 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7032/statm: 445511 4817 1264 9 0 443123 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1782044 [startup+0.701318 s] /proc/loadavg: 1.04 1.01 1.00 3/77 7032 /proc/meminfo: memFree=1862864/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=1785216 CPUtime=0.97 /proc/7032/stat : 7032 (java) S 7030 7032 6108 0 -1 0 7775 0 1 0 92 5 0 0 18 0 12 0 140317471 1828061184 6870 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7032/statm: 446304 6870 1308 9 0 443916 0 Current children cumulated CPU time (s) 0.97 Current children cumulated vsize (KiB) 1785216 [startup+1.50249 s] /proc/loadavg: 1.04 1.01 1.00 2/89 7044 /proc/meminfo: memFree=1829808/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=1785536 CPUtime=2.2 /proc/7032/stat : 7032 (java) S 7030 7032 6108 0 -1 0 15240 0 1 0 211 9 0 0 18 0 13 0 140317471 1828388864 12917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7032/statm: 446384 12917 1318 9 0 443996 0 [pid=7032/tid=7034] ppid=7030 vsize=1785536 CPUtime=0.98 /proc/7032/task/7034/stat : 7034 (java) R 7030 7032 6108 0 -1 64 11010 0 1 0 92 6 0 0 21 0 13 0 140317472 1828388864 12917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109194760 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7035] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7035/stat : 7035 (java) S 7030 7032 6108 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 140317474 1828388864 12917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7036] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7036/stat : 7036 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 140317474 1828388864 12917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7037] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7037/stat : 7037 (java) S 7030 7032 6108 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 140317476 1828388864 12917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7038] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7038/stat : 7038 (java) S 7030 7032 6108 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 140317477 1828388864 12917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7039] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7039/stat : 7039 (java) S 7030 7032 6108 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 140317477 1828388864 12917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7040] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7040/stat : 7040 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140317481 1828388864 12917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7041] ppid=7030 vsize=1785536 CPUtime=0.62 /proc/7032/task/7041/stat : 7041 (java) R 7030 7032 6108 0 -1 64 2462 0 0 0 61 1 0 0 17 0 13 0 140317481 1828388864 12917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105014689 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7042] ppid=7030 vsize=1785536 CPUtime=0.57 /proc/7032/task/7042/stat : 7042 (java) S 7030 7032 6108 0 -1 64 1045 0 0 0 57 0 0 0 16 0 13 0 140317481 1828388864 12917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7043] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7043/stat : 7043 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140317481 1828388864 12917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7044] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7044/stat : 7044 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140317481 1828388864 12917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.2 Current children cumulated vsize (KiB) 1785536 [startup+3.10183 s] /proc/loadavg: 1.04 1.01 1.00 2/90 7049 /proc/meminfo: memFree=1812968/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=1785536 CPUtime=3.97 /proc/7032/stat : 7032 (java) S 7030 7032 6108 0 -1 0 16732 0 1 0 388 9 0 0 18 0 13 0 140317471 1828388864 14397 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7032/statm: 446384 14397 1323 9 0 443996 0 [pid=7032/tid=7034] ppid=7030 vsize=1785536 CPUtime=2.49 /proc/7032/task/7034/stat : 7034 (java) R 7030 7032 6108 0 -1 64 12469 0 1 0 243 6 0 0 17 0 13 0 140317472 1828388864 14397 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109711135 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7035] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7035/stat : 7035 (java) S 7030 7032 6108 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 140317474 1828388864 14397 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7036] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7036/stat : 7036 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 140317474 1828388864 14397 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7037] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7037/stat : 7037 (java) S 7030 7032 6108 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 140317476 1828388864 14397 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7038] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7038/stat : 7038 (java) S 7030 7032 6108 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 140317477 1828388864 14397 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7039] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7039/stat : 7039 (java) S 7030 7032 6108 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 140317477 1828388864 14397 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7040] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7040/stat : 7040 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140317481 1828388864 14397 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7041] ppid=7030 vsize=1785536 CPUtime=0.77 /proc/7032/task/7041/stat : 7041 (java) S 7030 7032 6108 0 -1 64 2486 0 0 0 76 1 0 0 16 0 13 0 140317481 1828388864 14397 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7042] ppid=7030 vsize=1785536 CPUtime=0.68 /proc/7032/task/7042/stat : 7042 (java) S 7030 7032 6108 0 -1 64 1054 0 0 0 68 0 0 0 16 0 13 0 140317481 1828388864 14397 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7043] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7043/stat : 7043 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140317481 1828388864 14397 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7044] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7044/stat : 7044 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140317481 1828388864 14397 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7049] ppid=7030 vsize=1785536 CPUtime=0 /proc/7032/task/7049/stat : 7049 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 140317640 1828388864 14397 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.97 Current children cumulated vsize (KiB) 1785536 [startup+6.30252 s] /proc/loadavg: 1.04 1.01 1.00 2/90 7049 /proc/meminfo: memFree=1803880/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=1784816 CPUtime=7.18 /proc/7032/stat : 7032 (java) S 7030 7032 6108 0 -1 0 18957 0 1 0 708 10 0 0 18 0 13 0 140317471 1827651584 16431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7032/statm: 446204 16431 1323 9 0 443816 0 [pid=7032/tid=7034] ppid=7030 vsize=1784816 CPUtime=5.66 /proc/7032/task/7034/stat : 7034 (java) R 7030 7032 6108 0 -1 64 14691 0 1 0 559 7 0 0 25 0 13 0 140317472 1827651584 16431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109801631 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7035] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7035/stat : 7035 (java) S 7030 7032 6108 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 140317474 1827651584 16431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7036] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7036/stat : 7036 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 140317474 1827651584 16431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7037] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7037/stat : 7037 (java) S 7030 7032 6108 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 140317476 1827651584 16431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7038] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7038/stat : 7038 (java) S 7030 7032 6108 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 140317477 1827651584 16431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7039] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7039/stat : 7039 (java) S 7030 7032 6108 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 140317477 1827651584 16431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7040] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7040/stat : 7040 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140317481 1827651584 16431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7041] ppid=7030 vsize=1784816 CPUtime=0.78 /proc/7032/task/7041/stat : 7041 (java) S 7030 7032 6108 0 -1 64 2486 0 0 0 77 1 0 0 16 0 13 0 140317481 1827651584 16431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7042] ppid=7030 vsize=1784816 CPUtime=0.71 /proc/7032/task/7042/stat : 7042 (java) S 7030 7032 6108 0 -1 64 1057 0 0 0 71 0 0 0 16 0 13 0 140317481 1827651584 16431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7043] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7043/stat : 7043 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140317481 1827651584 16431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7044] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7044/stat : 7044 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140317481 1827651584 16431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7049] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7049/stat : 7049 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 140317640 1827651584 16431 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.18 Current children cumulated vsize (KiB) 1784816 [startup+12.7029 s] /proc/loadavg: 1.03 1.01 1.00 2/90 7049 /proc/meminfo: memFree=1788136/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=1784816 CPUtime=13.59 /proc/7032/stat : 7032 (java) S 7030 7032 6108 0 -1 0 22748 0 1 0 1347 12 0 0 18 0 13 0 140317471 1827651584 20222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7032/statm: 446204 20222 1323 9 0 443816 0 [pid=7032/tid=7034] ppid=7030 vsize=1784816 CPUtime=12.06 /proc/7032/task/7034/stat : 7034 (java) R 7030 7032 6108 0 -1 64 18482 0 1 0 1198 8 0 0 25 0 13 0 140317472 1827651584 20222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109801631 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7035] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7035/stat : 7035 (java) S 7030 7032 6108 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 140317474 1827651584 20222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7036] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7036/stat : 7036 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 140317474 1827651584 20222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7037] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7037/stat : 7037 (java) S 7030 7032 6108 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 140317476 1827651584 20222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7038] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7038/stat : 7038 (java) S 7030 7032 6108 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 140317477 1827651584 20222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7039] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7039/stat : 7039 (java) S 7030 7032 6108 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 140317477 1827651584 20222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7040] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7040/stat : 7040 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140317481 1827651584 20222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7041] ppid=7030 vsize=1784816 CPUtime=0.78 /proc/7032/task/7041/stat : 7041 (java) S 7030 7032 6108 0 -1 64 2486 0 0 0 77 1 0 0 16 0 13 0 140317481 1827651584 20222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7042] ppid=7030 vsize=1784816 CPUtime=0.71 /proc/7032/task/7042/stat : 7042 (java) S 7030 7032 6108 0 -1 64 1057 0 0 0 71 0 0 0 16 0 13 0 140317481 1827651584 20222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7043] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7043/stat : 7043 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140317481 1827651584 20222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7044] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7044/stat : 7044 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140317481 1827651584 20222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7049] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7049/stat : 7049 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 140317640 1827651584 20222 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.59 Current children cumulated vsize (KiB) 1784816 [startup+25.5027 s] /proc/loadavg: 1.03 1.01 1.00 2/90 7049 /proc/meminfo: memFree=1759016/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=1784816 CPUtime=26.4 /proc/7032/stat : 7032 (java) S 7030 7032 6108 0 -1 0 29626 0 1 0 2625 15 0 0 18 0 13 0 140317471 1827651584 27100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7032/statm: 446204 27100 1323 9 0 443816 0 [pid=7032/tid=7034] ppid=7030 vsize=1784816 CPUtime=24.86 /proc/7032/task/7034/stat : 7034 (java) R 7030 7032 6108 0 -1 64 25359 0 1 0 2474 12 0 0 25 0 13 0 140317472 1827651584 27100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109725363 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7035] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7035/stat : 7035 (java) S 7030 7032 6108 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 140317474 1827651584 27100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7036] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7036/stat : 7036 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 140317474 1827651584 27100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7037] ppid=7030 vsize=1784816 CPUtime=0 /proc/7032/task/7037/stat : 7037 (java) S 7030 7032 6108 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 140317476 1827651584 27100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=7032/tid=7037] ppid=7030 vsize=1795064 CPUtime=11.6 /proc/7032/task/7037/stat : 7037 (java) S 7030 7032 6108 0 -1 64 46911 0 0 0 1128 32 0 0 16 0 13 0 140317476 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7038] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7038/stat : 7038 (java) S 7030 7032 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140317477 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7039] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7039/stat : 7039 (java) S 7030 7032 6108 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140317477 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7040] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7040/stat : 7040 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7041] ppid=7030 vsize=1795064 CPUtime=0.89 /proc/7032/task/7041/stat : 7041 (java) S 7030 7032 6108 0 -1 64 2496 0 0 0 88 1 0 0 17 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7042] ppid=7030 vsize=1795064 CPUtime=0.82 /proc/7032/task/7042/stat : 7042 (java) S 7030 7032 6108 0 -1 64 1070 0 0 0 82 0 0 0 17 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7043] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7043/stat : 7043 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7044] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7044/stat : 7044 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7049] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7049/stat : 7049 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 140317640 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1612.66 Current children cumulated vsize (KiB) 1795064 [startup+1662.3 s] /proc/loadavg: 1.01 1.02 1.00 2/90 7051 /proc/meminfo: memFree=870696/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=1795064 CPUtime=1672.64 /proc/7032/stat : 7032 (java) S 7030 7032 6108 0 -1 0 647787 0 1 0 166934 330 0 0 18 0 13 0 140317471 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7032/statm: 448766 247969 1336 9 0 446378 0 [pid=7032/tid=7034] ppid=7030 vsize=1795064 CPUtime=1639.03 /proc/7032/task/7034/stat : 7034 (java) R 7030 7032 6108 0 -1 64 37747 0 1 0 163873 30 0 0 25 0 13 0 140317472 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109915686 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7035] ppid=7030 vsize=1795064 CPUtime=9.99 /proc/7032/task/7035/stat : 7035 (java) S 7030 7032 6108 0 -1 64 282361 0 0 0 869 130 0 0 16 0 13 0 140317474 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7036] ppid=7030 vsize=1795064 CPUtime=10.23 /proc/7032/task/7036/stat : 7036 (java) S 7030 7032 6108 0 -1 64 276480 0 0 0 891 132 0 0 16 0 13 0 140317474 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7037] ppid=7030 vsize=1795064 CPUtime=11.6 /proc/7032/task/7037/stat : 7037 (java) S 7030 7032 6108 0 -1 64 46911 0 0 0 1128 32 0 0 16 0 13 0 140317476 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7038] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7038/stat : 7038 (java) S 7030 7032 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140317477 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7039] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7039/stat : 7039 (java) S 7030 7032 6108 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140317477 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7040] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7040/stat : 7040 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7041] ppid=7030 vsize=1795064 CPUtime=0.89 /proc/7032/task/7041/stat : 7041 (java) S 7030 7032 6108 0 -1 64 2496 0 0 0 88 1 0 0 17 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7042] ppid=7030 vsize=1795064 CPUtime=0.82 /proc/7032/task/7042/stat : 7042 (java) S 7030 7032 6108 0 -1 64 1070 0 0 0 82 0 0 0 17 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7043] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7043/stat : 7043 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7044] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7044/stat : 7044 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7049] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7049/stat : 7049 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 140317640 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1672.64 Current children cumulated vsize (KiB) 1795064 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/90 7051 /proc/meminfo: memFree=870632/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=1795064 CPUtime=1732.61 /proc/7032/stat : 7032 (java) S 7030 7032 6108 0 -1 0 647787 0 1 0 172931 330 0 0 18 0 13 0 140317471 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7032/statm: 448766 247969 1336 9 0 446378 0 [pid=7032/tid=7034] ppid=7030 vsize=1795064 CPUtime=1699.01 /proc/7032/task/7034/stat : 7034 (java) R 7030 7032 6108 0 -1 64 37747 0 1 0 169870 31 0 0 25 0 13 0 140317472 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109343383 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7035] ppid=7030 vsize=1795064 CPUtime=9.99 /proc/7032/task/7035/stat : 7035 (java) S 7030 7032 6108 0 -1 64 282361 0 0 0 869 130 0 0 16 0 13 0 140317474 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7036] ppid=7030 vsize=1795064 CPUtime=10.23 /proc/7032/task/7036/stat : 7036 (java) S 7030 7032 6108 0 -1 64 276480 0 0 0 891 132 0 0 16 0 13 0 140317474 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7037] ppid=7030 vsize=1795064 CPUtime=11.6 /proc/7032/task/7037/stat : 7037 (java) S 7030 7032 6108 0 -1 64 46911 0 0 0 1128 32 0 0 16 0 13 0 140317476 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7038] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7038/stat : 7038 (java) S 7030 7032 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140317477 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7039] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7039/stat : 7039 (java) S 7030 7032 6108 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140317477 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7040] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7040/stat : 7040 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7041] ppid=7030 vsize=1795064 CPUtime=0.89 /proc/7032/task/7041/stat : 7041 (java) S 7030 7032 6108 0 -1 64 2496 0 0 0 88 1 0 0 17 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7042] ppid=7030 vsize=1795064 CPUtime=0.82 /proc/7032/task/7042/stat : 7042 (java) S 7030 7032 6108 0 -1 64 1070 0 0 0 82 0 0 0 17 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7043] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7043/stat : 7043 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7044] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7044/stat : 7044 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7049] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7049/stat : 7049 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 140317640 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1732.61 Current children cumulated vsize (KiB) 1795064 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/90 7051 /proc/meminfo: memFree=870504/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=1795064 CPUtime=1792.58 /proc/7032/stat : 7032 (java) S 7030 7032 6108 0 -1 0 647787 0 1 0 178928 330 0 0 18 0 13 0 140317471 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7032/statm: 448766 247969 1336 9 0 446378 0 [pid=7032/tid=7034] ppid=7030 vsize=1795064 CPUtime=1758.98 /proc/7032/task/7034/stat : 7034 (java) R 7030 7032 6108 0 -1 64 37747 0 1 0 175867 31 0 0 25 0 13 0 140317472 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109343383 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7035] ppid=7030 vsize=1795064 CPUtime=9.99 /proc/7032/task/7035/stat : 7035 (java) S 7030 7032 6108 0 -1 64 282361 0 0 0 869 130 0 0 16 0 13 0 140317474 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7036] ppid=7030 vsize=1795064 CPUtime=10.23 /proc/7032/task/7036/stat : 7036 (java) S 7030 7032 6108 0 -1 64 276480 0 0 0 891 132 0 0 16 0 13 0 140317474 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7037] ppid=7030 vsize=1795064 CPUtime=11.6 /proc/7032/task/7037/stat : 7037 (java) S 7030 7032 6108 0 -1 64 46911 0 0 0 1128 32 0 0 16 0 13 0 140317476 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7038] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7038/stat : 7038 (java) S 7030 7032 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140317477 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7039] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7039/stat : 7039 (java) S 7030 7032 6108 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140317477 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7040] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7040/stat : 7040 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7041] ppid=7030 vsize=1795064 CPUtime=0.89 /proc/7032/task/7041/stat : 7041 (java) S 7030 7032 6108 0 -1 64 2496 0 0 0 88 1 0 0 17 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7042] ppid=7030 vsize=1795064 CPUtime=0.82 /proc/7032/task/7042/stat : 7042 (java) S 7030 7032 6108 0 -1 64 1070 0 0 0 82 0 0 0 17 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7043] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7043/stat : 7043 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7044] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7044/stat : 7044 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7049] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7049/stat : 7049 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 140317640 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (KiB) 1795064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1789.8 s] /proc/loadavg: 1.00 1.01 1.00 2/90 7051 /proc/meminfo: memFree=870504/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=1795064 CPUtime=1800.08 /proc/7032/stat : 7032 (java) S 7030 7032 6108 0 -1 0 647787 0 1 0 179678 330 0 0 18 0 13 0 140317471 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7032/statm: 448766 247969 1336 9 0 446378 0 [pid=7032/tid=7034] ppid=7030 vsize=1795064 CPUtime=1766.48 /proc/7032/task/7034/stat : 7034 (java) R 7030 7032 6108 0 -1 64 37747 0 1 0 176617 31 0 0 25 0 13 0 140317472 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109916078 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7035] ppid=7030 vsize=1795064 CPUtime=9.99 /proc/7032/task/7035/stat : 7035 (java) S 7030 7032 6108 0 -1 64 282361 0 0 0 869 130 0 0 16 0 13 0 140317474 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7036] ppid=7030 vsize=1795064 CPUtime=10.23 /proc/7032/task/7036/stat : 7036 (java) S 7030 7032 6108 0 -1 64 276480 0 0 0 891 132 0 0 16 0 13 0 140317474 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7037] ppid=7030 vsize=1795064 CPUtime=11.6 /proc/7032/task/7037/stat : 7037 (java) S 7030 7032 6108 0 -1 64 46911 0 0 0 1128 32 0 0 16 0 13 0 140317476 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7038] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7038/stat : 7038 (java) S 7030 7032 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140317477 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7039] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7039/stat : 7039 (java) S 7030 7032 6108 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140317477 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7040] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7040/stat : 7040 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7041] ppid=7030 vsize=1795064 CPUtime=0.89 /proc/7032/task/7041/stat : 7041 (java) S 7030 7032 6108 0 -1 64 2496 0 0 0 88 1 0 0 17 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7042] ppid=7030 vsize=1795064 CPUtime=0.82 /proc/7032/task/7042/stat : 7042 (java) S 7030 7032 6108 0 -1 64 1070 0 0 0 82 0 0 0 17 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7043] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7043/stat : 7043 (java) S 7030 7032 6108 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7032/tid=7044] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7044/stat : 7044 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140317481 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7032/tid=7049] ppid=7030 vsize=1795064 CPUtime=0 /proc/7032/task/7049/stat : 7049 (java) S 7030 7032 6108 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 140317640 1838145536 247969 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1795064 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1789.91 s] /proc/loadavg: 1.00 1.01 1.00 2/90 7051 /proc/meminfo: memFree=870504/2055920 swapFree=4158508/4192956 [pid=7032] ppid=7030 vsize=0 CPUtime=1800.21 /proc/7032/stat : 7032 (java) Z 7030 7032 6108 0 -1 1036 647806 0 1 0 179682 339 0 0 16 0 2 0 140317471 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7032/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1789.98 CPU time (s): 1800.29 CPU user time (s): 1796.83 CPU system time (s): 3.45747 CPU usage (%): 100.576 Max. virtual memory (cumulated for all children) (KiB): 1819072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.83 system time used= 3.45747 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 647806 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= 37272 involuntary context switches= 59638 runsolver used 2.24766 second user time and 4.30635 second system time The end
Begin job on node10 on Sun Apr 15 13:13:19 UTC 2007 IDJOB= 352834 IDBENCH= 2055 IDSOLVER= 159 FILE ID= node10/352834-1176642799 PBS_JOBID= 4556868 Free space on /tmp= 66556 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-rot.b.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352834-1176642799/sat4jPseudoResolution.jar /tmp/evaluation/352834-1176642799/instance-352834-1176642799.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-352834-1176642799 -o ROOT/results/node10/solver-352834-1176642799 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352834-1176642799/sat4jPseudoResolution.jar /tmp/evaluation/352834-1176642799/instance-352834-1176642799.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 82ceb454755e01aa6cecb68eb859eaa6 RANDOM SEED= 613345454 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1863208 kB Buffers: 18656 kB Cached: 101360 kB SwapCached: 2520 kB Active: 71724 kB Inactive: 71568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1863208 kB SwapTotal: 4192956 kB SwapFree: 4158508 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 30672 kB Slab: 35040 kB Committed_AS: 2976352 kB PageTables: 1708 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66556 MiB End job on node10 on Sun Apr 15 13:43:12 UTC 2007