Trace number 3190293

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf
MD5SUMcdf9df7b6b7a513ee69ee69e82cb9345
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.9377
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.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.08	c no version file found!!!
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.18-164.el5
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		6997539544
0.01/0.08	c Max memory 		7034241024
0.01/0.08	c Total memory 		7034241024
0.01/0.08	c Number of processors 	8
0.09/0.10	c --- Begin Solver configuration ---
0.09/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.10	c Expensive reason simplification
0.09/0.10	c Armin Biere (Picosat) restarts strategy
0.09/0.10	c Glucose learned constraints deletion strategy
0.09/0.10	c timeout=2147483647s
0.09/0.10	c DB Simplification allowed=true
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3190293-1302598117.cnf
0.09/0.10	c reading problem ... 
0.27/0.21	c ... done. Wall clock time 0.112s.
0.27/0.21	c #vars     5000
0.27/0.21	c #constraints  21000
0.27/0.21	c constraints type 
0.27/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21000
1.69/1.55	c cleaning 2499 clauses out of 5001 with flag 5001/5001
3.02/2.87	c cleaning 4245 clauses out of 8501 with flag 11000/11000
4.63/4.45	c cleaning 5627 clauses out of 11258 with flag 18002/18002
6.44/6.27	c cleaning 6813 clauses out of 13631 with flag 26002/26002
8.55/8.33	c cleaning 7905 clauses out of 15816 with flag 35000/35000
10.95/10.72	c cleaning 8954 clauses out of 17911 with flag 45000/45000
13.55/13.32	c cleaning 9977 clauses out of 19957 with flag 56000/56000
16.45/16.28	c cleaning 10986 clauses out of 21980 with flag 68000/68000
19.66/19.44	c cleaning 11988 clauses out of 23994 with flag 81000/81000
23.16/22.97	c cleaning 13000 clauses out of 26007 with flag 95001/95001
27.06/26.87	c cleaning 13997 clauses out of 28006 with flag 110000/110000
31.26/31.06	c cleaning 15003 clauses out of 30010 with flag 126001/126001
35.67/35.49	c cleaning 15998 clauses out of 32007 with flag 143001/143001
40.56/40.33	c cleaning 16995 clauses out of 34009 with flag 161001/161001
45.67/45.47	c cleaning 17994 clauses out of 36013 with flag 180000/180000
51.17/50.95	c cleaning 19004 clauses out of 38020 with flag 200001/200001
57.08/56.83	c cleaning 20003 clauses out of 40015 with flag 221000/221000
62.99/62.76	c cleaning 20499 clauses out of 41015 with flag 242003/242003
68.69/68.45	c cleaning 20747 clauses out of 41514 with flag 263001/263001
74.59/74.34	c cleaning 20874 clauses out of 41766 with flag 284000/284000
80.50/80.26	c cleaning 20942 clauses out of 41893 with flag 305001/305001
86.30/86.03	c cleaning 20960 clauses out of 41950 with flag 326000/326000
92.10/91.89	c cleaning 20992 clauses out of 41990 with flag 347000/347000
98.11/97.83	c cleaning 20989 clauses out of 41999 with flag 368001/368001
103.81/103.53	c cleaning 20998 clauses out of 42011 with flag 389002/389002
109.71/109.43	c cleaning 21002 clauses out of 42011 with flag 410000/410000
115.51/115.24	c cleaning 20992 clauses out of 42009 with flag 431000/431000
121.52/121.23	c cleaning 21003 clauses out of 42018 with flag 452001/452001
127.32/127.01	c cleaning 21001 clauses out of 42014 with flag 473000/473000
133.12/132.90	c cleaning 20997 clauses out of 42013 with flag 494000/494000
139.02/138.79	c cleaning 21007 clauses out of 42017 with flag 515001/515001
144.93/144.70	c cleaning 20999 clauses out of 42011 with flag 536002/536002
151.04/150.78	c cleaning 20999 clauses out of 42010 with flag 557000/557000
156.73/156.46	c cleaning 20995 clauses out of 42012 with flag 578001/578001
162.64/162.38	c cleaning 21002 clauses out of 42016 with flag 599000/599000
168.74/168.47	c cleaning 20997 clauses out of 42014 with flag 620000/620000
174.54/174.29	c cleaning 20997 clauses out of 42018 with flag 641001/641001
180.44/180.15	c cleaning 20996 clauses out of 42023 with flag 662003/662003
186.55/186.29	c cleaning 21008 clauses out of 42026 with flag 683002/683002
192.45/192.15	c cleaning 20997 clauses out of 42016 with flag 704000/704000
198.26/198.00	c cleaning 20994 clauses out of 42019 with flag 725000/725000
204.36/204.00	c cleaning 21008 clauses out of 42027 with flag 746002/746002
210.16/209.88	c cleaning 21002 clauses out of 42019 with flag 767002/767002
215.97/215.68	c cleaning 20995 clauses out of 42015 with flag 788000/788000
221.87/221.54	c cleaning 20995 clauses out of 42021 with flag 809001/809001
228.08/227.73	c cleaning 21004 clauses out of 42026 with flag 830001/830001
233.97/233.60	c cleaning 21000 clauses out of 42022 with flag 851001/851001
239.78/239.44	c cleaning 20996 clauses out of 42021 with flag 872000/872000
245.78/245.42	c cleaning 21003 clauses out of 42026 with flag 893001/893001
251.98/251.66	c cleaning 21006 clauses out of 42022 with flag 914000/914000
257.88/257.55	c cleaning 20996 clauses out of 42016 with flag 935000/935000
263.78/263.44	c cleaning 20998 clauses out of 42023 with flag 956003/956003
269.69/269.38	c cleaning 20997 clauses out of 42022 with flag 977000/977000
275.69/275.37	c cleaning 21009 clauses out of 42025 with flag 998000/998000
281.79/281.44	c cleaning 21006 clauses out of 42019 with flag 1019003/1019003
287.59/287.22	c cleaning 20994 clauses out of 42012 with flag 1040002/1040002
293.50/293.12	c cleaning 21004 clauses out of 42016 with flag 1061000/1061000
299.40/299.00	c cleaning 20996 clauses out of 42012 with flag 1082000/1082000
305.30/304.98	c cleaning 20994 clauses out of 42016 with flag 1103000/1103000
311.61/311.29	c cleaning 21003 clauses out of 42022 with flag 1124000/1124000
317.41/317.08	c cleaning 21000 clauses out of 42020 with flag 1145001/1145001
323.41/323.01	c cleaning 20990 clauses out of 42019 with flag 1166000/1166000
329.41/329.04	c cleaning 21011 clauses out of 42031 with flag 1187002/1187002
335.42/335.03	c cleaning 21000 clauses out of 42019 with flag 1208001/1208001
341.43/341.03	c cleaning 20993 clauses out of 42018 with flag 1229000/1229000
347.32/347.00	c cleaning 21006 clauses out of 42028 with flag 1250003/1250003
353.12/352.79	c cleaning 20994 clauses out of 42020 with flag 1271001/1271001
359.03/358.69	c cleaning 21010 clauses out of 42026 with flag 1292001/1292001
364.93/364.53	c cleaning 20999 clauses out of 42016 with flag 1313001/1313001
371.05/370.64	c cleaning 20987 clauses out of 42016 with flag 1334000/1334000
377.45/377.04	c cleaning 21003 clauses out of 42029 with flag 1355000/1355000
383.55/383.17	c cleaning 20997 clauses out of 42026 with flag 1376000/1376000
389.35/388.97	c cleaning 21005 clauses out of 42030 with flag 1397001/1397001
395.38/394.93	c cleaning 21004 clauses out of 42025 with flag 1418001/1418001
401.47/401.02	c cleaning 20998 clauses out of 42020 with flag 1439000/1439000
407.58/407.11	c cleaning 20996 clauses out of 42024 with flag 1460002/1460002
413.58/413.16	c cleaning 20996 clauses out of 42026 with flag 1481000/1481000
420.09/419.68	c cleaning 21011 clauses out of 42030 with flag 1502000/1502000
426.09/425.60	c cleaning 21005 clauses out of 42020 with flag 1523001/1523001
431.89/431.41	c cleaning 20993 clauses out of 42014 with flag 1544000/1544000
437.79/437.36	c cleaning 21001 clauses out of 42021 with flag 1565000/1565000
443.90/443.43	c cleaning 21001 clauses out of 42022 with flag 1586002/1586002
450.10/449.61	c cleaning 20999 clauses out of 42019 with flag 1607000/1607000
456.50/456.05	c cleaning 20995 clauses out of 42020 with flag 1628000/1628000
463.01/462.56	c cleaning 20998 clauses out of 42025 with flag 1649000/1649000
469.21/468.72	c cleaning 21008 clauses out of 42027 with flag 1670000/1670000
475.01/474.57	c cleaning 20995 clauses out of 42019 with flag 1691000/1691000
481.02/480.53	c cleaning 20995 clauses out of 42024 with flag 1712000/1712000
487.02/486.56	c cleaning 21007 clauses out of 42029 with flag 1733000/1733000
493.12/492.67	c cleaning 21001 clauses out of 42022 with flag 1754000/1754000
499.43/498.91	c cleaning 20995 clauses out of 42021 with flag 1775000/1775000
505.73/505.24	c cleaning 20995 clauses out of 42026 with flag 1796000/1796000
512.04/511.53	c cleaning 20998 clauses out of 42032 with flag 1817001/1817001
518.24/517.76	c cleaning 21010 clauses out of 42034 with flag 1838001/1838001
524.15/523.61	c cleaning 20999 clauses out of 42024 with flag 1859001/1859001
530.04/529.59	c cleaning 20997 clauses out of 42024 with flag 1880000/1880000
536.25/535.74	c cleaning 20996 clauses out of 42027 with flag 1901000/1901000
542.45/541.98	c cleaning 21011 clauses out of 42033 with flag 1922002/1922002
549.05/548.54	c cleaning 21008 clauses out of 42021 with flag 1943001/1943001
555.45/554.91	c cleaning 20992 clauses out of 42012 with flag 1964000/1964000
561.86/561.33	c cleaning 20995 clauses out of 42020 with flag 1985000/1985000
568.36/567.86	c cleaning 21010 clauses out of 42027 with flag 2006002/2006002
574.57/574.03	c cleaning 21003 clauses out of 42016 with flag 2027001/2027001
580.47/579.96	c cleaning 21004 clauses out of 42012 with flag 2048000/2048000
586.57/586.01	c cleaning 21002 clauses out of 42011 with flag 2069003/2069003
592.57/592.08	c cleaning 20994 clauses out of 42007 with flag 2090001/2090001
598.78/598.23	c cleaning 21001 clauses out of 42012 with flag 2111000/2111000
605.18/604.67	c cleaning 21000 clauses out of 42012 with flag 2132001/2132001
611.48/610.96	c cleaning 20990 clauses out of 42011 with flag 2153000/2153000
617.79/617.24	c cleaning 20999 clauses out of 42021 with flag 2174000/2174000
624.20/623.67	c cleaning 20996 clauses out of 42022 with flag 2195000/2195000
630.60/630.05	c cleaning 21006 clauses out of 42029 with flag 2216003/2216003
636.70/636.11	c cleaning 20998 clauses out of 42020 with flag 2237000/2237000
642.40/641.87	c cleaning 21002 clauses out of 42022 with flag 2258000/2258000
648.51/647.90	c cleaning 21002 clauses out of 42022 with flag 2279002/2279002
654.61/654.06	c cleaning 20996 clauses out of 42019 with flag 2300001/2300001
660.71/660.14	c cleaning 21002 clauses out of 42022 with flag 2321000/2321000
666.91/666.37	c cleaning 20999 clauses out of 42021 with flag 2342001/2342001
673.52/672.95	c cleaning 21004 clauses out of 42021 with flag 2363000/2363000
680.12/679.51	c cleaning 20996 clauses out of 42017 with flag 2384000/2384000
686.42/685.86	c cleaning 20981 clauses out of 42021 with flag 2405000/2405000
693.03/692.50	c cleaning 21009 clauses out of 42040 with flag 2426000/2426000
699.83/699.27	c cleaning 20994 clauses out of 42031 with flag 2447000/2447000
705.94/705.31	c cleaning 21014 clauses out of 42037 with flag 2468000/2468000
711.74/711.19	c cleaning 21002 clauses out of 42023 with flag 2489000/2489000
717.75/717.18	c cleaning 21004 clauses out of 42021 with flag 2510000/2510000
723.94/723.32	c cleaning 20999 clauses out of 42018 with flag 2531001/2531001
729.95/729.35	c cleaning 20995 clauses out of 42019 with flag 2552001/2552001
736.15/735.52	c cleaning 20991 clauses out of 42023 with flag 2573000/2573000
742.46/741.87	c cleaning 21005 clauses out of 42032 with flag 2594000/2594000
748.96/748.38	c cleaning 20999 clauses out of 42028 with flag 2615001/2615001
755.56/754.94	c cleaning 21003 clauses out of 42028 with flag 2636000/2636000
762.47/761.82	c cleaning 20995 clauses out of 42025 with flag 2657000/2657000
769.47/768.80	c cleaning 21000 clauses out of 42030 with flag 2678000/2678000
776.47/775.88	c cleaning 20987 clauses out of 42030 with flag 2699000/2699000
782.47/781.89	c cleaning 21015 clauses out of 42043 with flag 2720000/2720000
788.48/787.88	c cleaning 21002 clauses out of 42028 with flag 2741000/2741000
794.48/793.89	c cleaning 20999 clauses out of 42026 with flag 2762000/2762000
800.58/799.99	c cleaning 21001 clauses out of 42027 with flag 2783000/2783000
807.08/806.43	c cleaning 20995 clauses out of 42027 with flag 2804001/2804001
813.39/812.73	c cleaning 21004 clauses out of 42031 with flag 2825000/2825000
819.69/819.02	c cleaning 21004 clauses out of 42028 with flag 2846001/2846001
826.10/825.42	c cleaning 20994 clauses out of 42024 with flag 2867001/2867001
832.70/832.00	c cleaning 20982 clauses out of 42029 with flag 2888000/2888000
839.50/838.81	c cleaning 21009 clauses out of 42048 with flag 2909001/2909001
846.31/845.68	c cleaning 21008 clauses out of 42038 with flag 2930000/2930000
853.02/852.31	c cleaning 21004 clauses out of 42030 with flag 2951000/2951000
859.73/859.04	c cleaning 20995 clauses out of 42026 with flag 2972000/2972000
865.73/865.09	c cleaning 21007 clauses out of 42031 with flag 2993000/2993000
871.73/871.06	c cleaning 21002 clauses out of 42024 with flag 3014000/3014000
877.73/877.08	c cleaning 21001 clauses out of 42022 with flag 3035000/3035000
884.04/883.31	c cleaning 20999 clauses out of 42021 with flag 3056000/3056000
890.34/889.69	c cleaning 20997 clauses out of 42023 with flag 3077001/3077001
896.64/895.95	c cleaning 20993 clauses out of 42028 with flag 3098003/3098003
902.94/902.24	c cleaning 21010 clauses out of 42033 with flag 3119001/3119001
909.35/908.63	c cleaning 20999 clauses out of 42022 with flag 3140000/3140000
915.75/915.07	c cleaning 20994 clauses out of 42024 with flag 3161001/3161001
922.75/922.09	c cleaning 20994 clauses out of 42030 with flag 3182001/3182001
929.96/929.23	c cleaning 21005 clauses out of 42035 with flag 3203000/3203000
936.96/936.24	c cleaning 21003 clauses out of 42030 with flag 3224000/3224000
943.77/943.03	c cleaning 21003 clauses out of 42027 with flag 3245000/3245000
950.27/949.55	c cleaning 20998 clauses out of 42024 with flag 3266000/3266000
956.88/956.15	c cleaning 21010 clauses out of 42028 with flag 3287002/3287002
962.78/962.07	c cleaning 20989 clauses out of 42016 with flag 3308000/3308000
968.79/968.04	c cleaning 21002 clauses out of 42027 with flag 3329000/3329000
974.79/974.05	c cleaning 21002 clauses out of 42026 with flag 3350001/3350001
980.80/980.08	c cleaning 21005 clauses out of 42024 with flag 3371001/3371001
986.89/986.16	c cleaning 20998 clauses out of 42019 with flag 3392001/3392001
993.30/992.51	c cleaning 20994 clauses out of 42020 with flag 3413000/3413000
999.51/998.77	c cleaning 21004 clauses out of 42029 with flag 3434003/3434003
1006.11/1005.35	c cleaning 20995 clauses out of 42023 with flag 3455001/3455001
1012.61/1011.84	c cleaning 21001 clauses out of 42027 with flag 3476000/3476000
1018.91/1018.11	c cleaning 21005 clauses out of 42028 with flag 3497002/3497002
1025.31/1024.57	c cleaning 20997 clauses out of 42022 with flag 3518001/3518001
1031.82/1031.08	c cleaning 20986 clauses out of 42025 with flag 3539001/3539001
1038.42/1037.69	c cleaning 21005 clauses out of 42038 with flag 3560000/3560000
1045.73/1044.96	c cleaning 21006 clauses out of 42033 with flag 3581000/3581000
1052.83/1052.06	c cleaning 20984 clauses out of 42027 with flag 3602000/3602000
1059.24/1058.49	c cleaning 21010 clauses out of 42043 with flag 3623000/3623000
1065.14/1064.39	c cleaning 21005 clauses out of 42033 with flag 3644000/3644000
1071.15/1070.38	c cleaning 21008 clauses out of 42029 with flag 3665001/3665001
1077.24/1076.41	c cleaning 21006 clauses out of 42022 with flag 3686002/3686002
1083.45/1082.60	c cleaning 21000 clauses out of 42014 with flag 3707000/3707000
1089.65/1088.82	c cleaning 20986 clauses out of 42014 with flag 3728000/3728000
1096.05/1095.26	c cleaning 21005 clauses out of 42028 with flag 3749000/3749000
1102.36/1101.52	c cleaning 20998 clauses out of 42024 with flag 3770001/3770001
1108.86/1108.01	c cleaning 21004 clauses out of 42025 with flag 3791000/3791000
1115.36/1114.52	c cleaning 20997 clauses out of 42021 with flag 3812000/3812000
1121.77/1120.98	c cleaning 20998 clauses out of 42025 with flag 3833001/3833001
1128.47/1127.63	c cleaning 21002 clauses out of 42027 with flag 3854001/3854001
1134.88/1134.03	c cleaning 20998 clauses out of 42028 with flag 3875004/3875004
1141.38/1140.52	c cleaning 20994 clauses out of 42026 with flag 3896000/3896000
1148.38/1147.58	c cleaning 21012 clauses out of 42035 with flag 3917003/3917003
1155.59/1154.71	c cleaning 20987 clauses out of 42021 with flag 3938001/3938001
1161.89/1161.03	c cleaning 21014 clauses out of 42035 with flag 3959002/3959002
1169.10/1168.23	c cleaning 20993 clauses out of 42020 with flag 3980001/3980001
1175.20/1174.36	c cleaning 21007 clauses out of 42027 with flag 4001001/4001001
1181.30/1180.41	c cleaning 21001 clauses out of 42019 with flag 4022000/4022000
1187.30/1186.47	c cleaning 21000 clauses out of 42023 with flag 4043005/4043005
1193.41/1192.53	c cleaning 21002 clauses out of 42020 with flag 4064002/4064002
1199.71/1198.83	c cleaning 20988 clauses out of 42016 with flag 4085000/4085000
1205.91/1205.09	c cleaning 20997 clauses out of 42031 with flag 4106003/4106003
1212.42/1211.58	c cleaning 21006 clauses out of 42031 with flag 4127000/4127000
1219.12/1218.24	c cleaning 20997 clauses out of 42026 with flag 4148001/4148001
1225.92/1225.03	c cleaning 21010 clauses out of 42029 with flag 4169001/4169001
1232.73/1231.81	c cleaning 21000 clauses out of 42021 with flag 4190003/4190003
1239.54/1238.70	c cleaning 21002 clauses out of 42018 with flag 4211000/4211000
1246.44/1245.50	c cleaning 20997 clauses out of 42016 with flag 4232000/4232000
1253.54/1252.66	c cleaning 20981 clauses out of 42020 with flag 4253001/4253001
1260.25/1259.31	c cleaning 21003 clauses out of 42038 with flag 4274000/4274000
1266.65/1265.70	c cleaning 20995 clauses out of 42035 with flag 4295000/4295000
1273.56/1272.69	c cleaning 21007 clauses out of 42042 with flag 4316002/4316002
1281.06/1280.18	c cleaning 21008 clauses out of 42033 with flag 4337000/4337000
1287.56/1286.66	c cleaning 20996 clauses out of 42027 with flag 4358002/4358002
1294.47/1293.53	c cleaning 21002 clauses out of 42029 with flag 4379000/4379000
1300.57/1299.69	c cleaning 21000 clauses out of 42027 with flag 4400000/4400000
1300.98/1300.01	c starts		: 2046
1300.98/1300.01	c conflicts		: 4401085
1300.98/1300.01	c decisions		: 6630829
1300.98/1300.01	c propagations		: 1427497461
1300.98/1300.01	c inspects		: 7127585584
1300.98/1300.01	c shortcuts		: 0
1300.98/1300.01	c learnt literals	: 0
1300.98/1300.01	c learnt binary clauses	: 0
1300.98/1300.01	c learnt ternary clauses	: 74
1300.98/1300.01	c learnt constraints	: 4401086
1300.98/1300.01	c ignored constraints	: 0
1300.98/1300.01	c root simplifications	: 2046
1300.98/1300.01	c removed literals (reason simplification)	: 76928671
1300.98/1300.01	c reason swapping (by a shorter reason)	: 0
1300.98/1300.01	c Calls to reduceDB	: 216
1300.98/1300.01	c speed (assignments/second)	: 1098243.451112901
1300.98/1300.01	c non guided choices	482
1300.98/1300.04	c learnt constraints type 
1300.98/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 22207
1300.98/1300.04	c constraints type 
1300.98/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21000
1300.98/1300.04	s UNKNOWN
1300.98/1300.04	c Total wall clock time (in seconds) : 1299.914

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

