Trace number 3190184

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) 1300.89 1300.04

General information on the benchmark

Namerandom/large/
unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf
MD5SUM917ee0efab4f0e89027865c1129d272b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of clauses21250
Sum of the clauses size148750
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 521250

Solver Data 

0.04/0.27	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.27	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.27	c See www.sat4j.org for details.
0.04/0.27	c no version file found!!!
0.04/0.27	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.27	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.27	c java.vm.version	19.1-b02
0.04/0.27	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.27	c sun.arch.data.model	64
0.04/0.27	c java.version		1.6.0_24
0.04/0.27	c os.name		Linux
0.04/0.27	c os.version		2.6.18-164.el5
0.04/0.27	c os.arch		amd64
0.04/0.27	c Free memory 		6997539544
0.04/0.27	c Max memory 		7034241024
0.04/0.27	c Total memory 		7034241024
0.04/0.27	c Number of processors 	8
0.04/0.29	c --- Begin Solver configuration ---
0.04/0.29	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.04/0.29	c Learn all clauses as in MiniSAT
0.04/0.29	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.04/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.04/0.29	c Expensive reason simplification
0.04/0.29	c Armin Biere (Picosat) restarts strategy
0.04/0.29	c Glucose learned constraints deletion strategy
0.04/0.29	c timeout=2147483647s
0.04/0.29	c DB Simplification allowed=true
0.04/0.29	c --- End Solver configuration ---
0.04/0.29	c solving HOME/instance-3190184-1302596724.cnf
0.04/0.29	c reading problem ... 
0.12/0.41	c ... done. Wall clock time 0.115s.
0.12/0.41	c #vars     250
0.12/0.41	c #constraints  21250
0.12/0.41	c constraints type 
0.40/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21250
1.49/1.30	c cleaning 2500 clauses out of 5003 with flag 5003/5003
2.41/2.05	c cleaning 4247 clauses out of 8501 with flag 11001/11001
3.32/2.96	c cleaning 5623 clauses out of 11254 with flag 18001/18001
4.53/4.11	c cleaning 6809 clauses out of 13631 with flag 26001/26001
5.85/5.45	c cleaning 7907 clauses out of 15821 with flag 35000/35000
7.44/7.05	c cleaning 8955 clauses out of 17914 with flag 45000/45000
9.25/8.87	c cleaning 9977 clauses out of 19960 with flag 56001/56001
11.45/11.00	c cleaning 10987 clauses out of 21982 with flag 68000/68000
13.75/13.32	c cleaning 11995 clauses out of 23996 with flag 81001/81001
16.25/15.89	c cleaning 12998 clauses out of 26002 with flag 95002/95002
19.15/18.71	c cleaning 13998 clauses out of 28002 with flag 110000/110000
22.25/21.89	c cleaning 14997 clauses out of 30005 with flag 126001/126001
25.65/25.28	c cleaning 15999 clauses out of 32007 with flag 143000/143000
29.45/29.04	c cleaning 17002 clauses out of 34009 with flag 161001/161001
33.55/33.13	c cleaning 17997 clauses out of 36006 with flag 180000/180000
37.95/37.58	c cleaning 18998 clauses out of 38010 with flag 200001/200001
42.96/42.53	c cleaning 20000 clauses out of 40012 with flag 221001/221001
48.26/47.86	c cleaning 21001 clauses out of 42011 with flag 243000/243000
53.46/53.05	c cleaning 21503 clauses out of 43010 with flag 265000/265000
58.67/58.26	c cleaning 21752 clauses out of 43508 with flag 287001/287001
63.97/63.50	c cleaning 21869 clauses out of 43755 with flag 309000/309000
69.17/68.76	c cleaning 21934 clauses out of 43886 with flag 331000/331000
74.27/73.89	c cleaning 21967 clauses out of 43952 with flag 353000/353000
79.77/79.36	c cleaning 21982 clauses out of 43985 with flag 375000/375000
84.78/84.38	c cleaning 21994 clauses out of 44004 with flag 397001/397001
90.18/89.73	c cleaning 21998 clauses out of 44009 with flag 419000/419000
95.38/94.93	c cleaning 21997 clauses out of 44012 with flag 441001/441001
100.68/100.30	c cleaning 21999 clauses out of 44014 with flag 463000/463000
105.88/105.45	c cleaning 22002 clauses out of 44015 with flag 485000/485000
111.38/110.95	c cleaning 22006 clauses out of 44015 with flag 507002/507002
116.48/116.04	c cleaning 21994 clauses out of 44007 with flag 529000/529000
121.68/121.22	c cleaning 22003 clauses out of 44014 with flag 551001/551001
126.89/126.40	c cleaning 21997 clauses out of 44010 with flag 573000/573000
131.89/131.48	c cleaning 22003 clauses out of 44013 with flag 595000/595000
137.29/136.83	c cleaning 22002 clauses out of 44012 with flag 617002/617002
142.39/141.94	c cleaning 22000 clauses out of 44009 with flag 639001/639001
147.69/147.21	c cleaning 21995 clauses out of 44010 with flag 661002/661002
152.99/152.53	c cleaning 22004 clauses out of 44013 with flag 683000/683000
158.09/157.66	c cleaning 21997 clauses out of 44009 with flag 705000/705000
163.09/162.69	c cleaning 21997 clauses out of 44014 with flag 727002/727002
168.19/167.77	c cleaning 22005 clauses out of 44015 with flag 749000/749000
173.30/172.89	c cleaning 22006 clauses out of 44011 with flag 771001/771001
178.40/177.91	c cleaning 21994 clauses out of 44004 with flag 793000/793000
183.50/183.09	c cleaning 21998 clauses out of 44011 with flag 815001/815001
188.80/188.33	c cleaning 22003 clauses out of 44013 with flag 837001/837001
193.90/193.41	c cleaning 21998 clauses out of 44011 with flag 859002/859002
199.10/198.67	c cleaning 22001 clauses out of 44014 with flag 881003/881003
204.40/203.93	c cleaning 21993 clauses out of 44010 with flag 903000/903000
209.90/209.43	c cleaning 22006 clauses out of 44017 with flag 925000/925000
214.91/214.46	c cleaning 21998 clauses out of 44011 with flag 947000/947000
220.01/219.55	c cleaning 22000 clauses out of 44014 with flag 969001/969001
225.00/224.58	c cleaning 21997 clauses out of 44014 with flag 991001/991001
230.50/230.01	c cleaning 22007 clauses out of 44017 with flag 1013001/1013001
235.60/235.17	c cleaning 22001 clauses out of 44009 with flag 1035000/1035000
240.50/240.06	c cleaning 21993 clauses out of 44008 with flag 1057000/1057000
245.81/245.37	c cleaning 22001 clauses out of 44015 with flag 1079000/1079000
251.21/250.78	c cleaning 21998 clauses out of 44014 with flag 1101000/1101000
256.81/256.37	c cleaning 22004 clauses out of 44018 with flag 1123002/1123002
261.91/261.49	c cleaning 22000 clauses out of 44014 with flag 1145002/1145002
267.21/266.76	c cleaning 21997 clauses out of 44013 with flag 1167001/1167001
272.51/272.00	c cleaning 22002 clauses out of 44015 with flag 1189000/1189000
277.62/277.16	c cleaning 21999 clauses out of 44013 with flag 1211000/1211000
282.91/282.48	c cleaning 22005 clauses out of 44016 with flag 1233002/1233002
288.22/287.76	c cleaning 21999 clauses out of 44009 with flag 1255000/1255000
293.22/292.77	c cleaning 22001 clauses out of 44010 with flag 1277000/1277000
298.22/297.74	c cleaning 21994 clauses out of 44010 with flag 1299001/1299001
303.42/302.93	c cleaning 22004 clauses out of 44017 with flag 1321002/1321002
308.72/308.25	c cleaning 21999 clauses out of 44013 with flag 1343002/1343002
314.03/313.52	c cleaning 22003 clauses out of 44013 with flag 1365001/1365001
319.22/318.73	c cleaning 21994 clauses out of 44009 with flag 1387000/1387000
324.22/323.79	c cleaning 22002 clauses out of 44015 with flag 1409000/1409000
329.33/328.83	c cleaning 21998 clauses out of 44014 with flag 1431001/1431001
334.53/334.05	c cleaning 22000 clauses out of 44015 with flag 1453000/1453000
339.94/339.47	c cleaning 22004 clauses out of 44017 with flag 1475002/1475002
345.34/344.82	c cleaning 21990 clauses out of 44011 with flag 1497000/1497000
350.64/350.19	c cleaning 22002 clauses out of 44021 with flag 1519000/1519000
355.75/355.29	c cleaning 22007 clauses out of 44019 with flag 1541000/1541000
360.74/360.27	c cleaning 21997 clauses out of 44012 with flag 1563000/1563000
365.85/365.36	c cleaning 22000 clauses out of 44016 with flag 1585001/1585001
371.05/370.59	c cleaning 22003 clauses out of 44015 with flag 1607000/1607000
376.55/376.06	c cleaning 21998 clauses out of 44012 with flag 1629000/1629000
381.85/381.30	c cleaning 22000 clauses out of 44015 with flag 1651001/1651001
387.15/386.60	c cleaning 21999 clauses out of 44014 with flag 1673000/1673000
392.16/391.66	c cleaning 22000 clauses out of 44017 with flag 1695002/1695002
397.35/396.81	c cleaning 22000 clauses out of 44015 with flag 1717000/1717000
402.55/402.08	c cleaning 21999 clauses out of 44015 with flag 1739000/1739000
407.66/407.15	c cleaning 21997 clauses out of 44016 with flag 1761000/1761000
413.06/412.57	c cleaning 22005 clauses out of 44021 with flag 1783002/1783002
418.46/417.99	c cleaning 22001 clauses out of 44015 with flag 1805001/1805001
424.07/423.58	c cleaning 22000 clauses out of 44014 with flag 1827001/1827001
429.36/428.84	c cleaning 22004 clauses out of 44016 with flag 1849003/1849003
434.26/433.79	c cleaning 22001 clauses out of 44011 with flag 1871002/1871002
439.47/438.96	c cleaning 21996 clauses out of 44008 with flag 1893000/1893000
444.67/444.15	c cleaning 22000 clauses out of 44012 with flag 1915000/1915000
449.77/449.25	c cleaning 21999 clauses out of 44013 with flag 1937001/1937001
454.78/454.25	c cleaning 22002 clauses out of 44015 with flag 1959002/1959002
459.98/459.46	c cleaning 22002 clauses out of 44015 with flag 1981004/1981004
465.28/464.72	c cleaning 21996 clauses out of 44009 with flag 2003000/2003000
470.68/470.10	c cleaning 21998 clauses out of 44014 with flag 2025001/2025001
475.88/475.38	c cleaning 22000 clauses out of 44016 with flag 2047001/2047001
480.98/480.45	c cleaning 22002 clauses out of 44016 with flag 2069001/2069001
486.18/485.60	c cleaning 22003 clauses out of 44013 with flag 2091000/2091000
491.29/490.76	c cleaning 22001 clauses out of 44010 with flag 2113000/2113000
496.59/496.07	c cleaning 21993 clauses out of 44011 with flag 2135002/2135002
501.99/501.44	c cleaning 22005 clauses out of 44016 with flag 2157000/2157000
507.29/506.73	c cleaning 22000 clauses out of 44013 with flag 2179002/2179002
512.49/511.94	c cleaning 21997 clauses out of 44011 with flag 2201000/2201000
518.29/517.79	c cleaning 22004 clauses out of 44017 with flag 2223003/2223003
523.80/523.22	c cleaning 22002 clauses out of 44011 with flag 2245001/2245001
528.80/528.30	c cleaning 21996 clauses out of 44008 with flag 2267000/2267000
534.10/533.52	c cleaning 21995 clauses out of 44012 with flag 2289000/2289000
539.30/538.71	c cleaning 21997 clauses out of 44018 with flag 2311001/2311001
544.30/543.79	c cleaning 22002 clauses out of 44020 with flag 2333000/2333000
549.70/549.16	c cleaning 21998 clauses out of 44018 with flag 2355000/2355000
554.91/554.35	c cleaning 22007 clauses out of 44020 with flag 2377000/2377000
560.60/560.00	c cleaning 21996 clauses out of 44013 with flag 2399000/2399000
565.61/565.04	c cleaning 22001 clauses out of 44017 with flag 2421000/2421000
570.81/570.23	c cleaning 21999 clauses out of 44016 with flag 2443000/2443000
576.31/575.70	c cleaning 22005 clauses out of 44019 with flag 2465002/2465002
581.31/580.74	c cleaning 22001 clauses out of 44012 with flag 2487000/2487000
586.41/585.86	c cleaning 21998 clauses out of 44011 with flag 2509000/2509000
591.61/591.06	c cleaning 21996 clauses out of 44013 with flag 2531000/2531000
596.91/596.33	c cleaning 22001 clauses out of 44018 with flag 2553001/2553001
602.01/601.44	c cleaning 22001 clauses out of 44018 with flag 2575002/2575002
607.11/606.58	c cleaning 22002 clauses out of 44016 with flag 2597001/2597001
612.41/611.89	c cleaning 21990 clauses out of 44013 with flag 2619000/2619000
617.62/617.08	c cleaning 21999 clauses out of 44023 with flag 2641000/2641000
622.92/622.39	c cleaning 22011 clauses out of 44024 with flag 2663000/2663000
628.32/627.75	c cleaning 21998 clauses out of 44014 with flag 2685001/2685001
633.82/633.28	c cleaning 22004 clauses out of 44017 with flag 2707002/2707002
639.12/638.56	c cleaning 22002 clauses out of 44012 with flag 2729001/2729001
644.13/643.57	c cleaning 22000 clauses out of 44011 with flag 2751002/2751002
649.33/648.70	c cleaning 22002 clauses out of 44010 with flag 2773001/2773001
654.53/653.92	c cleaning 21996 clauses out of 44007 with flag 2795000/2795000
660.13/659.54	c cleaning 22004 clauses out of 44013 with flag 2817002/2817002
665.63/665.07	c cleaning 21997 clauses out of 44008 with flag 2839001/2839001
671.13/670.53	c cleaning 21996 clauses out of 44010 with flag 2861000/2861000
676.63/676.01	c cleaning 22001 clauses out of 44015 with flag 2883001/2883001
682.34/681.71	c cleaning 21995 clauses out of 44014 with flag 2905001/2905001
687.94/687.32	c cleaning 22003 clauses out of 44018 with flag 2927000/2927000
693.65/693.05	c cleaning 22000 clauses out of 44015 with flag 2949000/2949000
699.15/698.53	c cleaning 21997 clauses out of 44015 with flag 2971000/2971000
704.44/703.86	c cleaning 22001 clauses out of 44018 with flag 2993000/2993000
709.64/709.07	c cleaning 21995 clauses out of 44017 with flag 3015000/3015000
714.64/714.07	c cleaning 22007 clauses out of 44022 with flag 3037000/3037000
719.75/719.13	c cleaning 22003 clauses out of 44016 with flag 3059001/3059001
724.75/724.15	c cleaning 21994 clauses out of 44012 with flag 3081000/3081000
730.05/729.48	c cleaning 22002 clauses out of 44018 with flag 3103000/3103000
735.35/734.73	c cleaning 22005 clauses out of 44018 with flag 3125002/3125002
740.75/740.14	c cleaning 21996 clauses out of 44013 with flag 3147002/3147002
746.25/745.65	c cleaning 21994 clauses out of 44015 with flag 3169000/3169000
751.55/750.96	c cleaning 22003 clauses out of 44021 with flag 3191000/3191000
756.95/756.38	c cleaning 22004 clauses out of 44020 with flag 3213002/3213002
762.46/761.84	c cleaning 21995 clauses out of 44016 with flag 3235002/3235002
767.86/767.20	c cleaning 22002 clauses out of 44020 with flag 3257001/3257001
773.06/772.40	c cleaning 21996 clauses out of 44017 with flag 3279000/3279000
778.37/777.77	c cleaning 22003 clauses out of 44022 with flag 3301001/3301001
783.46/782.85	c cleaning 22001 clauses out of 44018 with flag 3323000/3323000
788.66/788.09	c cleaning 22006 clauses out of 44017 with flag 3345000/3345000
793.67/793.01	c cleaning 22000 clauses out of 44011 with flag 3367000/3367000
798.66/798.04	c cleaning 22000 clauses out of 44011 with flag 3389000/3389000
803.97/803.31	c cleaning 22000 clauses out of 44011 with flag 3411000/3411000
809.17/808.54	c cleaning 22000 clauses out of 44011 with flag 3433000/3433000
814.47/813.81	c cleaning 21995 clauses out of 44011 with flag 3455000/3455000
819.57/818.91	c cleaning 21996 clauses out of 44017 with flag 3477001/3477001
824.58/823.97	c cleaning 22003 clauses out of 44020 with flag 3499000/3499000
829.67/829.00	c cleaning 21999 clauses out of 44019 with flag 3521002/3521002
834.87/834.21	c cleaning 22000 clauses out of 44018 with flag 3543000/3543000
840.07/839.44	c cleaning 22001 clauses out of 44019 with flag 3565001/3565001
845.58/844.93	c cleaning 22002 clauses out of 44018 with flag 3587001/3587001
851.18/850.59	c cleaning 21999 clauses out of 44018 with flag 3609003/3609003
856.68/856.09	c cleaning 22002 clauses out of 44016 with flag 3631000/3631000
861.68/861.03	c cleaning 21992 clauses out of 44014 with flag 3653000/3653000
866.88/866.25	c cleaning 22005 clauses out of 44025 with flag 3675003/3675003
872.08/871.42	c cleaning 22005 clauses out of 44018 with flag 3697001/3697001
877.19/876.58	c cleaning 21999 clauses out of 44013 with flag 3719001/3719001
882.40/881.70	c cleaning 21999 clauses out of 44013 with flag 3741000/3741000
887.49/886.88	c cleaning 21997 clauses out of 44014 with flag 3763000/3763000
892.80/892.14	c cleaning 22004 clauses out of 44017 with flag 3785000/3785000
897.99/897.32	c cleaning 22000 clauses out of 44013 with flag 3807000/3807000
903.19/902.54	c cleaning 21997 clauses out of 44013 with flag 3829000/3829000
908.49/907.80	c cleaning 21996 clauses out of 44016 with flag 3851000/3851000
913.70/913.01	c cleaning 22002 clauses out of 44020 with flag 3873000/3873000
919.00/918.31	c cleaning 21995 clauses out of 44018 with flag 3895000/3895000
924.71/924.03	c cleaning 22007 clauses out of 44023 with flag 3917000/3917000
930.30/929.65	c cleaning 21998 clauses out of 44016 with flag 3939000/3939000
935.50/934.81	c cleaning 21999 clauses out of 44022 with flag 3961004/3961004
940.90/940.26	c cleaning 22007 clauses out of 44019 with flag 3983000/3983000
946.11/945.42	c cleaning 21997 clauses out of 44012 with flag 4005000/4005000
951.11/950.45	c cleaning 22003 clauses out of 44016 with flag 4027001/4027001
956.11/955.47	c cleaning 22000 clauses out of 44015 with flag 4049003/4049003
961.41/960.79	c cleaning 21994 clauses out of 44012 with flag 4071000/4071000
966.52/965.88	c cleaning 21993 clauses out of 44018 with flag 4093000/4093000
971.61/970.92	c cleaning 22007 clauses out of 44027 with flag 4115002/4115002
976.71/976.05	c cleaning 22004 clauses out of 44018 with flag 4137000/4137000
982.02/981.33	c cleaning 21998 clauses out of 44014 with flag 4159000/4159000
987.22/986.57	c cleaning 22005 clauses out of 44018 with flag 4181002/4181002
992.62/991.93	c cleaning 21997 clauses out of 44012 with flag 4203001/4203001
997.92/997.23	c cleaning 22000 clauses out of 44014 with flag 4225000/4225000
1003.22/1002.55	c cleaning 21993 clauses out of 44016 with flag 4247002/4247002
1008.52/1007.85	c cleaning 22004 clauses out of 44021 with flag 4269000/4269000
1013.74/1013.01	c cleaning 22000 clauses out of 44019 with flag 4291002/4291002
1019.24/1018.50	c cleaning 21997 clauses out of 44017 with flag 4313000/4313000
1024.74/1024.03	c cleaning 21997 clauses out of 44020 with flag 4335000/4335000
1029.94/1029.29	c cleaning 22004 clauses out of 44023 with flag 4357000/4357000
1035.44/1034.74	c cleaning 22002 clauses out of 44019 with flag 4379000/4379000
1040.84/1040.14	c cleaning 22001 clauses out of 44017 with flag 4401000/4401000
1045.94/1045.23	c cleaning 21996 clauses out of 44016 with flag 4423000/4423000
1051.04/1050.36	c cleaning 22002 clauses out of 44023 with flag 4445003/4445003
1056.24/1055.59	c cleaning 21998 clauses out of 44018 with flag 4467000/4467000
1061.45/1060.72	c cleaning 22000 clauses out of 44020 with flag 4489000/4489000
1066.85/1066.12	c cleaning 21996 clauses out of 44021 with flag 4511001/4511001
1071.95/1071.25	c cleaning 22005 clauses out of 44024 with flag 4533000/4533000
1077.25/1076.53	c cleaning 22002 clauses out of 44019 with flag 4555000/4555000
1082.55/1081.89	c cleaning 22001 clauses out of 44018 with flag 4577001/4577001
1088.05/1087.31	c cleaning 22001 clauses out of 44016 with flag 4599000/4599000
1093.45/1092.72	c cleaning 21992 clauses out of 44015 with flag 4621000/4621000
1098.95/1098.21	c cleaning 22007 clauses out of 44024 with flag 4643001/4643001
1104.56/1103.83	c cleaning 22001 clauses out of 44016 with flag 4665000/4665000
1110.26/1109.50	c cleaning 21997 clauses out of 44016 with flag 4687001/4687001
1115.96/1115.23	c cleaning 21996 clauses out of 44019 with flag 4709001/4709001
1121.16/1120.49	c cleaning 22002 clauses out of 44022 with flag 4731000/4731000
1126.97/1126.25	c cleaning 21999 clauses out of 44020 with flag 4753000/4753000
1132.47/1131.78	c cleaning 22003 clauses out of 44022 with flag 4775001/4775001
1137.77/1137.04	c cleaning 22004 clauses out of 44021 with flag 4797003/4797003
1143.07/1142.32	c cleaning 22000 clauses out of 44017 with flag 4819003/4819003
1148.47/1147.72	c cleaning 22001 clauses out of 44015 with flag 4841001/4841001
1153.37/1152.69	c cleaning 22002 clauses out of 44016 with flag 4863003/4863003
1158.68/1157.90	c cleaning 22003 clauses out of 44014 with flag 4885003/4885003
1163.58/1162.89	c cleaning 21999 clauses out of 44009 with flag 4907001/4907001
1168.78/1168.02	c cleaning 22001 clauses out of 44009 with flag 4929000/4929000
1173.88/1173.11	c cleaning 21992 clauses out of 44008 with flag 4951000/4951000
1179.08/1178.34	c cleaning 22001 clauses out of 44017 with flag 4973001/4973001
1184.48/1183.72	c cleaning 21996 clauses out of 44015 with flag 4995000/4995000
1189.68/1188.90	c cleaning 22001 clauses out of 44020 with flag 5017001/5017001
1194.99/1194.23	c cleaning 21999 clauses out of 44018 with flag 5039000/5039000
1200.49/1199.73	c cleaning 22001 clauses out of 44019 with flag 5061000/5061000
1205.89/1205.13	c cleaning 22000 clauses out of 44018 with flag 5083000/5083000
1211.49/1210.79	c cleaning 22001 clauses out of 44019 with flag 5105001/5105001
1216.89/1216.18	c cleaning 22004 clauses out of 44019 with flag 5127002/5127002
1222.39/1221.61	c cleaning 22001 clauses out of 44014 with flag 5149001/5149001
1227.80/1227.06	c cleaning 21995 clauses out of 44013 with flag 5171001/5171001
1233.40/1232.69	c cleaning 21996 clauses out of 44017 with flag 5193000/5193000
1238.60/1237.86	c cleaning 22004 clauses out of 44021 with flag 5215000/5215000
1244.00/1243.29	c cleaning 22002 clauses out of 44017 with flag 5237000/5237000
1249.50/1248.78	c cleaning 21998 clauses out of 44015 with flag 5259000/5259000
1254.81/1254.04	c cleaning 22006 clauses out of 44019 with flag 5281002/5281002
1260.31/1259.52	c cleaning 21993 clauses out of 44011 with flag 5303000/5303000
1265.91/1265.10	c cleaning 21996 clauses out of 44019 with flag 5325001/5325001
1271.11/1270.39	c cleaning 22003 clauses out of 44023 with flag 5347001/5347001
1276.31/1275.50	c cleaning 22003 clauses out of 44019 with flag 5369000/5369000
1281.31/1280.55	c cleaning 21992 clauses out of 44017 with flag 5391001/5391001
1286.51/1285.78	c cleaning 22006 clauses out of 44025 with flag 5413001/5413001
1291.71/1290.90	c cleaning 22004 clauses out of 44021 with flag 5435003/5435003
1296.81/1296.09	c cleaning 21999 clauses out of 44014 with flag 5457000/5457000
1300.82/1300.01	c starts		: 2198
1300.82/1300.01	c conflicts		: 5474664
1300.82/1300.01	c decisions		: 6496919
1300.82/1300.01	c propagations		: 143227843
1300.82/1300.01	c inspects		: 13494937784
1300.82/1300.01	c shortcuts		: 0
1300.82/1300.01	c learnt literals	: 0
1300.82/1300.01	c learnt binary clauses	: 0
1300.82/1300.01	c learnt ternary clauses	: 0
1300.82/1300.01	c learnt constraints	: 5474665
1300.82/1300.01	c ignored constraints	: 0
1300.82/1300.01	c root simplifications	: 2198
1300.82/1300.01	c removed literals (reason simplification)	: 31262363
1300.82/1300.01	c reason swapping (by a shorter reason)	: 0
1300.82/1300.01	c Calls to reduceDB	: 255
1300.82/1300.01	c speed (assignments/second)	: 110208.84977269999
1300.82/1300.01	c non guided choices	116
1300.82/1300.03	c learnt constraints type 
1300.82/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 39697
1300.82/1300.03	c constraints type 
1300.82/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21250
1300.82/1300.03	s UNKNOWN
1300.82/1300.03	c Total wall clock time (in seconds) : 1299.721

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

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 1.00 1.05 1.44 2/176 28962
/proc/meminfo: memFree=16383268/32951124 swapFree=67111528/67111528
[pid=28962] ppid=28959 vsize=5592 CPUtime=0 cores=0,2
/proc/28962/stat : 28962 (java) S 28959 28962 28928 0 -1 4194304 98 0 2 0 0 0 0 0 17 0 1 0 371270437 5726208 52 33554432000 1073741824 1073778376 140736653379904 18446744073709551615 228117790343 0 2147483391 4096 0 18446744071699207358 0 0 17 0 0 0 0
/proc/28962/statm: 1398 52 41 9 0 27 0

