Trace number 3282175

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 core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1301.2 1300.05

General information on the benchmark

NameAPPLICATIONS/bitverif/
mulhs/mulhs016.cnf
MD5SUMe4ef55733955e0a45519e9f7dec923e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4656
Number of clauses13871
Sum of the clauses size32363
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 29246
Number of clauses of size 34623
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.01/0.26	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.26	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.26	c See www.sat4j.org for details.
0.01/0.26	c no version file found!!!
0.01/0.26	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.26	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.26	c java.vm.version	19.1-b02
0.01/0.26	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.26	c sun.arch.data.model	64
0.01/0.26	c java.version		1.6.0_24
0.01/0.26	c os.name		Linux
0.01/0.26	c os.version		2.6.18-164.el5
0.01/0.26	c os.arch		amd64
0.01/0.26	c Free memory 		6997539544
0.01/0.26	c Max memory 		7034241024
0.01/0.26	c Total memory 		7034241024
0.01/0.26	c Number of processors 	8
0.01/0.28	c --- Begin Solver configuration ---
0.01/0.28	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@2fe4cbc4
0.01/0.28	c Learn all clauses as in MiniSAT
0.01/0.28	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.01/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.01/0.28	c Expensive reason simplification
0.01/0.28	c Armin Biere (Picosat) restarts strategy
0.01/0.28	c Glucose learned constraints deletion strategy
0.01/0.28	c timeout=2147483647s
0.01/0.28	c DB Simplification allowed=true
0.01/0.28	c --- End Solver configuration ---
0.01/0.28	c solving HOME/instance-3282175-1307633277.cnf
0.01/0.28	c reading problem ... 
0.12/0.38	c ... done. Wall clock time 0.086s.
0.12/0.38	c #vars     4656
0.12/0.38	c #constraints  13871
0.12/0.38	c constraints type 
0.12/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4623
0.12/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9246
2.18/1.92	c cleaning 2499 clauses out of 5000 with flag 5000/5000
3.95/3.29	c cleaning 4249 clauses out of 8502 with flag 11001/11001
6.05/5.39	c cleaning 5620 clauses out of 11252 with flag 18000/18000
8.25/7.54	c cleaning 6793 clauses out of 13633 with flag 26001/26001
11.16/10.47	c cleaning 7899 clauses out of 15839 with flag 35000/35000
14.16/13.40	c cleaning 8967 clauses out of 17940 with flag 45000/45000
17.36/16.66	c cleaning 9983 clauses out of 19974 with flag 56001/56001
21.66/20.99	c cleaning 10981 clauses out of 21991 with flag 68001/68001
26.26/25.55	c cleaning 11999 clauses out of 24009 with flag 81000/81000
30.66/29.98	c cleaning 12993 clauses out of 26011 with flag 95001/95001
35.36/34.68	c cleaning 13497 clauses out of 27018 with flag 109001/109001
40.37/39.67	c cleaning 13740 clauses out of 27520 with flag 123000/123000
46.07/45.36	c cleaning 13868 clauses out of 27780 with flag 137000/137000
50.87/50.15	c cleaning 13933 clauses out of 27913 with flag 151001/151001
56.08/55.34	c cleaning 13976 clauses out of 27980 with flag 165001/165001
60.88/60.15	c cleaning 13996 clauses out of 28005 with flag 179002/179002
64.88/64.17	c cleaning 13996 clauses out of 28007 with flag 193000/193000
69.99/69.21	c cleaning 13989 clauses out of 28012 with flag 207001/207001
75.28/74.59	c cleaning 14000 clauses out of 28022 with flag 221000/221000
80.38/79.64	c cleaning 13996 clauses out of 28022 with flag 235000/235000
85.39/84.63	c cleaning 13999 clauses out of 28027 with flag 249001/249001
90.09/89.35	c cleaning 13995 clauses out of 28029 with flag 263002/263002
94.89/94.14	c cleaning 13992 clauses out of 28033 with flag 277001/277001
99.99/99.25	c cleaning 14013 clauses out of 28040 with flag 291000/291000
105.30/104.55	c cleaning 13982 clauses out of 28028 with flag 305001/305001
109.79/109.04	c cleaning 13989 clauses out of 28046 with flag 319001/319001
114.00/113.29	c cleaning 14016 clauses out of 28056 with flag 333000/333000
118.40/117.65	c cleaning 14007 clauses out of 28040 with flag 347000/347000
125.00/124.29	c cleaning 14004 clauses out of 28033 with flag 361000/361000
130.40/129.64	c cleaning 13992 clauses out of 28015 with flag 375002/375002
136.39/135.60	c cleaning 13997 clauses out of 28021 with flag 389000/389000
141.10/140.36	c cleaning 13985 clauses out of 28024 with flag 403000/403000
146.00/145.23	c cleaning 13997 clauses out of 28039 with flag 417000/417000
150.90/150.19	c cleaning 14012 clauses out of 28042 with flag 431000/431000
157.20/156.44	c cleaning 14002 clauses out of 28031 with flag 445001/445001
162.70/161.91	c cleaning 13993 clauses out of 28028 with flag 459000/459000
167.80/167.00	c cleaning 14010 clauses out of 28037 with flag 473002/473002
172.70/171.93	c cleaning 13995 clauses out of 28026 with flag 487001/487001
178.00/177.20	c cleaning 14007 clauses out of 28031 with flag 501001/501001
183.71/182.91	c cleaning 14004 clauses out of 28023 with flag 515000/515000
188.11/187.30	c cleaning 13993 clauses out of 28019 with flag 529000/529000
192.61/191.87	c cleaning 13997 clauses out of 28028 with flag 543002/543002
196.81/196.09	c cleaning 14007 clauses out of 28029 with flag 557000/557000
202.21/201.41	c cleaning 13992 clauses out of 28023 with flag 571001/571001
207.11/206.37	c cleaning 13991 clauses out of 28030 with flag 585000/585000
213.21/212.41	c cleaning 14008 clauses out of 28040 with flag 599001/599001
218.01/217.29	c cleaning 13992 clauses out of 28031 with flag 613000/613000
222.72/221.91	c cleaning 14009 clauses out of 28039 with flag 627000/627000
228.52/227.78	c cleaning 14002 clauses out of 28030 with flag 641000/641000
235.22/234.45	c cleaning 14000 clauses out of 28028 with flag 655000/655000
240.32/239.50	c cleaning 13998 clauses out of 28028 with flag 669000/669000
244.62/243.83	c cleaning 14004 clauses out of 28033 with flag 683003/683003
250.82/250.09	c cleaning 14006 clauses out of 28029 with flag 697003/697003
255.42/254.68	c cleaning 14000 clauses out of 28021 with flag 711001/711001
260.43/259.68	c cleaning 13999 clauses out of 28021 with flag 725001/725001
264.93/264.13	c cleaning 13998 clauses out of 28022 with flag 739001/739001
269.93/269.13	c cleaning 14006 clauses out of 28023 with flag 753000/753000
274.83/274.02	c cleaning 13992 clauses out of 28018 with flag 767001/767001
279.63/278.86	c cleaning 14002 clauses out of 28026 with flag 781001/781001
285.13/284.38	c cleaning 13991 clauses out of 28023 with flag 795000/795000
291.63/290.87	c cleaning 14003 clauses out of 28033 with flag 809001/809001
298.33/297.58	c cleaning 13997 clauses out of 28030 with flag 823001/823001
303.43/302.64	c cleaning 14000 clauses out of 28032 with flag 837000/837000
309.33/308.51	c cleaning 13992 clauses out of 28033 with flag 851001/851001
315.54/314.77	c cleaning 14002 clauses out of 28042 with flag 865002/865002
323.24/322.45	c cleaning 13993 clauses out of 28039 with flag 879001/879001
328.55/327.76	c cleaning 14006 clauses out of 28046 with flag 893001/893001
336.44/335.61	c cleaning 14012 clauses out of 28039 with flag 907000/907000
344.45/343.69	c cleaning 13997 clauses out of 28027 with flag 921000/921000
351.15/350.33	c cleaning 14008 clauses out of 28030 with flag 935000/935000
357.65/356.82	c cleaning 13994 clauses out of 28022 with flag 949000/949000
363.25/362.43	c cleaning 13997 clauses out of 28029 with flag 963001/963001
368.75/367.98	c cleaning 14006 clauses out of 28032 with flag 977001/977001
374.55/373.72	c cleaning 13995 clauses out of 28025 with flag 991000/991000
380.65/379.80	c cleaning 14013 clauses out of 28031 with flag 1005001/1005001
385.16/384.36	c cleaning 13994 clauses out of 28006 with flag 1019001/1019001
390.76/389.93	c cleaning 13987 clauses out of 28013 with flag 1033002/1033002
397.36/396.58	c cleaning 14002 clauses out of 28024 with flag 1047000/1047000
404.06/403.23	c cleaning 13984 clauses out of 28022 with flag 1061000/1061000
411.16/410.35	c cleaning 14012 clauses out of 28038 with flag 1075000/1075000
416.86/416.09	c cleaning 14009 clauses out of 28026 with flag 1089000/1089000
421.56/420.72	c cleaning 13990 clauses out of 28018 with flag 1103001/1103001
426.96/426.18	c cleaning 14009 clauses out of 28030 with flag 1117003/1117003
432.07/431.27	c cleaning 13991 clauses out of 28018 with flag 1131000/1131000
436.57/435.74	c cleaning 14000 clauses out of 28027 with flag 1145000/1145000
442.57/441.71	c cleaning 14006 clauses out of 28027 with flag 1159000/1159000
448.58/447.77	c cleaning 13993 clauses out of 28021 with flag 1173000/1173000
453.98/453.19	c cleaning 14005 clauses out of 28028 with flag 1187000/1187000
459.17/458.35	c cleaning 14000 clauses out of 28023 with flag 1201000/1201000
465.08/464.29	c cleaning 14001 clauses out of 28024 with flag 1215001/1215001
472.68/471.82	c cleaning 14005 clauses out of 28022 with flag 1229000/1229000
478.78/477.97	c cleaning 13991 clauses out of 28017 with flag 1243000/1243000
483.48/482.67	c cleaning 14006 clauses out of 28027 with flag 1257001/1257001
488.28/487.45	c cleaning 13995 clauses out of 28020 with flag 1271000/1271000
492.49/491.68	c cleaning 13996 clauses out of 28025 with flag 1285000/1285000
497.59/496.77	c cleaning 14002 clauses out of 28030 with flag 1299001/1299001
503.99/503.18	c cleaning 13993 clauses out of 28027 with flag 1313000/1313000
510.20/509.36	c cleaning 14005 clauses out of 28035 with flag 1327001/1327001
516.60/515.74	c cleaning 14002 clauses out of 28029 with flag 1341000/1341000
521.20/520.34	c cleaning 14005 clauses out of 28028 with flag 1355001/1355001
526.00/525.13	c cleaning 13988 clauses out of 28022 with flag 1369000/1369000
532.11/531.28	c cleaning 14007 clauses out of 28034 with flag 1383000/1383000
538.20/537.36	c cleaning 14001 clauses out of 28027 with flag 1397000/1397000
544.01/543.13	c cleaning 14003 clauses out of 28028 with flag 1411002/1411002
549.91/549.07	c cleaning 14002 clauses out of 28023 with flag 1425000/1425000
556.21/555.32	c cleaning 13996 clauses out of 28021 with flag 1439000/1439000
566.91/566.05	c cleaning 13996 clauses out of 28025 with flag 1453000/1453000
574.51/573.63	c cleaning 14001 clauses out of 28029 with flag 1467000/1467000
584.31/583.44	c cleaning 14006 clauses out of 28029 with flag 1481001/1481001
590.52/589.67	c cleaning 13991 clauses out of 28023 with flag 1495001/1495001
595.31/594.49	c cleaning 14000 clauses out of 28032 with flag 1509001/1509001
601.81/600.96	c cleaning 13989 clauses out of 28031 with flag 1523000/1523000
609.12/608.27	c cleaning 14008 clauses out of 28042 with flag 1537000/1537000
614.81/613.96	c cleaning 14003 clauses out of 28035 with flag 1551001/1551001
621.11/620.26	c cleaning 14007 clauses out of 28031 with flag 1565000/1565000
630.62/629.79	c cleaning 14003 clauses out of 28026 with flag 1579002/1579002
636.92/636.10	c cleaning 13995 clauses out of 28022 with flag 1593001/1593001
643.42/642.50	c cleaning 13987 clauses out of 28026 with flag 1607000/1607000
647.62/646.80	c cleaning 14005 clauses out of 28039 with flag 1621000/1621000
654.82/653.98	c cleaning 13998 clauses out of 28034 with flag 1635000/1635000
660.83/659.94	c cleaning 14008 clauses out of 28036 with flag 1649000/1649000
666.12/665.26	c cleaning 14004 clauses out of 28029 with flag 1663001/1663001
671.72/670.80	c cleaning 13995 clauses out of 28025 with flag 1677001/1677001
677.43/676.55	c cleaning 13996 clauses out of 28029 with flag 1691000/1691000
683.32/682.48	c cleaning 14010 clauses out of 28034 with flag 1705001/1705001
687.43/686.54	c cleaning 13982 clauses out of 28025 with flag 1719002/1719002
692.03/691.13	c cleaning 14009 clauses out of 28041 with flag 1733000/1733000
696.73/695.83	c cleaning 13999 clauses out of 28032 with flag 1747000/1747000
700.63/699.79	c cleaning 14003 clauses out of 28033 with flag 1761000/1761000
705.03/704.15	c cleaning 13993 clauses out of 28031 with flag 1775001/1775001
709.44/708.57	c cleaning 14001 clauses out of 28037 with flag 1789000/1789000
713.74/712.89	c cleaning 14002 clauses out of 28036 with flag 1803000/1803000
718.84/717.90	c cleaning 14001 clauses out of 28035 with flag 1817001/1817001
723.24/722.38	c cleaning 13988 clauses out of 28033 with flag 1831000/1831000
729.44/728.55	c cleaning 14013 clauses out of 28046 with flag 1845001/1845001
735.04/734.14	c cleaning 13994 clauses out of 28032 with flag 1859000/1859000
740.74/739.80	c cleaning 14011 clauses out of 28038 with flag 1873000/1873000
746.14/745.21	c cleaning 13998 clauses out of 28028 with flag 1887001/1887001
752.44/751.57	c cleaning 14009 clauses out of 28030 with flag 1901001/1901001
757.35/756.46	c cleaning 13999 clauses out of 28021 with flag 1915001/1915001
762.05/761.16	c cleaning 13990 clauses out of 28022 with flag 1929001/1929001
767.45/766.54	c cleaning 13998 clauses out of 28031 with flag 1943000/1943000
772.75/771.89	c cleaning 14003 clauses out of 28034 with flag 1957001/1957001
780.95/780.03	c cleaning 14000 clauses out of 28030 with flag 1971000/1971000
786.95/786.05	c cleaning 14003 clauses out of 28030 with flag 1985000/1985000
794.66/793.72	c cleaning 14004 clauses out of 28027 with flag 1999000/1999000
800.86/799.98	c cleaning 13996 clauses out of 28024 with flag 2013001/2013001
806.16/805.24	c cleaning 13989 clauses out of 28027 with flag 2027000/2027000
811.76/810.87	c cleaning 14009 clauses out of 28039 with flag 2041001/2041001
816.46/815.55	c cleaning 14001 clauses out of 28029 with flag 2055000/2055000
821.66/820.75	c cleaning 14003 clauses out of 28029 with flag 2069001/2069001
826.97/826.09	c cleaning 14005 clauses out of 28025 with flag 2083000/2083000
831.87/830.92	c cleaning 14002 clauses out of 28020 with flag 2097000/2097000
837.67/836.70	c cleaning 13992 clauses out of 28019 with flag 2111001/2111001
846.57/845.65	c cleaning 13993 clauses out of 28026 with flag 2125000/2125000
853.67/852.70	c cleaning 14004 clauses out of 28034 with flag 2139001/2139001
858.27/857.37	c cleaning 13992 clauses out of 28030 with flag 2153001/2153001
862.57/861.65	c cleaning 13993 clauses out of 28029 with flag 2167000/2167000
867.08/866.12	c cleaning 14001 clauses out of 28036 with flag 2181000/2181000
870.88/869.92	c cleaning 14005 clauses out of 28037 with flag 2195002/2195002
875.08/874.19	c cleaning 14003 clauses out of 28031 with flag 2209001/2209001
882.28/881.31	c cleaning 14003 clauses out of 28028 with flag 2223001/2223001
886.89/885.96	c cleaning 13990 clauses out of 28024 with flag 2237000/2237000
892.79/891.87	c cleaning 13991 clauses out of 28036 with flag 2251002/2251002
898.99/898.07	c cleaning 14006 clauses out of 28043 with flag 2265000/2265000
904.59/903.67	c cleaning 14007 clauses out of 28037 with flag 2279000/2279000
911.59/910.69	c cleaning 13993 clauses out of 28031 with flag 2293001/2293001
918.00/917.07	c cleaning 13983 clauses out of 28037 with flag 2307000/2307000
925.40/924.44	c cleaning 14013 clauses out of 28054 with flag 2321000/2321000
929.20/928.29	c cleaning 14003 clauses out of 28041 with flag 2335000/2335000
933.71/932.75	c cleaning 14009 clauses out of 28038 with flag 2349000/2349000
938.50/937.60	c cleaning 14000 clauses out of 28029 with flag 2363000/2363000
942.90/941.95	c cleaning 14001 clauses out of 28030 with flag 2377001/2377001
950.11/949.13	c cleaning 13996 clauses out of 28029 with flag 2391001/2391001
956.51/955.52	c cleaning 13983 clauses out of 28032 with flag 2405000/2405000
962.21/961.23	c cleaning 14010 clauses out of 28050 with flag 2419001/2419001
968.92/967.98	c cleaning 14009 clauses out of 28039 with flag 2433000/2433000
973.11/972.15	c cleaning 14000 clauses out of 28030 with flag 2447000/2447000
977.91/976.94	c cleaning 14000 clauses out of 28030 with flag 2461000/2461000
983.62/982.61	c cleaning 13997 clauses out of 28030 with flag 2475000/2475000
988.22/987.25	c cleaning 13985 clauses out of 28034 with flag 2489001/2489001
992.92/991.98	c cleaning 14012 clauses out of 28049 with flag 2503001/2503001
998.42/997.40	c cleaning 14007 clauses out of 28036 with flag 2517000/2517000
1003.42/1002.49	c cleaning 14005 clauses out of 28029 with flag 2531000/2531000
1009.63/1008.60	c cleaning 13994 clauses out of 28024 with flag 2545000/2545000
1015.02/1014.05	c cleaning 14000 clauses out of 28031 with flag 2559001/2559001
1020.83/1019.82	c cleaning 14002 clauses out of 28031 with flag 2573001/2573001
1029.33/1028.33	c cleaning 13993 clauses out of 28029 with flag 2587001/2587001
1036.53/1035.57	c cleaning 14006 clauses out of 28036 with flag 2601001/2601001
1044.33/1043.39	c cleaning 14006 clauses out of 28031 with flag 2615002/2615002
1052.24/1051.25	c cleaning 13993 clauses out of 28024 with flag 2629001/2629001
1056.84/1055.88	c cleaning 14008 clauses out of 28030 with flag 2643000/2643000
1063.24/1062.22	c cleaning 13997 clauses out of 28022 with flag 2657000/2657000
1067.54/1066.52	c cleaning 13998 clauses out of 28026 with flag 2671001/2671001
1072.55/1071.55	c cleaning 14003 clauses out of 28027 with flag 2685000/2685000
1080.95/1079.96	c cleaning 14002 clauses out of 28025 with flag 2699001/2699001
1087.17/1086.17	c cleaning 13993 clauses out of 28007 with flag 2713002/2713002
1092.77/1091.78	c cleaning 13991 clauses out of 28012 with flag 2727000/2727000
1099.87/1098.85	c cleaning 14001 clauses out of 28021 with flag 2741000/2741000
1106.57/1105.55	c cleaning 13988 clauses out of 28020 with flag 2755000/2755000
1112.47/1111.44	c cleaning 14006 clauses out of 28032 with flag 2769000/2769000
1121.07/1120.07	c cleaning 13992 clauses out of 28026 with flag 2783000/2783000
1126.07/1125.00	c cleaning 14005 clauses out of 28034 with flag 2797000/2797000
1130.68/1129.69	c cleaning 14007 clauses out of 28029 with flag 2811000/2811000
1137.78/1136.73	c cleaning 14001 clauses out of 28023 with flag 2825001/2825001
1145.28/1144.23	c cleaning 14000 clauses out of 28022 with flag 2839001/2839001
1152.88/1151.81	c cleaning 13999 clauses out of 28021 with flag 2853000/2853000
1158.08/1157.05	c cleaning 13992 clauses out of 28022 with flag 2867000/2867000
1163.28/1162.28	c cleaning 14001 clauses out of 28031 with flag 2881001/2881001
1170.78/1169.77	c cleaning 13985 clauses out of 28029 with flag 2895000/2895000
1178.79/1177.71	c cleaning 13980 clauses out of 28044 with flag 2909000/2909000
1185.89/1184.85	c cleaning 14011 clauses out of 28064 with flag 2923000/2923000
1194.89/1193.86	c cleaning 14020 clauses out of 28053 with flag 2937000/2937000
1205.79/1204.76	c cleaning 14003 clauses out of 28033 with flag 2951000/2951000
1211.30/1210.20	c cleaning 13997 clauses out of 28031 with flag 2965001/2965001
1215.70/1214.61	c cleaning 13992 clauses out of 28033 with flag 2979000/2979000
1220.40/1219.34	c cleaning 14005 clauses out of 28042 with flag 2993001/2993001
1224.50/1223.42	c cleaning 14006 clauses out of 28038 with flag 3007002/3007002
1229.00/1227.94	c cleaning 13996 clauses out of 28031 with flag 3021001/3021001
1235.50/1234.43	c cleaning 14004 clauses out of 28035 with flag 3035001/3035001
1241.81/1240.74	c cleaning 14004 clauses out of 28031 with flag 3049001/3049001
1248.41/1247.35	c cleaning 14000 clauses out of 28027 with flag 3063001/3063001
1253.81/1252.77	c cleaning 13996 clauses out of 28027 with flag 3077001/3077001
1258.21/1257.13	c cleaning 13989 clauses out of 28031 with flag 3091001/3091001
1263.61/1262.54	c cleaning 14002 clauses out of 28041 with flag 3105000/3105000
1270.52/1269.44	c cleaning 14000 clauses out of 28039 with flag 3119000/3119000
1276.71/1275.64	c cleaning 13991 clauses out of 28040 with flag 3133001/3133001
1284.82/1283.79	c cleaning 14017 clauses out of 28050 with flag 3147002/3147002
1291.22/1290.17	c cleaning 13999 clauses out of 28032 with flag 3161001/3161001
1296.82/1295.80	c cleaning 14009 clauses out of 28035 with flag 3175003/3175003
1301.12/1300.01	c starts		: 1826
1301.12/1300.01	c conflicts		: 3183725
1301.12/1300.01	c decisions		: 3613885
1301.12/1300.01	c propagations		: 1830991919
1301.12/1300.01	c inspects		: 12037054524
1301.12/1300.01	c shortcuts		: 0
1301.12/1300.01	c learnt literals	: 4
1301.12/1300.01	c learnt binary clauses	: 322
1301.12/1300.01	c learnt ternary clauses	: 1859
1301.12/1300.01	c learnt constraints	: 3183721
1301.12/1300.01	c ignored constraints	: 0
1301.12/1300.01	c root simplifications	: 1830
1301.12/1300.01	c removed literals (reason simplification)	: 243469452
1301.12/1300.01	c reason swapping (by a shorter reason)	: 0
1301.12/1300.01	c Calls to reduceDB	: 230
1301.12/1300.01	c speed (assignments/second)	: 1408843.7939063217
1301.12/1300.01	c non guided choices	136
1301.12/1300.04	c learnt constraints type 
1301.12/1300.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 314
1301.12/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 22465
1301.12/1300.04	c constraints type 
1301.12/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4623
1301.12/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9246
1301.12/1300.04	s UNKNOWN
1301.12/1300.04	c Total wall clock time (in seconds) : 1299.729

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

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-3282175-1307633277/watcher-3282175-1307633277 -o /tmp/evaluation-result-3282175-1307633277/solver-3282175-1307633277 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3282175-1307633277.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 30490
/proc/meminfo: memFree=32434180/32951124 swapFree=67088052/67111528
[pid=30490] ppid=30488 vsize=252 CPUtime=0 cores=0,2
/proc/30490/stat : 30490 (java) S 30488 30490 30455 0 -1 4194304 78 0 0 0 0 0 0 0 21 0 1 0 855743890 258048 32 33554432000 1073741824 1073778376 140736371803152 18446744073709551615 255101845127 0 2147483391 4096 0 18446744071699199166 0 0 17 0 0 0 0
/proc/30490/statm: 63 32 24 9 0 22 0

