Trace number 3458034

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2.3.0? (TO) 1800.17 1797.56

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_2_40.opb
MD5SUMff64c7b9cef588c95a335f732f2d905b
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)12440
Sum of products size (including duplicates)24880
Number of different products6220
Sum of products size12440

Solver Data 

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		12995394264
0.03/0.09	c Max memory 		13063553024
0.03/0.09	c Total memory 		13063553024
0.03/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3458034-1307165132.opb
0.11/0.11	c reading problem ... 
0.52/0.51	c ... done. Wall clock time 0.402s.
0.52/0.51	c #vars     6620
0.52/0.51	c #constraints  13043
0.52/0.51	c constraints type 
0.52/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6220
0.52/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
0.52/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.52/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6220
3.66/2.72	c cleaning 2510 clauses out of 5020 with flag 5020/5020
6.92/5.97	c cleaning 4245 clauses out of 8490 with flag 11000/11000
10.73/9.79	c cleaning 5623 clauses out of 11245 with flag 18000/18000
14.74/13.76	c cleaning 6841 clauses out of 13681 with flag 26059/26059
18.57/17.51	c cleaning 7897 clauses out of 15796 with flag 35015/35015
26.57/25.50	c cleaning 8946 clauses out of 17892 with flag 45008/45008
34.78/33.73	c cleaning 9975 clauses out of 19953 with flag 56015/56015
44.43/43.30	c cleaning 10981 clauses out of 21965 with flag 68002/68002
50.64/49.57	c cleaning 11990 clauses out of 23983 with flag 81001/81001
57.24/56.15	c cleaning 13000 clauses out of 26004 with flag 95012/95012
64.85/63.70	c cleaning 13494 clauses out of 26992 with flag 109000/109000
72.26/71.14	c cleaning 13752 clauses out of 27506 with flag 123008/123008
78.97/77.84	c cleaning 13885 clauses out of 27774 with flag 137028/137028
84.78/83.70	c cleaning 13936 clauses out of 27876 with flag 151015/151015
90.41/89.27	c cleaning 13970 clauses out of 27943 with flag 165018/165018
99.23/98.02	c cleaning 13994 clauses out of 27990 with flag 179035/179035
110.62/109.45	c cleaning 13985 clauses out of 27971 with flag 193010/193010
122.83/121.65	c cleaning 13988 clauses out of 27980 with flag 207004/207004
128.74/127.58	c cleaning 13998 clauses out of 27999 with flag 221011/221011
135.25/134.09	c cleaning 13999 clauses out of 28001 with flag 235011/235011
141.16/139.92	c cleaning 14000 clauses out of 28004 with flag 249013/249013
148.37/147.19	c cleaning 13995 clauses out of 27993 with flag 263002/263002
158.87/157.60	c cleaning 13996 clauses out of 27996 with flag 277000/277000
163.78/162.57	c cleaning 14001 clauses out of 28005 with flag 291005/291005
170.19/168.97	c cleaning 13998 clauses out of 28000 with flag 305001/305001
176.70/175.42	c cleaning 14000 clauses out of 28004 with flag 319003/319003
182.50/181.22	c cleaning 13999 clauses out of 28002 with flag 333001/333001
189.30/188.03	c cleaning 14009 clauses out of 28021 with flag 347019/347019
195.11/193.88	c cleaning 14005 clauses out of 28014 with flag 361021/361021
201.91/200.69	c cleaning 13993 clauses out of 27989 with flag 375001/375001
209.61/208.38	c cleaning 14000 clauses out of 28003 with flag 389008/389008
220.01/218.75	c cleaning 14031 clauses out of 28063 with flag 403068/403068
226.82/225.59	c cleaning 13991 clauses out of 27985 with flag 417021/417021
232.22/230.97	c cleaning 13996 clauses out of 27993 with flag 431020/431020
238.03/236.73	c cleaning 13994 clauses out of 27992 with flag 445015/445015
243.73/242.48	c cleaning 13990 clauses out of 27984 with flag 459001/459001
249.64/248.31	c cleaning 14013 clauses out of 28028 with flag 473035/473035
255.14/253.85	c cleaning 13991 clauses out of 27986 with flag 487006/487006
261.06/259.74	c cleaning 13998 clauses out of 27997 with flag 501008/501008
267.67/266.34	c cleaning 14000 clauses out of 27999 with flag 515008/515008
274.46/273.19	c cleaning 13994 clauses out of 27992 with flag 529001/529001
281.07/279.72	c cleaning 14002 clauses out of 28006 with flag 543009/543009
288.28/286.97	c cleaning 13999 clauses out of 28000 with flag 557005/557005
295.59/294.22	c cleaning 14019 clauses out of 28038 with flag 571042/571042
303.39/302.06	c cleaning 14000 clauses out of 28002 with flag 585025/585025
310.50/309.18	c cleaning 13995 clauses out of 27993 with flag 599016/599016
317.01/315.63	c cleaning 14014 clauses out of 28031 with flag 613049/613049
323.32/321.99	c cleaning 14000 clauses out of 28004 with flag 627036/627036
329.73/328.37	c cleaning 13984 clauses out of 27972 with flag 641004/641004
336.54/335.14	c cleaning 13991 clauses out of 27985 with flag 655001/655001
342.85/341.44	c cleaning 13996 clauses out of 27993 with flag 669000/669000
349.76/348.33	c cleaning 14022 clauses out of 28045 with flag 683048/683048
356.77/355.35	c cleaning 13991 clauses out of 27983 with flag 697008/697008
364.29/362.80	c cleaning 13994 clauses out of 27990 with flag 711006/711006
371.70/370.26	c cleaning 13998 clauses out of 27999 with flag 725009/725009
378.10/376.63	c cleaning 14000 clauses out of 28001 with flag 739009/739009
385.01/383.50	c cleaning 14023 clauses out of 28045 with flag 753053/753053
392.72/391.24	c cleaning 13995 clauses out of 27993 with flag 767024/767024
400.22/398.76	c cleaning 13994 clauses out of 27989 with flag 781015/781015
406.73/405.20	c cleaning 13990 clauses out of 27983 with flag 795003/795003
412.74/411.25	c cleaning 14003 clauses out of 28006 with flag 809016/809016
419.05/417.59	c cleaning 14005 clauses out of 28012 with flag 823025/823025
426.06/424.50	c cleaning 14009 clauses out of 28019 with flag 837037/837037
433.77/432.24	c cleaning 14007 clauses out of 28014 with flag 851041/851041
440.98/439.44	c cleaning 13991 clauses out of 27984 with flag 865018/865018
448.69/447.14	c cleaning 14017 clauses out of 28035 with flag 879060/879060
456.20/454.62	c cleaning 13987 clauses out of 27977 with flag 893019/893019
463.00/461.49	c cleaning 13997 clauses out of 27997 with flag 907026/907026
469.94/468.34	c cleaning 13989 clauses out of 27981 with flag 921007/921007
476.35/474.77	c cleaning 13991 clauses out of 27985 with flag 935000/935000
483.27/481.67	c cleaning 13997 clauses out of 27999 with flag 949005/949005
490.98/489.32	c cleaning 14008 clauses out of 28018 with flag 963021/963021
498.29/496.68	c cleaning 14005 clauses out of 28014 with flag 977025/977025
505.00/503.35	c cleaning 14004 clauses out of 28012 with flag 991028/991028
512.01/510.35	c cleaning 14009 clauses out of 28020 with flag 1005040/1005040
519.42/517.78	c cleaning 13990 clauses out of 27983 with flag 1019012/1019012
526.55/524.85	c cleaning 14010 clauses out of 28019 with flag 1033038/1033038
533.54/531.84	c cleaning 13992 clauses out of 27987 with flag 1047016/1047016
540.95/539.28	c cleaning 14010 clauses out of 28022 with flag 1061043/1061043
548.35/546.68	c cleaning 13988 clauses out of 27980 with flag 1075011/1075011
555.37/553.61	c cleaning 14001 clauses out of 28004 with flag 1089023/1089023
561.38/559.67	c cleaning 14013 clauses out of 28028 with flag 1103048/1103048
567.98/566.28	c cleaning 14010 clauses out of 28022 with flag 1117055/1117055
574.89/573.17	c cleaning 13983 clauses out of 27969 with flag 1131012/1131012
583.09/581.30	c cleaning 13995 clauses out of 27991 with flag 1145017/1145017
589.99/588.21	c cleaning 13999 clauses out of 27999 with flag 1159020/1159020
597.10/595.37	c cleaning 13995 clauses out of 27991 with flag 1173011/1173011
604.11/602.32	c cleaning 13994 clauses out of 27992 with flag 1187007/1187007
610.81/609.02	c cleaning 13998 clauses out of 27997 with flag 1201006/1201006
619.13/617.39	c cleaning 14006 clauses out of 28013 with flag 1215020/1215020
626.40/624.64	c cleaning 13995 clauses out of 27993 with flag 1229006/1229006
633.71/631.90	c cleaning 14002 clauses out of 28005 with flag 1243013/1243013
641.32/639.59	c cleaning 14004 clauses out of 28008 with flag 1257018/1257018
648.92/647.15	c cleaning 14021 clauses out of 28043 with flag 1271057/1271057
657.03/655.20	c cleaning 13995 clauses out of 27992 with flag 1285027/1285027
665.04/663.26	c cleaning 14006 clauses out of 28014 with flag 1299044/1299044
673.15/671.30	c cleaning 13989 clauses out of 27980 with flag 1313016/1313016
681.15/679.38	c cleaning 13988 clauses out of 27978 with flag 1327003/1327003
687.76/685.91	c cleaning 14015 clauses out of 28034 with flag 1341047/1341047
694.26/692.40	c cleaning 13991 clauses out of 27986 with flag 1355014/1355014
701.16/699.35	c cleaning 13996 clauses out of 27995 with flag 1369014/1369014
708.37/706.54	c cleaning 14006 clauses out of 28014 with flag 1383029/1383029
715.68/713.81	c cleaning 13997 clauses out of 27998 with flag 1397019/1397019
723.09/721.29	c cleaning 14024 clauses out of 28050 with flag 1411068/1411068
730.09/728.22	c cleaning 13986 clauses out of 27976 with flag 1425018/1425018
737.40/735.56	c cleaning 13990 clauses out of 27982 with flag 1439010/1439010
744.70/742.82	c cleaning 14008 clauses out of 28018 with flag 1453036/1453036
752.01/750.20	c cleaning 13996 clauses out of 27996 with flag 1467022/1467022
758.83/756.94	c cleaning 13989 clauses out of 27981 with flag 1481003/1481003
765.62/763.74	c cleaning 14005 clauses out of 28012 with flag 1495023/1495023
772.44/770.54	c cleaning 14008 clauses out of 28017 with flag 1509033/1509033
779.44/777.60	c cleaning 14005 clauses out of 28011 with flag 1523035/1523035
785.95/784.09	c cleaning 13994 clauses out of 27991 with flag 1537020/1537020
792.16/790.22	c cleaning 14002 clauses out of 28005 with flag 1551028/1551028
798.77/796.87	c cleaning 13987 clauses out of 27978 with flag 1565003/1565003
806.47/804.59	c cleaning 14005 clauses out of 28010 with flag 1579022/1579022
813.39/811.40	c cleaning 13994 clauses out of 27990 with flag 1593007/1593007
820.39/818.48	c cleaning 14029 clauses out of 28059 with flag 1607070/1607070
827.59/825.67	c cleaning 14003 clauses out of 28008 with flag 1621048/1621048
834.50/832.56	c cleaning 13978 clauses out of 27960 with flag 1635003/1635003
841.31/839.36	c cleaning 13990 clauses out of 27981 with flag 1649002/1649002
848.02/846.06	c cleaning 14009 clauses out of 28019 with flag 1663030/1663030
856.31/854.35	c cleaning 14026 clauses out of 28052 with flag 1677072/1677072
864.71/862.72	c cleaning 13992 clauses out of 27985 with flag 1691031/1691031
872.62/870.68	c cleaning 13993 clauses out of 27987 with flag 1705025/1705025
880.83/878.82	c cleaning 14001 clauses out of 28003 with flag 1719034/1719034
889.23/887.28	c cleaning 13992 clauses out of 27985 with flag 1733017/1733017
898.13/896.14	c cleaning 14022 clauses out of 28045 with flag 1747069/1747069
906.63/904.63	c cleaning 13984 clauses out of 27970 with flag 1761016/1761016
915.64/913.67	c cleaning 13998 clauses out of 27999 with flag 1775029/1775029
922.44/920.43	c cleaning 13985 clauses out of 27974 with flag 1789002/1789002
929.46/927.44	c cleaning 14005 clauses out of 28012 with flag 1803025/1803025
937.35/935.30	c cleaning 14014 clauses out of 28030 with flag 1817048/1817048
944.96/942.97	c cleaning 14005 clauses out of 28011 with flag 1831043/1831043
952.77/950.71	c cleaning 13991 clauses out of 27983 with flag 1845020/1845020
960.57/958.53	c cleaning 14000 clauses out of 28002 with flag 1859030/1859030
968.87/966.85	c cleaning 14009 clauses out of 28020 with flag 1873048/1873048
978.58/976.56	c cleaning 13980 clauses out of 27964 with flag 1887001/1887001
987.79/985.73	c cleaning 14011 clauses out of 28024 with flag 1901041/1901041
996.98/994.93	c cleaning 14006 clauses out of 28011 with flag 1915039/1915039
1005.79/1003.79	c cleaning 14012 clauses out of 28026 with flag 1929060/1929060
1014.49/1012.42	c cleaning 13992 clauses out of 27985 with flag 1943031/1943031
1023.30/1021.28	c cleaning 14003 clauses out of 28008 with flag 1957046/1957046
1032.30/1030.29	c cleaning 14008 clauses out of 28017 with flag 1971058/1971058
1041.31/1039.25	c cleaning 14002 clauses out of 28006 with flag 1985055/1985055
1049.82/1047.70	c cleaning 13977 clauses out of 27958 with flag 1999009/1999009
1057.32/1055.23	c cleaning 13994 clauses out of 27991 with flag 2013019/2013019
1064.43/1062.32	c cleaning 13994 clauses out of 27992 with flag 2027014/2027014
1071.34/1069.25	c cleaning 14013 clauses out of 28027 with flag 2041043/2041043
1078.44/1076.38	c cleaning 13989 clauses out of 27982 with flag 2055011/2055011
1085.55/1083.43	c cleaning 13997 clauses out of 27995 with flag 2069013/2069013
1092.96/1090.80	c cleaning 13993 clauses out of 27989 with flag 2083004/2083004
1099.46/1097.38	c cleaning 14001 clauses out of 28006 with flag 2097014/2097014
1107.17/1105.03	c cleaning 14007 clauses out of 28016 with flag 2111025/2111025
1114.17/1112.11	c cleaning 14009 clauses out of 28019 with flag 2125035/2125035
1121.48/1119.33	c cleaning 13994 clauses out of 27989 with flag 2139014/2139014
1128.59/1126.45	c cleaning 14001 clauses out of 28002 with flag 2153021/2153021
1135.60/1133.44	c cleaning 13999 clauses out of 27999 with flag 2167019/2167019
1143.20/1141.10	c cleaning 14016 clauses out of 28034 with flag 2181053/2181053
1151.40/1149.27	c cleaning 13987 clauses out of 27977 with flag 2195012/2195012
1158.71/1156.53	c cleaning 13991 clauses out of 27983 with flag 2209005/2209005
1166.02/1163.81	c cleaning 14006 clauses out of 28013 with flag 2223026/2223026
1174.52/1172.34	c cleaning 13998 clauses out of 27997 with flag 2237016/2237016
1181.82/1179.68	c cleaning 13993 clauses out of 27988 with flag 2251005/2251005
1189.33/1187.13	c cleaning 14011 clauses out of 28023 with flag 2265033/2265033
1197.14/1194.96	c cleaning 13994 clauses out of 27990 with flag 2279011/2279011
1204.34/1202.18	c cleaning 13995 clauses out of 27991 with flag 2293006/2293006
1210.84/1208.60	c cleaning 14016 clauses out of 28034 with flag 2307044/2307044
1218.04/1215.81	c cleaning 13985 clauses out of 27974 with flag 2321000/2321000
1224.95/1222.74	c cleaning 14004 clauses out of 28007 with flag 2335018/2335018
1232.17/1229.99	c cleaning 14010 clauses out of 28019 with flag 2349034/2349034
1239.36/1237.12	c cleaning 14018 clauses out of 28038 with flag 2363063/2363063
1246.96/1244.72	c cleaning 13982 clauses out of 27967 with flag 2377010/2377010
1254.57/1252.37	c cleaning 14001 clauses out of 28004 with flag 2391029/2391029
1262.58/1260.39	c cleaning 14019 clauses out of 28039 with flag 2405065/2405065
1270.19/1267.98	c cleaning 13987 clauses out of 27975 with flag 2419020/2419020
1277.99/1275.70	c cleaning 13984 clauses out of 27970 with flag 2433002/2433002
1284.79/1282.51	c cleaning 13999 clauses out of 28002 with flag 2447018/2447018
1291.39/1289.12	c cleaning 14003 clauses out of 28007 with flag 2461022/2461022
1297.80/1295.57	c cleaning 14006 clauses out of 28014 with flag 2475032/2475032
1304.60/1302.38	c cleaning 14001 clauses out of 28006 with flag 2489030/2489030
1312.30/1310.07	c cleaning 13999 clauses out of 27999 with flag 2503024/2503024
1320.01/1317.77	c cleaning 14009 clauses out of 28020 with flag 2517044/2517044
1327.81/1325.57	c cleaning 13997 clauses out of 27997 with flag 2531030/2531030
1336.01/1333.79	c cleaning 14001 clauses out of 28006 with flag 2545036/2545036
1343.92/1341.69	c cleaning 14004 clauses out of 28010 with flag 2559041/2559041
1351.62/1349.37	c cleaning 14033 clauses out of 28065 with flag 2573100/2573100
1359.12/1356.84	c cleaning 13975 clauses out of 27954 with flag 2587022/2587022
1366.83/1364.54	c cleaning 13983 clauses out of 27967 with flag 2601010/2601010
1374.93/1372.64	c cleaning 13996 clauses out of 27993 with flag 2615019/2615019
1382.95/1380.63	c cleaning 14009 clauses out of 28019 with flag 2629041/2629041
1390.74/1388.48	c cleaning 14009 clauses out of 28019 with flag 2643050/2643050
1398.54/1396.23	c cleaning 14017 clauses out of 28033 with flag 2657073/2657073
1405.45/1403.12	c cleaning 13980 clauses out of 27964 with flag 2671021/2671021
1412.35/1410.06	c cleaning 13992 clauses out of 27990 with flag 2685027/2685027
1419.36/1417.03	c cleaning 14006 clauses out of 28014 with flag 2699043/2699043
1426.36/1424.06	c cleaning 14000 clauses out of 28002 with flag 2713037/2713037
1433.37/1431.09	c cleaning 13994 clauses out of 27991 with flag 2727026/2727026
1440.77/1438.48	c cleaning 14003 clauses out of 28008 with flag 2741037/2741037
1448.18/1445.83	c cleaning 13983 clauses out of 27969 with flag 2755001/2755001
1455.88/1453.50	c cleaning 14002 clauses out of 28005 with flag 2769020/2769020
1463.38/1461.08	c cleaning 14001 clauses out of 28003 with flag 2783020/2783020
1471.09/1468.71	c cleaning 14007 clauses out of 28016 with flag 2797034/2797034
1478.59/1476.22	c cleaning 13994 clauses out of 27989 with flag 2811014/2811014
1487.09/1484.76	c cleaning 14018 clauses out of 28036 with flag 2825055/2825055
1495.00/1492.64	c cleaning 13991 clauses out of 27986 with flag 2839023/2839023
1503.11/1500.75	c cleaning 13990 clauses out of 27983 with flag 2853011/2853011
1511.41/1509.08	c cleaning 14006 clauses out of 28013 with flag 2867031/2867031
1519.81/1517.40	c cleaning 14029 clauses out of 28060 with flag 2881084/2881084
1527.92/1525.56	c cleaning 13983 clauses out of 27969 with flag 2895022/2895022
1536.32/1533.93	c cleaning 13995 clauses out of 27992 with flag 2909028/2909028
1544.83/1542.49	c cleaning 13998 clauses out of 27999 with flag 2923030/2923030
1553.55/1551.13	c cleaning 14021 clauses out of 28046 with flag 2937075/2937075
1561.84/1559.40	c cleaning 13974 clauses out of 27951 with flag 2951001/2951001
1570.45/1568.02	c cleaning 14013 clauses out of 28029 with flag 2965053/2965053
1579.25/1576.89	c cleaning 13982 clauses out of 27968 with flag 2979005/2979005
1587.95/1585.53	c cleaning 14001 clauses out of 28003 with flag 2993022/2993022
1594.96/1592.57	c cleaning 14024 clauses out of 28047 with flag 3007067/3007067
1602.66/1600.25	c cleaning 13993 clauses out of 27990 with flag 3021034/3021034
1611.27/1608.88	c cleaning 13983 clauses out of 27970 with flag 3035007/3035007
1618.97/1616.53	c cleaning 13990 clauses out of 27984 with flag 3049004/3049004
1625.18/1622.78	c cleaning 14003 clauses out of 28009 with flag 3063019/3063019
1631.98/1629.55	c cleaning 14000 clauses out of 28004 with flag 3077017/3077017
1638.68/1636.21	c cleaning 14000 clauses out of 28003 with flag 3091016/3091016
1645.19/1642.71	c cleaning 13994 clauses out of 27992 with flag 3105005/3105005
1651.51/1649.02	c cleaning 14004 clauses out of 28012 with flag 3119019/3119019
1657.80/1655.38	c cleaning 14003 clauses out of 28009 with flag 3133020/3133020
1664.50/1662.01	c cleaning 13993 clauses out of 27990 with flag 3147004/3147004
1671.21/1668.77	c cleaning 14021 clauses out of 28044 with flag 3161051/3161051
1678.01/1675.59	c cleaning 14005 clauses out of 28012 with flag 3175040/3175040
1685.01/1682.55	c cleaning 13984 clauses out of 27971 with flag 3189004/3189004
1691.13/1688.61	c cleaning 14013 clauses out of 28029 with flag 3203046/3203046
1697.23/1694.75	c cleaning 13990 clauses out of 27984 with flag 3217014/3217014
1703.63/1701.12	c cleaning 13995 clauses out of 27991 with flag 3231011/3231011
1710.53/1708.05	c cleaning 13995 clauses out of 27991 with flag 3245006/3245006
1717.55/1715.07	c cleaning 14027 clauses out of 28056 with flag 3259066/3259066
1724.43/1721.93	c cleaning 14005 clauses out of 28010 with flag 3273047/3273047
1731.34/1728.80	c cleaning 13978 clauses out of 27959 with flag 3287001/3287001
1739.44/1736.94	c cleaning 13992 clauses out of 27988 with flag 3301008/3301008
1746.65/1744.18	c cleaning 14013 clauses out of 28029 with flag 3315041/3315041
1754.06/1751.53	c cleaning 13992 clauses out of 27988 with flag 3329013/3329013
1761.66/1759.12	c cleaning 14003 clauses out of 28007 with flag 3343024/3343024
1769.06/1766.55	c cleaning 13998 clauses out of 27997 with flag 3357017/3357017
1776.46/1773.95	c cleaning 13994 clauses out of 27990 with flag 3371008/3371008
1784.17/1781.66	c cleaning 14022 clauses out of 28045 with flag 3385057/3385057
1791.87/1789.36	c cleaning 14023 clauses out of 28048 with flag 3399082/3399082
1799.48/1796.94	c cleaning 13972 clauses out of 27947 with flag 3413004/3413004
1800.10/1797.53	c starts		: 250
1800.10/1797.53	c conflicts		: 3414077
1800.10/1797.53	c decisions		: 4319762
1800.10/1797.53	c propagations		: 101427809
1800.10/1797.53	c inspects		: 4961344169
1800.10/1797.53	c shortcuts		: 0
1800.10/1797.53	c learnt literals	: 0
1800.10/1797.53	c learnt binary clauses	: 0
1800.10/1797.53	c learnt ternary clauses	: 57
1800.10/1797.53	c learnt constraints	: 3414076
1800.10/1797.53	c ignored constraints	: 0
1800.10/1797.53	c root simplifications	: 0
1800.10/1797.53	c removed literals (reason simplification)	: 86286687
1800.10/1797.53	c reason swapping (by a shorter reason)	: 0
1800.10/1797.53	c Calls to reduceDB	: 247
1800.10/1797.53	c number of reductions to clauses (during analyze)	: 0
1800.10/1797.53	c number of learned constraints concerned by reduction	: 0
1800.10/1797.53	c number of learning phase by resolution	: 0
1800.10/1797.53	c number of learning phase by cutting planes	: 0
1800.10/1797.53	c speed (assignments/second)	: 56442.200731098856
1800.10/1797.53	c non guided choices	6381
1800.10/1797.54	c learnt constraints type 
1800.10/1797.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15060
1800.10/1797.54	c constraints type 
1800.10/1797.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6220
1800.10/1797.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.10/1797.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.10/1797.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6220
1800.10/1797.54	s UNKNOWN
1800.10/1797.54	c Total wall clock time (in seconds): 1797.43

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.15 2.05 2.00 2/447 720
/proc/meminfo: memFree=28679736/32951124 swapFree=43324008/67111528
[pid=720] ppid=718 vsize=2464 CPUtime=0 cores=0,2,4,6
/proc/720/stat : 720 (java) R 718 720 585 0 -1 4194304 89 0 0 0 0 0 0 0 25 0 1 0 828113661 2523136 44 33554432000 1073741824 1073778376 140736286565984 18446744073709551615 244442021511 0 2147483391 4096 0 0 0 0 17 2 0 0 0
/proc/720/statm: 616 44 35 9 0 27 0
[pid=720/tid=721] ppid=718 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/720/task/721/stat : 721 (java) R 718 720 585 0 -1 4202560 3074 0 1 0 0 0 0 0 25 0 2 0 828113662 13850947584 3890 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244446639163 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0452021 s]
/proc/loadavg: 2.15 2.05 2.00 2/447 720
/proc/meminfo: memFree=28679736/32951124 swapFree=43324008/67111528
[pid=720] ppid=718 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/720/stat : 720 (java) S 718 720 585 0 -1 4202496 13663 0 1 0 2 1 0 0 25 0 13 0 828113661 13874667520 13361 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/720/statm: 3387370 13362 1655 9 0 3378118 0
[pid=720/tid=721] ppid=718 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/720/task/721/stat : 721 (java) R 718 720 585 0 -1 4202560 12519 0 1 0 2 1 0 0 25 0 13 0 828113662 13874667520 13363 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 47959957562904 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480