[startup+0.068154 s]
/proc/loadavg: 1.00 1.05 1.44 2/176 28962
/proc/meminfo: memFree=16383268/32951124 swapFree=67111528/67111528
[pid=28962] ppid=28959 vsize=23028 CPUtime=0 cores=0,2
/proc/28962/stat : 28962 (java) D 28959 28962 28928 0 -1 4202496 972 0 45 0 0 0 0 0 17 0 1 0 371270437 23580672 759 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 47581355836064 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 5
/proc/28962/statm: 5757 759 559 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.101129 s]
/proc/loadavg: 1.00 1.05 1.44 2/176 28962
/proc/meminfo: memFree=16383268/32951124 swapFree=67111528/67111528
[pid=28962] ppid=28959 vsize=28384 CPUtime=0 cores=0,2
/proc/28962/stat : 28962 (java) S 28959 28962 28928 0 -1 4202496 1126 0 58 0 0 0 0 0 17 0 2 0 371270437 29065216 909 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134516709 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 7
/proc/28962/statm: 7096 909 690 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28384

[startup+0.305109 s]
/proc/loadavg: 1.00 1.05 1.44 2/176 28962
/proc/meminfo: memFree=16383268/32951124 swapFree=67111528/67111528
[pid=28962] ppid=28959 vsize=7637104 CPUtime=0.12 cores=0,2
/proc/28962/stat : 28962 (java) S 28959 28962 28928 0 -1 4202496 10440 0 102 0 10 2 0 0 17 0 18 0 371270437 7820394496 10236 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/28962/statm: 1909276 10236 2093 9 0 1900014 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 7637104

