Trace number 3458029

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2.3.0? (TO) 1800.17 1797.86

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_2_15.opb
MD5SUM67db265db637e99ec6b595b7ba2cf45e
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.05799
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12440
Sum of products size (including duplicates)24880
Number of different products6220
Sum of products size12440

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.11/0.12	c Pseudo Boolean Optimization
0.11/0.12	c --- Begin Solver configuration ---
0.11/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.11/0.12	c Learn all clauses as in MiniSAT
0.11/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.12	c Expensive reason simplification
0.11/0.12	c Armin Biere (Picosat) restarts strategy
0.11/0.12	c Glucose learned constraints deletion strategy
0.11/0.12	c timeout=2147483s
0.11/0.12	c DB Simplification allowed=false
0.11/0.12	c --- End Solver configuration ---
0.11/0.12	c solving HOME/instance-3458029-1307165041.opb
0.11/0.12	c reading problem ... 
1.05/0.51	c ... done. Wall clock time 0.392s.
1.05/0.51	c #vars     6620
1.05/0.51	c #constraints  13043
1.05/0.51	c constraints type 
1.05/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6220
1.05/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1.05/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.05/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6220
3.50/2.68	c cleaning 2502 clauses out of 5004 with flag 5004/5004
6.85/5.99	c cleaning 4249 clauses out of 8498 with flag 11000/11000
10.77/9.91	c cleaning 5632 clauses out of 11263 with flag 18014/18014
17.20/16.23	c cleaning 6822 clauses out of 13644 with flag 26027/26027
22.51/21.56	c cleaning 7899 clauses out of 15801 with flag 35006/35006
29.51/28.59	c cleaning 8948 clauses out of 17897 with flag 45001/45001
38.63/37.64	c cleaning 9974 clauses out of 19949 with flag 56001/56001
53.42/52.44	c cleaning 10990 clauses out of 21981 with flag 68007/68007
67.73/66.72	c cleaning 11992 clauses out of 23985 with flag 81001/81001
88.15/87.15	c cleaning 12994 clauses out of 25993 with flag 95001/95001
96.46/95.43	c cleaning 13499 clauses out of 27001 with flag 109003/109003
103.07/102.04	c cleaning 13754 clauses out of 27510 with flag 123011/123011
110.00/108.92	c cleaning 13871 clauses out of 27745 with flag 137000/137000
116.50/115.46	c cleaning 13937 clauses out of 27877 with flag 151003/151003
123.81/122.71	c cleaning 13976 clauses out of 27956 with flag 165019/165019
131.72/130.65	c cleaning 13988 clauses out of 27980 with flag 179019/179019
138.34/137.22	c cleaning 13992 clauses out of 27987 with flag 193014/193014
143.44/142.33	c cleaning 13989 clauses out of 27982 with flag 207001/207001
149.26/148.14	c cleaning 13995 clauses out of 27993 with flag 221001/221001
156.86/155.71	c cleaning 14013 clauses out of 28030 with flag 235033/235033
161.78/160.70	c cleaning 13990 clauses out of 27984 with flag 249000/249000
168.17/167.07	c cleaning 14017 clauses out of 28036 with flag 263042/263042
180.50/179.32	c cleaning 14029 clauses out of 28060 with flag 277083/277083
190.51/189.34	c cleaning 13972 clauses out of 27949 with flag 291001/291001
196.71/195.51	c cleaning 13982 clauses out of 27978 with flag 305002/305002
202.63/201.48	c cleaning 14003 clauses out of 28010 with flag 319016/319016
208.52/207.35	c cleaning 13997 clauses out of 27998 with flag 333007/333007
215.85/214.63	c cleaning 13996 clauses out of 27996 with flag 347002/347002
221.74/220.50	c cleaning 14001 clauses out of 28006 with flag 361008/361008
229.34/228.17	c cleaning 13997 clauses out of 27998 with flag 375001/375001
238.75/237.52	c cleaning 14013 clauses out of 28029 with flag 389029/389029
246.35/245.17	c cleaning 13996 clauses out of 27995 with flag 403008/403008
252.96/251.77	c cleaning 13994 clauses out of 27991 with flag 417000/417000
259.67/258.44	c cleaning 14010 clauses out of 28024 with flag 431027/431027
265.47/264.26	c cleaning 13992 clauses out of 27987 with flag 445000/445000
272.88/271.65	c cleaning 14001 clauses out of 28005 with flag 459010/459010
280.38/279.14	c cleaning 14010 clauses out of 28023 with flag 473029/473029
289.38/288.11	c cleaning 13990 clauses out of 27984 with flag 487000/487000
297.89/296.68	c cleaning 14001 clauses out of 28005 with flag 501011/501011
306.69/305.42	c cleaning 14014 clauses out of 28031 with flag 515038/515038
314.69/313.43	c cleaning 13995 clauses out of 27994 with flag 529015/529015
323.39/322.14	c cleaning 13993 clauses out of 27989 with flag 543005/543005
332.20/330.92	c cleaning 14001 clauses out of 28006 with flag 557015/557015
342.31/341.06	c cleaning 13995 clauses out of 27993 with flag 571003/571003
351.02/349.74	c cleaning 14004 clauses out of 28009 with flag 585014/585014
363.92/362.62	c cleaning 14045 clauses out of 28092 with flag 599101/599101
374.94/373.60	c cleaning 13987 clauses out of 27976 with flag 613030/613030
388.57/387.31	c cleaning 13985 clauses out of 27974 with flag 627015/627015
394.57/393.22	c cleaning 13995 clauses out of 27992 with flag 641018/641018
401.27/399.91	c cleaning 13997 clauses out of 27998 with flag 655019/655019
408.50/407.13	c cleaning 13993 clauses out of 27992 with flag 669010/669010
417.89/416.59	c cleaning 13993 clauses out of 27989 with flag 683000/683000
426.02/424.66	c cleaning 13997 clauses out of 27997 with flag 697001/697001
433.72/432.37	c cleaning 14001 clauses out of 28005 with flag 711006/711006
441.61/440.20	c cleaning 14004 clauses out of 28011 with flag 725013/725013
449.32/447.90	c cleaning 13995 clauses out of 27994 with flag 739000/739000
457.93/456.56	c cleaning 14004 clauses out of 28012 with flag 753013/753013
466.02/464.68	c cleaning 14002 clauses out of 28008 with flag 767013/767013
475.92/474.56	c cleaning 14000 clauses out of 28004 with flag 781011/781011
484.34/482.93	c cleaning 13997 clauses out of 27997 with flag 795004/795004
493.33/491.96	c cleaning 14008 clauses out of 28020 with flag 809024/809024
502.34/500.96	c cleaning 13992 clauses out of 27988 with flag 823000/823000
512.04/510.66	c cleaning 13996 clauses out of 27996 with flag 837000/837000
521.94/520.55	c cleaning 14019 clauses out of 28042 with flag 851042/851042
531.95/530.52	c cleaning 13996 clauses out of 27998 with flag 865017/865017
543.15/541.71	c cleaning 13997 clauses out of 27998 with flag 879013/879013
554.16/552.71	c cleaning 14010 clauses out of 28024 with flag 893036/893036
561.86/560.40	c cleaning 13989 clauses out of 27981 with flag 907003/907003
569.79/568.30	c cleaning 13996 clauses out of 27996 with flag 921007/921007
582.49/581.00	c cleaning 14009 clauses out of 28020 with flag 935027/935027
591.81/590.33	c cleaning 13994 clauses out of 27994 with flag 949010/949010
598.72/597.25	c cleaning 13993 clauses out of 27990 with flag 963000/963000
608.74/607.24	c cleaning 14001 clauses out of 28004 with flag 977007/977007
623.05/621.58	c cleaning 14007 clauses out of 28018 with flag 991022/991022
628.75/627.26	c cleaning 13999 clauses out of 28004 with flag 1005015/1005015
636.16/634.60	c cleaning 13997 clauses out of 27998 with flag 1019008/1019008
646.28/644.74	c cleaning 13998 clauses out of 27999 with flag 1033006/1033006
656.47/654.93	c cleaning 14009 clauses out of 28021 with flag 1047026/1047026
668.07/666.51	c cleaning 13997 clauses out of 27997 with flag 1061011/1061011
679.97/678.42	c cleaning 13993 clauses out of 27989 with flag 1075000/1075000
691.67/690.12	c cleaning 14004 clauses out of 28011 with flag 1089015/1089015
702.68/701.15	c cleaning 13996 clauses out of 27996 with flag 1103004/1103004
713.48/711.99	c cleaning 14023 clauses out of 28049 with flag 1117053/1117053
724.79/723.25	c cleaning 13985 clauses out of 27973 with flag 1131000/1131000
736.89/735.30	c cleaning 14000 clauses out of 28003 with flag 1145015/1145015
749.30/747.72	c cleaning 14016 clauses out of 28036 with flag 1159048/1159048
761.00/759.45	c cleaning 13988 clauses out of 27980 with flag 1173008/1173008
774.20/772.67	c cleaning 14004 clauses out of 28011 with flag 1187027/1187027
783.51/781.91	c cleaning 13997 clauses out of 27998 with flag 1201018/1201018
793.51/791.95	c cleaning 14000 clauses out of 28004 with flag 1215021/1215021
803.71/802.13	c cleaning 14002 clauses out of 28007 with flag 1229024/1229024
814.53/812.96	c cleaning 13995 clauses out of 27994 with flag 1243013/1243013
825.22/823.63	c cleaning 13992 clauses out of 27988 with flag 1257002/1257002
835.54/833.95	c cleaning 13995 clauses out of 27994 with flag 1271000/1271000
846.33/844.78	c cleaning 14009 clauses out of 28021 with flag 1285022/1285022
856.83/855.21	c cleaning 14024 clauses out of 28051 with flag 1299061/1299061
867.54/865.92	c cleaning 13981 clauses out of 27966 with flag 1313000/1313000
877.85/876.26	c cleaning 14000 clauses out of 28004 with flag 1327019/1327019
888.27/886.64	c cleaning 13990 clauses out of 27985 with flag 1341000/1341000
900.06/898.48	c cleaning 14001 clauses out of 28006 with flag 1355011/1355011
915.47/913.86	c cleaning 14015 clauses out of 28031 with flag 1369037/1369037
927.18/925.57	c cleaning 14003 clauses out of 28009 with flag 1383030/1383030
933.28/931.65	c cleaning 13990 clauses out of 27983 with flag 1397007/1397007
939.00/937.34	c cleaning 13992 clauses out of 27988 with flag 1411002/1411002
945.50/943.90	c cleaning 14013 clauses out of 28030 with flag 1425036/1425036
951.29/949.66	c cleaning 14000 clauses out of 28004 with flag 1439023/1439023
959.70/958.02	c cleaning 13989 clauses out of 27981 with flag 1453000/1453000
967.10/965.40	c cleaning 13997 clauses out of 27998 with flag 1467006/1467006
973.13/971.48	c cleaning 14004 clauses out of 28012 with flag 1481017/1481017
979.11/977.40	c cleaning 13994 clauses out of 27991 with flag 1495000/1495000
986.02/984.33	c cleaning 14023 clauses out of 28050 with flag 1509053/1509053
993.02/991.39	c cleaning 13995 clauses out of 27994 with flag 1523020/1523020
998.93/997.29	c cleaning 13995 clauses out of 27993 with flag 1537014/1537014
1006.44/1004.73	c cleaning 13996 clauses out of 27996 with flag 1551012/1551012
1013.14/1011.40	c cleaning 14002 clauses out of 28007 with flag 1565019/1565019
1021.25/1019.59	c cleaning 13992 clauses out of 27987 with flag 1579001/1579001
1029.85/1028.14	c cleaning 14000 clauses out of 28003 with flag 1593009/1593009
1038.36/1036.66	c cleaning 13997 clauses out of 27998 with flag 1607004/1607004
1046.36/1044.67	c cleaning 14018 clauses out of 28039 with flag 1621042/1621042
1054.49/1052.72	c cleaning 13988 clauses out of 27979 with flag 1635000/1635000
1061.09/1059.39	c cleaning 14007 clauses out of 28020 with flag 1649029/1649029
1069.18/1067.49	c cleaning 13991 clauses out of 27985 with flag 1663001/1663001
1077.98/1076.21	c cleaning 14017 clauses out of 28038 with flag 1677045/1677045
1085.98/1084.27	c cleaning 14003 clauses out of 28010 with flag 1691034/1691034
1094.79/1093.04	c cleaning 13997 clauses out of 27997 with flag 1705024/1705024
1104.11/1102.33	c cleaning 13988 clauses out of 27982 with flag 1719006/1719006
1114.29/1112.55	c cleaning 13998 clauses out of 28000 with flag 1733012/1733012
1125.51/1123.78	c cleaning 13993 clauses out of 27990 with flag 1747000/1747000
1137.72/1135.90	c cleaning 14004 clauses out of 28012 with flag 1761015/1761015
1148.32/1146.58	c cleaning 14022 clauses out of 28048 with flag 1775055/1775055
1158.04/1156.25	c cleaning 13988 clauses out of 27979 with flag 1789008/1789008
1167.95/1166.16	c cleaning 13996 clauses out of 27996 with flag 1803013/1803013
1178.33/1176.57	c cleaning 14004 clauses out of 28012 with flag 1817025/1817025
1188.14/1186.34	c cleaning 14021 clauses out of 28046 with flag 1831063/1831063
1198.76/1196.93	c cleaning 13980 clauses out of 27964 with flag 1845002/1845002
1208.94/1207.11	c cleaning 14007 clauses out of 28018 with flag 1859036/1859036
1218.95/1217.15	c cleaning 13997 clauses out of 27998 with flag 1873023/1873023
1228.65/1226.81	c cleaning 14002 clauses out of 28007 with flag 1887029/1887029
1241.85/1240.01	c cleaning 13987 clauses out of 27977 with flag 1901001/1901001
1254.26/1252.47	c cleaning 14006 clauses out of 28015 with flag 1915026/1915026
1266.66/1264.86	c cleaning 13990 clauses out of 27983 with flag 1929000/1929000
1279.76/1278.00	c cleaning 13999 clauses out of 28002 with flag 1943009/1943009
1293.67/1291.81	c cleaning 14027 clauses out of 28058 with flag 1957064/1957064
1305.59/1303.76	c cleaning 14024 clauses out of 28052 with flag 1971085/1971085
1318.89/1317.07	c cleaning 13985 clauses out of 27974 with flag 1985031/1985031
1331.29/1329.41	c cleaning 13981 clauses out of 27968 with flag 1999010/1999010
1338.70/1336.87	c cleaning 13981 clauses out of 27982 with flag 2013005/2013005
1348.50/1346.64	c cleaning 14003 clauses out of 28007 with flag 2027011/2027011
1363.41/1361.59	c cleaning 14005 clauses out of 28014 with flag 2041021/2041021
1370.12/1368.22	c cleaning 13992 clauses out of 27988 with flag 2055000/2055000
1377.12/1375.20	c cleaning 13996 clauses out of 27996 with flag 2069000/2069000
1383.82/1381.91	c cleaning 14000 clauses out of 28003 with flag 2083003/2083003
1390.83/1388.90	c cleaning 13998 clauses out of 28000 with flag 2097000/2097000
1399.63/1397.79	c cleaning 14000 clauses out of 28003 with flag 2111001/2111001
1408.74/1406.81	c cleaning 14002 clauses out of 28007 with flag 2125005/2125005
1416.55/1414.67	c cleaning 13999 clauses out of 28004 with flag 2139004/2139004
1426.65/1424.78	c cleaning 14014 clauses out of 28031 with flag 2153030/2153030
1436.95/1435.09	c cleaning 13992 clauses out of 27988 with flag 2167001/2167001
1446.95/1445.00	c cleaning 13996 clauses out of 27995 with flag 2181000/2181000
1458.65/1456.78	c cleaning 14001 clauses out of 28004 with flag 2195005/2195005
1475.97/1474.09	c cleaning 13998 clauses out of 27999 with flag 2209001/2209001
1483.36/1481.48	c cleaning 14013 clauses out of 28030 with flag 2223030/2223030
1490.28/1488.41	c cleaning 13997 clauses out of 27998 with flag 2237011/2237011
1497.08/1495.11	c cleaning 13998 clauses out of 28000 with flag 2251010/2251010
1505.19/1503.22	c cleaning 13994 clauses out of 27992 with flag 2265000/2265000
1514.10/1512.16	c cleaning 14007 clauses out of 28017 with flag 2279019/2279019
1520.50/1518.55	c cleaning 13995 clauses out of 27993 with flag 2293002/2293002
1527.11/1525.16	c cleaning 14006 clauses out of 28015 with flag 2307019/2307019
1534.12/1532.11	c cleaning 14018 clauses out of 28039 with flag 2321049/2321049
1540.53/1538.52	c cleaning 14012 clauses out of 28027 with flag 2335055/2335055
1546.94/1544.94	c cleaning 14003 clauses out of 28009 with flag 2349049/2349049
1553.55/1551.55	c cleaning 13988 clauses out of 27979 with flag 2363022/2363022
1560.35/1558.32	c cleaning 14021 clauses out of 28043 with flag 2377074/2377074
1566.86/1564.89	c cleaning 13975 clauses out of 27953 with flag 2391005/2391005
1573.87/1571.90	c cleaning 14003 clauses out of 28010 with flag 2405037/2405037
1580.87/1578.85	c cleaning 13995 clauses out of 27993 with flag 2419023/2419023
1587.98/1585.91	c cleaning 14006 clauses out of 28015 with flag 2433040/2433040
1594.59/1592.50	c cleaning 14005 clauses out of 28013 with flag 2447044/2447044
1602.72/1600.63	c cleaning 13984 clauses out of 27972 with flag 2461008/2461008
1609.23/1607.16	c cleaning 14000 clauses out of 28003 with flag 2475023/2475023
1616.72/1614.66	c cleaning 14012 clauses out of 28027 with flag 2489047/2489047
1623.93/1621.82	c cleaning 13985 clauses out of 27974 with flag 2503006/2503006
1631.36/1629.26	c cleaning 13996 clauses out of 27996 with flag 2517013/2517013
1639.55/1637.47	c cleaning 13995 clauses out of 27993 with flag 2531006/2531006
1646.96/1644.81	c cleaning 14002 clauses out of 28007 with flag 2545015/2545015
1654.27/1652.18	c cleaning 14006 clauses out of 28016 with flag 2559026/2559026
1662.20/1660.04	c cleaning 13994 clauses out of 27991 with flag 2573007/2573007
1669.91/1667.76	c cleaning 14007 clauses out of 28017 with flag 2587027/2587027
1677.79/1675.64	c cleaning 13998 clauses out of 28000 with flag 2601017/2601017
1685.79/1683.66	c cleaning 13993 clauses out of 27989 with flag 2615004/2615004
1694.02/1691.89	c cleaning 14020 clauses out of 28043 with flag 2629051/2629051
1702.31/1700.10	c cleaning 13988 clauses out of 27980 with flag 2643008/2643008
1710.53/1708.38	c cleaning 14024 clauses out of 28052 with flag 2657068/2657068
1716.82/1714.62	c cleaning 13993 clauses out of 27990 with flag 2671030/2671030
1722.64/1720.42	c cleaning 13985 clauses out of 27974 with flag 2685007/2685007
1728.62/1726.40	c cleaning 14004 clauses out of 28009 with flag 2699027/2699027
1734.54/1732.34	c cleaning 13989 clauses out of 27981 with flag 2713003/2713003
1740.84/1738.61	c cleaning 13998 clauses out of 27999 with flag 2727010/2727010
1747.25/1745.10	c cleaning 14011 clauses out of 28026 with flag 2741035/2741035
1754.25/1752.06	c cleaning 14005 clauses out of 28013 with flag 2755033/2755033
1761.36/1759.12	c cleaning 14001 clauses out of 28006 with flag 2769031/2769031
1768.46/1766.26	c cleaning 13994 clauses out of 27991 with flag 2783017/2783017
1775.96/1773.74	c cleaning 14008 clauses out of 28020 with flag 2797040/2797040
1783.67/1781.43	c cleaning 13990 clauses out of 27983 with flag 2811011/2811011
1792.37/1790.19	c cleaning 13992 clauses out of 27988 with flag 2825006/2825006
1800.09/1797.82	c starts		: 231
1800.09/1797.82	c conflicts		: 2838953
1800.09/1797.82	c decisions		: 12958060
1800.09/1797.82	c propagations		: 92102246
1800.09/1797.82	c inspects		: 5378309669
1800.09/1797.82	c shortcuts		: 0
1800.09/1797.82	c learnt literals	: 0
1800.09/1797.82	c learnt binary clauses	: 0
1800.09/1797.82	c learnt ternary clauses	: 329
1800.09/1797.82	c learnt constraints	: 2838952
1800.09/1797.82	c ignored constraints	: 0
1800.09/1797.82	c root simplifications	: 0
1800.09/1797.82	c removed literals (reason simplification)	: 57925240
1800.09/1797.82	c reason swapping (by a shorter reason)	: 0
1800.09/1797.82	c Calls to reduceDB	: 205
1800.09/1797.82	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.82	c number of learned constraints concerned by reduction	: 0
1800.09/1797.82	c number of learning phase by resolution	: 0
1800.09/1797.82	c number of learning phase by cutting planes	: 0
1800.09/1797.82	c speed (assignments/second)	: 51244.410962364374
1800.09/1797.82	c non guided choices	6381
1800.09/1797.83	c learnt constraints type 
1800.09/1797.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 27948
1800.09/1797.83	c constraints type 
1800.09/1797.83	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6220
1800.09/1797.83	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.09/1797.83	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.09/1797.83	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6220
1800.09/1797.83	s UNKNOWN
1800.09/1797.83	c Total wall clock time (in seconds): 1797.719

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-3458029-1307165041/watcher-3458029-1307165041 -o /tmp/evaluation-result-3458029-1307165041/solver-3458029-1307165041 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458029-1307165041.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: 1.58 1.94 1.98 2/478 13568
/proc/meminfo: memFree=27421012/32950928 swapFree=39617324/67111528
[pid=13568] ppid=13565 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/13568/stat : 13568 (java) S 13565 13568 13533 0 -1 4202496 3206 0 1 0 0 0 0 0 25 0 2 0 828103763 13833195520 2908 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/13568/statm: 3377245 2920 906 9 0 3368401 0
[pid=13568/tid=13571] ppid=13565 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13571/stat : 13571 (java) R 13565 13568 13533 0 -1 4202560 4251 0 1 0 0 0 0 0 25 0 2 0 828103763 13850947584 5066 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.115622 s]
/proc/loadavg: 1.58 1.94 1.98 2/478 13568
/proc/meminfo: memFree=27421012/32950928 swapFree=39617324/67111528
[pid=13568] ppid=13565 vsize=13622152 CPUtime=0.11 cores=0,2,4,6
/proc/13568/stat : 13568 (java) S 13565 13568 13533 0 -1 4202496 15641 0 1 0 9 2 0 0 25 0 18 0 828103763 13949083648 15307 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13568/statm: 3405538 15308 2104 9 0 3396272 0
[pid=13568/tid=13571] ppid=13565 vsize=13622152 CPUtime=0.09 cores=0,2,4,6
/proc/13568/task/13571/stat : 13571 (java) R 13565 13568 13533 0 -1 4202560 13733 0 1 0 8 1 0 0 22 0 18 0 828103763 13949083648 15308 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092059083 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622152

