Trace number 3457996

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.11 1797.77

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_5_15.opb
MD5SUMeb83986855f475edbe62b7e6495068f1
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.132978
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)12452
Sum of products size (including duplicates)24904
Number of different products6226
Sum of products size12452

Solver Data 

0.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		12995394264
0.02/0.09	c Max memory 		13063553024
0.02/0.09	c Total memory 		13063553024
0.02/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-3457996-1307164231.opb
0.10/0.11	c reading problem ... 
1.05/0.51	c ... done. Wall clock time 0.396s.
1.05/0.51	c #vars     6626
1.05/0.51	c #constraints  13055
1.05/0.51	c constraints type 
1.05/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6226
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 => 6226
3.64/2.75	c cleaning 2501 clauses out of 5002 with flag 5002/5002
7.21/6.24	c cleaning 4257 clauses out of 8514 with flag 11015/11015
11.72/10.74	c cleaning 5633 clauses out of 11266 with flag 18024/18024
19.07/18.00	c cleaning 6807 clauses out of 13613 with flag 26004/26004
24.09/23.08	c cleaning 7898 clauses out of 15802 with flag 35000/35000
30.48/29.42	c cleaning 8955 clauses out of 17914 with flag 45010/45010
39.42/38.33	c cleaning 9975 clauses out of 19949 with flag 56000/56000
50.65/49.55	c cleaning 10987 clauses out of 21976 with flag 68002/68002
60.84/59.79	c cleaning 12002 clauses out of 24006 with flag 81019/81019
70.38/69.27	c cleaning 12993 clauses out of 25986 with flag 95001/95001
84.27/83.12	c cleaning 13503 clauses out of 27008 with flag 109016/109016
94.88/93.79	c cleaning 13743 clauses out of 27489 with flag 123000/123000
104.78/103.66	c cleaning 13871 clauses out of 27746 with flag 137000/137000
114.59/113.42	c cleaning 13948 clauses out of 27897 with flag 151022/151022
125.60/124.45	c cleaning 13962 clauses out of 27927 with flag 165000/165000
136.91/135.72	c cleaning 13984 clauses out of 27971 with flag 179006/179006
144.23/143.03	c cleaning 13996 clauses out of 27997 with flag 193016/193016
150.22/149.02	c cleaning 13990 clauses out of 27985 with flag 207000/207000
162.53/161.37	c cleaning 14042 clauses out of 28085 with flag 221090/221090
172.76/171.60	c cleaning 13989 clauses out of 27979 with flag 235026/235026
181.45/180.23	c cleaning 13980 clauses out of 27964 with flag 249000/249000
192.25/191.06	c cleaning 14009 clauses out of 28020 with flag 263036/263036
206.26/205.06	c cleaning 13996 clauses out of 27993 with flag 277018/277018
215.37/214.13	c cleaning 13997 clauses out of 27997 with flag 291018/291018
221.08/219.90	c cleaning 13994 clauses out of 27999 with flag 305017/305017
227.02/225.75	c cleaning 14014 clauses out of 28032 with flag 319044/319044
233.12/231.87	c cleaning 13991 clauses out of 27985 with flag 333011/333011
240.73/239.44	c cleaning 13991 clauses out of 27988 with flag 347005/347005
247.85/246.59	c cleaning 13994 clauses out of 27992 with flag 361000/361000
255.15/253.82	c cleaning 13999 clauses out of 28004 with flag 375006/375006
264.67/263.35	c cleaning 14005 clauses out of 28013 with flag 389014/389014
278.88/277.59	c cleaning 14042 clauses out of 28085 with flag 403091/403091
286.79/285.41	c cleaning 13975 clauses out of 27953 with flag 417001/417001
291.89/290.58	c cleaning 13990 clauses out of 27983 with flag 431006/431006
297.40/296.07	c cleaning 14000 clauses out of 28003 with flag 445016/445016
304.51/303.12	c cleaning 13999 clauses out of 28001 with flag 459014/459014
311.54/310.16	c cleaning 13998 clauses out of 27999 with flag 473011/473011
319.12/317.71	c cleaning 14004 clauses out of 28012 with flag 487022/487022
327.12/325.74	c cleaning 13995 clauses out of 27994 with flag 501008/501008
333.65/332.24	c cleaning 14002 clauses out of 28008 with flag 515017/515017
340.53/339.13	c cleaning 13994 clauses out of 27991 with flag 529002/529002
347.23/345.87	c cleaning 14009 clauses out of 28021 with flag 543026/543026
354.34/352.95	c cleaning 13999 clauses out of 28002 with flag 557016/557016
364.14/362.78	c cleaning 13994 clauses out of 27990 with flag 571003/571003
374.14/372.79	c cleaning 13987 clauses out of 27993 with flag 585000/585000
385.65/384.27	c cleaning 14021 clauses out of 28046 with flag 599040/599040
399.06/397.62	c cleaning 13995 clauses out of 27994 with flag 613009/613009
403.99/402.53	c cleaning 13993 clauses out of 27990 with flag 627000/627000
409.18/407.73	c cleaning 13997 clauses out of 27997 with flag 641000/641000
414.18/412.79	c cleaning 13998 clauses out of 28000 with flag 655000/655000
419.10/417.62	c cleaning 14023 clauses out of 28048 with flag 669046/669046
423.82/422.38	c cleaning 13989 clauses out of 27982 with flag 683003/683003
429.33/427.91	c cleaning 14001 clauses out of 28006 with flag 697016/697016
434.83/433.33	c cleaning 14001 clauses out of 28006 with flag 711017/711017
440.22/438.82	c cleaning 14002 clauses out of 28008 with flag 725020/725020
445.42/443.94	c cleaning 13997 clauses out of 27998 with flag 739012/739012
450.72/449.22	c cleaning 13993 clauses out of 27990 with flag 753001/753001
456.63/455.10	c cleaning 13999 clauses out of 28002 with flag 767006/767006
464.66/463.13	c cleaning 14011 clauses out of 28026 with flag 781029/781029
473.94/472.40	c cleaning 13993 clauses out of 27990 with flag 795004/795004
479.44/477.95	c cleaning 14006 clauses out of 28015 with flag 809022/809022
486.56/485.02	c cleaning 14008 clauses out of 28019 with flag 823032/823032
494.65/493.17	c cleaning 13998 clauses out of 28000 with flag 837021/837021
502.45/500.92	c cleaning 14010 clauses out of 28024 with flag 851043/851043
510.45/508.98	c cleaning 13989 clauses out of 27982 with flag 865011/865011
518.48/516.92	c cleaning 13995 clauses out of 27994 with flag 879012/879012
527.66/526.11	c cleaning 13992 clauses out of 27987 with flag 893000/893000
536.47/535.00	c cleaning 14006 clauses out of 28015 with flag 907020/907020
545.49/543.92	c cleaning 13994 clauses out of 27992 with flag 921003/921003
552.61/551.04	c cleaning 13996 clauses out of 27995 with flag 935000/935000
560.70/559.10	c cleaning 14004 clauses out of 28012 with flag 949013/949013
567.60/566.01	c cleaning 14005 clauses out of 28013 with flag 963018/963018
576.20/574.67	c cleaning 13994 clauses out of 27991 with flag 977001/977001
583.53/581.99	c cleaning 14004 clauses out of 28011 with flag 991015/991015
591.51/589.90	c cleaning 14002 clauses out of 28007 with flag 1005015/1005015
600.21/598.62	c cleaning 14000 clauses out of 28001 with flag 1019011/1019011
607.82/606.21	c cleaning 13996 clauses out of 27996 with flag 1033006/1033006
616.12/614.53	c cleaning 14007 clauses out of 28018 with flag 1047024/1047024
624.63/623.09	c cleaning 14005 clauses out of 28013 with flag 1061026/1061026
634.94/633.33	c cleaning 13998 clauses out of 27999 with flag 1075017/1075017
644.06/642.49	c cleaning 13992 clauses out of 27987 with flag 1089003/1089003
651.85/650.29	c cleaning 14015 clauses out of 28034 with flag 1103042/1103042
660.95/659.36	c cleaning 13989 clauses out of 27981 with flag 1117004/1117004
670.38/668.74	c cleaning 14016 clauses out of 28036 with flag 1131048/1131048
678.08/676.49	c cleaning 13984 clauses out of 27972 with flag 1145000/1145000
688.36/686.72	c cleaning 14005 clauses out of 28013 with flag 1159025/1159025
697.67/696.03	c cleaning 13994 clauses out of 27991 with flag 1173008/1173008
706.79/705.15	c cleaning 13997 clauses out of 27998 with flag 1187009/1187009
713.67/712.00	c cleaning 14010 clauses out of 28023 with flag 1201031/1201031
721.28/719.67	c cleaning 14007 clauses out of 28017 with flag 1215035/1215035
730.48/728.88	c cleaning 13995 clauses out of 27991 with flag 1229016/1229016
739.40/737.70	c cleaning 13990 clauses out of 27986 with flag 1243006/1243006
744.90/743.21	c cleaning 14000 clauses out of 28001 with flag 1257011/1257011
750.21/748.50	c cleaning 14009 clauses out of 28020 with flag 1271030/1271030
756.92/755.26	c cleaning 13988 clauses out of 27982 with flag 1285001/1285001
762.73/761.07	c cleaning 14019 clauses out of 28039 with flag 1299046/1299046
768.74/767.02	c cleaning 14001 clauses out of 28001 with flag 1313027/1313027
774.75/773.06	c cleaning 13991 clauses out of 27988 with flag 1327015/1327015
780.86/779.19	c cleaning 13992 clauses out of 27990 with flag 1341008/1341008
787.09/785.39	c cleaning 14000 clauses out of 28006 with flag 1355016/1355016
791.99/790.23	c cleaning 14001 clauses out of 28007 with flag 1369017/1369017
797.81/796.04	c cleaning 14011 clauses out of 28027 with flag 1383038/1383038
803.82/802.05	c cleaning 13990 clauses out of 27986 with flag 1397008/1397008
810.13/808.35	c cleaning 13991 clauses out of 27988 with flag 1411000/1411000
815.53/813.78	c cleaning 14001 clauses out of 28008 with flag 1425011/1425011
822.74/820.98	c cleaning 14012 clauses out of 28033 with flag 1439037/1439037
831.04/829.21	c cleaning 14013 clauses out of 28029 with flag 1453045/1453045
838.54/836.77	c cleaning 13987 clauses out of 27977 with flag 1467006/1467006
847.25/845.41	c cleaning 13995 clauses out of 27993 with flag 1481009/1481009
855.25/853.43	c cleaning 14003 clauses out of 28010 with flag 1495021/1495021
863.25/861.48	c cleaning 13992 clauses out of 27987 with flag 1509001/1509001
871.26/869.46	c cleaning 14000 clauses out of 28002 with flag 1523008/1523008
880.36/878.57	c cleaning 13997 clauses out of 27997 with flag 1537003/1537003
890.07/888.23	c cleaning 13997 clauses out of 27997 with flag 1551000/1551000
900.17/898.34	c cleaning 14005 clauses out of 28013 with flag 1565013/1565013
909.47/907.70	c cleaning 14006 clauses out of 28015 with flag 1579020/1579020
919.87/918.04	c cleaning 14025 clauses out of 28053 with flag 1593064/1593064
929.28/927.48	c cleaning 13980 clauses out of 27964 with flag 1607000/1607000
939.18/937.37	c cleaning 13997 clauses out of 27997 with flag 1621013/1621013
949.28/947.40	c cleaning 13994 clauses out of 27992 with flag 1635005/1635005
957.40/955.53	c cleaning 14006 clauses out of 28016 with flag 1649023/1649023
965.52/963.62	c cleaning 13992 clauses out of 27987 with flag 1663000/1663000
973.71/971.82	c cleaning 14001 clauses out of 28006 with flag 1677011/1677011
982.11/980.28	c cleaning 13995 clauses out of 27994 with flag 1691000/1691000
990.31/988.42	c cleaning 14015 clauses out of 28033 with flag 1705034/1705034
998.92/997.08	c cleaning 13997 clauses out of 27997 with flag 1719013/1719013
1008.22/1006.32	c cleaning 13995 clauses out of 27994 with flag 1733007/1733007
1018.53/1016.61	c cleaning 14015 clauses out of 28034 with flag 1747042/1747042
1028.93/1027.00	c cleaning 14015 clauses out of 28033 with flag 1761056/1761056
1039.93/1038.02	c cleaning 13984 clauses out of 27972 with flag 1775010/1775010
1049.34/1047.43	c cleaning 13997 clauses out of 27998 with flag 1789020/1789020
1058.84/1056.93	c cleaning 14002 clauses out of 28008 with flag 1803027/1803027
1067.44/1065.52	c cleaning 14022 clauses out of 28048 with flag 1817069/1817069
1076.95/1075.00	c cleaning 13982 clauses out of 27967 with flag 1831010/1831010
1086.35/1084.46	c cleaning 13995 clauses out of 27993 with flag 1845018/1845018
1095.95/1094.09	c cleaning 14007 clauses out of 28017 with flag 1859037/1859037
1106.56/1104.69	c cleaning 14017 clauses out of 28037 with flag 1873064/1873064
1116.96/1115.07	c cleaning 13985 clauses out of 27974 with flag 1887018/1887018
1128.68/1126.76	c cleaning 13997 clauses out of 27997 with flag 1901026/1901026
1141.28/1139.31	c cleaning 14015 clauses out of 28033 with flag 1915059/1915059
1152.98/1151.08	c cleaning 13978 clauses out of 27960 with flag 1929001/1929001
1164.99/1163.05	c cleaning 14002 clauses out of 28008 with flag 1943027/1943027
1177.59/1175.62	c cleaning 14000 clauses out of 28004 with flag 1957025/1957025
1190.60/1188.69	c cleaning 14002 clauses out of 28008 with flag 1971029/1971029
1204.00/1202.03	c cleaning 14039 clauses out of 28082 with flag 1985105/1985105
1214.71/1212.71	c cleaning 13968 clauses out of 27939 with flag 1999001/1999001
1223.32/1221.35	c cleaning 13990 clauses out of 27992 with flag 2013022/2013022
1232.22/1230.22	c cleaning 14011 clauses out of 28025 with flag 2027045/2027045
1240.33/1238.30	c cleaning 13992 clauses out of 27988 with flag 2041019/2041019
1247.44/1245.40	c cleaning 13987 clauses out of 27977 with flag 2055000/2055000
1254.64/1252.64	c cleaning 13993 clauses out of 27990 with flag 2069000/2069000
1262.15/1260.18	c cleaning 13997 clauses out of 27997 with flag 2083000/2083000
1269.55/1267.52	c cleaning 14016 clauses out of 28036 with flag 2097036/2097036
1277.05/1275.02	c cleaning 13995 clauses out of 27993 with flag 2111009/2111009
1285.56/1283.55	c cleaning 13993 clauses out of 27989 with flag 2125000/2125000
1293.26/1291.24	c cleaning 13996 clauses out of 27996 with flag 2139000/2139000
1301.77/1299.72	c cleaning 14011 clauses out of 28025 with flag 2153025/2153025
1310.67/1308.67	c cleaning 13999 clauses out of 28001 with flag 2167012/2167012
1319.90/1317.89	c cleaning 14005 clauses out of 28013 with flag 2181023/2181023
1329.28/1327.25	c cleaning 14002 clauses out of 28007 with flag 2195022/2195022
1336.59/1334.55	c cleaning 14003 clauses out of 28009 with flag 2209026/2209026
1344.89/1342.85	c cleaning 14004 clauses out of 28011 with flag 2223031/2223031
1354.49/1352.47	c cleaning 13993 clauses out of 27989 with flag 2237013/2237013
1364.50/1362.48	c cleaning 13990 clauses out of 27983 with flag 2251000/2251000
1374.92/1372.83	c cleaning 14024 clauses out of 28051 with flag 2265058/2265058
1384.51/1382.47	c cleaning 13983 clauses out of 27969 with flag 2279000/2279000
1393.21/1391.14	c cleaning 14007 clauses out of 28018 with flag 2293032/2293032
1402.02/1399.95	c cleaning 13989 clauses out of 27982 with flag 2307003/2307003
1411.82/1409.71	c cleaning 13993 clauses out of 27990 with flag 2321000/2321000
1421.83/1419.78	c cleaning 14018 clauses out of 28040 with flag 2335043/2335043
1431.73/1429.64	c cleaning 13991 clauses out of 27986 with flag 2349007/2349007
1440.73/1438.70	c cleaning 13992 clauses out of 27988 with flag 2363000/2363000
1451.26/1449.15	c cleaning 13997 clauses out of 27998 with flag 2377002/2377002
1463.06/1460.96	c cleaning 14006 clauses out of 28016 with flag 2391017/2391017
1474.99/1472.91	c cleaning 13997 clauses out of 27997 with flag 2405004/2405004
1486.88/1484.72	c cleaning 14026 clauses out of 28055 with flag 2419059/2419059
1498.49/1496.39	c cleaning 13989 clauses out of 27982 with flag 2433012/2433012
1508.59/1506.44	c cleaning 13989 clauses out of 27981 with flag 2447000/2447000
1518.09/1515.94	c cleaning 13997 clauses out of 27997 with flag 2461005/2461005
1527.70/1525.52	c cleaning 13997 clauses out of 27998 with flag 2475003/2475003
1537.30/1535.18	c cleaning 14033 clauses out of 28069 with flag 2489071/2489071
1546.10/1543.91	c cleaning 14005 clauses out of 28014 with flag 2503049/2503049
1556.81/1554.65	c cleaning 13978 clauses out of 27960 with flag 2517000/2517000
1568.11/1565.95	c cleaning 14001 clauses out of 28005 with flag 2531023/2531023
1578.11/1575.92	c cleaning 13989 clauses out of 27981 with flag 2545000/2545000
1589.31/1587.10	c cleaning 14025 clauses out of 28054 with flag 2559062/2559062
1602.52/1600.34	c cleaning 14026 clauses out of 28055 with flag 2573088/2573088
1613.74/1611.53	c cleaning 13972 clauses out of 27948 with flag 2587007/2587007
1625.93/1623.72	c cleaning 14004 clauses out of 28012 with flag 2601043/2601043
1636.13/1633.98	c cleaning 13997 clauses out of 27997 with flag 2615032/2615032
1647.44/1645.21	c cleaning 14020 clauses out of 28044 with flag 2629076/2629076
1659.87/1657.70	c cleaning 13977 clauses out of 27957 with flag 2643009/2643009
1672.95/1670.70	c cleaning 14002 clauses out of 28008 with flag 2657037/2657037
1682.36/1680.17	c cleaning 13986 clauses out of 27975 with flag 2671006/2671006
1693.57/1691.36	c cleaning 13990 clauses out of 27983 with flag 2685000/2685000
1704.38/1702.14	c cleaning 14002 clauses out of 28008 with flag 2699015/2699015
1716.18/1713.97	c cleaning 14006 clauses out of 28015 with flag 2713024/2713024
1728.10/1725.91	c cleaning 13994 clauses out of 27992 with flag 2727007/2727007
1738.69/1736.44	c cleaning 14003 clauses out of 28009 with flag 2741018/2741018
1749.89/1747.68	c cleaning 14002 clauses out of 28008 with flag 2755020/2755020
1763.79/1761.50	c cleaning 14024 clauses out of 28052 with flag 2769066/2769066
1775.80/1773.55	c cleaning 14023 clauses out of 28049 with flag 2783087/2783087
1787.62/1785.38	c cleaning 14000 clauses out of 28003 with flag 2797064/2797064
1800.03/1797.73	c starts		: 231
1800.03/1797.73	c conflicts		: 2810791
1800.03/1797.73	c decisions		: 18897361
1800.03/1797.73	c propagations		: 91600530
1800.03/1797.73	c inspects		: 5333660165
1800.03/1797.73	c shortcuts		: 0
1800.03/1797.73	c learnt literals	: 0
1800.03/1797.73	c learnt binary clauses	: 0
1800.03/1797.73	c learnt ternary clauses	: 301
1800.03/1797.73	c learnt constraints	: 2810790
1800.03/1797.73	c ignored constraints	: 0
1800.03/1797.73	c root simplifications	: 0
1800.03/1797.73	c removed literals (reason simplification)	: 56517508
1800.03/1797.73	c reason swapping (by a shorter reason)	: 0
1800.03/1797.73	c Calls to reduceDB	: 203
1800.03/1797.73	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.73	c number of learned constraints concerned by reduction	: 0
1800.03/1797.73	c number of learning phase by resolution	: 0
1800.03/1797.73	c number of learning phase by cutting planes	: 0
1800.03/1797.73	c speed (assignments/second)	: 50967.95714265047
1800.03/1797.73	c non guided choices	6378
1800.03/1797.75	c learnt constraints type 
1800.03/1797.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 27742
1800.03/1797.75	c constraints type 
1800.03/1797.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6226
1800.03/1797.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.03/1797.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.03/1797.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
1800.03/1797.75	s UNKNOWN
1800.03/1797.75	c Total wall clock time (in seconds): 1797.639

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-3457996-1307164231/watcher-3457996-1307164231 -o /tmp/evaluation-result-3457996-1307164231/solver-3457996-1307164231 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457996-1307164231.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.89 2.02 2.00 1/567 32246
/proc/meminfo: memFree=31853164/32950928 swapFree=43925852/67111528
[pid=32246] ppid=32244 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/32246/stat : 32246 (java) S 32244 32246 32216 0 -1 4202496 7911 0 1 0 0 1 0 0 25 0 2 0 828021913 13850947584 7614 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/32246/statm: 3381579 7627 917 9 0 3372735 0
[pid=32246/tid=32247] ppid=32244 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32247/stat : 32247 (java) R 32244 32246 32216 0 -1 4202560 7085 0 1 0 0 0 0 0 25 0 2 0 828021913 13850947584 7901 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0385259 s]
/proc/loadavg: 1.89 2.02 2.00 1/567 32246
/proc/meminfo: memFree=31853164/32950928 swapFree=43925852/67111528
[pid=32246] ppid=32244 vsize=13547424 CPUtime=0.02 cores=0,2,4,6
/proc/32246/stat : 32246 (java) S 32244 32246 32216 0 -1 4202496 13436 0 1 0 1 1 0 0 25 0 11 0 828021913 13872562176 13136 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/32246/statm: 3386856 13137 1592 9 0 3377604 0
[pid=32246/tid=32247] ppid=32244 vsize=13547424 CPUtime=0.02 cores=0,2,4,6
/proc/32246/task/32247/stat : 32247 (java) R 32244 32246 32216 0 -1 4202560 12314 0 1 0 1 1 0 0 25 0 11 0 828021913 13872562176 13137 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 47411567038469 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13547424

