Trace number 3458607

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0? (TO) 1800.11 1798.05

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-scsd1.opb
MD5SUM34085e863ff461099a0ff7d8d6c87d4c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22800
Total number of constraints77
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints77
Minimum length of a constraint600
Maximum length of a constraint1500
Number of terms in the objective function 22800
Biggest coefficient in the objective function 268435456000000000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 188158757647584541356
Number of bits of the sum of numbers in the objective function 68
Biggest number in a constraint 268435456000000000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 188158757647584541356
Number of bits of the biggest sum of numbers68
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.08/0.09	c version 2.3.1.v20110525
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.18-164.el5
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		12995394264
0.08/0.09	c Max memory 		13063553024
0.08/0.09	c Total memory 		13063553024
0.08/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458607-1307150937.opb
0.10/0.11	c reading problem ... 
0.80/0.52	c ... done. Wall clock time 0.415s.
0.80/0.52	c #vars     22800
0.80/0.52	c #constraints  154
0.80/0.52	c constraints type 
0.80/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 154
23.88/23.14	c cleaning 2502 clauses out of 5004 with flag 5004/5004
49.54/48.74	c cleaning 4246 clauses out of 8498 with flag 11000/11000
77.15/76.38	c cleaning 5626 clauses out of 11252 with flag 18000/18000
108.93/108.00	c cleaning 6813 clauses out of 13628 with flag 26002/26002
122.54/121.70	c cleaning 7909 clauses out of 15817 with flag 35004/35004
138.05/137.10	c cleaning 8953 clauses out of 17905 with flag 45001/45001
154.06/153.16	c cleaning 9475 clauses out of 18952 with flag 55001/55001
169.97/169.07	c cleaning 9738 clauses out of 19477 with flag 65001/65001
186.17/185.25	c cleaning 9858 clauses out of 19738 with flag 75000/75000
203.40/202.45	c cleaning 9936 clauses out of 19880 with flag 85000/85000
211.68/210.70	c cleaning 9965 clauses out of 19944 with flag 95000/95000
218.38/217.40	c cleaning 9984 clauses out of 19980 with flag 105001/105001
224.20/223.30	c cleaning 9995 clauses out of 19997 with flag 115002/115002
231.30/230.39	c cleaning 10001 clauses out of 20003 with flag 125003/125003
237.80/236.83	c cleaning 9997 clauses out of 19999 with flag 135000/135000
244.91/243.93	c cleaning 9999 clauses out of 20005 with flag 145003/145003
253.61/252.63	c cleaning 9998 clauses out of 20004 with flag 155001/155001
262.31/261.33	c cleaning 9995 clauses out of 20006 with flag 165001/165001
270.62/269.69	c cleaning 9996 clauses out of 20010 with flag 175000/175000
278.72/277.77	c cleaning 10003 clauses out of 20015 with flag 185001/185001
283.13/282.17	c cleaning 9998 clauses out of 20011 with flag 195000/195000
289.53/288.56	c cleaning 10000 clauses out of 20013 with flag 205000/205000
299.04/298.06	c cleaning 10002 clauses out of 20014 with flag 215001/215001
308.55/307.52	c cleaning 10000 clauses out of 20011 with flag 225000/225000
319.95/318.97	c cleaning 10002 clauses out of 20011 with flag 235000/235000
332.95/331.94	c cleaning 9995 clauses out of 20009 with flag 245000/245000
346.25/345.30	c cleaning 10004 clauses out of 20015 with flag 255001/255001
359.86/358.89	c cleaning 10002 clauses out of 20011 with flag 265001/265001
372.78/371.74	c cleaning 9994 clauses out of 20009 with flag 275001/275001
384.47/383.40	c cleaning 9999 clauses out of 20014 with flag 285000/285000
396.00/394.98	c cleaning 10003 clauses out of 20015 with flag 295000/295000
407.99/406.97	c cleaning 10005 clauses out of 20013 with flag 305001/305001
420.49/419.46	c cleaning 9999 clauses out of 20008 with flag 315001/315001
433.49/432.48	c cleaning 9994 clauses out of 20008 with flag 325000/325000
445.79/444.78	c cleaning 10001 clauses out of 20014 with flag 335000/335000
458.50/457.46	c cleaning 10003 clauses out of 20013 with flag 345000/345000
470.71/469.65	c cleaning 10001 clauses out of 20010 with flag 355000/355000
482.81/481.80	c cleaning 9995 clauses out of 20010 with flag 365001/365001
491.00/489.99	c cleaning 10000 clauses out of 20014 with flag 375000/375000
499.01/497.92	c cleaning 10001 clauses out of 20015 with flag 385001/385001
507.02/505.96	c cleaning 10001 clauses out of 20014 with flag 395001/395001
514.21/513.19	c cleaning 9998 clauses out of 20012 with flag 405000/405000
522.32/521.31	c cleaning 9998 clauses out of 20014 with flag 415000/415000
529.03/528.01	c cleaning 10002 clauses out of 20016 with flag 425000/425000
536.33/535.23	c cleaning 10002 clauses out of 20015 with flag 435001/435001
544.13/543.07	c cleaning 10000 clauses out of 20013 with flag 445001/445001
552.73/551.61	c cleaning 10004 clauses out of 20012 with flag 455000/455000
561.05/559.93	c cleaning 9998 clauses out of 20010 with flag 465002/465002
568.24/567.10	c cleaning 9993 clauses out of 20010 with flag 475000/475000
573.85/572.76	c cleaning 10004 clauses out of 20018 with flag 485001/485001
579.25/578.17	c cleaning 9998 clauses out of 20014 with flag 495001/495001
585.85/584.79	c cleaning 10002 clauses out of 20015 with flag 505000/505000
591.16/590.07	c cleaning 10005 clauses out of 20016 with flag 515003/515003
596.66/595.55	c cleaning 9999 clauses out of 20009 with flag 525001/525001
602.57/601.42	c cleaning 10001 clauses out of 20010 with flag 535001/535001
608.57/607.45	c cleaning 9999 clauses out of 20009 with flag 545001/545001
614.47/613.38	c cleaning 9993 clauses out of 20010 with flag 555001/555001
621.27/620.19	c cleaning 10005 clauses out of 20017 with flag 565001/565001
628.58/627.41	c cleaning 9995 clauses out of 20012 with flag 575001/575001
634.98/633.88	c cleaning 10003 clauses out of 20016 with flag 585000/585000
640.58/639.43	c cleaning 9999 clauses out of 20013 with flag 595000/595000
645.59/644.48	c cleaning 10000 clauses out of 20014 with flag 605000/605000
653.52/652.32	c cleaning 10000 clauses out of 20014 with flag 615000/615000
661.40/660.24	c cleaning 9999 clauses out of 20015 with flag 625001/625001
670.20/669.02	c cleaning 10002 clauses out of 20016 with flag 635001/635001
677.21/676.07	c cleaning 10001 clauses out of 20013 with flag 645000/645000
685.52/684.39	c cleaning 9998 clauses out of 20012 with flag 655000/655000
691.52/690.34	c cleaning 9998 clauses out of 20014 with flag 665000/665000
697.93/696.71	c cleaning 10002 clauses out of 20017 with flag 675001/675001
703.33/702.10	c cleaning 9998 clauses out of 20015 with flag 685001/685001
708.93/707.78	c cleaning 10006 clauses out of 20016 with flag 695000/695000
715.84/714.69	c cleaning 9999 clauses out of 20010 with flag 705000/705000
722.17/720.92	c cleaning 9998 clauses out of 20012 with flag 715001/715001
728.78/727.50	c cleaning 9998 clauses out of 20014 with flag 725001/725001
736.38/735.20	c cleaning 9998 clauses out of 20015 with flag 735000/735000
742.88/741.61	c cleaning 10003 clauses out of 20018 with flag 745001/745001
753.18/751.98	c cleaning 10001 clauses out of 20015 with flag 755001/755001
762.19/760.92	c cleaning 10002 clauses out of 20013 with flag 765000/765000
768.19/766.98	c cleaning 9999 clauses out of 20011 with flag 775000/775000
774.40/773.16	c cleaning 9995 clauses out of 20012 with flag 785000/785000
781.00/779.80	c cleaning 9999 clauses out of 20017 with flag 795000/795000
789.22/787.92	c cleaning 10005 clauses out of 20018 with flag 805000/805000
796.72/795.47	c cleaning 10000 clauses out of 20013 with flag 815000/815000
805.22/804.00	c cleaning 10004 clauses out of 20014 with flag 825001/825001
812.94/811.63	c cleaning 9997 clauses out of 20009 with flag 835000/835000
820.44/819.16	c cleaning 9996 clauses out of 20013 with flag 845001/845001
828.94/827.62	c cleaning 10006 clauses out of 20016 with flag 855000/855000
836.74/835.44	c cleaning 9997 clauses out of 20011 with flag 865001/865001
843.45/842.20	c cleaning 9999 clauses out of 20013 with flag 875000/875000
850.05/848.71	c cleaning 10000 clauses out of 20014 with flag 885000/885000
862.85/861.51	c cleaning 10006 clauses out of 20014 with flag 895000/895000
881.56/880.22	c cleaning 10003 clauses out of 20009 with flag 905001/905001
900.08/898.72	c cleaning 9997 clauses out of 20005 with flag 915000/915000
918.47/917.15	c cleaning 10003 clauses out of 20008 with flag 925000/925000
937.99/936.65	c cleaning 9999 clauses out of 20005 with flag 935000/935000
957.90/956.52	c cleaning 10000 clauses out of 20006 with flag 945000/945000
976.90/975.51	c cleaning 9998 clauses out of 20006 with flag 955000/955000
996.81/995.49	c cleaning 10002 clauses out of 20008 with flag 965000/965000
1016.51/1015.17	c cleaning 10002 clauses out of 20007 with flag 975001/975001
1035.82/1034.49	c cleaning 9999 clauses out of 20007 with flag 985003/985003
1054.92/1053.51	c cleaning 10002 clauses out of 20005 with flag 995000/995000
1073.83/1072.49	c cleaning 9998 clauses out of 20003 with flag 1005000/1005000
1093.42/1092.09	c cleaning 9998 clauses out of 20007 with flag 1015002/1015002
1112.34/1110.94	c cleaning 10002 clauses out of 20009 with flag 1025002/1025002
1130.84/1129.50	c cleaning 9999 clauses out of 20006 with flag 1035001/1035001
1149.04/1147.61	c cleaning 9997 clauses out of 20006 with flag 1045000/1045000
1167.95/1166.52	c cleaning 9999 clauses out of 20010 with flag 1055001/1055001
1186.95/1185.56	c cleaning 10002 clauses out of 20011 with flag 1065001/1065001
1205.86/1204.49	c cleaning 9998 clauses out of 20009 with flag 1075001/1075001
1218.26/1216.80	c cleaning 10000 clauses out of 20010 with flag 1085000/1085000
1225.36/1223.99	c cleaning 10003 clauses out of 20013 with flag 1095003/1095003
1232.57/1231.19	c cleaning 9999 clauses out of 20011 with flag 1105004/1105004
1239.78/1238.38	c cleaning 9999 clauses out of 20011 with flag 1115003/1115003
1247.19/1245.74	c cleaning 10005 clauses out of 20017 with flag 1125008/1125008
1254.41/1252.96	c cleaning 9997 clauses out of 20006 with flag 1135002/1135002
1261.70/1260.29	c cleaning 10002 clauses out of 20012 with flag 1145005/1145005
1269.20/1267.78	c cleaning 9996 clauses out of 20006 with flag 1155001/1155001
1276.61/1275.10	c cleaning 10001 clauses out of 20012 with flag 1165003/1165003
1284.02/1282.53	c cleaning 9998 clauses out of 20008 with flag 1175000/1175000
1290.81/1289.35	c cleaning 10000 clauses out of 20012 with flag 1185002/1185002
1297.72/1296.28	c cleaning 10005 clauses out of 20018 with flag 1195008/1195008
1304.63/1303.15	c cleaning 9999 clauses out of 20009 with flag 1205004/1205004
1311.64/1310.12	c cleaning 10000 clauses out of 20012 with flag 1215006/1215006
1318.53/1317.03	c cleaning 9999 clauses out of 20010 with flag 1225004/1225004
1325.53/1324.04	c cleaning 9998 clauses out of 20010 with flag 1235003/1235003
1332.63/1331.17	c cleaning 10002 clauses out of 20009 with flag 1245000/1245000
1339.63/1338.10	c cleaning 9999 clauses out of 20010 with flag 1255003/1255003
1346.63/1345.14	c cleaning 9997 clauses out of 20008 with flag 1265000/1265000
1353.74/1352.21	c cleaning 10003 clauses out of 20014 with flag 1275003/1275003
1360.74/1359.22	c cleaning 9996 clauses out of 20009 with flag 1285001/1285001
1367.94/1366.41	c cleaning 10005 clauses out of 20020 with flag 1295008/1295008
1375.04/1373.57	c cleaning 9997 clauses out of 20011 with flag 1305004/1305004
1382.24/1380.73	c cleaning 10003 clauses out of 20014 with flag 1315004/1315004
1389.24/1387.70	c cleaning 9998 clauses out of 20011 with flag 1325004/1325004
1395.65/1394.15	c cleaning 10002 clauses out of 20010 with flag 1335001/1335001
1405.36/1403.85	c cleaning 9998 clauses out of 20008 with flag 1345001/1345001
1415.66/1414.19	c cleaning 10002 clauses out of 20012 with flag 1355003/1355003
1425.77/1424.29	c cleaning 9998 clauses out of 20007 with flag 1365000/1365000
1436.07/1434.56	c cleaning 9996 clauses out of 20009 with flag 1375000/1375000
1447.28/1445.71	c cleaning 10000 clauses out of 20013 with flag 1385000/1385000
1453.89/1452.35	c cleaning 9996 clauses out of 20013 with flag 1395000/1395000
1462.31/1460.79	c cleaning 10001 clauses out of 20018 with flag 1405001/1405001
1472.40/1470.84	c cleaning 10004 clauses out of 20017 with flag 1415001/1415001
1482.51/1480.94	c cleaning 9999 clauses out of 20013 with flag 1425001/1425001
1492.72/1491.13	c cleaning 10000 clauses out of 20013 with flag 1435000/1435000
1502.52/1500.97	c cleaning 9997 clauses out of 20014 with flag 1445001/1445001
1513.12/1511.50	c cleaning 10000 clauses out of 20016 with flag 1455000/1455000
1521.84/1520.27	c cleaning 10002 clauses out of 20017 with flag 1465001/1465001
1529.23/1527.62	c cleaning 9999 clauses out of 20016 with flag 1475002/1475002
1535.74/1534.17	c cleaning 10006 clauses out of 20020 with flag 1485005/1485005
1541.84/1540.29	c cleaning 9997 clauses out of 20013 with flag 1495004/1495004
1548.44/1546.84	c cleaning 9999 clauses out of 20013 with flag 1505001/1505001
1554.65/1553.09	c cleaning 10002 clauses out of 20015 with flag 1515002/1515002
1560.75/1559.18	c cleaning 9991 clauses out of 20012 with flag 1525001/1525001
1567.06/1565.47	c cleaning 10002 clauses out of 20021 with flag 1535001/1535001
1573.37/1571.72	c cleaning 10000 clauses out of 20018 with flag 1545000/1545000
1579.48/1577.85	c cleaning 10001 clauses out of 20019 with flag 1555001/1555001
1586.01/1584.35	c cleaning 10005 clauses out of 20019 with flag 1565002/1565002
1592.34/1590.65	c cleaning 9995 clauses out of 20014 with flag 1575002/1575002
1598.94/1597.25	c cleaning 10000 clauses out of 20017 with flag 1585000/1585000
1605.84/1604.11	c cleaning 9997 clauses out of 20019 with flag 1595002/1595002
1612.75/1611.05	c cleaning 10004 clauses out of 20022 with flag 1605002/1605002
1620.15/1618.41	c cleaning 9999 clauses out of 20017 with flag 1615001/1615001
1626.66/1624.93	c cleaning 9999 clauses out of 20018 with flag 1625001/1625001
1630.37/1628.70	c cleaning 10005 clauses out of 20018 with flag 1635000/1635000
1633.87/1632.15	c cleaning 9999 clauses out of 20014 with flag 1645001/1645001
1638.18/1636.42	c cleaning 9996 clauses out of 20016 with flag 1655002/1655002
1642.00/1640.22	c cleaning 10001 clauses out of 20019 with flag 1665001/1665001
1645.71/1643.94	c cleaning 9999 clauses out of 20019 with flag 1675002/1675002
1649.63/1647.87	c cleaning 9994 clauses out of 20018 with flag 1685000/1685000
1653.33/1651.51	c cleaning 9998 clauses out of 20024 with flag 1695000/1695000
1656.93/1655.14	c cleaning 9999 clauses out of 20026 with flag 1705000/1705000
1660.44/1658.60	c cleaning 10000 clauses out of 20028 with flag 1715001/1715001
1664.05/1662.24	c cleaning 10007 clauses out of 20027 with flag 1725000/1725000
1667.55/1665.70	c cleaning 10000 clauses out of 20021 with flag 1735001/1735001
1671.15/1669.34	c cleaning 10005 clauses out of 20021 with flag 1745001/1745001
1674.98/1673.15	c cleaning 9998 clauses out of 20016 with flag 1755001/1755001
1678.46/1676.64	c cleaning 10006 clauses out of 20020 with flag 1765003/1765003
1681.77/1679.95	c cleaning 10000 clauses out of 20012 with flag 1775001/1775001
1685.99/1684.18	c cleaning 9996 clauses out of 20013 with flag 1785002/1785002
1690.69/1688.89	c cleaning 10000 clauses out of 20015 with flag 1795000/1795000
1695.30/1693.40	c cleaning 9999 clauses out of 20016 with flag 1805001/1805001
1700.22/1698.39	c cleaning 9998 clauses out of 20017 with flag 1815001/1815001
1705.22/1703.39	c cleaning 10002 clauses out of 20020 with flag 1825002/1825002
1710.13/1708.26	c cleaning 9998 clauses out of 20017 with flag 1835001/1835001
1714.83/1712.99	c cleaning 9993 clauses out of 20018 with flag 1845000/1845000
1719.63/1717.70	c cleaning 10001 clauses out of 20025 with flag 1855000/1855000
1724.84/1722.92	c cleaning 9997 clauses out of 20024 with flag 1865000/1865000
1729.84/1727.97	c cleaning 10006 clauses out of 20027 with flag 1875000/1875000
1734.64/1732.76	c cleaning 9997 clauses out of 20021 with flag 1885000/1885000
1739.35/1737.43	c cleaning 10000 clauses out of 20024 with flag 1895000/1895000
1744.46/1742.58	c cleaning 9998 clauses out of 20026 with flag 1905002/1905002
1749.17/1747.29	c cleaning 9999 clauses out of 20026 with flag 1915000/1915000
1754.07/1752.17	c cleaning 10002 clauses out of 20028 with flag 1925001/1925001
1759.28/1757.34	c cleaning 10001 clauses out of 20025 with flag 1935000/1935000
1763.88/1761.93	c cleaning 10001 clauses out of 20025 with flag 1945001/1945001
1768.29/1766.33	c cleaning 10004 clauses out of 20025 with flag 1955002/1955002
1772.79/1770.88	c cleaning 10000 clauses out of 20020 with flag 1965001/1965001
1777.31/1775.35	c cleaning 9998 clauses out of 20019 with flag 1975000/1975000
1781.90/1779.98	c cleaning 10001 clauses out of 20022 with flag 1985001/1985001
1788.51/1786.59	c cleaning 10012 clauses out of 20029 with flag 1995009/1995009
1792.42/1790.50	c cleaning 9999 clauses out of 20008 with flag 2005000/2005000
1796.93/1794.98	c cleaning 9998 clauses out of 20011 with flag 2015002/2015002
1800.05/1798.02	c starts		: 223
1800.05/1798.02	c conflicts		: 2022301
1800.05/1798.02	c decisions		: 2388259
1800.05/1798.02	c propagations		: 17419287
1800.05/1798.02	c inspects		: 1543238352
1800.05/1798.02	c shortcuts		: 0
1800.05/1798.02	c learnt literals	: 0
1800.05/1798.02	c learnt binary clauses	: 0
1800.05/1798.02	c learnt ternary clauses	: 0
1800.05/1798.02	c learnt constraints	: 2022301
1800.05/1798.02	c ignored constraints	: 0
1800.05/1798.02	c root simplifications	: 0
1800.05/1798.02	c removed literals (reason simplification)	: 91239398
1800.05/1798.02	c reason swapping (by a shorter reason)	: 0
1800.05/1798.02	c Calls to reduceDB	: 203
1800.05/1798.02	c number of reductions to clauses (during analyze)	: 0
1800.05/1798.02	c number of learned constraints concerned by reduction	: 0
1800.05/1798.02	c number of learning phase by resolution	: 0
1800.05/1798.02	c number of learning phase by cutting planes	: 0
1800.05/1798.02	c speed (assignments/second)	: 9690.86123648607
1800.05/1798.02	c non guided choices	122812
1800.05/1798.03	c learnt constraints type 
1800.05/1798.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17361
1800.05/1798.03	c constraints type 
1800.05/1798.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 154
1800.05/1798.03	s UNKNOWN
1800.05/1798.03	c Total wall clock time (in seconds): 1797.923

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458607-1307150937/watcher-3458607-1307150937 -o /tmp/evaluation-result-3458607-1307150937/solver-3458607-1307150937 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458607-1307150937.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.22 2.08 2.02 2/501 20661
/proc/meminfo: memFree=24467608/32950928 swapFree=61542356/67111528
[pid=20661] ppid=20659 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/20661/stat : 20661 (java) S 20659 20661 14759 0 -1 4202496 2050 0 1 0 0 0 0 0 25 0 2 0 905324391 13833195520 1752 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/20661/statm: 3377245 1765 906 9 0 3368401 0
[pid=20661/tid=20662] ppid=20659 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20662/stat : 20662 (java) R 20659 20661 14759 0 -1 4202560 6729 0 1 0 0 0 0 0 25 0 2 0 905324392 13850947584 7544 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 0 0 0 0

