Trace number 3293031

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.21 1300.05

General information on the benchmark

NameSAT02/industrial/goldberg/rand_net/
rand_net60-40-10.shuffled.cnf
MD5SUM532245ed9a95eef41b179dba56b78f57
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.016996
Satisfiable
(Un)Satisfiability was proved
Number of variables4800
Number of clauses14281
Sum of the clauses size33540
Maximum clause length60
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 29360
Number of clauses of size 34920
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.09/0.12	c no version file found!!!
0.09/0.12	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.12	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.12	c java.vm.version	19.1-b02
0.09/0.12	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.12	c sun.arch.data.model	64
0.09/0.12	c java.version		1.6.0_24
0.09/0.12	c os.name		Linux
0.09/0.12	c os.version		2.6.18-164.el5
0.09/0.12	c os.arch		amd64
0.09/0.12	c Free memory 		6997539544
0.09/0.12	c Max memory 		7034241024
0.09/0.12	c Total memory 		7034241024
0.09/0.12	c Number of processors 	8
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483647s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3293031-1303793463.cnf
0.09/0.12	c reading problem ... 
0.09/0.19	c ... done. Wall clock time 0.08s.
0.09/0.19	c #vars     4800
0.09/0.19	c #constraints  14281
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4921
0.09/0.19	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9360
2.04/1.74	c cleaning 2498 clauses out of 5000 with flag 5000/5000
4.16/3.47	c cleaning 4249 clauses out of 8502 with flag 11000/11000
6.05/5.38	c cleaning 5623 clauses out of 11253 with flag 18000/18000
8.46/7.72	c cleaning 6802 clauses out of 13631 with flag 26001/26001
11.25/10.54	c cleaning 7905 clauses out of 15828 with flag 35000/35000
14.36/13.61	c cleaning 8957 clauses out of 17924 with flag 45001/45001
18.16/17.45	c cleaning 9982 clauses out of 19971 with flag 56005/56005
22.36/21.64	c cleaning 10972 clauses out of 21984 with flag 68000/68000
26.87/26.18	c cleaning 12001 clauses out of 24012 with flag 81000/81000
32.17/31.43	c cleaning 12998 clauses out of 26011 with flag 95000/95000
38.18/37.45	c cleaning 14002 clauses out of 28013 with flag 110000/110000
44.38/43.66	c cleaning 14495 clauses out of 29014 with flag 125003/125003
50.78/50.09	c cleaning 14728 clauses out of 29516 with flag 140000/140000
56.89/56.18	c cleaning 14875 clauses out of 29788 with flag 155000/155000
63.09/62.33	c cleaning 14948 clauses out of 29913 with flag 170000/170000
69.19/68.45	c cleaning 14970 clauses out of 29966 with flag 185001/185001
74.99/74.21	c cleaning 14983 clauses out of 29996 with flag 200001/200001
80.59/79.83	c cleaning 15003 clauses out of 30012 with flag 215000/215000
85.50/84.76	c cleaning 14999 clauses out of 30009 with flag 230000/230000
91.40/90.65	c cleaning 14986 clauses out of 30010 with flag 245000/245000
97.30/96.59	c cleaning 14999 clauses out of 30024 with flag 260000/260000
103.00/102.23	c cleaning 14988 clauses out of 30026 with flag 275001/275001
108.71/107.93	c cleaning 15006 clauses out of 30037 with flag 290000/290000
114.70/113.92	c cleaning 14993 clauses out of 30032 with flag 305001/305001
120.50/119.79	c cleaning 15003 clauses out of 30041 with flag 320003/320003
126.81/126.06	c cleaning 14990 clauses out of 30036 with flag 335001/335001
132.51/131.77	c cleaning 15002 clauses out of 30045 with flag 350000/350000
138.61/137.80	c cleaning 15021 clauses out of 30046 with flag 365003/365003
144.41/143.67	c cleaning 15008 clauses out of 30023 with flag 380001/380001
150.31/149.59	c cleaning 14990 clauses out of 30016 with flag 395002/395002
156.71/155.90	c cleaning 14988 clauses out of 30024 with flag 410000/410000
162.62/161.87	c cleaning 14999 clauses out of 30037 with flag 425001/425001
168.82/168.01	c cleaning 14990 clauses out of 30037 with flag 440000/440000
174.82/174.03	c cleaning 15002 clauses out of 30047 with flag 455000/455000
180.62/179.87	c cleaning 15007 clauses out of 30045 with flag 470000/470000
186.92/186.14	c cleaning 14972 clauses out of 30038 with flag 485000/485000
192.92/192.19	c cleaning 15016 clauses out of 30066 with flag 500000/500000
199.02/198.24	c cleaning 15016 clauses out of 30053 with flag 515003/515003
205.02/204.28	c cleaning 14978 clauses out of 30034 with flag 530000/530000
210.93/210.18	c cleaning 15022 clauses out of 30056 with flag 545000/545000
216.93/216.16	c cleaning 14986 clauses out of 30034 with flag 560000/560000
223.04/222.24	c cleaning 14982 clauses out of 30049 with flag 575001/575001
229.03/228.22	c cleaning 14985 clauses out of 30066 with flag 590000/590000
234.63/233.87	c cleaning 15007 clauses out of 30082 with flag 605001/605001
240.74/239.96	c cleaning 15020 clauses out of 30075 with flag 620001/620001
246.73/245.98	c cleaning 15014 clauses out of 30056 with flag 635002/635002
253.14/252.37	c cleaning 14986 clauses out of 30040 with flag 650000/650000
259.54/258.71	c cleaning 15021 clauses out of 30055 with flag 665001/665001
265.74/264.94	c cleaning 14996 clauses out of 30036 with flag 680003/680003
271.84/271.02	c cleaning 15000 clauses out of 30040 with flag 695003/695003
277.84/277.07	c cleaning 14990 clauses out of 30037 with flag 710000/710000
284.54/283.80	c cleaning 15005 clauses out of 30050 with flag 725003/725003
291.14/290.36	c cleaning 15006 clauses out of 30042 with flag 740000/740000
297.54/296.73	c cleaning 14987 clauses out of 30038 with flag 755002/755002
303.45/302.67	c cleaning 15016 clauses out of 30050 with flag 770001/770001
309.65/308.83	c cleaning 15003 clauses out of 30035 with flag 785002/785002
315.55/314.71	c cleaning 14989 clauses out of 30031 with flag 800001/800001
322.16/321.34	c cleaning 15005 clauses out of 30042 with flag 815001/815001
328.45/327.68	c cleaning 14968 clauses out of 30036 with flag 830000/830000
334.65/333.87	c cleaning 14996 clauses out of 30069 with flag 845001/845001
341.05/340.23	c cleaning 15001 clauses out of 30072 with flag 860000/860000
347.46/346.63	c cleaning 15018 clauses out of 30076 with flag 875005/875005
353.66/352.80	c cleaning 15016 clauses out of 30054 with flag 890001/890001
359.96/359.17	c cleaning 14984 clauses out of 30037 with flag 905000/905000
366.56/365.73	c cleaning 15017 clauses out of 30057 with flag 920004/920004
372.66/371.89	c cleaning 14997 clauses out of 30036 with flag 935000/935000
379.06/378.27	c cleaning 14989 clauses out of 30040 with flag 950001/950001
385.16/384.35	c cleaning 15002 clauses out of 30051 with flag 965001/965001
391.56/390.70	c cleaning 14991 clauses out of 30048 with flag 980000/980000
397.98/397.12	c cleaning 15004 clauses out of 30057 with flag 995000/995000
404.38/403.56	c cleaning 15000 clauses out of 30058 with flag 1010005/1010005
410.68/409.85	c cleaning 14987 clauses out of 30053 with flag 1025000/1025000
417.09/416.20	c cleaning 15007 clauses out of 30066 with flag 1040000/1040000
423.09/422.24	c cleaning 15019 clauses out of 30062 with flag 1055003/1055003
428.99/428.10	c cleaning 14993 clauses out of 30043 with flag 1070003/1070003
434.99/434.17	c cleaning 15000 clauses out of 30047 with flag 1085000/1085000
441.59/440.77	c cleaning 15000 clauses out of 30047 with flag 1100000/1100000
447.99/447.13	c cleaning 15007 clauses out of 30050 with flag 1115003/1115003
454.09/453.21	c cleaning 14996 clauses out of 30041 with flag 1130001/1130001
460.59/459.75	c cleaning 15001 clauses out of 30045 with flag 1145001/1145001
466.69/465.87	c cleaning 14984 clauses out of 30043 with flag 1160000/1160000
473.29/472.40	c cleaning 15010 clauses out of 30059 with flag 1175000/1175000
479.29/478.43	c cleaning 14991 clauses out of 30049 with flag 1190000/1190000
485.59/484.79	c cleaning 15000 clauses out of 30058 with flag 1205000/1205000
491.99/491.10	c cleaning 14976 clauses out of 30058 with flag 1220000/1220000
498.39/497.52	c cleaning 15022 clauses out of 30083 with flag 1235001/1235001
504.39/503.58	c cleaning 15006 clauses out of 30060 with flag 1250000/1250000
510.70/509.87	c cleaning 15006 clauses out of 30054 with flag 1265000/1265000
516.90/516.10	c cleaning 15011 clauses out of 30048 with flag 1280000/1280000
523.10/522.22	c cleaning 15002 clauses out of 30038 with flag 1295001/1295001
529.80/528.98	c cleaning 14988 clauses out of 30035 with flag 1310000/1310000
536.10/535.23	c cleaning 15008 clauses out of 30048 with flag 1325001/1325001
542.80/541.98	c cleaning 15011 clauses out of 30040 with flag 1340001/1340001
549.40/548.55	c cleaning 14976 clauses out of 30028 with flag 1355000/1355000
555.81/554.98	c cleaning 14994 clauses out of 30052 with flag 1370000/1370000
562.11/561.20	c cleaning 15001 clauses out of 30058 with flag 1385000/1385000
568.41/567.50	c cleaning 14979 clauses out of 30057 with flag 1400000/1400000
574.81/573.90	c cleaning 15008 clauses out of 30079 with flag 1415001/1415001
581.21/580.39	c cleaning 14997 clauses out of 30070 with flag 1430000/1430000
588.01/587.10	c cleaning 14986 clauses out of 30073 with flag 1445000/1445000
594.31/593.42	c cleaning 15016 clauses out of 30087 with flag 1460000/1460000
601.12/600.25	c cleaning 15034 clauses out of 30071 with flag 1475000/1475000
608.02/607.14	c cleaning 14993 clauses out of 30037 with flag 1490000/1490000
614.62/613.76	c cleaning 14971 clauses out of 30044 with flag 1505000/1505000
621.02/620.19	c cleaning 14999 clauses out of 30073 with flag 1520000/1520000
627.52/626.67	c cleaning 15009 clauses out of 30074 with flag 1535000/1535000
633.82/632.98	c cleaning 15026 clauses out of 30066 with flag 1550001/1550001
640.03/639.12	c cleaning 14988 clauses out of 30039 with flag 1565000/1565000
646.33/645.40	c cleaning 15008 clauses out of 30051 with flag 1580000/1580000
652.53/651.63	c cleaning 14995 clauses out of 30044 with flag 1595001/1595001
658.93/658.01	c cleaning 15000 clauses out of 30048 with flag 1610000/1610000
664.83/663.91	c cleaning 14997 clauses out of 30049 with flag 1625001/1625001
670.23/669.30	c cleaning 14994 clauses out of 30051 with flag 1640000/1640000
676.03/675.18	c cleaning 14990 clauses out of 30058 with flag 1655001/1655001
682.44/681.52	c cleaning 15001 clauses out of 30067 with flag 1670000/1670000
689.04/688.11	c cleaning 14993 clauses out of 30066 with flag 1685000/1685000
694.84/693.99	c cleaning 15019 clauses out of 30073 with flag 1700000/1700000
701.54/700.62	c cleaning 15007 clauses out of 30055 with flag 1715001/1715001
706.75/705.87	c cleaning 14969 clauses out of 30047 with flag 1730000/1730000
712.55/711.63	c cleaning 15001 clauses out of 30078 with flag 1745000/1745000
717.95/717.04	c cleaning 14999 clauses out of 30077 with flag 1760000/1760000
724.15/723.28	c cleaning 15014 clauses out of 30078 with flag 1775000/1775000
730.05/729.17	c cleaning 15008 clauses out of 30065 with flag 1790001/1790001
736.36/735.48	c cleaning 15001 clauses out of 30057 with flag 1805001/1805001
741.76/740.88	c cleaning 14996 clauses out of 30055 with flag 1820000/1820000
747.36/746.48	c cleaning 14991 clauses out of 30059 with flag 1835000/1835000
753.37/752.41	c cleaning 14988 clauses out of 30068 with flag 1850000/1850000
758.76/757.88	c cleaning 15014 clauses out of 30081 with flag 1865001/1865001
764.16/763.26	c cleaning 14987 clauses out of 30068 with flag 1880002/1880002
769.47/768.52	c cleaning 15024 clauses out of 30079 with flag 1895000/1895000
775.17/774.24	c cleaning 14998 clauses out of 30055 with flag 1910000/1910000
780.98/780.05	c cleaning 15007 clauses out of 30058 with flag 1925001/1925001
786.87/785.92	c cleaning 14955 clauses out of 30051 with flag 1940001/1940001
792.98/792.02	c cleaning 14979 clauses out of 30095 with flag 1955000/1955000
798.87/797.98	c cleaning 15020 clauses out of 30117 with flag 1970001/1970001
804.48/803.51	c cleaning 15008 clauses out of 30096 with flag 1985000/1985000
810.58/809.65	c cleaning 15031 clauses out of 30091 with flag 2000003/2000003
816.78/815.85	c cleaning 15007 clauses out of 30058 with flag 2015001/2015001
822.58/821.60	c cleaning 15000 clauses out of 30052 with flag 2030002/2030002
828.68/827.78	c cleaning 15006 clauses out of 30050 with flag 2045000/2045000
835.59/834.64	c cleaning 15004 clauses out of 30044 with flag 2060000/2060000
841.19/840.24	c cleaning 14998 clauses out of 30041 with flag 2075001/2075001
847.69/846.76	c cleaning 14994 clauses out of 30043 with flag 2090001/2090001
853.29/852.30	c cleaning 14985 clauses out of 30051 with flag 2105003/2105003
859.10/858.17	c cleaning 14989 clauses out of 30063 with flag 2120000/2120000
865.20/864.26	c cleaning 15003 clauses out of 30075 with flag 2135001/2135001
870.71/869.76	c cleaning 14998 clauses out of 30072 with flag 2150001/2150001
876.61/875.67	c cleaning 15000 clauses out of 30073 with flag 2165000/2165000
882.61/881.68	c cleaning 15010 clauses out of 30073 with flag 2180000/2180000
888.51/887.53	c cleaning 15001 clauses out of 30064 with flag 2195001/2195001
895.01/894.00	c cleaning 14975 clauses out of 30063 with flag 2210001/2210001
901.22/900.27	c cleaning 15027 clauses out of 30088 with flag 2225001/2225001
906.92/905.96	c cleaning 14990 clauses out of 30064 with flag 2240004/2240004
912.82/911.86	c cleaning 14993 clauses out of 30070 with flag 2255000/2255000
918.32/917.31	c cleaning 14993 clauses out of 30077 with flag 2270000/2270000
924.32/923.32	c cleaning 15022 clauses out of 30084 with flag 2285000/2285000
930.22/929.27	c cleaning 14999 clauses out of 30062 with flag 2300000/2300000
936.52/935.50	c cleaning 15005 clauses out of 30065 with flag 2315002/2315002
942.82/941.80	c cleaning 14992 clauses out of 30059 with flag 2330001/2330001
948.62/947.63	c cleaning 14986 clauses out of 30067 with flag 2345001/2345001
954.52/953.50	c cleaning 14998 clauses out of 30080 with flag 2360000/2360000
960.73/959.77	c cleaning 15013 clauses out of 30082 with flag 2375000/2375000
966.93/965.91	c cleaning 14996 clauses out of 30069 with flag 2390000/2390000
972.93/971.91	c cleaning 14981 clauses out of 30073 with flag 2405000/2405000
978.73/977.73	c cleaning 14964 clauses out of 30092 with flag 2420000/2420000
984.93/983.98	c cleaning 15035 clauses out of 30129 with flag 2435001/2435001
991.44/990.40	c cleaning 15006 clauses out of 30095 with flag 2450002/2450002
997.44/996.49	c cleaning 14992 clauses out of 30087 with flag 2465000/2465000
1003.54/1002.51	c cleaning 15009 clauses out of 30095 with flag 2480000/2480000
1009.85/1008.83	c cleaning 14985 clauses out of 30086 with flag 2495000/2495000
1015.64/1014.69	c cleaning 15024 clauses out of 30101 with flag 2510000/2510000
1021.54/1020.53	c cleaning 15010 clauses out of 30078 with flag 2525001/2525001
1027.74/1026.76	c cleaning 15010 clauses out of 30067 with flag 2540000/2540000
1034.16/1033.18	c cleaning 14994 clauses out of 30058 with flag 2555001/2555001
1040.16/1039.14	c cleaning 15010 clauses out of 30064 with flag 2570001/2570001
1046.36/1045.38	c cleaning 14994 clauses out of 30053 with flag 2585000/2585000
1052.16/1051.10	c cleaning 14998 clauses out of 30059 with flag 2600000/2600000
1058.36/1057.36	c cleaning 14999 clauses out of 30061 with flag 2615000/2615000
1064.67/1063.67	c cleaning 14991 clauses out of 30062 with flag 2630000/2630000
1070.47/1069.40	c cleaning 15004 clauses out of 30071 with flag 2645000/2645000
1076.17/1075.11	c cleaning 14990 clauses out of 30067 with flag 2660000/2660000
1082.17/1081.13	c cleaning 14982 clauses out of 30077 with flag 2675000/2675000
1088.57/1087.53	c cleaning 14988 clauses out of 30095 with flag 2690000/2690000
1094.77/1093.75	c cleaning 15040 clauses out of 30109 with flag 2705002/2705002
1100.58/1099.57	c cleaning 15003 clauses out of 30067 with flag 2720000/2720000
1106.88/1105.82	c cleaning 14991 clauses out of 30064 with flag 2735000/2735000
1113.08/1112.02	c cleaning 15010 clauses out of 30076 with flag 2750003/2750003
1119.58/1118.55	c cleaning 14992 clauses out of 30063 with flag 2765000/2765000
1125.78/1124.74	c cleaning 15031 clauses out of 30073 with flag 2780002/2780002
1131.89/1130.85	c cleaning 14991 clauses out of 30041 with flag 2795001/2795001
1137.59/1136.53	c cleaning 15001 clauses out of 30049 with flag 2810000/2810000
1143.39/1142.39	c cleaning 15010 clauses out of 30048 with flag 2825000/2825000
1149.19/1148.15	c cleaning 14992 clauses out of 30040 with flag 2840002/2840002
1155.49/1154.43	c cleaning 14985 clauses out of 30047 with flag 2855001/2855001
1161.80/1160.77	c cleaning 14990 clauses out of 30061 with flag 2870000/2870000
1168.10/1167.04	c cleaning 15008 clauses out of 30071 with flag 2885000/2885000
1174.50/1173.48	c cleaning 14977 clauses out of 30063 with flag 2900000/2900000
1180.90/1179.86	c cleaning 14994 clauses out of 30088 with flag 2915002/2915002
1187.50/1186.40	c cleaning 15010 clauses out of 30092 with flag 2930000/2930000
1193.80/1192.80	c cleaning 14992 clauses out of 30082 with flag 2945000/2945000
1199.90/1198.81	c cleaning 15010 clauses out of 30090 with flag 2960000/2960000
1205.91/1204.82	c cleaning 14986 clauses out of 30080 with flag 2975000/2975000
1211.61/1210.57	c cleaning 15030 clauses out of 30096 with flag 2990002/2990002
1217.51/1216.43	c cleaning 14999 clauses out of 30067 with flag 3005003/3005003
1223.21/1222.20	c cleaning 14987 clauses out of 30066 with flag 3020001/3020001
1229.21/1228.18	c cleaning 14987 clauses out of 30078 with flag 3035000/3035000
1235.11/1234.07	c cleaning 15033 clauses out of 30091 with flag 3050000/3050000
1241.81/1240.77	c cleaning 14991 clauses out of 30058 with flag 3065000/3065000
1248.22/1247.13	c cleaning 14993 clauses out of 30067 with flag 3080000/3080000
1254.42/1253.37	c cleaning 14999 clauses out of 30074 with flag 3095000/3095000
1260.32/1259.29	c cleaning 14992 clauses out of 30075 with flag 3110000/3110000
1266.72/1265.69	c cleaning 14995 clauses out of 30083 with flag 3125000/3125000
1273.12/1272.06	c cleaning 14994 clauses out of 30088 with flag 3140000/3140000
1279.03/1277.97	c cleaning 15019 clauses out of 30096 with flag 3155002/3155002
1285.53/1284.48	c cleaning 15005 clauses out of 30076 with flag 3170001/3170001
1292.53/1291.48	c cleaning 14992 clauses out of 30070 with flag 3185000/3185000
1298.23/1297.16	c cleaning 15013 clauses out of 30081 with flag 3200003/3200003
1301.14/1300.01	c starts		: 1828
1301.14/1300.01	c conflicts		: 3208107
1301.14/1300.01	c decisions		: 5343765
1301.14/1300.01	c propagations		: 1725604556
1301.14/1300.01	c inspects		: 10965351291
1301.14/1300.01	c shortcuts		: 0
1301.14/1300.01	c learnt literals	: 0
1301.14/1300.01	c learnt binary clauses	: 802
1301.14/1300.01	c learnt ternary clauses	: 1717
1301.14/1300.01	c learnt constraints	: 3208107
1301.14/1300.01	c ignored constraints	: 0
1301.14/1300.01	c root simplifications	: 1828
1301.14/1300.01	c removed literals (reason simplification)	: 102544939
1301.14/1300.01	c reason swapping (by a shorter reason)	: 0
1301.14/1300.01	c Calls to reduceDB	: 217
1301.14/1300.01	c speed (assignments/second)	: 1327560.7028913759
1301.14/1300.01	c non guided choices	22
1301.14/1300.04	c learnt constraints type 
1301.14/1300.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 802
1301.14/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 22410
1301.14/1300.04	c constraints type 
1301.14/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4921
1301.14/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9360
1301.14/1300.04	s UNKNOWN
1301.14/1300.04	c Total wall clock time (in seconds) : 1299.911

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: 935)

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

