Trace number 3458012

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.12 1797.84

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_1_40.opb
MD5SUM6f80de356bf70dde8dfbe2efc2cb9dee
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12408
Sum of products size (including duplicates)24816
Number of different products6204
Sum of products size12408

Solver Data 

0.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		12995394264
0.06/0.09	c Max memory 		13063553024
0.06/0.09	c Total memory 		13063553024
0.06/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-3458012-1307164740.opb
0.10/0.11	c reading problem ... 
1.06/0.51	c ... done. Wall clock time 0.395s.
1.06/0.51	c #vars     6604
1.06/0.51	c #constraints  13011
1.06/0.51	c constraints type 
1.06/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6204
1.06/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1.06/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.06/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
3.63/2.76	c cleaning 2509 clauses out of 5018 with flag 5018/5018
6.68/5.71	c cleaning 4246 clauses out of 8492 with flag 11001/11001
11.00/10.03	c cleaning 5631 clauses out of 11261 with flag 18016/18016
15.11/14.16	c cleaning 6806 clauses out of 13616 with flag 26002/26002
23.85/22.86	c cleaning 7908 clauses out of 15818 with flag 35010/35010
30.46/29.48	c cleaning 8970 clauses out of 17939 with flag 45039/45039
38.87/37.88	c cleaning 9965 clauses out of 19930 with flag 56000/56000
49.39/48.40	c cleaning 11015 clauses out of 22031 with flag 68066/68066
58.49/57.48	c cleaning 11975 clauses out of 23953 with flag 81003/81003
65.30/64.27	c cleaning 12989 clauses out of 25981 with flag 95006/95006
77.21/76.13	c cleaning 13535 clauses out of 27069 with flag 109083/109083
89.82/88.72	c cleaning 13726 clauses out of 27455 with flag 123004/123004
102.25/101.15	c cleaning 13865 clauses out of 27733 with flag 137008/137008
108.86/107.72	c cleaning 13930 clauses out of 27864 with flag 151004/151004
115.85/114.77	c cleaning 13982 clauses out of 27964 with flag 165034/165034
122.66/121.53	c cleaning 13973 clauses out of 27953 with flag 179005/179005
128.27/127.19	c cleaning 13987 clauses out of 27978 with flag 193003/193003
135.08/133.95	c cleaning 13999 clauses out of 28000 with flag 207012/207012
142.78/141.63	c cleaning 14006 clauses out of 28013 with flag 221024/221024
150.89/149.70	c cleaning 13991 clauses out of 27985 with flag 235002/235002
157.60/156.47	c cleaning 14011 clauses out of 28022 with flag 249030/249030
165.31/164.18	c cleaning 13994 clauses out of 27992 with flag 263011/263011
172.32/171.14	c cleaning 14000 clauses out of 28003 with flag 277016/277016
179.45/178.28	c cleaning 14010 clauses out of 28023 with flag 291036/291036
186.25/185.07	c cleaning 13992 clauses out of 27987 with flag 305010/305010
193.35/192.18	c cleaning 13999 clauses out of 28002 with flag 319017/319017
200.56/199.30	c cleaning 14012 clauses out of 28027 with flag 333041/333041
208.17/206.92	c cleaning 13995 clauses out of 27991 with flag 347017/347017
214.47/213.28	c cleaning 13989 clauses out of 27981 with flag 361002/361002
221.88/220.69	c cleaning 13994 clauses out of 27990 with flag 375000/375000
230.11/228.85	c cleaning 14018 clauses out of 28035 with flag 389039/389039
238.00/236.75	c cleaning 13994 clauses out of 27992 with flag 403014/403014
245.21/243.97	c cleaning 13998 clauses out of 28000 with flag 417016/417016
252.51/251.20	c cleaning 14001 clauses out of 28006 with flag 431020/431020
259.62/258.35	c cleaning 13994 clauses out of 27992 with flag 445007/445007
267.03/265.79	c cleaning 13995 clauses out of 27993 with flag 459002/459002
274.64/273.38	c cleaning 14010 clauses out of 28021 with flag 473025/473025
282.45/281.11	c cleaning 13992 clauses out of 27988 with flag 487002/487002
290.25/288.93	c cleaning 14008 clauses out of 28018 with flag 501024/501024
298.46/297.13	c cleaning 14002 clauses out of 28006 with flag 515020/515020
306.27/304.99	c cleaning 14013 clauses out of 28030 with flag 529046/529046
314.28/312.94	c cleaning 13993 clauses out of 27990 with flag 543019/543019
322.19/320.83	c cleaning 13990 clauses out of 27984 with flag 557006/557006
330.40/329.08	c cleaning 14010 clauses out of 28021 with flag 571033/571033
339.20/337.85	c cleaning 14017 clauses out of 28034 with flag 585056/585056
347.01/345.67	c cleaning 13979 clauses out of 27961 with flag 599000/599000
353.92/352.56	c cleaning 13997 clauses out of 27997 with flag 613015/613015
362.43/361.00	c cleaning 13994 clauses out of 27992 with flag 627007/627007
370.04/368.62	c cleaning 14002 clauses out of 28005 with flag 641014/641014
377.35/375.92	c cleaning 13999 clauses out of 28001 with flag 655012/655012
385.85/384.41	c cleaning 14019 clauses out of 28041 with flag 669051/669051
393.96/392.50	c cleaning 13988 clauses out of 27979 with flag 683008/683008
401.97/400.53	c cleaning 13996 clauses out of 27994 with flag 697011/697011
410.07/408.61	c cleaning 14000 clauses out of 28000 with flag 711013/711013
418.68/417.22	c cleaning 14003 clauses out of 28007 with flag 725020/725020
426.59/425.14	c cleaning 13991 clauses out of 27986 with flag 739002/739002
434.70/433.22	c cleaning 14013 clauses out of 28027 with flag 753034/753034
443.50/442.04	c cleaning 13995 clauses out of 27991 with flag 767011/767011
452.41/450.93	c cleaning 14019 clauses out of 28039 with flag 781054/781054
460.81/459.35	c cleaning 13982 clauses out of 27968 with flag 795002/795002
469.05/467.52	c cleaning 13997 clauses out of 27995 with flag 809011/809011
478.65/477.18	c cleaning 14004 clauses out of 28010 with flag 823023/823023
487.55/486.04	c cleaning 13995 clauses out of 27991 with flag 837008/837008
498.66/497.16	c cleaning 14022 clauses out of 28046 with flag 851058/851058
508.06/506.57	c cleaning 13982 clauses out of 27968 with flag 865002/865002
517.67/516.17	c cleaning 14007 clauses out of 28016 with flag 879032/879032
527.17/525.65	c cleaning 13996 clauses out of 27996 with flag 893019/893019
535.88/534.32	c cleaning 13997 clauses out of 27998 with flag 907017/907017
544.61/543.08	c cleaning 13993 clauses out of 27989 with flag 921005/921005
552.73/551.14	c cleaning 13997 clauses out of 27998 with flag 935007/935007
560.82/559.24	c cleaning 14017 clauses out of 28033 with flag 949039/949039
570.43/568.84	c cleaning 14005 clauses out of 28011 with flag 963034/963034
580.55/578.94	c cleaning 13984 clauses out of 27972 with flag 977000/977000
589.66/588.04	c cleaning 14018 clauses out of 28038 with flag 991050/991050
599.57/597.98	c cleaning 13999 clauses out of 28000 with flag 1005030/1005030
609.28/607.65	c cleaning 14000 clauses out of 28001 with flag 1019030/1019030
618.69/617.07	c cleaning 13990 clauses out of 27982 with flag 1033011/1033011
629.09/627.49	c cleaning 14010 clauses out of 28021 with flag 1047040/1047040
639.29/637.62	c cleaning 13986 clauses out of 27973 with flag 1061002/1061002
649.50/647.83	c cleaning 14021 clauses out of 28042 with flag 1075057/1075057
658.60/656.99	c cleaning 13999 clauses out of 28002 with flag 1089038/1089038
667.70/666.03	c cleaning 13990 clauses out of 27984 with flag 1103019/1103019
676.71/675.08	c cleaning 13994 clauses out of 27990 with flag 1117015/1117015
686.72/685.00	c cleaning 14022 clauses out of 28045 with flag 1131064/1131064
697.93/696.31	c cleaning 13979 clauses out of 27961 with flag 1145002/1145002
708.44/706.74	c cleaning 14013 clauses out of 28027 with flag 1159047/1159047
720.54/718.86	c cleaning 13993 clauses out of 27987 with flag 1173020/1173020
732.25/730.57	c cleaning 14022 clauses out of 28043 with flag 1187069/1187069
741.96/740.28	c cleaning 13987 clauses out of 27975 with flag 1201023/1201023
752.86/751.15	c cleaning 14018 clauses out of 28037 with flag 1215072/1215072
764.66/762.92	c cleaning 13976 clauses out of 27951 with flag 1229004/1229004
778.97/777.20	c cleaning 14012 clauses out of 28024 with flag 1243053/1243053
793.07/791.34	c cleaning 14023 clauses out of 28046 with flag 1257087/1257087
807.37/805.64	c cleaning 13999 clauses out of 28000 with flag 1271064/1271064
822.47/820.72	c cleaning 13978 clauses out of 27958 with flag 1285021/1285021
836.38/834.65	c cleaning 14008 clauses out of 28016 with flag 1299057/1299057
848.49/846.70	c cleaning 14007 clauses out of 28015 with flag 1313064/1313064
861.10/859.35	c cleaning 13983 clauses out of 27967 with flag 1327023/1327023
872.50/870.72	c cleaning 13979 clauses out of 27962 with flag 1341001/1341001
880.30/878.57	c cleaning 13990 clauses out of 27983 with flag 1355001/1355001
886.81/885.09	c cleaning 13996 clauses out of 27996 with flag 1369004/1369004
893.21/891.42	c cleaning 14003 clauses out of 28010 with flag 1383014/1383014
898.82/897.08	c cleaning 13999 clauses out of 28001 with flag 1397008/1397008
906.82/905.00	c cleaning 14004 clauses out of 28014 with flag 1411020/1411020
913.33/911.52	c cleaning 13994 clauses out of 27992 with flag 1425002/1425002
919.83/918.01	c cleaning 14002 clauses out of 28008 with flag 1439012/1439012
927.64/925.84	c cleaning 14004 clauses out of 28012 with flag 1453018/1453018
935.25/933.47	c cleaning 13994 clauses out of 27990 with flag 1467000/1467000
942.66/940.81	c cleaning 13997 clauses out of 28000 with flag 1481004/1481004
951.86/950.04	c cleaning 13998 clauses out of 28000 with flag 1495001/1495001
959.98/958.14	c cleaning 14018 clauses out of 28038 with flag 1509037/1509037
968.27/966.47	c cleaning 13992 clauses out of 27988 with flag 1523005/1523005
975.40/973.57	c cleaning 13996 clauses out of 27995 with flag 1537004/1537004
983.58/981.70	c cleaning 13996 clauses out of 27995 with flag 1551000/1551000
992.29/990.43	c cleaning 14000 clauses out of 28004 with flag 1565005/1565005
1001.89/1000.09	c cleaning 14008 clauses out of 28022 with flag 1579023/1579023
1011.39/1009.50	c cleaning 13994 clauses out of 27991 with flag 1593000/1593000
1020.19/1018.37	c cleaning 14009 clauses out of 28024 with flag 1607027/1607027
1031.19/1029.37	c cleaning 14015 clauses out of 28034 with flag 1621046/1621046
1038.90/1037.04	c cleaning 13985 clauses out of 27973 with flag 1635000/1635000
1047.70/1045.81	c cleaning 14007 clauses out of 28019 with flag 1649031/1649031
1056.61/1054.72	c cleaning 13995 clauses out of 27993 with flag 1663012/1663012
1064.91/1063.02	c cleaning 14001 clauses out of 28005 with flag 1677019/1677019
1075.02/1073.12	c cleaning 14000 clauses out of 28003 with flag 1691018/1691018
1083.72/1081.86	c cleaning 14006 clauses out of 28015 with flag 1705030/1705030
1092.12/1090.29	c cleaning 13997 clauses out of 27997 with flag 1719018/1719018
1102.02/1100.16	c cleaning 13993 clauses out of 27989 with flag 1733007/1733007
1113.23/1111.39	c cleaning 14000 clauses out of 28004 with flag 1747015/1747015
1123.33/1121.41	c cleaning 13996 clauses out of 27999 with flag 1761010/1761010
1133.85/1131.96	c cleaning 13997 clauses out of 27998 with flag 1775005/1775005
1141.56/1139.66	c cleaning 13998 clauses out of 28000 with flag 1789004/1789004
1150.04/1148.19	c cleaning 13999 clauses out of 28002 with flag 1803004/1803004
1158.06/1156.13	c cleaning 14000 clauses out of 28004 with flag 1817005/1817005
1166.15/1164.29	c cleaning 13998 clauses out of 27999 with flag 1831000/1831000
1177.15/1175.20	c cleaning 14006 clauses out of 28015 with flag 1845014/1845014
1186.76/1184.88	c cleaning 13996 clauses out of 27995 with flag 1859000/1859000
1196.47/1194.60	c cleaning 14002 clauses out of 28009 with flag 1873010/1873010
1206.86/1204.95	c cleaning 13997 clauses out of 27998 with flag 1887001/1887001
1216.39/1214.49	c cleaning 14034 clauses out of 28072 with flag 1901072/1901072
1225.67/1223.72	c cleaning 13986 clauses out of 27975 with flag 1915009/1915009
1235.38/1233.41	c cleaning 13996 clauses out of 27993 with flag 1929013/1929013
1245.38/1243.41	c cleaning 13992 clauses out of 27988 with flag 1943004/1943004
1256.09/1254.13	c cleaning 13994 clauses out of 27992 with flag 1957000/1957000
1267.89/1265.95	c cleaning 13997 clauses out of 27998 with flag 1971000/1971000
1278.10/1276.18	c cleaning 13999 clauses out of 28002 with flag 1985001/1985001
1287.00/1285.09	c cleaning 13997 clauses out of 28002 with flag 1999000/1999000
1291.91/1289.95	c cleaning 14002 clauses out of 28007 with flag 2013002/2013002
1297.61/1295.64	c cleaning 14005 clauses out of 28013 with flag 2027010/2027010
1303.81/1301.87	c cleaning 14001 clauses out of 28006 with flag 2041008/2041008
1311.03/1309.08	c cleaning 13997 clauses out of 27997 with flag 2055000/2055000
1318.02/1316.10	c cleaning 14000 clauses out of 28001 with flag 2069001/2069001
1327.23/1325.23	c cleaning 13997 clauses out of 28000 with flag 2083000/2083000
1334.23/1332.28	c cleaning 14000 clauses out of 28004 with flag 2097001/2097001
1342.04/1340.07	c cleaning 14002 clauses out of 28007 with flag 2111004/2111004
1351.84/1349.80	c cleaning 13998 clauses out of 28001 with flag 2125000/2125000
1362.15/1360.13	c cleaning 14000 clauses out of 28007 with flag 2139004/2139004
1369.65/1367.66	c cleaning 14005 clauses out of 28016 with flag 2153013/2153013
1378.55/1376.58	c cleaning 13998 clauses out of 28001 with flag 2167003/2167003
1386.97/1384.94	c cleaning 14008 clauses out of 28021 with flag 2181021/2181021
1395.67/1393.70	c cleaning 13995 clauses out of 27993 with flag 2195001/2195001
1402.67/1400.65	c cleaning 14000 clauses out of 28003 with flag 2209006/2209006
1410.57/1408.53	c cleaning 14007 clauses out of 28018 with flag 2223021/2223021
1419.08/1417.05	c cleaning 13992 clauses out of 27990 with flag 2237000/2237000
1428.88/1426.89	c cleaning 13999 clauses out of 28001 with flag 2251003/2251003
1439.38/1437.35	c cleaning 14003 clauses out of 28009 with flag 2265010/2265010
1448.18/1446.16	c cleaning 14003 clauses out of 28009 with flag 2279013/2279013
1457.09/1455.01	c cleaning 13993 clauses out of 27993 with flag 2293000/2293000
1465.59/1463.50	c cleaning 13998 clauses out of 28000 with flag 2307000/2307000
1474.20/1472.17	c cleaning 14009 clauses out of 28023 with flag 2321021/2321021
1482.72/1480.69	c cleaning 13996 clauses out of 27995 with flag 2335002/2335002
1492.11/1490.00	c cleaning 14003 clauses out of 28009 with flag 2349012/2349012
1501.52/1499.47	c cleaning 14009 clauses out of 28021 with flag 2363027/2363027
1512.12/1510.08	c cleaning 13991 clauses out of 27985 with flag 2377000/2377000
1522.12/1520.00	c cleaning 13995 clauses out of 27994 with flag 2391000/2391000
1532.03/1529.91	c cleaning 14023 clauses out of 28050 with flag 2405051/2405051
1543.25/1541.15	c cleaning 13988 clauses out of 27980 with flag 2419004/2419004
1553.54/1551.41	c cleaning 14011 clauses out of 28025 with flag 2433037/2433037
1560.94/1558.81	c cleaning 13987 clauses out of 27979 with flag 2447002/2447002
1568.56/1566.48	c cleaning 13997 clauses out of 27998 with flag 2461008/2461008
1576.95/1574.82	c cleaning 13995 clauses out of 27993 with flag 2475000/2475000
1585.25/1583.11	c cleaning 13996 clauses out of 27998 with flag 2489000/2489000
1593.76/1591.69	c cleaning 14027 clauses out of 28057 with flag 2503055/2503055
1603.06/1600.98	c cleaning 13990 clauses out of 27983 with flag 2517008/2517008
1613.46/1611.30	c cleaning 13991 clauses out of 27986 with flag 2531001/2531001
1622.56/1620.49	c cleaning 14002 clauses out of 28007 with flag 2545013/2545013
1632.57/1630.49	c cleaning 13994 clauses out of 27992 with flag 2559000/2559000
1641.27/1639.17	c cleaning 14005 clauses out of 28014 with flag 2573016/2573016
1650.68/1648.54	c cleaning 14007 clauses out of 28018 with flag 2587025/2587025
1659.98/1657.87	c cleaning 14010 clauses out of 28023 with flag 2601037/2601037
1669.38/1667.28	c cleaning 14003 clauses out of 28010 with flag 2615034/2615034
1678.40/1676.31	c cleaning 14020 clauses out of 28043 with flag 2629070/2629070
1688.90/1686.71	c cleaning 13975 clauses out of 27953 with flag 2643000/2643000
1698.42/1696.26	c cleaning 14008 clauses out of 28019 with flag 2657041/2657041
1706.01/1703.84	c cleaning 13998 clauses out of 27999 with flag 2671029/2671029
1714.41/1712.27	c cleaning 13985 clauses out of 27973 with flag 2685001/2685001
1722.72/1720.59	c cleaning 13993 clauses out of 27992 with flag 2699005/2699005
1732.12/1729.95	c cleaning 13995 clauses out of 27994 with flag 2713000/2713000
1743.12/1740.96	c cleaning 14006 clauses out of 28015 with flag 2727016/2727016
1752.03/1749.82	c cleaning 13995 clauses out of 27994 with flag 2741001/2741001
1760.93/1758.76	c cleaning 13991 clauses out of 27998 with flag 2755000/2755000
1770.53/1768.34	c cleaning 14002 clauses out of 28007 with flag 2769000/2769000
1779.64/1777.46	c cleaning 14001 clauses out of 28005 with flag 2783000/2783000
1789.84/1787.64	c cleaning 14029 clauses out of 28061 with flag 2797057/2797057
1798.85/1796.65	c cleaning 14010 clauses out of 28024 with flag 2811049/2811049
1800.06/1797.82	c starts		: 231
1800.06/1797.82	c conflicts		: 2813531
1800.06/1797.82	c decisions		: 15508590
1800.06/1797.82	c propagations		: 88381275
1800.06/1797.82	c inspects		: 5019763697
1800.06/1797.82	c shortcuts		: 0
1800.06/1797.82	c learnt literals	: 0
1800.06/1797.82	c learnt binary clauses	: 0
1800.06/1797.82	c learnt ternary clauses	: 677
1800.06/1797.82	c learnt constraints	: 2813530
1800.06/1797.82	c ignored constraints	: 0
1800.06/1797.82	c root simplifications	: 0
1800.06/1797.82	c removed literals (reason simplification)	: 60124654
1800.06/1797.82	c reason swapping (by a shorter reason)	: 0
1800.06/1797.82	c Calls to reduceDB	: 204
1800.06/1797.82	c number of reductions to clauses (during analyze)	: 0
1800.06/1797.82	c number of learned constraints concerned by reduction	: 0
1800.06/1797.82	c number of learning phase by resolution	: 0
1800.06/1797.82	c number of learning phase by cutting planes	: 0
1800.06/1797.82	c speed (assignments/second)	: 49174.11435848958
1800.06/1797.82	c non guided choices	6364
1800.06/1797.83	c learnt constraints type 
1800.06/1797.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16502
1800.06/1797.83	c constraints type 
1800.06/1797.83	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6204
1800.06/1797.83	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.06/1797.83	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.06/1797.83	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
1800.06/1797.83	s UNKNOWN
1800.06/1797.83	c Total wall clock time (in seconds): 1797.717

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-3458012-1307164740/watcher-3458012-1307164740 -o /tmp/evaluation-result-3458012-1307164740/solver-3458012-1307164740 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458012-1307164740.opb 