[startup+0.086902 s]
/proc/loadavg: 2.22 2.08 2.02 2/501 20661
/proc/meminfo: memFree=24467608/32950928 swapFree=61542356/67111528
[pid=20661] ppid=20659 vsize=13621056 CPUtime=0.08 cores=0,2,4,6
/proc/20661/stat : 20661 (java) S 20659 20661 14759 0 -1 4202496 15040 0 1 0 7 1 0 0 25 0 18 0 905324391 13947961344 14737 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20661/statm: 3405264 14739 2017 9 0 3395998 0
[pid=20661/tid=20662] ppid=20659 vsize=13621216 CPUtime=0.07 cores=0,2,4,6
/proc/20661/task/20662/stat : 20662 (java) R 20659 20661 14759 0 -1 4202560 13433 0 1 0 6 1 0 0 25 0 18 0 905324392 13948125184 14740 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917223391 0 2147483391 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13621056

[startup+0.105806 s]
/proc/loadavg: 2.22 2.08 2.02 2/501 20661
/proc/meminfo: memFree=24467608/32950928 swapFree=61542356/67111528
[pid=20661] ppid=20659 vsize=13621676 CPUtime=0.1 cores=0,2,4,6
/proc/20661/stat : 20661 (java) S 20659 20661 14759 0 -1 4202496 15600 0 1 0 9 1 0 0 25 0 18 0 905324391 13948596224 15286 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20661/statm: 3405419 15286 2092 9 0 3396153 0
[pid=20661/tid=20662] ppid=20659 vsize=13621676 CPUtime=0.09 cores=0,2,4,6
/proc/20661/task/20662/stat : 20662 (java) R 20659 20661 14759 0 -1 4202560 13693 0 1 0 8 1 0 0 25 0 18 0 905324392 13948596224 15286 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 47255894401450 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621676