[startup+0.200661 s]
/proc/loadavg: 1.58 1.94 1.98 2/478 13568
/proc/meminfo: memFree=27421012/32950928 swapFree=39617324/67111528
[pid=13568] ppid=13565 vsize=13622556 CPUtime=0.23 cores=0,2,4,6
/proc/13568/stat : 13568 (java) S 13565 13568 13533 0 -1 4202496 16405 0 1 0 21 2 0 0 25 0 18 0 828103763 13949497344 16070 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13568/statm: 3405639 16071 2167 9 0 3396373 0
[pid=13568/tid=13571] ppid=13565 vsize=13622556 CPUtime=0.17 cores=0,2,4,6
/proc/13568/task/13571/stat : 13571 (java) R 13565 13568 13533 0 -1 4202560 14328 0 1 0 16 1 0 0 22 0 18 0 828103763 13949497344 16072 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13622556

[startup+0.300585 s]
/proc/loadavg: 1.58 1.94 1.98 2/478 13568
/proc/meminfo: memFree=27421012/32950928 swapFree=39617324/67111528
[pid=13568] ppid=13565 vsize=13624508 CPUtime=0.46 cores=0,2,4,6
/proc/13568/stat : 13568 (java) S 13565 13568 13533 0 -1 4202496 18699 0 1 0 44 2 0 0 25 0 18 0 828103763 13951496192 18061 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13568/statm: 3406127 18062 2211 9 0 3396861 0
[pid=13568/tid=13571] ppid=13565 vsize=13624508 CPUtime=0.27 cores=0,2,4,6
/proc/13568/task/13571/stat : 13571 (java) R 13565 13568 13533 0 -1 4202560 15310 0 1 0 26 1 0 0 22 0 18 0 828103763 13951496192 18062 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 47755275287379 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13624508