running on 2 cores: 4,6

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: 4.01 3.98 3.35 4/178 23237
/proc/meminfo: memFree=16901620/32951124 swapFree=67111528/67111528
[pid=23237] ppid=23235 vsize=2464 CPUtime=0 cores=4,6
/proc/23237/stat : 23237 (java) S 23235 23237 22972 0 -1 4194304 94 0 0 0 0 0 0 0 25 0 1 0 352227291 2523136 45 33554432000 1073741824 1073778376 140736276660512 18446744073709551615 264721481351 0 2147483391 4096 0 18446744071699207358 0 0 17 4 0 0 0
/proc/23237/statm: 616 45 35 9 0 27 0

[startup+0.036223 s]
/proc/loadavg: 4.01 3.98 3.35 4/178 23237
/proc/meminfo: memFree=16901620/32951124 swapFree=67111528/67111528
[pid=23237] ppid=23235 vsize=7562296 CPUtime=0.01 cores=4,6
/proc/23237/stat : 23237 (java) S 23235 23237 22972 0 -1 4202496 8491 0 1 0 1 0 0 0 25 0 11 0 352227291 7743791104 8186 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0
/proc/23237/statm: 1890574 8186 1610 9 0 1881322 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7562296

[startup+0.101923 s]
/proc/loadavg: 4.01 3.98 3.35 4/178 23237
/proc/meminfo: memFree=16901620/32951124 swapFree=67111528/67111528
[pid=23237] ppid=23235 vsize=7636220 CPUtime=0.09 cores=4,6
/proc/23237/stat : 23237 (java) S 23235 23237 22972 0 -1 4202496 10274 0 1 0 8 1 0 0 25 0 18 0 352227291 7819489280 9967 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/23237/statm: 1909055 9967 2093 9 0 1899793 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636220