[startup+0.701041 s]
/proc/loadavg: 1.00 1.05 1.44 2/176 28962
/proc/meminfo: memFree=16383268/32951124 swapFree=67111528/67111528
[pid=28962] ppid=28959 vsize=7641644 CPUtime=0.85 cores=0,2
/proc/28962/stat : 28962 (java) S 28959 28962 28928 0 -1 4202496 13237 0 102 0 82 3 0 0 17 0 19 0 371270437 7825043456 12448 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/28962/statm: 1910411 12448 2221 9 0 1901149 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 7641644

[startup+1.50087 s]
/proc/loadavg: 1.24 1.10 1.46 5/262 29061
/proc/meminfo: memFree=16162928/32951124 swapFree=67111528/67111528
[pid=28962] ppid=28959 vsize=7667028 CPUtime=1.87 cores=0,2
/proc/28962/stat : 28962 (java) S 28959 28962 28928 0 -1 4202496 22883 0 102 0 183 4 0 0 17 0 19 0 371270437 7851036672 20157 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/28962/statm: 1916757 20157 2252 9 0 1907495 0
[pid=28962/tid=28974] ppid=28959 vsize=7667028 CPUtime=1.21 cores=0,2
/proc/28962/task/28974/stat : 28974 (java) R 28959 28962 28928 0 -1 4202560 10113 0 46 0 119 2 0 0 20 0 19 0 371270446 7851036672 20157 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 46912505606790 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=28962/tid=28980] ppid=28959 vsize=7667028 CPUtime=0 cores=0,2
/proc/28962/task/28980/stat : 28980 (java) S 28959 28962 28928 0 -1 4202560 265 0 0 0 0 0 0 0 17 0 19 0 371270450 7851036672 20157 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28981] ppid=28959 vsize=7667028 CPUtime=0 cores=0,2
/proc/28962/task/28981/stat : 28981 (java) S 28959 28962 28928 0 -1 4202560 342 0 0 0 0 0 0 0 18 0 19 0 371270450 7851036672 20157 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28982] ppid=28959 vsize=7667028 CPUtime=0 cores=0,2
/proc/28962/task/28982/stat : 28982 (java) S 28959 28962 28928 0 -1 4202560 61 0 0 0 0 0 0 0 17 0 19 0 371270450 7851036672 20157 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28984] ppid=28959 vsize=7667028 CPUtime=0 cores=0,2
/proc/28962/task/28984/stat : 28984 (java) S 28959 28962 28928 0 -1 4202560 53 0 0 0 0 0 0 0 17 0 19 0 371270450 7851036672 20157 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28985] ppid=28959 vsize=7667028 CPUtime=0 cores=0,2
/proc/28962/task/28985/stat : 28985 (java) S 28959 28962 28928 0 -1 4202560 112 0 0 0 0 0 0 0 17 0 19 0 371270450 7851036672 20160 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28987] ppid=28959 vsize=7667028 CPUtime=0 cores=0,2
/proc/28962/task/28987/stat : 28987 (java) S 28959 28962 28928 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 19 0 371270450 7851036672 20162 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28989] ppid=28959 vsize=7667028 CPUtime=0 cores=0,2
/proc/28962/task/28989/stat : 28989 (java) S 28959 28962 28928 0 -1 4202560 30 0 0 0 0 0 0 0 17 0 19 0 371270450 7851036672 20163 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28991] ppid=28959 vsize=7667028 CPUtime=0 cores=0,2
/proc/28962/task/28991/stat : 28991 (java) S 28959 28962 28928 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 19 0 371270450 7851036672 20163 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28996] ppid=28959 vsize=7667028 CPUtime=0.01 cores=0,2
/proc/28962/task/28996/stat : 28996 (java) S 28959 28962 28928 0 -1 4202560 873 0 0 0 1 0 0 0 16 0 19 0 371270453 7851036672 20163 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 0 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29003] ppid=28959 vsize=7667028 CPUtime=0 cores=0,2
/proc/28962/task/29003/stat : 29003 (java) S 28959 28962 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371270454 7851036672 20163 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29005] ppid=28959 vsize=7667028 CPUtime=0 cores=0,2
/proc/28962/task/29005/stat : 29005 (java) S 28959 28962 28928 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371270454 7851036672 20163 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 4
[pid=28962/tid=29031] ppid=28959 vsize=7667028 CPUtime=0 cores=0,2
/proc/28962/task/29031/stat : 29031 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270460 7851036672 20163 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134537649 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29032] ppid=28959 vsize=7667028 CPUtime=0.23 cores=0,2
/proc/28962/task/29032/stat : 29032 (java) S 28959 28962 28928 0 -1 4202560 1646 0 0 0 23 0 0 0 15 0 19 0 371270460 7851036672 20163 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29039] ppid=28959 vsize=7667028 CPUtime=0.37 cores=0,2
/proc/28962/task/29039/stat : 29039 (java) R 28959 28962 28928 0 -1 4202560 8279 0 0 0 36 1 0 0 15 0 19 0 371270460 7851036672 20163 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228122407907 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28962/tid=29040] ppid=28959 vsize=7667028 CPUtime=0 cores=0,2
/proc/28962/task/29040/stat : 29040 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371270460 7851036672 20163 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29041] ppid=28959 vsize=7667028 CPUtime=0 cores=0,2
/proc/28962/task/29041/stat : 29041 (java) R 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371270460 7851036672 20165 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28962/tid=29058] ppid=28959 vsize=7667028 CPUtime=0 cores=0,2
/proc/28962/task/29058/stat : 29058 (java) S 28959 28962 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371270478 7851036672 20167 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 7667028