[startup+0.700507 s]
/proc/loadavg: 1.58 1.94 1.98 2/478 13568
/proc/meminfo: memFree=27421012/32950928 swapFree=39617324/67111528
[pid=13568] ppid=13565 vsize=13632060 CPUtime=1.51 cores=0,2,4,6
/proc/13568/stat : 13568 (java) S 13565 13568 13533 0 -1 4202496 31874 0 1 0 147 4 0 0 25 0 19 0 828103763 13959229440 29579 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13568/statm: 3408015 29579 2238 9 0 3398749 0
[pid=13568/tid=13571] ppid=13565 vsize=13632060 CPUtime=0.67 cores=0,2,4,6
/proc/13568/task/13571/stat : 13571 (java) R 13565 13568 13533 0 -1 4202560 23095 0 1 0 64 3 0 0 24 0 19 0 828103763 13959229440 29580 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 46912505584170 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 13632060

[startup+1.50142 s]
/proc/loadavg: 1.58 1.94 1.98 4/518 13608
/proc/meminfo: memFree=27212884/32950928 swapFree=39617324/67111528
[pid=13568] ppid=13565 vsize=13632060 CPUtime=2.39 cores=0,2,4,6
/proc/13568/stat : 13568 (java) S 13565 13568 13533 0 -1 4202496 33129 0 1 0 234 5 0 0 25 0 19 0 828103763 13959229440 30833 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13568/statm: 3408015 30833 2242 9 0 3398749 0
[pid=13568/tid=13571] ppid=13565 vsize=13632060 CPUtime=1.48 cores=0,2,4,6
/proc/13568/task/13571/stat : 13571 (java) R 13565 13568 13533 0 -1 4202560 24219 0 1 0 144 4 0 0 25 0 19 0 828103763 13959229440 30833 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 46912505809804 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13568/tid=13575] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13575/stat : 13575 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828103766 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13577] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13577/stat : 13577 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828103766 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13578] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13578/stat : 13578 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828103766 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13580] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13580/stat : 13580 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828103766 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13582] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13582/stat : 13582 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828103766 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13584] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13584/stat : 13584 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828103766 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13586] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13586/stat : 13586 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828103766 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13588] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13588/stat : 13588 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828103766 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13592] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13592/stat : 13592 (java) S 13565 13568 13533 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828103767 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 0 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13594] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13594/stat : 13594 (java) S 13565 13568 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828103767 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13596] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13596/stat : 13596 (java) S 13565 13568 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828103767 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13599] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13599/stat : 13599 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828103769 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092055985 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13600] ppid=13565 vsize=13632060 CPUtime=0.43 cores=0,2,4,6
/proc/13568/task/13600/stat : 13600 (java) S 13565 13568 13533 0 -1 4202560 4407 0 0 0 43 0 0 0 16 0 19 0 828103769 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13603] ppid=13565 vsize=13632060 CPUtime=0.46 cores=0,2,4,6
/proc/13568/task/13603/stat : 13603 (java) S 13565 13568 13533 0 -1 4202560 3343 0 0 0 46 0 0 0 16 0 19 0 828103769 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13604] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13604/stat : 13604 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828103769 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13606] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13606/stat : 13606 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828103769 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13608] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13608/stat : 13608 (java) S 13565 13568 13533 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 828103815 13959229440 30834 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 13632060

