Trace number 3190226

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.34 1300.04

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf
MD5SUMb0eb7b0423dfe1c78c61b0932da62ffe
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.86156
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.03/0.26	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.26	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.26	c See www.sat4j.org for details.
0.03/0.26	c no version file found!!!
0.03/0.26	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.26	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.26	c java.vm.version	19.1-b02
0.03/0.26	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.26	c sun.arch.data.model	64
0.03/0.26	c java.version		1.6.0_24
0.03/0.26	c os.name		Linux
0.03/0.26	c os.version		2.6.18-164.el5
0.03/0.26	c os.arch		amd64
0.03/0.26	c Free memory 		6997539544
0.03/0.26	c Max memory 		7034241024
0.03/0.26	c Total memory 		7034241024
0.03/0.26	c Number of processors 	8
0.03/0.28	c --- Begin Solver configuration ---
0.03/0.28	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.03/0.28	c Learn all clauses as in MiniSAT
0.03/0.28	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.03/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.03/0.28	c Expensive reason simplification
0.03/0.28	c Armin Biere (Picosat) restarts strategy
0.03/0.28	c Glucose learned constraints deletion strategy
0.03/0.28	c timeout=2147483647s
0.03/0.28	c DB Simplification allowed=true
0.03/0.28	c --- End Solver configuration ---
0.03/0.28	c solving HOME/instance-3190226-1302597444.cnf
0.03/0.28	c reading problem ... 
0.32/0.42	c ... done. Wall clock time 0.089s.
0.32/0.42	c #vars     5000
0.32/0.42	c #constraints  21000
0.32/0.42	c constraints type 
0.32/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21000
1.69/1.55	c cleaning 2497 clauses out of 5000 with flag 5000/5000
3.00/2.61	c cleaning 4247 clauses out of 8503 with flag 11000/11000
4.21/3.84	c cleaning 5628 clauses out of 11257 with flag 18001/18001
5.71/5.31	c cleaning 6807 clauses out of 13628 with flag 26000/26000
7.31/6.91	c cleaning 7908 clauses out of 15821 with flag 35000/35000
9.12/8.79	c cleaning 8956 clauses out of 17914 with flag 45001/45001
11.31/10.90	c cleaning 9978 clauses out of 19960 with flag 56003/56003
13.62/13.28	c cleaning 10984 clauses out of 21982 with flag 68003/68003
16.21/15.82	c cleaning 11995 clauses out of 23995 with flag 81000/81000
19.02/18.62	c cleaning 12996 clauses out of 26000 with flag 95000/95000
22.12/21.75	c cleaning 13995 clauses out of 28005 with flag 110001/110001
25.52/25.14	c cleaning 15001 clauses out of 30009 with flag 126000/126000
29.12/28.77	c cleaning 16002 clauses out of 32010 with flag 143002/143002
33.12/32.71	c cleaning 17001 clauses out of 34007 with flag 161001/161001
37.22/36.88	c cleaning 17997 clauses out of 36005 with flag 180000/180000
41.73/41.38	c cleaning 18998 clauses out of 38008 with flag 200000/200000
46.54/46.19	c cleaning 20001 clauses out of 40010 with flag 221000/221000
51.44/51.08	c cleaning 20503 clauses out of 41009 with flag 242000/242000
56.14/55.73	c cleaning 20749 clauses out of 41507 with flag 263001/263001
61.04/60.60	c cleaning 20874 clauses out of 41759 with flag 284002/284002
65.94/65.52	c cleaning 20934 clauses out of 41883 with flag 305000/305000
70.55/70.19	c cleaning 20968 clauses out of 41949 with flag 326000/326000
75.45/75.01	c cleaning 20988 clauses out of 41981 with flag 347000/347000
80.25/79.88	c cleaning 20993 clauses out of 41994 with flag 368001/368001
84.96/84.58	c cleaning 20989 clauses out of 42000 with flag 389000/389000
89.86/89.44	c cleaning 20997 clauses out of 42011 with flag 410000/410000
94.56/94.15	c cleaning 21002 clauses out of 42015 with flag 431001/431001
99.47/99.08	c cleaning 21004 clauses out of 42013 with flag 452001/452001
104.17/103.76	c cleaning 21000 clauses out of 42009 with flag 473001/473001
108.97/108.57	c cleaning 20998 clauses out of 42010 with flag 494002/494002
113.78/113.38	c cleaning 20999 clauses out of 42013 with flag 515003/515003
118.47/118.08	c cleaning 20999 clauses out of 42012 with flag 536001/536001
123.48/123.10	c cleaning 20996 clauses out of 42012 with flag 557000/557000
128.28/127.87	c cleaning 21003 clauses out of 42016 with flag 578000/578000
132.98/132.58	c cleaning 21001 clauses out of 42014 with flag 599001/599001
138.08/137.64	c cleaning 20997 clauses out of 42012 with flag 620000/620000
142.79/142.35	c cleaning 21003 clauses out of 42018 with flag 641003/641003
147.59/147.14	c cleaning 20994 clauses out of 42012 with flag 662000/662000
152.59/152.19	c cleaning 21007 clauses out of 42020 with flag 683002/683002
157.30/156.86	c cleaning 20997 clauses out of 42012 with flag 704001/704001
162.10/161.66	c cleaning 21001 clauses out of 42014 with flag 725000/725000
167.00/166.56	c cleaning 20996 clauses out of 42014 with flag 746001/746001
171.81/171.35	c cleaning 21005 clauses out of 42017 with flag 767000/767000
176.51/176.03	c cleaning 21000 clauses out of 42012 with flag 788000/788000
181.31/180.82	c cleaning 20996 clauses out of 42012 with flag 809000/809000
186.32/185.89	c cleaning 21002 clauses out of 42016 with flag 830000/830000
191.12/190.63	c cleaning 20996 clauses out of 42014 with flag 851000/851000
195.82/195.38	c cleaning 21005 clauses out of 42019 with flag 872001/872001
200.63/200.19	c cleaning 20996 clauses out of 42014 with flag 893001/893001
205.62/205.20	c cleaning 21008 clauses out of 42017 with flag 914000/914000
210.53/210.01	c cleaning 20999 clauses out of 42009 with flag 935000/935000
215.23/214.78	c cleaning 20993 clauses out of 42010 with flag 956000/956000
220.23/219.72	c cleaning 20996 clauses out of 42018 with flag 977001/977001
225.04/224.58	c cleaning 20995 clauses out of 42022 with flag 998001/998001
230.15/229.69	c cleaning 21010 clauses out of 42026 with flag 1019000/1019000
235.05/234.53	c cleaning 20995 clauses out of 42016 with flag 1040000/1040000
239.85/239.36	c cleaning 20997 clauses out of 42021 with flag 1061000/1061000
244.66/244.17	c cleaning 21003 clauses out of 42024 with flag 1082000/1082000
249.66/249.16	c cleaning 21002 clauses out of 42023 with flag 1103002/1103002
254.86/254.37	c cleaning 21006 clauses out of 42020 with flag 1124001/1124001
259.66/259.12	c cleaning 21001 clauses out of 42013 with flag 1145000/1145000
264.36/263.88	c cleaning 20999 clauses out of 42012 with flag 1166000/1166000
269.27/268.73	c cleaning 21003 clauses out of 42013 with flag 1187000/1187000
274.38/273.84	c cleaning 20981 clauses out of 42010 with flag 1208000/1208000
279.27/278.79	c cleaning 21001 clauses out of 42029 with flag 1229000/1229000
284.28/283.71	c cleaning 21005 clauses out of 42028 with flag 1250000/1250000
288.98/288.47	c cleaning 21001 clauses out of 42024 with flag 1271001/1271001
293.88/293.33	c cleaning 21004 clauses out of 42022 with flag 1292000/1292000
298.79/298.23	c cleaning 21004 clauses out of 42018 with flag 1313000/1313000
303.69/303.16	c cleaning 21000 clauses out of 42014 with flag 1334000/1334000
308.79/308.25	c cleaning 20997 clauses out of 42017 with flag 1355003/1355003
313.79/313.23	c cleaning 21003 clauses out of 42019 with flag 1376002/1376002
318.50/317.99	c cleaning 21001 clauses out of 42015 with flag 1397001/1397001
323.51/322.94	c cleaning 20988 clauses out of 42017 with flag 1418004/1418004
328.61/328.03	c cleaning 21009 clauses out of 42027 with flag 1439002/1439002
333.41/332.82	c cleaning 20994 clauses out of 42016 with flag 1460000/1460000
338.41/337.86	c cleaning 21002 clauses out of 42023 with flag 1481001/1481001
343.82/343.23	c cleaning 21003 clauses out of 42020 with flag 1502000/1502000
348.62/348.03	c cleaning 21004 clauses out of 42019 with flag 1523002/1523002
353.42/352.81	c cleaning 20997 clauses out of 42013 with flag 1544000/1544000
358.33/357.74	c cleaning 20997 clauses out of 42017 with flag 1565001/1565001
363.33/362.74	c cleaning 20989 clauses out of 42019 with flag 1586000/1586000
368.34/367.75	c cleaning 21003 clauses out of 42032 with flag 1607002/1607002
373.44/372.89	c cleaning 21008 clauses out of 42031 with flag 1628004/1628004
378.84/378.20	c cleaning 20997 clauses out of 42019 with flag 1649000/1649000
383.84/383.22	c cleaning 21009 clauses out of 42023 with flag 1670001/1670001
388.55/387.96	c cleaning 21004 clauses out of 42016 with flag 1691003/1691003
393.36/392.75	c cleaning 21001 clauses out of 42009 with flag 1712000/1712000
398.25/397.69	c cleaning 20988 clauses out of 42008 with flag 1733000/1733000
403.26/402.69	c cleaning 21006 clauses out of 42022 with flag 1754002/1754002
408.35/407.79	c cleaning 20988 clauses out of 42014 with flag 1775000/1775000
413.56/412.95	c cleaning 20991 clauses out of 42026 with flag 1796000/1796000
418.76/418.19	c cleaning 21011 clauses out of 42035 with flag 1817000/1817000
423.97/423.33	c cleaning 21003 clauses out of 42025 with flag 1838001/1838001
428.77/428.18	c cleaning 20999 clauses out of 42021 with flag 1859000/1859000
433.77/433.10	c cleaning 21000 clauses out of 42022 with flag 1880000/1880000
438.67/438.07	c cleaning 21001 clauses out of 42023 with flag 1901001/1901001
443.68/443.05	c cleaning 21003 clauses out of 42022 with flag 1922001/1922001
448.78/448.19	c cleaning 21003 clauses out of 42018 with flag 1943000/1943000
453.98/453.38	c cleaning 20979 clauses out of 42015 with flag 1964000/1964000
458.99/458.38	c cleaning 21006 clauses out of 42036 with flag 1985000/1985000
464.29/463.64	c cleaning 20997 clauses out of 42030 with flag 2006000/2006000
469.39/468.76	c cleaning 21010 clauses out of 42034 with flag 2027001/2027001
474.20/473.53	c cleaning 21004 clauses out of 42024 with flag 2048001/2048001
479.20/478.51	c cleaning 21001 clauses out of 42019 with flag 2069000/2069000
484.10/483.41	c cleaning 21004 clauses out of 42019 with flag 2090001/2090001
489.20/488.56	c cleaning 20991 clauses out of 42014 with flag 2111000/2111000
494.41/493.76	c cleaning 21006 clauses out of 42023 with flag 2132000/2132000
499.51/498.83	c cleaning 20991 clauses out of 42017 with flag 2153000/2153000
504.71/504.02	c cleaning 21003 clauses out of 42029 with flag 2174003/2174003
509.92/509.29	c cleaning 20992 clauses out of 42023 with flag 2195000/2195000
515.43/514.74	c cleaning 21005 clauses out of 42032 with flag 2216001/2216001
520.42/519.77	c cleaning 20999 clauses out of 42026 with flag 2237000/2237000
525.13/524.48	c cleaning 21007 clauses out of 42027 with flag 2258000/2258000
530.03/529.39	c cleaning 21003 clauses out of 42020 with flag 2279000/2279000
535.23/534.52	c cleaning 20994 clauses out of 42019 with flag 2300002/2300002
540.33/539.60	c cleaning 21010 clauses out of 42025 with flag 2321002/2321002
545.44/544.76	c cleaning 20993 clauses out of 42013 with flag 2342000/2342000
550.65/549.95	c cleaning 21005 clauses out of 42021 with flag 2363001/2363001
556.04/555.35	c cleaning 20995 clauses out of 42015 with flag 2384000/2384000
561.35/560.68	c cleaning 21006 clauses out of 42021 with flag 2405001/2405001
566.55/565.86	c cleaning 20989 clauses out of 42014 with flag 2426000/2426000
572.45/571.75	c cleaning 20999 clauses out of 42025 with flag 2447000/2447000
577.47/576.72	c cleaning 21006 clauses out of 42026 with flag 2468000/2468000
582.37/581.65	c cleaning 21006 clauses out of 42021 with flag 2489001/2489001
587.17/586.44	c cleaning 20995 clauses out of 42015 with flag 2510001/2510001
592.17/591.41	c cleaning 21000 clauses out of 42020 with flag 2531001/2531001
597.38/596.65	c cleaning 20999 clauses out of 42022 with flag 2552003/2552003
602.68/601.90	c cleaning 20997 clauses out of 42020 with flag 2573000/2573000
607.99/607.25	c cleaning 21001 clauses out of 42026 with flag 2594003/2594003
613.29/612.53	c cleaning 20994 clauses out of 42022 with flag 2615000/2615000
618.69/617.96	c cleaning 20998 clauses out of 42032 with flag 2636004/2636004
624.40/623.66	c cleaning 21006 clauses out of 42031 with flag 2657001/2657001
629.90/629.17	c cleaning 21004 clauses out of 42025 with flag 2678001/2678001
635.70/634.90	c cleaning 20999 clauses out of 42021 with flag 2699001/2699001
640.61/639.82	c cleaning 20999 clauses out of 42021 with flag 2720000/2720000
645.41/644.64	c cleaning 20994 clauses out of 42022 with flag 2741000/2741000
650.31/649.56	c cleaning 21005 clauses out of 42029 with flag 2762001/2762001
655.22/654.50	c cleaning 20995 clauses out of 42023 with flag 2783000/2783000
660.62/659.81	c cleaning 20998 clauses out of 42028 with flag 2804000/2804000
665.82/665.06	c cleaning 21002 clauses out of 42030 with flag 2825000/2825000
671.02/670.26	c cleaning 21002 clauses out of 42029 with flag 2846001/2846001
676.23/675.46	c cleaning 21005 clauses out of 42028 with flag 2867002/2867002
681.53/680.77	c cleaning 20987 clauses out of 42022 with flag 2888001/2888001
687.03/686.27	c cleaning 20994 clauses out of 42034 with flag 2909000/2909000
692.94/692.18	c cleaning 21010 clauses out of 42041 with flag 2930001/2930001
698.74/697.96	c cleaning 21012 clauses out of 42031 with flag 2951001/2951001
704.65/703.87	c cleaning 20998 clauses out of 42018 with flag 2972000/2972000
709.55/708.79	c cleaning 20999 clauses out of 42020 with flag 2993000/2993000
714.45/713.66	c cleaning 20996 clauses out of 42021 with flag 3014000/3014000
719.36/718.52	c cleaning 20998 clauses out of 42027 with flag 3035002/3035002
724.26/723.46	c cleaning 21014 clauses out of 42029 with flag 3056002/3056002
729.36/728.53	c cleaning 20994 clauses out of 42015 with flag 3077002/3077002
734.47/733.61	c cleaning 20995 clauses out of 42020 with flag 3098001/3098001
739.77/738.91	c cleaning 21004 clauses out of 42024 with flag 3119000/3119000
745.17/744.32	c cleaning 20997 clauses out of 42021 with flag 3140001/3140001
750.57/749.74	c cleaning 20992 clauses out of 42024 with flag 3161001/3161001
756.18/755.31	c cleaning 20995 clauses out of 42032 with flag 3182001/3182001
761.99/761.11	c cleaning 21006 clauses out of 42038 with flag 3203002/3203002
767.79/766.91	c cleaning 21007 clauses out of 42032 with flag 3224002/3224002
773.49/772.60	c cleaning 20995 clauses out of 42023 with flag 3245000/3245000
778.70/777.89	c cleaning 20996 clauses out of 42028 with flag 3266000/3266000
784.20/783.37	c cleaning 21013 clauses out of 42032 with flag 3287000/3287000
789.10/788.23	c cleaning 20995 clauses out of 42019 with flag 3308000/3308000
793.91/793.02	c cleaning 20998 clauses out of 42024 with flag 3329000/3329000
798.91/798.04	c cleaning 21003 clauses out of 42027 with flag 3350001/3350001
803.92/803.02	c cleaning 20985 clauses out of 42023 with flag 3371000/3371000
809.01/808.16	c cleaning 21013 clauses out of 42039 with flag 3392001/3392001
814.22/813.37	c cleaning 20992 clauses out of 42025 with flag 3413000/3413000
819.52/818.66	c cleaning 20995 clauses out of 42035 with flag 3434002/3434002
825.02/824.18	c cleaning 20995 clauses out of 42039 with flag 3455001/3455001
830.33/829.42	c cleaning 21007 clauses out of 42044 with flag 3476001/3476001
835.63/834.70	c cleaning 21006 clauses out of 42036 with flag 3497000/3497000
840.73/839.86	c cleaning 21001 clauses out of 42030 with flag 3518000/3518000
846.14/845.23	c cleaning 21001 clauses out of 42029 with flag 3539000/3539000
851.64/850.77	c cleaning 21001 clauses out of 42028 with flag 3560000/3560000
857.75/856.86	c cleaning 21001 clauses out of 42027 with flag 3581000/3581000
863.25/862.31	c cleaning 20999 clauses out of 42027 with flag 3602001/3602001
868.66/867.70	c cleaning 21002 clauses out of 42030 with flag 3623003/3623003
873.46/872.53	c cleaning 21000 clauses out of 42025 with flag 3644000/3644000
878.37/877.46	c cleaning 21002 clauses out of 42025 with flag 3665000/3665000
883.27/882.35	c cleaning 20995 clauses out of 42023 with flag 3686000/3686000
888.37/887.46	c cleaning 21011 clauses out of 42028 with flag 3707000/3707000
893.48/892.57	c cleaning 20997 clauses out of 42017 with flag 3728000/3728000
898.68/897.71	c cleaning 20997 clauses out of 42020 with flag 3749000/3749000
904.09/903.11	c cleaning 20989 clauses out of 42023 with flag 3770000/3770000
909.49/908.52	c cleaning 21003 clauses out of 42035 with flag 3791001/3791001
914.79/913.86	c cleaning 20987 clauses out of 42033 with flag 3812002/3812002
920.19/919.22	c cleaning 21004 clauses out of 42044 with flag 3833000/3833000
925.70/924.75	c cleaning 21014 clauses out of 42040 with flag 3854000/3854000
930.90/929.97	c cleaning 21000 clauses out of 42026 with flag 3875000/3875000
936.30/935.30	c cleaning 21005 clauses out of 42028 with flag 3896002/3896002
942.31/941.33	c cleaning 21007 clauses out of 42022 with flag 3917001/3917001
948.31/947.32	c cleaning 20977 clauses out of 42014 with flag 3938000/3938000
953.62/952.65	c cleaning 21002 clauses out of 42037 with flag 3959000/3959000
959.72/958.77	c cleaning 20992 clauses out of 42037 with flag 3980002/3980002
964.72/963.79	c cleaning 21015 clauses out of 42044 with flag 4001001/4001001
969.63/968.62	c cleaning 21001 clauses out of 42030 with flag 4022002/4022002
974.63/973.62	c cleaning 21006 clauses out of 42030 with flag 4043003/4043003
979.73/978.75	c cleaning 21005 clauses out of 42021 with flag 4064000/4064000
984.94/983.93	c cleaning 20993 clauses out of 42017 with flag 4085001/4085001
990.14/989.11	c cleaning 20998 clauses out of 42023 with flag 4106000/4106000
995.45/994.44	c cleaning 20999 clauses out of 42025 with flag 4127000/4127000
1000.55/999.55	c cleaning 20997 clauses out of 42026 with flag 4148000/4148000
1006.26/1005.26	c cleaning 21007 clauses out of 42030 with flag 4169001/4169001
1012.06/1011.00	c cleaning 20999 clauses out of 42022 with flag 4190000/4190000
1017.86/1016.86	c cleaning 20996 clauses out of 42024 with flag 4211001/4211001
1023.97/1022.93	c cleaning 21003 clauses out of 42027 with flag 4232000/4232000
1029.58/1028.59	c cleaning 20990 clauses out of 42024 with flag 4253000/4253000
1035.48/1034.46	c cleaning 21000 clauses out of 42034 with flag 4274000/4274000
1040.88/1039.89	c cleaning 21009 clauses out of 42035 with flag 4295001/4295001
1046.88/1045.84	c cleaning 21000 clauses out of 42026 with flag 4316001/4316001
1053.09/1052.01	c cleaning 20998 clauses out of 42027 with flag 4337002/4337002
1058.39/1057.31	c cleaning 21003 clauses out of 42027 with flag 4358000/4358000
1064.20/1063.16	c cleaning 20998 clauses out of 42024 with flag 4379000/4379000
1069.30/1068.25	c cleaning 21011 clauses out of 42026 with flag 4400000/4400000
1074.20/1073.18	c cleaning 20991 clauses out of 42015 with flag 4421000/4421000
1079.21/1078.17	c cleaning 20987 clauses out of 42024 with flag 4442000/4442000
1084.21/1083.15	c cleaning 21002 clauses out of 42037 with flag 4463000/4463000
1089.41/1088.34	c cleaning 20999 clauses out of 42035 with flag 4484000/4484000
1094.62/1093.52	c cleaning 21004 clauses out of 42036 with flag 4505000/4505000
1099.82/1098.79	c cleaning 20999 clauses out of 42032 with flag 4526000/4526000
1105.12/1104.06	c cleaning 21005 clauses out of 42033 with flag 4547000/4547000
1110.43/1109.30	c cleaning 21002 clauses out of 42029 with flag 4568001/4568001
1115.63/1114.57	c cleaning 21000 clauses out of 42028 with flag 4589002/4589002
1121.33/1120.23	c cleaning 20996 clauses out of 42027 with flag 4610001/4610001
1126.94/1125.84	c cleaning 21000 clauses out of 42030 with flag 4631000/4631000
1132.34/1131.24	c cleaning 20997 clauses out of 42030 with flag 4652000/4652000
1137.65/1136.56	c cleaning 21003 clauses out of 42033 with flag 4673000/4673000
1143.15/1142.03	c cleaning 20999 clauses out of 42030 with flag 4694000/4694000
1148.85/1147.76	c cleaning 20986 clauses out of 42031 with flag 4715000/4715000
1154.56/1153.41	c cleaning 21007 clauses out of 42045 with flag 4736000/4736000
1160.16/1159.02	c cleaning 21001 clauses out of 42038 with flag 4757000/4757000
1166.27/1165.14	c cleaning 21003 clauses out of 42038 with flag 4778001/4778001
1171.38/1170.22	c cleaning 20994 clauses out of 42035 with flag 4799001/4799001
1177.18/1176.05	c cleaning 21009 clauses out of 42040 with flag 4820000/4820000
1182.49/1181.36	c cleaning 21016 clauses out of 42031 with flag 4841000/4841000
1187.39/1186.21	c cleaning 20988 clauses out of 42016 with flag 4862001/4862001
1192.29/1191.18	c cleaning 21006 clauses out of 42029 with flag 4883002/4883002
1197.40/1196.26	c cleaning 21006 clauses out of 42022 with flag 4904001/4904001
1202.60/1201.40	c cleaning 20998 clauses out of 42015 with flag 4925000/4925000
1207.91/1206.73	c cleaning 20995 clauses out of 42017 with flag 4946000/4946000
1213.21/1212.05	c cleaning 21001 clauses out of 42023 with flag 4967001/4967001
1218.61/1217.46	c cleaning 20998 clauses out of 42022 with flag 4988001/4988001
1224.11/1222.92	c cleaning 20983 clauses out of 42024 with flag 5009001/5009001
1229.32/1228.12	c cleaning 21012 clauses out of 42043 with flag 5030003/5030003
1234.42/1233.27	c cleaning 20998 clauses out of 42030 with flag 5051002/5051002
1239.73/1238.58	c cleaning 21003 clauses out of 42033 with flag 5072003/5072003
1245.24/1244.07	c cleaning 20998 clauses out of 42027 with flag 5093000/5093000
1250.64/1249.42	c cleaning 20998 clauses out of 42030 with flag 5114001/5114001
1256.64/1255.44	c cleaning 21004 clauses out of 42031 with flag 5135000/5135000
1262.75/1261.57	c cleaning 21001 clauses out of 42029 with flag 5156002/5156002
1268.25/1267.09	c cleaning 21000 clauses out of 42027 with flag 5177001/5177001
1274.45/1273.26	c cleaning 21003 clauses out of 42027 with flag 5198001/5198001
1280.47/1279.29	c cleaning 20993 clauses out of 42026 with flag 5219003/5219003
1285.76/1284.56	c cleaning 21003 clauses out of 42030 with flag 5240000/5240000
1292.07/1290.85	c cleaning 20991 clauses out of 42029 with flag 5261002/5261002
1297.47/1296.24	c cleaning 21007 clauses out of 42036 with flag 5282000/5282000
1301.28/1300.01	c starts		: 2145
1301.28/1300.01	c conflicts		: 5296674
1301.28/1300.01	c decisions		: 7872451
1301.28/1300.01	c propagations		: 1720738176
1301.28/1300.01	c inspects		: 8689479571
1301.28/1300.01	c shortcuts		: 0
1301.28/1300.01	c learnt literals	: 0
1301.28/1300.01	c learnt binary clauses	: 0
1301.28/1300.01	c learnt ternary clauses	: 74
1301.28/1300.01	c learnt constraints	: 5296675
1301.28/1300.01	c ignored constraints	: 0
1301.28/1300.01	c root simplifications	: 2145
1301.28/1300.01	c removed literals (reason simplification)	: 94466138
1301.28/1300.01	c reason swapping (by a shorter reason)	: 0
1301.28/1300.01	c Calls to reduceDB	: 258
1301.28/1300.01	c speed (assignments/second)	: 1324014.7825892924
1301.28/1300.01	c non guided choices	460
1301.28/1300.03	c learnt constraints type 
1301.28/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 35723
1301.28/1300.03	c constraints type 
1301.28/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21000
1301.28/1300.03	s UNKNOWN
1301.28/1300.03	c Total wall clock time (in seconds) : 1299.728

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-3190226-1302597444/watcher-3190226-1302597444 -o /tmp/evaluation-result-3190226-1302597444/solver-3190226-1302597444 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190226-1302597444.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: 7.35 7.56 5.61 6/180 15247
/proc/meminfo: memFree=17643788/32951124 swapFree=67111528/67111528
[pid=15246] ppid=15243 vsize=9104 CPUtime=0 cores=4,6
/proc/15246/stat : 15246 (java) D 15243 15246 15204 0 -1 4202496 235 0 2 0 0 0 0 0 25 0 1 0 371344752 9322496 171 33554432000 1073741824 1073778376 140735810553088 18446744073709551615 253640859392 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 0
/proc/15246/statm: 2276 171 130 9 0 68 0