running on 2 cores: 5,7

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: 3.14 3.79 3.71 12/231 19809
/proc/meminfo: memFree=17911624/32951132 swapFree=67111524/67111528
[pid=19809] ppid=19807 vsize=30536 CPUtime=0 cores=5,7
/proc/19809/stat : 19809 (java) S 19807 19809 19705 0 -1 4202496 1254 0 0 0 0 0 0 0 25 0 2 0 490945940 31268864 972 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/19809/statm: 7634 972 745 9 0 385 0
[pid=19809/tid=19812] ppid=19807 vsize=31604 CPUtime=0 cores=5,7
/proc/19809/task/19812/stat : 19812 (java) R 19807 19809 19705 0 -1 4202560 144 0 0 0 0 0 0 0 25 0 2 0 490945940 32362496 977 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210642183936 0 0 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.105449 s]
/proc/loadavg: 3.14 3.79 3.71 12/231 19809
/proc/meminfo: memFree=17911624/32951132 swapFree=67111524/67111528
[pid=19809] ppid=19807 vsize=7570804 CPUtime=0.09 cores=5,7
/proc/19809/stat : 19809 (java) S 19807 19809 19705 0 -1 4202496 10317 0 1 0 8 1 0 0 25 0 18 0 490945940 7752503296 10013 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19809/statm: 1892701 10014 2089 9 0 1883439 0
[pid=19809/tid=19812] ppid=19807 vsize=7570804 CPUtime=0.08 cores=5,7
/proc/19809/task/19812/stat : 19812 (java) R 19807 19809 19705 0 -1 4202560 8575 0 1 0 7 1 0 0 22 0 18 0 490945940 7752503296 10014 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 47622279633747 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7570804