running on 4 cores: 1,3,5,7

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.37 1.87 1.95 2/485 17090
/proc/meminfo: memFree=21440072/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 1169 0 0 0 0 0 0 0 24 0 2 0 560665257 26714112 897 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 6522 897 682 9 0 381 0
[pid=17090/tid=17091] ppid=17088 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 5051 0 1 0 0 0 0 0 25 0 2 0 560665258 13850947584 5867 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0714539 s]
/proc/loadavg: 1.37 1.87 1.95 2/485 17090
/proc/meminfo: memFree=21440072/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13554952 CPUtime=0.06 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 14239 0 1 0 4 2 0 0 24 0 18 0 560665257 13880270848 13935 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3388738 13935 1740 9 0 3379472 0
[pid=17090/tid=17091] ppid=17088 vsize=13554952 CPUtime=0.05 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 13064 0 1 0 4 1 0 0 25 0 18 0 560665258 13880270848 13935 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 47632822864723 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13554952

[startup+0.100426 s]
/proc/loadavg: 1.37 1.87 1.95 2/485 17090
/proc/meminfo: memFree=21440072/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13621684 CPUtime=0.1 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 15487 0 1 0 8 2 0 0 24 0 18 0 560665257 13948604416 15159 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3405421 15159 2092 9 0 3396155 0
[pid=17090/tid=17091] ppid=17088 vsize=13621684 CPUtime=0.08 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 13551 0 1 0 6 2 0 0 18 0 18 0 560665258 13948604416 15159 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 47632818364421 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621684