[startup+0.0678289 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 30490
/proc/meminfo: memFree=32434180/32951124 swapFree=67088052/67111528
[pid=30490] ppid=30488 vsize=9100 CPUtime=0 cores=0,2
/proc/30490/stat : 30490 (java) S 30488 30490 30455 0 -1 4202496 235 0 0 0 0 0 0 0 21 0 1 0 855743890 9318400 171 33554432000 1073741824 1073778376 140736371803152 18446744073709551615 255106764645 0 2147483391 4096 0 18446744071699199166 0 0 17 2 0 0 0
/proc/30490/statm: 2275 171 130 9 0 67 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9100

[startup+0.100824 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 30490
/proc/meminfo: memFree=32434180/32951124 swapFree=67088052/67111528
[pid=30490] ppid=30488 vsize=26088 CPUtime=0 cores=0,2
/proc/30490/stat : 30490 (java) S 30488 30490 30455 0 -1 4202496 1169 0 0 0 0 0 0 0 21 0 2 0 855743890 26714112 897 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118571493 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/30490/statm: 6522 897 682 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26088

[startup+0.305835 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 30490
/proc/meminfo: memFree=32434180/32951124 swapFree=67088052/67111528
[pid=30490] ppid=30488 vsize=7637204 CPUtime=0.12 cores=0,2
/proc/30490/stat : 30490 (java) S 30488 30490 30455 0 -1 4202496 10623 0 4 0 11 1 0 0 21 0 18 0 855743890 7820496896 10322 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30490/statm: 1909301 10322 2123 9 0 1900039 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 7637204

[startup+0.700705 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 30490
/proc/meminfo: memFree=32434180/32951124 swapFree=67088052/67111528
[pid=30490] ppid=30488 vsize=7645924 CPUtime=0.89 cores=0,2
/proc/30490/stat : 30490 (java) S 30488 30490 30455 0 -1 4202496 14886 0 4 0 87 2 0 0 21 0 19 0 855743890 7829426176 12886 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30490/statm: 1911481 12886 2216 9 0 1902219 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 7645924

[startup+1.50063 s]
/proc/loadavg: 0.00 0.00 0.00 2/193 30509
/proc/meminfo: memFree=32390080/32951124 swapFree=67088052/67111528
[pid=30490] ppid=30488 vsize=7645924 CPUtime=1.75 cores=0,2
/proc/30490/stat : 30490 (java) S 30488 30490 30455 0 -1 4202496 15221 0 4 0 173 2 0 0 21 0 19 0 855743890 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30490/statm: 1911481 13221 2217 9 0 1902219 0
[pid=30490/tid=30492] ppid=30488 vsize=7645924 CPUtime=1.28 cores=0,2
/proc/30490/task/30492/stat : 30492 (java) R 30488 30490 30455 0 -1 4202560 9470 0 4 0 127 1 0 0 20 0 19 0 855743900 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 46912505653685 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30490/tid=30493] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30493/stat : 30493 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 855743910 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30494] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30494/stat : 30494 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 855743910 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30495] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30495/stat : 30495 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743910 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30496] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30496/stat : 30496 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743910 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30497] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30497/stat : 30497 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743910 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30498] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30498/stat : 30498 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743910 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30499] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30499/stat : 30499 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743910 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30500] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30500/stat : 30500 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743910 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30501] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30501/stat : 30501 (java) S 30488 30490 30455 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 855743911 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 0 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30502] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30502/stat : 30502 (java) S 30488 30490 30455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 855743911 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30503] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30503/stat : 30503 (java) S 30488 30490 30455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855743911 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30504] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30504/stat : 30504 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743914 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118592433 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30505] ppid=30488 vsize=7645924 CPUtime=0.4 cores=0,2
/proc/30490/task/30505/stat : 30505 (java) S 30488 30490 30455 0 -1 4202560 3803 0 0 0 40 0 0 0 17 0 19 0 855743914 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30506] ppid=30488 vsize=7645924 CPUtime=0.05 cores=0,2
/proc/30490/task/30506/stat : 30506 (java) S 30488 30490 30455 0 -1 4202560 785 0 0 0 5 0 0 0 25 0 19 0 855743914 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30507] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30507/stat : 30507 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743914 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30508] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30508/stat : 30508 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743914 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30509] ppid=30488 vsize=7645924 CPUtime=0 cores=0,2
/proc/30490/task/30509/stat : 30509 (java) S 30488 30490 30455 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 855743928 7829426176 13221 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 7645924