[startup+0.30061 s]
/proc/loadavg: 4.01 3.98 3.35 4/178 23237
/proc/meminfo: memFree=16901620/32951124 swapFree=67111528/67111528
[pid=23237] ppid=23235 vsize=7640000 CPUtime=0.4 cores=4,6
/proc/23237/stat : 23237 (java) S 23235 23237 22972 0 -1 4202496 12879 0 1 0 38 2 0 0 25 0 19 0 352227291 7823360000 12085 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/23237/statm: 1910000 12085 2213 9 0 1900738 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 7640000

[startup+0.703604 s]
/proc/loadavg: 4.01 3.98 3.35 4/178 23237
/proc/meminfo: memFree=16901620/32951124 swapFree=67111528/67111528
[pid=23237] ppid=23235 vsize=7640000 CPUtime=0.89 cores=4,6
/proc/23237/stat : 23237 (java) S 23235 23237 22972 0 -1 4202496 13288 0 1 0 87 2 0 0 25 0 19 0 352227291 7823360000 12419 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/23237/statm: 1910000 12419 2221 9 0 1900738 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 7640000

[startup+1.50112 s]
/proc/loadavg: 4.49 4.08 3.38 6/262 23332
/proc/meminfo: memFree=16695244/32951124 swapFree=67111528/67111528
[pid=23237] ppid=23235 vsize=7640312 CPUtime=1.69 cores=4,6
/proc/23237/stat : 23237 (java) S 23235 23237 22972 0 -1 4202496 14117 0 1 0 167 2 0 0 25 0 19 0 352227291 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/23237/statm: 1910078 12984 2224 9 0 1900816 0
[pid=23237/tid=23239] ppid=23235 vsize=7640312 CPUtime=1.28 cores=4,6
/proc/23237/task/23239/stat : 23239 (java) R 23235 23237 22972 0 -1 4202560 10112 0 1 0 127 1 0 0 18 0 19 0 352227292 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 46912505613594 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23237/tid=23240] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23240/stat : 23240 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352227294 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23241] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23241/stat : 23241 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352227294 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23242] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23242/stat : 23242 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352227294 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23243] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23243/stat : 23243 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352227294 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23244] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23244/stat : 23244 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352227294 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23245] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23245/stat : 23245 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352227294 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23246] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23246/stat : 23246 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352227294 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23247] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23247/stat : 23247 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 352227294 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23248] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23248/stat : 23248 (java) S 23235 23237 22972 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 352227295 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 0 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23251] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23251/stat : 23251 (java) S 23235 23237 22972 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 352227295 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23253] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23253/stat : 23253 (java) S 23235 23237 22972 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 352227295 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23266] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23266/stat : 23266 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352227297 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738228657 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23267] ppid=23235 vsize=7640312 CPUtime=0.18 cores=4,6
/proc/23237/task/23267/stat : 23267 (java) S 23235 23237 22972 0 -1 4202560 947 0 0 0 18 0 0 0 17 0 19 0 352227297 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23268] ppid=23235 vsize=7640312 CPUtime=0.21 cores=4,6
/proc/23237/task/23268/stat : 23268 (java) S 23235 23237 22972 0 -1 4202560 1892 0 0 0 21 0 0 0 15 0 19 0 352227297 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23269] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23269/stat : 23269 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352227297 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23270] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23270/stat : 23270 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352227298 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23324] ppid=23235 vsize=7640312 CPUtime=0 cores=4,6
/proc/23237/task/23324/stat : 23324 (java) S 23235 23237 22972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 352227315 7823679488 12984 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 7640312

