Trace number 3190248

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

Namerandom/large/
unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf
MD5SUM99649f8478aeec246b4c83e11dce9c4a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.820874
Satisfiable
(Un)Satisfiability was proved
Number of variables5000
Number of clauses21000
Sum of the clauses size63000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 321000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.04/0.24	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.24	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.24	c See www.sat4j.org for details.
0.04/0.24	c no version file found!!!
0.04/0.24	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.24	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.24	c java.vm.version	19.1-b02
0.04/0.24	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.24	c sun.arch.data.model	64
0.04/0.24	c java.version		1.6.0_24
0.04/0.24	c os.name		Linux
0.04/0.24	c os.version		2.6.18-164.el5
0.04/0.24	c os.arch		amd64
0.04/0.24	c Free memory 		6997539544
0.04/0.24	c Max memory 		7034241024
0.04/0.24	c Total memory 		7034241024
0.04/0.24	c Number of processors 	8
0.04/0.26	c --- Begin Solver configuration ---
0.04/0.26	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.04/0.26	c Learn all clauses as in MiniSAT
0.04/0.26	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.04/0.26	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.04/0.26	c Expensive reason simplification
0.04/0.26	c Armin Biere (Picosat) restarts strategy
0.04/0.26	c Glucose learned constraints deletion strategy
0.04/0.26	c timeout=2147483647s
0.04/0.26	c DB Simplification allowed=true
0.04/0.26	c --- End Solver configuration ---
0.04/0.26	c solving HOME/instance-3190248-1302597587.cnf
0.04/0.26	c reading problem ... 
0.04/0.35	c ... done. Wall clock time 0.089s.
0.04/0.35	c #vars     5000
0.04/0.35	c #constraints  21000
0.04/0.35	c constraints type 
0.25/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21000
1.78/1.70	c cleaning 2497 clauses out of 5000 with flag 5000/5000
3.40/3.08	c cleaning 4252 clauses out of 8503 with flag 11000/11000
5.10/4.75	c cleaning 5624 clauses out of 11251 with flag 18000/18000
7.02/6.70	c cleaning 6805 clauses out of 13627 with flag 26000/26000
9.33/8.90	c cleaning 7905 clauses out of 15822 with flag 35000/35000
11.83/11.41	c cleaning 8958 clauses out of 17917 with flag 45000/45000
14.64/14.22	c cleaning 9977 clauses out of 19959 with flag 56000/56000
17.84/17.41	c cleaning 10986 clauses out of 21982 with flag 68000/68000
21.25/20.83	c cleaning 11997 clauses out of 23997 with flag 81001/81001
24.95/24.58	c cleaning 12999 clauses out of 26000 with flag 95001/95001
29.15/28.75	c cleaning 14000 clauses out of 28001 with flag 110001/110001
33.55/33.18	c cleaning 14998 clauses out of 30002 with flag 126002/126002
38.36/37.98	c cleaning 15997 clauses out of 32002 with flag 143000/143000
43.56/43.14	c cleaning 17001 clauses out of 34006 with flag 161001/161001
49.06/48.67	c cleaning 17998 clauses out of 36004 with flag 180000/180000
54.97/54.59	c cleaning 18996 clauses out of 38006 with flag 200000/200000
61.27/60.85	c cleaning 20005 clauses out of 40011 with flag 221001/221001
67.67/67.20	c cleaning 20497 clauses out of 41007 with flag 242002/242002
73.67/73.25	c cleaning 20752 clauses out of 41508 with flag 263000/263000
79.98/79.50	c cleaning 20875 clauses out of 41757 with flag 284001/284001
86.38/85.91	c cleaning 20933 clauses out of 41881 with flag 305000/305000
92.38/91.95	c cleaning 20961 clauses out of 41948 with flag 326000/326000
98.59/98.19	c cleaning 20988 clauses out of 41987 with flag 347000/347000
105.00/104.59	c cleaning 20993 clauses out of 42000 with flag 368001/368001
111.19/110.72	c cleaning 20999 clauses out of 42010 with flag 389004/389004
117.60/117.12	c cleaning 20998 clauses out of 42007 with flag 410000/410000
123.71/123.24	c cleaning 20996 clauses out of 42009 with flag 431000/431000
130.10/129.63	c cleaning 21003 clauses out of 42013 with flag 452000/452000
136.21/135.76	c cleaning 20999 clauses out of 42010 with flag 473000/473000
142.41/141.95	c cleaning 20992 clauses out of 42012 with flag 494001/494001
148.71/148.20	c cleaning 21007 clauses out of 42020 with flag 515001/515001
154.71/154.29	c cleaning 21001 clauses out of 42013 with flag 536001/536001
161.22/160.71	c cleaning 20995 clauses out of 42011 with flag 557000/557000
167.42/166.94	c cleaning 21003 clauses out of 42016 with flag 578000/578000
173.62/173.14	c cleaning 21003 clauses out of 42014 with flag 599001/599001
180.03/179.58	c cleaning 20994 clauses out of 42010 with flag 620000/620000
186.34/185.85	c cleaning 21003 clauses out of 42017 with flag 641001/641001
192.54/192.04	c cleaning 20996 clauses out of 42013 with flag 662000/662000
199.14/198.65	c cleaning 20999 clauses out of 42017 with flag 683000/683000
205.34/204.85	c cleaning 21003 clauses out of 42019 with flag 704001/704001
211.44/210.95	c cleaning 20998 clauses out of 42016 with flag 725001/725001
217.65/217.18	c cleaning 20987 clauses out of 42017 with flag 746000/746000
223.95/223.41	c cleaning 21004 clauses out of 42030 with flag 767000/767000
229.95/229.49	c cleaning 21003 clauses out of 42026 with flag 788000/788000
236.26/235.70	c cleaning 21002 clauses out of 42024 with flag 809001/809001
242.86/242.36	c cleaning 21005 clauses out of 42022 with flag 830001/830001
249.07/248.57	c cleaning 20998 clauses out of 42016 with flag 851000/851000
255.17/254.64	c cleaning 20998 clauses out of 42019 with flag 872001/872001
261.37/260.84	c cleaning 21003 clauses out of 42022 with flag 893002/893002
267.78/267.22	c cleaning 21008 clauses out of 42017 with flag 914000/914000
274.08/273.50	c cleaning 20993 clauses out of 42010 with flag 935001/935001
280.18/279.69	c cleaning 20999 clauses out of 42016 with flag 956000/956000
286.48/285.96	c cleaning 21000 clauses out of 42018 with flag 977001/977001
292.68/292.16	c cleaning 20999 clauses out of 42019 with flag 998002/998002
299.19/298.62	c cleaning 21006 clauses out of 42018 with flag 1019000/1019000
305.39/304.81	c cleaning 21003 clauses out of 42013 with flag 1040001/1040001
311.59/311.04	c cleaning 21003 clauses out of 42011 with flag 1061002/1061002
317.89/317.34	c cleaning 20989 clauses out of 42006 with flag 1082000/1082000
324.39/323.81	c cleaning 21000 clauses out of 42017 with flag 1103000/1103000
331.10/330.50	c cleaning 21004 clauses out of 42017 with flag 1124000/1124000
337.21/336.67	c cleaning 21002 clauses out of 42014 with flag 1145001/1145001
343.40/342.89	c cleaning 20994 clauses out of 42012 with flag 1166001/1166001
349.91/349.31	c cleaning 20999 clauses out of 42017 with flag 1187000/1187000
356.21/355.69	c cleaning 21001 clauses out of 42019 with flag 1208001/1208001
362.81/362.23	c cleaning 20991 clauses out of 42017 with flag 1229000/1229000
369.02/368.49	c cleaning 21005 clauses out of 42026 with flag 1250000/1250000
375.32/374.76	c cleaning 21004 clauses out of 42023 with flag 1271002/1271002
381.72/381.17	c cleaning 21004 clauses out of 42017 with flag 1292000/1292000
388.02/387.48	c cleaning 21000 clauses out of 42016 with flag 1313003/1313003
394.53/393.93	c cleaning 20997 clauses out of 42014 with flag 1334001/1334001
401.04/400.44	c cleaning 20995 clauses out of 42016 with flag 1355000/1355000
407.44/406.81	c cleaning 20999 clauses out of 42021 with flag 1376000/1376000
413.64/413.04	c cleaning 20997 clauses out of 42023 with flag 1397001/1397001
419.86/419.28	c cleaning 20995 clauses out of 42026 with flag 1418001/1418001
426.37/425.77	c cleaning 21006 clauses out of 42030 with flag 1439000/1439000
432.76/432.16	c cleaning 21000 clauses out of 42024 with flag 1460000/1460000
439.17/438.58	c cleaning 21000 clauses out of 42024 with flag 1481000/1481000
446.08/445.41	c cleaning 21012 clauses out of 42025 with flag 1502001/1502001
452.27/451.66	c cleaning 21001 clauses out of 42013 with flag 1523001/1523001
458.58/457.98	c cleaning 20987 clauses out of 42011 with flag 1544000/1544000
464.98/464.35	c cleaning 20995 clauses out of 42025 with flag 1565001/1565001
471.49/470.87	c cleaning 20998 clauses out of 42029 with flag 1586000/1586000
478.09/477.41	c cleaning 21007 clauses out of 42031 with flag 1607000/1607000
484.79/484.16	c cleaning 21004 clauses out of 42025 with flag 1628001/1628001
491.49/490.87	c cleaning 21003 clauses out of 42022 with flag 1649002/1649002
497.99/497.33	c cleaning 21003 clauses out of 42018 with flag 1670001/1670001
504.30/503.60	c cleaning 20988 clauses out of 42014 with flag 1691000/1691000
510.50/509.85	c cleaning 21005 clauses out of 42029 with flag 1712003/1712003
517.00/516.37	c cleaning 21002 clauses out of 42023 with flag 1733002/1733002
523.51/522.81	c cleaning 21001 clauses out of 42022 with flag 1754003/1754003
530.11/529.46	c cleaning 21000 clauses out of 42020 with flag 1775002/1775002
536.81/536.12	c cleaning 21007 clauses out of 42018 with flag 1796000/1796000
543.62/542.96	c cleaning 20993 clauses out of 42011 with flag 1817000/1817000
550.22/549.57	c cleaning 21002 clauses out of 42018 with flag 1838000/1838000
556.42/555.76	c cleaning 20997 clauses out of 42016 with flag 1859000/1859000
562.73/562.09	c cleaning 20985 clauses out of 42020 with flag 1880001/1880001
569.13/568.47	c cleaning 21005 clauses out of 42034 with flag 1901000/1901000
575.53/574.89	c cleaning 20993 clauses out of 42029 with flag 1922000/1922000
582.43/581.76	c cleaning 21018 clauses out of 42036 with flag 1943000/1943000
589.24/588.53	c cleaning 20996 clauses out of 42018 with flag 1964000/1964000
595.85/595.17	c cleaning 21005 clauses out of 42024 with flag 1985002/1985002
602.54/601.80	c cleaning 21001 clauses out of 42017 with flag 2006000/2006000
609.05/608.37	c cleaning 21004 clauses out of 42020 with flag 2027004/2027004
615.25/614.58	c cleaning 21001 clauses out of 42012 with flag 2048000/2048000
621.55/620.84	c cleaning 20995 clauses out of 42012 with flag 2069001/2069001
627.86/627.11	c cleaning 21001 clauses out of 42017 with flag 2090001/2090001
634.16/633.42	c cleaning 20998 clauses out of 42016 with flag 2111001/2111001
640.66/639.96	c cleaning 20995 clauses out of 42017 with flag 2132000/2132000
647.36/646.60	c cleaning 20996 clauses out of 42022 with flag 2153000/2153000
654.07/653.36	c cleaning 21002 clauses out of 42029 with flag 2174003/2174003
660.68/659.95	c cleaning 21005 clauses out of 42025 with flag 2195001/2195001
667.28/666.53	c cleaning 20996 clauses out of 42019 with flag 2216000/2216000
673.88/673.11	c cleaning 21004 clauses out of 42025 with flag 2237002/2237002
680.18/679.40	c cleaning 21004 clauses out of 42019 with flag 2258000/2258000
686.28/685.57	c cleaning 20987 clauses out of 42016 with flag 2279001/2279001
692.59/691.88	c cleaning 21007 clauses out of 42028 with flag 2300000/2300000
699.19/698.45	c cleaning 21001 clauses out of 42021 with flag 2321000/2321000
705.80/705.03	c cleaning 20990 clauses out of 42020 with flag 2342000/2342000
712.69/711.97	c cleaning 21005 clauses out of 42030 with flag 2363000/2363000
719.60/718.82	c cleaning 20993 clauses out of 42026 with flag 2384001/2384001
726.10/725.38	c cleaning 21004 clauses out of 42032 with flag 2405000/2405000
732.70/731.94	c cleaning 21006 clauses out of 42030 with flag 2426002/2426002
739.81/739.03	c cleaning 20988 clauses out of 42023 with flag 2447001/2447001
746.21/745.42	c cleaning 21012 clauses out of 42036 with flag 2468002/2468002
752.41/751.64	c cleaning 21001 clauses out of 42023 with flag 2489001/2489001
758.81/758.03	c cleaning 20996 clauses out of 42022 with flag 2510001/2510001
765.22/764.43	c cleaning 21000 clauses out of 42026 with flag 2531001/2531001
771.72/770.94	c cleaning 21003 clauses out of 42025 with flag 2552000/2552000
778.22/777.44	c cleaning 21000 clauses out of 42022 with flag 2573000/2573000
784.63/783.85	c cleaning 21000 clauses out of 42023 with flag 2594001/2594001
791.43/790.66	c cleaning 20996 clauses out of 42022 with flag 2615000/2615000
798.13/797.34	c cleaning 21006 clauses out of 42029 with flag 2636003/2636003
805.04/804.22	c cleaning 20997 clauses out of 42023 with flag 2657003/2657003
812.55/811.74	c cleaning 21001 clauses out of 42025 with flag 2678002/2678002
820.15/819.36	c cleaning 21003 clauses out of 42024 with flag 2699002/2699002
826.45/825.70	c cleaning 21005 clauses out of 42021 with flag 2720002/2720002
832.76/831.96	c cleaning 20995 clauses out of 42014 with flag 2741000/2741000
839.16/838.31	c cleaning 21001 clauses out of 42019 with flag 2762000/2762000
845.37/844.58	c cleaning 20991 clauses out of 42020 with flag 2783002/2783002
852.07/851.25	c cleaning 21003 clauses out of 42028 with flag 2804001/2804001
858.57/857.77	c cleaning 21000 clauses out of 42024 with flag 2825000/2825000
865.08/864.27	c cleaning 21000 clauses out of 42025 with flag 2846001/2846001
871.88/871.06	c cleaning 21002 clauses out of 42025 with flag 2867001/2867001
878.69/877.89	c cleaning 21004 clauses out of 42024 with flag 2888002/2888002
885.79/884.94	c cleaning 20996 clauses out of 42018 with flag 2909000/2909000
892.69/891.87	c cleaning 20998 clauses out of 42026 with flag 2930004/2930004
900.40/899.53	c cleaning 21006 clauses out of 42024 with flag 2951000/2951000
907.80/906.97	c cleaning 21001 clauses out of 42019 with flag 2972001/2972001
914.20/913.37	c cleaning 21001 clauses out of 42017 with flag 2993000/2993000
920.51/919.66	c cleaning 21000 clauses out of 42016 with flag 3014000/3014000
926.81/926.00	c cleaning 20988 clauses out of 42017 with flag 3035001/3035001
933.51/932.62	c cleaning 21003 clauses out of 42028 with flag 3056000/3056000
940.01/939.12	c cleaning 21000 clauses out of 42025 with flag 3077000/3077000
946.52/945.64	c cleaning 20999 clauses out of 42027 with flag 3098002/3098002
953.22/952.36	c cleaning 21002 clauses out of 42026 with flag 3119000/3119000
960.13/959.23	c cleaning 21000 clauses out of 42025 with flag 3140001/3140001
966.83/965.91	c cleaning 21005 clauses out of 42024 with flag 3161000/3161000
973.83/972.99	c cleaning 20985 clauses out of 42019 with flag 3182000/3182000
981.43/980.53	c cleaning 21006 clauses out of 42034 with flag 3203000/3203000
988.84/987.93	c cleaning 20998 clauses out of 42028 with flag 3224000/3224000
995.94/995.00	c cleaning 21000 clauses out of 42033 with flag 3245003/3245003
1002.55/1001.68	c cleaning 21004 clauses out of 42030 with flag 3266000/3266000
1009.35/1008.49	c cleaning 21004 clauses out of 42026 with flag 3287000/3287000
1015.65/1014.75	c cleaning 21000 clauses out of 42022 with flag 3308000/3308000
1022.06/1021.11	c cleaning 21005 clauses out of 42022 with flag 3329000/3329000
1028.36/1027.47	c cleaning 20996 clauses out of 42019 with flag 3350002/3350002
1034.66/1033.78	c cleaning 20988 clauses out of 42023 with flag 3371002/3371002
1041.36/1040.43	c cleaning 20993 clauses out of 42033 with flag 3392000/3392000
1048.07/1047.11	c cleaning 21009 clauses out of 42043 with flag 3413003/3413003
1054.77/1053.89	c cleaning 21000 clauses out of 42031 with flag 3434000/3434000
1061.67/1060.73	c cleaning 21012 clauses out of 42031 with flag 3455000/3455000
1068.58/1067.61	c cleaning 21002 clauses out of 42020 with flag 3476001/3476001
1075.18/1074.22	c cleaning 20996 clauses out of 42017 with flag 3497000/3497000
1081.78/1080.84	c cleaning 20999 clauses out of 42023 with flag 3518002/3518002
1088.79/1087.88	c cleaning 20999 clauses out of 42024 with flag 3539002/3539002
1095.89/1094.91	c cleaning 21002 clauses out of 42025 with flag 3560002/3560002
1103.20/1102.25	c cleaning 20992 clauses out of 42021 with flag 3581000/3581000
1110.40/1109.46	c cleaning 20993 clauses out of 42029 with flag 3602000/3602000
1117.21/1116.21	c cleaning 21013 clauses out of 42036 with flag 3623000/3623000
1123.51/1122.56	c cleaning 21007 clauses out of 42025 with flag 3644002/3644002
1129.81/1128.86	c cleaning 21000 clauses out of 42017 with flag 3665001/3665001
1136.22/1135.22	c cleaning 20996 clauses out of 42018 with flag 3686002/3686002
1142.83/1141.80	c cleaning 20992 clauses out of 42020 with flag 3707000/3707000
1149.33/1148.39	c cleaning 20991 clauses out of 42028 with flag 3728000/3728000
1156.03/1155.09	c cleaning 21009 clauses out of 42037 with flag 3749000/3749000
1162.73/1161.77	c cleaning 21001 clauses out of 42028 with flag 3770000/3770000
1169.54/1168.55	c cleaning 20997 clauses out of 42028 with flag 3791001/3791001
1176.24/1175.20	c cleaning 20997 clauses out of 42030 with flag 3812000/3812000
1182.95/1181.91	c cleaning 21004 clauses out of 42034 with flag 3833001/3833001
1189.65/1188.69	c cleaning 21002 clauses out of 42032 with flag 3854003/3854003
1196.45/1195.47	c cleaning 20990 clauses out of 42028 with flag 3875001/3875001
1203.36/1202.37	c cleaning 21000 clauses out of 42039 with flag 3896002/3896002
1210.96/1209.93	c cleaning 21018 clauses out of 42039 with flag 3917002/3917002
1218.36/1217.38	c cleaning 20992 clauses out of 42019 with flag 3938000/3938000
1225.07/1224.02	c cleaning 20994 clauses out of 42029 with flag 3959002/3959002
1232.37/1231.36	c cleaning 20999 clauses out of 42034 with flag 3980001/3980001
1238.77/1237.72	c cleaning 21011 clauses out of 42034 with flag 4001000/4001000
1244.98/1243.96	c cleaning 20999 clauses out of 42024 with flag 4022001/4022001
1251.28/1250.25	c cleaning 21006 clauses out of 42024 with flag 4043000/4043000
1257.78/1256.73	c cleaning 20994 clauses out of 42018 with flag 4064000/4064000
1264.39/1263.34	c cleaning 20995 clauses out of 42026 with flag 4085002/4085002
1271.00/1269.91	c cleaning 20995 clauses out of 42030 with flag 4106001/4106001
1277.60/1276.55	c cleaning 20998 clauses out of 42034 with flag 4127000/4127000
1284.30/1283.23	c cleaning 21011 clauses out of 42037 with flag 4148001/4148001
1291.42/1290.38	c cleaning 21009 clauses out of 42025 with flag 4169000/4169000
1298.61/1297.53	c cleaning 20990 clauses out of 42016 with flag 4190000/4190000
1301.12/1300.01	c starts		: 2010
1301.12/1300.01	c conflicts		: 4198228
1301.12/1300.01	c decisions		: 6365637
1301.12/1300.01	c propagations		: 1364673687
1301.12/1300.01	c inspects		: 6740948487
1301.12/1300.01	c shortcuts		: 0
1301.12/1300.01	c learnt literals	: 0
1301.12/1300.01	c learnt binary clauses	: 0
1301.12/1300.01	c learnt ternary clauses	: 76
1301.12/1300.01	c learnt constraints	: 4198228
1301.12/1300.01	c ignored constraints	: 0
1301.12/1300.01	c root simplifications	: 2010
1301.12/1300.01	c removed literals (reason simplification)	: 73949187
1301.12/1300.01	c reason swapping (by a shorter reason)	: 0
1301.12/1300.01	c Calls to reduceDB	: 206
1301.12/1300.01	c speed (assignments/second)	: 1050025.2535667077
1301.12/1300.01	c non guided choices	476
1301.12/1300.04	c learnt constraints type 
1301.12/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 29332
1301.12/1300.04	c constraints type 
1301.12/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21000
1301.12/1300.04	s UNKNOWN
1301.12/1300.04	c Total wall clock time (in seconds) : 1299.749

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

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-3190248-1302597587/watcher-3190248-1302597587 -o /tmp/evaluation-result-3190248-1302597587/solver-3190248-1302597587 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190248-1302597587.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.92 1.09 1.48 1/174 24981
/proc/meminfo: memFree=13009132/32951124 swapFree=67111528/67111528
[pid=24981] ppid=24979 vsize=23028 CPUtime=0 cores=0,2
/proc/24981/stat : 24981 (java) R 24979 24981 24951 0 -1 4202496 959 0 0 0 0 0 0 0 25 0 1 0 352174869 23580672 701 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255101806056 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24981/statm: 5757 701 518 9 0 124 0