[startup+0.208484 s]
/proc/loadavg: 3.14 3.79 3.71 12/231 19809
/proc/meminfo: memFree=17911624/32951132 swapFree=67111524/67111528
[pid=19809] ppid=19807 vsize=7573108 CPUtime=0.29 cores=5,7
/proc/19809/stat : 19809 (java) S 19807 19809 19705 0 -1 4202496 11436 0 1 0 28 1 0 0 25 0 19 0 490945940 7754862592 11016 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19809/statm: 1893277 11018 2207 9 0 1884015 0
[pid=19809/tid=19812] ppid=19807 vsize=7573108 CPUtime=0.18 cores=5,7
/proc/19809/task/19812/stat : 19812 (java) R 19807 19809 19705 0 -1 4202560 9127 0 1 0 17 1 0 0 23 0 19 0 490945940 7754862592 11018 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658972341 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7573108

[startup+0.336396 s]
/proc/loadavg: 3.14 3.79 3.71 12/231 19809
/proc/meminfo: memFree=17911624/32951132 swapFree=67111524/67111528
[pid=19809] ppid=19807 vsize=7641400 CPUtime=0.54 cores=5,7
/proc/19809/stat : 19809 (java) S 19807 19809 19705 0 -1 4202496 12413 0 1 0 53 1 0 0 25 0 19 0 490945940 7824793600 11670 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19809/statm: 1910350 11670 2220 9 0 1901088 0
[pid=19809/tid=19812] ppid=19807 vsize=7641400 CPUtime=0.31 cores=5,7
/proc/19809/task/19812/stat : 19812 (java) R 19807 19809 19705 0 -1 4202560 9142 0 1 0 30 1 0 0 23 0 19 0 490945940 7824793600 11670 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 7641400