[startup+3.10127 s]
/proc/loadavg: 0.00 0.00 0.00 3/193 30509
/proc/meminfo: memFree=32371236/32951124 swapFree=67088052/67111528
[pid=30490] ppid=30488 vsize=7663384 CPUtime=3.83 cores=0,2
/proc/30490/stat : 30490 (java) S 30488 30490 30455 0 -1 4202496 22281 0 4 0 380 3 0 0 21 0 19 0 855743890 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30490/statm: 1915846 18634 2251 9 0 1906584 0
[pid=30490/tid=30492] ppid=30488 vsize=7663384 CPUtime=2.85 cores=0,2
/proc/30490/task/30492/stat : 30492 (java) R 30488 30490 30455 0 -1 4202560 9629 0 4 0 284 1 0 0 25 0 19 0 855743900 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 46912505568284 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30490/tid=30493] ppid=30488 vsize=7663384 CPUtime=0 cores=0,2
/proc/30490/task/30493/stat : 30493 (java) S 30488 30490 30455 0 -1 4202560 319 0 0 0 0 0 0 0 18 0 19 0 855743910 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30494] ppid=30488 vsize=7663384 CPUtime=0 cores=0,2
/proc/30490/task/30494/stat : 30494 (java) S 30488 30490 30455 0 -1 4202560 340 0 0 0 0 0 0 0 18 0 19 0 855743910 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30495] ppid=30488 vsize=7663384 CPUtime=0 cores=0,2
/proc/30490/task/30495/stat : 30495 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 855743910 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30496] ppid=30488 vsize=7663384 CPUtime=0 cores=0,2
/proc/30490/task/30496/stat : 30496 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 855743910 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30497] ppid=30488 vsize=7663384 CPUtime=0 cores=0,2
/proc/30490/task/30497/stat : 30497 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 855743910 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30498] ppid=30488 vsize=7663384 CPUtime=0 cores=0,2
/proc/30490/task/30498/stat : 30498 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 855743910 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30499] ppid=30488 vsize=7663384 CPUtime=0 cores=0,2
/proc/30490/task/30499/stat : 30499 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 855743910 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30500] ppid=30488 vsize=7663384 CPUtime=0 cores=0,2
/proc/30490/task/30500/stat : 30500 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 855743910 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30501] ppid=30488 vsize=7663384 CPUtime=0.01 cores=0,2
/proc/30490/task/30501/stat : 30501 (java) S 30488 30490 30455 0 -1 4202560 671 0 0 0 1 0 0 0 15 0 19 0 855743911 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 0 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30502] ppid=30488 vsize=7663384 CPUtime=0 cores=0,2
/proc/30490/task/30502/stat : 30502 (java) S 30488 30490 30455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855743911 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30503] ppid=30488 vsize=7663384 CPUtime=0 cores=0,2
/proc/30490/task/30503/stat : 30503 (java) S 30488 30490 30455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855743911 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30504] ppid=30488 vsize=7663384 CPUtime=0 cores=0,2
/proc/30490/task/30504/stat : 30504 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743914 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118592433 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30505] ppid=30488 vsize=7663384 CPUtime=0.43 cores=0,2
/proc/30490/task/30505/stat : 30505 (java) R 30488 30490 30455 0 -1 4202560 3807 0 0 0 43 0 0 0 15 0 19 0 855743914 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 47791999102426 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30490/tid=30506] ppid=30488 vsize=7663384 CPUtime=0.49 cores=0,2
/proc/30490/task/30506/stat : 30506 (java) R 30488 30490 30455 0 -1 4202560 6358 0 0 0 49 0 0 0 15 0 19 0 855743914 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 47791999109455 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30490/tid=30507] ppid=30488 vsize=7663384 CPUtime=0 cores=0,2
/proc/30490/task/30507/stat : 30507 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743914 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30508] ppid=30488 vsize=7663384 CPUtime=0 cores=0,2
/proc/30490/task/30508/stat : 30508 (java) R 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743914 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30490/tid=30509] ppid=30488 vsize=7663384 CPUtime=0 cores=0,2
/proc/30490/task/30509/stat : 30509 (java) S 30488 30490 30455 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 855743928 7847305216 18634 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 7663384