[startup+0.30077 s]
/proc/loadavg: 2.22 2.08 2.02 2/501 20661
/proc/meminfo: memFree=24467608/32950928 swapFree=61542356/67111528
[pid=20661] ppid=20659 vsize=13623540 CPUtime=0.5 cores=0,2,4,6
/proc/20661/stat : 20661 (java) S 20659 20661 14759 0 -1 4202496 21204 0 1 0 48 2 0 0 25 0 18 0 905324391 13950504960 20415 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20661/statm: 3405885 20415 2199 9 0 3396619 0
[pid=20661/tid=20662] ppid=20659 vsize=13623540 CPUtime=0.28 cores=0,2,4,6
/proc/20661/task/20662/stat : 20662 (java) R 20659 20661 14759 0 -1 4202560 17799 0 1 0 27 1 0 0 25 0 18 0 905324392 13950504960 20415 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 46912505211264 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13623540

[startup+0.700692 s]
/proc/loadavg: 2.22 2.08 2.02 2/501 20661
/proc/meminfo: memFree=24467608/32950928 swapFree=61542356/67111528
[pid=20661] ppid=20659 vsize=13624172 CPUtime=1.11 cores=0,2,4,6
/proc/20661/stat : 20661 (java) S 20659 20661 14759 0 -1 4202496 38094 0 1 0 107 4 0 0 25 0 19 0 905324391 13951152128 37028 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20661/statm: 3406043 37028 2219 9 0 3396777 0
[pid=20661/tid=20662] ppid=20659 vsize=13624172 CPUtime=0.68 cores=0,2,4,6
/proc/20661/task/20662/stat : 20662 (java) R 20659 20661 14759 0 -1 4202560 34375 0 1 0 65 3 0 0 25 0 19 0 905324392 13951152128 37028 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 46912505724768 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 13624172