[startup+0.700373 s]
/proc/loadavg: 3.14 3.79 3.71 12/231 19809
/proc/meminfo: memFree=17911624/32951132 swapFree=67111524/67111528
[pid=19809] ppid=19807 vsize=7641092 CPUtime=1.01 cores=5,7
/proc/19809/stat : 19809 (java) S 19807 19809 19705 0 -1 4202496 13067 0 1 0 100 1 0 0 25 0 19 0 490945940 7824478208 12126 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19809/statm: 1910273 12126 2223 9 0 1901011 0
[pid=19809/tid=19812] ppid=19807 vsize=7641092 CPUtime=0.67 cores=5,7
/proc/19809/task/19812/stat : 19812 (java) R 19807 19809 19705 0 -1 4202560 9219 0 1 0 66 1 0 0 25 0 19 0 490945940 7824478208 12126 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 46912505569855 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 7641092

[startup+1.50122 s]
/proc/loadavg: 3.14 3.79 3.71 7/237 19902
/proc/meminfo: memFree=17878256/32951132 swapFree=67111524/67111528
[pid=19809] ppid=19807 vsize=7641092 CPUtime=1.84 cores=5,7
/proc/19809/stat : 19809 (java) S 19807 19809 19705 0 -1 4202496 13547 0 1 0 183 1 0 0 25 0 19 0 490945940 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19809/statm: 1910273 12315 2226 9 0 1901011 0
[pid=19809/tid=19812] ppid=19807 vsize=7641092 CPUtime=1.47 cores=5,7
/proc/19809/task/19812/stat : 19812 (java) R 19807 19809 19705 0 -1 4202560 9396 0 1 0 146 1 0 0 25 0 19 0 490945940 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 46912505663840 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19809/tid=19815] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19815/stat : 19815 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490945941 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19816] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19816/stat : 19816 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490945941 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19817] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19817/stat : 19817 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490945941 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19818] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19818/stat : 19818 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490945941 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19819] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19819/stat : 19819 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490945941 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19820] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19820/stat : 19820 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490945941 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19821] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19821/stat : 19821 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490945941 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19822] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19822/stat : 19822 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490945941 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19828] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19828/stat : 19828 (java) S 19807 19809 19705 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 490945942 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 0 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19829] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19829/stat : 19829 (java) S 19807 19809 19705 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 490945943 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19830] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19830/stat : 19830 (java) S 19807 19809 19705 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 490945943 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19831] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19831/stat : 19831 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490945945 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658970033 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19832] ppid=19807 vsize=7641092 CPUtime=0.22 cores=5,7
/proc/19809/task/19832/stat : 19832 (java) S 19807 19809 19705 0 -1 4202560 1770 0 0 0 22 0 0 0 15 0 19 0 490945945 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19833] ppid=19807 vsize=7641092 CPUtime=0.13 cores=5,7
/proc/19809/task/19833/stat : 19833 (java) S 19807 19809 19705 0 -1 4202560 1219 0 0 0 13 0 0 0 18 0 19 0 490945945 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19834] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19834/stat : 19834 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490945945 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19835] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19835/stat : 19835 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490945945 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19838] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19838/stat : 19838 (java) S 19807 19809 19705 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 490945959 7824478208 12315 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 7641092