[startup+0.061873 s]
/proc/loadavg: 0.92 1.09 1.48 1/174 24981
/proc/meminfo: memFree=13009132/32951124 swapFree=67111528/67111528
[pid=24981] ppid=24979 vsize=7551740 CPUtime=0.01 cores=0,2
/proc/24981/stat : 24981 (java) S 24979 24981 24951 0 -1 4202496 7632 0 1 0 0 1 0 0 25 0 10 0 352174869 7732981760 7329 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 1887935 7329 1060 9 0 1878683 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7551740

[startup+0.100817 s]
/proc/loadavg: 0.92 1.09 1.48 1/174 24981
/proc/meminfo: memFree=13009132/32951124 swapFree=67111528/67111528
[pid=24981] ppid=24979 vsize=7551740 CPUtime=0.01 cores=0,2
/proc/24981/stat : 24981 (java) S 24979 24981 24951 0 -1 4202496 7632 0 1 0 0 1 0 0 25 0 10 0 352174869 7732981760 7329 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 1887935 7329 1060 9 0 1878683 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7551740

[startup+0.356183 s]
/proc/loadavg: 0.92 1.09 1.48 1/174 24981
/proc/meminfo: memFree=13009132/32951124 swapFree=67111528/67111528
[pid=24981] ppid=24979 vsize=7636928 CPUtime=0.25 cores=0,2
/proc/24981/stat : 24981 (java) S 24979 24981 24951 0 -1 4202496 11467 0 54 0 23 2 0 0 25 0 18 0 352174869 7820214272 11093 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 1909232 11093 2190 9 0 1899970 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 7636928