[startup+3.10078 s]
/proc/loadavg: 4.49 4.08 3.38 5/262 23332
/proc/meminfo: memFree=16652220/32951124 swapFree=67111528/67111528
[pid=23237] ppid=23235 vsize=7640484 CPUtime=3.33 cores=4,6
/proc/23237/stat : 23237 (java) S 23235 23237 22972 0 -1 4202496 16904 0 1 0 330 3 0 0 25 0 19 0 352227291 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/23237/statm: 1910121 15767 2252 9 0 1900859 0
[pid=23237/tid=23239] ppid=23235 vsize=7640484 CPUtime=2.81 cores=4,6
/proc/23237/task/23239/stat : 23239 (java) R 23235 23237 22972 0 -1 4202560 10130 0 1 0 280 1 0 0 20 0 19 0 352227292 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 46912505710881 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=23237/tid=23240] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23240/stat : 23240 (java) S 23235 23237 22972 0 -1 4202560 544 0 0 0 0 0 0 0 16 0 19 0 352227294 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23241] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23241/stat : 23241 (java) S 23235 23237 22972 0 -1 4202560 384 0 0 0 0 0 0 0 15 0 19 0 352227294 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23242] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23242/stat : 23242 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352227294 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23243] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23243/stat : 23243 (java) S 23235 23237 22972 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 19 0 352227294 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23244] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23244/stat : 23244 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352227294 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23245] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23245/stat : 23245 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352227294 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23246] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23246/stat : 23246 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352227294 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23247] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23247/stat : 23247 (java) S 23235 23237 22972 0 -1 4202560 490 0 0 0 0 0 0 0 16 0 19 0 352227294 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23248] ppid=23235 vsize=7640484 CPUtime=0.03 cores=4,6
/proc/23237/task/23248/stat : 23248 (java) S 23235 23237 22972 0 -1 4202560 1105 0 0 0 3 0 0 0 16 0 19 0 352227295 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 0 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23251] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23251/stat : 23251 (java) S 23235 23237 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352227295 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23253] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23253/stat : 23253 (java) S 23235 23237 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352227295 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23266] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23266/stat : 23266 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352227297 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738228657 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23267] ppid=23235 vsize=7640484 CPUtime=0.21 cores=4,6
/proc/23237/task/23267/stat : 23267 (java) S 23235 23237 22972 0 -1 4202560 954 0 0 0 21 0 0 0 16 0 19 0 352227297 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23268] ppid=23235 vsize=7640484 CPUtime=0.24 cores=4,6
/proc/23237/task/23268/stat : 23268 (java) S 23235 23237 22972 0 -1 4202560 1913 0 0 0 24 0 0 0 16 0 19 0 352227297 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23269] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23269/stat : 23269 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352227297 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23270] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23270/stat : 23270 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352227298 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23324] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23324/stat : 23324 (java) S 23235 23237 22972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 352227315 7823855616 15767 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 7640484

