Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.19 | 1785.1 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3702.opb |
MD5SUM | 923982c51ba218a8e62dc99222f9f8f7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 9.1806 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 654991 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 654991 |
Number of bits of the biggest sum of numbers | 20 |
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.19/0.20 --- Begin Solver configuration --- 0.19/0.20 c Stops conflict analysis at the first Unique Implication Point 0.19/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.19/0.20 c Learn all clauses as in MiniSAT 0.19/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.19/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.19/0.20 c No reason simplification 0.19/0.20 c --- End Solver configuration --- 0.19/0.20 c solving /tmp/evaluation/362263-1177009417/instance-362263-1177009417.opb 0.19/0.20 c reading problem ... 6.61/5.26 c ... done. Wall clock time 5.052s. 6.61/5.26 c CPU time (experimental) 4.0s. 6.61/5.26 c #vars 155000 6.61/5.26 c #constraints 5300 1422.28/1410.01 c cleaning 119992 clauses out of 240008 for limit 0.08055196524989676 1426.75/1414.45 c cleaning 60249 clauses out of 120508 for limit 0.26246160028121046 1430.06/1417.71 c cleaning 30370 clauses out of 60763 for limit 0.8618593105167475 1437.12/1424.78 c cleaning 15688 clauses out of 31393 for limit 4.536851240456211 1441.05/1428.68 c cleaning 8084 clauses out of 16205 for limit 14.494198709686593 1445.49/1433.06 c cleaning 4301 clauses out of 8618 for limit 44.81146149191493 1449.61/1437.12 c cleaning 2400 clauses out of 4816 for limit 132.10841896037357 1453.36/1440.80 c cleaning 1449 clauses out of 2927 for limit 362.4346970424659 1457.20/1444.61 c cleaning 975 clauses out of 1972 for limit 881.8493428279565 1460.05/1447.49 c cleaning 724 clauses out of 1494 for limit 1913.8286884828508 1463.17/1450.58 c cleaning 619 clauses out of 1269 for limit 3712.0465268252315 1468.73/1456.09 c cleaning 820 clauses out of 1658 for limit 7788.940300233387 1471.65/1458.99 c cleaning 654 clauses out of 1333 for limit 15897.033157119778 1474.68/1461.94 c cleaning 569 clauses out of 1175 for limit 29622.80657291725 1478.19/1465.45 c cleaning 534 clauses out of 1106 for limit 51899.6978441354 1482.21/1469.40 c cleaning 523 clauses out of 1072 for limit 88304.13853278873 1485.53/1472.73 c cleaning 512 clauses out of 1061 for limit 148912.2713001644 1489.26/1476.47 c cleaning 508 clauses out of 1044 for limit 248329.72132842714 1492.19/1479.32 c cleaning 498 clauses out of 1029 for limit 412598.9606815409 1494.51/1481.66 c cleaning 501 clauses out of 1033 for limit 679153.7350565621 1497.83/1484.96 c cleaning 482 clauses out of 1030 for limit 1121032.113530129 1500.66/1487.73 c cleaning 511 clauses out of 1048 for limit 1816978.8949717607 1503.67/1490.78 c cleaning 496 clauses out of 1037 for limit 3028226.084670496 1506.70/1493.77 c cleaning 505 clauses out of 1041 for limit 4974760.873766159 1509.72/1496.75 c cleaning 503 clauses out of 1036 for limit 8243641.009974709 1512.66/1499.67 c cleaning 516 clauses out of 1033 for limit 1.3634348544291303E7 1515.18/1502.16 c cleaning 493 clauses out of 1017 for limit 2.283860890443874E7 1519.21/1506.10 c cleaning 498 clauses out of 1026 for limit 3.740831532494762E7 1524.96/1511.83 c cleaning 519 clauses out of 1039 for limit 6.159358464189081E7 1530.30/1517.10 c cleaning 505 clauses out of 1010 for limit 1.0345236491683723E8 1534.34/1521.11 c cleaning 501 clauses out of 1003 for limit 1.7145404172440064E8 1538.78/1525.59 c cleaning 485 clauses out of 1009 for limit 2.8304465851834196E8 1542.52/1529.30 c cleaning 511 clauses out of 1022 for limit 4.599197900671768E8 1545.35/1532.08 c cleaning 485 clauses out of 1005 for limit 7.666828486189196E8 1547.47/1534.15 c cleaning 492 clauses out of 1020 for limit 1.245769014981342E9 1550.70/1537.32 c cleaning 501 clauses out of 1028 for limit 2.038451903633749E9 1555.24/1541.86 c cleaning 501 clauses out of 1035 for limit 3.365776043934621E9 1558.56/1545.13 c cleaning 512 clauses out of 1026 for limit 5.554666597664538E9 1561.28/1547.88 c cleaning 485 clauses out of 1014 for limit 9.268795271795057E9 1564.30/1550.84 c cleaning 510 clauses out of 1034 for limit 1.5065000545350098E10 1567.34/1553.90 c cleaning 509 clauses out of 1019 for limit 2.5084117972106342E10 1571.19/1557.65 c cleaning 493 clauses out of 1014 for limit 4.173774657250488E10 1575.10/1561.58 c cleaning 497 clauses out of 1025 for limit 6.836550425478978E10 1578.95/1565.31 c cleaning 517 clauses out of 1034 for limit 1.1243546121637366E11 1583.27/1569.67 c cleaning 507 clauses out of 1014 for limit 1.885116701647249E11 1585.98/1572.36 c cleaning 497 clauses out of 996 for limit 3.1303515650936597E11 1590.12/1576.44 c cleaning 470 clauses out of 1001 for limit 5.1468710405373047E11 1594.17/1580.47 c cleaning 487 clauses out of 1029 for limit 8.240410615804161E11 1597.89/1584.14 c cleaning 522 clauses out of 1044 for limit 1.3421116295208892E12 1602.73/1588.92 c cleaning 496 clauses out of 1024 for limit 2.26107043929083E12 1606.87/1593.06 c cleaning 492 clauses out of 1027 for limit 3.7141973896822817E12 1611.42/1597.57 c cleaning 516 clauses out of 1032 for limit 6.077263659447888E12 1615.57/1601.67 c cleaning 489 clauses out of 1016 for limit 1.0180051024661105E13 1620.40/1606.42 c cleaning 494 clauses out of 1029 for limit 1.6609371481081426E13 1624.64/1610.65 c cleaning 501 clauses out of 1033 for limit 2.723046861251542E13 1628.79/1614.72 c cleaning 486 clauses out of 1033 for limit 4.4951637206162336E13 1632.01/1617.97 c cleaning 510 clauses out of 1046 for limit 7.313672788577967E13 1634.73/1620.65 c cleaning 505 clauses out of 1041 for limit 1.2179933780323048E14 1637.05/1622.92 c cleaning 494 clauses out of 1031 for limit 2.017996085705991E14 1639.57/1625.49 c cleaning 505 clauses out of 1038 for limit 3.308811527099535E14 1642.49/1628.30 c cleaning 502 clauses out of 1035 for limit 5.483450714103876E14 1645.91/1631.73 c cleaning 502 clauses out of 1030 for limit 9.059608302570795E14 1649.84/1635.70 c cleaning 513 clauses out of 1033 for limit 1.4971825965436084E-5 1654.38/1640.14 c cleaning 478 clauses out of 1015 for limit 2.500301477855483E-5 1658.91/1644.65 c cleaning 502 clauses out of 1037 for limit 4.03585496205516E-5 1663.36/1649.05 c cleaning 512 clauses out of 1036 for limit 6.668757884144742E-5 1667.98/1653.70 c cleaning 507 clauses out of 1023 for limit 1.1126291838723015E-4 1672.60/1658.29 c cleaning 507 clauses out of 1021 for limit 1.847688622857726E-4 1677.24/1662.80 c cleaning 504 clauses out of 1014 for limit 3.068120826964176E-4 1680.68/1666.23 c cleaning 497 clauses out of 1009 for limit 5.079729925773202E-4 1683.80/1669.38 c cleaning 481 clauses out of 1008 for limit 8.351973290336168E-4 1687.35/1672.88 c cleaning 494 clauses out of 1027 for limit 0.0013518704413694037 1690.57/1676.08 c cleaning 500 clauses out of 1033 for limit 0.002216466039129847 1693.82/1679.24 c cleaning 491 clauses out of 1033 for limit 0.003655249012046992 1697.43/1682.85 c cleaning 501 clauses out of 1043 for limit 0.005976176016384391 1699.23/1684.60 c cleaning 505 clauses out of 1042 for limit 0.00986497199607715 1701.06/1686.46 c cleaning 506 clauses out of 1036 for limit 0.016346515685429244 1703.78/1689.10 c cleaning 499 clauses out of 1030 for limit 0.027114625674647057 1706.70/1692.01 c cleaning 496 clauses out of 1031 for limit 0.04467227392748474 1709.52/1694.89 c cleaning 501 clauses out of 1035 for limit 0.07338583873222837 1713.07/1698.36 c cleaning 505 clauses out of 1036 for limit 0.12114842351918048 1716.99/1702.30 c cleaning 494 clauses out of 1030 for limit 0.2007528285411008 1720.81/1706.06 c cleaning 510 clauses out of 1042 for limit 0.32922600832010507 1724.66/1709.88 c cleaning 486 clauses out of 1026 for limit 0.5481044284579543 1729.27/1714.47 c cleaning 496 clauses out of 1039 for limit 0.8916953450007105 1746.24/1731.37 c cleaning 1252 clauses out of 2543 for limit 2.694692631929773 1753.56/1738.65 c cleaning 1137 clauses out of 2302 for limit 8.185433400633983 1758.07/1743.17 c cleaning 802 clauses out of 1654 for limit 18.581798695212594 1762.17/1747.25 c cleaning 659 clauses out of 1355 for limit 37.518319995677984 1765.48/1750.59 c cleaning 583 clauses out of 1195 for limit 70.0867865729859 1769.80/1754.81 c cleaning 543 clauses out of 1119 for limit 124.30008812516098 1772.91/1757.95 c cleaning 520 clauses out of 1073 for limit 213.13469547337317 1777.02/1762.04 c cleaning 508 clauses out of 1048 for limit 358.0765827551206 1780.93/1765.97 c cleaning 509 clauses out of 1042 for limit 595.1060898142397 1785.14/1770.20 c cleaning 503 clauses out of 1034 for limit 989.9926572983917 1787.65/1772.67 c cleaning 504 clauses out of 1031 for limit 1637.3809524522283 1789.85/1774.85 c cleaning 503 clauses out of 1028 for limit 2710.851223596298 1793.17/1778.20 c cleaning 461 clauses out of 1020 for limit 4483.136419346605 1796.08/1781.00 c cleaning 479 clauses out of 1059 for limit 7121.017500224894 1798.88/1783.84 c cleaning 493 clauses out of 1080 for limit 11515.164453232514 1800.08/1785.01 c starts : 18 1800.08/1785.01 c conflicts : 292720 1800.08/1785.01 c decisions : 646803 1800.08/1785.01 c propagations : 88494923 1800.08/1785.01 c inspects : 340509975 1800.08/1785.01 c learnt literals : 0 1800.08/1785.01 c learnt binary clauses : 0 1800.08/1785.01 c learnt ternary clauses : 0 1800.08/1785.01 c learnt clauses : 292719 1800.08/1785.01 c root simplifications : 0 1800.08/1785.01 c removed literals (reason simplification) : 0 1800.08/1785.01 c reason swapping (by a shorter reason) : 0 1800.08/1785.01 c Calls to reduceDB : 100 1800.08/1785.01 c speed (decisions/second) : 363.5658971374096 1800.08/1785.01 c non guided choices 38559 1800.08/1785.01 s UNKNOWN 1800.08/1785.01 c Total wall clock time (ms): 1784.808
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-362263-1177009417 -o ROOT/results/node57/solver-362263-1177009417 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362263-1177009417/sat4jPseudoResolution.jar /tmp/evaluation/362263-1177009417/instance-362263-1177009417.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 3/64 21811 /proc/meminfo: memFree=1543320/2055920 swapFree=4183112/4192956 [pid=21811] ppid=21809 vsize=1800 CPUtime=0 /proc/21811/stat : 21811 (java) D 21809 21811 20811 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 142077661 1843200 138 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0 /proc/21811/statm: 450 138 101 9 0 92 0 [startup+0.0605321 s] /proc/loadavg: 1.00 1.00 1.00 3/64 21811 /proc/meminfo: memFree=1543320/2055920 swapFree=4183112/4192956 [pid=21811] ppid=21809 vsize=1777708 CPUtime=0.03 /proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 3551 0 1 0 2 1 0 0 18 0 7 0 142077661 1820372992 3296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/21811/statm: 444427 3296 1053 9 0 442063 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1777708 [startup+0.101535 s] /proc/loadavg: 1.00 1.00 1.00 3/64 21811 /proc/meminfo: memFree=1543320/2055920 swapFree=4183112/4192956 [pid=21811] ppid=21809 vsize=1780108 CPUtime=0.08 /proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 3937 0 1 0 6 2 0 0 18 0 12 0 142077661 1822830592 3679 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21811/statm: 445027 3679 1119 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301561 s] /proc/loadavg: 1.00 1.00 1.00 3/64 21811 /proc/meminfo: memFree=1543320/2055920 swapFree=4183112/4192956 [pid=21811] ppid=21809 vsize=1782416 CPUtime=0.32 /proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 6431 0 1 0 29 3 0 0 18 0 12 0 142077661 1825193984 6170 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21811/statm: 445604 6170 1267 9 0 443216 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1782416 [startup+0.7016 s] /proc/loadavg: 1.00 1.00 1.00 3/64 21811 /proc/meminfo: memFree=1543320/2055920 swapFree=4183112/4192956 [pid=21811] ppid=21809 vsize=1783764 CPUtime=0.9 /proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 10768 0 1 0 85 5 0 0 18 0 12 0 142077661 1826574336 10005 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21811/statm: 445941 10005 1296 9 0 443553 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 1783764 [startup+1.50166 s] /proc/loadavg: 1.00 1.00 1.00 2/76 21823 /proc/meminfo: memFree=1479288/2055920 swapFree=4183112/4192956 [pid=21811] ppid=21809 vsize=1783764 CPUtime=1.82 /proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 24868 0 1 0 171 11 0 0 18 0 12 0 142077661 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21811/statm: 445941 24059 1302 9 0 443553 0 [pid=21811/tid=21813] ppid=21809 vsize=1783764 CPUtime=1.23 /proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 22676 0 1 0 113 10 0 0 25 0 12 0 142077663 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21814] ppid=21809 vsize=1783764 CPUtime=0 /proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 142077664 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21815] ppid=21809 vsize=1783764 CPUtime=0 /proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 142077664 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21816] ppid=21809 vsize=1783764 CPUtime=0 /proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 142077666 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21817] ppid=21809 vsize=1783764 CPUtime=0 /proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 9 0 0 0 0 0 0 0 23 0 12 0 142077667 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21818] ppid=21809 vsize=1783764 CPUtime=0 /proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 142077667 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21819] ppid=21809 vsize=1783764 CPUtime=0 /proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 142077671 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21820] ppid=21809 vsize=1783764 CPUtime=0.24 /proc/21811/task/21820/stat : 21820 (java) R 21809 21811 20811 0 -1 64 517 0 0 0 24 0 0 0 16 0 12 0 142077671 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105057889 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21821] ppid=21809 vsize=1783764 CPUtime=0.33 /proc/21811/task/21821/stat : 21821 (java) R 21809 21811 20811 0 -1 64 956 0 0 0 33 0 0 0 16 0 12 0 142077671 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102111424 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21822] ppid=21809 vsize=1783764 CPUtime=0 /proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 142077671 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21823] ppid=21809 vsize=1783764 CPUtime=0 /proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 142077671 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.82 Current children cumulated vsize (KiB) 1783764 [startup+3.1028 s] /proc/loadavg: 1.00 1.00 1.00 2/76 21823 /proc/meminfo: memFree=1393016/2055920 swapFree=4183112/4192956 [pid=21811] ppid=21809 vsize=1785052 CPUtime=3.86 /proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 48932 0 1 0 365 21 0 0 18 0 12 0 142077661 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21811/statm: 446263 47334 1313 9 0 443875 0 [pid=21811/tid=21813] ppid=21809 vsize=1785052 CPUtime=2.47 /proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 37669 0 1 0 231 16 0 0 22 0 12 0 142077663 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109552022 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21814] ppid=21809 vsize=1785052 CPUtime=0.21 /proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 3602 0 0 0 20 1 0 0 16 0 12 0 142077664 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21815] ppid=21809 vsize=1785052 CPUtime=0.21 /proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 5101 0 0 0 19 2 0 0 16 0 12 0 142077664 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21816] ppid=21809 vsize=1785052 CPUtime=0 /proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 142077666 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21817] ppid=21809 vsize=1785052 CPUtime=0 /proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 142077667 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21818] ppid=21809 vsize=1785052 CPUtime=0 /proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 142077667 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21819] ppid=21809 vsize=1785052 CPUtime=0 /proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 142077671 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21820] ppid=21809 vsize=1785052 CPUtime=0.45 /proc/21811/task/21820/stat : 21820 (java) S 21809 21811 20811 0 -1 64 755 0 0 0 45 0 0 0 16 0 12 0 142077671 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21821] ppid=21809 vsize=1785052 CPUtime=0.48 /proc/21811/task/21821/stat : 21821 (java) S 21809 21811 20811 0 -1 64 1081 0 0 0 48 0 0 0 16 0 12 0 142077671 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21822] ppid=21809 vsize=1785052 CPUtime=0 /proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 142077671 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21823] ppid=21809 vsize=1785052 CPUtime=0 /proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 142077671 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.86 Current children cumulated vsize (KiB) 1785052 [startup+6.30208 s] /proc/loadavg: 1.00 1.00 1.00 2/76 21823 /proc/meminfo: memFree=1293816/2055920 swapFree=4183112/4192956 [pid=21811] ppid=21809 vsize=1788736 CPUtime=8.38 /proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 73371 0 1 0 806 32 0 0 18 0 13 0 142077661 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21811/statm: 447184 67280 1334 9 0 444796 0 [pid=21811/tid=21813] ppid=21809 vsize=1788736 CPUtime=4.61 /proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 37713 0 1 0 444 17 0 0 18 0 13 0 142077663 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21814] ppid=21809 vsize=1788736 CPUtime=1.09 /proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 15695 0 0 0 104 5 0 0 16 0 13 0 142077664 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21815] ppid=21809 vsize=1788736 CPUtime=1.08 /proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 16168 0 0 0 101 7 0 0 16 0 13 0 142077664 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21816] ppid=21809 vsize=1788736 CPUtime=0 /proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 142077666 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21817] ppid=21809 vsize=1788736 CPUtime=0 /proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21818] ppid=21809 vsize=1788736 CPUtime=0 /proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21819] ppid=21809 vsize=1788736 CPUtime=0 /proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 142077671 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21820] ppid=21809 vsize=1788736 CPUtime=0.72 /proc/21811/task/21820/stat : 21820 (java) R 21809 21811 20811 0 -1 64 1744 0 0 0 72 0 0 0 16 0 13 0 142077671 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104916175 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21821] ppid=21809 vsize=1788736 CPUtime=0.82 /proc/21811/task/21821/stat : 21821 (java) R 21809 21811 20811 0 -1 64 1322 0 0 0 82 0 0 0 16 0 13 0 142077671 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105421640 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21822] ppid=21809 vsize=1788736 CPUtime=0 /proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 142077671 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21823] ppid=21809 vsize=1788736 CPUtime=0 /proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 142077671 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.38 Current children cumulated vsize (KiB) 1788736 [startup+12.7026 s] /proc/loadavg: 1.07 1.02 1.00 2/77 21824 /proc/meminfo: memFree=1272432/2055920 swapFree=4183112/4192956 [pid=21811] ppid=21809 vsize=1787824 CPUtime=15.29 /proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 76528 0 1 0 1495 34 0 0 18 0 13 0 142077661 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21811/statm: 446956 68766 1334 9 0 444568 0 [pid=21811/tid=21813] ppid=21809 vsize=1787824 CPUtime=10.74 /proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 37719 0 1 0 1057 17 0 0 25 0 13 0 142077663 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109845167 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21814] ppid=21809 vsize=1787824 CPUtime=1.27 /proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 16805 0 0 0 122 5 0 0 16 0 13 0 142077664 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21815] ppid=21809 vsize=1787824 CPUtime=1.27 /proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 16958 0 0 0 120 7 0 0 16 0 13 0 142077664 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21816] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 142077666 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21817] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21818] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21819] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21820] ppid=21809 vsize=1787824 CPUtime=0.89 /proc/21811/task/21820/stat : 21820 (java) S 21809 21811 20811 0 -1 64 2347 0 0 0 89 0 0 0 17 0 13 0 142077671 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21821] ppid=21809 vsize=1787824 CPUtime=1.04 /proc/21811/task/21821/stat : 21821 (java) S 21809 21811 20811 0 -1 64 1970 0 0 0 104 0 0 0 16 0 13 0 142077671 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21822] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21823] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 142077671 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21824] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21824/stat : 21824 (java) S 21809 21811 20811 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 142078270 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.29 Current children cumulated vsize (KiB) 1787824 [startup+25.5028 s] /proc/loadavg: 1.06 1.02 1.00 2/77 21824 /proc/meminfo: memFree=1257456/2055920 swapFree=4183112/4192956 [pid=21811] ppid=21809 vsize=1787824 CPUtime=28.51 /proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 80777 0 1 0 2815 36 0 0 18 0 13 0 142077661 1830731776 72521 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21811/statm: 446956 72521 1334 9 0 444568 0 [pid=21811/tid=21813] ppid=21809 vsize=1787824 CPUtime=23.13 /proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 37723 0 1 0 2295 18 0 0 25 0 13 0 142077663 1830731776 72521 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109873854 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21814] ppid=21809 vsize=1787824 CPUtime=1.67 /proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 19445 0 0 0 160 7 0 0 16 0 13 0 142077664 1830731776 72521 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21815] ppid=21809 vsize=1787824 CPUtime=1.66 /proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 18558 0 0 0 158 8 0 0 18 0 13 0 142077664 1830731776 72521 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21816] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 142077666 1830731776 72521 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21817] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 72521 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21818] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 72521 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=21811] ppid=21809 vsize=1787824 CPUtime=1616.26 /proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 546594 0 1 0 161349 277 0 0 18 0 13 0 142077661 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21811/statm: 446956 373947 1334 9 0 444568 0 [pid=21811/tid=21813] ppid=21809 vsize=1787824 CPUtime=1587.2 /proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 50203 0 1 0 158693 27 0 0 25 0 13 0 142077663 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109873595 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21814] ppid=21809 vsize=1787824 CPUtime=13.25 /proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 238531 0 0 0 1207 118 0 0 16 0 13 0 142077664 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21815] ppid=21809 vsize=1787824 CPUtime=13.3 /proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 252537 0 0 0 1214 116 0 0 17 0 13 0 142077664 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21816] ppid=21809 vsize=1787824 CPUtime=0.23 /proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 159 0 0 0 11 12 0 0 16 0 13 0 142077666 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21817] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21818] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21819] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21820] ppid=21809 vsize=1787824 CPUtime=1 /proc/21811/task/21820/stat : 21820 (java) S 21809 21811 20811 0 -1 64 2352 0 0 0 100 0 0 0 16 0 13 0 142077671 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21821] ppid=21809 vsize=1787824 CPUtime=1.23 /proc/21811/task/21821/stat : 21821 (java) S 21809 21811 20811 0 -1 64 2090 0 0 0 123 0 0 0 16 0 13 0 142077671 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21822] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21823] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 142077671 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21824] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21824/stat : 21824 (java) S 21809 21811 20811 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 142078270 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1616.26 Current children cumulated vsize (KiB) 1787824 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 21826 /proc/meminfo: memFree=24944/2055920 swapFree=4183112/4192956 [pid=21811] ppid=21809 vsize=1787824 CPUtime=1676.74 /proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 556477 0 1 0 167392 282 0 0 18 0 13 0 142077661 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21811/statm: 446956 379881 1334 9 0 444568 0 [pid=21811/tid=21813] ppid=21809 vsize=1787824 CPUtime=1646.59 /proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 53095 0 1 0 164631 28 0 0 25 0 13 0 142077663 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109873353 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21814] ppid=21809 vsize=1787824 CPUtime=13.78 /proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 241532 0 0 0 1259 119 0 0 16 0 13 0 142077664 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21815] ppid=21809 vsize=1787824 CPUtime=13.83 /proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 256517 0 0 0 1265 118 0 0 16 0 13 0 142077664 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21816] ppid=21809 vsize=1787824 CPUtime=0.23 /proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 169 0 0 0 11 12 0 0 16 0 13 0 142077666 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21817] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21818] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21819] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21820] ppid=21809 vsize=1787824 CPUtime=1 /proc/21811/task/21820/stat : 21820 (java) S 21809 21811 20811 0 -1 64 2352 0 0 0 100 0 0 0 16 0 13 0 142077671 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21821] ppid=21809 vsize=1787824 CPUtime=1.23 /proc/21811/task/21821/stat : 21821 (java) S 21809 21811 20811 0 -1 64 2090 0 0 0 123 0 0 0 16 0 13 0 142077671 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21822] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21823] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 142077671 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21824] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21824/stat : 21824 (java) S 21809 21811 20811 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 142078270 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1676.74 Current children cumulated vsize (KiB) 1787824 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 21826 /proc/meminfo: memFree=1210480/2055920 swapFree=4183112/4192956 [pid=21811] ppid=21809 vsize=1787824 CPUtime=1737.22 /proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 573811 0 1 0 173414 308 0 0 18 0 13 0 142077661 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21811/statm: 446956 90732 1336 9 0 444568 0 [pid=21811/tid=21813] ppid=21809 vsize=1787824 CPUtime=1705.37 /proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 55834 0 1 0 170507 30 0 0 25 0 13 0 142077663 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109845747 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21814] ppid=21809 vsize=1787824 CPUtime=14.28 /proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 246091 0 0 0 1306 122 0 0 16 0 13 0 142077664 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21815] ppid=21809 vsize=1787824 CPUtime=14.33 /proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 263325 0 0 0 1312 121 0 0 16 0 13 0 142077664 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21816] ppid=21809 vsize=1787824 CPUtime=0.92 /proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 3394 0 0 0 61 31 0 0 16 0 13 0 142077666 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21817] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21818] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21819] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21820] ppid=21809 vsize=1787824 CPUtime=1 /proc/21811/task/21820/stat : 21820 (java) S 21809 21811 20811 0 -1 64 2352 0 0 0 100 0 0 0 16 0 13 0 142077671 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21821] ppid=21809 vsize=1787824 CPUtime=1.25 /proc/21811/task/21821/stat : 21821 (java) S 21809 21811 20811 0 -1 64 2093 0 0 0 125 0 0 0 17 0 13 0 142077671 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21822] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21823] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 142077671 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21824] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21824/stat : 21824 (java) S 21809 21811 20811 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 142078270 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1737.22 Current children cumulated vsize (KiB) 1787824 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 21826 /proc/meminfo: memFree=1231920/2055920 swapFree=4183112/4192956 [pid=21811] ppid=21809 vsize=1787824 CPUtime=1797.37 /proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 573838 0 1 0 179428 309 0 0 18 0 13 0 142077661 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21811/statm: 446956 85345 1336 9 0 444568 0 [pid=21811/tid=21813] ppid=21809 vsize=1787824 CPUtime=1765.09 /proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 55861 0 1 0 176479 30 0 0 25 0 13 0 142077663 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109846532 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21814] ppid=21809 vsize=1787824 CPUtime=14.48 /proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 246091 0 0 0 1326 122 0 0 16 0 13 0 142077664 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21815] ppid=21809 vsize=1787824 CPUtime=14.53 /proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 263325 0 0 0 1332 121 0 0 16 0 13 0 142077664 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21816] ppid=21809 vsize=1787824 CPUtime=0.94 /proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 3394 0 0 0 62 32 0 0 16 0 13 0 142077666 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21817] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21818] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21819] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21820] ppid=21809 vsize=1787824 CPUtime=1 /proc/21811/task/21820/stat : 21820 (java) S 21809 21811 20811 0 -1 64 2352 0 0 0 100 0 0 0 16 0 13 0 142077671 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21821] ppid=21809 vsize=1787824 CPUtime=1.25 /proc/21811/task/21821/stat : 21821 (java) S 21809 21811 20811 0 -1 64 2093 0 0 0 125 0 0 0 17 0 13 0 142077671 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21822] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21823] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 142077671 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21824] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21824/stat : 21824 (java) S 21809 21811 20811 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 142078270 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.37 Current children cumulated vsize (KiB) 1787824 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785 s] /proc/loadavg: 1.00 1.00 1.00 2/77 21826 /proc/meminfo: memFree=1232944/2055920 swapFree=4183112/4192956 [pid=21811] ppid=21809 vsize=1787824 CPUtime=1800.08 /proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 573840 0 1 0 179699 309 0 0 18 0 13 0 142077661 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21811/statm: 446956 85089 1336 9 0 444568 0 [pid=21811/tid=21813] ppid=21809 vsize=1787824 CPUtime=1767.78 /proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 55863 0 1 0 176748 30 0 0 25 0 13 0 142077663 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109873299 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21814] ppid=21809 vsize=1787824 CPUtime=14.5 /proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 246091 0 0 0 1328 122 0 0 16 0 13 0 142077664 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21815] ppid=21809 vsize=1787824 CPUtime=14.55 /proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 263325 0 0 0 1334 121 0 0 16 0 13 0 142077664 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21816] ppid=21809 vsize=1787824 CPUtime=0.94 /proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 3394 0 0 0 62 32 0 0 16 0 13 0 142077666 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21817] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21818] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21819] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21820] ppid=21809 vsize=1787824 CPUtime=1 /proc/21811/task/21820/stat : 21820 (java) S 21809 21811 20811 0 -1 64 2352 0 0 0 100 0 0 0 16 0 13 0 142077671 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21821] ppid=21809 vsize=1787824 CPUtime=1.25 /proc/21811/task/21821/stat : 21821 (java) S 21809 21811 20811 0 -1 64 2093 0 0 0 125 0 0 0 17 0 13 0 142077671 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21822] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21811/tid=21823] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 142077671 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21811/tid=21824] ppid=21809 vsize=1787824 CPUtime=0 /proc/21811/task/21824/stat : 21824 (java) S 21809 21811 20811 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 142078270 1830731776 85089 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) 1787824 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1785.1 CPU time (s): 1800.19 CPU user time (s): 1797.03 CPU system time (s): 3.15552 CPU usage (%): 100.845 Max. virtual memory (cumulated for all children) (KiB): 1794956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.03 system time used= 3.15552 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 573860 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= 44416 involuntary context switches= 35382 runsolver used 2.07368 second user time and 4.85926 second system time The end
Begin job on node57 on Thu Apr 19 19:03:37 UTC 2007 IDJOB= 362263 IDBENCH= 1545 IDSOLVER= 159 FILE ID= node57/362263-1177009417 PBS_JOBID= 4630489 Free space on /tmp= 66446 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3702.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362263-1177009417/sat4jPseudoResolution.jar /tmp/evaluation/362263-1177009417/instance-362263-1177009417.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-362263-1177009417 -o ROOT/results/node57/solver-362263-1177009417 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362263-1177009417/sat4jPseudoResolution.jar /tmp/evaluation/362263-1177009417/instance-362263-1177009417.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 923982c51ba218a8e62dc99222f9f8f7 RANDOM SEED= 557564706 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1543728 kB Buffers: 15220 kB Cached: 447716 kB SwapCached: 3544 kB Active: 203568 kB Inactive: 270176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1543728 kB SwapTotal: 4192956 kB SwapFree: 4183112 kB Dirty: 10144 kB Writeback: 0 kB Mapped: 16848 kB Slab: 24516 kB Committed_AS: 920472 kB PageTables: 1408 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= 66446 MiB End job on node57 on Thu Apr 19 19:33:24 UTC 2007