[startup+0.101198 s]
/proc/loadavg: 2.15 2.05 2.00 2/447 720
/proc/meminfo: memFree=28679736/32951124 swapFree=43324008/67111528
[pid=720] ppid=718 vsize=13621536 CPUtime=0.11 cores=0,2,4,6
/proc/720/stat : 720 (java) S 718 720 585 0 -1 4202496 15496 0 1 0 9 2 0 0 25 0 18 0 828113661 13948452864 15176 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/720/statm: 3405384 15177 2093 9 0 3396118 0
[pid=720/tid=721] ppid=718 vsize=13621536 CPUtime=0.08 cores=0,2,4,6
/proc/720/task/721/stat : 721 (java) R 718 720 585 0 -1 4202560 13569 0 1 0 7 1 0 0 18 0 18 0 828113662 13948452864 15178 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244446606021 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621536

[startup+0.31867 s]
/proc/loadavg: 2.15 2.05 2.00 2/447 720
/proc/meminfo: memFree=28679736/32951124 swapFree=43324008/67111528
[pid=720] ppid=718 vsize=13624024 CPUtime=0.52 cores=0,2,4,6
/proc/720/stat : 720 (java) S 718 720 585 0 -1 4202496 19108 0 1 0 50 2 0 0 25 0 18 0 828113661 13951000576 18393 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/720/statm: 3406006 18394 2223 9 0 3396740 0
[pid=720/tid=721] ppid=718 vsize=13624024 CPUtime=0.3 cores=0,2,4,6
/proc/720/task/721/stat : 721 (java) R 718 720 585 0 -1 4202560 15619 0 1 0 28 2 0 0 18 0 18 0 828113662 13951000576 18394 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 46912505540628 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13624024