[startup+6.30071 s]
/proc/loadavg: 0.08 0.02 0.01 3/215 30540
/proc/meminfo: memFree=32328240/32951124 swapFree=67088052/67111528
[pid=30490] ppid=30488 vsize=7653308 CPUtime=7.05 cores=0,2
/proc/30490/stat : 30490 (java) S 30488 30490 30455 0 -1 4202496 23018 0 4 0 701 4 0 0 21 0 19 0 855743890 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30490/statm: 1913327 17310 2251 9 0 1904065 0
[pid=30490/tid=30492] ppid=30488 vsize=7653308 CPUtime=6 cores=0,2
/proc/30490/task/30492/stat : 30492 (java) R 30488 30490 30455 0 -1 4202560 9631 0 4 0 598 2 0 0 25 0 19 0 855743900 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 46912505664501 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30490/tid=30493] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30493/stat : 30493 (java) S 30488 30490 30455 0 -1 4202560 319 0 0 0 0 0 0 0 15 0 19 0 855743910 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30494] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30494/stat : 30494 (java) S 30488 30490 30455 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 19 0 855743910 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30495] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30495/stat : 30495 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743910 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30496] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30496/stat : 30496 (java) S 30488 30490 30455 0 -1 4202560 89 0 0 0 0 0 0 0 18 0 19 0 855743910 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30497] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30497/stat : 30497 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743910 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30498] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30498/stat : 30498 (java) S 30488 30490 30455 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 855743910 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30499] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30499/stat : 30499 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743910 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30500] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30500/stat : 30500 (java) S 30488 30490 30455 0 -1 4202560 365 0 0 0 0 0 0 0 15 0 19 0 855743910 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30501] ppid=30488 vsize=7653308 CPUtime=0.04 cores=0,2
/proc/30490/task/30501/stat : 30501 (java) S 30488 30490 30455 0 -1 4202560 944 0 0 0 4 0 0 0 16 0 19 0 855743911 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 0 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30502] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30502/stat : 30502 (java) S 30488 30490 30455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855743911 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30503] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30503/stat : 30503 (java) S 30488 30490 30455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855743911 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30504] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30504/stat : 30504 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743914 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118592433 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30505] ppid=30488 vsize=7653308 CPUtime=0.45 cores=0,2
/proc/30490/task/30505/stat : 30505 (java) S 30488 30490 30455 0 -1 4202560 3807 0 0 0 45 0 0 0 15 0 19 0 855743914 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30506] ppid=30488 vsize=7653308 CPUtime=0.51 cores=0,2
/proc/30490/task/30506/stat : 30506 (java) S 30488 30490 30455 0 -1 4202560 6360 0 0 0 51 0 0 0 15 0 19 0 855743914 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30507] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30507/stat : 30507 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743914 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30508] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30508/stat : 30508 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743914 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30509] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30509/stat : 30509 (java) S 30488 30490 30455 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 855743928 7836987392 17310 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 7653308