[startup+0.300357 s]
/proc/loadavg: 1.37 1.87 1.95 2/485 17090
/proc/meminfo: memFree=21440072/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13623724 CPUtime=0.47 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 18824 0 1 0 44 3 0 0 24 0 18 0 560665257 13950693376 18083 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3405931 18084 2211 9 0 3396665 0
[pid=17090/tid=17091] ppid=17088 vsize=13623724 CPUtime=0.28 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 15302 0 1 0 26 2 0 0 18 0 18 0 560665258 13950693376 18084 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 47632819226248 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13623724

[startup+0.700331 s]
/proc/loadavg: 1.37 1.87 1.95 2/485 17090
/proc/meminfo: memFree=21440072/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13633900 CPUtime=1.57 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 32251 0 1 0 153 4 0 0 24 0 19 0 560665257 13961113600 29476 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3408475 29476 2238 9 0 3399209 0
[pid=17090/tid=17091] ppid=17088 vsize=13633900 CPUtime=0.68 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 22993 0 1 0 65 3 0 0 19 0 19 0 560665258 13961113600 29476 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 46912505833776 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 13633900

[startup+1.50118 s]
/proc/loadavg: 1.37 1.87 1.95 4/525 17133
/proc/meminfo: memFree=20922620/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13633900 CPUtime=2.43 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 33126 0 1 0 238 5 0 0 24 0 19 0 560665257 13961113600 30350 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3408475 30350 2242 9 0 3399209 0
[pid=17090/tid=17091] ppid=17088 vsize=13633900 CPUtime=1.48 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 23854 0 1 0 145 3 0 0 20 0 19 0 560665258 13961113600 30350 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 46912505833745 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17090/tid=17098] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17098/stat : 17098 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30350 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17099] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17099/stat : 17099 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17100] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17100/stat : 17100 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17101] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17101/stat : 17101 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17102] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17102/stat : 17102 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17103] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17103/stat : 17103 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17104] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17104/stat : 17104 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17105] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17105/stat : 17105 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665260 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17107] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17107/stat : 17107 (java) S 17088 17090 17058 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 560665261 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 0 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17109] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17109/stat : 17109 (java) S 17088 17090 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 560665261 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17110] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17110/stat : 17110 (java) S 17088 17090 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 560665261 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17122] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17122/stat : 17122 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672485809 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17123] ppid=17088 vsize=13633900 CPUtime=0.43 cores=1,3,5,7
/proc/17090/task/17123/stat : 17123 (java) S 17088 17090 17058 0 -1 4202560 3462 0 0 0 43 0 0 0 22 0 19 0 560665264 13961113600 30351 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17124] ppid=17088 vsize=13633900 CPUtime=0.49 cores=1,3,5,7
/proc/17090/task/17124/stat : 17124 (java) S 17088 17090 17058 0 -1 4202560 4649 0 0 0 49 0 0 0 15 0 19 0 560665264 13961113600 30352 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17125] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17125/stat : 17125 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13961113600 30352 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17126] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17126/stat : 17126 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 560665264 13961113600 30352 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17132] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17132/stat : 17132 (java) S 17088 17090 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 560665310 13961113600 30352 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13633900