[startup+1.50162 s]
/proc/loadavg: 2.22 2.08 2.02 4/520 20680
/proc/meminfo: memFree=24325608/32950928 swapFree=61542356/67111528
[pid=20661] ppid=20659 vsize=13627212 CPUtime=2.22 cores=0,2,4,6
/proc/20661/stat : 20661 (java) S 20659 20661 14759 0 -1 4202496 41702 0 1 0 218 4 0 0 25 0 19 0 905324391 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20661/statm: 3406803 38364 2225 9 0 3397537 0
[pid=20661/tid=20662] ppid=20659 vsize=13627212 CPUtime=1.48 cores=0,2,4,6
/proc/20661/task/20662/stat : 20662 (java) R 20659 20661 14759 0 -1 4202560 34483 0 1 0 145 3 0 0 18 0 19 0 905324392 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 46912505700139 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20661/tid=20664] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20664/stat : 20664 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20665] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20665/stat : 20665 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20666] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20666/stat : 20666 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20667] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20667/stat : 20667 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20668] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20668/stat : 20668 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20669] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20669/stat : 20669 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20670] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20670/stat : 20670 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20671] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20671/stat : 20671 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20672] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20672/stat : 20672 (java) S 20659 20661 14759 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 905324395 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 0 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20673] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20673/stat : 20673 (java) S 20659 20661 14759 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905324395 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20674] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20674/stat : 20674 (java) S 20659 20661 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905324395 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20675] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20675/stat : 20675 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324397 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917217713 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20676] ppid=20659 vsize=13627212 CPUtime=0.4 cores=0,2,4,6
/proc/20661/task/20676/stat : 20676 (java) S 20659 20661 14759 0 -1 4202560 3379 0 0 0 40 0 0 0 19 0 19 0 905324397 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20677] ppid=20659 vsize=13627212 CPUtime=0.32 cores=0,2,4,6
/proc/20661/task/20677/stat : 20677 (java) S 20659 20661 14759 0 -1 4202560 2681 0 0 0 32 0 0 0 15 0 19 0 905324397 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
[pid=20661/tid=20678] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20678/stat : 20678 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324397 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20679] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20679/stat : 20679 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905324397 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20680] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20680/stat : 20680 (java) S 20659 20661 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905324450 13954265088 38364 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 13627212