[startup+0.105336 s]
/proc/loadavg: 1.89 2.02 2.00 1/567 32246
/proc/meminfo: memFree=31853164/32950928 swapFree=43925852/67111528
[pid=32246] ppid=32244 vsize=13621228 CPUtime=0.1 cores=0,2,4,6
/proc/32246/stat : 32246 (java) S 32244 32246 32216 0 -1 4202496 15393 0 1 0 8 2 0 0 25 0 18 0 828021913 13948137472 15091 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32246/statm: 3405307 15091 2092 9 0 3396041 0
[pid=32246/tid=32247] ppid=32244 vsize=13621228 CPUtime=0.09 cores=0,2,4,6
/proc/32246/task/32247/stat : 32247 (java) R 32244 32246 32216 0 -1 4202560 13667 0 1 0 7 2 0 0 18 0 18 0 828021913 13948137472 15092 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 47411566584260 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621228

[startup+0.300531 s]
/proc/loadavg: 1.89 2.02 2.00 1/567 32246
/proc/meminfo: memFree=31853164/32950928 swapFree=43925852/67111528
[pid=32246] ppid=32244 vsize=13626136 CPUtime=0.46 cores=0,2,4,6
/proc/32246/stat : 32246 (java) S 32244 32246 32216 0 -1 4202496 18757 0 1 0 43 3 0 0 25 0 18 0 828021913 13953163264 18107 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32246/statm: 3406534 18107 2211 9 0 3397268 0
[pid=32246/tid=32247] ppid=32244 vsize=13626136 CPUtime=0.28 cores=0,2,4,6
/proc/32246/task/32247/stat : 32247 (java) R 32244 32246 32216 0 -1 4202560 15398 0 1 0 26 2 0 0 18 0 18 0 828021913 13953163264 18108 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 46912505219208 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) 13626136