[startup+0.701092 s]
/proc/loadavg: 2.15 2.05 2.00 2/447 720
/proc/meminfo: memFree=28679736/32951124 swapFree=43324008/67111528
[pid=720] ppid=718 vsize=13631064 CPUtime=1.59 cores=0,2,4,6
/proc/720/stat : 720 (java) S 718 720 585 0 -1 4202496 32189 0 1 0 155 4 0 0 25 0 19 0 828113661 13958209536 29732 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/720/statm: 3407766 29732 2239 9 0 3398500 0
[pid=720/tid=721] ppid=718 vsize=13631064 CPUtime=0.68 cores=0,2,4,6
/proc/720/task/721/stat : 721 (java) R 718 720 585 0 -1 4202560 23057 0 1 0 65 3 0 0 18 0 19 0 828113662 13958209536 29732 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 46912505842240 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 13631064

[startup+1.50094 s]
/proc/loadavg: 2.15 2.05 2.00 4/466 739
/proc/meminfo: memFree=28567064/32951124 swapFree=43324008/67111528
[pid=720] ppid=718 vsize=13631064 CPUtime=2.46 cores=0,2,4,6
/proc/720/stat : 720 (java) S 718 720 585 0 -1 4202496 33159 0 1 0 241 5 0 0 25 0 19 0 828113661 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/720/statm: 3407766 30701 2243 9 0 3398500 0
[pid=720/tid=721] ppid=718 vsize=13631064 CPUtime=1.48 cores=0,2,4,6
/proc/720/task/721/stat : 721 (java) R 718 720 585 0 -1 4202560 24007 0 1 0 145 3 0 0 18 0 19 0 828113662 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 46912505846614 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=720/tid=723] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/723/stat : 723 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113664 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=724] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/724/stat : 724 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113664 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=725] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/725/stat : 725 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113664 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=726] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/726/stat : 726 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113664 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=727] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/727/stat : 727 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113664 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=728] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/728/stat : 728 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113664 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=729] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/729/stat : 729 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113664 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=730] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/730/stat : 730 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113664 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=731] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/731/stat : 731 (java) S 718 720 585 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828113665 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 0 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=732] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/732/stat : 732 (java) S 718 720 585 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828113665 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=733] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/733/stat : 733 (java) S 718 720 585 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828113665 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=734] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/734/stat : 734 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113667 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458768817 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=735] ppid=718 vsize=13631064 CPUtime=0.5 cores=0,2,4,6
/proc/720/task/735/stat : 735 (java) S 718 720 585 0 -1 4202560 3543 0 0 0 50 0 0 0 15 0 19 0 828113667 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=736] ppid=718 vsize=13631064 CPUtime=0.44 cores=0,2,4,6
/proc/720/task/736/stat : 736 (java) S 718 720 585 0 -1 4202560 4450 0 0 0 44 0 0 0 16 0 19 0 828113667 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=737] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/737/stat : 737 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113667 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=738] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/738/stat : 738 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828113667 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=739] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/739/stat : 739 (java) S 718 720 585 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828113714 13958209536 30701 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 13631064