[startup+3.10095 s]
/proc/loadavg: 3.45 3.84 3.73 9/260 19930
/proc/meminfo: memFree=17794384/32951132 swapFree=67111524/67111528
[pid=19809] ppid=19807 vsize=7641092 CPUtime=3.85 cores=5,7
/proc/19809/stat : 19809 (java) S 19807 19809 19705 0 -1 4202496 22155 0 1 0 383 2 0 0 25 0 19 0 490945940 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19809/statm: 1910273 17606 2252 9 0 1901011 0
[pid=19809/tid=19812] ppid=19807 vsize=7641092 CPUtime=3.03 cores=5,7
/proc/19809/task/19812/stat : 19812 (java) R 19807 19809 19705 0 -1 4202560 9456 0 1 0 302 1 0 0 25 0 19 0 490945940 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 46912505641123 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19809/tid=19815] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19815/stat : 19815 (java) S 19807 19809 19705 0 -1 4202560 136 0 0 0 0 0 0 0 17 0 19 0 490945941 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19816] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19816/stat : 19816 (java) S 19807 19809 19705 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 490945941 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19817] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19817/stat : 19817 (java) S 19807 19809 19705 0 -1 4202560 309 0 0 0 0 0 0 0 17 0 19 0 490945941 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19818] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19818/stat : 19818 (java) S 19807 19809 19705 0 -1 4202560 205 0 0 0 0 0 0 0 17 0 19 0 490945941 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19819] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19819/stat : 19819 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490945941 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19820] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19820/stat : 19820 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490945941 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19821] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19821/stat : 19821 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490945941 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19822] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19822/stat : 19822 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490945941 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19828] ppid=19807 vsize=7641092 CPUtime=0.01 cores=5,7
/proc/19809/task/19828/stat : 19828 (java) S 19807 19809 19705 0 -1 4202560 657 0 0 0 1 0 0 0 15 0 19 0 490945942 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 0 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19829] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19829/stat : 19829 (java) S 19807 19809 19705 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490945943 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19830] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19830/stat : 19830 (java) S 19807 19809 19705 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490945943 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19831] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19831/stat : 19831 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490945945 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658970033 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19832] ppid=19807 vsize=7641092 CPUtime=0.62 cores=5,7
/proc/19809/task/19832/stat : 19832 (java) S 19807 19809 19705 0 -1 4202560 8961 0 0 0 62 0 0 0 16 0 19 0 490945945 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19833] ppid=19807 vsize=7641092 CPUtime=0.14 cores=5,7
/proc/19809/task/19833/stat : 19833 (java) S 19807 19809 19705 0 -1 4202560 1274 0 0 0 14 0 0 0 17 0 19 0 490945945 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19834] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19834/stat : 19834 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490945945 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19835] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19835/stat : 19835 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490945945 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19838] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19838/stat : 19838 (java) S 19807 19809 19705 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 490945959 7824478208 17606 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 7641092