[startup+6.30124 s]
/proc/loadavg: 4.49 4.08 3.38 7/262 23332
/proc/meminfo: memFree=16550948/32951124 swapFree=67111528/67111528
[pid=23237] ppid=23235 vsize=7640484 CPUtime=6.55 cores=4,6
/proc/23237/stat : 23237 (java) S 23235 23237 22972 0 -1 4202496 17331 0 1 0 652 3 0 0 25 0 19 0 352227291 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/23237/statm: 1910121 16069 2253 9 0 1900859 0
[pid=23237/tid=23239] ppid=23235 vsize=7640484 CPUtime=5.94 cores=4,6
/proc/23237/task/23239/stat : 23239 (java) S 23235 23237 22972 0 -1 4202560 10132 0 1 0 593 1 0 0 25 0 19 0 352227292 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23240] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23240/stat : 23240 (java) S 23235 23237 22972 0 -1 4202560 545 0 0 0 0 0 0 0 15 0 19 0 352227294 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23241] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23241/stat : 23241 (java) S 23235 23237 22972 0 -1 4202560 384 0 0 0 0 0 0 0 15 0 19 0 352227294 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23242] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23242/stat : 23242 (java) S 23235 23237 22972 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 352227294 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23243] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23243/stat : 23243 (java) S 23235 23237 22972 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 19 0 352227294 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23244] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23244/stat : 23244 (java) S 23235 23237 22972 0 -1 4202560 216 0 0 0 0 0 0 0 16 0 19 0 352227294 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23245] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23245/stat : 23245 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352227294 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23246] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23246/stat : 23246 (java) S 23235 23237 22972 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 352227294 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23247] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23247/stat : 23247 (java) S 23235 23237 22972 0 -1 4202560 490 0 0 0 0 0 0 0 15 0 19 0 352227294 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23248] ppid=23235 vsize=7640484 CPUtime=0.07 cores=4,6
/proc/23237/task/23248/stat : 23248 (java) R 23235 23237 22972 0 -1 4202560 1244 0 0 0 7 0 0 0 15 0 19 0 352227295 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 47267373064143 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=23237/tid=23251] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23251/stat : 23251 (java) S 23235 23237 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352227295 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23253] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23253/stat : 23253 (java) S 23235 23237 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352227295 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23266] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23266/stat : 23266 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352227297 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738228657 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23267] ppid=23235 vsize=7640484 CPUtime=0.21 cores=4,6
/proc/23237/task/23267/stat : 23267 (java) S 23235 23237 22972 0 -1 4202560 955 0 0 0 21 0 0 0 15 0 19 0 352227297 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23268] ppid=23235 vsize=7640484 CPUtime=0.26 cores=4,6
/proc/23237/task/23268/stat : 23268 (java) S 23235 23237 22972 0 -1 4202560 1916 0 0 0 26 0 0 0 15 0 19 0 352227297 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23269] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23269/stat : 23269 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352227297 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23270] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23270/stat : 23270 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352227298 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23324] ppid=23235 vsize=7640484 CPUtime=0 cores=4,6
/proc/23237/task/23324/stat : 23324 (java) S 23235 23237 22972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 352227315 7823855616 16069 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 7640484