[startup+3.10133 s]
/proc/loadavg: 2.22 2.08 2.02 3/520 20680
/proc/meminfo: memFree=24319656/32950928 swapFree=61542356/67111528
[pid=20661] ppid=20659 vsize=13627212 CPUtime=3.85 cores=0,2,4,6
/proc/20661/stat : 20661 (java) S 20659 20661 14759 0 -1 4202496 41942 0 1 0 381 4 0 0 25 0 19 0 905324391 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20661/statm: 3406803 38603 2225 9 0 3397537 0
[pid=20661/tid=20662] ppid=20659 vsize=13627212 CPUtime=3.08 cores=0,2,4,6
/proc/20661/task/20662/stat : 20662 (java) R 20659 20661 14759 0 -1 4202560 34715 0 1 0 305 3 0 0 21 0 19 0 905324392 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 46912505724759 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20661/tid=20664] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20664/stat : 20664 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20665] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20665/stat : 20665 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20666] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20666/stat : 20666 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20667] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20667/stat : 20667 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20668] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20668/stat : 20668 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20669] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20669/stat : 20669 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20670] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20670/stat : 20670 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20671] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20671/stat : 20671 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20672] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20672/stat : 20672 (java) S 20659 20661 14759 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 905324395 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 0 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20673] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20673/stat : 20673 (java) S 20659 20661 14759 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905324395 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20674] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20674/stat : 20674 (java) S 20659 20661 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905324395 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20675] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20675/stat : 20675 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324397 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917217713 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20676] ppid=20659 vsize=13627212 CPUtime=0.43 cores=0,2,4,6
/proc/20661/task/20676/stat : 20676 (java) S 20659 20661 14759 0 -1 4202560 3387 0 0 0 43 0 0 0 16 0 19 0 905324397 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20677] ppid=20659 vsize=13627212 CPUtime=0.32 cores=0,2,4,6
/proc/20661/task/20677/stat : 20677 (java) S 20659 20661 14759 0 -1 4202560 2681 0 0 0 32 0 0 0 15 0 19 0 905324397 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
[pid=20661/tid=20678] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20678/stat : 20678 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324397 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20679] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20679/stat : 20679 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905324397 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20680] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20680/stat : 20680 (java) S 20659 20661 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905324450 13954265088 38603 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 13627212

[startup+6.30075 s]
/proc/loadavg: 2.21 2.08 2.01 3/520 20680
/proc/meminfo: memFree=24317612/32950928 swapFree=61542356/67111528
[pid=20661] ppid=20659 vsize=13627212 CPUtime=7.05 cores=0,2,4,6
/proc/20661/stat : 20661 (java) S 20659 20661 14759 0 -1 4202496 42292 0 1 0 701 4 0 0 25 0 19 0 905324391 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20661/statm: 3406803 38730 2226 9 0 3397537 0
[pid=20661/tid=20662] ppid=20659 vsize=13627212 CPUtime=6.27 cores=0,2,4,6
/proc/20661/task/20662/stat : 20662 (java) R 20659 20661 14759 0 -1 4202560 35064 0 1 0 624 3 0 0 25 0 19 0 905324392 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 46912505818495 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20661/tid=20664] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20664/stat : 20664 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20665] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20665/stat : 20665 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20666] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20666/stat : 20666 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20667] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20667/stat : 20667 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20668] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20668/stat : 20668 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20669] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20669/stat : 20669 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20670] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20670/stat : 20670 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20671] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20671/stat : 20671 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324394 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20672] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20672/stat : 20672 (java) S 20659 20661 14759 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 905324395 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 0 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20673] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20673/stat : 20673 (java) S 20659 20661 14759 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905324395 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20674] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20674/stat : 20674 (java) S 20659 20661 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905324395 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20675] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20675/stat : 20675 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324397 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917217713 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20676] ppid=20659 vsize=13627212 CPUtime=0.43 cores=0,2,4,6
/proc/20661/task/20676/stat : 20676 (java) S 20659 20661 14759 0 -1 4202560 3387 0 0 0 43 0 0 0 15 0 19 0 905324397 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20677] ppid=20659 vsize=13627212 CPUtime=0.32 cores=0,2,4,6
/proc/20661/task/20677/stat : 20677 (java) S 20659 20661 14759 0 -1 4202560 2681 0 0 0 32 0 0 0 15 0 19 0 905324397 13954265088 38730 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0