[startup+0.700706 s]
/proc/loadavg: 0.92 1.09 1.48 1/174 24981
/proc/meminfo: memFree=13009132/32951124 swapFree=67111528/67111528
[pid=24981] ppid=24979 vsize=7639640 CPUtime=0.82 cores=0,2
/proc/24981/stat : 24981 (java) S 24979 24981 24951 0 -1 4202496 13355 0 54 0 80 2 0 0 25 0 19 0 352174869 7822991360 12311 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 1909910 12311 2223 9 0 1900648 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 7639640

[startup+1.50159 s]
/proc/loadavg: 0.92 1.09 1.48 5/262 25084
/proc/meminfo: memFree=12829696/32951124 swapFree=67111528/67111528
[pid=24981] ppid=24979 vsize=7639344 CPUtime=1.68 cores=0,2
/proc/24981/stat : 24981 (java) S 24979 24981 24951 0 -1 4202496 14551 0 54 0 166 2 0 0 25 0 19 0 352174869 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 1909836 12750 2226 9 0 1900574 0
[pid=24981/tid=24983] ppid=24979 vsize=7639344 CPUtime=1.3 cores=0,2
/proc/24981/task/24983/stat : 24983 (java) R 24979 24981 24951 0 -1 4202560 9996 0 54 0 129 1 0 0 20 0 19 0 352174870 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 46912505618371 0 4 0 16800975 0 0 0 -1 0 0 0 16
[pid=24981/tid=24984] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24984/stat : 24984 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352174872 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=24985] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24985/stat : 24985 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352174872 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=24986] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24986/stat : 24986 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352174872 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=24987] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24987/stat : 24987 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352174872 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=24988] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24988/stat : 24988 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352174872 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=24989] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24989/stat : 24989 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352174872 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=24990] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24990/stat : 24990 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352174872 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=24991] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24991/stat : 24991 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352174872 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=24996] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24996/stat : 24996 (java) S 24979 24981 24951 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 352174883 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 0 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25006] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25006/stat : 25006 (java) S 24979 24981 24951 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 352174884 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25007] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25007/stat : 25007 (java) S 24979 24981 24951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 352174884 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25056] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25056/stat : 25056 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174890 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118592433 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25057] ppid=24979 vsize=7639344 CPUtime=0.14 cores=0,2
/proc/24981/task/25057/stat : 25057 (java) S 24979 24981 24951 0 -1 4202560 1343 0 0 0 14 0 0 0 15 0 19 0 352174890 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25058] ppid=24979 vsize=7639344 CPUtime=0.22 cores=0,2
/proc/24981/task/25058/stat : 25058 (java) S 24979 24981 24951 0 -1 4202560 2047 0 0 0 22 0 0 0 16 0 19 0 352174890 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25059] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25059/stat : 25059 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174890 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25060] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25060/stat : 25060 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174890 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25083] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25083/stat : 25083 (java) S 24979 24981 24951 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 352174906 7822688256 12750 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 7639344