[startup+0.017853 s]
/proc/loadavg: 7.35 7.56 5.61 6/180 15247
/proc/meminfo: memFree=17643788/32951124 swapFree=67111528/67111528
[pid=15246] ppid=15243 vsize=20404 CPUtime=0 cores=4,6
/proc/15246/stat : 15246 (java) S 15243 15246 15204 0 -1 4202496 432 0 4 0 0 0 0 0 18 0 1 0 371344752 20893696 177 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253635935879 0 2147483391 4096 0 18446744071699199166 0 0 17 6 0 0 0
/proc/15246/statm: 5101 177 134 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 20404

[startup+0.100753 s]
/proc/loadavg: 7.35 7.56 5.61 6/180 15247
/proc/meminfo: memFree=17643788/32951124 swapFree=67111528/67111528
[pid=15246] ppid=15243 vsize=28384 CPUtime=0 cores=4,6
/proc/15246/stat : 15246 (java) S 15243 15246 15204 0 -1 4202496 1127 0 55 0 0 0 0 0 17 0 2 0 371344752 29065216 906 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652662245 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 7
/proc/15246/statm: 7096 906 688 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28384

[startup+0.31173 s]
/proc/loadavg: 7.35 7.56 5.61 6/180 15247
/proc/meminfo: memFree=17643788/32951124 swapFree=67111528/67111528
[pid=15246] ppid=15243 vsize=7636596 CPUtime=0.12 cores=4,6
/proc/15246/stat : 15246 (java) S 15243 15246 15204 0 -1 4202496 10603 0 96 0 11 1 0 0 17 0 18 0 371344752 7819874304 10391 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/15246/statm: 1909149 10391 2124 9 0 1899887 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 7636596