[startup+3.10091 s]
/proc/loadavg: 1.37 1.87 1.95 3/525 17133
/proc/meminfo: memFree=20911968/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13633900 CPUtime=4.06 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 39426 0 1 0 401 5 0 0 24 0 19 0 560665257 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3408475 36646 2268 9 0 3399209 0
[pid=17090/tid=17091] ppid=17088 vsize=13633900 CPUtime=3.04 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 25191 0 1 0 301 3 0 0 25 0 19 0 560665258 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 46912505811200 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17090/tid=17098] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17098/stat : 17098 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17099] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17099/stat : 17099 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17100] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17100/stat : 17100 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17101] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17101/stat : 17101 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17102] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17102/stat : 17102 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17103] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17103/stat : 17103 (java) S 17088 17090 17058 0 -1 4202560 1277 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17104] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17104/stat : 17104 (java) S 17088 17090 17058 0 -1 4202560 544 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17105] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17105/stat : 17105 (java) S 17088 17090 17058 0 -1 4202560 674 0 0 0 0 0 0 0 18 0 19 0 560665260 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17107] ppid=17088 vsize=13633900 CPUtime=0.02 cores=1,3,5,7
/proc/17090/task/17107/stat : 17107 (java) S 17088 17090 17058 0 -1 4202560 2466 0 0 0 2 0 0 0 16 0 19 0 560665261 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 0 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17109] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17109/stat : 17109 (java) S 17088 17090 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560665261 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17110] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17110/stat : 17110 (java) S 17088 17090 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560665261 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17122] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17122/stat : 17122 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672485809 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17123] ppid=17088 vsize=13633900 CPUtime=0.43 cores=1,3,5,7
/proc/17090/task/17123/stat : 17123 (java) S 17088 17090 17058 0 -1 4202560 3464 0 0 0 43 0 0 0 18 0 19 0 560665264 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17124] ppid=17088 vsize=13633900 CPUtime=0.5 cores=1,3,5,7
/proc/17090/task/17124/stat : 17124 (java) S 17088 17090 17058 0 -1 4202560 4654 0 0 0 50 0 0 0 15 0 19 0 560665264 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17125] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17125/stat : 17125 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17126] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17126/stat : 17126 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 560665264 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17132] ppid=17088 vsize=13633900 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17132/stat : 17132 (java) S 17088 17090 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 560665310 13961113600 36646 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 13633900