[startup+12.701 s]

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

[pid=23237/tid=23245] ppid=23235 vsize=7640652 CPUtime=0.15 cores=4,6
/proc/23237/task/23245/stat : 23245 (java) S 23235 23237 22972 0 -1 4202560 154 0 0 0 15 0 0 0 16 0 19 0 352227294 7824027648 22376 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23246] ppid=23235 vsize=7640652 CPUtime=0.14 cores=4,6
/proc/23237/task/23246/stat : 23246 (java) S 23235 23237 22972 0 -1 4202560 155 0 0 0 14 0 0 0 15 0 19 0 352227294 7824027648 22376 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23247] ppid=23235 vsize=7640652 CPUtime=0.18 cores=4,6
/proc/23237/task/23247/stat : 23247 (java) S 23235 23237 22972 0 -1 4202560 677 0 0 0 18 0 0 0 16 0 19 0 352227294 7824027648 22376 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23248] ppid=23235 vsize=7640652 CPUtime=5.36 cores=4,6
/proc/23237/task/23248/stat : 23248 (java) S 23235 23237 22972 0 -1 4202560 3913 0 0 0 535 1 0 0 15 0 19 0 352227295 7824027648 22376 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 0 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23251] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23251/stat : 23251 (java) S 23235 23237 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352227295 7824027648 22376 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23253] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23253/stat : 23253 (java) S 23235 23237 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352227295 7824027648 22376 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23266] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23266/stat : 23266 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352227297 7824027648 22376 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738228657 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23267] ppid=23235 vsize=7640652 CPUtime=0.21 cores=4,6
/proc/23237/task/23267/stat : 23267 (java) S 23235 23237 22972 0 -1 4202560 955 0 0 0 21 0 0 0 15 0 19 0 352227297 7824027648 22376 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23268] ppid=23235 vsize=7640652 CPUtime=0.28 cores=4,6
/proc/23237/task/23268/stat : 23268 (java) S 23235 23237 22972 0 -1 4202560 1948 0 0 0 28 0 0 0 15 0 19 0 352227297 7824027648 22376 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23269] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23269/stat : 23269 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352227297 7824027648 22376 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23270] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23270/stat : 23270 (java) S 23235 23237 22972 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 352227298 7824027648 22376 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23324] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23324/stat : 23324 (java) S 23235 23237 22972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 352227315 7824027648 22376 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1123.17
Current children cumulated vsize (KiB) 7640652