[startup+0.704632 s]
/proc/loadavg: 7.35 7.56 5.61 6/180 15247
/proc/meminfo: memFree=17643788/32951124 swapFree=67111528/67111528
[pid=15246] ppid=15243 vsize=7643756 CPUtime=0.9 cores=4,6
/proc/15246/stat : 15246 (java) S 15243 15246 15204 0 -1 4202496 15623 0 96 0 88 2 0 0 17 0 19 0 371344752 7827206144 13675 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/15246/statm: 1910939 13675 2224 9 0 1901677 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 7643756

[startup+1.50148 s]
/proc/loadavg: 7.35 7.56 5.61 7/262 15337
/proc/meminfo: memFree=17400980/32951124 swapFree=67111528/67111528
[pid=15246] ppid=15243 vsize=7643756 CPUtime=1.69 cores=4,6
/proc/15246/stat : 15246 (java) S 15243 15246 15204 0 -1 4202496 16249 0 96 0 167 2 0 0 17 0 19 0 371344752 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/15246/statm: 1910939 14300 2227 9 0 1901677 0
[pid=15246/tid=15260] ppid=15243 vsize=7643756 CPUtime=1.23 cores=4,6
/proc/15246/task/15260/stat : 15260 (java) R 15243 15246 15204 0 -1 4202560 10107 0 40 0 122 1 0 0 20 0 19 0 371344761 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 46912505589862 0 4 0 16800975 0 0 0 -1 6 0 0 8
[pid=15246/tid=15271] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15271/stat : 15271 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371344764 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15273] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15273/stat : 15273 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371344764 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15275] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15275/stat : 15275 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371344764 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15277] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15277/stat : 15277 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371344764 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15279] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15279/stat : 15279 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371344764 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15281] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15281/stat : 15281 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371344764 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15283] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15283/stat : 15283 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371344764 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15285] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15285/stat : 15285 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371344764 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15288] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15288/stat : 15288 (java) S 15243 15246 15204 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 371344767 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 0 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15291] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15291/stat : 15291 (java) S 15243 15246 15204 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 371344768 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15294] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15294/stat : 15294 (java) S 15243 15246 15204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 371344769 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15296] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15296/stat : 15296 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371344774 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652683185 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15299] ppid=15243 vsize=7643756 CPUtime=0.19 cores=4,6
/proc/15246/task/15299/stat : 15299 (java) S 15243 15246 15204 0 -1 4202560 3393 0 0 0 19 0 0 0 20 0 19 0 371344774 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15302] ppid=15243 vsize=7643756 CPUtime=0.25 cores=4,6
/proc/15246/task/15302/stat : 15302 (java) S 15243 15246 15204 0 -1 4202560 1636 0 2 0 25 0 0 0 15 0 19 0 371344774 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15305] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15305/stat : 15305 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371344774 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15308] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15308/stat : 15308 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371344774 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15334] ppid=15243 vsize=7643756 CPUtime=0 cores=4,6
/proc/15246/task/15334/stat : 15334 (java) S 15243 15246 15204 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371344791 7827206144 14300 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 7643756

