Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.21 | 1782.98 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-swath.opb |
MD5SUM | 3553224658521cb15e26e6f30dd8f5c2 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 9155 |
Total number of constraints | 884 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 423 |
Number of constraints which are nor clauses,nor cardinality constraints | 461 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 6754 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 16777216000000 |
Number of bits of the biggest number in a constraint | 44 |
Biggest sum of numbers in a constraint | 66042304016951 |
Number of bits of the biggest sum of numbers | 46 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/349547-1176707798/instance-349547-1176707798.opb 0.20/0.20 c reading problem ... 2.26/1.71 c ... done. Wall clock time 1.509s. 2.26/1.71 c CPU time (experimental) 1.39s. 2.26/1.71 c #vars 9155 2.26/1.71 c #constraints 586 646.67/641.92 c cleaning 75452 clauses out of 151001 for limit 2.7139484148966595 648.53/643.60 c cleaning 38007 clauses out of 76046 for limit 8.860482832923864 649.44/644.54 c cleaning 19212 clauses out of 38543 for limit 28.945575106054598 650.43/645.52 c cleaning 9855 clauses out of 19828 for limit 92.51265380485435 651.33/646.42 c cleaning 5175 clauses out of 10473 for limit 288.8449858919141 667.15/661.82 c cleaning 6846 clauses out of 13798 for limit 1082106.174242142 667.85/662.60 c cleaning 3674 clauses out of 7453 for limit 3307084.510557236 668.66/663.35 c cleaning 2088 clauses out of 4283 for limit 9528450.323593823 685.09/679.44 c cleaning 5845 clauses out of 11691 for limit 4.66705043417274E10 687.76/682.04 c cleaning 3612 clauses out of 7347 for limit 3.334158852991194E11 688.55/682.81 c cleaning 2055 clauses out of 4234 for limit 9.531622832978771E11 691.59/685.82 c cleaning 2090 clauses out of 4180 for limit 7.148245847757264E12 692.29/686.54 c cleaning 1294 clauses out of 2588 for limit 1.900195800308421E13 694.73/688.91 c cleaning 1394 clauses out of 2794 for limit 7.894122931025164E13 695.43/689.66 c cleaning 895 clauses out of 1900 for limit 1.914399503565812E14 696.13/690.37 c cleaning 695 clauses out of 1506 for limit 3.987049254972828E14 699.15/693.38 c cleaning 1352 clauses out of 2813 for limit 1.581974257242838E15 717.27/711.10 c cleaning 5922 clauses out of 11960 for limit 0.13569913523786764 718.27/712.01 c cleaning 3209 clauses out of 6535 for limit 0.4083335077508544 718.97/712.80 c cleaning 1854 clauses out of 3826 for limit 1.1501951519469604 719.77/713.54 c cleaning 1177 clauses out of 2475 for limit 2.9410385524731946 903.07/896.22 c cleaning 27658 clauses out of 55321 for limit 391.57545978693497 906.57/899.79 c cleaning 14124 clauses out of 28252 for limit 1382.2408566636784 909.30/902.40 c cleaning 7283 clauses out of 14571 for limit 4174.7673770787205 915.60/908.78 c cleaning 4367 clauses out of 8744 for limit 29857.99447356436 916.80/909.96 c cleaning 2427 clauses out of 4865 for limit 87443.93311320906 918.34/911.48 c cleaning 1488 clauses out of 2987 for limit 246674.5072336358 920.04/913.14 c cleaning 988 clauses out of 1987 for limit 604231.5114273119 921.54/914.60 c cleaning 738 clauses out of 1487 for limit 1315624.6889469093 922.94/916.10 c cleaning 618 clauses out of 1237 for limit 2577003.624926519 924.34/917.41 c cleaning 553 clauses out of 1107 for limit 4692225.268311483 925.63/918.79 c cleaning 529 clauses out of 1059 for limit 8129408.749324026 928.58/921.62 c cleaning 779 clauses out of 1558 for limit 1.5454877641168585E7 929.98/923.03 c cleaning 618 clauses out of 1253 for limit 3.087738651837687E7 931.37/924.46 c cleaning 567 clauses out of 1145 for limit 5.628428109493435E7 932.77/925.84 c cleaning 532 clauses out of 1078 for limit 9.858928935226943E7 934.07/927.13 c cleaning 510 clauses out of 1043 for limit 1.675392397023331E8 935.42/928.46 c cleaning 501 clauses out of 1022 for limit 2.7888567702169997E8 936.82/929.83 c cleaning 507 clauses out of 1025 for limit 4.604125730223825E8 938.32/931.34 c cleaning 515 clauses out of 1030 for limit 7.647224568760624E8 940.22/933.26 c cleaning 557 clauses out of 1115 for limit 1.287577164080787E9 942.03/935.06 c cleaning 475 clauses out of 958 for limit 2.236079981116583E9 1183.53/1175.96 c cleaning 10047 clauses out of 20101 for limit 3.563585324133137E-4 1201.36/1193.73 c cleaning 5656 clauses out of 11415 for limit 0.0024490600495271357 1205.01/1197.34 c cleaning 3145 clauses out of 6298 for limit 0.007611575150811211 1208.60/1200.96 c cleaning 1840 clauses out of 3689 for limit 0.022216050378253523 1220.94/1213.27 c cleaning 1638 clauses out of 3284 for limit 0.10488098419011482 1225.36/1217.69 c cleaning 1087 clauses out of 2182 for limit 0.2698630765166939 1229.35/1221.61 c cleaning 813 clauses out of 1634 for limit 0.6179424172402562 1237.17/1229.45 c cleaning 944 clauses out of 1896 for limit 1.5612120104059077 1239.69/1231.94 c cleaning 651 clauses out of 1311 for limit 3.233607115530742 1243.18/1235.40 c cleaning 595 clauses out of 1198 for limit 6.061784039541746 1246.68/1238.91 c cleaning 566 clauses out of 1141 for limit 10.902823157786475 1254.11/1246.40 c cleaning 790 clauses out of 1589 for limit 21.592138337450137 1257.43/1249.63 c cleaning 632 clauses out of 1272 for limit 43.296870735174686 1260.92/1253.18 c cleaning 563 clauses out of 1135 for limit 79.62163418045942 1264.64/1256.82 c cleaning 533 clauses out of 1075 for limit 139.0522134956338 1268.04/1260.27 c cleaning 505 clauses out of 1018 for limit 236.41019283298547 1269.54/1261.77 c cleaning 380 clauses out of 956 for limit 392.1432996533933 1273.05/1265.29 c cleaning 602 clauses out of 1213 for limit 584.5556873935308 1276.65/1268.83 c cleaning 558 clauses out of 1124 for limit 1053.9619201395446 1279.37/1271.53 c cleaning 482 clauses out of 977 for limit 1829.2834560049746 1280.37/1272.51 c cleaning 457 clauses out of 948 for limit 2966.2043444651654 1281.57/1273.73 c cleaning 493 clauses out of 995 for limit 4679.293187464514 1284.59/1276.74 c cleaning 506 clauses out of 1021 for limit 7664.59491548612 1288.30/1280.46 c cleaning 530 clauses out of 1068 for limit 12741.739068808685 1292.43/1284.53 c cleaning 537 clauses out of 1083 for limit 21676.06377224127 1296.33/1288.47 c cleaning 539 clauses out of 1087 for limit 37106.51794809563 1298.83/1290.93 c cleaning 448 clauses out of 904 for limit 63708.51872603846 1302.56/1294.67 c cleaning 496 clauses out of 1001 for limit 99252.34519726795 1306.46/1298.59 c cleaning 518 clauses out of 1045 for limit 163190.51851883216 1310.28/1302.35 c cleaning 535 clauses out of 1071 for limit 274407.6073241271 1310.78/1302.82 c cleaning 427 clauses out of 878 for limit 471296.4067849891 1311.02/1303.02 c cleaning 460 clauses out of 948 for limit 717682.999743765 1311.12/1303.17 c cleaning 477 clauses out of 988 for limit 1135638.058819768 1311.32/1303.33 c cleaning 489 clauses out of 1011 for limit 1830212.9109318217 1311.55/1303.52 c cleaning 493 clauses out of 1022 for limit 2985779.703402475 1311.65/1303.67 c cleaning 495 clauses out of 1029 for limit 4890453.901772122 1311.85/1303.81 c cleaning 501 clauses out of 1034 for limit 8026013.622863121 1311.95/1303.93 c cleaning 517 clauses out of 1035 for limit 1.3249667874103783E7 1312.08/1304.05 c cleaning 509 clauses out of 1018 for limit 2.22153648844968E7 1312.20/1304.19 c cleaning 489 clauses out of 1008 for limit 3.6962562509269424E7 1312.40/1304.31 c cleaning 495 clauses out of 1018 for limit 6.0297068923021935E7 1312.50/1304.43 c cleaning 497 clauses out of 1023 for limit 9.895192164864045E7 1312.60/1304.55 c cleaning 513 clauses out of 1028 for limit 1.6271652553483987E8 1312.70/1304.66 c cleaning 487 clauses out of 1013 for limit 2.7177042591769934E8 1312.91/1304.80 c cleaning 513 clauses out of 1026 for limit 4.4250702182668406E8 1313.01/1304.92 c cleaning 506 clauses out of 1013 for limit 7.391183235064957E8 1313.11/1305.04 c cleaning 486 clauses out of 1007 for limit 1.2261675847574933E9 1313.21/1305.16 c cleaning 510 clauses out of 1021 for limit 1.9943870535721097E9 1313.31/1305.27 c cleaning 505 clauses out of 1011 for limit 3.321543311410613E9 1313.41/1305.38 c cleaning 484 clauses out of 1006 for limit 5.504894264995546E9 1313.62/1305.50 c cleaning 510 clauses out of 1023 for limit 8.936382048719776E9 1313.72/1305.61 c cleaning 488 clauses out of 1012 for limit 1.4882579937923098E10 1313.82/1305.73 c cleaning 492 clauses out of 1024 for limit 2.4255747711760094E10 1313.92/1305.84 c cleaning 516 clauses out of 1033 for limit 3.96921570176467E10 1314.02/1305.95 c cleaning 508 clauses out of 1016 for limit 6.648638031450285E10 1314.12/1306.06 c cleaning 504 clauses out of 1009 for limit 1.1051612017953134E11 1314.23/1306.18 c cleaning 487 clauses out of 1004 for limit 1.829803519814362E11 1314.33/1306.29 c cleaning 490 clauses out of 1018 for limit 2.979070577525453E11 1314.43/1306.39 c cleaning 494 clauses out of 1028 for limit 4.865095196251153E11 1314.63/1306.50 c cleaning 517 clauses out of 1034 for limit 7.976636574809457E11 1314.73/1306.61 c cleaning 509 clauses out of 1018 for limit 1.337466660634684E12 1314.83/1306.73 c cleaning 504 clauses out of 1009 for limit 2.22533533450144E12 1314.93/1306.86 c cleaning 501 clauses out of 1003 for limit 3.684449094154334E12 1315.03/1306.98 c cleaning 486 clauses out of 1002 for limit 6.082213474452249E12 1315.23/1307.11 c cleaning 490 clauses out of 1016 for limit 9.89216973494094E12 1315.33/1307.24 c cleaning 504 clauses out of 1027 for limit 1.6154935289338428E13 1315.43/1307.38 c cleaning 490 clauses out of 1023 for limit 2.6745820133075273E13 1315.63/1307.51 c cleaning 515 clauses out of 1032 for limit 4.3679054746937E13 1315.73/1307.64 c cleaning 509 clauses out of 1018 for limit 7.309632609321505E13 1315.84/1307.77 c cleaning 504 clauses out of 1009 for limit 1.2162085386134416E14 1315.95/1307.89 c cleaning 503 clauses out of 1006 for limit 2.0136854517298478E14 1316.14/1308.01 c cleaning 479 clauses out of 1001 for limit 3.33075278064715E14 1316.24/1308.14 c cleaning 491 clauses out of 1023 for limit 5.380111071323356E14 1316.34/1308.26 c cleaning 516 clauses out of 1033 for limit 8.795427490975564E14 1316.44/1308.37 c cleaning 507 clauses out of 1016 for limit 1.4732788065250505E15 1316.54/1308.49 c cleaning 505 clauses out of 1010 for limit 2.4465138258765615E15 1316.75/1308.63 c cleaning 501 clauses out of 1004 for limit 4.054681173941714E15 1316.85/1308.74 c cleaning 502 clauses out of 1004 for limit 6.693405086459409E15 1316.95/1308.86 c cleaning 500 clauses out of 1000 for limit 1.106031983202512E16 1317.05/1308.98 c cleaning 501 clauses out of 1002 for limit 1.8240001709650172E16 1317.25/1309.10 c cleaning 500 clauses out of 1000 for limit 3.0110222965503792E16 1317.35/1309.22 c cleaning 500 clauses out of 1000 for limit 4.9655785743678896E16 1317.45/1309.34 c cleaning 500 clauses out of 1001 for limit 8.1889115412613616E16 1317.55/1309.46 c cleaning 476 clauses out of 999 for limit 0.0013504597119916198 1317.86/1309.72 c cleaning 739 clauses out of 1524 for limit 0.002409952260064299 1317.96/1309.84 c cleaning 617 clauses out of 1284 for limit 0.00471248258209116 1318.06/1309.96 c cleaning 561 clauses out of 1167 for limit 0.008550663441321386 1318.16/1310.08 c cleaning 531 clauses out of 1107 for limit 0.014880360289528972 1318.36/1310.21 c cleaning 517 clauses out of 1077 for limit 0.025248510523053512 1318.46/1310.33 c cleaning 505 clauses out of 1058 for limit 0.04230119751328403 1318.56/1310.45 c cleaning 502 clauses out of 1053 for limit 0.0700915793012376 1318.66/1310.57 c cleaning 505 clauses out of 1053 for limit 0.11582191896748031 1318.97/1310.83 c cleaning 750 clauses out of 1546 for limit 0.21411761055643133 1319.07/1310.96 c cleaning 624 clauses out of 1296 for limit 0.4212236657293231 1319.17/1311.08 c cleaning 564 clauses out of 1173 for limit 0.7682634133755543 1319.37/1311.21 c cleaning 529 clauses out of 1110 for limit 1.3402184231066794 1319.47/1311.34 c cleaning 522 clauses out of 1079 for limit 2.2691540530237595 1319.57/1311.45 c cleaning 509 clauses out of 1058 for limit 3.8202356841470655 1319.67/1311.58 c cleaning 504 clauses out of 1048 for limit 6.353834774537644 1319.87/1311.70 c cleaning 503 clauses out of 1044 for limit 10.518470377523576 1319.97/1311.82 c cleaning 502 clauses out of 1042 for limit 17.397056210735943 1320.18/1312.08 c cleaning 749 clauses out of 1539 for limit 32.00236896899805 1320.28/1312.20 c cleaning 624 clauses out of 1291 for limit 62.97742573160689 1320.48/1312.33 c cleaning 562 clauses out of 1166 for limit 114.87723436081468 1320.58/1312.46 c cleaning 531 clauses out of 1104 for limit 200.08721324385778 1320.68/1312.58 c cleaning 518 clauses out of 1074 for limit 339.52716435028816 1320.88/1312.70 c cleaning 508 clauses out of 1055 for limit 569.4396756850468 1320.98/1312.82 c cleaning 503 clauses out of 1047 for limit 946.2576166886892 1321.08/1312.94 c cleaning 504 clauses out of 1045 for limit 1565.0570682690352 1321.18/1313.06 c cleaning 499 clauses out of 1040 for limit 2590.8036765291495 1321.49/1313.32 c cleaning 752 clauses out of 1542 for limit 4756.9628093286765 1321.59/1313.44 c cleaning 621 clauses out of 1289 for limit 9375.244176102982 1321.69/1313.56 c cleaning 564 clauses out of 1168 for limit 17062.73120468512 1321.79/1313.68 c cleaning 532 clauses out of 1105 for limit 29772.788533031424 1321.99/1313.80 c cleaning 516 clauses out of 1072 for limit 50560.153137045156 1322.09/1313.92 c cleaning 509 clauses out of 1056 for limit 84643.79658682938 1322.19/1314.05 c cleaning 505 clauses out of 1048 for limit 140795.3037781216 1322.29/1314.17 c cleaning 497 clauses out of 1042 for limit 233293.75215046713 1322.39/1314.29 c cleaning 502 clauses out of 1045 for limit 383628.1112540783 1322.59/1314.41 c cleaning 500 clauses out of 1044 for limit 633893.9607638445 1322.80/1314.66 c cleaning 750 clauses out of 1543 for limit 1165275.0533885271 1322.90/1314.79 c cleaning 647 clauses out of 1294 for limit 2293773.3231687 1323.10/1314.90 c cleaning 573 clauses out of 1146 for limit 4266989.08053276 1323.20/1315.03 c cleaning 536 clauses out of 1073 for limit 7515576.748655597 1323.30/1315.15 c cleaning 497 clauses out of 1038 for limit 1.282493230420624E7 1323.39/1315.27 c cleaning 520 clauses out of 1040 for limit 2.1088246569654692E7 1323.49/1315.39 c cleaning 510 clauses out of 1020 for limit 3.545924835064221E7 1323.70/1315.52 c cleaning 505 clauses out of 1010 for limit 5.9056024819067106E7 1323.80/1315.64 c cleaning 503 clauses out of 1006 for limit 9.787640339474821E7 1323.89/1315.76 c cleaning 502 clauses out of 1004 for limit 1.6189471400299153E8 1324.31/1316.14 c cleaning 980 clauses out of 2001 for limit 3.6395898259001666E8 1324.41/1316.27 c cleaning 743 clauses out of 1522 for limit 7.89905753820132E8 1324.51/1316.39 c cleaning 616 clauses out of 1277 for limit 1.5494797182135093E9 1324.71/1316.52 c cleaning 560 clauses out of 1162 for limit 2.811001413190697E9 1324.82/1316.64 c cleaning 552 clauses out of 1104 for limit 4.889033680913607E9 1324.92/1316.76 c cleaning 525 clauses out of 1051 for limit 8.460786998444036E9 1325.01/1316.88 c cleaning 512 clauses out of 1024 for limit 1.4292242771023045E10 1325.21/1317.01 c cleaning 482 clauses out of 1013 for limit 2.384961071527891E10 1325.31/1317.13 c cleaning 515 clauses out of 1030 for limit 3.864336086515858E10 1325.72/1317.51 c cleaning 983 clauses out of 2015 for limit 8.859408473705968E10 1325.82/1317.63 c cleaning 766 clauses out of 1532 for limit 1.921661538750636E11 1325.93/1317.76 c cleaning 633 clauses out of 1267 for limit 3.835742523508182E11 1326.03/1317.88 c cleaning 566 clauses out of 1133 for limit 7.066714200211687E11 1326.22/1318.01 c cleaning 533 clauses out of 1067 for limit 1.2374820409061133E12 1326.32/1318.13 c cleaning 517 clauses out of 1035 for limit 2.105975785292659E12 1326.42/1318.25 c cleaning 485 clauses out of 1017 for limit 3.5309709571037334E12 1326.52/1318.37 c cleaning 495 clauses out of 1032 for limit 5.73840621332421E12 1326.62/1318.50 c cleaning 498 clauses out of 1038 for limit 9.418115900614822E12 1326.82/1318.62 c cleaning 519 clauses out of 1039 for limit 1.5501267536311125E13 1326.92/1318.74 c cleaning 488 clauses out of 1020 for limit 2.6039849785835062E13 1327.23/1319.00 c cleaning 744 clauses out of 1532 for limit 4.715108112476598E13 1327.33/1319.12 c cleaning 644 clauses out of 1288 for limit 9.248907678366083E13 1327.43/1319.24 c cleaning 572 clauses out of 1145 for limit 1.717478145671094E14 1327.53/1319.36 c cleaning 516 clauses out of 1072 for limit 3.022200659902329E14 1327.63/1319.49 c cleaning 507 clauses out of 1056 for limit 5.059528542327984E14 1327.83/1319.61 c cleaning 503 clauses out of 1050 for limit 8.399918418724702E14 1327.93/1319.73 c cleaning 504 clauses out of 1046 for limit 1.3891657203134545E15 1328.03/1319.85 c cleaning 521 clauses out of 1042 for limit 2.299714431110373E15 1328.13/1319.98 c cleaning 490 clauses out of 1022 for limit 3.870625312764475E15 1328.33/1320.10 c cleaning 515 clauses out of 1031 for limit 6.321130234355841E15 1328.43/1320.22 c cleaning 488 clauses out of 1016 for limit 1.0578292768673846E16 1328.84/1320.62 c cleaning 1014 clauses out of 2028 for limit 2.3768895477042668E16 1328.94/1320.74 c cleaning 757 clauses out of 1515 for limit 5.2523628083553648E16 1329.04/1320.86 c cleaning 609 clauses out of 1257 for limit 0.0010429258879820944 1329.14/1320.99 c cleaning 551 clauses out of 1148 for limit 0.001883227227291328 1329.34/1321.11 c cleaning 531 clauses out of 1098 for limit 0.0032503690292176625 1329.44/1321.24 c cleaning 510 clauses out of 1066 for limit 0.005515681522073216 1329.54/1321.35 c cleaning 507 clauses out of 1056 for limit 0.009182233983971005 1329.64/1321.48 c cleaning 503 clauses out of 1050 for limit 0.015244506621857883 1329.84/1321.60 c cleaning 500 clauses out of 1046 for limit 0.025211132973588526 1329.93/1321.72 c cleaning 502 clauses out of 1046 for limit 0.04157653095847692 1330.45/1322.22 c cleaning 1250 clauses out of 2545 for limit 0.12651738525347664 1330.54/1322.35 c cleaning 874 clauses out of 1794 for limit 0.2956901999322564 1330.64/1322.47 c cleaning 688 clauses out of 1420 for limit 0.6160655333587879 1330.74/1322.59 c cleaning 595 clauses out of 1233 for limit 1.1712310542491635 1330.94/1322.71 c cleaning 546 clauses out of 1137 for limit 2.09250529667343 1331.04/1322.83 c cleaning 522 clauses out of 1091 for limit 3.596318665545662 1331.14/1322.96 c cleaning 516 clauses out of 1069 for limit 6.052866557296435 1331.24/1323.08 c cleaning 506 clauses out of 1053 for limit 10.133659803096776 1331.34/1323.20 c cleaning 504 clauses out of 1048 for limit 16.808300655312387 1331.55/1323.33 c cleaning 497 clauses out of 1043 for limit 27.824166102565474 1331.95/1323.77 c cleaning 1004 clauses out of 2046 for limit 63.6163133212331 1332.15/1323.91 c cleaning 752 clauses out of 1542 for limit 139.2020528667488 1332.25/1324.06 c cleaning 627 clauses out of 1291 for limit 274.46954999033625 1332.45/1324.20 c cleaning 563 clauses out of 1165 for limit 502.0938316043912 1332.56/1324.34 c cleaning 530 clauses out of 1100 for limit 875.1953259561691 1332.66/1324.47 c cleaning 517 clauses out of 1071 for limit 1483.8793896057884 1332.85/1324.61 c cleaning 509 clauses out of 1054 for limit 2486.5852301205164 1332.95/1324.73 c cleaning 503 clauses out of 1046 for limit 4136.210900536783 1333.05/1324.86 c cleaning 503 clauses out of 1041 for limit 6840.22666652588 1333.47/1325.27 c cleaning 1002 clauses out of 2040 for limit 15686.56090209794 1333.67/1325.41 c cleaning 751 clauses out of 1536 for limit 34288.90016815649 1333.77/1325.55 c cleaning 625 clauses out of 1286 for limit 67607.39479848967 1333.87/1325.68 c cleaning 559 clauses out of 1162 for limit 123514.92538522504 1334.07/1325.82 c cleaning 529 clauses out of 1101 for limit 214548.31739045717 1334.17/1325.96 c cleaning 519 clauses out of 1072 for limit 363390.46989564796 1334.26/1326.08 c cleaning 507 clauses out of 1054 for limit 610123.9970972438 1334.46/1326.21 c cleaning 504 clauses out of 1046 for limit 1012857.6400726095 1334.56/1326.34 c cleaning 501 clauses out of 1042 for limit 1676749.7912414619 1334.66/1326.49 c cleaning 500 clauses out of 1042 for limit 2767952.6700011445 1335.18/1326.95 c cleaning 1020 clauses out of 2041 for limit 6331644.507107093 1335.38/1327.11 c cleaning 760 clauses out of 1521 for limit 1.40115506447986E7 1335.48/1327.25 c cleaning 630 clauses out of 1261 for limit 2.7871235144979764E7 1335.58/1327.38 c cleaning 547 clauses out of 1132 for limit 5.1252525913561046E7 1335.78/1327.52 c cleaning 525 clauses out of 1085 for limit 8.81836050989663E7 1335.88/1327.66 c cleaning 512 clauses out of 1060 for limit 1.4885643354039106E8 1335.98/1327.79 c cleaning 524 clauses out of 1049 for limit 2.483066697960542E8 1336.18/1327.92 c cleaning 511 clauses out of 1023 for limit 4.1905893341255313E8 1336.28/1328.06 c cleaning 506 clauses out of 1013 for limit 6.986050013113905E8 1336.48/1328.20 c cleaning 503 clauses out of 1006 for limit 1.1589495476298025E9 1336.69/1328.49 c cleaning 731 clauses out of 1503 for limit 2.109673775888492E9 1336.89/1328.63 c cleaning 613 clauses out of 1272 for limit 4.1109581982496624E9 1336.99/1328.76 c cleaning 561 clauses out of 1159 for limit 7.440508601669841E9 1337.19/1328.90 c cleaning 549 clauses out of 1098 for limit 1.2952082616341156E10 1337.29/1329.04 c cleaning 525 clauses out of 1050 for limit 2.2358519655264606E10 1337.39/1329.17 c cleaning 496 clauses out of 1025 for limit 3.777151168762671E10 1337.59/1329.30 c cleaning 515 clauses out of 1030 for limit 6.204994572165549E10 1337.69/1329.43 c cleaning 506 clauses out of 1013 for limit 1.0383793641258447E11 1337.79/1329.56 c cleaning 504 clauses out of 1008 for limit 1.7226433056401282E11 1337.89/1329.69 c cleaning 480 clauses out of 1005 for limit 2.85220167052212E11 1338.09/1329.82 c cleaning 491 clauses out of 1023 for limit 4.611662553577263E11 1338.40/1330.20 c cleaning 997 clauses out of 2032 for limit 1.0413029830824761E12 1338.59/1330.32 c cleaning 747 clauses out of 1536 for limit 2.274049946923264E12 1338.69/1330.44 c cleaning 645 clauses out of 1290 for limit 4.469839236145633E12 1338.79/1330.56 c cleaning 571 clauses out of 1143 for limit 8.302755457968341E12 1338.89/1330.67 c cleaning 536 clauses out of 1073 for limit 1.4600211733237662E13 1338.99/1330.79 c cleaning 519 clauses out of 1038 for limit 2.4914485390538523E13 1339.20/1330.91 c cleaning 508 clauses out of 1017 for limit 4.185190060994912E13 1339.30/1331.03 c cleaning 483 clauses out of 1010 for limit 6.95673024143963E13 1339.40/1331.14 c cleaning 514 clauses out of 1028 for limit 1.1282980072566842E14 1339.50/1331.26 c cleaning 487 clauses out of 1012 for limit 1.8863543883527903E14 1339.60/1331.38 c cleaning 491 clauses out of 1026 for limit 3.071473956636462E14 1339.70/1331.50 c cleaning 518 clauses out of 1036 for limit 5.021400267642529E14 1339.90/1331.61 c cleaning 508 clauses out of 1016 for limit 8.427092331778706E14 1340.41/1332.11 c cleaning 1233 clauses out of 2509 for limit 2.5265555935148415E15 1340.50/1332.23 c cleaning 867 clauses out of 1777 for limit 5.888877104002195E15 1340.60/1332.35 c cleaning 704 clauses out of 1408 for limit 1.2232187443885816E16 1340.70/1332.47 c cleaning 602 clauses out of 1205 for limit 2.3594464996715052E16 1340.80/1332.60 c cleaning 552 clauses out of 1104 for limit 4.2512682224544408E16 1341.00/1332.72 c cleaning 525 clauses out of 1050 for limit 7.3567355394792928E16 1341.10/1332.84 c cleaning 492 clauses out of 1026 for limit 0.0012428464648496524 1341.20/1332.96 c cleaning 500 clauses out of 1035 for limit 0.0020338311333431653 1341.30/1333.08 c cleaning 496 clauses out of 1033 for limit 0.003353835696689874 1341.51/1333.21 c cleaning 498 clauses out of 1038 for limit 0.005509791308754418 1341.60/1333.33 c cleaning 501 clauses out of 1041 for limit 0.009069266679853614 1341.70/1333.45 c cleaning 499 clauses out of 1038 for limit 0.014969676386032714 1342.21/1333.98 c cleaning 1248 clauses out of 2540 for limit 0.045293315093176904 1342.41/1334.12 c cleaning 879 clauses out of 1793 for limit 0.10591999081214096 1342.52/1334.24 c cleaning 686 clauses out of 1412 for limit 0.22136573144834368 1342.62/1334.37 c cleaning 591 clauses out of 1227 for limit 0.42052413242069814 1342.71/1334.50 c cleaning 547 clauses out of 1137 for limit 0.7491441979951998 1342.91/1334.61 c cleaning 523 clauses out of 1088 for limit 1.2884983095435008 1343.01/1334.74 c cleaning 511 clauses out of 1066 for limit 2.1709306117628473 1343.11/1334.86 c cleaning 508 clauses out of 1056 for limit 3.617675659318804 1343.21/1334.98 c cleaning 504 clauses out of 1046 for limit 6.011027640215978 1343.41/1335.10 c cleaning 498 clauses out of 1043 for limit 9.951453083677297 1343.51/1335.22 c cleaning 502 clauses out of 1046 for limit 16.380589332613585 1343.62/1335.35 c cleaning 497 clauses out of 1042 for limit 27.063275060618505 1344.12/1335.85 c cleaning 1252 clauses out of 2546 for limit 82.00639694145924 1344.22/1335.98 c cleaning 878 clauses out of 1795 for limit 192.0136380514427 1344.42/1336.10 c cleaning 685 clauses out of 1415 for limit 400.8915965603118 1344.52/1336.23 c cleaning 594 clauses out of 1231 for limit 760.7040674797078 1344.62/1336.35 c cleaning 549 clauses out of 1138 for limit 1358.3820313089823 1344.72/1336.47 c cleaning 521 clauses out of 1087 for limit 2340.5693280041182 1344.92/1336.60 c cleaning 510 clauses out of 1067 for limit 3936.198875742143 1345.02/1336.72 c cleaning 510 clauses out of 1058 for limit 6553.090767795166 1345.12/1336.85 c cleaning 502 clauses out of 1046 for limit 10909.052457125637 1345.22/1336.97 c cleaning 501 clauses out of 1045 for limit 18025.72839404947 1345.32/1337.09 c cleaning 503 clauses out of 1045 for limit 29756.59415474449 1345.52/1337.22 c cleaning 498 clauses out of 1040 for limit 49209.9627579341 1345.62/1337.34 c cleaning 498 clauses out of 1043 for limit 81001.38897289243 1346.03/1337.72 c cleaning 998 clauses out of 2045 for limit 185289.63385692373 1346.13/1337.85 c cleaning 759 clauses out of 1548 for limit 404076.7643548946 1346.23/1337.97 c cleaning 626 clauses out of 1287 for limit 799913.7292128624 1346.43/1338.11 c cleaning 562 clauses out of 1162 for limit 1462533.9911950317 1346.53/1338.25 c cleaning 530 clauses out of 1101 for limit 2548092.4222255996 1346.63/1338.38 c cleaning 513 clauses out of 1069 for limit 4319282.93553258 1346.83/1338.51 c cleaning 528 clauses out of 1057 for limit 7211153.997445409 1346.93/1338.65 c cleaning 515 clauses out of 1030 for limit 1.221610991357837E7 1347.03/1338.79 c cleaning 506 clauses out of 1013 for limit 2.044313866293341E7 1347.23/1338.92 c cleaning 482 clauses out of 1008 for limit 3.391461462027578E7 1347.33/1339.04 c cleaning 494 clauses out of 1027 for limit 5.4949959128560476E7 1347.43/1339.17 c cleaning 494 clauses out of 1031 for limit 9.008780709455712E7 1348.05/1339.72 c cleaning 1269 clauses out of 2538 for limit 2.709512274939788E8 1348.15/1339.87 c cleaning 864 clauses out of 1770 for limit 6.413570500284611E8 1348.34/1340.01 c cleaning 702 clauses out of 1404 for limit 1.3307390309677737E9 1348.44/1340.15 c cleaning 601 clauses out of 1203 for limit 2.5638037255446944E9 1348.64/1340.34 c cleaning 550 clauses out of 1101 for limit 4.615135515853484E9 1348.74/1340.43 c cleaning 525 clauses out of 1051 for limit 7.973058449130324E9 1349.15/1340.85 c cleaning 506 clauses out of 1046 for limit 1.3478516723647064E10 1349.84/1341.54 c cleaning 497 clauses out of 1020 for limit 2.234288581999675E10 1350.54/1342.27 c cleaning 491 clauses out of 1033 for limit 3.674854267774029E10 1351.35/1343.02 c cleaning 504 clauses out of 1043 for limit 6.008229772143517E10 1369.31/1360.86 c cleaning 5497 clauses out of 11029 for limit 2.0536347955303284E14 1392.79/1383.70 c cleaning 9228 clauses out of 18531 for limit 0.5437246786504715 1393.79/1384.63 c cleaning 4870 clauses out of 9810 for limit 1.7057145865334957 1394.59/1385.48 c cleaning 2676 clauses out of 5435 for limit 5.051951242921248 1419.40/1409.68 c cleaning 8345 clauses out of 16759 for limit 1984154.2618202025 1423.17/1413.33 c cleaning 5170 clauses out of 10412 for limit 2.3574576526658855E7 1450.85/1440.32 c cleaning 10088 clauses out of 20252 for limit 4.032105333067941E13 1451.75/1441.23 c cleaning 5288 clauses out of 10655 for limit 1.2525400306353131E14 1452.45/1441.97 c cleaning 2900 clauses out of 5872 for limit 3.7669292866957556E14 1453.25/1442.70 c cleaning 1735 clauses out of 3470 for limit 1.0491338586543038E15 1479.70/1468.59 c cleaning 8332 clauses out of 16732 for limit 7.144726308984145 1480.60/1469.48 c cleaning 4414 clauses out of 8904 for limit 22.230141942432585 1481.50/1470.38 c cleaning 2448 clauses out of 4988 for limit 65.31122140611875 1510.40/1498.59 c cleaning 8985 clauses out of 18038 for limit 9.79014990428628E7 1511.40/1499.53 c cleaning 4742 clauses out of 9558 for limit 3.06223942782361E8 1539.88/1527.34 c cleaning 10363 clauses out of 20810 for limit 1.25232025110622E15 1540.68/1528.11 c cleaning 5441 clauses out of 10948 for limit 3.929552485171542E15 1575.15/1561.72 c cleaning 12208 clauses out of 24508 for limit 3166.1262539412583 1576.05/1562.68 c cleaning 6366 clauses out of 12805 for limit 10043.49722100348 1576.95/1563.53 c cleaning 3431 clauses out of 6935 for limit 30460.422369559976 1577.75/1564.32 c cleaning 1958 clauses out of 4001 for limit 86809.2865130712 1609.18/1594.92 c cleaning 9729 clauses out of 19547 for limit 7.16718669854685E11 1609.98/1595.75 c cleaning 5111 clauses out of 10314 for limit 2.231102605549767E12 1610.78/1596.52 c cleaning 2805 clauses out of 5705 for limit 6.665242152976486E12 1614.72/1600.50 c cleaning 2699 clauses out of 5398 for limit 8.575295850871745E13 1647.39/1632.40 c cleaning 10302 clauses out of 20699 for limit 14.816463664039828 1648.39/1633.36 c cleaning 5402 clauses out of 10899 for limit 46.497776196136165 1683.42/1667.53 c cleaning 11963 clauses out of 23995 for limit 2.303015584805078E9 1687.47/1671.47 c cleaning 7229 clauses out of 14533 for limit 4.642760751994004E10 1688.27/1672.22 c cleaning 3864 clauses out of 7804 for limit 1.4258380635727954E11 1688.97/1672.93 c cleaning 2183 clauses out of 4439 for limit 4.129749366293611E11 1689.67/1673.62 c cleaning 1339 clauses out of 2757 for limit 1.0976464392926198E12 1690.37/1674.31 c cleaning 959 clauses out of 1918 for limit 2.601995392454048E12 1724.92/1708.06 c cleaning 10195 clauses out of 20462 for limit 0.7269259527870913 1725.82/1708.97 c cleaning 5343 clauses out of 10763 for limit 2.269983781793433 1726.62/1709.76 c cleaning 2916 clauses out of 5921 for limit 6.811636003290579 1727.43/1710.55 c cleaning 1709 clauses out of 3504 for limit 18.96285704828124 1729.87/1712.91 c cleaning 1608 clauses out of 3301 for limit 90.8232578249827 1730.57/1713.68 c cleaning 1049 clauses out of 2189 for limit 224.96485635854918 1733.71/1716.79 c cleaning 1537 clauses out of 3147 for limit 1165.5444151699792 1734.51/1717.59 c cleaning 1016 clauses out of 2101 for limit 2853.2826744046342 1737.65/1720.68 c cleaning 1504 clauses out of 3085 for limit 14372.728814722506 1738.45/1721.42 c cleaning 1002 clauses out of 2084 for limit 35192.98524605385 1741.48/1724.46 c cleaning 1493 clauses out of 3079 for limit 175656.46796757367 1746.24/1729.15 c cleaning 1559 clauses out of 3121 for limit 804925.4132530695 1748.73/1731.65 c cleaning 1056 clauses out of 2115 for limit 2065494.5206637299 1800.02/1782.81 c starts : 21 1800.02/1782.81 c conflicts : 677470 1800.02/1782.81 c decisions : 798916 1800.02/1782.81 c propagations : 21340439 1800.02/1782.81 c inspects : 213173242 1800.02/1782.81 c learnt literals : 2 1800.02/1782.81 c learnt binary clauses : 2 1800.02/1782.81 c learnt ternary clauses : 3 1800.02/1782.81 c learnt clauses : 677468 1800.02/1782.81 c root simplifications : 0 1800.02/1782.81 c removed literals (reason simplification) : 0 1800.02/1782.81 c reason swapping (by a shorter reason) : 0 1800.02/1782.81 c Calls to reduceDB : 381 1800.02/1782.81 c speed (decisions/second) : 448.55831450107377 1800.02/1782.81 c non guided choices 13097 1800.02/1782.81 s UNKNOWN 1800.02/1782.81 c Total wall clock time (ms): 1782.607
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-349547-1176707798 -o ROOT/results/node21/solver-349547-1176707798 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349547-1176707798/sat4jPseudoResolution.jar /tmp/evaluation/349547-1176707798/instance-349547-1176707798.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.00 1.00 1.00 2/77 27910 /proc/meminfo: memFree=1767848/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=152 CPUtime=0 /proc/27910/stat : 27910 (java) D 27908 27910 27514 0 -1 0 42 0 0 0 0 0 0 0 19 0 1 0 118697113 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 8438564 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/27910/statm: 38 26 19 9 0 4 0 [startup+0.0848901 s] /proc/loadavg: 1.00 1.00 1.00 2/77 27910 /proc/meminfo: memFree=1767848/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=1777844 CPUtime=0.07 /proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 3805 0 1 0 5 2 0 0 18 0 7 0 118697113 1820512256 3547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/27910/statm: 444461 3547 1086 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.102891 s] /proc/loadavg: 1.00 1.00 1.00 2/77 27910 /proc/meminfo: memFree=1767848/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=1780108 CPUtime=0.08 /proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 3974 0 1 0 6 2 0 0 18 0 12 0 118697113 1822830592 3715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27910/statm: 445027 3715 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.302913 s] /proc/loadavg: 1.00 1.00 1.00 2/77 27910 /proc/meminfo: memFree=1767848/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=1782264 CPUtime=0.34 /proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 5146 0 1 0 31 3 0 0 18 0 12 0 118697113 1825038336 4884 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27910/statm: 445566 4884 1267 9 0 443178 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1782264 [startup+0.702958 s] /proc/loadavg: 1.00 1.00 1.00 2/77 27910 /proc/meminfo: memFree=1767848/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=1783508 CPUtime=0.98 /proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 7240 0 1 0 94 4 0 0 18 0 12 0 118697113 1826312192 6665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27910/statm: 445877 6665 1303 9 0 443489 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 1783508 [startup+1.50122 s] /proc/loadavg: 1.16 1.03 1.01 3/89 27922 /proc/meminfo: memFree=1729800/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=1783624 CPUtime=2.03 /proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 23853 0 1 0 192 11 0 0 18 0 12 0 118697113 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27910/statm: 445906 22640 1305 9 0 443518 0 [pid=27910/tid=27912] ppid=27908 vsize=1783624 CPUtime=1.19 /proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 21361 0 1 0 109 10 0 0 23 0 12 0 118697114 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109517312 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27913] ppid=27908 vsize=1783624 CPUtime=0 /proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 118697116 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27914] ppid=27908 vsize=1783624 CPUtime=0 /proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 118697116 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27915] ppid=27908 vsize=1783624 CPUtime=0 /proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 118697118 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27916] ppid=27908 vsize=1783624 CPUtime=0 /proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 118697119 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27917] ppid=27908 vsize=1783624 CPUtime=0 /proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 118697119 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27918] ppid=27908 vsize=1783624 CPUtime=0 /proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 118697122 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27919] ppid=27908 vsize=1783624 CPUtime=0.41 /proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1103 0 0 0 41 0 0 0 16 0 12 0 118697122 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27920] ppid=27908 vsize=1783624 CPUtime=0.41 /proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 666 0 0 0 41 0 0 0 16 0 12 0 118697122 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27921] ppid=27908 vsize=1783624 CPUtime=0 /proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 118697122 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27922] ppid=27908 vsize=1783624 CPUtime=0 /proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 118697122 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.03 Current children cumulated vsize (KiB) 1783624 [startup+3.10122 s] /proc/loadavg: 1.16 1.03 1.01 3/90 27923 /proc/meminfo: memFree=1655936/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=1785036 CPUtime=4.03 /proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 32270 0 1 0 388 15 0 0 18 0 13 0 118697113 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27910/statm: 446259 30126 1317 9 0 443871 0 [pid=27910/tid=27912] ppid=27908 vsize=1785036 CPUtime=2.64 /proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 28393 0 1 0 252 12 0 0 25 0 13 0 118697114 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109719863 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27913] ppid=27908 vsize=1785036 CPUtime=0 /proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 118697116 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27914] ppid=27908 vsize=1785036 CPUtime=0 /proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 118697116 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27915] ppid=27908 vsize=1785036 CPUtime=0 /proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 118697118 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27916] ppid=27908 vsize=1785036 CPUtime=0 /proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 118697119 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27917] ppid=27908 vsize=1785036 CPUtime=0 /proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 118697119 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27918] ppid=27908 vsize=1785036 CPUtime=0 /proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27919] ppid=27908 vsize=1785036 CPUtime=0.63 /proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1556 0 0 0 63 0 0 0 16 0 13 0 118697122 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27920] ppid=27908 vsize=1785036 CPUtime=0.72 /proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1594 0 0 0 72 0 0 0 16 0 13 0 118697122 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27921] ppid=27908 vsize=1785036 CPUtime=0 /proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27922] ppid=27908 vsize=1785036 CPUtime=0 /proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27923] ppid=27908 vsize=1785036 CPUtime=0 /proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.03 Current children cumulated vsize (KiB) 1785036 [startup+6.30256 s] /proc/loadavg: 1.15 1.03 1.01 2/90 27923 /proc/meminfo: memFree=1623488/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=1783948 CPUtime=7.29 /proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 45624 0 1 0 709 20 0 0 18 0 13 0 118697113 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27910/statm: 445987 43058 1326 9 0 443599 0 [pid=27910/tid=27912] ppid=27908 vsize=1783948 CPUtime=5.77 /proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 37712 0 1 0 561 16 0 0 25 0 13 0 118697114 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109720099 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27913] ppid=27908 vsize=1783948 CPUtime=0.05 /proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 2683 0 0 0 4 1 0 0 16 0 13 0 118697116 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27914] ppid=27908 vsize=1783948 CPUtime=0.04 /proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 1346 0 0 0 4 0 0 0 16 0 13 0 118697116 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27915] ppid=27908 vsize=1783948 CPUtime=0 /proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 118697118 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27916] ppid=27908 vsize=1783948 CPUtime=0 /proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118697119 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27917] ppid=27908 vsize=1783948 CPUtime=0 /proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118697119 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27918] ppid=27908 vsize=1783948 CPUtime=0 /proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27919] ppid=27908 vsize=1783948 CPUtime=0.65 /proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1558 0 0 0 65 0 0 0 15 0 13 0 118697122 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27920] ppid=27908 vsize=1783948 CPUtime=0.73 /proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1594 0 0 0 73 0 0 0 16 0 13 0 118697122 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27921] ppid=27908 vsize=1783948 CPUtime=0 /proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27922] ppid=27908 vsize=1783948 CPUtime=0 /proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27923] ppid=27908 vsize=1783948 CPUtime=0 /proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.29 Current children cumulated vsize (KiB) 1783948 [startup+12.7013 s] /proc/loadavg: 1.13 1.03 1.01 2/90 27923 /proc/meminfo: memFree=1599680/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=1784044 CPUtime=13.75 /proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 45680 0 1 0 1354 21 0 0 18 0 13 0 118697113 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27910/statm: 446011 43075 1328 9 0 443623 0 [pid=27910/tid=27912] ppid=27908 vsize=1784044 CPUtime=12.15 /proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 37715 0 1 0 1199 16 0 0 25 0 13 0 118697114 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109720244 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27913] ppid=27908 vsize=1784044 CPUtime=0.05 /proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 2683 0 0 0 4 1 0 0 16 0 13 0 118697116 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27914] ppid=27908 vsize=1784044 CPUtime=0.04 /proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 1346 0 0 0 4 0 0 0 16 0 13 0 118697116 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27915] ppid=27908 vsize=1784044 CPUtime=0 /proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 118697118 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27916] ppid=27908 vsize=1784044 CPUtime=0 /proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118697119 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27917] ppid=27908 vsize=1784044 CPUtime=0 /proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118697119 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27918] ppid=27908 vsize=1784044 CPUtime=0 /proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27919] ppid=27908 vsize=1784044 CPUtime=0.68 /proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1607 0 0 0 68 0 0 0 16 0 13 0 118697122 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27920] ppid=27908 vsize=1784044 CPUtime=0.78 /proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1598 0 0 0 78 0 0 0 17 0 13 0 118697122 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27921] ppid=27908 vsize=1784044 CPUtime=0 /proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27922] ppid=27908 vsize=1784044 CPUtime=0 /proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27923] ppid=27908 vsize=1784044 CPUtime=0 /proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 13.75 Current children cumulated vsize (KiB) 1784044 [startup+25.5027 s] /proc/loadavg: 1.10 1.03 1.01 2/90 27923 /proc/meminfo: memFree=1567552/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=1783948 CPUtime=26.69 /proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 53926 0 1 0 2645 24 0 0 18 0 13 0 118697113 1826762752 51138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27910/statm: 445987 51138 1328 9 0 443599 0 [pid=27910/tid=27912] ppid=27908 vsize=1783948 CPUtime=24.78 /proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 37725 0 1 0 2462 16 0 0 25 0 13 0 118697114 1826762752 51138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109719947 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27913] ppid=27908 vsize=1783948 CPUtime=0.16 /proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 5798 0 0 0 14 2 0 0 16 0 13 0 118697116 1826762752 51138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27914] ppid=27908 vsize=1783948 CPUtime=0.17 /proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 6457 0 0 0 14 3 0 0 16 0 13 0 118697116 1826762752 51138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27915] ppid=27908 vsize=1783948 CPUtime=0 /proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 118697118 1826762752 51138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=27910/tid=27915] ppid=27908 vsize=1784916 CPUtime=3.06 /proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 651 0 0 0 285 21 0 0 16 0 13 0 118697118 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27916] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27917] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27918] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27919] ppid=27908 vsize=1784916 CPUtime=0.8 /proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1618 0 0 0 80 0 0 0 16 0 13 0 118697122 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27920] ppid=27908 vsize=1784916 CPUtime=0.91 /proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1676 0 0 0 91 0 0 0 16 0 13 0 118697122 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27921] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27922] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27923] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1616.68 Current children cumulated vsize (KiB) 1784916 [startup+1662.3 s] /proc/loadavg: 1.11 1.04 1.01 2/90 27925 /proc/meminfo: memFree=1015872/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=1784916 CPUtime=1678.1 /proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 551195 0 1 0 167452 358 0 0 18 0 13 0 118697113 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27910/statm: 446229 188219 1333 9 0 443841 0 [pid=27910/tid=27912] ppid=27908 vsize=1784916 CPUtime=1642.51 /proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 38490 0 1 0 164220 31 0 0 25 0 13 0 118697114 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109756404 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27913] ppid=27908 vsize=1784916 CPUtime=15.23 /proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 265378 0 0 0 1365 158 0 0 16 0 13 0 118697116 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27914] ppid=27908 vsize=1784916 CPUtime=15.27 /proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 242581 0 0 0 1383 144 0 0 17 0 13 0 118697116 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27915] ppid=27908 vsize=1784916 CPUtime=3.31 /proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 729 0 0 0 310 21 0 0 16 0 13 0 118697118 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27916] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27917] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27918] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27919] ppid=27908 vsize=1784916 CPUtime=0.8 /proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1618 0 0 0 80 0 0 0 16 0 13 0 118697122 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27920] ppid=27908 vsize=1784916 CPUtime=0.91 /proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1676 0 0 0 91 0 0 0 16 0 13 0 118697122 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27921] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27922] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27923] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1678.1 Current children cumulated vsize (KiB) 1784916 [startup+1722.3 s] /proc/loadavg: 1.04 1.03 1.00 2/90 27925 /proc/meminfo: memFree=985984/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=1784916 CPUtime=1739.38 /proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 558777 0 1 0 173575 363 0 0 18 0 13 0 118697113 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27910/statm: 446229 195680 1333 9 0 443841 0 [pid=27910/tid=27912] ppid=27908 vsize=1784916 CPUtime=1701.04 /proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 38506 0 1 0 170073 31 0 0 22 0 13 0 118697114 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109617240 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27913] ppid=27908 vsize=1784916 CPUtime=16.54 /proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 270724 0 0 0 1493 161 0 0 17 0 13 0 118697116 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27914] ppid=27908 vsize=1784916 CPUtime=16.59 /proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 244801 0 0 0 1513 146 0 0 16 0 13 0 118697116 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27915] ppid=27908 vsize=1784916 CPUtime=3.44 /proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 729 0 0 0 323 21 0 0 15 0 13 0 118697118 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27916] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27917] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27918] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27919] ppid=27908 vsize=1784916 CPUtime=0.8 /proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1618 0 0 0 80 0 0 0 16 0 13 0 118697122 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27920] ppid=27908 vsize=1784916 CPUtime=0.91 /proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1676 0 0 0 91 0 0 0 16 0 13 0 118697122 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27921] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27922] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27923] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1739.38 Current children cumulated vsize (KiB) 1784916 [startup+1782.3 s] /proc/loadavg: 1.01 1.02 1.00 2/90 27925 /proc/meminfo: memFree=986048/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=1784916 CPUtime=1799.51 /proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 558783 0 1 0 179587 364 0 0 18 0 13 0 118697113 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27910/statm: 446229 195598 1333 9 0 443841 0 [pid=27910/tid=27912] ppid=27908 vsize=1784916 CPUtime=1760.76 /proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 38512 0 1 0 176044 32 0 0 25 0 13 0 118697114 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109756404 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27913] ppid=27908 vsize=1784916 CPUtime=16.7 /proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 270724 0 0 0 1509 161 0 0 17 0 13 0 118697116 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27914] ppid=27908 vsize=1784916 CPUtime=16.75 /proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 244801 0 0 0 1529 146 0 0 16 0 13 0 118697116 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27915] ppid=27908 vsize=1784916 CPUtime=3.54 /proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 729 0 0 0 333 21 0 0 16 0 13 0 118697118 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27916] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27917] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27918] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27919] ppid=27908 vsize=1784916 CPUtime=0.8 /proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1618 0 0 0 80 0 0 0 16 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27920] ppid=27908 vsize=1784916 CPUtime=0.91 /proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1676 0 0 0 91 0 0 0 16 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27921] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27922] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27923] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (KiB) 1784916 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1782.8 s] /proc/loadavg: 1.01 1.02 1.00 2/90 27925 /proc/meminfo: memFree=986048/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=1784916 CPUtime=1800.02 /proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 558783 0 1 0 179638 364 0 0 18 0 13 0 118697113 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27910/statm: 446229 195598 1333 9 0 443841 0 [pid=27910/tid=27912] ppid=27908 vsize=1784916 CPUtime=1761.26 /proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 38512 0 1 0 176094 32 0 0 25 0 13 0 118697114 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109808929 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27913] ppid=27908 vsize=1784916 CPUtime=16.7 /proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 270724 0 0 0 1509 161 0 0 17 0 13 0 118697116 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27914] ppid=27908 vsize=1784916 CPUtime=16.75 /proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 244801 0 0 0 1529 146 0 0 16 0 13 0 118697116 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27915] ppid=27908 vsize=1784916 CPUtime=3.54 /proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 729 0 0 0 333 21 0 0 16 0 13 0 118697118 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27916] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27917] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27918] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27919] ppid=27908 vsize=1784916 CPUtime=0.8 /proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1618 0 0 0 80 0 0 0 16 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27920] ppid=27908 vsize=1784916 CPUtime=0.91 /proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1676 0 0 0 91 0 0 0 16 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27921] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27910/tid=27922] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27910/tid=27923] ppid=27908 vsize=1784916 CPUtime=0 /proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1784916 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1782.91 s] /proc/loadavg: 1.01 1.02 1.00 2/90 27925 /proc/meminfo: memFree=986048/2055920 swapFree=4168968/4192956 [pid=27910] ppid=27908 vsize=0 CPUtime=1800.13 /proc/27910/stat : 27910 (java) Z 27908 27910 27514 0 -1 1036 558803 0 1 0 179644 369 0 0 15 0 2 0 118697113 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27910/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1782.98 CPU time (s): 1800.21 CPU user time (s): 1796.45 CPU system time (s): 3.76043 CPU usage (%): 100.966 Max. virtual memory (cumulated for all children) (KiB): 1785168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.45 system time used= 3.76043 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 558803 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= 39209 involuntary context switches= 59572 runsolver used 1.71474 second user time and 4.85126 second system time The end
Begin job on node21 on Mon Apr 16 07:16:38 UTC 2007 IDJOB= 349547 IDBENCH= 2511 IDSOLVER= 159 FILE ID= node21/349547-1176707798 PBS_JOBID= 4560052 Free space on /tmp= 66534 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-swath.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349547-1176707798/sat4jPseudoResolution.jar /tmp/evaluation/349547-1176707798/instance-349547-1176707798.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-349547-1176707798 -o ROOT/results/node21/solver-349547-1176707798 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349547-1176707798/sat4jPseudoResolution.jar /tmp/evaluation/349547-1176707798/instance-349547-1176707798.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 3553224658521cb15e26e6f30dd8f5c2 RANDOM SEED= 838301616 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node21.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.232 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.232 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: 1768256 kB Buffers: 29912 kB Cached: 178064 kB SwapCached: 2892 kB Active: 111764 kB Inactive: 120068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1768256 kB SwapTotal: 4192956 kB SwapFree: 4168968 kB Dirty: 5108 kB Writeback: 0 kB Mapped: 30808 kB Slab: 41340 kB Committed_AS: 967700 kB PageTables: 1784 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= 66534 MiB End job on node21 on Mon Apr 16 07:46:23 UTC 2007