[startup+3.10065 s]
/proc/loadavg: 2.15 2.05 2.00 3/466 739
/proc/meminfo: memFree=28561360/32951124 swapFree=43324008/67111528
[pid=720] ppid=718 vsize=13631064 CPUtime=4.09 cores=0,2,4,6
/proc/720/stat : 720 (java) S 718 720 585 0 -1 4202496 39179 0 1 0 404 5 0 0 25 0 19 0 828113661 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/720/statm: 3407766 36712 2269 9 0 3398500 0
[pid=720/tid=721] ppid=718 vsize=13631064 CPUtime=3.04 cores=0,2,4,6
/proc/720/task/721/stat : 721 (java) R 718 720 585 0 -1 4202560 25146 0 1 0 300 4 0 0 18 0 19 0 828113662 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 46912505880096 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=720/tid=723] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/723/stat : 723 (java) S 718 720 585 0 -1 4202560 604 0 0 0 0 0 0 0 18 0 19 0 828113664 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=724] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/724/stat : 724 (java) S 718 720 585 0 -1 4202560 513 0 0 0 0 0 0 0 18 0 19 0 828113664 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=725] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/725/stat : 725 (java) S 718 720 585 0 -1 4202560 944 0 0 0 0 0 0 0 17 0 19 0 828113664 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=726] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/726/stat : 726 (java) S 718 720 585 0 -1 4202560 400 0 0 0 0 0 0 0 18 0 19 0 828113664 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=727] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/727/stat : 727 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828113664 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=728] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/728/stat : 728 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828113664 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=729] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/729/stat : 729 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828113664 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=730] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/730/stat : 730 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828113664 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=731] ppid=718 vsize=13631064 CPUtime=0.03 cores=0,2,4,6
/proc/720/task/731/stat : 731 (java) S 718 720 585 0 -1 4202560 2418 0 0 0 3 0 0 0 15 0 19 0 828113665 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 0 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=732] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/732/stat : 732 (java) S 718 720 585 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828113665 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=733] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/733/stat : 733 (java) S 718 720 585 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828113665 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=734] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/734/stat : 734 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113667 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458768817 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=735] ppid=718 vsize=13631064 CPUtime=0.52 cores=0,2,4,6
/proc/720/task/735/stat : 735 (java) S 718 720 585 0 -1 4202560 3546 0 0 0 52 0 0 0 15 0 19 0 828113667 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=736] ppid=718 vsize=13631064 CPUtime=0.46 cores=0,2,4,6
/proc/720/task/736/stat : 736 (java) S 718 720 585 0 -1 4202560 4455 0 0 0 46 0 0 0 15 0 19 0 828113667 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=737] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/737/stat : 737 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113667 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=738] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/738/stat : 738 (java) R 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828113667 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=720/tid=739] ppid=718 vsize=13631064 CPUtime=0 cores=0,2,4,6
/proc/720/task/739/stat : 739 (java) S 718 720 585 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828113714 13958209536 36712 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 13631064