[startup+3.10125 s]
/proc/loadavg: 7.35 7.56 5.61 6/262 15337
/proc/meminfo: memFree=17367004/32951124 swapFree=67111528/67111528
[pid=15246] ppid=15243 vsize=7660884 CPUtime=3.51 cores=4,6
/proc/15246/stat : 15246 (java) S 15243 15246 15204 0 -1 4202496 25178 0 96 0 347 4 0 0 17 0 19 0 371344752 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/15246/statm: 1915221 21292 2255 9 0 1905959 0
[pid=15246/tid=15260] ppid=15243 vsize=7660884 CPUtime=2.74 cores=4,6
/proc/15246/task/15260/stat : 15260 (java) R 15243 15246 15204 0 -1 4202560 10133 0 40 0 273 1 0 0 25 0 19 0 371344761 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 46912505722051 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=15246/tid=15271] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15271/stat : 15271 (java) S 15243 15246 15204 0 -1 4202560 386 0 0 0 0 0 0 0 15 0 19 0 371344764 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15273] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15273/stat : 15273 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371344764 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15275] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15275/stat : 15275 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371344764 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15277] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15277/stat : 15277 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371344764 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15279] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15279/stat : 15279 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371344764 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15281] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15281/stat : 15281 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371344764 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15283] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15283/stat : 15283 (java) S 15243 15246 15204 0 -1 4202560 700 0 0 0 0 0 0 0 16 0 19 0 371344764 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15285] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15285/stat : 15285 (java) S 15243 15246 15204 0 -1 4202560 542 0 0 0 0 0 0 0 15 0 19 0 371344764 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15288] ppid=15243 vsize=7660884 CPUtime=0.03 cores=4,6
/proc/15246/task/15288/stat : 15288 (java) S 15243 15246 15204 0 -1 4202560 1108 0 0 0 3 0 0 0 15 0 19 0 371344767 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 0 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15291] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15291/stat : 15291 (java) S 15243 15246 15204 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371344768 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15294] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15294/stat : 15294 (java) S 15243 15246 15204 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371344769 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15296] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15296/stat : 15296 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371344774 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652683185 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15299] ppid=15243 vsize=7660884 CPUtime=0.23 cores=4,6
/proc/15246/task/15299/stat : 15299 (java) S 15243 15246 15204 0 -1 4202560 3398 0 0 0 23 0 0 0 16 0 19 0 371344774 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15302] ppid=15243 vsize=7660884 CPUtime=0.44 cores=4,6
/proc/15246/task/15302/stat : 15302 (java) S 15243 15246 15204 0 -1 4202560 7803 0 2 0 44 0 0 0 16 0 19 0 371344774 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15305] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15305/stat : 15305 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371344774 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15308] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15308/stat : 15308 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371344774 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15334] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15334/stat : 15334 (java) S 15243 15246 15204 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371344791 7844745216 21292 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 7660884