[startup+6.30141 s]
/proc/loadavg: 3.45 3.84 3.73 6/260 19930
/proc/meminfo: memFree=17779604/32951132 swapFree=67111524/67111528
[pid=19809] ppid=19807 vsize=7641092 CPUtime=7.05 cores=5,7
/proc/19809/stat : 19809 (java) S 19807 19809 19705 0 -1 4202496 22684 0 1 0 703 2 0 0 25 0 19 0 490945940 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19809/statm: 1910273 17035 2254 9 0 1901011 0
[pid=19809/tid=19812] ppid=19807 vsize=7641092 CPUtime=6.14 cores=5,7
/proc/19809/task/19812/stat : 19812 (java) R 19807 19809 19705 0 -1 4202560 9459 0 1 0 613 1 0 0 25 0 19 0 490945940 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 46912505564304 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19809/tid=19815] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19815/stat : 19815 (java) S 19807 19809 19705 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 19 0 490945941 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19816] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19816/stat : 19816 (java) S 19807 19809 19705 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 490945941 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19817] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19817/stat : 19817 (java) S 19807 19809 19705 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 490945941 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19818] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19818/stat : 19818 (java) S 19807 19809 19705 0 -1 4202560 205 0 0 0 0 0 0 0 16 0 19 0 490945941 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19819] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19819/stat : 19819 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490945941 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19820] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19820/stat : 19820 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 490945941 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19821] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19821/stat : 19821 (java) S 19807 19809 19705 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 490945941 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19822] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19822/stat : 19822 (java) S 19807 19809 19705 0 -1 4202560 300 0 0 0 0 0 0 0 15 0 19 0 490945941 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19828] ppid=19807 vsize=7641092 CPUtime=0.04 cores=5,7
/proc/19809/task/19828/stat : 19828 (java) S 19807 19809 19705 0 -1 4202560 871 0 0 0 4 0 0 0 16 0 19 0 490945942 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 0 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19829] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19829/stat : 19829 (java) S 19807 19809 19705 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490945943 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19830] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19830/stat : 19830 (java) S 19807 19809 19705 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490945943 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19831] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19831/stat : 19831 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490945945 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658970033 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19832] ppid=19807 vsize=7641092 CPUtime=0.63 cores=5,7
/proc/19809/task/19832/stat : 19832 (java) S 19807 19809 19705 0 -1 4202560 8961 0 0 0 63 0 0 0 15 0 19 0 490945945 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19833] ppid=19807 vsize=7641092 CPUtime=0.19 cores=5,7
/proc/19809/task/19833/stat : 19833 (java) S 19807 19809 19705 0 -1 4202560 1277 0 0 0 19 0 0 0 15 0 19 0 490945945 7824478208 17035 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0

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

[pid=19809/tid=19820] ppid=19807 vsize=7641092 CPUtime=0.12 cores=5,7
/proc/19809/task/19820/stat : 19820 (java) S 19807 19809 19705 0 -1 4202560 85 0 0 0 12 0 0 0 16 0 19 0 490945941 7824478208 18566 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19821] ppid=19807 vsize=7641092 CPUtime=0.09 cores=5,7
/proc/19809/task/19821/stat : 19821 (java) S 19807 19809 19705 0 -1 4202560 12 0 0 0 9 0 0 0 15 0 19 0 490945941 7824478208 18566 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19822] ppid=19807 vsize=7641092 CPUtime=0.08 cores=5,7
/proc/19809/task/19822/stat : 19822 (java) S 19807 19809 19705 0 -1 4202560 335 0 0 0 8 0 0 0 15 0 19 0 490945941 7824478208 18566 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19828] ppid=19807 vsize=7641092 CPUtime=4.46 cores=5,7
/proc/19809/task/19828/stat : 19828 (java) S 19807 19809 19705 0 -1 4202560 2369 0 0 0 445 1 0 0 15 0 19 0 490945942 7824478208 18566 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 0 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19829] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19829/stat : 19829 (java) S 19807 19809 19705 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490945943 7824478208 18566 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19830] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19830/stat : 19830 (java) S 19807 19809 19705 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490945943 7824478208 18566 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19831] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19831/stat : 19831 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490945945 7824478208 18566 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658970033 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19832] ppid=19807 vsize=7641092 CPUtime=0.63 cores=5,7
/proc/19809/task/19832/stat : 19832 (java) S 19807 19809 19705 0 -1 4202560 8961 0 0 0 63 0 0 0 15 0 19 0 490945945 7824478208 18566 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19833] ppid=19807 vsize=7641092 CPUtime=0.23 cores=5,7
/proc/19809/task/19833/stat : 19833 (java) S 19807 19809 19705 0 -1 4202560 1282 0 0 0 23 0 0 0 15 0 19 0 490945945 7824478208 18566 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19834] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19834/stat : 19834 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490945945 7824478208 18566 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19835] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19835/stat : 19835 (java) S 19807 19809 19705 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 490945945 7824478208 18566 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19838] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19838/stat : 19838 (java) S 19807 19809 19705 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 490945959 7824478208 18566 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1183.4
Current children cumulated vsize (KiB) 7641092