[startup+3.10126 s]
/proc/loadavg: 0.92 1.09 1.48 5/262 25084
/proc/meminfo: memFree=12712764/32951124 swapFree=67111528/67111528
[pid=24981] ppid=24979 vsize=7639344 CPUtime=3.5 cores=0,2
/proc/24981/stat : 24981 (java) S 24979 24981 24951 0 -1 4202496 24438 0 54 0 346 4 0 0 25 0 19 0 352174869 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 1909836 20326 2254 9 0 1900574 0
[pid=24981/tid=24983] ppid=24979 vsize=7639344 CPUtime=2.84 cores=0,2
/proc/24981/task/24983/stat : 24983 (java) S 24979 24981 24951 0 -1 4202560 10104 0 54 0 283 1 0 0 25 0 19 0 352174870 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 16
[pid=24981/tid=24984] ppid=24979 vsize=7639344 CPUtime=0.01 cores=0,2
/proc/24981/task/24984/stat : 24984 (java) S 24979 24981 24951 0 -1 4202560 930 0 0 0 1 0 0 0 16 0 19 0 352174872 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24985] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24985/stat : 24985 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174872 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24986] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24986/stat : 24986 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 352174872 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24987] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24987/stat : 24987 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174872 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24988] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24988/stat : 24988 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174872 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24989] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24989/stat : 24989 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174872 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24990] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24990/stat : 24990 (java) S 24979 24981 24951 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 19 0 352174872 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24991] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24991/stat : 24991 (java) S 24979 24981 24951 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 19 0 352174872 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24996] ppid=24979 vsize=7639344 CPUtime=0.03 cores=0,2
/proc/24981/task/24996/stat : 24996 (java) R 24979 24981 24951 0 -1 4202560 938 0 0 0 3 0 0 0 15 0 19 0 352174883 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 47095687579651 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=24981/tid=25006] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25006/stat : 25006 (java) S 24979 24981 24951 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352174884 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25007] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25007/stat : 25007 (java) S 24979 24981 24951 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352174884 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25056] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25056/stat : 25056 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174890 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118592433 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25057] ppid=24979 vsize=7639344 CPUtime=0.34 cores=0,2
/proc/24981/task/25057/stat : 25057 (java) S 24979 24981 24951 0 -1 4202560 8552 0 0 0 33 1 0 0 15 0 19 0 352174890 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25058] ppid=24979 vsize=7639344 CPUtime=0.23 cores=0,2
/proc/24981/task/25058/stat : 25058 (java) S 24979 24981 24951 0 -1 4202560 2050 0 0 0 23 0 0 0 15 0 19 0 352174890 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25059] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25059/stat : 25059 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174890 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25060] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25060/stat : 25060 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174890 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25083] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25083/stat : 25083 (java) S 24979 24981 24951 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 352174906 7822688256 20326 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 7639344