[startup+6.30105 s]
/proc/loadavg: 2.14 2.05 2.00 3/466 739
/proc/meminfo: memFree=28540280/32951124 swapFree=43324008/67111528
[pid=720] ppid=718 vsize=13629408 CPUtime=7.32 cores=0,2,4,6
/proc/720/stat : 720 (java) S 718 720 585 0 -1 4202496 42974 0 1 0 726 6 0 0 25 0 19 0 828113661 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/720/statm: 3407352 40170 2269 9 0 3398086 0
[pid=720/tid=721] ppid=718 vsize=13629408 CPUtime=6.2 cores=0,2,4,6
/proc/720/task/721/stat : 721 (java) R 718 720 585 0 -1 4202560 25150 0 1 0 616 4 0 0 22 0 19 0 828113662 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 46912505807683 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=720/tid=723] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/723/stat : 723 (java) S 718 720 585 0 -1 4202560 604 0 0 0 0 0 0 0 15 0 19 0 828113664 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=724] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/724/stat : 724 (java) S 718 720 585 0 -1 4202560 533 0 0 0 0 0 0 0 18 0 19 0 828113664 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=725] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/725/stat : 725 (java) S 718 720 585 0 -1 4202560 944 0 0 0 0 0 0 0 15 0 19 0 828113664 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=726] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/726/stat : 726 (java) S 718 720 585 0 -1 4202560 1088 0 0 0 0 0 0 0 18 0 19 0 828113664 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=727] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/727/stat : 727 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828113664 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=728] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/728/stat : 728 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828113664 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=729] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/729/stat : 729 (java) S 718 720 585 0 -1 4202560 642 0 0 0 0 0 0 0 16 0 19 0 828113664 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=730] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/730/stat : 730 (java) S 718 720 585 0 -1 4202560 949 0 0 0 0 0 0 0 18 0 19 0 828113664 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=731] ppid=718 vsize=13629408 CPUtime=0.06 cores=0,2,4,6
/proc/720/task/731/stat : 731 (java) S 718 720 585 0 -1 4202560 3908 0 0 0 6 0 0 0 15 0 19 0 828113665 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 0 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=732] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/732/stat : 732 (java) S 718 720 585 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828113665 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=733] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/733/stat : 733 (java) S 718 720 585 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828113665 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=734] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/734/stat : 734 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113667 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458768817 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=735] ppid=718 vsize=13629408 CPUtime=0.53 cores=0,2,4,6
/proc/720/task/735/stat : 735 (java) S 718 720 585 0 -1 4202560 3549 0 0 0 53 0 0 0 16 0 19 0 828113667 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=736] ppid=718 vsize=13629408 CPUtime=0.46 cores=0,2,4,6
/proc/720/task/736/stat : 736 (java) S 718 720 585 0 -1 4202560 4456 0 0 0 46 0 0 0 16 0 19 0 828113667 13956513792 40170 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0

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