[startup+1182.3 s]
/proc/loadavg: 4.20 4.08 3.83 5/262 23373
/proc/meminfo: memFree=16096808/32951124 swapFree=67111528/67111528
[pid=23237] ppid=23235 vsize=7640652 CPUtime=1183.2 cores=4,6
/proc/23237/stat : 23237 (java) S 23235 23237 22972 0 -1 4202496 24059 0 1 0 118314 6 0 0 25 0 19 0 352227291 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/23237/statm: 1910163 22466 2254 9 0 1900901 0
[pid=23237/tid=23239] ppid=23235 vsize=7640652 CPUtime=1175.6 cores=4,6
/proc/23237/task/23239/stat : 23239 (java) R 23235 23237 22972 0 -1 4202560 12127 0 1 0 117557 3 0 0 25 0 19 0 352227292 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 46912505652718 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23237/tid=23240] ppid=23235 vsize=7640652 CPUtime=0.18 cores=4,6
/proc/23237/task/23240/stat : 23240 (java) S 23235 23237 22972 0 -1 4202560 897 0 0 0 18 0 0 0 15 0 19 0 352227294 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23241] ppid=23235 vsize=7640652 CPUtime=0.22 cores=4,6
/proc/23237/task/23241/stat : 23241 (java) S 23235 23237 22972 0 -1 4202560 454 0 0 0 22 0 0 0 15 0 19 0 352227294 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23242] ppid=23235 vsize=7640652 CPUtime=0.17 cores=4,6
/proc/23237/task/23242/stat : 23242 (java) S 23235 23237 22972 0 -1 4202560 767 0 0 0 17 0 0 0 15 0 19 0 352227294 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23243] ppid=23235 vsize=7640652 CPUtime=0.15 cores=4,6
/proc/23237/task/23243/stat : 23243 (java) S 23235 23237 22972 0 -1 4202560 311 0 0 0 15 0 0 0 15 0 19 0 352227294 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23244] ppid=23235 vsize=7640652 CPUtime=0.16 cores=4,6
/proc/23237/task/23244/stat : 23244 (java) S 23235 23237 22972 0 -1 4202560 386 0 0 0 16 0 0 0 15 0 19 0 352227294 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23245] ppid=23235 vsize=7640652 CPUtime=0.17 cores=4,6
/proc/23237/task/23245/stat : 23245 (java) S 23235 23237 22972 0 -1 4202560 156 0 0 0 17 0 0 0 16 0 19 0 352227294 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23246] ppid=23235 vsize=7640652 CPUtime=0.14 cores=4,6
/proc/23237/task/23246/stat : 23246 (java) S 23235 23237 22972 0 -1 4202560 155 0 0 0 14 0 0 0 15 0 19 0 352227294 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23247] ppid=23235 vsize=7640652 CPUtime=0.19 cores=4,6
/proc/23237/task/23247/stat : 23247 (java) S 23235 23237 22972 0 -1 4202560 677 0 0 0 19 0 0 0 15 0 19 0 352227294 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23248] ppid=23235 vsize=7640652 CPUtime=5.65 cores=4,6
/proc/23237/task/23248/stat : 23248 (java) S 23235 23237 22972 0 -1 4202560 4002 0 0 0 564 1 0 0 15 0 19 0 352227295 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 0 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23251] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23251/stat : 23251 (java) S 23235 23237 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352227295 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23253] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23253/stat : 23253 (java) S 23235 23237 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352227295 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23266] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23266/stat : 23266 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352227297 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738228657 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23267] ppid=23235 vsize=7640652 CPUtime=0.21 cores=4,6
/proc/23237/task/23267/stat : 23267 (java) S 23235 23237 22972 0 -1 4202560 955 0 0 0 21 0 0 0 15 0 19 0 352227297 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23268] ppid=23235 vsize=7640652 CPUtime=0.28 cores=4,6
/proc/23237/task/23268/stat : 23268 (java) S 23235 23237 22972 0 -1 4202560 1948 0 0 0 28 0 0 0 15 0 19 0 352227297 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23269] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23269/stat : 23269 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352227297 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23270] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23270/stat : 23270 (java) S 23235 23237 22972 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 352227298 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23324] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23324/stat : 23324 (java) S 23235 23237 22972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 352227315 7824027648 22466 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1183.2
Current children cumulated vsize (KiB) 7640652