[startup+6.30067 s]
/proc/loadavg: 7.16 7.51 5.60 6/262 15337
/proc/meminfo: memFree=17221368/32951124 swapFree=67111528/67111528
[pid=15246] ppid=15243 vsize=7660884 CPUtime=6.71 cores=4,6
/proc/15246/stat : 15246 (java) S 15243 15246 15204 0 -1 4202496 25583 0 96 0 667 4 0 0 17 0 19 0 371344752 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/15246/statm: 1915221 21473 2255 9 0 1905959 0
[pid=15246/tid=15260] ppid=15243 vsize=7660884 CPUtime=5.86 cores=4,6
/proc/15246/task/15260/stat : 15260 (java) R 15243 15246 15204 0 -1 4202560 10137 0 40 0 585 1 0 0 21 0 19 0 371344761 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 46912505589810 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=15246/tid=15271] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15271/stat : 15271 (java) S 15243 15246 15204 0 -1 4202560 389 0 0 0 0 0 0 0 15 0 19 0 371344764 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15273] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15273/stat : 15273 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371344764 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15275] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15275/stat : 15275 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371344764 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15277] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15277/stat : 15277 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371344764 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15279] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15279/stat : 15279 (java) S 15243 15246 15204 0 -1 4202560 252 0 0 0 0 0 0 0 16 0 19 0 371344764 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15281] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15281/stat : 15281 (java) S 15243 15246 15204 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 371344764 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15283] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15283/stat : 15283 (java) S 15243 15246 15204 0 -1 4202560 700 0 0 0 0 0 0 0 15 0 19 0 371344764 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15285] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15285/stat : 15285 (java) S 15243 15246 15204 0 -1 4202560 542 0 0 0 0 0 0 0 15 0 19 0 371344764 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15288] ppid=15243 vsize=7660884 CPUtime=0.08 cores=4,6
/proc/15246/task/15288/stat : 15288 (java) S 15243 15246 15204 0 -1 4202560 1248 0 0 0 8 0 0 0 15 0 19 0 371344767 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 0 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15291] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15291/stat : 15291 (java) S 15243 15246 15204 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371344768 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15294] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15294/stat : 15294 (java) S 15243 15246 15204 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371344769 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15296] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15296/stat : 15296 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371344774 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652683185 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15299] ppid=15243 vsize=7660884 CPUtime=0.26 cores=4,6
/proc/15246/task/15299/stat : 15299 (java) S 15243 15246 15204 0 -1 4202560 3403 0 0 0 26 0 0 0 15 0 19 0 371344774 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15302] ppid=15243 vsize=7660884 CPUtime=0.44 cores=4,6
/proc/15246/task/15302/stat : 15302 (java) S 15243 15246 15204 0 -1 4202560 7803 0 2 0 44 0 0 0 16 0 19 0 371344774 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15305] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15305/stat : 15305 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371344774 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15308] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15308/stat : 15308 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371344774 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15334] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15334/stat : 15334 (java) S 15243 15246 15204 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371344791 7844745216 21473 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 7660884