[startup+1242.3 s]
/proc/loadavg: 4.00 4.02 3.91 5/260 20022
/proc/meminfo: memFree=17652312/32951132 swapFree=67111524/67111528
[pid=19809] ppid=19807 vsize=7641092 CPUtime=1243.42 cores=5,7
/proc/19809/stat : 19809 (java) S 19807 19809 19705 0 -1 4202496 25082 0 1 0 124336 6 0 0 25 0 19 0 490945940 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19809/statm: 1910273 18582 2255 9 0 1901011 0
[pid=19809/tid=19812] ppid=19807 vsize=7641092 CPUtime=1236.87 cores=5,7
/proc/19809/task/19812/stat : 19812 (java) R 19807 19809 19705 0 -1 4202560 9664 0 1 0 123686 1 0 0 25 0 19 0 490945940 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 46912505640723 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19809/tid=19815] ppid=19807 vsize=7641092 CPUtime=0.11 cores=5,7
/proc/19809/task/19815/stat : 19815 (java) S 19807 19809 19705 0 -1 4202560 399 0 0 0 11 0 0 0 15 0 19 0 490945941 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19816] ppid=19807 vsize=7641092 CPUtime=0.13 cores=5,7
/proc/19809/task/19816/stat : 19816 (java) S 19807 19809 19705 0 -1 4202560 159 0 0 0 13 0 0 0 16 0 19 0 490945941 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19817] ppid=19807 vsize=7641092 CPUtime=0.11 cores=5,7
/proc/19809/task/19817/stat : 19817 (java) S 19807 19809 19705 0 -1 4202560 315 0 0 0 11 0 0 0 15 0 19 0 490945941 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19818] ppid=19807 vsize=7641092 CPUtime=0.1 cores=5,7
/proc/19809/task/19818/stat : 19818 (java) S 19807 19809 19705 0 -1 4202560 251 0 0 0 10 0 0 0 15 0 19 0 490945941 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19819] ppid=19807 vsize=7641092 CPUtime=0.13 cores=5,7
/proc/19809/task/19819/stat : 19819 (java) S 19807 19809 19705 0 -1 4202560 11 0 0 0 13 0 0 0 15 0 19 0 490945941 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19820] ppid=19807 vsize=7641092 CPUtime=0.12 cores=5,7
/proc/19809/task/19820/stat : 19820 (java) S 19807 19809 19705 0 -1 4202560 85 0 0 0 12 0 0 0 16 0 19 0 490945941 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19821] ppid=19807 vsize=7641092 CPUtime=0.09 cores=5,7
/proc/19809/task/19821/stat : 19821 (java) S 19807 19809 19705 0 -1 4202560 12 0 0 0 9 0 0 0 15 0 19 0 490945941 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19822] ppid=19807 vsize=7641092 CPUtime=0.09 cores=5,7
/proc/19809/task/19822/stat : 19822 (java) S 19807 19809 19705 0 -1 4202560 335 0 0 0 9 0 0 0 15 0 19 0 490945941 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19828] ppid=19807 vsize=7641092 CPUtime=4.7 cores=5,7
/proc/19809/task/19828/stat : 19828 (java) S 19807 19809 19705 0 -1 4202560 2387 0 0 0 469 1 0 0 15 0 19 0 490945942 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 0 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19829] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19829/stat : 19829 (java) S 19807 19809 19705 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490945943 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19830] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19830/stat : 19830 (java) S 19807 19809 19705 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490945943 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19831] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19831/stat : 19831 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490945945 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658970033 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19832] ppid=19807 vsize=7641092 CPUtime=0.63 cores=5,7
/proc/19809/task/19832/stat : 19832 (java) S 19807 19809 19705 0 -1 4202560 8961 0 0 0 63 0 0 0 15 0 19 0 490945945 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19833] ppid=19807 vsize=7641092 CPUtime=0.23 cores=5,7
/proc/19809/task/19833/stat : 19833 (java) S 19807 19809 19705 0 -1 4202560 1282 0 0 0 23 0 0 0 15 0 19 0 490945945 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19834] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19834/stat : 19834 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490945945 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19835] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19835/stat : 19835 (java) S 19807 19809 19705 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 490945945 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19838] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19838/stat : 19838 (java) S 19807 19809 19705 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 490945959 7824478208 18582 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1243.42
Current children cumulated vsize (KiB) 7641092



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.04 4.03 3.92 4/240 20026
/proc/meminfo: memFree=17728712/32951132 swapFree=67111524/67111528
[pid=19809] ppid=19807 vsize=7641092 CPUtime=1301.14 cores=5,7
/proc/19809/stat : 19809 (java) S 19807 19809 19705 0 -1 4202496 25137 0 1 0 130108 6 0 0 25 0 19 0 490945940 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19809/statm: 1910273 18620 2255 9 0 1901011 0
[pid=19809/tid=19812] ppid=19807 vsize=7641092 CPUtime=1294.35 cores=5,7
/proc/19809/task/19812/stat : 19812 (java) R 19807 19809 19705 0 -1 4202560 9673 0 1 0 129433 2 0 0 25 0 19 0 490945940 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 46912505588629 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19809/tid=19815] ppid=19807 vsize=7641092 CPUtime=0.12 cores=5,7
/proc/19809/task/19815/stat : 19815 (java) S 19807 19809 19705 0 -1 4202560 399 0 0 0 12 0 0 0 15 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19816] ppid=19807 vsize=7641092 CPUtime=0.14 cores=5,7
/proc/19809/task/19816/stat : 19816 (java) S 19807 19809 19705 0 -1 4202560 159 0 0 0 14 0 0 0 15 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19817] ppid=19807 vsize=7641092 CPUtime=0.12 cores=5,7
/proc/19809/task/19817/stat : 19817 (java) S 19807 19809 19705 0 -1 4202560 315 0 0 0 12 0 0 0 15 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19818] ppid=19807 vsize=7641092 CPUtime=0.1 cores=5,7
/proc/19809/task/19818/stat : 19818 (java) S 19807 19809 19705 0 -1 4202560 251 0 0 0 10 0 0 0 16 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19819] ppid=19807 vsize=7641092 CPUtime=0.13 cores=5,7
/proc/19809/task/19819/stat : 19819 (java) S 19807 19809 19705 0 -1 4202560 11 0 0 0 13 0 0 0 15 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19820] ppid=19807 vsize=7641092 CPUtime=0.13 cores=5,7
/proc/19809/task/19820/stat : 19820 (java) S 19807 19809 19705 0 -1 4202560 88 0 0 0 13 0 0 0 16 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19821] ppid=19807 vsize=7641092 CPUtime=0.1 cores=5,7
/proc/19809/task/19821/stat : 19821 (java) S 19807 19809 19705 0 -1 4202560 13 0 0 0 10 0 0 0 16 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19822] ppid=19807 vsize=7641092 CPUtime=0.09 cores=5,7
/proc/19809/task/19822/stat : 19822 (java) S 19807 19809 19705 0 -1 4202560 335 0 0 0 9 0 0 0 15 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19828] ppid=19807 vsize=7641092 CPUtime=4.92 cores=5,7
/proc/19809/task/19828/stat : 19828 (java) S 19807 19809 19705 0 -1 4202560 2425 0 0 0 491 1 0 0 15 0 19 0 490945942 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 0 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19829] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19829/stat : 19829 (java) S 19807 19809 19705 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490945943 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19830] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19830/stat : 19830 (java) S 19807 19809 19705 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490945943 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19831] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19831/stat : 19831 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490945945 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658970033 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19832] ppid=19807 vsize=7641092 CPUtime=0.63 cores=5,7
/proc/19809/task/19832/stat : 19832 (java) S 19807 19809 19705 0 -1 4202560 8961 0 0 0 63 0 0 0 15 0 19 0 490945945 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19833] ppid=19807 vsize=7641092 CPUtime=0.23 cores=5,7
/proc/19809/task/19833/stat : 19833 (java) S 19807 19809 19705 0 -1 4202560 1282 0 0 0 23 0 0 0 15 0 19 0 490945945 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19834] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19834/stat : 19834 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490945945 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19835] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19835/stat : 19835 (java) S 19807 19809 19705 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 490945945 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19838] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19838/stat : 19838 (java) S 19807 19809 19705 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 490945959 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1301.14
Current children cumulated vsize (KiB) 7641092

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

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