[startup+3.10116 s]
/proc/loadavg: 1.58 1.94 1.98 4/518 13608
/proc/meminfo: memFree=27194036/32950928 swapFree=39617324/67111528
[pid=13568] ppid=13565 vsize=13632060 CPUtime=4.03 cores=0,2,4,6
/proc/13568/stat : 13568 (java) S 13565 13568 13533 0 -1 4202496 39551 0 1 0 398 5 0 0 25 0 19 0 828103763 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13568/statm: 3408015 37245 2268 9 0 3398749 0
[pid=13568/tid=13571] ppid=13565 vsize=13632060 CPUtime=3.03 cores=0,2,4,6
/proc/13568/task/13571/stat : 13571 (java) R 13565 13568 13533 0 -1 4202560 25477 0 1 0 299 4 0 0 18 0 19 0 828103763 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 46912505809840 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13568/tid=13575] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13575/stat : 13575 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828103766 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13577] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13577/stat : 13577 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828103766 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13578] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13578/stat : 13578 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828103766 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13580] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13580/stat : 13580 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828103766 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13582] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13582/stat : 13582 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828103766 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13584] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13584/stat : 13584 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828103766 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13586] ppid=13565 vsize=13632060 CPUtime=0.01 cores=0,2,4,6
/proc/13568/task/13586/stat : 13586 (java) S 13565 13568 13533 0 -1 4202560 1386 0 0 0 1 0 0 0 18 0 19 0 828103766 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13588] ppid=13565 vsize=13632060 CPUtime=0.01 cores=0,2,4,6
/proc/13568/task/13588/stat : 13588 (java) S 13565 13568 13533 0 -1 4202560 1213 0 0 0 1 0 0 0 18 0 19 0 828103766 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13592] ppid=13565 vsize=13632060 CPUtime=0.03 cores=0,2,4,6
/proc/13568/task/13592/stat : 13592 (java) S 13565 13568 13533 0 -1 4202560 2559 0 0 0 3 0 0 0 15 0 19 0 828103767 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 0 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13594] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13594/stat : 13594 (java) S 13565 13568 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828103767 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13596] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13596/stat : 13596 (java) S 13565 13568 13533 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828103767 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13599] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13599/stat : 13599 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828103769 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092055985 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13600] ppid=13565 vsize=13632060 CPUtime=0.45 cores=0,2,4,6
/proc/13568/task/13600/stat : 13600 (java) S 13565 13568 13533 0 -1 4202560 4415 0 0 0 45 0 0 0 16 0 19 0 828103769 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13603] ppid=13565 vsize=13632060 CPUtime=0.46 cores=0,2,4,6
/proc/13568/task/13603/stat : 13603 (java) S 13565 13568 13533 0 -1 4202560 3345 0 0 0 46 0 0 0 16 0 19 0 828103769 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13604] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13604/stat : 13604 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828103769 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13606] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13606/stat : 13606 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828103769 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13608] ppid=13565 vsize=13632060 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13608/stat : 13608 (java) S 13565 13568 13533 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 828103815 13959229440 37245 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 13632060