[startup+12.7015 s]

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

[pid=15246/tid=15281] ppid=15243 vsize=7660884 CPUtime=0.15 cores=4,6
/proc/15246/task/15281/stat : 15281 (java) S 15243 15246 15204 0 -1 4202560 153 0 0 0 15 0 0 0 15 0 19 0 371344764 7844745216 28332 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15283] ppid=15243 vsize=7660884 CPUtime=0.23 cores=4,6
/proc/15246/task/15283/stat : 15283 (java) S 15243 15246 15204 0 -1 4202560 871 0 0 0 23 0 0 0 16 0 19 0 371344764 7844745216 28332 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15285] ppid=15243 vsize=7660884 CPUtime=0.21 cores=4,6
/proc/15246/task/15285/stat : 15285 (java) S 15243 15246 15204 0 -1 4202560 920 0 0 0 21 0 0 0 16 0 19 0 371344764 7844745216 28332 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15288] ppid=15243 vsize=7660884 CPUtime=6.51 cores=4,6
/proc/15246/task/15288/stat : 15288 (java) S 15243 15246 15204 0 -1 4202560 4220 0 0 0 651 0 0 0 15 0 19 0 371344767 7844745216 28332 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 0 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15291] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15291/stat : 15291 (java) S 15243 15246 15204 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371344768 7844745216 28332 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15294] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15294/stat : 15294 (java) S 15243 15246 15204 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371344769 7844745216 28332 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15296] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15296/stat : 15296 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371344774 7844745216 28332 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652683185 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15299] ppid=15243 vsize=7660884 CPUtime=0.28 cores=4,6
/proc/15246/task/15299/stat : 15299 (java) S 15243 15246 15204 0 -1 4202560 3524 0 0 0 28 0 0 0 15 0 19 0 371344774 7844745216 28332 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15302] ppid=15243 vsize=7660884 CPUtime=0.44 cores=4,6
/proc/15246/task/15302/stat : 15302 (java) S 15243 15246 15204 0 -1 4202560 7803 0 2 0 44 0 0 0 16 0 19 0 371344774 7844745216 28332 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15305] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15305/stat : 15305 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371344774 7844745216 28332 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15308] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15308/stat : 15308 (java) S 15243 15246 15204 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 371344774 7844745216 28332 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15334] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15334/stat : 15334 (java) S 15243 15246 15204 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371344791 7844745216 28332 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1123.44
Current children cumulated vsize (KiB) 7660884