[startup+6.30073 s]
/proc/loadavg: 1.25 1.15 1.50 5/262 25084
/proc/meminfo: memFree=12701976/32951124 swapFree=67111528/67111528
[pid=24981] ppid=24979 vsize=7639344 CPUtime=6.72 cores=0,2
/proc/24981/stat : 24981 (java) S 24979 24981 24951 0 -1 4202496 24757 0 54 0 668 4 0 0 25 0 19 0 352174869 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 1909836 19418 2254 9 0 1900574 0
[pid=24981/tid=24983] ppid=24979 vsize=7639344 CPUtime=6.01 cores=0,2
/proc/24981/task/24983/stat : 24983 (java) R 24979 24981 24951 0 -1 4202560 10106 0 54 0 600 1 0 0 25 0 19 0 352174870 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 46912505595084 0 4 0 16800975 0 0 0 -1 0 0 0 16
[pid=24981/tid=24984] ppid=24979 vsize=7639344 CPUtime=0.01 cores=0,2
/proc/24981/task/24984/stat : 24984 (java) S 24979 24981 24951 0 -1 4202560 933 0 0 0 1 0 0 0 15 0 19 0 352174872 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24985] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24985/stat : 24985 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174872 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=24986] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24986/stat : 24986 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174872 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24987] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24987/stat : 24987 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174872 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24988] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24988/stat : 24988 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174872 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24989] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24989/stat : 24989 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174872 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24990] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24990/stat : 24990 (java) S 24979 24981 24951 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 19 0 352174872 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24991] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/24991/stat : 24991 (java) S 24979 24981 24951 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 19 0 352174872 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24996] ppid=24979 vsize=7639344 CPUtime=0.06 cores=0,2
/proc/24981/task/24996/stat : 24996 (java) S 24979 24981 24951 0 -1 4202560 1251 0 0 0 6 0 0 0 15 0 19 0 352174883 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 0 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25006] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25006/stat : 25006 (java) S 24979 24981 24951 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352174884 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25007] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25007/stat : 25007 (java) S 24979 24981 24951 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352174884 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25056] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25056/stat : 25056 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174890 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118592433 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25057] ppid=24979 vsize=7639344 CPUtime=0.34 cores=0,2
/proc/24981/task/25057/stat : 25057 (java) S 24979 24981 24951 0 -1 4202560 8552 0 0 0 33 1 0 0 15 0 19 0 352174890 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25058] ppid=24979 vsize=7639344 CPUtime=0.25 cores=0,2
/proc/24981/task/25058/stat : 25058 (java) S 24979 24981 24951 0 -1 4202560 2051 0 0 0 25 0 0 0 15 0 19 0 352174890 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25059] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25059/stat : 25059 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174890 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25060] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25060/stat : 25060 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174890 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25083] ppid=24979 vsize=7639344 CPUtime=0 cores=0,2
/proc/24981/task/25083/stat : 25083 (java) S 24979 24981 24951 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 352174906 7822688256 19418 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 7639344