[startup+6.30144 s]
/proc/loadavg: 1.61 1.94 1.98 4/518 13609
/proc/meminfo: memFree=27162784/32950928 swapFree=39617324/67111528
[pid=13568] ppid=13565 vsize=13630500 CPUtime=7.26 cores=0,2,4,6
/proc/13568/stat : 13568 (java) S 13565 13568 13533 0 -1 4202496 43214 0 1 0 720 6 0 0 25 0 19 0 828103763 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13568/statm: 3407625 40554 2268 9 0 3398359 0
[pid=13568/tid=13571] ppid=13565 vsize=13630500 CPUtime=6.19 cores=0,2,4,6
/proc/13568/task/13571/stat : 13571 (java) R 13565 13568 13533 0 -1 4202560 25482 0 1 0 615 4 0 0 18 0 19 0 828103763 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 46912505836886 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13568/tid=13575] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13575/stat : 13575 (java) S 13565 13568 13533 0 -1 4202560 1063 0 0 0 0 0 0 0 16 0 19 0 828103766 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13577] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13577/stat : 13577 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828103766 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13578] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13578/stat : 13578 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828103766 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13580] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13580/stat : 13580 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828103766 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13582] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13582/stat : 13582 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828103766 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13584] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13584/stat : 13584 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828103766 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13586] ppid=13565 vsize=13630500 CPUtime=0.01 cores=0,2,4,6
/proc/13568/task/13586/stat : 13586 (java) S 13565 13568 13533 0 -1 4202560 2471 0 0 0 1 0 0 0 18 0 19 0 828103766 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13588] ppid=13565 vsize=13630500 CPUtime=0.01 cores=0,2,4,6
/proc/13568/task/13588/stat : 13588 (java) S 13565 13568 13533 0 -1 4202560 1213 0 0 0 1 0 0 0 18 0 19 0 828103766 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13592] ppid=13565 vsize=13630500 CPUtime=0.06 cores=0,2,4,6
/proc/13568/task/13592/stat : 13592 (java) S 13565 13568 13533 0 -1 4202560 4065 0 0 0 6 0 0 0 15 0 19 0 828103767 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 0 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13594] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13594/stat : 13594 (java) S 13565 13568 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828103767 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13596] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13596/stat : 13596 (java) S 13565 13568 13533 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828103767 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13599] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13599/stat : 13599 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828103769 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092055985 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13600] ppid=13565 vsize=13630500 CPUtime=0.47 cores=0,2,4,6
/proc/13568/task/13600/stat : 13600 (java) S 13565 13568 13533 0 -1 4202560 4418 0 0 0 47 0 0 0 15 0 19 0 828103769 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13603] ppid=13565 vsize=13630500 CPUtime=0.47 cores=0,2,4,6
/proc/13568/task/13603/stat : 13603 (java) S 13565 13568 13533 0 -1 4202560 3347 0 0 0 47 0 0 0 16 0 19 0 828103769 13957632000 40554 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0

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