################
# More data... #
################

[pid=20661/tid=20669] ppid=20659 vsize=13627212 CPUtime=0.14 cores=0,2,4,6
/proc/20661/task/20669/stat : 20669 (java) S 20659 20661 14759 0 -1 4202560 2002 0 0 0 14 0 0 0 15 0 19 0 905324394 13954265088 66807 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20670] ppid=20659 vsize=13627212 CPUtime=0.18 cores=0,2,4,6
/proc/20661/task/20670/stat : 20670 (java) S 20659 20661 14759 0 -1 4202560 2643 0 0 0 18 0 0 0 15 0 19 0 905324394 13954265088 66807 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20671] ppid=20659 vsize=13627212 CPUtime=0.17 cores=0,2,4,6
/proc/20661/task/20671/stat : 20671 (java) S 20659 20661 14759 0 -1 4202560 2619 0 0 0 17 0 0 0 15 0 19 0 905324394 13954265088 66807 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20672] ppid=20659 vsize=13627212 CPUtime=6.79 cores=0,2,4,6
/proc/20661/task/20672/stat : 20672 (java) S 20659 20661 14759 0 -1 4202560 10673 0 0 0 676 3 0 0 16 0 19 0 905324395 13954265088 66807 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 0 0 16800975 18446604441811304704 0 0 -1 0 0 0 0
[pid=20661/tid=20673] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20673/stat : 20673 (java) S 20659 20661 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905324395 13954265088 66807 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20674] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20674/stat : 20674 (java) S 20659 20661 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905324395 13954265088 66807 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20675] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20675/stat : 20675 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324397 13954265088 66807 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917217713 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20676] ppid=20659 vsize=13627212 CPUtime=0.47 cores=0,2,4,6
/proc/20661/task/20676/stat : 20676 (java) S 20659 20661 14759 0 -1 4202560 3405 0 0 0 47 0 0 0 15 0 19 0 905324397 13954265088 66807 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20677] ppid=20659 vsize=13627212 CPUtime=0.47 cores=0,2,4,6
/proc/20661/task/20677/stat : 20677 (java) S 20659 20661 14759 0 -1 4202560 4032 0 0 0 46 1 0 0 15 0 19 0 905324397 13954265088 66807 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
[pid=20661/tid=20678] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20678/stat : 20678 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324397 13954265088 66807 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20679] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20679/stat : 20679 (java) S 20659 20661 14759 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 905324397 13954265088 66807 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20680] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20680/stat : 20680 (java) S 20659 20661 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905324450 13954265088 66807 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1664.15
Current children cumulated vsize (KiB) 13627212

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/520 20729
/proc/meminfo: memFree=24165436/32950928 swapFree=61542356/67111528
[pid=20661] ppid=20659 vsize=13627212 CPUtime=1724.24 cores=0,2,4,6
/proc/20661/stat : 20661 (java) S 20659 20661 14759 0 -1 4202496 72050 0 1 0 172410 14 0 0 25 0 19 0 905324391 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20661/statm: 3406803 66815 2253 9 0 3397537 0
[pid=20661/tid=20662] ppid=20659 vsize=13627212 CPUtime=1714.42 cores=0,2,4,6
/proc/20661/task/20662/stat : 20662 (java) R 20659 20661 14759 0 -1 4202560 36400 0 1 0 171436 6 0 0 25 0 19 0 905324392 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 46912505840516 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20661/tid=20664] ppid=20659 vsize=13627212 CPUtime=0.17 cores=0,2,4,6
/proc/20661/task/20664/stat : 20664 (java) S 20659 20661 14759 0 -1 4202560 1619 0 0 0 17 0 0 0 15 0 19 0 905324394 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20665] ppid=20659 vsize=13627212 CPUtime=0.2 cores=0,2,4,6
/proc/20661/task/20665/stat : 20665 (java) S 20659 20661 14759 0 -1 4202560 2034 0 0 0 20 0 0 0 15 0 19 0 905324394 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
[pid=20661/tid=20666] ppid=20659 vsize=13627212 CPUtime=0.19 cores=0,2,4,6
/proc/20661/task/20666/stat : 20666 (java) S 20659 20661 14759 0 -1 4202560 2029 0 0 0 19 0 0 0 15 0 19 0 905324394 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20667] ppid=20659 vsize=13627212 CPUtime=0.17 cores=0,2,4,6
/proc/20661/task/20667/stat : 20667 (java) S 20659 20661 14759 0 -1 4202560 1453 0 0 0 17 0 0 0 16 0 19 0 905324394 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20668] ppid=20659 vsize=13627212 CPUtime=0.18 cores=0,2,4,6
/proc/20661/task/20668/stat : 20668 (java) S 20659 20661 14759 0 -1 4202560 1883 0 0 0 18 0 0 0 15 0 19 0 905324394 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20669] ppid=20659 vsize=13627212 CPUtime=0.16 cores=0,2,4,6
/proc/20661/task/20669/stat : 20669 (java) S 20659 20661 14759 0 -1 4202560 2006 0 0 0 16 0 0 0 15 0 19 0 905324394 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20670] ppid=20659 vsize=13627212 CPUtime=0.2 cores=0,2,4,6
/proc/20661/task/20670/stat : 20670 (java) S 20659 20661 14759 0 -1 4202560 2643 0 0 0 20 0 0 0 15 0 19 0 905324394 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20671] ppid=20659 vsize=13627212 CPUtime=0.18 cores=0,2,4,6
/proc/20661/task/20671/stat : 20671 (java) S 20659 20661 14759 0 -1 4202560 2621 0 0 0 18 0 0 0 15 0 19 0 905324394 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
[pid=20661/tid=20672] ppid=20659 vsize=13627212 CPUtime=7.34 cores=0,2,4,6
/proc/20661/task/20672/stat : 20672 (java) S 20659 20661 14759 0 -1 4202560 10677 0 0 0 731 3 0 0 15 0 19 0 905324395 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 0 0 16800975 18446604441811304704 0 0 -1 0 0 0 0
[pid=20661/tid=20673] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20673/stat : 20673 (java) S 20659 20661 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905324395 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20674] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20674/stat : 20674 (java) S 20659 20661 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905324395 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20675] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20675/stat : 20675 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324397 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917217713 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20676] ppid=20659 vsize=13627212 CPUtime=0.47 cores=0,2,4,6
/proc/20661/task/20676/stat : 20676 (java) S 20659 20661 14759 0 -1 4202560 3405 0 0 0 47 0 0 0 15 0 19 0 905324397 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20677] ppid=20659 vsize=13627212 CPUtime=0.47 cores=0,2,4,6
/proc/20661/task/20677/stat : 20677 (java) S 20659 20661 14759 0 -1 4202560 4032 0 0 0 46 1 0 0 15 0 19 0 905324397 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
[pid=20661/tid=20678] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20678/stat : 20678 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324397 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20679] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20679/stat : 20679 (java) S 20659 20661 14759 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 905324397 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20680] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20680/stat : 20680 (java) S 20659 20661 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905324450 13954265088 66815 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1724.24
Current children cumulated vsize (KiB) 13627212