[startup+0.700477 s]
/proc/loadavg: 1.89 2.02 2.00 1/567 32246
/proc/meminfo: memFree=31853164/32950928 swapFree=43925852/67111528
[pid=32246] ppid=32244 vsize=13632940 CPUtime=1.55 cores=0,2,4,6
/proc/32246/stat : 32246 (java) S 32244 32246 32216 0 -1 4202496 32239 0 1 0 150 5 0 0 25 0 19 0 828021913 13960130560 29684 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32246/statm: 3408235 29684 2238 9 0 3398969 0
[pid=32246/tid=32247] ppid=32244 vsize=13632940 CPUtime=0.68 cores=0,2,4,6
/proc/32246/task/32247/stat : 32247 (java) R 32244 32246 32216 0 -1 4202560 23086 0 1 0 65 3 0 0 19 0 19 0 828021913 13960130560 29684 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 46912505837898 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 13632940

[startup+1.50127 s]
/proc/loadavg: 1.89 2.02 2.00 3/609 32291
/proc/meminfo: memFree=31641808/32950928 swapFree=43925852/67111528
[pid=32246] ppid=32244 vsize=13632940 CPUtime=2.44 cores=0,2,4,6
/proc/32246/stat : 32246 (java) S 32244 32246 32216 0 -1 4202496 33429 0 1 0 239 5 0 0 25 0 19 0 828021913 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32246/statm: 3408235 30873 2242 9 0 3398969 0
[pid=32246/tid=32247] ppid=32244 vsize=13632940 CPUtime=1.48 cores=0,2,4,6
/proc/32246/task/32247/stat : 32247 (java) R 32244 32246 32216 0 -1 4202560 24190 0 1 0 144 4 0 0 20 0 19 0 828021913 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 46912505921088 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32246/tid=32257] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32257/stat : 32257 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021915 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32258] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32258/stat : 32258 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021915 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32259] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32259/stat : 32259 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021915 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32260] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32260/stat : 32260 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021915 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32261] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32261/stat : 32261 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021915 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32262] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32262/stat : 32262 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021915 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32263] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32263/stat : 32263 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021915 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32264] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32264/stat : 32264 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021915 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32265] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32265/stat : 32265 (java) S 32244 32246 32216 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828021916 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 0 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32267] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32267/stat : 32267 (java) S 32244 32246 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828021917 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32271] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32271/stat : 32271 (java) S 32244 32246 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828021917 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32280] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32280/stat : 32280 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021919 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284512689 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32281] ppid=32244 vsize=13632940 CPUtime=0.5 cores=0,2,4,6
/proc/32246/task/32281/stat : 32281 (java) S 32244 32246 32216 0 -1 4202560 4896 0 0 0 50 0 0 0 23 0 19 0 828021919 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32282] ppid=32244 vsize=13632940 CPUtime=0.43 cores=0,2,4,6
/proc/32246/task/32282/stat : 32282 (java) S 32244 32246 32216 0 -1 4202560 3184 0 0 0 43 0 0 0 22 0 19 0 828021919 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32283] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32283/stat : 32283 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021919 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32284] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32284/stat : 32284 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828021919 13960130560 30873 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32291] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32291/stat : 32291 (java) S 32244 32246 32216 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828021965 13960130560 30874 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 13632940