[startup+1300 s]
/proc/loadavg: 4.04 4.03 3.92 4/240 20026
/proc/meminfo: memFree=17728712/32951132 swapFree=67111524/67111528
[pid=19809] ppid=19807 vsize=7641092 CPUtime=1301.14 cores=5,7
/proc/19809/stat : 19809 (java) S 19807 19809 19705 0 -1 4202496 25137 0 1 0 130108 6 0 0 25 0 19 0 490945940 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19809/statm: 1910273 18620 2255 9 0 1901011 0
[pid=19809/tid=19812] ppid=19807 vsize=7641092 CPUtime=1294.35 cores=5,7
/proc/19809/task/19812/stat : 19812 (java) R 19807 19809 19705 0 -1 4202560 9673 0 1 0 129433 2 0 0 25 0 19 0 490945940 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 46912505588629 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19809/tid=19815] ppid=19807 vsize=7641092 CPUtime=0.12 cores=5,7
/proc/19809/task/19815/stat : 19815 (java) S 19807 19809 19705 0 -1 4202560 399 0 0 0 12 0 0 0 15 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19816] ppid=19807 vsize=7641092 CPUtime=0.14 cores=5,7
/proc/19809/task/19816/stat : 19816 (java) S 19807 19809 19705 0 -1 4202560 159 0 0 0 14 0 0 0 15 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19817] ppid=19807 vsize=7641092 CPUtime=0.12 cores=5,7
/proc/19809/task/19817/stat : 19817 (java) S 19807 19809 19705 0 -1 4202560 315 0 0 0 12 0 0 0 15 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19818] ppid=19807 vsize=7641092 CPUtime=0.1 cores=5,7
/proc/19809/task/19818/stat : 19818 (java) S 19807 19809 19705 0 -1 4202560 251 0 0 0 10 0 0 0 16 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19819] ppid=19807 vsize=7641092 CPUtime=0.13 cores=5,7
/proc/19809/task/19819/stat : 19819 (java) S 19807 19809 19705 0 -1 4202560 11 0 0 0 13 0 0 0 15 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19820] ppid=19807 vsize=7641092 CPUtime=0.13 cores=5,7
/proc/19809/task/19820/stat : 19820 (java) S 19807 19809 19705 0 -1 4202560 88 0 0 0 13 0 0 0 16 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19821] ppid=19807 vsize=7641092 CPUtime=0.1 cores=5,7
/proc/19809/task/19821/stat : 19821 (java) S 19807 19809 19705 0 -1 4202560 13 0 0 0 10 0 0 0 16 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19822] ppid=19807 vsize=7641092 CPUtime=0.09 cores=5,7
/proc/19809/task/19822/stat : 19822 (java) S 19807 19809 19705 0 -1 4202560 335 0 0 0 9 0 0 0 15 0 19 0 490945941 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19828] ppid=19807 vsize=7641092 CPUtime=4.92 cores=5,7
/proc/19809/task/19828/stat : 19828 (java) S 19807 19809 19705 0 -1 4202560 2425 0 0 0 491 1 0 0 15 0 19 0 490945942 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 0 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19829] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19829/stat : 19829 (java) S 19807 19809 19705 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490945943 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19830] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19830/stat : 19830 (java) S 19807 19809 19705 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490945943 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19831] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19831/stat : 19831 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490945945 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658970033 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19832] ppid=19807 vsize=7641092 CPUtime=0.63 cores=5,7
/proc/19809/task/19832/stat : 19832 (java) S 19807 19809 19705 0 -1 4202560 8961 0 0 0 63 0 0 0 15 0 19 0 490945945 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19833] ppid=19807 vsize=7641092 CPUtime=0.23 cores=5,7
/proc/19809/task/19833/stat : 19833 (java) S 19807 19809 19705 0 -1 4202560 1282 0 0 0 23 0 0 0 15 0 19 0 490945945 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19834] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19834/stat : 19834 (java) S 19807 19809 19705 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490945945 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962329 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
[pid=19809/tid=19835] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19835/stat : 19835 (java) S 19807 19809 19705 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 490945945 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 4 0 16800975 18446604463779002560 0 0 -1 7 0 0 0
[pid=19809/tid=19838] ppid=19807 vsize=7641092 CPUtime=0 cores=5,7
/proc/19809/task/19838/stat : 19838 (java) S 19807 19809 19705 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 490945959 7824478208 18620 33554432000 1073741824 1073778376 140735003044224 18446744073709551615 210658962944 0 4 0 16800975 18446604463779002560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1301.14
Current children cumulated vsize (KiB) 7641092

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.21
CPU user time (s): 1301.14
CPU system time (s): 0.071989
CPU usage (%): 100.089
Max. virtual memory (cumulated for all children) (KiB): 7641400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.14
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25173
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= 32650
involuntary context switches= 9584

runsolver used 2.06569 second user time and 5.04723 second system time

The end

Launcher Data 

Begin job on node129 at 2011-04-26 06:51:03
IDJOB=3293031
IDBENCH=88025
IDSOLVER=1611
FILE ID=node129/3293031-1303793463
RUNJOBID= node129-1303793463-19726
PBS_JOBID= 13157283
Free space on /tmp= 66828 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net60-40-10.shuffled.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-3293031-1303793463/watcher-3293031-1303793463 -o /tmp/evaluation-result-3293031-1303793463/solver-3293031-1303793463 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3293031-1303793463.cnf

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

MD5SUM BENCH= 532245ed9a95eef41b179dba56b78f57
RANDOM SEED=1470467515

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      17912276 kB
Buffers:       1250600 kB
Cached:       12956584 kB
SwapCached:          4 kB
Active:        2803956 kB
Inactive:     11567676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      17912276 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3344 kB
Writeback:          20 kB
AnonPages:      164580 kB
Mapped:          23068 kB
Slab:           600772 kB
PageTables:       5280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 21973028 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66824 MiB
End job on node129 at 2011-04-26 07:12:45