[startup+1242.3 s]
/proc/loadavg: 4.13 4.08 3.84 5/262 23374
/proc/meminfo: memFree=16077168/32951124 swapFree=67111528/67111528
[pid=23237] ppid=23235 vsize=7640652 CPUtime=1243.24 cores=4,6
/proc/23237/stat : 23237 (java) S 23235 23237 22972 0 -1 4202496 24175 0 1 0 124318 6 0 0 25 0 19 0 352227291 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/23237/statm: 1910163 22565 2254 9 0 1900901 0
[pid=23237/tid=23239] ppid=23235 vsize=7640652 CPUtime=1235.28 cores=4,6
/proc/23237/task/23239/stat : 23239 (java) R 23235 23237 22972 0 -1 4202560 12136 0 1 0 123525 3 0 0 25 0 19 0 352227292 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 46912505613625 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23237/tid=23240] ppid=23235 vsize=7640652 CPUtime=0.19 cores=4,6
/proc/23237/task/23240/stat : 23240 (java) S 23235 23237 22972 0 -1 4202560 898 0 0 0 19 0 0 0 15 0 19 0 352227294 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23241] ppid=23235 vsize=7640652 CPUtime=0.23 cores=4,6
/proc/23237/task/23241/stat : 23241 (java) S 23235 23237 22972 0 -1 4202560 454 0 0 0 23 0 0 0 15 0 19 0 352227294 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23242] ppid=23235 vsize=7640652 CPUtime=0.18 cores=4,6
/proc/23237/task/23242/stat : 23242 (java) S 23235 23237 22972 0 -1 4202560 767 0 0 0 18 0 0 0 15 0 19 0 352227294 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23243] ppid=23235 vsize=7640652 CPUtime=0.16 cores=4,6
/proc/23237/task/23243/stat : 23243 (java) S 23235 23237 22972 0 -1 4202560 311 0 0 0 16 0 0 0 15 0 19 0 352227294 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23244] ppid=23235 vsize=7640652 CPUtime=0.17 cores=4,6
/proc/23237/task/23244/stat : 23244 (java) S 23235 23237 22972 0 -1 4202560 386 0 0 0 17 0 0 0 15 0 19 0 352227294 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23245] ppid=23235 vsize=7640652 CPUtime=0.18 cores=4,6
/proc/23237/task/23245/stat : 23245 (java) S 23235 23237 22972 0 -1 4202560 156 0 0 0 18 0 0 0 15 0 19 0 352227294 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23246] ppid=23235 vsize=7640652 CPUtime=0.15 cores=4,6
/proc/23237/task/23246/stat : 23246 (java) S 23235 23237 22972 0 -1 4202560 156 0 0 0 15 0 0 0 16 0 19 0 352227294 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23247] ppid=23235 vsize=7640652 CPUtime=0.21 cores=4,6
/proc/23237/task/23247/stat : 23247 (java) S 23235 23237 22972 0 -1 4202560 677 0 0 0 21 0 0 0 15 0 19 0 352227294 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23248] ppid=23235 vsize=7640652 CPUtime=5.93 cores=4,6
/proc/23237/task/23248/stat : 23248 (java) S 23235 23237 22972 0 -1 4202560 4103 0 0 0 592 1 0 0 15 0 19 0 352227295 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 0 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23251] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23251/stat : 23251 (java) S 23235 23237 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352227295 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23253] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23253/stat : 23253 (java) S 23235 23237 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352227295 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23266] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23266/stat : 23266 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352227297 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738228657 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23267] ppid=23235 vsize=7640652 CPUtime=0.21 cores=4,6
/proc/23237/task/23267/stat : 23267 (java) S 23235 23237 22972 0 -1 4202560 955 0 0 0 21 0 0 0 15 0 19 0 352227297 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23268] ppid=23235 vsize=7640652 CPUtime=0.28 cores=4,6
/proc/23237/task/23268/stat : 23268 (java) S 23235 23237 22972 0 -1 4202560 1948 0 0 0 28 0 0 0 15 0 19 0 352227297 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23269] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23269/stat : 23269 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352227297 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23270] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23270/stat : 23270 (java) S 23235 23237 22972 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 352227298 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23324] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23324/stat : 23324 (java) S 23235 23237 22972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 352227315 7824027648 22565 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1243.24
Current children cumulated vsize (KiB) 7640652



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.05 4.06 3.85 5/262 23376
/proc/meminfo: memFree=16061520/32951124 swapFree=67111528/67111528
[pid=23237] ppid=23235 vsize=7640652 CPUtime=1300.98 cores=4,6
/proc/23237/stat : 23237 (java) S 23235 23237 22972 0 -1 4202496 24415 0 1 0 130092 6 0 0 25 0 19 0 352227291 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/23237/statm: 1910163 22788 2254 9 0 1900901 0
[pid=23237/tid=23239] ppid=23235 vsize=7640652 CPUtime=1292.65 cores=4,6
/proc/23237/task/23239/stat : 23239 (java) R 23235 23237 22972 0 -1 4202560 12145 0 1 0 129262 3 0 0 25 0 19 0 352227292 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 46912505329159 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23237/tid=23240] ppid=23235 vsize=7640652 CPUtime=0.21 cores=4,6
/proc/23237/task/23240/stat : 23240 (java) S 23235 23237 22972 0 -1 4202560 898 0 0 0 21 0 0 0 15 0 19 0 352227294 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23241] ppid=23235 vsize=7640652 CPUtime=0.23 cores=4,6
/proc/23237/task/23241/stat : 23241 (java) S 23235 23237 22972 0 -1 4202560 454 0 0 0 23 0 0 0 15 0 19 0 352227294 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23242] ppid=23235 vsize=7640652 CPUtime=0.19 cores=4,6
/proc/23237/task/23242/stat : 23242 (java) S 23235 23237 22972 0 -1 4202560 767 0 0 0 19 0 0 0 15 0 19 0 352227294 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23243] ppid=23235 vsize=7640652 CPUtime=0.17 cores=4,6
/proc/23237/task/23243/stat : 23243 (java) S 23235 23237 22972 0 -1 4202560 311 0 0 0 17 0 0 0 15 0 19 0 352227294 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23244] ppid=23235 vsize=7640652 CPUtime=0.18 cores=4,6
/proc/23237/task/23244/stat : 23244 (java) S 23235 23237 22972 0 -1 4202560 431 0 0 0 18 0 0 0 16 0 19 0 352227294 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23245] ppid=23235 vsize=7640652 CPUtime=0.19 cores=4,6
/proc/23237/task/23245/stat : 23245 (java) S 23235 23237 22972 0 -1 4202560 222 0 0 0 19 0 0 0 15 0 19 0 352227294 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23246] ppid=23235 vsize=7640652 CPUtime=0.15 cores=4,6
/proc/23237/task/23246/stat : 23246 (java) S 23235 23237 22972 0 -1 4202560 157 0 0 0 15 0 0 0 15 0 19 0 352227294 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23247] ppid=23235 vsize=7640652 CPUtime=0.22 cores=4,6
/proc/23237/task/23247/stat : 23247 (java) S 23235 23237 22972 0 -1 4202560 678 0 0 0 22 0 0 0 15 0 19 0 352227294 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23248] ppid=23235 vsize=7640652 CPUtime=6.22 cores=4,6
/proc/23237/task/23248/stat : 23248 (java) S 23235 23237 22972 0 -1 4202560 4217 0 0 0 621 1 0 0 16 0 19 0 352227295 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 0 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23251] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23251/stat : 23251 (java) S 23235 23237 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352227295 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23253] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23253/stat : 23253 (java) S 23235 23237 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352227295 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23266] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23266/stat : 23266 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352227297 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738228657 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23267] ppid=23235 vsize=7640652 CPUtime=0.21 cores=4,6
/proc/23237/task/23267/stat : 23267 (java) S 23235 23237 22972 0 -1 4202560 955 0 0 0 21 0 0 0 15 0 19 0 352227297 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
[pid=23237/tid=23268] ppid=23235 vsize=7640652 CPUtime=0.28 cores=4,6
/proc/23237/task/23268/stat : 23268 (java) S 23235 23237 22972 0 -1 4202560 1948 0 0 0 28 0 0 0 15 0 19 0 352227297 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23269] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23269/stat : 23269 (java) S 23235 23237 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352227297 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738220953 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23270] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23270/stat : 23270 (java) S 23235 23237 22972 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 352227298 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 4 0 16800975 18446604453926213440 0 0 -1 6 0 0 0
[pid=23237/tid=23324] ppid=23235 vsize=7640652 CPUtime=0 cores=4,6
/proc/23237/task/23324/stat : 23324 (java) S 23235 23237 22972 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 352227315 7824027648 22788 33554432000 1073741824 1073778376 140734551450512 18446744073709551615 264738221568 0 4 0 16800975 18446604453926213440 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1300.98
Current children cumulated vsize (KiB) 7640652

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.07
CPU user time (s): 1300.99
CPU system time (s): 0.074988
CPU usage (%): 100.078
Max. virtual memory (cumulated for all children) (KiB): 7640652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.99
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24449
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= 32924
involuntary context switches= 7552

runsolver used 2.30165 second user time and 4.81927 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-12 10:48:37
IDJOB=3190293
IDBENCH=82624
IDSOLVER=1611
FILE ID=node141/3190293-1302598117
RUNJOBID= node141-1302596814-22991
PBS_JOBID= 12958091
Free space on /tmp= 71524 MiB

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

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

MD5SUM BENCH= cdf9df7b6b7a513ee69ee69e82cb9345
RANDOM SEED=1547995642

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16901900 kB
Buffers:        765908 kB
Cached:       14820232 kB
SwapCached:          0 kB
Active:        8893120 kB
Inactive:      6762776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16901900 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1256 kB
Writeback:           0 kB
AnonPages:       70024 kB
Mapped:          14672 kB
Slab:           328856 kB
PageTables:       5172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190820 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= 71520 MiB
End job on node141 at 2011-04-12 11:10:19