[startup+3.10109 s]
/proc/loadavg: 1.89 2.02 2.00 3/609 32291
/proc/meminfo: memFree=31627920/32950928 swapFree=43925852/67111528
[pid=32246] ppid=32244 vsize=13632940 CPUtime=4.09 cores=0,2,4,6
/proc/32246/stat : 32246 (java) S 32244 32246 32216 0 -1 4202496 39853 0 1 0 403 6 0 0 25 0 19 0 828021913 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32246/statm: 3408235 37287 2268 9 0 3398969 0
[pid=32246/tid=32247] ppid=32244 vsize=13632940 CPUtime=3.04 cores=0,2,4,6
/proc/32246/task/32247/stat : 32247 (java) R 32244 32246 32216 0 -1 4202560 25459 0 1 0 300 4 0 0 25 0 19 0 828021913 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 46912505835007 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32246/tid=32257] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32257/stat : 32257 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828021915 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32258] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32258/stat : 32258 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828021915 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32259] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32259/stat : 32259 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828021915 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32260] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32260/stat : 32260 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828021915 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32261] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32261/stat : 32261 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828021915 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32262] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32262/stat : 32262 (java) S 32244 32246 32216 0 -1 4202560 1146 0 0 0 0 0 0 0 18 0 19 0 828021915 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32263] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32263/stat : 32263 (java) S 32244 32246 32216 0 -1 4202560 693 0 0 0 0 0 0 0 18 0 19 0 828021915 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32264] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32264/stat : 32264 (java) S 32244 32246 32216 0 -1 4202560 756 0 0 0 0 0 0 0 18 0 19 0 828021915 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32265] ppid=32244 vsize=13632940 CPUtime=0.03 cores=0,2,4,6
/proc/32246/task/32265/stat : 32265 (java) S 32244 32246 32216 0 -1 4202560 2555 0 0 0 3 0 0 0 16 0 19 0 828021916 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 0 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32267] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32267/stat : 32267 (java) S 32244 32246 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828021917 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32271] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32271/stat : 32271 (java) S 32244 32246 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828021917 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32280] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32280/stat : 32280 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021919 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284512689 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32281] ppid=32244 vsize=13632940 CPUtime=0.52 cores=0,2,4,6
/proc/32246/task/32281/stat : 32281 (java) S 32244 32246 32216 0 -1 4202560 4902 0 0 0 52 0 0 0 16 0 19 0 828021919 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32282] ppid=32244 vsize=13632940 CPUtime=0.45 cores=0,2,4,6
/proc/32246/task/32282/stat : 32282 (java) S 32244 32246 32216 0 -1 4202560 3188 0 0 0 45 0 0 0 16 0 19 0 828021919 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32283] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32283/stat : 32283 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021919 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32284] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32284/stat : 32284 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828021919 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32291] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32291/stat : 32291 (java) S 32244 32246 32216 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828021965 13960130560 37287 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 13632940