[startup+3.10157 s]
/proc/loadavg: 1.24 1.10 1.46 5/262 29061
/proc/meminfo: memFree=16093612/32951124 swapFree=67111528/67111528
[pid=28962] ppid=28959 vsize=7663540 CPUtime=3.53 cores=0,2
/proc/28962/stat : 28962 (java) S 28959 28962 28928 0 -1 4202496 23621 0 102 0 348 5 0 0 17 0 19 0 371270437 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/28962/statm: 1915885 20515 2254 9 0 1906623 0
[pid=28962/tid=28974] ppid=28959 vsize=7663540 CPUtime=2.77 cores=0,2
/proc/28962/task/28974/stat : 28974 (java) R 28959 28962 28928 0 -1 4202560 10115 0 46 0 275 2 0 0 25 0 19 0 371270446 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 46912505593103 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=28962/tid=28980] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28980/stat : 28980 (java) S 28959 28962 28928 0 -1 4202560 268 0 0 0 0 0 0 0 16 0 19 0 371270450 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28981] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28981/stat : 28981 (java) S 28959 28962 28928 0 -1 4202560 696 0 0 0 0 0 0 0 15 0 19 0 371270450 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28982] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28982/stat : 28982 (java) S 28959 28962 28928 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 371270450 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28984] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28984/stat : 28984 (java) S 28959 28962 28928 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 371270450 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28985] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28985/stat : 28985 (java) S 28959 28962 28928 0 -1 4202560 116 0 0 0 0 0 0 0 16 0 19 0 371270450 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28987] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28987/stat : 28987 (java) S 28959 28962 28928 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 371270450 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28989] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28989/stat : 28989 (java) S 28959 28962 28928 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 371270450 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28991] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28991/stat : 28991 (java) S 28959 28962 28928 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 371270450 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28996] ppid=28959 vsize=7663540 CPUtime=0.04 cores=0,2
/proc/28962/task/28996/stat : 28996 (java) S 28959 28962 28928 0 -1 4202560 1177 0 0 0 4 0 0 0 16 0 19 0 371270453 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 0 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29003] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29003/stat : 29003 (java) S 28959 28962 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371270454 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29005] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29005/stat : 29005 (java) S 28959 28962 28928 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371270454 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 4
[pid=28962/tid=29031] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29031/stat : 29031 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270460 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134537649 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29032] ppid=28959 vsize=7663540 CPUtime=0.25 cores=0,2
/proc/28962/task/29032/stat : 29032 (java) S 28959 28962 28928 0 -1 4202560 1648 0 0 0 25 0 0 0 15 0 19 0 371270460 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29039] ppid=28959 vsize=7663540 CPUtime=0.41 cores=0,2
/proc/28962/task/29039/stat : 29039 (java) S 28959 28962 28928 0 -1 4202560 8310 0 0 0 40 1 0 0 15 0 19 0 371270460 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29040] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29040/stat : 29040 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371270460 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29041] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29041/stat : 29041 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371270460 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29058] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29058/stat : 29058 (java) S 28959 28962 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371270478 7847464960 20515 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 7663540