[startup+12.7016 s]

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

[pid=30490/tid=30498] ppid=30488 vsize=7653308 CPUtime=0.11 cores=0,2
/proc/30490/task/30498/stat : 30498 (java) S 30488 30490 30455 0 -1 4202560 381 0 0 0 11 0 0 0 16 0 19 0 855743910 7836987392 18992 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30499] ppid=30488 vsize=7653308 CPUtime=0.1 cores=0,2
/proc/30490/task/30499/stat : 30499 (java) S 30488 30490 30455 0 -1 4202560 7 0 0 0 10 0 0 0 16 0 19 0 855743910 7836987392 18992 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30500] ppid=30488 vsize=7653308 CPUtime=0.08 cores=0,2
/proc/30490/task/30500/stat : 30500 (java) S 30488 30490 30455 0 -1 4202560 373 0 0 0 8 0 0 0 15 0 19 0 855743910 7836987392 18992 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30501] ppid=30488 vsize=7653308 CPUtime=4.28 cores=0,2
/proc/30490/task/30501/stat : 30501 (java) S 30488 30490 30455 0 -1 4202560 2176 0 0 0 427 1 0 0 15 0 19 0 855743911 7836987392 18992 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 0 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30502] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30502/stat : 30502 (java) S 30488 30490 30455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855743911 7836987392 18992 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30503] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30503/stat : 30503 (java) S 30488 30490 30455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855743911 7836987392 18992 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30504] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30504/stat : 30504 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743914 7836987392 18992 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118592433 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30505] ppid=30488 vsize=7653308 CPUtime=0.45 cores=0,2
/proc/30490/task/30505/stat : 30505 (java) S 30488 30490 30455 0 -1 4202560 3807 0 0 0 45 0 0 0 15 0 19 0 855743914 7836987392 18992 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30506] ppid=30488 vsize=7653308 CPUtime=0.59 cores=0,2
/proc/30490/task/30506/stat : 30506 (java) S 30488 30490 30455 0 -1 4202560 6372 0 0 0 59 0 0 0 15 0 19 0 855743914 7836987392 18992 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30507] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30507/stat : 30507 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743914 7836987392 18992 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30508] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30508/stat : 30508 (java) S 30488 30490 30455 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 855743914 7836987392 18992 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30509] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30509/stat : 30509 (java) S 30488 30490 30455 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 855743928 7836987392 18992 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1123.37
Current children cumulated vsize (KiB) 7653308