[startup+6.30152 s]
/proc/loadavg: 1.90 2.02 2.00 3/609 32291
/proc/meminfo: memFree=31593468/32950928 swapFree=43925852/67111528
[pid=32246] ppid=32244 vsize=13632940 CPUtime=7.32 cores=0,2,4,6
/proc/32246/stat : 32246 (java) S 32244 32246 32216 0 -1 4202496 43658 0 1 0 726 6 0 0 25 0 19 0 828021913 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32246/statm: 3408235 41084 2268 9 0 3398969 0
[pid=32246/tid=32247] ppid=32244 vsize=13632940 CPUtime=6.2 cores=0,2,4,6
/proc/32246/task/32247/stat : 32247 (java) R 32244 32246 32216 0 -1 4202560 25463 0 1 0 616 4 0 0 25 0 19 0 828021913 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 46912505956450 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32246/tid=32257] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32257/stat : 32257 (java) S 32244 32246 32216 0 -1 4202560 828 0 0 0 0 0 0 0 15 0 19 0 828021915 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32258] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32258/stat : 32258 (java) S 32244 32246 32216 0 -1 4202560 709 0 0 0 0 0 0 0 16 0 19 0 828021915 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32259] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32259/stat : 32259 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828021915 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32260] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32260/stat : 32260 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828021915 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32261] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32261/stat : 32261 (java) S 32244 32246 32216 0 -1 4202560 697 0 0 0 0 0 0 0 15 0 19 0 828021915 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32262] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32262/stat : 32262 (java) S 32244 32246 32216 0 -1 4202560 1215 0 0 0 0 0 0 0 18 0 19 0 828021915 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32263] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32263/stat : 32263 (java) S 32244 32246 32216 0 -1 4202560 693 0 0 0 0 0 0 0 18 0 19 0 828021915 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32264] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32264/stat : 32264 (java) S 32244 32246 32216 0 -1 4202560 779 0 0 0 0 0 0 0 18 0 19 0 828021915 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32265] ppid=32244 vsize=13632940 CPUtime=0.06 cores=0,2,4,6
/proc/32246/task/32265/stat : 32265 (java) S 32244 32246 32216 0 -1 4202560 4029 0 0 0 6 0 0 0 16 0 19 0 828021916 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 0 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32267] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32267/stat : 32267 (java) S 32244 32246 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828021917 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32271] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32271/stat : 32271 (java) S 32244 32246 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828021917 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32280] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32280/stat : 32280 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021919 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284512689 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32281] ppid=32244 vsize=13632940 CPUtime=0.53 cores=0,2,4,6
/proc/32246/task/32281/stat : 32281 (java) S 32244 32246 32216 0 -1 4202560 4904 0 0 0 53 0 0 0 15 0 19 0 828021919 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32282] ppid=32244 vsize=13632940 CPUtime=0.46 cores=0,2,4,6
/proc/32246/task/32282/stat : 32282 (java) S 32244 32246 32216 0 -1 4202560 3190 0 0 0 46 0 0 0 15 0 19 0 828021919 13960130560 41084 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0

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