[startup+12.7016 s]

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

[pid=24981/tid=24989] ppid=24979 vsize=7640424 CPUtime=0.18 cores=0,2
/proc/24981/task/24989/stat : 24989 (java) S 24979 24981 24951 0 -1 4202560 268 0 0 0 18 0 0 0 15 0 19 0 352174872 7823794176 26573 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24990] ppid=24979 vsize=7640424 CPUtime=0.14 cores=0,2
/proc/24981/task/24990/stat : 24990 (java) S 24979 24981 24951 0 -1 4202560 294 0 0 0 14 0 0 0 15 0 19 0 352174872 7823794176 26573 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24991] ppid=24979 vsize=7640424 CPUtime=0.18 cores=0,2
/proc/24981/task/24991/stat : 24991 (java) S 24979 24981 24951 0 -1 4202560 1067 0 0 0 18 0 0 0 15 0 19 0 352174872 7823794176 26573 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24996] ppid=24979 vsize=7640424 CPUtime=5.63 cores=0,2
/proc/24981/task/24996/stat : 24996 (java) S 24979 24981 24951 0 -1 4202560 3894 0 0 0 562 1 0 0 15 0 19 0 352174883 7823794176 26573 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 0 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25006] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25006/stat : 25006 (java) S 24979 24981 24951 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352174884 7823794176 26573 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25007] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25007/stat : 25007 (java) S 24979 24981 24951 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352174884 7823794176 26573 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25056] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25056/stat : 25056 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174890 7823794176 26573 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118592433 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25057] ppid=24979 vsize=7640424 CPUtime=0.34 cores=0,2
/proc/24981/task/25057/stat : 25057 (java) S 24979 24981 24951 0 -1 4202560 8552 0 0 0 33 1 0 0 15 0 19 0 352174890 7823794176 26573 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25058] ppid=24979 vsize=7640424 CPUtime=0.28 cores=0,2
/proc/24981/task/25058/stat : 25058 (java) S 24979 24981 24951 0 -1 4202560 2239 0 0 0 28 0 0 0 15 0 19 0 352174890 7823794176 26573 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25059] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25059/stat : 25059 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174890 7823794176 26573 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25060] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25060/stat : 25060 (java) S 24979 24981 24951 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 352174890 7823794176 26573 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25083] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25083/stat : 25083 (java) S 24979 24981 24951 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 352174906 7823794176 26573 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1123.31
Current children cumulated vsize (KiB) 7640424