[startup+6.30104 s]
/proc/loadavg: 1.46 1.15 1.47 5/262 29061
/proc/meminfo: memFree=16024640/32951124 swapFree=67111528/67111528
[pid=28962] ppid=28959 vsize=7663540 CPUtime=6.74 cores=0,2
/proc/28962/stat : 28962 (java) S 28959 28962 28928 0 -1 4202496 24037 0 102 0 669 5 0 0 17 0 19 0 371270437 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/28962/statm: 1915885 20928 2254 9 0 1906623 0
[pid=28962/tid=28974] ppid=28959 vsize=7663540 CPUtime=5.92 cores=0,2
/proc/28962/task/28974/stat : 28974 (java) R 28959 28962 28928 0 -1 4202560 10118 0 46 0 590 2 0 0 25 0 19 0 371270446 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 46912505592992 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=28962/tid=28980] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28980/stat : 28980 (java) S 28959 28962 28928 0 -1 4202560 269 0 0 0 0 0 0 0 16 0 19 0 371270450 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28981] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28981/stat : 28981 (java) S 28959 28962 28928 0 -1 4202560 698 0 0 0 0 0 0 0 15 0 19 0 371270450 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28982] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28982/stat : 28982 (java) S 28959 28962 28928 0 -1 4202560 244 0 0 0 0 0 0 0 15 0 19 0 371270450 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28984] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28984/stat : 28984 (java) S 28959 28962 28928 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 19 0 371270450 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28985] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28985/stat : 28985 (java) S 28959 28962 28928 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 371270450 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28987] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28987/stat : 28987 (java) S 28959 28962 28928 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 371270450 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28989] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28989/stat : 28989 (java) S 28959 28962 28928 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 371270450 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28991] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/28991/stat : 28991 (java) S 28959 28962 28928 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 371270450 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=28996] ppid=28959 vsize=7663540 CPUtime=0.08 cores=0,2
/proc/28962/task/28996/stat : 28996 (java) S 28959 28962 28928 0 -1 4202560 1295 0 0 0 8 0 0 0 15 0 19 0 371270453 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 0 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29003] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29003/stat : 29003 (java) S 28959 28962 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371270454 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29005] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29005/stat : 29005 (java) S 28959 28962 28928 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371270454 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 4
[pid=28962/tid=29031] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29031/stat : 29031 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270460 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134537649 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29032] ppid=28959 vsize=7663540 CPUtime=0.25 cores=0,2
/proc/28962/task/29032/stat : 29032 (java) S 28959 28962 28928 0 -1 4202560 1648 0 0 0 25 0 0 0 15 0 19 0 371270460 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29039] ppid=28959 vsize=7663540 CPUtime=0.43 cores=0,2
/proc/28962/task/29039/stat : 29039 (java) S 28959 28962 28928 0 -1 4202560 8317 0 0 0 42 1 0 0 15 0 19 0 371270460 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29040] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29040/stat : 29040 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371270460 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29041] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29041/stat : 29041 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371270460 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29058] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29058/stat : 29058 (java) S 28959 28962 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371270478 7847464960 20928 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 7663540