[pid=32246/tid=32262] ppid=32244 vsize=13632940 CPUtime=0.2 cores=0,2,4,6
/proc/32246/task/32262/stat : 32262 (java) S 32244 32246 32216 0 -1 4202560 2351 0 0 0 20 0 0 0 16 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32263] ppid=32244 vsize=13632940 CPUtime=0.22 cores=0,2,4,6
/proc/32246/task/32263/stat : 32263 (java) S 32244 32246 32216 0 -1 4202560 1449 0 0 0 22 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32264] ppid=32244 vsize=13632940 CPUtime=0.27 cores=0,2,4,6
/proc/32246/task/32264/stat : 32264 (java) S 32244 32246 32216 0 -1 4202560 1522 0 0 0 27 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32265] ppid=32244 vsize=13632940 CPUtime=7.83 cores=0,2,4,6
/proc/32246/task/32265/stat : 32265 (java) S 32244 32246 32216 0 -1 4202560 10007 0 0 0 780 3 0 0 15 0 19 0 828021916 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 0 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32267] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32267/stat : 32267 (java) S 32244 32246 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828021917 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32271] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32271/stat : 32271 (java) S 32244 32246 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828021917 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32280] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32280/stat : 32280 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284512689 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32281] ppid=32244 vsize=13632940 CPUtime=0.54 cores=0,2,4,6
/proc/32246/task/32281/stat : 32281 (java) S 32244 32246 32216 0 -1 4202560 4904 0 0 0 54 0 0 0 15 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32282] ppid=32244 vsize=13632940 CPUtime=0.55 cores=0,2,4,6
/proc/32246/task/32282/stat : 32282 (java) S 32244 32246 32216 0 -1 4202560 3205 0 0 0 55 0 0 0 15 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32283] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32283/stat : 32283 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32284] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32284/stat : 32284 (java) S 32244 32246 32216 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 4 0 16800975 18446604440533859136 0 0 -1 0 0 0 0
[pid=32246/tid=32291] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32291/stat : 32291 (java) S 32244 32246 32216 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828021965 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.58
Current children cumulated vsize (KiB) 13632940

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/609 32339
/proc/meminfo: memFree=31485244/32950928 swapFree=43925852/67111528
[pid=32246] ppid=32244 vsize=13632940 CPUtime=1784.6 cores=0,2,4,6
/proc/32246/stat : 32246 (java) S 32244 32246 32216 0 -1 4202496 55824 0 1 0 178444 16 0 0 25 0 19 0 828021913 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32246/statm: 3408235 52832 2269 9 0 3398969 0
[pid=32246/tid=32247] ppid=32244 vsize=13632940 CPUtime=1773.58 cores=0,2,4,6
/proc/32246/task/32247/stat : 32247 (java) R 32244 32246 32216 0 -1 4202560 25663 0 1 0 177350 8 0 0 25 0 19 0 828021913 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 46912505697933 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32246/tid=32257] ppid=32244 vsize=13632940 CPUtime=0.21 cores=0,2,4,6
/proc/32246/task/32257/stat : 32257 (java) S 32244 32246 32216 0 -1 4202560 1021 0 0 0 21 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 0 0 0 0
[pid=32246/tid=32258] ppid=32244 vsize=13632940 CPUtime=0.23 cores=0,2,4,6
/proc/32246/task/32258/stat : 32258 (java) S 32244 32246 32216 0 -1 4202560 1433 0 0 0 23 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 0 0 0 0
[pid=32246/tid=32259] ppid=32244 vsize=13632940 CPUtime=0.23 cores=0,2,4,6
/proc/32246/task/32259/stat : 32259 (java) S 32244 32246 32216 0 -1 4202560 664 0 0 0 23 0 0 0 16 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32260] ppid=32244 vsize=13632940 CPUtime=0.22 cores=0,2,4,6
/proc/32246/task/32260/stat : 32260 (java) S 32244 32246 32216 0 -1 4202560 721 0 0 0 22 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32261] ppid=32244 vsize=13632940 CPUtime=0.21 cores=0,2,4,6
/proc/32246/task/32261/stat : 32261 (java) S 32244 32246 32216 0 -1 4202560 1629 0 0 0 21 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32262] ppid=32244 vsize=13632940 CPUtime=0.21 cores=0,2,4,6
/proc/32246/task/32262/stat : 32262 (java) S 32244 32246 32216 0 -1 4202560 2351 0 0 0 21 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32263] ppid=32244 vsize=13632940 CPUtime=0.22 cores=0,2,4,6
/proc/32246/task/32263/stat : 32263 (java) S 32244 32246 32216 0 -1 4202560 1449 0 0 0 22 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32264] ppid=32244 vsize=13632940 CPUtime=0.27 cores=0,2,4,6
/proc/32246/task/32264/stat : 32264 (java) S 32244 32246 32216 0 -1 4202560 1522 0 0 0 27 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32265] ppid=32244 vsize=13632940 CPUtime=8.03 cores=0,2,4,6
/proc/32246/task/32265/stat : 32265 (java) S 32244 32246 32216 0 -1 4202560 10009 0 0 0 800 3 0 0 15 0 19 0 828021916 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 0 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32267] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32267/stat : 32267 (java) S 32244 32246 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828021917 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32271] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32271/stat : 32271 (java) S 32244 32246 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828021917 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32280] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32280/stat : 32280 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284512689 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32281] ppid=32244 vsize=13632940 CPUtime=0.54 cores=0,2,4,6
/proc/32246/task/32281/stat : 32281 (java) S 32244 32246 32216 0 -1 4202560 4904 0 0 0 54 0 0 0 15 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32282] ppid=32244 vsize=13632940 CPUtime=0.55 cores=0,2,4,6
/proc/32246/task/32282/stat : 32282 (java) S 32244 32246 32216 0 -1 4202560 3205 0 0 0 55 0 0 0 15 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32283] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32283/stat : 32283 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32284] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32284/stat : 32284 (java) S 32244 32246 32216 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 4 0 16800975 18446604440533859136 0 0 -1 0 0 0 0
[pid=32246/tid=32291] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32291/stat : 32291 (java) S 32244 32246 32216 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828021965 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.6
Current children cumulated vsize (KiB) 13632940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.7 s]
/proc/loadavg: 2.00 2.04 2.00 3/609 32339
/proc/meminfo: memFree=31485472/32950928 swapFree=43925852/67111528
[pid=32246] ppid=32244 vsize=13632940 CPUtime=1800.03 cores=0,2,4,6
/proc/32246/stat : 32246 (java) S 32244 32246 32216 0 -1 4202496 55827 0 1 0 179987 16 0 0 25 0 19 0 828021913 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32246/statm: 3408235 52832 2269 9 0 3398969 0
[pid=32246/tid=32247] ppid=32244 vsize=13632940 CPUtime=1788.96 cores=0,2,4,6
/proc/32246/task/32247/stat : 32247 (java) R 32244 32246 32216 0 -1 4202560 25664 0 1 0 178888 8 0 0 25 0 19 0 828021913 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 46912505572295 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32246/tid=32257] ppid=32244 vsize=13632940 CPUtime=0.21 cores=0,2,4,6
/proc/32246/task/32257/stat : 32257 (java) S 32244 32246 32216 0 -1 4202560 1021 0 0 0 21 0 0 0 16 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 0 0 0 0
[pid=32246/tid=32258] ppid=32244 vsize=13632940 CPUtime=0.23 cores=0,2,4,6
/proc/32246/task/32258/stat : 32258 (java) S 32244 32246 32216 0 -1 4202560 1433 0 0 0 23 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 0 0 0 0
[pid=32246/tid=32259] ppid=32244 vsize=13632940 CPUtime=0.23 cores=0,2,4,6
/proc/32246/task/32259/stat : 32259 (java) S 32244 32246 32216 0 -1 4202560 664 0 0 0 23 0 0 0 16 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32260] ppid=32244 vsize=13632940 CPUtime=0.22 cores=0,2,4,6
/proc/32246/task/32260/stat : 32260 (java) S 32244 32246 32216 0 -1 4202560 721 0 0 0 22 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32261] ppid=32244 vsize=13632940 CPUtime=0.21 cores=0,2,4,6
/proc/32246/task/32261/stat : 32261 (java) S 32244 32246 32216 0 -1 4202560 1629 0 0 0 21 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32262] ppid=32244 vsize=13632940 CPUtime=0.21 cores=0,2,4,6
/proc/32246/task/32262/stat : 32262 (java) S 32244 32246 32216 0 -1 4202560 2351 0 0 0 21 0 0 0 16 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32263] ppid=32244 vsize=13632940 CPUtime=0.22 cores=0,2,4,6
/proc/32246/task/32263/stat : 32263 (java) S 32244 32246 32216 0 -1 4202560 1449 0 0 0 22 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32264] ppid=32244 vsize=13632940 CPUtime=0.27 cores=0,2,4,6
/proc/32246/task/32264/stat : 32264 (java) S 32244 32246 32216 0 -1 4202560 1522 0 0 0 27 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32265] ppid=32244 vsize=13632940 CPUtime=8.07 cores=0,2,4,6
/proc/32246/task/32265/stat : 32265 (java) S 32244 32246 32216 0 -1 4202560 10011 0 0 0 804 3 0 0 15 0 19 0 828021916 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 0 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32267] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32267/stat : 32267 (java) S 32244 32246 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828021917 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32271] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32271/stat : 32271 (java) S 32244 32246 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828021917 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32280] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32280/stat : 32280 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284512689 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32281] ppid=32244 vsize=13632940 CPUtime=0.54 cores=0,2,4,6
/proc/32246/task/32281/stat : 32281 (java) S 32244 32246 32216 0 -1 4202560 4904 0 0 0 54 0 0 0 15 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32282] ppid=32244 vsize=13632940 CPUtime=0.55 cores=0,2,4,6
/proc/32246/task/32282/stat : 32282 (java) S 32244 32246 32216 0 -1 4202560 3205 0 0 0 55 0 0 0 15 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32283] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32283/stat : 32283 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32284] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32284/stat : 32284 (java) S 32244 32246 32216 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 4 0 16800975 18446604440533859136 0 0 -1 0 0 0 0
[pid=32246/tid=32291] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32291/stat : 32291 (java) S 32244 32246 32216 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828021965 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13632940

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

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