[startup+1182.3 s]
/proc/loadavg: 2.12 2.18 1.79 3/214 30800
/proc/meminfo: memFree=32285824/32951124 swapFree=67088052/67111528
[pid=30490] ppid=30488 vsize=7653308 CPUtime=1183.39 cores=0,2
/proc/30490/stat : 30490 (java) S 30488 30490 30455 0 -1 4202496 25089 0 4 0 118330 9 0 0 21 0 19 0 855743890 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30490/statm: 1913327 19031 2254 9 0 1904065 0
[pid=30490/tid=30492] ppid=30488 vsize=7653308 CPUtime=1176.98 cores=0,2
/proc/30490/task/30492/stat : 30492 (java) R 30488 30490 30455 0 -1 4202560 9845 0 4 0 117694 4 0 0 25 0 19 0 855743900 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 46912505568856 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30490/tid=30493] ppid=30488 vsize=7653308 CPUtime=0.1 cores=0,2
/proc/30490/task/30493/stat : 30493 (java) S 30488 30490 30455 0 -1 4202560 329 0 0 0 10 0 0 0 15 0 19 0 855743910 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30494] ppid=30488 vsize=7653308 CPUtime=0.09 cores=0,2
/proc/30490/task/30494/stat : 30494 (java) S 30488 30490 30455 0 -1 4202560 350 0 0 0 9 0 0 0 15 0 19 0 855743910 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30495] ppid=30488 vsize=7653308 CPUtime=0.1 cores=0,2
/proc/30490/task/30495/stat : 30495 (java) S 30488 30490 30455 0 -1 4202560 11 0 0 0 10 0 0 0 16 0 19 0 855743910 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30496] ppid=30488 vsize=7653308 CPUtime=0.1 cores=0,2
/proc/30490/task/30496/stat : 30496 (java) S 30488 30490 30455 0 -1 4202560 99 0 0 0 10 0 0 0 15 0 19 0 855743910 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30497] ppid=30488 vsize=7653308 CPUtime=0.1 cores=0,2
/proc/30490/task/30497/stat : 30497 (java) S 30488 30490 30455 0 -1 4202560 80 0 0 0 10 0 0 0 15 0 19 0 855743910 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30498] ppid=30488 vsize=7653308 CPUtime=0.12 cores=0,2
/proc/30490/task/30498/stat : 30498 (java) S 30488 30490 30455 0 -1 4202560 381 0 0 0 12 0 0 0 15 0 19 0 855743910 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30499] ppid=30488 vsize=7653308 CPUtime=0.11 cores=0,2
/proc/30490/task/30499/stat : 30499 (java) S 30488 30490 30455 0 -1 4202560 7 0 0 0 11 0 0 0 15 0 19 0 855743910 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30500] ppid=30488 vsize=7653308 CPUtime=0.08 cores=0,2
/proc/30490/task/30500/stat : 30500 (java) S 30488 30490 30455 0 -1 4202560 373 0 0 0 8 0 0 0 15 0 19 0 855743910 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30501] ppid=30488 vsize=7653308 CPUtime=4.47 cores=0,2
/proc/30490/task/30501/stat : 30501 (java) S 30488 30490 30455 0 -1 4202560 2216 0 0 0 446 1 0 0 15 0 19 0 855743911 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 0 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30502] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30502/stat : 30502 (java) S 30488 30490 30455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855743911 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30503] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30503/stat : 30503 (java) S 30488 30490 30455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855743911 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30504] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30504/stat : 30504 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743914 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118592433 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30505] ppid=30488 vsize=7653308 CPUtime=0.45 cores=0,2
/proc/30490/task/30505/stat : 30505 (java) S 30488 30490 30455 0 -1 4202560 3807 0 0 0 45 0 0 0 15 0 19 0 855743914 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30506] ppid=30488 vsize=7653308 CPUtime=0.59 cores=0,2
/proc/30490/task/30506/stat : 30506 (java) S 30488 30490 30455 0 -1 4202560 6372 0 0 0 59 0 0 0 15 0 19 0 855743914 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30507] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30507/stat : 30507 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743914 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30508] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30508/stat : 30508 (java) S 30488 30490 30455 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 855743914 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30509] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30509/stat : 30509 (java) S 30488 30490 30455 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 855743928 7836987392 19031 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1183.39
Current children cumulated vsize (KiB) 7653308