[startup+12.7009 s]

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

[pid=28962/tid=28987] ppid=28959 vsize=7663540 CPUtime=0.08 cores=0,2
/proc/28962/task/28987/stat : 28987 (java) S 28959 28962 28928 0 -1 4202560 107 0 0 0 8 0 0 0 15 0 19 0 371270450 7847464960 22927 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28989] ppid=28959 vsize=7663540 CPUtime=0.09 cores=0,2
/proc/28962/task/28989/stat : 28989 (java) S 28959 28962 28928 0 -1 4202560 169 0 0 0 9 0 0 0 15 0 19 0 371270450 7847464960 22927 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28991] ppid=28959 vsize=7663540 CPUtime=0.1 cores=0,2
/proc/28962/task/28991/stat : 28991 (java) S 28959 28962 28928 0 -1 4202560 87 0 0 0 10 0 0 0 15 0 19 0 371270450 7847464960 22927 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28996] ppid=28959 vsize=7663540 CPUtime=5.55 cores=0,2
/proc/28962/task/28996/stat : 28996 (java) S 28959 28962 28928 0 -1 4202560 2559 0 0 0 555 0 0 0 15 0 19 0 371270453 7847464960 22927 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 0 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29003] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29003/stat : 29003 (java) S 28959 28962 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371270454 7847464960 22927 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29005] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29005/stat : 29005 (java) S 28959 28962 28928 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371270454 7847464960 22927 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 4
[pid=28962/tid=29031] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29031/stat : 29031 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270460 7847464960 22927 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134537649 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29032] ppid=28959 vsize=7663540 CPUtime=0.25 cores=0,2
/proc/28962/task/29032/stat : 29032 (java) S 28959 28962 28928 0 -1 4202560 1648 0 0 0 25 0 0 0 15 0 19 0 371270460 7847464960 22927 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29039] ppid=28959 vsize=7663540 CPUtime=0.46 cores=0,2
/proc/28962/task/29039/stat : 29039 (java) S 28959 28962 28928 0 -1 4202560 8323 0 0 0 45 1 0 0 15 0 19 0 371270460 7847464960 22927 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29040] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29040/stat : 29040 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371270460 7847464960 22927 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29041] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29041/stat : 29041 (java) S 28959 28962 28928 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 371270460 7847464960 22927 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29058] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29058/stat : 29058 (java) S 28959 28962 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371270478 7847464960 22927 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1123.07
Current children cumulated vsize (KiB) 7663540