[startup+1797.7 s]
/proc/loadavg: 2.00 2.04 2.00 3/609 32339
/proc/meminfo: memFree=31485472/32950928 swapFree=43925852/67111528
[pid=32246] ppid=32244 vsize=13632940 CPUtime=1800.03 cores=0,2,4,6
/proc/32246/stat : 32246 (java) S 32244 32246 32216 0 -1 4202496 55827 0 1 0 179987 16 0 0 25 0 19 0 828021913 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32246/statm: 3408235 52832 2269 9 0 3398969 0
[pid=32246/tid=32247] ppid=32244 vsize=13632940 CPUtime=1788.96 cores=0,2,4,6
/proc/32246/task/32247/stat : 32247 (java) R 32244 32246 32216 0 -1 4202560 25664 0 1 0 178888 8 0 0 25 0 19 0 828021913 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 46912505572295 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32246/tid=32257] ppid=32244 vsize=13632940 CPUtime=0.21 cores=0,2,4,6
/proc/32246/task/32257/stat : 32257 (java) S 32244 32246 32216 0 -1 4202560 1021 0 0 0 21 0 0 0 16 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 0 0 0 0
[pid=32246/tid=32258] ppid=32244 vsize=13632940 CPUtime=0.23 cores=0,2,4,6
/proc/32246/task/32258/stat : 32258 (java) S 32244 32246 32216 0 -1 4202560 1433 0 0 0 23 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 0 0 0 0
[pid=32246/tid=32259] ppid=32244 vsize=13632940 CPUtime=0.23 cores=0,2,4,6
/proc/32246/task/32259/stat : 32259 (java) S 32244 32246 32216 0 -1 4202560 664 0 0 0 23 0 0 0 16 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32260] ppid=32244 vsize=13632940 CPUtime=0.22 cores=0,2,4,6
/proc/32246/task/32260/stat : 32260 (java) S 32244 32246 32216 0 -1 4202560 721 0 0 0 22 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32261] ppid=32244 vsize=13632940 CPUtime=0.21 cores=0,2,4,6
/proc/32246/task/32261/stat : 32261 (java) S 32244 32246 32216 0 -1 4202560 1629 0 0 0 21 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32262] ppid=32244 vsize=13632940 CPUtime=0.21 cores=0,2,4,6
/proc/32246/task/32262/stat : 32262 (java) S 32244 32246 32216 0 -1 4202560 2351 0 0 0 21 0 0 0 16 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32263] ppid=32244 vsize=13632940 CPUtime=0.22 cores=0,2,4,6
/proc/32246/task/32263/stat : 32263 (java) S 32244 32246 32216 0 -1 4202560 1449 0 0 0 22 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32264] ppid=32244 vsize=13632940 CPUtime=0.27 cores=0,2,4,6
/proc/32246/task/32264/stat : 32264 (java) S 32244 32246 32216 0 -1 4202560 1522 0 0 0 27 0 0 0 15 0 19 0 828021915 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32265] ppid=32244 vsize=13632940 CPUtime=8.07 cores=0,2,4,6
/proc/32246/task/32265/stat : 32265 (java) S 32244 32246 32216 0 -1 4202560 10011 0 0 0 804 3 0 0 15 0 19 0 828021916 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 0 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32267] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32267/stat : 32267 (java) S 32244 32246 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828021917 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32271] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32271/stat : 32271 (java) S 32244 32246 32216 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828021917 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32280] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32280/stat : 32280 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284512689 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32281] ppid=32244 vsize=13632940 CPUtime=0.54 cores=0,2,4,6
/proc/32246/task/32281/stat : 32281 (java) S 32244 32246 32216 0 -1 4202560 4904 0 0 0 54 0 0 0 15 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
[pid=32246/tid=32282] ppid=32244 vsize=13632940 CPUtime=0.55 cores=0,2,4,6
/proc/32246/task/32282/stat : 32282 (java) S 32244 32246 32216 0 -1 4202560 3205 0 0 0 55 0 0 0 15 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 4 0 0 0
[pid=32246/tid=32283] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32283/stat : 32283 (java) S 32244 32246 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284504985 0 4 0 16800975 18446604440533859136 0 0 -1 2 0 0 0
[pid=32246/tid=32284] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32284/stat : 32284 (java) S 32244 32246 32216 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 828021919 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 4 0 16800975 18446604440533859136 0 0 -1 0 0 0 0
[pid=32246/tid=32291] ppid=32244 vsize=13632940 CPUtime=0 cores=0,2,4,6
/proc/32246/task/32291/stat : 32291 (java) S 32244 32246 32216 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828021965 13960130560 52832 33554432000 1073741824 1073778376 140733600459328 18446744073709551615 268284505600 0 4 0 16800975 18446604440533859136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13632940