[pid=13568/tid=13584] ppid=13565 vsize=13630500 CPUtime=0.25 cores=0,2,4,6
/proc/13568/task/13584/stat : 13584 (java) S 13565 13568 13533 0 -1 4202560 1652 0 0 0 25 0 0 0 16 0 19 0 828103766 13957632000 52855 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13586] ppid=13565 vsize=13630500 CPUtime=0.26 cores=0,2,4,6
/proc/13568/task/13586/stat : 13586 (java) S 13565 13568 13533 0 -1 4202560 3272 0 0 0 25 1 0 0 15 0 19 0 828103766 13957632000 52855 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13588] ppid=13565 vsize=13630500 CPUtime=0.23 cores=0,2,4,6
/proc/13568/task/13588/stat : 13588 (java) S 13565 13568 13533 0 -1 4202560 2044 0 0 0 23 0 0 0 15 0 19 0 828103766 13957632000 52855 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13592] ppid=13565 vsize=13630500 CPUtime=7.82 cores=0,2,4,6
/proc/13568/task/13592/stat : 13592 (java) S 13565 13568 13533 0 -1 4202560 9649 0 0 0 779 3 0 0 15 0 19 0 828103767 13957632000 52855 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 0 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13594] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13594/stat : 13594 (java) S 13565 13568 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828103767 13957632000 52855 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13596] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13596/stat : 13596 (java) S 13565 13568 13533 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828103767 13957632000 52855 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13599] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13599/stat : 13599 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828103769 13957632000 52855 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092055985 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13600] ppid=13565 vsize=13630500 CPUtime=0.57 cores=0,2,4,6
/proc/13568/task/13600/stat : 13600 (java) S 13565 13568 13533 0 -1 4202560 4465 0 0 0 57 0 0 0 15 0 19 0 828103769 13957632000 52855 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13603] ppid=13565 vsize=13630500 CPUtime=0.48 cores=0,2,4,6
/proc/13568/task/13603/stat : 13603 (java) S 13565 13568 13533 0 -1 4202560 3347 0 0 0 48 0 0 0 15 0 19 0 828103769 13957632000 52855 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13604] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13604/stat : 13604 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828103769 13957632000 52855 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13606] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13606/stat : 13606 (java) S 13565 13568 13533 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 828103769 13957632000 52855 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13608] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13608/stat : 13608 (java) S 13565 13568 13533 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 828103815 13957632000 52855 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.52
Current children cumulated vsize (KiB) 13630500