[pid=720/tid=728] ppid=718 vsize=13629408 CPUtime=0.27 cores=0,2,4,6
/proc/720/task/728/stat : 728 (java) S 718 720 585 0 -1 4202560 1386 0 0 0 27 0 0 0 16 0 19 0 828113664 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=729] ppid=718 vsize=13629408 CPUtime=0.3 cores=0,2,4,6
/proc/720/task/729/stat : 729 (java) S 718 720 585 0 -1 4202560 1402 0 0 0 30 0 0 0 15 0 19 0 828113664 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=730] ppid=718 vsize=13629408 CPUtime=0.27 cores=0,2,4,6
/proc/720/task/730/stat : 730 (java) S 718 720 585 0 -1 4202560 1869 0 0 0 27 0 0 0 15 0 19 0 828113664 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=731] ppid=718 vsize=13629408 CPUtime=9.06 cores=0,2,4,6
/proc/720/task/731/stat : 731 (java) S 718 720 585 0 -1 4202560 12029 0 0 0 902 4 0 0 15 0 19 0 828113665 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 0 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=732] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/732/stat : 732 (java) S 718 720 585 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828113665 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=733] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/733/stat : 733 (java) S 718 720 585 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828113665 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=734] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/734/stat : 734 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113667 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458768817 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=735] ppid=718 vsize=13629408 CPUtime=0.54 cores=0,2,4,6
/proc/720/task/735/stat : 735 (java) S 718 720 585 0 -1 4202560 3550 0 0 0 54 0 0 0 15 0 19 0 828113667 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=736] ppid=718 vsize=13629408 CPUtime=0.55 cores=0,2,4,6
/proc/720/task/736/stat : 736 (java) S 718 720 585 0 -1 4202560 4481 0 0 0 55 0 0 0 15 0 19 0 828113667 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=737] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/737/stat : 737 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113667 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=738] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/738/stat : 738 (java) S 718 720 585 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 828113667 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=739] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/739/stat : 739 (java) S 718 720 585 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828113714 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1664.81
Current children cumulated vsize (KiB) 13629408