[startup+1182.3 s]
/proc/loadavg: 4.06 3.95 3.27 6/262 29093
/proc/meminfo: memFree=15554900/32951124 swapFree=67111528/67111528
[pid=28962] ppid=28959 vsize=7663540 CPUtime=1183.08 cores=0,2
/proc/28962/stat : 28962 (java) S 28959 28962 28928 0 -1 4202496 26458 0 102 0 118299 9 0 0 17 0 19 0 371270437 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/28962/statm: 1915885 22983 2255 9 0 1906623 0
[pid=28962/tid=28974] ppid=28959 vsize=7663540 CPUtime=1175.65 cores=0,2
/proc/28962/task/28974/stat : 28974 (java) R 28959 28962 28928 0 -1 4202560 10377 0 46 0 117561 4 0 0 25 0 19 0 371270446 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 46912505593356 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=28962/tid=28980] ppid=28959 vsize=7663540 CPUtime=0.12 cores=0,2
/proc/28962/task/28980/stat : 28980 (java) S 28959 28962 28928 0 -1 4202560 278 0 0 0 12 0 0 0 15 0 19 0 371270450 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28981] ppid=28959 vsize=7663540 CPUtime=0.09 cores=0,2
/proc/28962/task/28981/stat : 28981 (java) S 28959 28962 28928 0 -1 4202560 818 0 0 0 9 0 0 0 15 0 19 0 371270450 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28982] ppid=28959 vsize=7663540 CPUtime=0.11 cores=0,2
/proc/28962/task/28982/stat : 28982 (java) S 28959 28962 28928 0 -1 4202560 570 0 0 0 11 0 0 0 15 0 19 0 371270450 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28984] ppid=28959 vsize=7663540 CPUtime=0.09 cores=0,2
/proc/28962/task/28984/stat : 28984 (java) S 28959 28962 28928 0 -1 4202560 166 0 0 0 9 0 0 0 15 0 19 0 371270450 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28985] ppid=28959 vsize=7663540 CPUtime=0.1 cores=0,2
/proc/28962/task/28985/stat : 28985 (java) S 28959 28962 28928 0 -1 4202560 132 0 0 0 10 0 0 0 15 0 19 0 371270450 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28987] ppid=28959 vsize=7663540 CPUtime=0.09 cores=0,2
/proc/28962/task/28987/stat : 28987 (java) S 28959 28962 28928 0 -1 4202560 107 0 0 0 9 0 0 0 15 0 19 0 371270450 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28989] ppid=28959 vsize=7663540 CPUtime=0.09 cores=0,2
/proc/28962/task/28989/stat : 28989 (java) S 28959 28962 28928 0 -1 4202560 169 0 0 0 9 0 0 0 15 0 19 0 371270450 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28991] ppid=28959 vsize=7663540 CPUtime=0.11 cores=0,2
/proc/28962/task/28991/stat : 28991 (java) S 28959 28962 28928 0 -1 4202560 87 0 0 0 11 0 0 0 15 0 19 0 371270450 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28996] ppid=28959 vsize=7663540 CPUtime=5.83 cores=0,2
/proc/28962/task/28996/stat : 28996 (java) S 28959 28962 28928 0 -1 4202560 2618 0 0 0 583 0 0 0 15 0 19 0 371270453 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 0 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29003] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29003/stat : 29003 (java) S 28959 28962 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371270454 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29005] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29005/stat : 29005 (java) S 28959 28962 28928 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371270454 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 4
[pid=28962/tid=29031] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29031/stat : 29031 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270460 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134537649 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29032] ppid=28959 vsize=7663540 CPUtime=0.25 cores=0,2
/proc/28962/task/29032/stat : 29032 (java) S 28959 28962 28928 0 -1 4202560 1648 0 0 0 25 0 0 0 15 0 19 0 371270460 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29039] ppid=28959 vsize=7663540 CPUtime=0.46 cores=0,2
/proc/28962/task/29039/stat : 29039 (java) S 28959 28962 28928 0 -1 4202560 8323 0 0 0 45 1 0 0 15 0 19 0 371270460 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29040] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29040/stat : 29040 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371270460 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29041] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29041/stat : 29041 (java) S 28959 28962 28928 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371270460 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29058] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29058/stat : 29058 (java) S 28959 28962 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371270478 7847464960 22983 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1183.08
Current children cumulated vsize (KiB) 7663540