[startup+1182.3 s]
/proc/loadavg: 4.04 3.97 3.29 5/262 25116
/proc/meminfo: memFree=12657532/32951124 swapFree=67111528/67111528
[pid=24981] ppid=24979 vsize=7640424 CPUtime=1183.35 cores=0,2
/proc/24981/stat : 24981 (java) S 24979 24981 24951 0 -1 4202496 32296 0 54 0 118327 8 0 0 25 0 19 0 352174869 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 1910106 26633 2255 9 0 1900844 0
[pid=24981/tid=24983] ppid=24979 vsize=7640424 CPUtime=1175.33 cores=0,2
/proc/24981/task/24983/stat : 24983 (java) R 24979 24981 24951 0 -1 4202560 12342 0 54 0 117529 4 0 0 25 0 19 0 352174870 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 46912505617484 0 4 0 16800975 0 0 0 -1 0 0 0 16
[pid=24981/tid=24984] ppid=24979 vsize=7640424 CPUtime=0.17 cores=0,2
/proc/24981/task/24984/stat : 24984 (java) S 24979 24981 24951 0 -1 4202560 1023 0 0 0 17 0 0 0 15 0 19 0 352174872 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24985] ppid=24979 vsize=7640424 CPUtime=0.17 cores=0,2
/proc/24981/task/24985/stat : 24985 (java) S 24979 24981 24951 0 -1 4202560 425 0 0 0 17 0 0 0 15 0 19 0 352174872 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24986] ppid=24979 vsize=7640424 CPUtime=0.17 cores=0,2
/proc/24981/task/24986/stat : 24986 (java) S 24979 24981 24951 0 -1 4202560 694 0 0 0 17 0 0 0 15 0 19 0 352174872 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24987] ppid=24979 vsize=7640424 CPUtime=0.16 cores=0,2
/proc/24981/task/24987/stat : 24987 (java) S 24979 24981 24951 0 -1 4202560 205 0 0 0 16 0 0 0 15 0 19 0 352174872 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24988] ppid=24979 vsize=7640424 CPUtime=0.14 cores=0,2
/proc/24981/task/24988/stat : 24988 (java) S 24979 24981 24951 0 -1 4202560 11 0 0 0 14 0 0 0 16 0 19 0 352174872 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24989] ppid=24979 vsize=7640424 CPUtime=0.19 cores=0,2
/proc/24981/task/24989/stat : 24989 (java) S 24979 24981 24951 0 -1 4202560 269 0 0 0 19 0 0 0 15 0 19 0 352174872 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24990] ppid=24979 vsize=7640424 CPUtime=0.14 cores=0,2
/proc/24981/task/24990/stat : 24990 (java) S 24979 24981 24951 0 -1 4202560 294 0 0 0 14 0 0 0 15 0 19 0 352174872 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24991] ppid=24979 vsize=7640424 CPUtime=0.19 cores=0,2
/proc/24981/task/24991/stat : 24991 (java) S 24979 24981 24951 0 -1 4202560 1067 0 0 0 19 0 0 0 15 0 19 0 352174872 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24996] ppid=24979 vsize=7640424 CPUtime=5.99 cores=0,2
/proc/24981/task/24996/stat : 24996 (java) S 24979 24981 24951 0 -1 4202560 3953 0 0 0 598 1 0 0 16 0 19 0 352174883 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 0 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25006] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25006/stat : 25006 (java) S 24979 24981 24951 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352174884 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25007] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25007/stat : 25007 (java) S 24979 24981 24951 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352174884 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25056] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25056/stat : 25056 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174890 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118592433 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25057] ppid=24979 vsize=7640424 CPUtime=0.34 cores=0,2
/proc/24981/task/25057/stat : 25057 (java) S 24979 24981 24951 0 -1 4202560 8552 0 0 0 33 1 0 0 15 0 19 0 352174890 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25058] ppid=24979 vsize=7640424 CPUtime=0.28 cores=0,2
/proc/24981/task/25058/stat : 25058 (java) S 24979 24981 24951 0 -1 4202560 2239 0 0 0 28 0 0 0 15 0 19 0 352174890 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25059] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25059/stat : 25059 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174890 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25060] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25060/stat : 25060 (java) S 24979 24981 24951 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 352174890 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25083] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25083/stat : 25083 (java) S 24979 24981 24951 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 352174906 7823794176 26633 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1183.35
Current children cumulated vsize (KiB) 7640424