[startup+1182.3 s]
/proc/loadavg: 4.04 4.10 4.45 6/262 15369
/proc/meminfo: memFree=16533348/32951124 swapFree=67111528/67111528
[pid=15246] ppid=15243 vsize=7660884 CPUtime=1183.49 cores=4,6
/proc/15246/stat : 15246 (java) S 15243 15246 15204 0 -1 4202496 33008 0 96 0 118341 8 0 0 17 0 19 0 371344752 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/15246/statm: 1915221 28424 2256 9 0 1905959 0
[pid=15246/tid=15260] ppid=15243 vsize=7660884 CPUtime=1174.1 cores=4,6
/proc/15246/task/15260/stat : 15260 (java) R 15243 15246 15204 0 -1 4202560 12145 0 40 0 117407 3 0 0 25 0 19 0 371344761 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 46912505615369 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=15246/tid=15271] ppid=15243 vsize=7660884 CPUtime=0.23 cores=4,6
/proc/15246/task/15271/stat : 15271 (java) S 15243 15246 15204 0 -1 4202560 418 0 0 0 23 0 0 0 15 0 19 0 371344764 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15273] ppid=15243 vsize=7660884 CPUtime=0.18 cores=4,6
/proc/15246/task/15273/stat : 15273 (java) S 15243 15246 15204 0 -1 4202560 840 0 0 0 18 0 0 0 15 0 19 0 371344764 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15275] ppid=15243 vsize=7660884 CPUtime=0.18 cores=4,6
/proc/15246/task/15275/stat : 15275 (java) S 15243 15246 15204 0 -1 4202560 156 0 0 0 18 0 0 0 15 0 19 0 371344764 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15277] ppid=15243 vsize=7660884 CPUtime=0.23 cores=4,6
/proc/15246/task/15277/stat : 15277 (java) S 15243 15246 15204 0 -1 4202560 246 0 0 0 23 0 0 0 15 0 19 0 371344764 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15279] ppid=15243 vsize=7660884 CPUtime=0.24 cores=4,6
/proc/15246/task/15279/stat : 15279 (java) S 15243 15246 15204 0 -1 4202560 450 0 0 0 24 0 0 0 16 0 19 0 371344764 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15281] ppid=15243 vsize=7660884 CPUtime=0.16 cores=4,6
/proc/15246/task/15281/stat : 15281 (java) S 15243 15246 15204 0 -1 4202560 153 0 0 0 16 0 0 0 15 0 19 0 371344764 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15283] ppid=15243 vsize=7660884 CPUtime=0.24 cores=4,6
/proc/15246/task/15283/stat : 15283 (java) S 15243 15246 15204 0 -1 4202560 871 0 0 0 24 0 0 0 15 0 19 0 371344764 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15285] ppid=15243 vsize=7660884 CPUtime=0.23 cores=4,6
/proc/15246/task/15285/stat : 15285 (java) S 15243 15246 15204 0 -1 4202560 921 0 0 0 23 0 0 0 15 0 19 0 371344764 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15288] ppid=15243 vsize=7660884 CPUtime=6.87 cores=4,6
/proc/15246/task/15288/stat : 15288 (java) S 15243 15246 15204 0 -1 4202560 4310 0 0 0 686 1 0 0 16 0 19 0 371344767 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 0 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15291] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15291/stat : 15291 (java) S 15243 15246 15204 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371344768 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15294] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15294/stat : 15294 (java) S 15243 15246 15204 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371344769 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15296] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15296/stat : 15296 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371344774 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652683185 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15299] ppid=15243 vsize=7660884 CPUtime=0.28 cores=4,6
/proc/15246/task/15299/stat : 15299 (java) S 15243 15246 15204 0 -1 4202560 3524 0 0 0 28 0 0 0 15 0 19 0 371344774 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15302] ppid=15243 vsize=7660884 CPUtime=0.44 cores=4,6
/proc/15246/task/15302/stat : 15302 (java) S 15243 15246 15204 0 -1 4202560 7803 0 2 0 44 0 0 0 16 0 19 0 371344774 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15305] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15305/stat : 15305 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371344774 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15308] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15308/stat : 15308 (java) S 15243 15246 15204 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371344774 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15334] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15334/stat : 15334 (java) S 15243 15246 15204 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371344791 7844745216 28424 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1183.49
Current children cumulated vsize (KiB) 7660884

