Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.35 | 1792.63 |
Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb |
MD5SUM | dab917560b0808668d6327532459772d |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 0.043992 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4970 |
Total number of constraints | 141 |
Number of constraints which are clauses | 71 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 70 |
Maximum length of a constraint | 71 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 72 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.15 c no version file found!!! 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.9-22.EL.rootsmp 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1651659224 0.09/0.15 c Max memory 1654456320 0.09/0.15 c Total memory 1654456320 0.09/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/365933-1177055308/instance-365933-1177055308.opb 0.20/0.20 c reading problem ... 0.97/0.71 c ... done. Wall clock time 0.505s. 0.97/0.71 c CPU time (experimental) 0.51s. 0.97/0.71 c #vars 4970 0.97/0.71 c #constraints 141 906.93/903.73 c cleaning 77992 clauses out of 156002 for limit 390.4591496385781 910.85/907.69 c cleaning 39242 clauses out of 78508 for limit 1276.9641943868473 913.65/910.46 c cleaning 19875 clauses out of 39767 for limit 4161.598739088024 1282.34/1278.17 c cleaning 34941 clauses out of 69892 for limit 125876.38590898654 1284.34/1280.15 c cleaning 17716 clauses out of 35450 for limit 408862.11339406285 1286.33/1282.04 c cleaning 9107 clauses out of 18235 for limit 1312132.6426549414 1288.04/1283.75 c cleaning 4802 clauses out of 9628 for limit 4098295.9121463588 1289.04/1284.79 c cleaning 2655 clauses out of 5327 for limit 1.2227765361734875E7 1289.83/1285.57 c cleaning 1576 clauses out of 3173 for limit 3.3888326284704E7 1290.53/1286.27 c cleaning 1047 clauses out of 2094 for limit 8.442982058312999E7 1291.13/1286.89 c cleaning 760 clauses out of 1547 for limit 1.884682148701608E8 1291.83/1287.51 c cleaning 639 clauses out of 1288 for limit 3.7368267784970176E8 1321.83/1317.21 c cleaning 5570 clauses out of 11149 for limit 1.5760011905902534E12 1323.23/1318.60 c cleaning 3030 clauses out of 6078 for limit 4.76269901085118E12 1324.03/1319.47 c cleaning 1762 clauses out of 3548 for limit 1.3455074531425217E13 1324.83/1320.24 c cleaning 1135 clauses out of 2286 for limit 3.4438908606157992E13 1325.43/1320.89 c cleaning 825 clauses out of 1652 for limit 7.866942243835444E13 1326.13/1321.54 c cleaning 663 clauses out of 1326 for limit 1.6147074754966444E14 1326.83/1322.21 c cleaning 570 clauses out of 1165 for limit 3.0369410727088544E14 1366.55/1361.75 c cleaning 7037 clauses out of 14094 for limit 0.18416303386810673 1368.06/1363.18 c cleaning 3770 clauses out of 7558 for limit 0.5669179906862558 1369.07/1364.11 c cleaning 2136 clauses out of 4287 for limit 1.6466261892734044 1369.67/1364.78 c cleaning 1315 clauses out of 2651 for limit 4.391315708168552 1370.07/1365.15 c cleaning 905 clauses out of 1836 for limit 10.456530273759261 1370.47/1365.55 c cleaning 709 clauses out of 1432 for limit 22.13133727973611 1370.87/1365.94 c cleaning 601 clauses out of 1221 for limit 42.71907834669009 1371.17/1366.23 c cleaning 552 clauses out of 1120 for limit 76.8025080676297 1371.47/1366.57 c cleaning 521 clauses out of 1068 for limit 132.82446019694856 1371.87/1366.92 c cleaning 507 clauses out of 1048 for limit 223.44900669922725 1372.17/1367.25 c cleaning 511 clauses out of 1042 for limit 370.99016015758605 1372.47/1367.56 c cleaning 502 clauses out of 1030 for limit 618.3213754659081 1372.77/1367.81 c cleaning 502 clauses out of 1029 for limit 1021.7073299421146 1372.97/1368.08 c cleaning 500 clauses out of 1025 for limit 1688.1260899747297 1373.27/1368.34 c cleaning 502 clauses out of 1025 for limit 2783.9457558363247 1373.46/1368.57 c cleaning 498 clauses out of 1024 for limit 4600.182658731623 1459.86/1454.74 c cleaning 13754 clauses out of 27526 for limit 9.228897574546516E13 1461.78/1456.55 c cleaning 7124 clauses out of 14272 for limit 2.935377639166061E14 1463.28/1458.01 c cleaning 3824 clauses out of 7648 for limit 9.033516171514029E14 1464.18/1458.97 c cleaning 2152 clauses out of 4324 for limit 2.634965342542729E-5 1464.78/1459.56 c cleaning 1330 clauses out of 2671 for limit 7.027616920866387E-5 1465.38/1460.15 c cleaning 914 clauses out of 1842 for limit 1.6822198015599464E-4 1465.88/1460.63 c cleaning 709 clauses out of 1427 for limit 3.5774186666524355E-4 1466.38/1461.16 c cleaning 599 clauses out of 1218 for limit 6.911977895450593E-4 1466.98/1461.71 c cleaning 544 clauses out of 1119 for limit 0.0012407247035624409 1499.60/1494.09 c cleaning 6528 clauses out of 13076 for limit 28.69870439946189 1501.00/1495.50 c cleaning 3512 clauses out of 7048 for limit 87.80660678147076 1502.10/1496.52 c cleaning 2008 clauses out of 4035 for limit 252.6800336646353 1502.80/1497.24 c cleaning 1255 clauses out of 2529 for limit 666.1783988114041 1503.49/1497.95 c cleaning 875 clauses out of 1773 for limit 1565.4961912079295 1504.09/1498.55 c cleaning 685 clauses out of 1397 for limit 3273.2993183489693 1504.69/1499.14 c cleaning 598 clauses out of 1213 for limit 6223.170848291091 1510.21/1504.62 c cleaning 2055 clauses out of 4115 for limit 60854.667585858086 1511.01/1505.41 c cleaning 1276 clauses out of 2559 for limit 161218.4804230869 1511.74/1506.11 c cleaning 885 clauses out of 1783 for limit 381583.55791199027 1512.24/1506.68 c cleaning 694 clauses out of 1398 for limit 802582.5480070903 1512.84/1507.27 c cleaning 596 clauses out of 1205 for limit 1537093.3198360524 1513.54/1507.90 c cleaning 544 clauses out of 1108 for limit 2754031.4592755283 1514.14/1508.55 c cleaning 531 clauses out of 1064 for limit 4729583.707634816 1514.75/1509.19 c cleaning 517 clauses out of 1034 for limit 8034047.670533545 1515.34/1509.79 c cleaning 508 clauses out of 1017 for limit 1.3470691094835343E7 1547.31/1541.48 c cleaning 5993 clauses out of 12008 for limit 1.1315950532529172E11 1548.51/1542.69 c cleaning 3257 clauses out of 6515 for limit 3.4395623502229596E11 1549.41/1543.51 c cleaning 1879 clauses out of 3758 for limit 9.833694628623627E11 1550.01/1544.18 c cleaning 1189 clauses out of 2379 for limit 2.561739344851236E12 1550.61/1544.71 c cleaning 845 clauses out of 1690 for limit 5.947008550709996E12 1551.11/1545.20 c cleaning 658 clauses out of 1347 for limit 1.2329418165121611E13 1551.61/1545.70 c cleaning 583 clauses out of 1187 for limit 2.3027475166082227E13 1552.11/1546.22 c cleaning 537 clauses out of 1104 for limit 4.083042074170163E13 1555.85/1549.93 c cleaning 1534 clauses out of 3069 for limit 1.7951655226303994E14 1556.44/1550.56 c cleaning 1017 clauses out of 2034 for limit 4.462434081405841E14 1557.04/1551.19 c cleaning 756 clauses out of 1516 for limit 9.863815410039626E14 1588.31/1582.13 c cleaning 5871 clauses out of 11760 for limit 0.07655372541714511 1589.61/1583.42 c cleaning 3179 clauses out of 6389 for limit 0.2323788781329711 1590.61/1584.47 c cleaning 1843 clauses out of 3712 for limit 0.6609163288568507 1591.51/1585.37 c cleaning 1171 clauses out of 2368 for limit 1.7068451663123108 1592.31/1586.16 c cleaning 838 clauses out of 1697 for limit 3.9278045539442683 1592.91/1586.76 c cleaning 667 clauses out of 1358 for limit 8.08636456121834 1634.20/1627.87 c cleaning 9330 clauses out of 18693 for limit 3.899914059261315E7 1635.51/1629.14 c cleaning 4914 clauses out of 9862 for limit 1.217840519931983E8 1636.33/1629.95 c cleaning 2711 clauses out of 5447 for limit 3.6326153849066347E8 1637.23/1630.72 c cleaning 1605 clauses out of 3237 for limit 1.0090774303761438E9 1637.83/1631.33 c cleaning 1054 clauses out of 2132 for limit 2.526596432858503E9 1638.32/1631.88 c cleaning 788 clauses out of 1577 for limit 5.627464459975306E9 1638.93/1632.45 c cleaning 644 clauses out of 1289 for limit 1.13539616737995E10 1639.52/1633.01 c cleaning 562 clauses out of 1145 for limit 2.107903580691954E10 1640.03/1633.55 c cleaning 541 clauses out of 1083 for limit 3.675222686160032E10 1640.62/1634.15 c cleaning 505 clauses out of 1042 for limit 6.29941591491975E10 1641.22/1634.79 c cleaning 519 clauses out of 1038 for limit 1.0439051678070471E11 1669.92/1663.30 c cleaning 5504 clauses out of 11018 for limit 3.586697486454551E-6 1671.12/1664.47 c cleaning 2998 clauses out of 6014 for limit 1.0836523564384451E-5 1673.89/1667.15 c cleaning 2239 clauses out of 4516 for limit 6.472426558247341E-5 1674.69/1667.91 c cleaning 1380 clauses out of 2777 for limit 1.7358055465409438E-4 1675.39/1668.63 c cleaning 939 clauses out of 1897 for limit 4.190496744862236E-4 1676.09/1669.30 c cleaning 718 clauses out of 1458 for limit 8.991480392273543E-4 1676.59/1669.86 c cleaning 611 clauses out of 1242 for limit 0.0017441829638787957 1702.98/1696.09 c cleaning 5802 clauses out of 11629 for limit 11.192619920478322 1704.37/1697.48 c cleaning 3148 clauses out of 6328 for limit 33.95455593401961 1707.56/1700.60 c cleaning 2324 clauses out of 4679 for limit 205.75226726902798 1708.36/1701.39 c cleaning 1416 clauses out of 2856 for limit 556.4547711021688 1708.95/1701.98 c cleaning 956 clauses out of 1939 for limit 1350.3042659692976 1709.45/1702.47 c cleaning 732 clauses out of 1484 for limit 2912.5000844740575 1709.86/1702.89 c cleaning 619 clauses out of 1258 for limit 5700.09592220564 1710.25/1703.26 c cleaning 552 clauses out of 1133 for limit 10374.847261017181 1710.75/1703.74 c cleaning 532 clauses out of 1081 for limit 17932.540264620577 1711.25/1704.22 c cleaning 514 clauses out of 1050 for limit 30476.746895504504 1738.05/1730.83 c cleaning 5767 clauses out of 11535 for limit 1.668534961152263E8 1739.25/1732.01 c cleaning 3119 clauses out of 6267 for limit 5.059581434754101E8 1740.15/1732.93 c cleaning 1813 clauses out of 3649 for limit 1.4344678545834277E9 1740.75/1733.58 c cleaning 1167 clauses out of 2335 for limit 3.6931689376168356E9 1741.35/1734.18 c cleaning 822 clauses out of 1668 for limit 8.526011218670579E9 1743.52/1736.23 c cleaning 1156 clauses out of 2346 for limit 2.7188271575687252E10 1744.12/1736.82 c cleaning 825 clauses out of 1691 for limit 6.2266778656804405E10 1744.72/1737.43 c cleaning 671 clauses out of 1365 for limit 1.2708337198777701E11 1745.22/1737.97 c cleaning 594 clauses out of 1195 for limit 2.396314825268489E11 1746.02/1738.75 c cleaning 550 clauses out of 1100 for limit 4.288846174826838E11 1746.62/1739.37 c cleaning 512 clauses out of 1051 for limit 7.41004487194376E11 1779.00/1771.50 c cleaning 7263 clauses out of 14538 for limit 6.481107333613116E-4 1779.79/1772.32 c cleaning 3874 clauses out of 7776 for limit 0.0020002672539697515 1780.29/1772.89 c cleaning 2188 clauses out of 4401 for limit 0.005822564173786074 1780.79/1773.30 c cleaning 1340 clauses out of 2713 for limit 0.01557656693433528 1781.09/1773.66 c cleaning 920 clauses out of 1874 for limit 0.037225655305912486 1781.39/1773.92 c cleaning 716 clauses out of 1454 for limit 0.07912312265245472 1781.59/1774.16 c cleaning 609 clauses out of 1238 for limit 0.15325091194074492 1781.89/1774.49 c cleaning 553 clauses out of 1128 for limit 0.2770996567420752 1782.19/1774.75 c cleaning 522 clauses out of 1076 for limit 0.47953820676598113 1782.49/1775.04 c cleaning 514 clauses out of 1054 for limit 0.8073293891531494 1800.21/1792.52 c starts : 19 1800.21/1792.52 c conflicts : 431916 1800.21/1792.52 c decisions : 540150 1800.21/1792.52 c propagations : 42410197 1800.21/1792.52 c inspects : 1278482837 1800.21/1792.52 c learnt literals : 0 1800.21/1792.52 c learnt binary clauses : 0 1800.21/1792.52 c learnt ternary clauses : 0 1800.21/1792.52 c learnt clauses : 431916 1800.21/1792.52 c root simplifications : 0 1800.21/1792.52 c removed literals (reason simplification) : 0 1800.21/1792.52 c reason swapping (by a shorter reason) : 0 1800.21/1792.52 c Calls to reduceDB : 126 1800.21/1792.52 c speed (decisions/second) : 301.4672354257349 1800.21/1792.52 c non guided choices 2416 1800.21/1792.52 s UNKNOWN 1800.21/1792.52 c Total wall clock time (ms): 1792.32
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-365933-1177055308 -o ROOT/results/node22/solver-365933-1177055308 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/365933-1177055308/sat4jPseudoResolution.jar /tmp/evaluation/365933-1177055308/instance-365933-1177055308.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: 0.92 0.98 0.99 2/77 16187 /proc/meminfo: memFree=1649336/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=152 CPUtime=0 /proc/16187/stat : 16187 (java) R 16185 16187 16015 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 153448501 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4677931 0 0 4096 0 0 0 0 17 1 0 0 /proc/16187/statm: 38 26 19 9 0 4 0 [startup+0.0424721 s] /proc/loadavg: 0.92 0.98 0.99 2/77 16187 /proc/meminfo: memFree=1649336/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=1776088 CPUtime=0.03 /proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 3247 0 1 0 1 2 0 0 18 0 4 0 153448501 1818714112 2995 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/16187/statm: 444022 2995 887 9 0 441658 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1776088 [startup+0.101483 s] /proc/loadavg: 0.92 0.98 0.99 2/77 16187 /proc/meminfo: memFree=1649336/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=1780108 CPUtime=0.09 /proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 3974 0 1 0 6 3 0 0 18 0 12 0 153448501 1822830592 3716 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16187/statm: 445027 3716 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780108 [startup+0.301514 s] /proc/loadavg: 0.92 0.98 0.99 2/77 16187 /proc/meminfo: memFree=1649336/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=1781428 CPUtime=0.31 /proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 5160 0 1 0 27 4 0 0 18 0 12 0 153448501 1824182272 4899 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16187/statm: 445357 4899 1264 9 0 442969 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1781428 [startup+0.701575 s] /proc/loadavg: 0.92 0.98 0.99 2/77 16187 /proc/meminfo: memFree=1649336/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=1784524 CPUtime=0.97 /proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 8161 0 1 0 91 6 0 0 18 0 12 0 153448501 1827352576 7221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16187/statm: 446131 7221 1308 9 0 443743 0 Current children cumulated CPU time (s) 0.97 Current children cumulated vsize (KiB) 1784524 [startup+1.5027 s] /proc/loadavg: 0.92 0.98 0.99 4/90 16200 /proc/meminfo: memFree=1624528/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=1784848 CPUtime=2.08 /proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 10003 0 1 0 202 6 0 0 18 0 13 0 153448501 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16187/statm: 446212 9062 1319 9 0 443824 0 [pid=16187/tid=16189] ppid=16185 vsize=1784848 CPUtime=1.09 /proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 7297 0 1 0 105 4 0 0 22 0 13 0 153448503 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109670449 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16190] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 153448504 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16191] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 153448504 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16192] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 153448507 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16193] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 153448507 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16194] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 153448507 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16195] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16196] ppid=16185 vsize=1784848 CPUtime=0.49 /proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1085 0 0 0 49 0 0 0 16 0 13 0 153448511 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16197] ppid=16185 vsize=1784848 CPUtime=0.46 /proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 898 0 0 0 46 0 0 0 15 0 13 0 153448511 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16198] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16199] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16200] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.08 Current children cumulated vsize (KiB) 1784848 [startup+3.10195 s] /proc/loadavg: 0.92 0.98 0.99 2/90 16200 /proc/meminfo: memFree=1611152/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=1784848 CPUtime=3.69 /proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 14393 0 1 0 361 8 0 0 18 0 13 0 153448501 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16187/statm: 446212 13451 1319 9 0 443824 0 [pid=16187/tid=16189] ppid=16185 vsize=1784848 CPUtime=2.68 /proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 11684 0 1 0 262 6 0 0 25 0 13 0 153448503 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109609945 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16190] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 153448504 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16191] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 153448504 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16192] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153448507 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16193] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 153448507 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16194] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 153448507 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16195] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16196] ppid=16185 vsize=1784848 CPUtime=0.51 /proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1086 0 0 0 51 0 0 0 17 0 13 0 153448511 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16197] ppid=16185 vsize=1784848 CPUtime=0.47 /proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 899 0 0 0 47 0 0 0 17 0 13 0 153448511 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16198] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16199] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16200] ppid=16185 vsize=1784848 CPUtime=0 /proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.69 Current children cumulated vsize (KiB) 1784848 [startup+6.30242 s] /proc/loadavg: 0.93 0.98 0.99 2/90 16200 /proc/meminfo: memFree=1578768/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=1784732 CPUtime=6.92 /proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 21590 0 1 0 680 12 0 0 18 0 13 0 153448501 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16187/statm: 446183 20620 1321 9 0 443795 0 [pid=16187/tid=16189] ppid=16185 vsize=1784732 CPUtime=5.87 /proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 18875 0 1 0 578 9 0 0 25 0 13 0 153448503 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105880117 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16190] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 153448504 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16191] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 153448504 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16192] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153448507 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16193] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 153448507 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16194] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 153448507 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16195] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16196] ppid=16185 vsize=1784732 CPUtime=0.51 /proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1086 0 0 0 51 0 0 0 17 0 13 0 153448511 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16197] ppid=16185 vsize=1784732 CPUtime=0.5 /proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 905 0 0 0 50 0 0 0 17 0 13 0 153448511 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16198] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16199] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16200] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.92 Current children cumulated vsize (KiB) 1784732 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/90 16200 /proc/meminfo: memFree=1532312/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=1784732 CPUtime=13.32 /proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 32275 0 1 0 1315 17 0 0 18 0 13 0 153448501 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16187/statm: 446183 31304 1321 9 0 443795 0 [pid=16187/tid=16189] ppid=16185 vsize=1784732 CPUtime=12.26 /proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 29560 0 1 0 1212 14 0 0 25 0 13 0 153448503 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105880117 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16190] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 153448504 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16191] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 153448504 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16192] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153448507 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16193] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 153448507 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16194] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 153448507 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16195] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16196] ppid=16185 vsize=1784732 CPUtime=0.51 /proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1086 0 0 0 51 0 0 0 16 0 13 0 153448511 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16197] ppid=16185 vsize=1784732 CPUtime=0.5 /proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 905 0 0 0 50 0 0 0 16 0 13 0 153448511 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16198] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16199] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16200] ppid=16185 vsize=1784732 CPUtime=0 /proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.32 Current children cumulated vsize (KiB) 1784732 [startup+25.5024 s] /proc/loadavg: 0.95 0.98 0.99 2/90 16200 /proc/meminfo: memFree=1367576/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=1784732 CPUtime=26.31 /proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 73736 0 1 0 2589 42 0 0 18 0 13 0 153448501 1827565568 71437 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16187/statm: 446183 71437 1330 9 0 443795 0 [pid=16187/tid=16189] ppid=16185 vsize=1784732 CPUtime=24.86 /proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 37657 0 1 0 2468 18 0 0 25 0 13 0 153448503 1827565568 71437 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109679867 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16190] ppid=16185 vsize=1784732 CPUtime=0.17 /proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 17344 0 0 0 7 10 0 0 16 0 13 0 153448504 1827565568 71437 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16191] ppid=16185 vsize=1784732 CPUtime=0.17 /proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 16014 0 0 0 7 10 0 0 16 0 13 0 153448504 1827565568 71437 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=16187/tid=16192] ppid=16185 vsize=1784476 CPUtime=2.45 /proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 18976 0 2 0 217 28 0 0 16 0 13 0 153448507 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16193] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16194] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16195] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16196] ppid=16185 vsize=1784476 CPUtime=0.66 /proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1098 0 0 0 65 1 0 0 16 0 13 0 153448511 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16197] ppid=16185 vsize=1784476 CPUtime=0.61 /proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 913 0 0 0 61 0 0 0 16 0 13 0 153448511 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16198] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16199] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16200] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1608.61 Current children cumulated vsize (KiB) 1784476 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 16398 /proc/meminfo: memFree=1227096/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=1784476 CPUtime=1669.02 /proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 485562 0 3 0 166592 310 0 0 18 0 13 0 153448501 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16187/statm: 446119 105808 1334 9 0 443731 0 [pid=16187/tid=16189] ppid=16185 vsize=1784476 CPUtime=1651.71 /proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 37773 0 1 0 165139 32 0 0 25 0 13 0 153448503 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109642192 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16190] ppid=16185 vsize=1784476 CPUtime=6.7 /proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 219643 0 0 0 546 124 0 0 16 0 13 0 153448504 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16191] ppid=16185 vsize=1784476 CPUtime=6.71 /proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 206431 0 0 0 551 120 0 0 17 0 13 0 153448504 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16192] ppid=16185 vsize=1784476 CPUtime=2.54 /proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 18981 0 2 0 225 29 0 0 16 0 13 0 153448507 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16193] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16194] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16195] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16196] ppid=16185 vsize=1784476 CPUtime=0.66 /proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1098 0 0 0 65 1 0 0 16 0 13 0 153448511 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16197] ppid=16185 vsize=1784476 CPUtime=0.64 /proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 916 0 0 0 64 0 0 0 17 0 13 0 153448511 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16198] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16199] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16200] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1669.02 Current children cumulated vsize (KiB) 1784476 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 16398 /proc/meminfo: memFree=1228568/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=1784476 CPUtime=1729.44 /proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 487105 0 3 0 172632 312 0 0 18 0 13 0 153448501 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16187/statm: 446119 105474 1334 9 0 443731 0 [pid=16187/tid=16189] ppid=16185 vsize=1784476 CPUtime=1711.1 /proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 37780 0 1 0 171078 32 0 0 25 0 13 0 153448503 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109679871 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16190] ppid=16185 vsize=1784476 CPUtime=7.16 /proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 220418 0 0 0 591 125 0 0 16 0 13 0 153448504 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16191] ppid=16185 vsize=1784476 CPUtime=7.16 /proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 207184 0 0 0 595 121 0 0 16 0 13 0 153448504 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16192] ppid=16185 vsize=1784476 CPUtime=2.65 /proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 18989 0 2 0 236 29 0 0 16 0 13 0 153448507 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16193] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16194] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16195] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16196] ppid=16185 vsize=1784476 CPUtime=0.66 /proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1098 0 0 0 65 1 0 0 16 0 13 0 153448511 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16197] ppid=16185 vsize=1784476 CPUtime=0.64 /proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 916 0 0 0 64 0 0 0 17 0 13 0 153448511 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16198] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16199] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16200] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1729.44 Current children cumulated vsize (KiB) 1784476 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 16398 /proc/meminfo: memFree=1244696/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=1784476 CPUtime=1789.89 /proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 487112 0 3 0 178676 313 0 0 18 0 13 0 153448501 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16187/statm: 446119 101345 1334 9 0 443731 0 [pid=16187/tid=16189] ppid=16185 vsize=1784476 CPUtime=1770.44 /proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16015 0 -1 64 37786 0 1 0 177012 32 0 0 25 0 13 0 153448503 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16190] ppid=16185 vsize=1784476 CPUtime=7.64 /proc/16187/task/16190/stat : 16190 (java) R 16185 16187 16015 0 -1 64 220418 0 0 0 639 125 0 0 16 0 13 0 153448504 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369151 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16191] ppid=16185 vsize=1784476 CPUtime=7.65 /proc/16187/task/16191/stat : 16191 (java) R 16185 16187 16015 0 -1 64 207184 0 0 0 644 121 0 0 17 0 13 0 153448504 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369151 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16192] ppid=16185 vsize=1784476 CPUtime=2.79 /proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 18990 0 2 0 249 30 0 0 16 0 13 0 153448507 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16193] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16194] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16195] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16196] ppid=16185 vsize=1784476 CPUtime=0.66 /proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1098 0 0 0 65 1 0 0 16 0 13 0 153448511 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16197] ppid=16185 vsize=1784476 CPUtime=0.64 /proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 916 0 0 0 64 0 0 0 17 0 13 0 153448511 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16198] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16199] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16200] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1789.89 Current children cumulated vsize (KiB) 1784476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1792.4 s] /proc/loadavg: 1.00 1.00 1.00 2/90 16398 /proc/meminfo: memFree=1245464/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=1784476 CPUtime=1800.01 /proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 487113 0 3 0 179688 313 0 0 18 0 13 0 153448501 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16187/statm: 446119 101120 1334 9 0 443731 0 [pid=16187/tid=16189] ppid=16185 vsize=1784476 CPUtime=1780.5 /proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 37787 0 1 0 178018 32 0 0 25 0 13 0 153448503 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109679856 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16190] ppid=16185 vsize=1784476 CPUtime=7.67 /proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 220418 0 0 0 642 125 0 0 16 0 13 0 153448504 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16191] ppid=16185 vsize=1784476 CPUtime=7.68 /proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 207184 0 0 0 647 121 0 0 17 0 13 0 153448504 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16192] ppid=16185 vsize=1784476 CPUtime=2.79 /proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 18990 0 2 0 249 30 0 0 16 0 13 0 153448507 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16193] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16194] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16195] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16196] ppid=16185 vsize=1784476 CPUtime=0.66 /proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1098 0 0 0 65 1 0 0 16 0 13 0 153448511 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16197] ppid=16185 vsize=1784476 CPUtime=0.64 /proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 916 0 0 0 64 0 0 0 17 0 13 0 153448511 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16198] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16187/tid=16199] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16187/tid=16200] ppid=16185 vsize=1784476 CPUtime=0 /proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1784476 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1792.6 s] /proc/loadavg: 1.00 1.00 1.00 2/90 16398 /proc/meminfo: memFree=1245464/2055920 swapFree=4168584/4192956 [pid=16187] ppid=16185 vsize=0 CPUtime=1800.31 /proc/16187/stat : 16187 (java) Z 16185 16187 16015 0 -1 1036 487133 0 3 0 179714 317 0 0 15 0 2 0 153448501 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16187/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1792.63 CPU time (s): 1800.35 CPU user time (s): 1797.14 CPU system time (s): 3.20151 CPU usage (%): 100.431 Max. virtual memory (cumulated for all children) (KiB): 1785480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.14 system time used= 3.20151 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 487133 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37528 involuntary context switches= 50427 runsolver used 1.70774 second user time and 5.01924 second system time The end
Begin job on node22 on Fri Apr 20 07:48:28 UTC 2007 IDJOB= 365933 IDBENCH= 2589 IDSOLVER= 159 FILE ID= node22/365933-1177055308 PBS_JOBID= 4640185 Free space on /tmp= 66495 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/365933-1177055308/sat4jPseudoResolution.jar /tmp/evaluation/365933-1177055308/instance-365933-1177055308.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-365933-1177055308 -o ROOT/results/node22/solver-365933-1177055308 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/365933-1177055308/sat4jPseudoResolution.jar /tmp/evaluation/365933-1177055308/instance-365933-1177055308.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= dab917560b0808668d6327532459772d RANDOM SEED= 19994795 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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.265 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.265 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: 1649744 kB Buffers: 43832 kB Cached: 271672 kB SwapCached: 2192 kB Active: 132608 kB Inactive: 205412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1649744 kB SwapTotal: 4192956 kB SwapFree: 4168584 kB Dirty: 3680 kB Writeback: 0 kB Mapped: 30328 kB Slab: 53812 kB Committed_AS: 1837792 kB PageTables: 1676 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= 66495 MiB End job on node22 on Fri Apr 20 08:18:23 UTC 2007