Child status: 143
Real time (s): 1797.77
CPU time (s): 1800.11
CPU user time (s): 1799.93
CPU system time (s): 0.171973
CPU usage (%): 100.13
Max. virtual memory (cumulated for all children) (KiB): 13632940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.171973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55873
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= 42928
involuntary context switches= 8180

runsolver used 10.8094 second user time and 24.0004 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-04 07:10:31
IDJOB=3457996
IDBENCH=48321
IDSOLVER=1952
FILE ID=node122/3457996-1307164231
RUNJOBID= node122-1307164231-32234
PBS_JOBID= 13508834
Free space on /tmp= 73812 MiB

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

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

MD5SUM BENCH= eb83986855f475edbe62b7e6495068f1
RANDOM SEED=1175142248

node122.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.820
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.820
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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.83
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.820
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.820
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.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31853320 kB
Buffers:        316092 kB
Cached:         444032 kB
SwapCached:      16832 kB
Active:         343864 kB
Inactive:       437300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31853320 kB
SwapTotal:    67111528 kB
SwapFree:     43925852 kB
Dirty:             460 kB
Writeback:           0 kB
AnonPages:       18312 kB
Mapped:           7640 kB
Slab:           150112 kB
PageTables:      93116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 180711376 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= 73812 MiB
End job on node122 at 2011-06-04 07:40:31