[startup+1782.3 s]
/proc/loadavg: 2.13 2.07 2.02 4/518 13656
/proc/meminfo: memFree=27092132/32950928 swapFree=39617324/67111528
[pid=13568] ppid=13565 vsize=13630500 CPUtime=1784.57 cores=0,2,4,6
/proc/13568/stat : 13568 (java) S 13565 13568 13533 0 -1 4202496 55948 0 1 0 178443 14 0 0 25 0 19 0 828103763 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13568/statm: 3407625 52873 2269 9 0 3398359 0
[pid=13568/tid=13571] ppid=13565 vsize=13630500 CPUtime=1773.31 cores=0,2,4,6
/proc/13568/task/13571/stat : 13571 (java) R 13565 13568 13533 0 -1 4202560 25682 0 1 0 177324 7 0 0 25 0 19 0 828103763 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 46912505883327 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13568/tid=13575] ppid=13565 vsize=13630500 CPUtime=0.27 cores=0,2,4,6
/proc/13568/task/13575/stat : 13575 (java) S 13565 13568 13533 0 -1 4202560 2678 0 0 0 27 0 0 0 16 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13577] ppid=13565 vsize=13630500 CPUtime=0.22 cores=0,2,4,6
/proc/13568/task/13577/stat : 13577 (java) S 13565 13568 13533 0 -1 4202560 602 0 0 0 22 0 0 0 15 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13578] ppid=13565 vsize=13630500 CPUtime=0.23 cores=0,2,4,6
/proc/13568/task/13578/stat : 13578 (java) S 13565 13568 13533 0 -1 4202560 314 0 0 0 23 0 0 0 15 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13580] ppid=13565 vsize=13630500 CPUtime=0.2 cores=0,2,4,6
/proc/13568/task/13580/stat : 13580 (java) S 13565 13568 13533 0 -1 4202560 354 0 0 0 20 0 0 0 15 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13582] ppid=13565 vsize=13630500 CPUtime=0.23 cores=0,2,4,6
/proc/13568/task/13582/stat : 13582 (java) S 13565 13568 13533 0 -1 4202560 634 0 0 0 23 0 0 0 15 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13584] ppid=13565 vsize=13630500 CPUtime=0.26 cores=0,2,4,6
/proc/13568/task/13584/stat : 13584 (java) S 13565 13568 13533 0 -1 4202560 1654 0 0 0 26 0 0 0 15 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13586] ppid=13565 vsize=13630500 CPUtime=0.27 cores=0,2,4,6
/proc/13568/task/13586/stat : 13586 (java) S 13565 13568 13533 0 -1 4202560 3272 0 0 0 26 1 0 0 16 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13588] ppid=13565 vsize=13630500 CPUtime=0.24 cores=0,2,4,6
/proc/13568/task/13588/stat : 13588 (java) S 13565 13568 13533 0 -1 4202560 2044 0 0 0 24 0 0 0 15 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13592] ppid=13565 vsize=13630500 CPUtime=8.19 cores=0,2,4,6
/proc/13568/task/13592/stat : 13592 (java) S 13565 13568 13533 0 -1 4202560 9651 0 0 0 816 3 0 0 15 0 19 0 828103767 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 0 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13594] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13594/stat : 13594 (java) S 13565 13568 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828103767 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13596] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13596/stat : 13596 (java) S 13565 13568 13533 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828103767 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13599] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13599/stat : 13599 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092055985 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13600] ppid=13565 vsize=13630500 CPUtime=0.57 cores=0,2,4,6
/proc/13568/task/13600/stat : 13600 (java) S 13565 13568 13533 0 -1 4202560 4465 0 0 0 57 0 0 0 15 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13603] ppid=13565 vsize=13630500 CPUtime=0.48 cores=0,2,4,6
/proc/13568/task/13603/stat : 13603 (java) S 13565 13568 13533 0 -1 4202560 3347 0 0 0 48 0 0 0 15 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13604] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13604/stat : 13604 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13606] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13606/stat : 13606 (java) S 13565 13568 13533 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13608] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13608/stat : 13608 (java) S 13565 13568 13533 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 828103815 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.57
Current children cumulated vsize (KiB) 13630500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.8 s]
/proc/loadavg: 2.02 2.05 2.02 2/498 13659
/proc/meminfo: memFree=27209712/32950928 swapFree=39617324/67111528
[pid=13568] ppid=13565 vsize=13630500 CPUtime=1800.09 cores=0,2,4,6
/proc/13568/stat : 13568 (java) S 13565 13568 13533 0 -1 4202496 55953 0 1 0 179995 14 0 0 25 0 19 0 828103763 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13568/statm: 3407625 52873 2269 9 0 3398359 0
[pid=13568/tid=13571] ppid=13565 vsize=13630500 CPUtime=1788.78 cores=0,2,4,6
/proc/13568/task/13571/stat : 13571 (java) R 13565 13568 13533 0 -1 4202560 25683 0 1 0 178871 7 0 0 25 0 19 0 828103763 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 46912505883345 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13568/tid=13575] ppid=13565 vsize=13630500 CPUtime=0.27 cores=0,2,4,6
/proc/13568/task/13575/stat : 13575 (java) S 13565 13568 13533 0 -1 4202560 2678 0 0 0 27 0 0 0 15 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13577] ppid=13565 vsize=13630500 CPUtime=0.22 cores=0,2,4,6
/proc/13568/task/13577/stat : 13577 (java) S 13565 13568 13533 0 -1 4202560 602 0 0 0 22 0 0 0 16 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13578] ppid=13565 vsize=13630500 CPUtime=0.23 cores=0,2,4,6
/proc/13568/task/13578/stat : 13578 (java) S 13565 13568 13533 0 -1 4202560 314 0 0 0 23 0 0 0 16 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13580] ppid=13565 vsize=13630500 CPUtime=0.2 cores=0,2,4,6
/proc/13568/task/13580/stat : 13580 (java) S 13565 13568 13533 0 -1 4202560 354 0 0 0 20 0 0 0 15 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13582] ppid=13565 vsize=13630500 CPUtime=0.23 cores=0,2,4,6
/proc/13568/task/13582/stat : 13582 (java) S 13565 13568 13533 0 -1 4202560 634 0 0 0 23 0 0 0 16 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13584] ppid=13565 vsize=13630500 CPUtime=0.26 cores=0,2,4,6
/proc/13568/task/13584/stat : 13584 (java) S 13565 13568 13533 0 -1 4202560 1654 0 0 0 26 0 0 0 15 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13586] ppid=13565 vsize=13630500 CPUtime=0.28 cores=0,2,4,6
/proc/13568/task/13586/stat : 13586 (java) S 13565 13568 13533 0 -1 4202560 3272 0 0 0 27 1 0 0 16 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13588] ppid=13565 vsize=13630500 CPUtime=0.24 cores=0,2,4,6
/proc/13568/task/13588/stat : 13588 (java) S 13565 13568 13533 0 -1 4202560 2044 0 0 0 24 0 0 0 15 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13592] ppid=13565 vsize=13630500 CPUtime=8.23 cores=0,2,4,6
/proc/13568/task/13592/stat : 13592 (java) S 13565 13568 13533 0 -1 4202560 9653 0 0 0 820 3 0 0 15 0 19 0 828103767 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 0 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13594] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13594/stat : 13594 (java) S 13565 13568 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828103767 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13596] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13596/stat : 13596 (java) S 13565 13568 13533 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828103767 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13599] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13599/stat : 13599 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092055985 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13600] ppid=13565 vsize=13630500 CPUtime=0.57 cores=0,2,4,6
/proc/13568/task/13600/stat : 13600 (java) S 13565 13568 13533 0 -1 4202560 4465 0 0 0 57 0 0 0 15 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13603] ppid=13565 vsize=13630500 CPUtime=0.48 cores=0,2,4,6
/proc/13568/task/13603/stat : 13603 (java) S 13565 13568 13533 0 -1 4202560 3347 0 0 0 48 0 0 0 15 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13604] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13604/stat : 13604 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13606] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13606/stat : 13606 (java) S 13565 13568 13533 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13608] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13608/stat : 13608 (java) S 13565 13568 13533 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 828103815 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13630500

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1797.8 s]
/proc/loadavg: 2.02 2.05 2.02 2/498 13659
/proc/meminfo: memFree=27209712/32950928 swapFree=39617324/67111528
[pid=13568] ppid=13565 vsize=13630500 CPUtime=1800.09 cores=0,2,4,6
/proc/13568/stat : 13568 (java) S 13565 13568 13533 0 -1 4202496 55953 0 1 0 179995 14 0 0 25 0 19 0 828103763 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13568/statm: 3407625 52873 2269 9 0 3398359 0
[pid=13568/tid=13571] ppid=13565 vsize=13630500 CPUtime=1788.78 cores=0,2,4,6
/proc/13568/task/13571/stat : 13571 (java) R 13565 13568 13533 0 -1 4202560 25683 0 1 0 178871 7 0 0 25 0 19 0 828103763 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 46912505883345 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13568/tid=13575] ppid=13565 vsize=13630500 CPUtime=0.27 cores=0,2,4,6
/proc/13568/task/13575/stat : 13575 (java) S 13565 13568 13533 0 -1 4202560 2678 0 0 0 27 0 0 0 15 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13577] ppid=13565 vsize=13630500 CPUtime=0.22 cores=0,2,4,6
/proc/13568/task/13577/stat : 13577 (java) S 13565 13568 13533 0 -1 4202560 602 0 0 0 22 0 0 0 16 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13578] ppid=13565 vsize=13630500 CPUtime=0.23 cores=0,2,4,6
/proc/13568/task/13578/stat : 13578 (java) S 13565 13568 13533 0 -1 4202560 314 0 0 0 23 0 0 0 16 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13580] ppid=13565 vsize=13630500 CPUtime=0.2 cores=0,2,4,6
/proc/13568/task/13580/stat : 13580 (java) S 13565 13568 13533 0 -1 4202560 354 0 0 0 20 0 0 0 15 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13582] ppid=13565 vsize=13630500 CPUtime=0.23 cores=0,2,4,6
/proc/13568/task/13582/stat : 13582 (java) S 13565 13568 13533 0 -1 4202560 634 0 0 0 23 0 0 0 16 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13584] ppid=13565 vsize=13630500 CPUtime=0.26 cores=0,2,4,6
/proc/13568/task/13584/stat : 13584 (java) S 13565 13568 13533 0 -1 4202560 1654 0 0 0 26 0 0 0 15 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13586] ppid=13565 vsize=13630500 CPUtime=0.28 cores=0,2,4,6
/proc/13568/task/13586/stat : 13586 (java) S 13565 13568 13533 0 -1 4202560 3272 0 0 0 27 1 0 0 16 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 2 0 0 0
[pid=13568/tid=13588] ppid=13565 vsize=13630500 CPUtime=0.24 cores=0,2,4,6
/proc/13568/task/13588/stat : 13588 (java) S 13565 13568 13533 0 -1 4202560 2044 0 0 0 24 0 0 0 15 0 19 0 828103766 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
[pid=13568/tid=13592] ppid=13565 vsize=13630500 CPUtime=8.23 cores=0,2,4,6
/proc/13568/task/13592/stat : 13592 (java) S 13565 13568 13533 0 -1 4202560 9653 0 0 0 820 3 0 0 15 0 19 0 828103767 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 0 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13594] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13594/stat : 13594 (java) S 13565 13568 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828103767 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13596] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13596/stat : 13596 (java) S 13565 13568 13533 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828103767 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13599] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13599/stat : 13599 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092055985 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13600] ppid=13565 vsize=13630500 CPUtime=0.57 cores=0,2,4,6
/proc/13568/task/13600/stat : 13600 (java) S 13565 13568 13533 0 -1 4202560 4465 0 0 0 57 0 0 0 15 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13603] ppid=13565 vsize=13630500 CPUtime=0.48 cores=0,2,4,6
/proc/13568/task/13603/stat : 13603 (java) S 13565 13568 13533 0 -1 4202560 3347 0 0 0 48 0 0 0 15 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13604] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13604/stat : 13604 (java) S 13565 13568 13533 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048281 0 4 0 16800975 18446604442181915712 0 0 -1 4 0 0 0
[pid=13568/tid=13606] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13606/stat : 13606 (java) S 13565 13568 13533 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 828103769 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 4 0 16800975 18446604442181915712 0 0 -1 0 0 0 0
[pid=13568/tid=13608] ppid=13565 vsize=13630500 CPUtime=0 cores=0,2,4,6
/proc/13568/task/13608/stat : 13608 (java) S 13565 13568 13533 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 828103815 13957632000 52873 33554432000 1073741824 1073778376 140733813313712 18446744073709551615 208092048896 0 4 0 16800975 18446604442181915712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13630500