[startup+1242.3 s]
/proc/loadavg: 4.01 3.97 3.33 5/262 25117
/proc/meminfo: memFree=12655864/32951124 swapFree=67111528/67111528
[pid=24981] ppid=24979 vsize=7640424 CPUtime=1243.38 cores=0,2
/proc/24981/stat : 24981 (java) S 24979 24981 24951 0 -1 4202496 32418 0 54 0 124330 8 0 0 25 0 19 0 352174869 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 1910106 26739 2255 9 0 1900844 0
[pid=24981/tid=24983] ppid=24979 vsize=7640424 CPUtime=1235.01 cores=0,2
/proc/24981/task/24983/stat : 24983 (java) R 24979 24981 24951 0 -1 4202560 12350 0 54 0 123497 4 0 0 25 0 19 0 352174870 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 46912505595223 0 4 0 16800975 0 0 0 -1 0 0 0 16
[pid=24981/tid=24984] ppid=24979 vsize=7640424 CPUtime=0.18 cores=0,2
/proc/24981/task/24984/stat : 24984 (java) S 24979 24981 24951 0 -1 4202560 1023 0 0 0 18 0 0 0 15 0 19 0 352174872 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24985] ppid=24979 vsize=7640424 CPUtime=0.17 cores=0,2
/proc/24981/task/24985/stat : 24985 (java) S 24979 24981 24951 0 -1 4202560 425 0 0 0 17 0 0 0 15 0 19 0 352174872 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24986] ppid=24979 vsize=7640424 CPUtime=0.18 cores=0,2
/proc/24981/task/24986/stat : 24986 (java) S 24979 24981 24951 0 -1 4202560 694 0 0 0 18 0 0 0 16 0 19 0 352174872 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24987] ppid=24979 vsize=7640424 CPUtime=0.17 cores=0,2
/proc/24981/task/24987/stat : 24987 (java) S 24979 24981 24951 0 -1 4202560 205 0 0 0 17 0 0 0 15 0 19 0 352174872 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24988] ppid=24979 vsize=7640424 CPUtime=0.16 cores=0,2
/proc/24981/task/24988/stat : 24988 (java) S 24979 24981 24951 0 -1 4202560 24 0 0 0 16 0 0 0 15 0 19 0 352174872 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24989] ppid=24979 vsize=7640424 CPUtime=0.2 cores=0,2
/proc/24981/task/24989/stat : 24989 (java) S 24979 24981 24951 0 -1 4202560 269 0 0 0 20 0 0 0 15 0 19 0 352174872 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24990] ppid=24979 vsize=7640424 CPUtime=0.14 cores=0,2
/proc/24981/task/24990/stat : 24990 (java) S 24979 24981 24951 0 -1 4202560 294 0 0 0 14 0 0 0 15 0 19 0 352174872 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24991] ppid=24979 vsize=7640424 CPUtime=0.2 cores=0,2
/proc/24981/task/24991/stat : 24991 (java) S 24979 24981 24951 0 -1 4202560 1074 0 0 0 20 0 0 0 15 0 19 0 352174872 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24996] ppid=24979 vsize=7640424 CPUtime=6.27 cores=0,2
/proc/24981/task/24996/stat : 24996 (java) S 24979 24981 24951 0 -1 4202560 4043 0 0 0 626 1 0 0 15 0 19 0 352174883 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 0 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25006] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25006/stat : 25006 (java) S 24979 24981 24951 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352174884 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25007] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25007/stat : 25007 (java) S 24979 24981 24951 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352174884 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25056] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25056/stat : 25056 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174890 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118592433 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25057] ppid=24979 vsize=7640424 CPUtime=0.34 cores=0,2
/proc/24981/task/25057/stat : 25057 (java) S 24979 24981 24951 0 -1 4202560 8552 0 0 0 33 1 0 0 15 0 19 0 352174890 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25058] ppid=24979 vsize=7640424 CPUtime=0.28 cores=0,2
/proc/24981/task/25058/stat : 25058 (java) S 24979 24981 24951 0 -1 4202560 2239 0 0 0 28 0 0 0 15 0 19 0 352174890 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25059] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25059/stat : 25059 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174890 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25060] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25060/stat : 25060 (java) S 24979 24981 24951 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 352174890 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25083] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25083/stat : 25083 (java) S 24979 24981 24951 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 352174906 7823794176 26739 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1243.38
Current children cumulated vsize (KiB) 7640424



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.97 3.37 5/262 25128
/proc/meminfo: memFree=12654644/32951124 swapFree=67111528/67111528
[pid=24981] ppid=24979 vsize=7640424 CPUtime=1301.12 cores=0,2
/proc/24981/stat : 24981 (java) S 24979 24981 24951 0 -1 4202496 32529 0 54 0 130103 9 0 0 25 0 19 0 352174869 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 1910106 26833 2255 9 0 1900844 0
[pid=24981/tid=24983] ppid=24979 vsize=7640424 CPUtime=1292.36 cores=0,2
/proc/24981/task/24983/stat : 24983 (java) R 24979 24981 24951 0 -1 4202560 12359 0 54 0 129232 4 0 0 25 0 19 0 352174870 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 46912505652181 0 4 0 16800975 0 0 0 -1 0 0 0 16
[pid=24981/tid=24984] ppid=24979 vsize=7640424 CPUtime=0.19 cores=0,2
/proc/24981/task/24984/stat : 24984 (java) S 24979 24981 24951 0 -1 4202560 1024 0 0 0 19 0 0 0 15 0 19 0 352174872 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24985] ppid=24979 vsize=7640424 CPUtime=0.19 cores=0,2
/proc/24981/task/24985/stat : 24985 (java) S 24979 24981 24951 0 -1 4202560 425 0 0 0 19 0 0 0 15 0 19 0 352174872 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=24986] ppid=24979 vsize=7640424 CPUtime=0.19 cores=0,2
/proc/24981/task/24986/stat : 24986 (java) S 24979 24981 24951 0 -1 4202560 694 0 0 0 19 0 0 0 15 0 19 0 352174872 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24987] ppid=24979 vsize=7640424 CPUtime=0.18 cores=0,2
/proc/24981/task/24987/stat : 24987 (java) S 24979 24981 24951 0 -1 4202560 206 0 0 0 18 0 0 0 16 0 19 0 352174872 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24988] ppid=24979 vsize=7640424 CPUtime=0.16 cores=0,2
/proc/24981/task/24988/stat : 24988 (java) S 24979 24981 24951 0 -1 4202560 24 0 0 0 16 0 0 0 15 0 19 0 352174872 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24989] ppid=24979 vsize=7640424 CPUtime=0.22 cores=0,2
/proc/24981/task/24989/stat : 24989 (java) S 24979 24981 24951 0 -1 4202560 270 0 0 0 22 0 0 0 15 0 19 0 352174872 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24990] ppid=24979 vsize=7640424 CPUtime=0.15 cores=0,2
/proc/24981/task/24990/stat : 24990 (java) S 24979 24981 24951 0 -1 4202560 295 0 0 0 15 0 0 0 15 0 19 0 352174872 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24991] ppid=24979 vsize=7640424 CPUtime=0.21 cores=0,2
/proc/24981/task/24991/stat : 24991 (java) S 24979 24981 24951 0 -1 4202560 1075 0 0 0 21 0 0 0 15 0 19 0 352174872 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=24996] ppid=24979 vsize=7640424 CPUtime=6.58 cores=0,2
/proc/24981/task/24996/stat : 24996 (java) S 24979 24981 24951 0 -1 4202560 4136 0 0 0 657 1 0 0 15 0 19 0 352174883 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 0 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25006] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25006/stat : 25006 (java) S 24979 24981 24951 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352174884 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25007] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25007/stat : 25007 (java) S 24979 24981 24951 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352174884 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 0 0 0 0
[pid=24981/tid=25056] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25056/stat : 25056 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174890 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118592433 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25057] ppid=24979 vsize=7640424 CPUtime=0.34 cores=0,2
/proc/24981/task/25057/stat : 25057 (java) S 24979 24981 24951 0 -1 4202560 8552 0 0 0 33 1 0 0 15 0 19 0 352174890 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25058] ppid=24979 vsize=7640424 CPUtime=0.28 cores=0,2
/proc/24981/task/25058/stat : 25058 (java) S 24979 24981 24951 0 -1 4202560 2239 0 0 0 28 0 0 0 15 0 19 0 352174890 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25059] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25059/stat : 25059 (java) S 24979 24981 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174890 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118584729 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25060] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25060/stat : 25060 (java) S 24979 24981 24951 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 352174890 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
[pid=24981/tid=25083] ppid=24979 vsize=7640424 CPUtime=0 cores=0,2
/proc/24981/task/25083/stat : 25083 (java) S 24979 24981 24951 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 352174906 7823794176 26833 33554432000 1073741824 1073778376 140733833480592 18446744073709551615 255118585344 0 4 0 16800975 18446604453948295936 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.12
Current children cumulated vsize (KiB) 7640424

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.21
CPU user time (s): 1301.11
CPU system time (s): 0.096985
CPU usage (%): 100.089
Max. virtual memory (cumulated for all children) (KiB): 7640424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.11
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32565
page faults= 54
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32873
involuntary context switches= 9461

runsolver used 2.26965 second user time and 4.85126 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-12 10:39:47
IDJOB=3190248
IDBENCH=82579
IDSOLVER=1611
FILE ID=node144/3190248-1302597587
RUNJOBID= node144-1302597587-24969
PBS_JOBID= 12958105
Free space on /tmp= 72204 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.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-3190248-1302597587/watcher-3190248-1302597587 -o /tmp/evaluation-result-3190248-1302597587/solver-3190248-1302597587 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190248-1302597587.cnf

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

MD5SUM BENCH= 99649f8478aeec246b4c83e11dce9c4a
RANDOM SEED=2119119767

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:      13009412 kB
Buffers:        751708 kB
Cached:       18706832 kB
SwapCached:          0 kB
Active:       10049844 kB
Inactive:      9471536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13009412 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             400 kB
Writeback:           0 kB
AnonPages:       62832 kB
Mapped:          14320 kB
Slab:           355304 kB
PageTables:       4908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186560 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= 72200 MiB
End job on node144 at 2011-04-12 11:01:29