[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/466 843
/proc/meminfo: memFree=28659396/32951124 swapFree=43324008/67111528
[pid=720] ppid=718 vsize=13629408 CPUtime=1724.84 cores=0,2,4,6
/proc/720/stat : 720 (java) S 718 720 585 0 -1 4202496 57745 0 1 0 172470 14 0 0 25 0 19 0 828113661 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/720/statm: 3407352 54495 2270 9 0 3398086 0
[pid=720/tid=721] ppid=718 vsize=13629408 CPUtime=1711.83 cores=0,2,4,6
/proc/720/task/721/stat : 721 (java) R 718 720 585 0 -1 4202560 25384 0 1 0 171178 5 0 0 25 0 19 0 828113662 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 46912505880226 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=720/tid=723] ppid=718 vsize=13629408 CPUtime=0.28 cores=0,2,4,6
/proc/720/task/723/stat : 723 (java) S 718 720 585 0 -1 4202560 1396 0 0 0 28 0 0 0 15 0 19 0 828113664 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=724] ppid=718 vsize=13629408 CPUtime=0.32 cores=0,2,4,6
/proc/720/task/724/stat : 724 (java) S 718 720 585 0 -1 4202560 673 0 0 0 32 0 0 0 16 0 19 0 828113664 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=725] ppid=718 vsize=13629408 CPUtime=0.31 cores=0,2,4,6
/proc/720/task/725/stat : 725 (java) S 718 720 585 0 -1 4202560 2087 0 0 0 31 0 0 0 16 0 19 0 828113664 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=726] ppid=718 vsize=13629408 CPUtime=0.31 cores=0,2,4,6
/proc/720/task/726/stat : 726 (java) S 718 720 585 0 -1 4202560 1628 0 0 0 31 0 0 0 15 0 19 0 828113664 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=727] ppid=718 vsize=13629408 CPUtime=0.3 cores=0,2,4,6
/proc/720/task/727/stat : 727 (java) S 718 720 585 0 -1 4202560 609 0 0 0 30 0 0 0 15 0 19 0 828113664 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=728] ppid=718 vsize=13629408 CPUtime=0.28 cores=0,2,4,6
/proc/720/task/728/stat : 728 (java) S 718 720 585 0 -1 4202560 1386 0 0 0 28 0 0 0 15 0 19 0 828113664 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=729] ppid=718 vsize=13629408 CPUtime=0.31 cores=0,2,4,6
/proc/720/task/729/stat : 729 (java) S 718 720 585 0 -1 4202560 1402 0 0 0 31 0 0 0 15 0 19 0 828113664 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=730] ppid=718 vsize=13629408 CPUtime=0.28 cores=0,2,4,6
/proc/720/task/730/stat : 730 (java) S 718 720 585 0 -1 4202560 1869 0 0 0 28 0 0 0 16 0 19 0 828113664 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=731] ppid=718 vsize=13629408 CPUtime=9.42 cores=0,2,4,6
/proc/720/task/731/stat : 731 (java) S 718 720 585 0 -1 4202560 12033 0 0 0 938 4 0 0 15 0 19 0 828113665 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 0 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=732] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/732/stat : 732 (java) S 718 720 585 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828113665 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=733] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/733/stat : 733 (java) S 718 720 585 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828113665 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=734] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/734/stat : 734 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113667 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458768817 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=735] ppid=718 vsize=13629408 CPUtime=0.54 cores=0,2,4,6
/proc/720/task/735/stat : 735 (java) S 718 720 585 0 -1 4202560 3550 0 0 0 54 0 0 0 15 0 19 0 828113667 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=736] ppid=718 vsize=13629408 CPUtime=0.55 cores=0,2,4,6
/proc/720/task/736/stat : 736 (java) S 718 720 585 0 -1 4202560 4481 0 0 0 55 0 0 0 15 0 19 0 828113667 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=737] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/737/stat : 737 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113667 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=738] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/738/stat : 738 (java) S 718 720 585 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 828113667 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=739] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/739/stat : 739 (java) S 718 720 585 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828113714 13956513792 54495 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1724.84
Current children cumulated vsize (KiB) 13629408