[startup+1242.3 s]
/proc/loadavg: 2.04 2.14 1.80 3/214 30802
/proc/meminfo: memFree=32285356/32951124 swapFree=67088052/67111528
[pid=30490] ppid=30488 vsize=7653308 CPUtime=1243.4 cores=0,2
/proc/30490/stat : 30490 (java) S 30488 30490 30455 0 -1 4202496 25143 0 4 0 124331 9 0 0 21 0 19 0 855743890 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30490/statm: 1913327 19067 2254 9 0 1904065 0
[pid=30490/tid=30492] ppid=30488 vsize=7653308 CPUtime=1236.73 cores=0,2
/proc/30490/task/30492/stat : 30492 (java) R 30488 30490 30455 0 -1 4202560 9855 0 4 0 123669 4 0 0 25 0 19 0 855743900 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 46912505568882 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30490/tid=30493] ppid=30488 vsize=7653308 CPUtime=0.1 cores=0,2
/proc/30490/task/30493/stat : 30493 (java) S 30488 30490 30455 0 -1 4202560 333 0 0 0 10 0 0 0 15 0 19 0 855743910 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30494] ppid=30488 vsize=7653308 CPUtime=0.09 cores=0,2
/proc/30490/task/30494/stat : 30494 (java) S 30488 30490 30455 0 -1 4202560 350 0 0 0 9 0 0 0 15 0 19 0 855743910 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30495] ppid=30488 vsize=7653308 CPUtime=0.11 cores=0,2
/proc/30490/task/30495/stat : 30495 (java) S 30488 30490 30455 0 -1 4202560 14 0 0 0 11 0 0 0 15 0 19 0 855743910 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30496] ppid=30488 vsize=7653308 CPUtime=0.11 cores=0,2
/proc/30490/task/30496/stat : 30496 (java) S 30488 30490 30455 0 -1 4202560 99 0 0 0 11 0 0 0 15 0 19 0 855743910 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30497] ppid=30488 vsize=7653308 CPUtime=0.11 cores=0,2
/proc/30490/task/30497/stat : 30497 (java) S 30488 30490 30455 0 -1 4202560 80 0 0 0 11 0 0 0 15 0 19 0 855743910 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30498] ppid=30488 vsize=7653308 CPUtime=0.12 cores=0,2
/proc/30490/task/30498/stat : 30498 (java) S 30488 30490 30455 0 -1 4202560 381 0 0 0 12 0 0 0 16 0 19 0 855743910 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30499] ppid=30488 vsize=7653308 CPUtime=0.11 cores=0,2
/proc/30490/task/30499/stat : 30499 (java) S 30488 30490 30455 0 -1 4202560 7 0 0 0 11 0 0 0 15 0 19 0 855743910 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30500] ppid=30488 vsize=7653308 CPUtime=0.08 cores=0,2
/proc/30490/task/30500/stat : 30500 (java) S 30488 30490 30455 0 -1 4202560 373 0 0 0 8 0 0 0 15 0 19 0 855743910 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30501] ppid=30488 vsize=7653308 CPUtime=4.7 cores=0,2
/proc/30490/task/30501/stat : 30501 (java) S 30488 30490 30455 0 -1 4202560 2249 0 0 0 469 1 0 0 15 0 19 0 855743911 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 0 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30502] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30502/stat : 30502 (java) S 30488 30490 30455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855743911 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30503] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30503/stat : 30503 (java) S 30488 30490 30455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855743911 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30504] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30504/stat : 30504 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743914 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118592433 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30505] ppid=30488 vsize=7653308 CPUtime=0.45 cores=0,2
/proc/30490/task/30505/stat : 30505 (java) S 30488 30490 30455 0 -1 4202560 3807 0 0 0 45 0 0 0 15 0 19 0 855743914 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30506] ppid=30488 vsize=7653308 CPUtime=0.59 cores=0,2
/proc/30490/task/30506/stat : 30506 (java) S 30488 30490 30455 0 -1 4202560 6372 0 0 0 59 0 0 0 15 0 19 0 855743914 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30507] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30507/stat : 30507 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743914 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30508] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30508/stat : 30508 (java) S 30488 30490 30455 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 855743914 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30509] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30509/stat : 30509 (java) S 30488 30490 30455 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 855743928 7836987392 19067 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1243.4
Current children cumulated vsize (KiB) 7653308



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.01 2.12 1.81 3/214 30803
/proc/meminfo: memFree=32284792/32951124 swapFree=67088052/67111528
[pid=30490] ppid=30488 vsize=7653308 CPUtime=1301.12 cores=0,2
/proc/30490/stat : 30490 (java) S 30488 30490 30455 0 -1 4202496 25159 0 4 0 130103 9 0 0 21 0 19 0 855743890 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30490/statm: 1913327 19070 2254 9 0 1904065 0
[pid=30490/tid=30492] ppid=30488 vsize=7653308 CPUtime=1294.21 cores=0,2
/proc/30490/task/30492/stat : 30492 (java) R 30488 30490 30455 0 -1 4202560 9864 0 4 0 129417 4 0 0 25 0 19 0 855743900 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 46912505567904 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30490/tid=30493] ppid=30488 vsize=7653308 CPUtime=0.11 cores=0,2
/proc/30490/task/30493/stat : 30493 (java) S 30488 30490 30455 0 -1 4202560 333 0 0 0 11 0 0 0 16 0 19 0 855743910 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30494] ppid=30488 vsize=7653308 CPUtime=0.1 cores=0,2
/proc/30490/task/30494/stat : 30494 (java) S 30488 30490 30455 0 -1 4202560 350 0 0 0 10 0 0 0 15 0 19 0 855743910 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30495] ppid=30488 vsize=7653308 CPUtime=0.12 cores=0,2
/proc/30490/task/30495/stat : 30495 (java) S 30488 30490 30455 0 -1 4202560 14 0 0 0 12 0 0 0 16 0 19 0 855743910 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30496] ppid=30488 vsize=7653308 CPUtime=0.11 cores=0,2
/proc/30490/task/30496/stat : 30496 (java) S 30488 30490 30455 0 -1 4202560 102 0 0 0 11 0 0 0 15 0 19 0 855743910 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30497] ppid=30488 vsize=7653308 CPUtime=0.11 cores=0,2
/proc/30490/task/30497/stat : 30497 (java) S 30488 30490 30455 0 -1 4202560 80 0 0 0 11 0 0 0 15 0 19 0 855743910 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30498] ppid=30488 vsize=7653308 CPUtime=0.13 cores=0,2
/proc/30490/task/30498/stat : 30498 (java) S 30488 30490 30455 0 -1 4202560 381 0 0 0 13 0 0 0 15 0 19 0 855743910 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30499] ppid=30488 vsize=7653308 CPUtime=0.12 cores=0,2
/proc/30490/task/30499/stat : 30499 (java) S 30488 30490 30455 0 -1 4202560 7 0 0 0 12 0 0 0 15 0 19 0 855743910 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30500] ppid=30488 vsize=7653308 CPUtime=0.08 cores=0,2
/proc/30490/task/30500/stat : 30500 (java) S 30488 30490 30455 0 -1 4202560 373 0 0 0 8 0 0 0 15 0 19 0 855743910 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30501] ppid=30488 vsize=7653308 CPUtime=4.89 cores=0,2
/proc/30490/task/30501/stat : 30501 (java) S 30488 30490 30455 0 -1 4202560 2251 0 0 0 488 1 0 0 15 0 19 0 855743911 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 0 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30502] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30502/stat : 30502 (java) S 30488 30490 30455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855743911 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30503] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30503/stat : 30503 (java) S 30488 30490 30455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855743911 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30504] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30504/stat : 30504 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743914 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118592433 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30505] ppid=30488 vsize=7653308 CPUtime=0.45 cores=0,2
/proc/30490/task/30505/stat : 30505 (java) S 30488 30490 30455 0 -1 4202560 3807 0 0 0 45 0 0 0 15 0 19 0 855743914 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30506] ppid=30488 vsize=7653308 CPUtime=0.59 cores=0,2
/proc/30490/task/30506/stat : 30506 (java) S 30488 30490 30455 0 -1 4202560 6372 0 0 0 59 0 0 0 15 0 19 0 855743914 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 0 0 0 0
[pid=30490/tid=30507] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30507/stat : 30507 (java) S 30488 30490 30455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743914 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118584729 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
[pid=30490/tid=30508] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30508/stat : 30508 (java) R 30488 30490 30455 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 855743914 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30490/tid=30509] ppid=30488 vsize=7653308 CPUtime=0 cores=0,2
/proc/30490/task/30509/stat : 30509 (java) S 30488 30490 30455 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 855743928 7836987392 19070 33554432000 1073741824 1073778376 140737428874256 18446744073709551615 255118585344 0 4 0 16800975 18446604453961193408 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.12
Current children cumulated vsize (KiB) 7653308

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): 1300.05
CPU time (s): 1301.2
CPU user time (s): 1301.1
CPU system time (s): 0.103984
CPU usage (%): 100.089
Max. virtual memory (cumulated for all children) (KiB): 7663384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.1
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25196
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33059
involuntary context switches= 11812

runsolver used 2.40163 second user time and 4.71928 second system time

The end

Launcher Data 

Begin job on node144 at 2011-06-09 17:27:57
IDJOB=3282175
IDBENCH=70785
IDSOLVER=1611
FILE ID=node144/3282175-1307633277
RUNJOBID= node144-1307633277-30474
PBS_JOBID= 13549348
Free space on /tmp= 74136 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282175-1307633277/watcher-3282175-1307633277 -o /tmp/evaluation-result-3282175-1307633277/solver-3282175-1307633277 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3282175-1307633277.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= e4ef55733955e0a45519e9f7dec923e5
RANDOM SEED=1334789658

node144.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.850
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.70
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.850
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.16
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.850
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.850
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.850
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.850
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.82
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.850
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32434520 kB
Buffers:         82040 kB
Cached:         220440 kB
SwapCached:       1460 kB
Active:         160404 kB
Inactive:       185224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32434520 kB
SwapTotal:    67111528 kB
SwapFree:     67088052 kB
Dirty:             440 kB
Writeback:           0 kB
AnonPages:       41808 kB
Mapped:          13460 kB
Slab:           105520 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186428 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= 74132 MiB
End job on node144 at 2011-06-09 17:49:40