[startup+6.30134 s]
/proc/loadavg: 1.42 1.87 1.95 3/525 17133
/proc/meminfo: memFree=20885228/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13629524 CPUtime=7.29 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 42803 0 1 0 723 6 0 0 24 0 19 0 560665257 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3407381 38998 2268 9 0 3398115 0
[pid=17090/tid=17091] ppid=17088 vsize=13629524 CPUtime=6.2 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 25195 0 1 0 617 3 0 0 25 0 19 0 560665258 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 46912505833663 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17090/tid=17098] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17098/stat : 17098 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17099] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17099/stat : 17099 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17100] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17100/stat : 17100 (java) S 17088 17090 17058 0 -1 4202560 766 0 0 0 0 0 0 0 15 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17101] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17101/stat : 17101 (java) S 17088 17090 17058 0 -1 4202560 576 0 0 0 0 0 0 0 18 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17102] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17102/stat : 17102 (java) S 17088 17090 17058 0 -1 4202560 715 0 0 0 0 0 0 0 15 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17103] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17103/stat : 17103 (java) S 17088 17090 17058 0 -1 4202560 1277 0 0 0 0 0 0 0 18 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17104] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17104/stat : 17104 (java) S 17088 17090 17058 0 -1 4202560 544 0 0 0 0 0 0 0 18 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17105] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17105/stat : 17105 (java) S 17088 17090 17058 0 -1 4202560 674 0 0 0 0 0 0 0 18 0 19 0 560665260 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17107] ppid=17088 vsize=13629524 CPUtime=0.06 cores=1,3,5,7
/proc/17090/task/17107/stat : 17107 (java) S 17088 17090 17058 0 -1 4202560 3780 0 0 0 6 0 0 0 16 0 19 0 560665261 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 0 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17109] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17109/stat : 17109 (java) S 17088 17090 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17110] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17110/stat : 17110 (java) S 17088 17090 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17122] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17122/stat : 17122 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672485809 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17123] ppid=17088 vsize=13629524 CPUtime=0.44 cores=1,3,5,7
/proc/17090/task/17123/stat : 17123 (java) S 17088 17090 17058 0 -1 4202560 3466 0 0 0 44 0 0 0 15 0 19 0 560665264 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17124] ppid=17088 vsize=13629524 CPUtime=0.52 cores=1,3,5,7
/proc/17090/task/17124/stat : 17124 (java) S 17088 17090 17058 0 -1 4202560 4657 0 0 0 52 0 0 0 16 0 19 0 560665264 13956632576 38998 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0

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