Child status: 143
Real time (s): 1797.86
CPU time (s): 1800.17
CPU user time (s): 1800.01
CPU system time (s): 0.157975
CPU usage (%): 100.128
Max. virtual memory (cumulated for all children) (KiB): 13632060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.157975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55991
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= 42937
involuntary context switches= 15817

runsolver used 9.24559 second user time and 21.1158 second system time

The end

Launcher Data 

Begin job on node127 at 2011-06-04 07:24:01
IDJOB=3458029
IDBENCH=48354
IDSOLVER=1952
FILE ID=node127/3458029-1307165041
RUNJOBID= node127-1307165041-13551
PBS_JOBID= 13508856
Free space on /tmp= 73948 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_2_15.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458029-1307165041/watcher-3458029-1307165041 -o /tmp/evaluation-result-3458029-1307165041/solver-3458029-1307165041 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458029-1307165041.opb

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

MD5SUM BENCH= 67db265db637e99ec6b595b7ba2cf45e
RANDOM SEED=1793050907

node127.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.823
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.64
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.823
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	: 5332.83
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.823
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.74
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.823
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.86
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.823
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.75
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.823
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.823
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.60
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.823
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27421556 kB
Buffers:        326140 kB
Cached:         905952 kB
SwapCached:      59160 kB
Active:        3250188 kB
Inactive:      1988832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27421556 kB
SwapTotal:    67111528 kB
SwapFree:     39617324 kB
Dirty:             792 kB
Writeback:           0 kB
AnonPages:     3954648 kB
Mapped:          21068 kB
Slab:           123436 kB
PageTables:      95096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 119723244 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= 73948 MiB
End job on node127 at 2011-06-04 07:54:01