[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/466 845
/proc/meminfo: memFree=28657504/32951124 swapFree=43324008/67111528
[pid=720] ppid=718 vsize=13629408 CPUtime=1784.87 cores=0,2,4,6
/proc/720/stat : 720 (java) S 718 720 585 0 -1 4202496 57778 0 1 0 178473 14 0 0 25 0 19 0 828113661 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/720/statm: 3407352 54512 2270 9 0 3398086 0
[pid=720/tid=721] ppid=718 vsize=13629408 CPUtime=1771.48 cores=0,2,4,6
/proc/720/task/721/stat : 721 (java) R 718 720 585 0 -1 4202560 25392 0 1 0 177143 5 0 0 25 0 19 0 828113662 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 46912505846627 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=720/tid=723] ppid=718 vsize=13629408 CPUtime=0.28 cores=0,2,4,6
/proc/720/task/723/stat : 723 (java) S 718 720 585 0 -1 4202560 1396 0 0 0 28 0 0 0 15 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=724] ppid=718 vsize=13629408 CPUtime=0.33 cores=0,2,4,6
/proc/720/task/724/stat : 724 (java) S 718 720 585 0 -1 4202560 690 0 0 0 33 0 0 0 16 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=725] ppid=718 vsize=13629408 CPUtime=0.32 cores=0,2,4,6
/proc/720/task/725/stat : 725 (java) S 718 720 585 0 -1 4202560 2087 0 0 0 32 0 0 0 15 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=726] ppid=718 vsize=13629408 CPUtime=0.32 cores=0,2,4,6
/proc/720/task/726/stat : 726 (java) S 718 720 585 0 -1 4202560 1628 0 0 0 32 0 0 0 16 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=727] ppid=718 vsize=13629408 CPUtime=0.3 cores=0,2,4,6
/proc/720/task/727/stat : 727 (java) S 718 720 585 0 -1 4202560 609 0 0 0 30 0 0 0 15 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=728] ppid=718 vsize=13629408 CPUtime=0.29 cores=0,2,4,6
/proc/720/task/728/stat : 728 (java) S 718 720 585 0 -1 4202560 1386 0 0 0 29 0 0 0 15 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=729] ppid=718 vsize=13629408 CPUtime=0.31 cores=0,2,4,6
/proc/720/task/729/stat : 729 (java) S 718 720 585 0 -1 4202560 1402 0 0 0 31 0 0 0 16 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=730] ppid=718 vsize=13629408 CPUtime=0.28 cores=0,2,4,6
/proc/720/task/730/stat : 730 (java) S 718 720 585 0 -1 4202560 1869 0 0 0 28 0 0 0 15 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=731] ppid=718 vsize=13629408 CPUtime=9.74 cores=0,2,4,6
/proc/720/task/731/stat : 731 (java) S 718 720 585 0 -1 4202560 12037 0 0 0 970 4 0 0 15 0 19 0 828113665 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 0 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=732] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/732/stat : 732 (java) S 718 720 585 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828113665 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=733] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/733/stat : 733 (java) S 718 720 585 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828113665 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=734] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/734/stat : 734 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113667 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458768817 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=735] ppid=718 vsize=13629408 CPUtime=0.54 cores=0,2,4,6
/proc/720/task/735/stat : 735 (java) S 718 720 585 0 -1 4202560 3550 0 0 0 54 0 0 0 15 0 19 0 828113667 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=736] ppid=718 vsize=13629408 CPUtime=0.55 cores=0,2,4,6
/proc/720/task/736/stat : 736 (java) S 718 720 585 0 -1 4202560 4481 0 0 0 55 0 0 0 15 0 19 0 828113667 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=737] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/737/stat : 737 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113667 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=738] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/738/stat : 738 (java) S 718 720 585 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828113667 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=739] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/739/stat : 739 (java) S 718 720 585 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828113714 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1784.87
Current children cumulated vsize (KiB) 13629408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.52 s]
/proc/loadavg: 2.03 2.03 2.00 3/466 845
/proc/meminfo: memFree=28657360/32951124 swapFree=43324008/67111528
[pid=720] ppid=718 vsize=13629408 CPUtime=1800.1 cores=0,2,4,6
/proc/720/stat : 720 (java) S 718 720 585 0 -1 4202496 57780 0 1 0 179996 14 0 0 25 0 19 0 828113661 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/720/statm: 3407352 54512 2270 9 0 3398086 0
[pid=720/tid=721] ppid=718 vsize=13629408 CPUtime=1786.63 cores=0,2,4,6
/proc/720/task/721/stat : 721 (java) R 718 720 585 0 -1 4202560 25394 0 1 0 178658 5 0 0 25 0 19 0 828113662 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 46912505880136 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=720/tid=723] ppid=718 vsize=13629408 CPUtime=0.28 cores=0,2,4,6
/proc/720/task/723/stat : 723 (java) S 718 720 585 0 -1 4202560 1396 0 0 0 28 0 0 0 15 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=724] ppid=718 vsize=13629408 CPUtime=0.34 cores=0,2,4,6
/proc/720/task/724/stat : 724 (java) S 718 720 585 0 -1 4202560 690 0 0 0 34 0 0 0 16 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=725] ppid=718 vsize=13629408 CPUtime=0.32 cores=0,2,4,6
/proc/720/task/725/stat : 725 (java) S 718 720 585 0 -1 4202560 2087 0 0 0 32 0 0 0 15 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=726] ppid=718 vsize=13629408 CPUtime=0.32 cores=0,2,4,6
/proc/720/task/726/stat : 726 (java) S 718 720 585 0 -1 4202560 1628 0 0 0 32 0 0 0 15 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=727] ppid=718 vsize=13629408 CPUtime=0.3 cores=0,2,4,6
/proc/720/task/727/stat : 727 (java) S 718 720 585 0 -1 4202560 609 0 0 0 30 0 0 0 15 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=728] ppid=718 vsize=13629408 CPUtime=0.29 cores=0,2,4,6
/proc/720/task/728/stat : 728 (java) S 718 720 585 0 -1 4202560 1386 0 0 0 29 0 0 0 15 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=729] ppid=718 vsize=13629408 CPUtime=0.31 cores=0,2,4,6
/proc/720/task/729/stat : 729 (java) S 718 720 585 0 -1 4202560 1402 0 0 0 31 0 0 0 15 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=730] ppid=718 vsize=13629408 CPUtime=0.29 cores=0,2,4,6
/proc/720/task/730/stat : 730 (java) S 718 720 585 0 -1 4202560 1869 0 0 0 29 0 0 0 16 0 19 0 828113664 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=731] ppid=718 vsize=13629408 CPUtime=9.81 cores=0,2,4,6
/proc/720/task/731/stat : 731 (java) S 718 720 585 0 -1 4202560 12037 0 0 0 977 4 0 0 15 0 19 0 828113665 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 0 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=732] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/732/stat : 732 (java) S 718 720 585 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828113665 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=733] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/733/stat : 733 (java) S 718 720 585 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828113665 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=734] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/734/stat : 734 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113667 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458768817 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=735] ppid=718 vsize=13629408 CPUtime=0.54 cores=0,2,4,6
/proc/720/task/735/stat : 735 (java) S 718 720 585 0 -1 4202560 3550 0 0 0 54 0 0 0 15 0 19 0 828113667 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 6 0 0 0
[pid=720/tid=736] ppid=718 vsize=13629408 CPUtime=0.55 cores=0,2,4,6
/proc/720/task/736/stat : 736 (java) S 718 720 585 0 -1 4202560 4481 0 0 0 55 0 0 0 15 0 19 0 828113667 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 0 0 0 0
[pid=720/tid=737] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/737/stat : 737 (java) S 718 720 585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828113667 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761113 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
[pid=720/tid=738] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/738/stat : 738 (java) S 718 720 585 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828113667 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 4 0 16800975 18446604453529387264 0 0 -1 4 0 0 0
[pid=720/tid=739] ppid=718 vsize=13629408 CPUtime=0 cores=0,2,4,6
/proc/720/task/739/stat : 739 (java) S 718 720 585 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828113714 13956513792 54512 33554432000 1073741824 1073778376 140733951764800 18446744073709551615 244458761728 0 4 0 16800975 18446604453529387264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13629408

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.56
CPU time (s): 1800.17
CPU user time (s): 1800
CPU system time (s): 0.160975
CPU usage (%): 100.145
Max. virtual memory (cumulated for all children) (KiB): 13631064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57816
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= 43532
involuntary context switches= 25475

runsolver used 8.40672 second user time and 17.3644 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-04 07:25:32
IDJOB=3458034
IDBENCH=48359
IDSOLVER=1952
FILE ID=node105/3458034-1307165132
RUNJOBID= node105-1307164280-613
PBS_JOBID= 13508836
Free space on /tmp= 73768 MiB

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

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

MD5SUM BENCH= ff64c7b9cef588c95a335f732f2d905b
RANDOM SEED=80442969

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28679916 kB
Buffers:        328528 kB
Cached:         806388 kB
SwapCached:      20984 kB
Active:        3289784 kB
Inactive:       667500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28679916 kB
SwapTotal:    67111528 kB
SwapFree:     43324008 kB
Dirty:             352 kB
Writeback:         184 kB
AnonPages:     2820024 kB
Mapped:          27616 kB
Slab:           165012 kB
PageTables:      82312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 128316892 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= 73768 MiB
End job on node105 at 2011-06-04 07:55:32