[pid=17090/tid=17103] ppid=17088 vsize=13629524 CPUtime=0.24 cores=1,3,5,7
/proc/17090/task/17103/stat : 17103 (java) S 17088 17090 17058 0 -1 4202560 2600 0 0 0 24 0 0 0 16 0 19 0 560665260 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17104] ppid=17088 vsize=13629524 CPUtime=0.21 cores=1,3,5,7
/proc/17090/task/17104/stat : 17104 (java) S 17088 17090 17058 0 -1 4202560 770 0 0 0 21 0 0 0 15 0 19 0 560665260 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17105] ppid=17088 vsize=13629524 CPUtime=0.25 cores=1,3,5,7
/proc/17090/task/17105/stat : 17105 (java) S 17088 17090 17058 0 -1 4202560 1583 0 0 0 25 0 0 0 15 0 19 0 560665260 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17107] ppid=17088 vsize=13629524 CPUtime=7.81 cores=1,3,5,7
/proc/17090/task/17107/stat : 17107 (java) S 17088 17090 17058 0 -1 4202560 10409 0 0 0 777 4 0 0 15 0 19 0 560665261 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 0 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17109] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17109/stat : 17109 (java) S 17088 17090 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17110] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17110/stat : 17110 (java) S 17088 17090 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17122] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17122/stat : 17122 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672485809 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17123] ppid=17088 vsize=13629524 CPUtime=0.45 cores=1,3,5,7
/proc/17090/task/17123/stat : 17123 (java) S 17088 17090 17058 0 -1 4202560 3467 0 0 0 45 0 0 0 15 0 19 0 560665264 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17124] ppid=17088 vsize=13629524 CPUtime=0.61 cores=1,3,5,7
/proc/17090/task/17124/stat : 17124 (java) S 17088 17090 17058 0 -1 4202560 4694 0 0 0 61 0 0 0 15 0 19 0 560665264 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17125] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17125/stat : 17125 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17126] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17126/stat : 17126 (java) S 17088 17090 17058 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 560665264 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17132] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17132/stat : 17132 (java) S 17088 17090 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 560665310 13956632576 51341 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1664.48
Current children cumulated vsize (KiB) 13629524

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/525 17178
/proc/meminfo: memFree=20410052/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13629524 CPUtime=1724.52 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 55555 0 1 0 172438 14 0 0 24 0 19 0 560665257 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3407381 51344 2269 9 0 3398115 0
[pid=17090/tid=17091] ppid=17088 vsize=13629524 CPUtime=1713.38 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 25389 0 1 0 171334 4 0 0 25 0 19 0 560665258 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 46912505937493 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17090/tid=17098] ppid=17088 vsize=13629524 CPUtime=0.25 cores=1,3,5,7
/proc/17090/task/17098/stat : 17098 (java) S 17088 17090 17058 0 -1 4202560 1068 0 0 0 25 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17099] ppid=17088 vsize=13629524 CPUtime=0.21 cores=1,3,5,7
/proc/17090/task/17099/stat : 17099 (java) S 17088 17090 17058 0 -1 4202560 1044 0 0 0 21 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17100] ppid=17088 vsize=13629524 CPUtime=0.22 cores=1,3,5,7
/proc/17090/task/17100/stat : 17100 (java) S 17088 17090 17058 0 -1 4202560 1008 0 0 0 22 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17101] ppid=17088 vsize=13629524 CPUtime=0.21 cores=1,3,5,7
/proc/17090/task/17101/stat : 17101 (java) S 17088 17090 17058 0 -1 4202560 836 0 0 0 21 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17102] ppid=17088 vsize=13629524 CPUtime=0.25 cores=1,3,5,7
/proc/17090/task/17102/stat : 17102 (java) S 17088 17090 17058 0 -1 4202560 1432 0 0 0 25 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17103] ppid=17088 vsize=13629524 CPUtime=0.25 cores=1,3,5,7
/proc/17090/task/17103/stat : 17103 (java) S 17088 17090 17058 0 -1 4202560 2600 0 0 0 25 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17104] ppid=17088 vsize=13629524 CPUtime=0.21 cores=1,3,5,7
/proc/17090/task/17104/stat : 17104 (java) S 17088 17090 17058 0 -1 4202560 770 0 0 0 21 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17105] ppid=17088 vsize=13629524 CPUtime=0.26 cores=1,3,5,7
/proc/17090/task/17105/stat : 17105 (java) S 17088 17090 17058 0 -1 4202560 1583 0 0 0 26 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17107] ppid=17088 vsize=13629524 CPUtime=8.1 cores=1,3,5,7
/proc/17090/task/17107/stat : 17107 (java) S 17088 17090 17058 0 -1 4202560 10413 0 0 0 806 4 0 0 15 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 0 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17109] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17109/stat : 17109 (java) S 17088 17090 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17110] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17110/stat : 17110 (java) S 17088 17090 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17122] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17122/stat : 17122 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672485809 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17123] ppid=17088 vsize=13629524 CPUtime=0.45 cores=1,3,5,7
/proc/17090/task/17123/stat : 17123 (java) S 17088 17090 17058 0 -1 4202560 3467 0 0 0 45 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17124] ppid=17088 vsize=13629524 CPUtime=0.61 cores=1,3,5,7
/proc/17090/task/17124/stat : 17124 (java) S 17088 17090 17058 0 -1 4202560 4694 0 0 0 61 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17125] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17125/stat : 17125 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17126] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17126/stat : 17126 (java) S 17088 17090 17058 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17132] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17132/stat : 17132 (java) S 17088 17090 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 560665310 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1724.52
Current children cumulated vsize (KiB) 13629524

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/525 17180
/proc/meminfo: memFree=20374060/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13629524 CPUtime=1784.54 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 55565 0 1 0 178440 14 0 0 24 0 19 0 560665257 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3407381 51344 2269 9 0 3398115 0
[pid=17090/tid=17091] ppid=17088 vsize=13629524 CPUtime=1773.11 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 25395 0 1 0 177307 4 0 0 25 0 19 0 560665258 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 46912505833839 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17090/tid=17098] ppid=17088 vsize=13629524 CPUtime=0.26 cores=1,3,5,7
/proc/17090/task/17098/stat : 17098 (java) S 17088 17090 17058 0 -1 4202560 1068 0 0 0 26 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17099] ppid=17088 vsize=13629524 CPUtime=0.22 cores=1,3,5,7
/proc/17090/task/17099/stat : 17099 (java) S 17088 17090 17058 0 -1 4202560 1044 0 0 0 22 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17100] ppid=17088 vsize=13629524 CPUtime=0.23 cores=1,3,5,7
/proc/17090/task/17100/stat : 17100 (java) S 17088 17090 17058 0 -1 4202560 1008 0 0 0 23 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17101] ppid=17088 vsize=13629524 CPUtime=0.21 cores=1,3,5,7
/proc/17090/task/17101/stat : 17101 (java) S 17088 17090 17058 0 -1 4202560 836 0 0 0 21 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17102] ppid=17088 vsize=13629524 CPUtime=0.25 cores=1,3,5,7
/proc/17090/task/17102/stat : 17102 (java) S 17088 17090 17058 0 -1 4202560 1432 0 0 0 25 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17103] ppid=17088 vsize=13629524 CPUtime=0.25 cores=1,3,5,7
/proc/17090/task/17103/stat : 17103 (java) S 17088 17090 17058 0 -1 4202560 2600 0 0 0 25 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17104] ppid=17088 vsize=13629524 CPUtime=0.22 cores=1,3,5,7
/proc/17090/task/17104/stat : 17104 (java) S 17088 17090 17058 0 -1 4202560 770 0 0 0 22 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17105] ppid=17088 vsize=13629524 CPUtime=0.27 cores=1,3,5,7
/proc/17090/task/17105/stat : 17105 (java) S 17088 17090 17058 0 -1 4202560 1583 0 0 0 27 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17107] ppid=17088 vsize=13629524 CPUtime=8.34 cores=1,3,5,7
/proc/17090/task/17107/stat : 17107 (java) S 17088 17090 17058 0 -1 4202560 10415 0 0 0 830 4 0 0 15 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 0 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17109] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17109/stat : 17109 (java) S 17088 17090 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17110] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17110/stat : 17110 (java) S 17088 17090 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17122] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17122/stat : 17122 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672485809 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17123] ppid=17088 vsize=13629524 CPUtime=0.45 cores=1,3,5,7
/proc/17090/task/17123/stat : 17123 (java) S 17088 17090 17058 0 -1 4202560 3467 0 0 0 45 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17124] ppid=17088 vsize=13629524 CPUtime=0.61 cores=1,3,5,7
/proc/17090/task/17124/stat : 17124 (java) S 17088 17090 17058 0 -1 4202560 4694 0 0 0 61 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17125] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17125/stat : 17125 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17126] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17126/stat : 17126 (java) S 17088 17090 17058 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17132] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17132/stat : 17132 (java) S 17088 17090 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 560665310 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1784.54
Current children cumulated vsize (KiB) 13629524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.8 s]
/proc/loadavg: 2.01 2.02 2.00 2/505 17184
/proc/meminfo: memFree=21236996/32951124 swapFree=46575304/67111528
[pid=17090] ppid=17088 vsize=13629524 CPUtime=1800.06 cores=1,3,5,7
/proc/17090/stat : 17090 (java) S 17088 17090 17058 0 -1 4202496 55571 0 1 0 179992 14 0 0 24 0 19 0 560665257 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17090/statm: 3407381 51344 2269 9 0 3398115 0
[pid=17090/tid=17091] ppid=17088 vsize=13629524 CPUtime=1788.54 cores=1,3,5,7
/proc/17090/task/17091/stat : 17091 (java) R 17088 17090 17058 0 -1 4202560 25397 0 1 0 178850 4 0 0 18 0 19 0 560665258 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 46912505833776 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17090/tid=17098] ppid=17088 vsize=13629524 CPUtime=0.26 cores=1,3,5,7
/proc/17090/task/17098/stat : 17098 (java) S 17088 17090 17058 0 -1 4202560 1068 0 0 0 26 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17099] ppid=17088 vsize=13629524 CPUtime=0.22 cores=1,3,5,7
/proc/17090/task/17099/stat : 17099 (java) S 17088 17090 17058 0 -1 4202560 1044 0 0 0 22 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17100] ppid=17088 vsize=13629524 CPUtime=0.23 cores=1,3,5,7
/proc/17090/task/17100/stat : 17100 (java) S 17088 17090 17058 0 -1 4202560 1008 0 0 0 23 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17101] ppid=17088 vsize=13629524 CPUtime=0.21 cores=1,3,5,7
/proc/17090/task/17101/stat : 17101 (java) S 17088 17090 17058 0 -1 4202560 836 0 0 0 21 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17102] ppid=17088 vsize=13629524 CPUtime=0.25 cores=1,3,5,7
/proc/17090/task/17102/stat : 17102 (java) S 17088 17090 17058 0 -1 4202560 1432 0 0 0 25 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17103] ppid=17088 vsize=13629524 CPUtime=0.26 cores=1,3,5,7
/proc/17090/task/17103/stat : 17103 (java) S 17088 17090 17058 0 -1 4202560 2600 0 0 0 26 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17104] ppid=17088 vsize=13629524 CPUtime=0.22 cores=1,3,5,7
/proc/17090/task/17104/stat : 17104 (java) S 17088 17090 17058 0 -1 4202560 770 0 0 0 22 0 0 0 15 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 5 0 0 0
[pid=17090/tid=17105] ppid=17088 vsize=13629524 CPUtime=0.27 cores=1,3,5,7
/proc/17090/task/17105/stat : 17105 (java) S 17088 17090 17058 0 -1 4202560 1583 0 0 0 27 0 0 0 16 0 19 0 560665260 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17107] ppid=17088 vsize=13629524 CPUtime=8.43 cores=1,3,5,7
/proc/17090/task/17107/stat : 17107 (java) S 17088 17090 17058 0 -1 4202560 10417 0 0 0 839 4 0 0 15 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 0 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17109] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17109/stat : 17109 (java) S 17088 17090 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17110] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17110/stat : 17110 (java) S 17088 17090 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 560665261 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17122] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17122/stat : 17122 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672485809 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17123] ppid=17088 vsize=13629524 CPUtime=0.45 cores=1,3,5,7
/proc/17090/task/17123/stat : 17123 (java) S 17088 17090 17058 0 -1 4202560 3467 0 0 0 45 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 7 0 0 0
[pid=17090/tid=17124] ppid=17088 vsize=13629524 CPUtime=0.61 cores=1,3,5,7
/proc/17090/task/17124/stat : 17124 (java) S 17088 17090 17058 0 -1 4202560 4694 0 0 0 61 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17125] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17125/stat : 17125 (java) S 17088 17090 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478105 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
[pid=17090/tid=17126] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17126/stat : 17126 (java) S 17088 17090 17058 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 560665264 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 1 0 0 0
[pid=17090/tid=17132] ppid=17088 vsize=13629524 CPUtime=0 cores=1,3,5,7
/proc/17090/task/17132/stat : 17132 (java) S 17088 17090 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 560665310 13956632576 51344 33554432000 1073741824 1073778376 140736325273664 18446744073709551615 268672478720 0 4 0 16800975 18446604456700928064 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13629524

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): 1797.84
CPU time (s): 1800.12
CPU user time (s): 1799.96
CPU system time (s): 0.152976
CPU usage (%): 100.126
Max. virtual memory (cumulated for all children) (KiB): 13633900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55607
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= 42372
involuntary context switches= 19731

runsolver used 8.64269 second user time and 20.8148 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-04 07:19:00
IDJOB=3458012
IDBENCH=48337
IDSOLVER=1952
FILE ID=node107/3458012-1307164740
RUNJOBID= node107-1307164740-17077
PBS_JOBID= 13508844
Free space on /tmp= 73884 MiB

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

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

MD5SUM BENCH= 6f80de356bf70dde8dfbe2efc2cb9dee
RANDOM SEED=997745836

node107.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.829
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.829
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.75
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.829
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:     32951124 kB
MemFree:      21440584 kB
Buffers:        330500 kB
Cached:        2125240 kB
SwapCached:      22548 kB
Active:        9162724 kB
Inactive:      1997400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21440584 kB
SwapTotal:    67111528 kB
SwapFree:     46575304 kB
Dirty:             456 kB
Writeback:           0 kB
AnonPages:     8699852 kB
Mapped:          32148 kB
Slab:           186520 kB
PageTables:      94396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145077708 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= 73884 MiB
End job on node107 at 2011-06-04 07:49:00