[startup+1242.3 s]
/proc/loadavg: 4.01 4.08 4.42 6/262 15370
/proc/meminfo: memFree=16519772/32951124 swapFree=67111528/67111528
[pid=15246] ppid=15243 vsize=7660884 CPUtime=1243.53 cores=4,6
/proc/15246/stat : 15246 (java) S 15243 15246 15204 0 -1 4202496 33099 0 96 0 124345 8 0 0 17 0 19 0 371344752 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/15246/statm: 1915221 28496 2256 9 0 1905959 0
[pid=15246/tid=15260] ppid=15243 vsize=7660884 CPUtime=1233.7 cores=4,6
/proc/15246/task/15260/stat : 15260 (java) R 15243 15246 15204 0 -1 4202560 12156 0 40 0 123367 3 0 0 25 0 19 0 371344761 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 46912505589862 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=15246/tid=15271] ppid=15243 vsize=7660884 CPUtime=0.25 cores=4,6
/proc/15246/task/15271/stat : 15271 (java) S 15243 15246 15204 0 -1 4202560 418 0 0 0 25 0 0 0 16 0 19 0 371344764 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15273] ppid=15243 vsize=7660884 CPUtime=0.19 cores=4,6
/proc/15246/task/15273/stat : 15273 (java) S 15243 15246 15204 0 -1 4202560 840 0 0 0 19 0 0 0 15 0 19 0 371344764 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15275] ppid=15243 vsize=7660884 CPUtime=0.19 cores=4,6
/proc/15246/task/15275/stat : 15275 (java) S 15243 15246 15204 0 -1 4202560 156 0 0 0 19 0 0 0 15 0 19 0 371344764 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15277] ppid=15243 vsize=7660884 CPUtime=0.25 cores=4,6
/proc/15246/task/15277/stat : 15277 (java) S 15243 15246 15204 0 -1 4202560 247 0 0 0 25 0 0 0 16 0 19 0 371344764 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15279] ppid=15243 vsize=7660884 CPUtime=0.26 cores=4,6
/proc/15246/task/15279/stat : 15279 (java) S 15243 15246 15204 0 -1 4202560 450 0 0 0 26 0 0 0 16 0 19 0 371344764 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15281] ppid=15243 vsize=7660884 CPUtime=0.18 cores=4,6
/proc/15246/task/15281/stat : 15281 (java) S 15243 15246 15204 0 -1 4202560 154 0 0 0 18 0 0 0 16 0 19 0 371344764 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15283] ppid=15243 vsize=7660884 CPUtime=0.24 cores=4,6
/proc/15246/task/15283/stat : 15283 (java) S 15243 15246 15204 0 -1 4202560 871 0 0 0 24 0 0 0 15 0 19 0 371344764 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15285] ppid=15243 vsize=7660884 CPUtime=0.23 cores=4,6
/proc/15246/task/15285/stat : 15285 (java) S 15243 15246 15204 0 -1 4202560 921 0 0 0 23 0 0 0 15 0 19 0 371344764 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15288] ppid=15243 vsize=7660884 CPUtime=7.22 cores=4,6
/proc/15246/task/15288/stat : 15288 (java) S 15243 15246 15204 0 -1 4202560 4384 0 0 0 721 1 0 0 15 0 19 0 371344767 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 0 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15291] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15291/stat : 15291 (java) S 15243 15246 15204 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371344768 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15294] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15294/stat : 15294 (java) S 15243 15246 15204 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371344769 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15296] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15296/stat : 15296 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371344774 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652683185 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15299] ppid=15243 vsize=7660884 CPUtime=0.28 cores=4,6
/proc/15246/task/15299/stat : 15299 (java) S 15243 15246 15204 0 -1 4202560 3524 0 0 0 28 0 0 0 15 0 19 0 371344774 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15302] ppid=15243 vsize=7660884 CPUtime=0.44 cores=4,6
/proc/15246/task/15302/stat : 15302 (java) S 15243 15246 15204 0 -1 4202560 7803 0 2 0 44 0 0 0 16 0 19 0 371344774 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15305] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15305/stat : 15305 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371344774 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15308] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15308/stat : 15308 (java) S 15243 15246 15204 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371344774 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15334] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15334/stat : 15334 (java) S 15243 15246 15204 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371344791 7844745216 28496 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1243.53
Current children cumulated vsize (KiB) 7660884



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 4.06 4.39 6/262 15372
/proc/meminfo: memFree=16515108/32951124 swapFree=67111528/67111528
[pid=15246] ppid=15243 vsize=7660884 CPUtime=1301.28 cores=4,6
/proc/15246/stat : 15246 (java) S 15243 15246 15204 0 -1 4202496 33298 0 96 0 130120 8 0 0 17 0 19 0 371344752 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/15246/statm: 1915221 28677 2256 9 0 1905959 0
[pid=15246/tid=15260] ppid=15243 vsize=7660884 CPUtime=1291.03 cores=4,6
/proc/15246/task/15260/stat : 15260 (java) R 15243 15246 15204 0 -1 4202560 12176 0 40 0 129100 3 0 0 25 0 19 0 371344761 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 46912505615478 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=15246/tid=15271] ppid=15243 vsize=7660884 CPUtime=0.27 cores=4,6
/proc/15246/task/15271/stat : 15271 (java) S 15243 15246 15204 0 -1 4202560 419 0 0 0 27 0 0 0 15 0 19 0 371344764 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15273] ppid=15243 vsize=7660884 CPUtime=0.2 cores=4,6
/proc/15246/task/15273/stat : 15273 (java) S 15243 15246 15204 0 -1 4202560 840 0 0 0 20 0 0 0 16 0 19 0 371344764 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15275] ppid=15243 vsize=7660884 CPUtime=0.2 cores=4,6
/proc/15246/task/15275/stat : 15275 (java) S 15243 15246 15204 0 -1 4202560 157 0 0 0 20 0 0 0 15 0 19 0 371344764 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15277] ppid=15243 vsize=7660884 CPUtime=0.26 cores=4,6
/proc/15246/task/15277/stat : 15277 (java) S 15243 15246 15204 0 -1 4202560 247 0 0 0 26 0 0 0 15 0 19 0 371344764 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15279] ppid=15243 vsize=7660884 CPUtime=0.27 cores=4,6
/proc/15246/task/15279/stat : 15279 (java) S 15243 15246 15204 0 -1 4202560 450 0 0 0 27 0 0 0 15 0 19 0 371344764 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15281] ppid=15243 vsize=7660884 CPUtime=0.19 cores=4,6
/proc/15246/task/15281/stat : 15281 (java) S 15243 15246 15204 0 -1 4202560 157 0 0 0 19 0 0 0 15 0 19 0 371344764 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15283] ppid=15243 vsize=7660884 CPUtime=0.26 cores=4,6
/proc/15246/task/15283/stat : 15283 (java) S 15243 15246 15204 0 -1 4202560 893 0 0 0 26 0 0 0 15 0 19 0 371344764 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15285] ppid=15243 vsize=7660884 CPUtime=0.24 cores=4,6
/proc/15246/task/15285/stat : 15285 (java) S 15243 15246 15204 0 -1 4202560 926 0 0 0 24 0 0 0 16 0 19 0 371344764 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15288] ppid=15243 vsize=7660884 CPUtime=7.54 cores=4,6
/proc/15246/task/15288/stat : 15288 (java) S 15243 15246 15204 0 -1 4202560 4527 0 0 0 753 1 0 0 15 0 19 0 371344767 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 0 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15291] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15291/stat : 15291 (java) S 15243 15246 15204 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371344768 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15294] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15294/stat : 15294 (java) S 15243 15246 15204 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371344769 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15296] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15296/stat : 15296 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371344774 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652683185 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15299] ppid=15243 vsize=7660884 CPUtime=0.28 cores=4,6
/proc/15246/task/15299/stat : 15299 (java) S 15243 15246 15204 0 -1 4202560 3524 0 0 0 28 0 0 0 15 0 19 0 371344774 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15302] ppid=15243 vsize=7660884 CPUtime=0.44 cores=4,6
/proc/15246/task/15302/stat : 15302 (java) S 15243 15246 15204 0 -1 4202560 7803 0 2 0 44 0 0 0 16 0 19 0 371344774 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 4 0 0 0
[pid=15246/tid=15305] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15305/stat : 15305 (java) S 15243 15246 15204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371344774 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652675481 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15308] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15308/stat : 15308 (java) S 15243 15246 15204 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371344774 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
[pid=15246/tid=15334] ppid=15243 vsize=7660884 CPUtime=0 cores=4,6
/proc/15246/task/15334/stat : 15334 (java) S 15243 15246 15204 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371344791 7844745216 28677 33554432000 1073741824 1073778376 140737390491056 18446744073709551615 253652676096 0 4 0 16800975 18446604453904138432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1301.28
Current children cumulated vsize (KiB) 7660884

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.04
CPU time (s): 1301.34
CPU user time (s): 1301.25
CPU system time (s): 0.088986
CPU usage (%): 100.1
Max. virtual memory (cumulated for all children) (KiB): 7660884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.25
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33334
page faults= 96
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35142
involuntary context switches= 10747

runsolver used 2.25666 second user time and 4.75328 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-12 10:37:24
IDJOB=3190226
IDBENCH=82557
IDSOLVER=1611
FILE ID=node106/3190226-1302597444
RUNJOBID= node106-1302597443-15223
PBS_JOBID= 12958099
Free space on /tmp= 71564 MiB

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

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

MD5SUM BENCH= b0eb7b0423dfe1c78c61b0932da62ffe
RANDOM SEED=1904435644

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17644340 kB
Buffers:        733056 kB
Cached:       14111756 kB
SwapCached:          0 kB
Active:        8881740 kB
Inactive:      6030360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17644340 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4276 kB
Writeback:          28 kB
AnonPages:       67476 kB
Mapped:          14460 kB
Slab:           328296 kB
PageTables:       4428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190288 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= 71556 MiB
End job on node106 at 2011-04-12 10:59:06