[startup+1782.3 s]
/proc/loadavg: 1.97 2.02 1.99 3/520 20778
/proc/meminfo: memFree=24451784/32950928 swapFree=61542356/67111528
[pid=20661] ppid=20659 vsize=13627212 CPUtime=1784.31 cores=0,2,4,6
/proc/20661/stat : 20661 (java) S 20659 20661 14759 0 -1 4202496 72107 0 1 0 178416 15 0 0 25 0 19 0 905324391 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20661/statm: 3406803 66851 2253 9 0 3397537 0
[pid=20661/tid=20662] ppid=20659 vsize=13627212 CPUtime=1773.84 cores=0,2,4,6
/proc/20661/task/20662/stat : 20662 (java) R 20659 20661 14759 0 -1 4202560 36413 0 1 0 177378 6 0 0 25 0 19 0 905324392 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 46912505857804 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20661/tid=20664] ppid=20659 vsize=13627212 CPUtime=0.18 cores=0,2,4,6
/proc/20661/task/20664/stat : 20664 (java) S 20659 20661 14759 0 -1 4202560 1620 0 0 0 18 0 0 0 15 0 19 0 905324394 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20665] ppid=20659 vsize=13627212 CPUtime=0.21 cores=0,2,4,6
/proc/20661/task/20665/stat : 20665 (java) S 20659 20661 14759 0 -1 4202560 2037 0 0 0 21 0 0 0 15 0 19 0 905324394 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20666] ppid=20659 vsize=13627212 CPUtime=0.2 cores=0,2,4,6
/proc/20661/task/20666/stat : 20666 (java) S 20659 20661 14759 0 -1 4202560 2036 0 0 0 20 0 0 0 16 0 19 0 905324394 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20667] ppid=20659 vsize=13627212 CPUtime=0.19 cores=0,2,4,6
/proc/20661/task/20667/stat : 20667 (java) S 20659 20661 14759 0 -1 4202560 1462 0 0 0 19 0 0 0 15 0 19 0 905324394 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20668] ppid=20659 vsize=13627212 CPUtime=0.19 cores=0,2,4,6
/proc/20661/task/20668/stat : 20668 (java) S 20659 20661 14759 0 -1 4202560 1883 0 0 0 19 0 0 0 15 0 19 0 905324394 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20669] ppid=20659 vsize=13627212 CPUtime=0.17 cores=0,2,4,6
/proc/20661/task/20669/stat : 20669 (java) S 20659 20661 14759 0 -1 4202560 2011 0 0 0 17 0 0 0 15 0 19 0 905324394 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20670] ppid=20659 vsize=13627212 CPUtime=0.21 cores=0,2,4,6
/proc/20661/task/20670/stat : 20670 (java) S 20659 20661 14759 0 -1 4202560 2649 0 0 0 21 0 0 0 15 0 19 0 905324394 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20671] ppid=20659 vsize=13627212 CPUtime=0.2 cores=0,2,4,6
/proc/20661/task/20671/stat : 20671 (java) S 20659 20661 14759 0 -1 4202560 2626 0 0 0 20 0 0 0 16 0 19 0 905324394 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
[pid=20661/tid=20672] ppid=20659 vsize=13627212 CPUtime=7.87 cores=0,2,4,6
/proc/20661/task/20672/stat : 20672 (java) S 20659 20661 14759 0 -1 4202560 10681 0 0 0 784 3 0 0 15 0 19 0 905324395 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 0 0 16800975 18446604441811304704 0 0 -1 0 0 0 0
[pid=20661/tid=20673] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20673/stat : 20673 (java) S 20659 20661 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905324395 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20674] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20674/stat : 20674 (java) S 20659 20661 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905324395 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20675] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20675/stat : 20675 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324397 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917217713 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20676] ppid=20659 vsize=13627212 CPUtime=0.47 cores=0,2,4,6
/proc/20661/task/20676/stat : 20676 (java) S 20659 20661 14759 0 -1 4202560 3405 0 0 0 47 0 0 0 15 0 19 0 905324397 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20677] ppid=20659 vsize=13627212 CPUtime=0.47 cores=0,2,4,6
/proc/20661/task/20677/stat : 20677 (java) S 20659 20661 14759 0 -1 4202560 4032 0 0 0 46 1 0 0 15 0 19 0 905324397 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
[pid=20661/tid=20678] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20678/stat : 20678 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324397 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20679] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20679/stat : 20679 (java) S 20659 20661 14759 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905324397 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20680] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20680/stat : 20680 (java) S 20659 20661 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905324450 13954265088 66851 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1784.31
Current children cumulated vsize (KiB) 13627212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798 s]
/proc/loadavg: 1.97 2.02 1.99 3/520 20779
/proc/meminfo: memFree=24428088/32950928 swapFree=61542356/67111528
[pid=20661] ppid=20659 vsize=13627212 CPUtime=1800.05 cores=0,2,4,6
/proc/20661/stat : 20661 (java) S 20659 20661 14759 0 -1 4202496 72268 0 1 0 179990 15 0 0 25 0 19 0 905324391 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20661/statm: 3406803 67009 2253 9 0 3397537 0
[pid=20661/tid=20662] ppid=20659 vsize=13627212 CPUtime=1789.43 cores=0,2,4,6
/proc/20661/task/20662/stat : 20662 (java) R 20659 20661 14759 0 -1 4202560 36416 0 1 0 178937 6 0 0 25 0 19 0 905324392 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 46912505756544 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20661/tid=20664] ppid=20659 vsize=13627212 CPUtime=0.18 cores=0,2,4,6
/proc/20661/task/20664/stat : 20664 (java) S 20659 20661 14759 0 -1 4202560 1620 0 0 0 18 0 0 0 15 0 19 0 905324394 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20665] ppid=20659 vsize=13627212 CPUtime=0.21 cores=0,2,4,6
/proc/20661/task/20665/stat : 20665 (java) S 20659 20661 14759 0 -1 4202560 2037 0 0 0 21 0 0 0 15 0 19 0 905324394 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20666] ppid=20659 vsize=13627212 CPUtime=0.21 cores=0,2,4,6
/proc/20661/task/20666/stat : 20666 (java) S 20659 20661 14759 0 -1 4202560 2043 0 0 0 21 0 0 0 16 0 19 0 905324394 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
[pid=20661/tid=20667] ppid=20659 vsize=13627212 CPUtime=0.19 cores=0,2,4,6
/proc/20661/task/20667/stat : 20667 (java) S 20659 20661 14759 0 -1 4202560 1462 0 0 0 19 0 0 0 16 0 19 0 905324394 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20668] ppid=20659 vsize=13627212 CPUtime=0.19 cores=0,2,4,6
/proc/20661/task/20668/stat : 20668 (java) S 20659 20661 14759 0 -1 4202560 1883 0 0 0 19 0 0 0 15 0 19 0 905324394 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20669] ppid=20659 vsize=13627212 CPUtime=0.18 cores=0,2,4,6
/proc/20661/task/20669/stat : 20669 (java) S 20659 20661 14759 0 -1 4202560 2011 0 0 0 18 0 0 0 15 0 19 0 905324394 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20670] ppid=20659 vsize=13627212 CPUtime=0.21 cores=0,2,4,6
/proc/20661/task/20670/stat : 20670 (java) S 20659 20661 14759 0 -1 4202560 2649 0 0 0 21 0 0 0 16 0 19 0 905324394 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20671] ppid=20659 vsize=13627212 CPUtime=0.21 cores=0,2,4,6
/proc/20661/task/20671/stat : 20671 (java) S 20659 20661 14759 0 -1 4202560 2626 0 0 0 21 0 0 0 15 0 19 0 905324394 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
[pid=20661/tid=20672] ppid=20659 vsize=13627212 CPUtime=7.99 cores=0,2,4,6
/proc/20661/task/20672/stat : 20672 (java) S 20659 20661 14759 0 -1 4202560 10832 0 0 0 796 3 0 0 15 0 19 0 905324395 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 0 0 16800975 18446604441811304704 0 0 -1 0 0 0 0
[pid=20661/tid=20673] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20673/stat : 20673 (java) S 20659 20661 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905324395 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20674] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20674/stat : 20674 (java) S 20659 20661 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905324395 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20675] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20675/stat : 20675 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324397 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917217713 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20676] ppid=20659 vsize=13627212 CPUtime=0.47 cores=0,2,4,6
/proc/20661/task/20676/stat : 20676 (java) S 20659 20661 14759 0 -1 4202560 3405 0 0 0 47 0 0 0 15 0 19 0 905324397 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20677] ppid=20659 vsize=13627212 CPUtime=0.47 cores=0,2,4,6
/proc/20661/task/20677/stat : 20677 (java) S 20659 20661 14759 0 -1 4202560 4032 0 0 0 46 1 0 0 15 0 19 0 905324397 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
[pid=20661/tid=20678] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20678/stat : 20678 (java) S 20659 20661 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905324397 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210009 0 4 0 16800975 18446604441811304704 0 0 -1 6 0 0 0
[pid=20661/tid=20679] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20679/stat : 20679 (java) S 20659 20661 14759 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905324397 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 4 0 16800975 18446604441811304704 0 0 -1 2 0 0 0
[pid=20661/tid=20680] ppid=20659 vsize=13627212 CPUtime=0 cores=0,2,4,6
/proc/20661/task/20680/stat : 20680 (java) S 20659 20661 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905324450 13954265088 67009 33554432000 1073741824 1073778376 140734178873200 18446744073709551615 260917210624 0 4 0 16800975 18446604441811304704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13627212

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): 1798.05
CPU time (s): 1800.11
CPU user time (s): 1799.94
CPU system time (s): 0.165974
CPU usage (%): 100.115
Max. virtual memory (cumulated for all children) (KiB): 13628244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.165974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72307
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= 42681
involuntary context switches= 10581

runsolver used 9.40057 second user time and 19.55 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-04 03:28:57
IDJOB=3458607
IDBENCH=2412
IDSOLVER=1952
FILE ID=node116/3458607-1307150937
RUNJOBID= node116-1307147279-19678
PBS_JOBID= 13508800
Free space on /tmp= 73832 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd1.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458607-1307150937/watcher-3458607-1307150937 -o /tmp/evaluation-result-3458607-1307150937/solver-3458607-1307150937 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458607-1307150937.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 34085e863ff461099a0ff7d8d6c87d4c
RANDOM SEED=1635160986

node116.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24467896 kB
Buffers:        261788 kB
Cached:         464376 kB
SwapCached:      12580 kB
Active:        7852556 kB
Inactive:       360460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24467896 kB
SwapTotal:    67111528 kB
SwapFree:     61542356 kB
Dirty:            2320 kB
Writeback:           0 kB
AnonPages:     7484784 kB
Mapped:          30860 kB
Slab:           140320 kB
PageTables:      63364 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 153028804 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73836 MiB
End job on node116 at 2011-06-04 03:58:57