[startup+1242.3 s]
/proc/loadavg: 4.02 3.96 3.31 5/262 29094
/proc/meminfo: memFree=15538584/32951124 swapFree=67111528/67111528
[pid=28962] ppid=28959 vsize=7663540 CPUtime=1243.1 cores=0,2
/proc/28962/stat : 28962 (java) S 28959 28962 28928 0 -1 4202496 26519 0 102 0 124301 9 0 0 17 0 19 0 371270437 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/28962/statm: 1915885 23025 2255 9 0 1906623 0
[pid=28962/tid=28974] ppid=28959 vsize=7663540 CPUtime=1235.34 cores=0,2
/proc/28962/task/28974/stat : 28974 (java) R 28959 28962 28928 0 -1 4202560 10388 0 46 0 123530 4 0 0 25 0 19 0 371270446 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 46912505593330 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=28962/tid=28980] ppid=28959 vsize=7663540 CPUtime=0.13 cores=0,2
/proc/28962/task/28980/stat : 28980 (java) S 28959 28962 28928 0 -1 4202560 279 0 0 0 13 0 0 0 15 0 19 0 371270450 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28981] ppid=28959 vsize=7663540 CPUtime=0.1 cores=0,2
/proc/28962/task/28981/stat : 28981 (java) S 28959 28962 28928 0 -1 4202560 819 0 0 0 10 0 0 0 15 0 19 0 371270450 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28982] ppid=28959 vsize=7663540 CPUtime=0.11 cores=0,2
/proc/28962/task/28982/stat : 28982 (java) S 28959 28962 28928 0 -1 4202560 570 0 0 0 11 0 0 0 15 0 19 0 371270450 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28984] ppid=28959 vsize=7663540 CPUtime=0.1 cores=0,2
/proc/28962/task/28984/stat : 28984 (java) S 28959 28962 28928 0 -1 4202560 166 0 0 0 10 0 0 0 15 0 19 0 371270450 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28985] ppid=28959 vsize=7663540 CPUtime=0.11 cores=0,2
/proc/28962/task/28985/stat : 28985 (java) S 28959 28962 28928 0 -1 4202560 134 0 0 0 11 0 0 0 15 0 19 0 371270450 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28987] ppid=28959 vsize=7663540 CPUtime=0.09 cores=0,2
/proc/28962/task/28987/stat : 28987 (java) S 28959 28962 28928 0 -1 4202560 107 0 0 0 9 0 0 0 15 0 19 0 371270450 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28989] ppid=28959 vsize=7663540 CPUtime=0.09 cores=0,2
/proc/28962/task/28989/stat : 28989 (java) S 28959 28962 28928 0 -1 4202560 169 0 0 0 9 0 0 0 16 0 19 0 371270450 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28991] ppid=28959 vsize=7663540 CPUtime=0.11 cores=0,2
/proc/28962/task/28991/stat : 28991 (java) S 28959 28962 28928 0 -1 4202560 87 0 0 0 11 0 0 0 15 0 19 0 371270450 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28996] ppid=28959 vsize=7663540 CPUtime=6.12 cores=0,2
/proc/28962/task/28996/stat : 28996 (java) S 28959 28962 28928 0 -1 4202560 2660 0 0 0 612 0 0 0 15 0 19 0 371270453 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 0 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29003] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29003/stat : 29003 (java) S 28959 28962 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371270454 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29005] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29005/stat : 29005 (java) S 28959 28962 28928 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371270454 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 4
[pid=28962/tid=29031] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29031/stat : 29031 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270460 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134537649 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29032] ppid=28959 vsize=7663540 CPUtime=0.25 cores=0,2
/proc/28962/task/29032/stat : 29032 (java) S 28959 28962 28928 0 -1 4202560 1648 0 0 0 25 0 0 0 15 0 19 0 371270460 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29039] ppid=28959 vsize=7663540 CPUtime=0.46 cores=0,2
/proc/28962/task/29039/stat : 29039 (java) S 28959 28962 28928 0 -1 4202560 8323 0 0 0 45 1 0 0 15 0 19 0 371270460 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29040] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29040/stat : 29040 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371270460 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29041] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29041/stat : 29041 (java) S 28959 28962 28928 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371270460 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29058] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29058/stat : 29058 (java) S 28959 28962 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371270478 7847464960 23025 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1243.1
Current children cumulated vsize (KiB) 7663540



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.01 3.96 3.35 5/262 29096
/proc/meminfo: memFree=15528000/32951124 swapFree=67111528/67111528
[pid=28962] ppid=28959 vsize=7663540 CPUtime=1300.82 cores=0,2
/proc/28962/stat : 28962 (java) S 28959 28962 28928 0 -1 4202496 26537 0 102 0 130073 9 0 0 17 0 19 0 371270437 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7
/proc/28962/statm: 1915885 23026 2255 9 0 1906623 0
[pid=28962/tid=28974] ppid=28959 vsize=7663540 CPUtime=1292.73 cores=0,2
/proc/28962/task/28974/stat : 28974 (java) R 28959 28962 28928 0 -1 4202560 10399 0 46 0 129269 4 0 0 25 0 19 0 371270446 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 46912505606790 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=28962/tid=28980] ppid=28959 vsize=7663540 CPUtime=0.14 cores=0,2
/proc/28962/task/28980/stat : 28980 (java) S 28959 28962 28928 0 -1 4202560 279 0 0 0 14 0 0 0 15 0 19 0 371270450 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28981] ppid=28959 vsize=7663540 CPUtime=0.1 cores=0,2
/proc/28962/task/28981/stat : 28981 (java) S 28959 28962 28928 0 -1 4202560 819 0 0 0 10 0 0 0 15 0 19 0 371270450 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28982] ppid=28959 vsize=7663540 CPUtime=0.11 cores=0,2
/proc/28962/task/28982/stat : 28982 (java) S 28959 28962 28928 0 -1 4202560 570 0 0 0 11 0 0 0 15 0 19 0 371270450 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28984] ppid=28959 vsize=7663540 CPUtime=0.1 cores=0,2
/proc/28962/task/28984/stat : 28984 (java) S 28959 28962 28928 0 -1 4202560 167 0 0 0 10 0 0 0 15 0 19 0 371270450 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28985] ppid=28959 vsize=7663540 CPUtime=0.12 cores=0,2
/proc/28962/task/28985/stat : 28985 (java) S 28959 28962 28928 0 -1 4202560 134 0 0 0 12 0 0 0 15 0 19 0 371270450 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28987] ppid=28959 vsize=7663540 CPUtime=0.09 cores=0,2
/proc/28962/task/28987/stat : 28987 (java) S 28959 28962 28928 0 -1 4202560 107 0 0 0 9 0 0 0 15 0 19 0 371270450 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28989] ppid=28959 vsize=7663540 CPUtime=0.1 cores=0,2
/proc/28962/task/28989/stat : 28989 (java) S 28959 28962 28928 0 -1 4202560 169 0 0 0 10 0 0 0 15 0 19 0 371270450 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28991] ppid=28959 vsize=7663540 CPUtime=0.12 cores=0,2
/proc/28962/task/28991/stat : 28991 (java) S 28959 28962 28928 0 -1 4202560 87 0 0 0 12 0 0 0 15 0 19 0 371270450 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=28996] ppid=28959 vsize=7663540 CPUtime=6.41 cores=0,2
/proc/28962/task/28996/stat : 28996 (java) S 28959 28962 28928 0 -1 4202560 2662 0 0 0 641 0 0 0 15 0 19 0 371270453 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 0 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29003] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29003/stat : 29003 (java) S 28959 28962 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371270454 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29005] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29005/stat : 29005 (java) S 28959 28962 28928 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371270454 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 4
[pid=28962/tid=29031] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29031/stat : 29031 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270460 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134537649 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29032] ppid=28959 vsize=7663540 CPUtime=0.25 cores=0,2
/proc/28962/task/29032/stat : 29032 (java) S 28959 28962 28928 0 -1 4202560 1648 0 0 0 25 0 0 0 15 0 19 0 371270460 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29039] ppid=28959 vsize=7663540 CPUtime=0.46 cores=0,2
/proc/28962/task/29039/stat : 29039 (java) S 28959 28962 28928 0 -1 4202560 8323 0 0 0 45 1 0 0 15 0 19 0 371270460 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
[pid=28962/tid=29040] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29040/stat : 29040 (java) S 28959 28962 28928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371270460 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134529945 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29041] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29041/stat : 29041 (java) S 28959 28962 28928 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371270460 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 4 0 16800975 18446604453946483136 0 0 -1 2 0 0 0
[pid=28962/tid=29058] ppid=28959 vsize=7663540 CPUtime=0 cores=0,2
/proc/28962/task/29058/stat : 29058 (java) S 28959 28962 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371270478 7847464960 23026 33554432000 1073741824 1073778376 140735613886272 18446744073709551615 228134530560 0 4 0 16800975 18446604453946483136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1300.82
Current children cumulated vsize (KiB) 7663540

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): 1300.89
CPU user time (s): 1300.78
CPU system time (s): 0.101984
CPU usage (%): 100.065
Max. virtual memory (cumulated for all children) (KiB): 7667028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.78
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26574
page faults= 102
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34488
involuntary context switches= 10417

runsolver used 2.24266 second user time and 4.88426 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-12 10:25:25
IDJOB=3190184
IDBENCH=82515
IDSOLVER=1611
FILE ID=node138/3190184-1302596724
RUNJOBID= node138-1302596724-28946
PBS_JOBID= 12958089
Free space on /tmp= 71500 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k7-r85-v250-c21250-S1682211323-009-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-3190184-1302596724/watcher-3190184-1302596724 -o /tmp/evaluation-result-3190184-1302596724/solver-3190184-1302596724 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190184-1302596724.cnf

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

MD5SUM BENCH= 917ee0efab4f0e89027865c1129d272b
RANDOM SEED=1517792099

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
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.854
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.854
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.854
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.80
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.854
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.854
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.82
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.854
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:      16383820 kB
Buffers:        668848 kB
Cached:       15430376 kB
SwapCached:          0 kB
Active:        7583368 kB
Inactive:      8578944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16383820 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             824 kB
Writeback:           0 kB
AnonPages:       63664 kB
Mapped:          14324 kB
Slab:           340324 kB
PageTables:       5420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188540 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= 71492 MiB
End job on node138 at 2011-04-12 10:47:07