Trace number 3190300

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

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf
MD5SUM320e47ec6251e96728575b0221aebaa2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark17.7973
Satisfiable
(Un)Satisfiability was proved
Number of variables1250
Number of clauses25000
Sum of the clauses size125000
Maximum clause length5
Minimum clause length5
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 525000
Number of clauses of size over 50

Solver Data 

0.06/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.07	c See www.sat4j.org for details.
0.06/0.07	c no version file found!!!
0.06/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.07	c java.vm.version	19.1-b02
0.06/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.07	c sun.arch.data.model	64
0.06/0.07	c java.version		1.6.0_24
0.06/0.07	c os.name		Linux
0.06/0.07	c os.version		2.6.18-164.el5
0.06/0.07	c os.arch		amd64
0.06/0.07	c Free memory 		6997539544
0.06/0.07	c Max memory 		7034241024
0.06/0.07	c Total memory 		7034241024
0.06/0.07	c Number of processors 	8
0.06/0.10	c --- Begin Solver configuration ---
0.06/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.06/0.10	c Learn all clauses as in MiniSAT
0.06/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.06/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.06/0.10	c Expensive reason simplification
0.06/0.10	c Armin Biere (Picosat) restarts strategy
0.06/0.10	c Glucose learned constraints deletion strategy
0.06/0.10	c timeout=2147483647s
0.06/0.10	c DB Simplification allowed=true
0.06/0.10	c --- End Solver configuration ---
0.06/0.10	c solving HOME/instance-3190300-1307633285.cnf
0.06/0.10	c reading problem ... 
0.06/0.19	c ... done. Wall clock time 0.106s.
0.06/0.19	c #vars     1250
0.06/0.19	c #constraints  25000
0.06/0.19	c constraints type 
0.06/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25000
1.74/1.33	c cleaning 2499 clauses out of 5000 with flag 5000/5000
3.00/2.33	c cleaning 4243 clauses out of 8501 with flag 11000/11000
4.20/3.52	c cleaning 5627 clauses out of 11259 with flag 18001/18001
5.61/4.92	c cleaning 6813 clauses out of 13631 with flag 26000/26000
7.22/6.54	c cleaning 7905 clauses out of 15818 with flag 35000/35000
9.02/8.38	c cleaning 8956 clauses out of 17913 with flag 45000/45000
11.12/10.46	c cleaning 9976 clauses out of 19957 with flag 56000/56000
13.52/12.84	c cleaning 10986 clauses out of 21981 with flag 68000/68000
16.13/15.41	c cleaning 11994 clauses out of 23995 with flag 81000/81000
18.93/18.21	c cleaning 12999 clauses out of 26002 with flag 95001/95001
22.02/21.31	c cleaning 13997 clauses out of 28002 with flag 110000/110000
25.33/24.69	c cleaning 14993 clauses out of 30005 with flag 126000/126000
28.93/28.25	c cleaning 16000 clauses out of 32012 with flag 143000/143000
32.75/32.06	c cleaning 16998 clauses out of 34012 with flag 161000/161000
36.94/36.21	c cleaning 18003 clauses out of 36014 with flag 180000/180000
41.34/40.68	c cleaning 19002 clauses out of 38011 with flag 200000/200000
46.14/45.50	c cleaning 19996 clauses out of 40010 with flag 221001/221001
51.35/50.64	c cleaning 21003 clauses out of 42013 with flag 243000/243000
56.75/56.09	c cleaning 22001 clauses out of 44010 with flag 266000/266000
62.36/61.62	c cleaning 22997 clauses out of 46010 with flag 290001/290001
68.26/67.58	c cleaning 24003 clauses out of 48012 with flag 315000/315000
74.46/73.80	c cleaning 24500 clauses out of 49009 with flag 340000/340000
80.56/79.84	c cleaning 24745 clauses out of 49509 with flag 365000/365000
86.58/85.90	c cleaning 24879 clauses out of 49764 with flag 390000/390000
92.97/92.24	c cleaning 24938 clauses out of 49887 with flag 415002/415002
98.88/98.14	c cleaning 24971 clauses out of 49947 with flag 440000/440000
105.08/104.37	c cleaning 24986 clauses out of 49976 with flag 465000/465000
110.89/110.14	c cleaning 24990 clauses out of 49991 with flag 490001/490001
117.19/116.40	c cleaning 24995 clauses out of 50002 with flag 515002/515002
123.09/122.31	c cleaning 24992 clauses out of 50007 with flag 540002/540002
129.39/128.65	c cleaning 25005 clauses out of 50014 with flag 565001/565001
135.19/134.45	c cleaning 24993 clauses out of 50008 with flag 590000/590000
141.60/140.81	c cleaning 25007 clauses out of 50015 with flag 615000/615000
147.50/146.75	c cleaning 24998 clauses out of 50009 with flag 640001/640001
153.40/152.61	c cleaning 25001 clauses out of 50012 with flag 665002/665002
159.70/158.90	c cleaning 24995 clauses out of 50009 with flag 690000/690000
165.51/164.80	c cleaning 25004 clauses out of 50015 with flag 715001/715001
171.31/170.59	c cleaning 24999 clauses out of 50010 with flag 740000/740000
177.61/176.85	c cleaning 25001 clauses out of 50014 with flag 765003/765003
183.52/182.79	c cleaning 25002 clauses out of 50010 with flag 790000/790000
189.41/188.69	c cleaning 24994 clauses out of 50009 with flag 815001/815001
195.72/194.94	c cleaning 25002 clauses out of 50014 with flag 840000/840000
201.62/200.88	c cleaning 24992 clauses out of 50012 with flag 865000/865000
207.52/206.77	c cleaning 25004 clauses out of 50023 with flag 890003/890003
213.82/213.02	c cleaning 25008 clauses out of 50017 with flag 915001/915001
219.73/219.00	c cleaning 25002 clauses out of 50008 with flag 940000/940000
225.53/224.76	c cleaning 24997 clauses out of 50007 with flag 965001/965001
231.63/230.85	c cleaning 25000 clauses out of 50009 with flag 990000/990000
238.03/237.27	c cleaning 25002 clauses out of 50009 with flag 1015000/1015000
243.94/243.14	c cleaning 24992 clauses out of 50007 with flag 1040000/1040000
249.64/248.89	c cleaning 24998 clauses out of 50017 with flag 1065002/1065002
255.64/254.84	c cleaning 25001 clauses out of 50019 with flag 1090002/1090002
261.74/260.92	c cleaning 25005 clauses out of 50016 with flag 1115000/1115000
267.84/267.01	c cleaning 25002 clauses out of 50012 with flag 1140001/1140001
273.54/272.79	c cleaning 24998 clauses out of 50011 with flag 1165002/1165002
279.55/278.74	c cleaning 24998 clauses out of 50011 with flag 1190000/1190000
285.55/284.71	c cleaning 25001 clauses out of 50014 with flag 1215001/1215001
291.95/291.12	c cleaning 25002 clauses out of 50012 with flag 1240000/1240000
297.86/297.04	c cleaning 24999 clauses out of 50011 with flag 1265001/1265001
303.86/303.02	c cleaning 25000 clauses out of 50011 with flag 1290000/1290000
309.76/308.97	c cleaning 25004 clauses out of 50015 with flag 1315004/1315004
315.86/315.02	c cleaning 24992 clauses out of 50008 with flag 1340001/1340001
322.37/321.58	c cleaning 25004 clauses out of 50016 with flag 1365001/1365001
328.27/327.48	c cleaning 25002 clauses out of 50012 with flag 1390001/1390001
334.17/333.36	c cleaning 25000 clauses out of 50009 with flag 1415000/1415000
340.07/339.23	c cleaning 24999 clauses out of 50011 with flag 1440002/1440002
346.28/345.46	c cleaning 25002 clauses out of 50010 with flag 1465000/1465000
352.67/351.84	c cleaning 24988 clauses out of 50008 with flag 1490000/1490000
358.98/358.16	c cleaning 25004 clauses out of 50021 with flag 1515001/1515001
364.88/364.00	c cleaning 25000 clauses out of 50016 with flag 1540000/1540000
370.68/369.87	c cleaning 25000 clauses out of 50016 with flag 1565000/1565000
376.88/376.00	c cleaning 24993 clauses out of 50016 with flag 1590000/1590000
382.88/382.03	c cleaning 25003 clauses out of 50023 with flag 1615000/1615000
389.31/388.43	c cleaning 24992 clauses out of 50021 with flag 1640001/1640001
395.91/395.01	c cleaning 25009 clauses out of 50028 with flag 1665000/1665000
401.81/400.95	c cleaning 24997 clauses out of 50019 with flag 1690000/1690000
407.71/406.87	c cleaning 25006 clauses out of 50022 with flag 1715000/1715000
413.81/412.97	c cleaning 25000 clauses out of 50016 with flag 1740000/1740000
420.12/419.25	c cleaning 25002 clauses out of 50016 with flag 1765000/1765000
426.33/425.48	c cleaning 24994 clauses out of 50014 with flag 1790000/1790000
432.53/431.69	c cleaning 25005 clauses out of 50020 with flag 1815000/1815000
439.03/438.10	c cleaning 25006 clauses out of 50016 with flag 1840001/1840001
444.93/444.01	c cleaning 24995 clauses out of 50009 with flag 1865000/1865000
450.84/449.91	c cleaning 24998 clauses out of 50014 with flag 1890000/1890000
456.84/455.94	c cleaning 24995 clauses out of 50017 with flag 1915001/1915001
462.94/462.07	c cleaning 25000 clauses out of 50022 with flag 1940001/1940001
469.24/468.38	c cleaning 24999 clauses out of 50021 with flag 1965000/1965000
475.44/474.53	c cleaning 24997 clauses out of 50022 with flag 1990000/1990000
481.84/480.99	c cleaning 25008 clauses out of 50028 with flag 2015003/2015003
488.05/487.13	c cleaning 25002 clauses out of 50017 with flag 2040000/2040000
493.95/493.00	c cleaning 25001 clauses out of 50015 with flag 2065000/2065000
499.75/498.88	c cleaning 24994 clauses out of 50014 with flag 2090000/2090000
506.05/505.12	c cleaning 24999 clauses out of 50020 with flag 2115000/2115000
512.06/511.16	c cleaning 25000 clauses out of 50021 with flag 2140000/2140000
518.26/517.38	c cleaning 24996 clauses out of 50022 with flag 2165001/2165001
524.67/523.76	c cleaning 25010 clauses out of 50025 with flag 2190000/2190000
531.27/530.33	c cleaning 24999 clauses out of 50016 with flag 2215001/2215001
537.57/536.64	c cleaning 25003 clauses out of 50016 with flag 2240000/2240000
543.37/542.48	c cleaning 25002 clauses out of 50013 with flag 2265000/2265000
549.27/548.39	c cleaning 24999 clauses out of 50014 with flag 2290003/2290003
555.27/554.38	c cleaning 24996 clauses out of 50014 with flag 2315002/2315002
561.38/560.45	c cleaning 24999 clauses out of 50016 with flag 2340000/2340000
567.78/566.83	c cleaning 24999 clauses out of 50019 with flag 2365002/2365002
574.08/573.19	c cleaning 24997 clauses out of 50018 with flag 2390000/2390000
580.48/579.56	c cleaning 24987 clauses out of 50021 with flag 2415000/2415000
586.78/585.84	c cleaning 25005 clauses out of 50034 with flag 2440000/2440000
593.19/592.20	c cleaning 25011 clauses out of 50030 with flag 2465001/2465001
599.19/598.27	c cleaning 25002 clauses out of 50018 with flag 2490000/2490000
605.29/604.37	c cleaning 25006 clauses out of 50017 with flag 2515001/2515001
611.39/610.43	c cleaning 24997 clauses out of 50011 with flag 2540001/2540001
617.50/616.54	c cleaning 24999 clauses out of 50013 with flag 2565000/2565000
623.60/622.65	c cleaning 24993 clauses out of 50015 with flag 2590001/2590001
630.00/629.04	c cleaning 25002 clauses out of 50024 with flag 2615003/2615003
636.51/635.55	c cleaning 25003 clauses out of 50020 with flag 2640001/2640001
643.01/642.06	c cleaning 24990 clauses out of 50016 with flag 2665000/2665000
649.41/648.40	c cleaning 25005 clauses out of 50027 with flag 2690001/2690001
655.81/654.84	c cleaning 25002 clauses out of 50021 with flag 2715000/2715000
661.62/660.60	c cleaning 24997 clauses out of 50020 with flag 2740001/2740001
667.52/666.58	c cleaning 25002 clauses out of 50022 with flag 2765000/2765000
673.52/672.57	c cleaning 25002 clauses out of 50020 with flag 2790000/2790000
679.73/678.73	c cleaning 24999 clauses out of 50020 with flag 2815002/2815002
686.03/685.03	c cleaning 24991 clauses out of 50020 with flag 2840001/2840001
692.33/691.36	c cleaning 25000 clauses out of 50028 with flag 2865000/2865000
698.83/697.84	c cleaning 24997 clauses out of 50030 with flag 2890002/2890002
705.23/704.24	c cleaning 25005 clauses out of 50031 with flag 2915000/2915000
711.64/710.63	c cleaning 25005 clauses out of 50026 with flag 2940000/2940000
718.03/717.03	c cleaning 25003 clauses out of 50021 with flag 2965000/2965000
724.34/723.37	c cleaning 25006 clauses out of 50020 with flag 2990002/2990002
730.24/729.27	c cleaning 24996 clauses out of 50012 with flag 3015000/3015000
736.04/735.07	c cleaning 24995 clauses out of 50016 with flag 3040000/3040000
742.04/741.07	c cleaning 25008 clauses out of 50023 with flag 3065002/3065002
748.35/747.36	c cleaning 24994 clauses out of 50014 with flag 3090001/3090001
754.75/753.74	c cleaning 24996 clauses out of 50019 with flag 3115000/3115000
760.95/759.91	c cleaning 25004 clauses out of 50023 with flag 3140000/3140000
767.35/766.37	c cleaning 24996 clauses out of 50020 with flag 3165001/3165001
773.85/772.86	c cleaning 24999 clauses out of 50023 with flag 3190000/3190000
780.15/779.19	c cleaning 25005 clauses out of 50026 with flag 3215002/3215002
786.46/785.41	c cleaning 25003 clauses out of 50019 with flag 3240000/3240000
792.56/791.57	c cleaning 24997 clauses out of 50016 with flag 3265000/3265000
799.07/798.05	c cleaning 25000 clauses out of 50019 with flag 3290000/3290000
805.08/804.05	c cleaning 24994 clauses out of 50019 with flag 3315000/3315000
811.08/810.01	c cleaning 25002 clauses out of 50025 with flag 3340000/3340000
817.07/816.04	c cleaning 25000 clauses out of 50024 with flag 3365001/3365001
823.28/822.23	c cleaning 25006 clauses out of 50023 with flag 3390000/3390000
829.49/828.41	c cleaning 24999 clauses out of 50018 with flag 3415001/3415001
835.88/834.81	c cleaning 25007 clauses out of 50020 with flag 3440002/3440002
842.28/841.21	c cleaning 24988 clauses out of 50012 with flag 3465001/3465001
848.99/847.93	c cleaning 24998 clauses out of 50024 with flag 3490001/3490001
855.59/854.51	c cleaning 25002 clauses out of 50026 with flag 3515001/3515001
861.89/860.89	c cleaning 24992 clauses out of 50024 with flag 3540001/3540001
868.30/867.22	c cleaning 25003 clauses out of 50031 with flag 3565000/3565000
874.80/873.75	c cleaning 24998 clauses out of 50028 with flag 3590000/3590000
881.90/880.89	c cleaning 25015 clauses out of 50031 with flag 3615001/3615001
888.11/887.02	c cleaning 24999 clauses out of 50015 with flag 3640000/3640000
894.11/893.09	c cleaning 25001 clauses out of 50017 with flag 3665001/3665001
900.11/899.06	c cleaning 24998 clauses out of 50015 with flag 3690000/3690000
906.11/905.02	c cleaning 25001 clauses out of 50017 with flag 3715000/3715000
912.11/911.07	c cleaning 24994 clauses out of 50017 with flag 3740001/3740001
918.31/917.21	c cleaning 24997 clauses out of 50023 with flag 3765001/3765001
924.62/923.51	c cleaning 25001 clauses out of 50025 with flag 3790000/3790000
931.11/930.06	c cleaning 25008 clauses out of 50025 with flag 3815001/3815001
937.82/936.76	c cleaning 24983 clauses out of 50016 with flag 3840000/3840000
944.93/943.81	c cleaning 25006 clauses out of 50034 with flag 3865001/3865001
951.93/950.83	c cleaning 25005 clauses out of 50027 with flag 3890000/3890000
959.34/958.29	c cleaning 24999 clauses out of 50022 with flag 3915000/3915000
966.04/964.98	c cleaning 24991 clauses out of 50023 with flag 3940000/3940000
972.55/971.43	c cleaning 25008 clauses out of 50032 with flag 3965000/3965000
979.15/978.08	c cleaning 25006 clauses out of 50024 with flag 3990000/3990000
985.05/983.99	c cleaning 25003 clauses out of 50020 with flag 4015002/4015002
991.05/989.90	c cleaning 24998 clauses out of 50015 with flag 4040000/4040000
997.15/996.02	c cleaning 25002 clauses out of 50017 with flag 4065000/4065000
1003.26/1002.15	c cleaning 24997 clauses out of 50015 with flag 4090000/4090000
1009.36/1008.28	c cleaning 24998 clauses out of 50019 with flag 4115001/4115001
1015.66/1014.56	c cleaning 25002 clauses out of 50023 with flag 4140003/4140003
1022.16/1021.07	c cleaning 24999 clauses out of 50019 with flag 4165001/4165001
1028.76/1027.64	c cleaning 25006 clauses out of 50019 with flag 4190000/4190000
1035.47/1034.38	c cleaning 24993 clauses out of 50014 with flag 4215001/4215001
1042.07/1040.93	c cleaning 24995 clauses out of 50023 with flag 4240003/4240003
1048.48/1047.36	c cleaning 25001 clauses out of 50025 with flag 4265000/4265000
1054.88/1053.79	c cleaning 25002 clauses out of 50025 with flag 4290001/4290001
1061.88/1060.78	c cleaning 25010 clauses out of 50022 with flag 4315000/4315000
1068.88/1067.72	c cleaning 25002 clauses out of 50013 with flag 4340001/4340001
1075.49/1074.31	c cleaning 24996 clauses out of 50011 with flag 4365001/4365001
1082.49/1081.35	c cleaning 25005 clauses out of 50017 with flag 4390003/4390003
1088.49/1087.33	c cleaning 24997 clauses out of 50009 with flag 4415000/4415000
1094.29/1093.19	c cleaning 25002 clauses out of 50014 with flag 4440002/4440002
1100.39/1099.28	c cleaning 25001 clauses out of 50012 with flag 4465002/4465002
1106.50/1105.39	c cleaning 24997 clauses out of 50011 with flag 4490002/4490002
1112.90/1111.74	c cleaning 24999 clauses out of 50012 with flag 4515000/4515000
1119.20/1118.04	c cleaning 24997 clauses out of 50015 with flag 4540002/4540002
1125.70/1124.55	c cleaning 24994 clauses out of 50016 with flag 4565000/4565000
1132.40/1131.27	c cleaning 25002 clauses out of 50022 with flag 4590000/4590000
1139.31/1138.13	c cleaning 25002 clauses out of 50020 with flag 4615000/4615000
1145.91/1144.78	c cleaning 24997 clauses out of 50020 with flag 4640002/4640002
1153.02/1151.83	c cleaning 25002 clauses out of 50021 with flag 4665000/4665000
1160.02/1158.85	c cleaning 25002 clauses out of 50019 with flag 4690000/4690000
1167.12/1165.99	c cleaning 24994 clauses out of 50017 with flag 4715000/4715000
1173.72/1172.57	c cleaning 24993 clauses out of 50023 with flag 4740000/4740000
1180.03/1178.90	c cleaning 24997 clauses out of 50030 with flag 4765000/4765000
1187.33/1186.12	c cleaning 25011 clauses out of 50034 with flag 4790001/4790001
1194.43/1193.29	c cleaning 25002 clauses out of 50023 with flag 4815001/4815001
1201.04/1199.86	c cleaning 25006 clauses out of 50020 with flag 4840000/4840000
1207.14/1205.92	c cleaning 24986 clauses out of 50014 with flag 4865000/4865000
1213.25/1212.00	c cleaning 25009 clauses out of 50029 with flag 4890001/4890001
1219.35/1218.10	c cleaning 24999 clauses out of 50019 with flag 4915000/4915000
1225.45/1224.28	c cleaning 25009 clauses out of 50021 with flag 4940001/4940001
1231.56/1230.38	c cleaning 24996 clauses out of 50013 with flag 4965002/4965002
1237.86/1236.62	c cleaning 24998 clauses out of 50015 with flag 4990000/4990000
1244.26/1243.09	c cleaning 24995 clauses out of 50017 with flag 5015000/5015000
1250.76/1249.58	c cleaning 25002 clauses out of 50022 with flag 5040000/5040000
1257.16/1255.93	c cleaning 24997 clauses out of 50021 with flag 5065001/5065001
1263.57/1262.34	c cleaning 25005 clauses out of 50024 with flag 5090001/5090001
1270.07/1268.85	c cleaning 25001 clauses out of 50021 with flag 5115003/5115003
1276.77/1275.56	c cleaning 24994 clauses out of 50017 with flag 5140000/5140000
1283.57/1282.38	c cleaning 25000 clauses out of 50023 with flag 5165000/5165000
1290.58/1289.30	c cleaning 24999 clauses out of 50024 with flag 5190001/5190001
1296.88/1295.69	c cleaning 24998 clauses out of 50024 with flag 5215000/5215000
1301.29/1300.01	c starts		: 2143
1301.29/1300.01	c conflicts		: 5232091
1301.29/1300.01	c decisions		: 7273472
1301.29/1300.01	c propagations		: 502688057
1301.29/1300.01	c inspects		: 10279743531
1301.29/1300.01	c shortcuts		: 0
1301.29/1300.01	c learnt literals	: 0
1301.29/1300.01	c learnt binary clauses	: 0
1301.29/1300.01	c learnt ternary clauses	: 0
1301.29/1300.01	c learnt constraints	: 5232091
1301.29/1300.01	c ignored constraints	: 0
1301.29/1300.01	c root simplifications	: 2143
1301.29/1300.01	c removed literals (reason simplification)	: 66103781
1301.29/1300.01	c reason swapping (by a shorter reason)	: 0
1301.29/1300.01	c Calls to reduceDB	: 217
1301.29/1300.01	c speed (assignments/second)	: 386738.4564253039
1301.29/1300.01	c non guided choices	385
1301.29/1300.04	c learnt constraints type 
1301.29/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 42186
1301.29/1300.04	c constraints type 
1301.29/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25000
1301.29/1300.04	s UNKNOWN
1301.29/1300.04	c Total wall clock time (in seconds) : 1299.921

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 3/197 9681
/proc/meminfo: memFree=32053716/32951124 swapFree=67076880/67111528
[pid=9681] ppid=9679 vsize=23028 CPUtime=0 cores=0,2
/proc/9681/stat : 9681 (java) R 9679 9681 9614 0 -1 4202496 954 0 0 0 0 0 0 0 18 0 1 0 874926217 23580672 697 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212682713505 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9681/statm: 5757 697 513 9 0 124 0

[startup+0.0686599 s]
/proc/loadavg: 0.08 0.02 0.01 3/197 9681
/proc/meminfo: memFree=32053716/32951124 swapFree=67076880/67111528
[pid=9681] ppid=9679 vsize=7569940 CPUtime=0.06 cores=0,2
/proc/9681/stat : 9681 (java) S 9679 9681 9614 0 -1 4202496 9373 0 1 0 5 1 0 0 18 0 18 0 874926217 7751618560 9069 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9681/statm: 1892485 9069 1753 9 0 1883223 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7569940

[startup+0.187073 s]
/proc/loadavg: 0.08 0.02 0.01 3/197 9681
/proc/meminfo: memFree=32053716/32951124 swapFree=67076880/67111528
[pid=9681] ppid=9679 vsize=7638348 CPUtime=0.35 cores=0,2
/proc/9681/stat : 9681 (java) S 9679 9681 9614 0 -1 4202496 11998 0 1 0 34 1 0 0 18 0 19 0 874926217 7821668352 11534 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9681/statm: 1909587 11534 2204 9 0 1900325 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 7638348

[startup+0.330614 s]
/proc/loadavg: 0.08 0.02 0.01 3/197 9681
/proc/meminfo: memFree=32053716/32951124 swapFree=67076880/67111528
[pid=9681] ppid=9679 vsize=7640748 CPUtime=0.56 cores=0,2
/proc/9681/stat : 9681 (java) S 9679 9681 9614 0 -1 4202496 13280 0 1 0 54 2 0 0 18 0 19 0 874926217 7824125952 12222 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9681/statm: 1910187 12222 2220 9 0 1900925 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 7640748

[startup+0.700548 s]
/proc/loadavg: 0.08 0.02 0.01 3/197 9681
/proc/meminfo: memFree=32053716/32951124 swapFree=67076880/67111528
[pid=9681] ppid=9679 vsize=7644324 CPUtime=1.1 cores=0,2
/proc/9681/stat : 9681 (java) S 9679 9681 9614 0 -1 4202496 14783 0 1 0 108 2 0 0 18 0 19 0 874926217 7827787776 13534 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9681/statm: 1911081 13534 2224 9 0 1901819 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 7644324

[startup+1.5014 s]
/proc/loadavg: 0.63 0.13 0.04 4/239 9732
/proc/meminfo: memFree=31963796/32951124 swapFree=67076880/67111528
[pid=9681] ppid=9679 vsize=7663872 CPUtime=2.12 cores=0,2
/proc/9681/stat : 9681 (java) S 9679 9681 9614 0 -1 4202496 23761 0 1 0 209 3 0 0 18 0 19 0 874926217 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9681/statm: 1915968 20373 2252 9 0 1906706 0
[pid=9681/tid=9683] ppid=9679 vsize=7663872 CPUtime=1.45 cores=0,2
/proc/9681/task/9683/stat : 9683 (java) R 9679 9681 9614 0 -1 4202560 10658 0 1 0 144 1 0 0 20 0 19 0 874926218 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 46912505577549 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9681/tid=9684] ppid=9679 vsize=7663872 CPUtime=0 cores=0,2
/proc/9681/task/9684/stat : 9684 (java) S 9679 9681 9614 0 -1 4202560 455 0 0 0 0 0 0 0 18 0 19 0 874926219 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9685] ppid=9679 vsize=7663872 CPUtime=0 cores=0,2
/proc/9681/task/9685/stat : 9685 (java) S 9679 9681 9614 0 -1 4202560 538 0 0 0 0 0 0 0 17 0 19 0 874926219 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9686] ppid=9679 vsize=7663872 CPUtime=0 cores=0,2
/proc/9681/task/9686/stat : 9686 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 874926219 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9687] ppid=9679 vsize=7663872 CPUtime=0 cores=0,2
/proc/9681/task/9687/stat : 9687 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 874926219 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9688] ppid=9679 vsize=7663872 CPUtime=0 cores=0,2
/proc/9681/task/9688/stat : 9688 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 874926219 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9689] ppid=9679 vsize=7663872 CPUtime=0 cores=0,2
/proc/9681/task/9689/stat : 9689 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 874926219 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9690] ppid=9679 vsize=7663872 CPUtime=0 cores=0,2
/proc/9681/task/9690/stat : 9690 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 874926219 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9691] ppid=9679 vsize=7663872 CPUtime=0 cores=0,2
/proc/9681/task/9691/stat : 9691 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 874926219 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9692] ppid=9679 vsize=7663872 CPUtime=0.01 cores=0,2
/proc/9681/task/9692/stat : 9692 (java) S 9679 9681 9614 0 -1 4202560 998 0 0 0 1 0 0 0 17 0 19 0 874926220 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 0 0 16800975 18446604453636130624 0 0 -1 0 0 0 0
[pid=9681/tid=9693] ppid=9679 vsize=7663872 CPUtime=0 cores=0,2
/proc/9681/task/9693/stat : 9693 (java) S 9679 9681 9614 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 874926221 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9694] ppid=9679 vsize=7663872 CPUtime=0 cores=0,2
/proc/9681/task/9694/stat : 9694 (java) R 9679 9681 9614 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 874926221 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9681/tid=9695] ppid=9679 vsize=7663872 CPUtime=0 cores=0,2
/proc/9681/task/9695/stat : 9695 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926223 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699498929 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9696] ppid=9679 vsize=7663872 CPUtime=0.31 cores=0,2
/proc/9681/task/9696/stat : 9696 (java) S 9679 9681 9614 0 -1 4202560 2266 0 0 0 31 0 0 0 18 0 19 0 874926223 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9697] ppid=9679 vsize=7663872 CPUtime=0.29 cores=0,2
/proc/9681/task/9697/stat : 9697 (java) R 9679 9681 9614 0 -1 4202560 7688 0 0 0 29 0 0 0 18 0 19 0 874926223 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 47522621751202 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9681/tid=9698] ppid=9679 vsize=7663872 CPUtime=0 cores=0,2
/proc/9681/task/9698/stat : 9698 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926223 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9699] ppid=9679 vsize=7663872 CPUtime=0 cores=0,2
/proc/9681/task/9699/stat : 9699 (java) S 9679 9681 9614 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 874926223 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9700] ppid=9679 vsize=7663872 CPUtime=0 cores=0,2
/proc/9681/task/9700/stat : 9700 (java) S 9679 9681 9614 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874926238 7847804928 20373 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 7663872

[startup+3.10117 s]
/proc/loadavg: 0.63 0.13 0.04 4/239 9732
/proc/meminfo: memFree=31906992/32951124 swapFree=67076880/67111528
[pid=9681] ppid=9679 vsize=7664844 CPUtime=3.8 cores=0,2
/proc/9681/stat : 9681 (java) S 9679 9681 9614 0 -1 4202496 25000 0 1 0 377 3 0 0 18 0 19 0 874926217 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9681/statm: 1916211 21611 2255 9 0 1906949 0
[pid=9681/tid=9683] ppid=9679 vsize=7664844 CPUtime=3.03 cores=0,2
/proc/9681/task/9683/stat : 9683 (java) R 9679 9681 9614 0 -1 4202560 10660 0 1 0 302 1 0 0 25 0 19 0 874926218 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 46912505653212 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9681/tid=9684] ppid=9679 vsize=7664844 CPUtime=0 cores=0,2
/proc/9681/task/9684/stat : 9684 (java) S 9679 9681 9614 0 -1 4202560 573 0 0 0 0 0 0 0 18 0 19 0 874926219 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9685] ppid=9679 vsize=7664844 CPUtime=0 cores=0,2
/proc/9681/task/9685/stat : 9685 (java) S 9679 9681 9614 0 -1 4202560 538 0 0 0 0 0 0 0 15 0 19 0 874926219 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9686] ppid=9679 vsize=7664844 CPUtime=0 cores=0,2
/proc/9681/task/9686/stat : 9686 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874926219 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9687] ppid=9679 vsize=7664844 CPUtime=0 cores=0,2
/proc/9681/task/9687/stat : 9687 (java) S 9679 9681 9614 0 -1 4202560 392 0 0 0 0 0 0 0 17 0 19 0 874926219 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9688] ppid=9679 vsize=7664844 CPUtime=0 cores=0,2
/proc/9681/task/9688/stat : 9688 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874926219 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9689] ppid=9679 vsize=7664844 CPUtime=0 cores=0,2
/proc/9681/task/9689/stat : 9689 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874926219 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9690] ppid=9679 vsize=7664844 CPUtime=0 cores=0,2
/proc/9681/task/9690/stat : 9690 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874926219 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9691] ppid=9679 vsize=7664844 CPUtime=0 cores=0,2
/proc/9681/task/9691/stat : 9691 (java) S 9679 9681 9614 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 19 0 874926219 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9692] ppid=9679 vsize=7664844 CPUtime=0.03 cores=0,2
/proc/9681/task/9692/stat : 9692 (java) S 9679 9681 9614 0 -1 4202560 1205 0 0 0 3 0 0 0 16 0 19 0 874926220 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 0 0 16800975 18446604453636130624 0 0 -1 0 0 0 0
[pid=9681/tid=9693] ppid=9679 vsize=7664844 CPUtime=0 cores=0,2
/proc/9681/task/9693/stat : 9693 (java) S 9679 9681 9614 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 874926221 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9694] ppid=9679 vsize=7664844 CPUtime=0 cores=0,2
/proc/9681/task/9694/stat : 9694 (java) S 9679 9681 9614 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 874926221 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9695] ppid=9679 vsize=7664844 CPUtime=0 cores=0,2
/proc/9681/task/9695/stat : 9695 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926223 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699498929 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9696] ppid=9679 vsize=7664844 CPUtime=0.31 cores=0,2
/proc/9681/task/9696/stat : 9696 (java) S 9679 9681 9614 0 -1 4202560 2266 0 0 0 31 0 0 0 15 0 19 0 874926223 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9697] ppid=9679 vsize=7664844 CPUtime=0.37 cores=0,2
/proc/9681/task/9697/stat : 9697 (java) S 9679 9681 9614 0 -1 4202560 7958 0 0 0 37 0 0 0 15 0 19 0 874926223 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9698] ppid=9679 vsize=7664844 CPUtime=0 cores=0,2
/proc/9681/task/9698/stat : 9698 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926223 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9699] ppid=9679 vsize=7664844 CPUtime=0 cores=0,2
/proc/9681/task/9699/stat : 9699 (java) S 9679 9681 9614 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 874926223 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9700] ppid=9679 vsize=7664844 CPUtime=0 cores=0,2
/proc/9681/task/9700/stat : 9700 (java) S 9679 9681 9614 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874926238 7848800256 21611 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 7664844

[startup+6.30159 s]
/proc/loadavg: 0.63 0.13 0.04 4/239 9732
/proc/meminfo: memFree=31901296/32951124 swapFree=67076880/67111528
[pid=9681] ppid=9679 vsize=7660180 CPUtime=7.02 cores=0,2
/proc/9681/stat : 9681 (java) S 9679 9681 9614 0 -1 4202496 25511 0 1 0 699 3 0 0 18 0 19 0 874926217 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9681/statm: 1915045 21405 2255 9 0 1905783 0
[pid=9681/tid=9683] ppid=9679 vsize=7660180 CPUtime=6.18 cores=0,2
/proc/9681/task/9683/stat : 9683 (java) R 9679 9681 9614 0 -1 4202560 10664 0 1 0 617 1 0 0 25 0 19 0 874926218 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 46912505653802 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9681/tid=9684] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9684/stat : 9684 (java) S 9679 9681 9614 0 -1 4202560 858 0 0 0 0 0 0 0 17 0 19 0 874926219 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9685] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9685/stat : 9685 (java) S 9679 9681 9614 0 -1 4202560 538 0 0 0 0 0 0 0 15 0 19 0 874926219 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9686] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9686/stat : 9686 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874926219 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9687] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9687/stat : 9687 (java) S 9679 9681 9614 0 -1 4202560 392 0 0 0 0 0 0 0 15 0 19 0 874926219 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9688] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9688/stat : 9688 (java) S 9679 9681 9614 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 874926219 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9689] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9689/stat : 9689 (java) S 9679 9681 9614 0 -1 4202560 75 0 0 0 0 0 0 0 16 0 19 0 874926219 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9690] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9690/stat : 9690 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874926219 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9691] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9691/stat : 9691 (java) S 9679 9681 9614 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 19 0 874926219 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9692] ppid=9679 vsize=7660180 CPUtime=0.07 cores=0,2
/proc/9681/task/9692/stat : 9692 (java) S 9679 9681 9614 0 -1 4202560 1348 0 0 0 7 0 0 0 15 0 19 0 874926220 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 0 0 16800975 18446604453636130624 0 0 -1 0 0 0 0
[pid=9681/tid=9693] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9693/stat : 9693 (java) S 9679 9681 9614 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 874926221 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9694] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9694/stat : 9694 (java) S 9679 9681 9614 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 874926221 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9695] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9695/stat : 9695 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926223 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699498929 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9696] ppid=9679 vsize=7660180 CPUtime=0.31 cores=0,2
/proc/9681/task/9696/stat : 9696 (java) S 9679 9681 9614 0 -1 4202560 2266 0 0 0 31 0 0 0 15 0 19 0 874926223 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9697] ppid=9679 vsize=7660180 CPUtime=0.39 cores=0,2
/proc/9681/task/9697/stat : 9697 (java) S 9679 9681 9614 0 -1 4202560 7961 0 0 0 39 0 0 0 15 0 19 0 874926223 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9698] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9698/stat : 9698 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926223 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9699] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9699/stat : 9699 (java) S 9679 9681 9614 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 874926223 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9700] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9700/stat : 9700 (java) S 9679 9681 9614 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874926238 7844024320 21405 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 7660180

[startup+12.7014 s]

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

[pid=9681/tid=9689] ppid=9679 vsize=7660180 CPUtime=0.13 cores=0,2
/proc/9681/task/9689/stat : 9689 (java) S 9679 9681 9614 0 -1 4202560 83 0 0 0 13 0 0 0 15 0 19 0 874926219 7844024320 30467 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9690] ppid=9679 vsize=7660180 CPUtime=0.14 cores=0,2
/proc/9681/task/9690/stat : 9690 (java) S 9679 9681 9614 0 -1 4202560 1013 0 0 0 14 0 0 0 16 0 19 0 874926219 7844024320 30467 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9691] ppid=9679 vsize=7660180 CPUtime=0.16 cores=0,2
/proc/9681/task/9691/stat : 9691 (java) S 9679 9681 9614 0 -1 4202560 1190 0 0 0 16 0 0 0 15 0 19 0 874926219 7844024320 30467 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9692] ppid=9679 vsize=7660180 CPUtime=5.87 cores=0,2
/proc/9681/task/9692/stat : 9692 (java) S 9679 9681 9614 0 -1 4202560 3622 0 0 0 585 2 0 0 15 0 19 0 874926220 7844024320 30467 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 0 0 16800975 18446604453636130624 0 0 -1 0 0 0 0
[pid=9681/tid=9693] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9693/stat : 9693 (java) S 9679 9681 9614 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 874926221 7844024320 30467 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9694] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9694/stat : 9694 (java) S 9679 9681 9614 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 874926221 7844024320 30467 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9695] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9695/stat : 9695 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926223 7844024320 30467 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699498929 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9696] ppid=9679 vsize=7660180 CPUtime=0.31 cores=0,2
/proc/9681/task/9696/stat : 9696 (java) S 9679 9681 9614 0 -1 4202560 2266 0 0 0 31 0 0 0 15 0 19 0 874926223 7844024320 30467 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9697] ppid=9679 vsize=7660180 CPUtime=0.41 cores=0,2
/proc/9681/task/9697/stat : 9697 (java) S 9679 9681 9614 0 -1 4202560 7966 0 0 0 41 0 0 0 15 0 19 0 874926223 7844024320 30467 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9698] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9698/stat : 9698 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926223 7844024320 30467 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9699] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9699/stat : 9699 (java) S 9679 9681 9614 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 874926223 7844024320 30467 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9700] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9700/stat : 9700 (java) S 9679 9681 9614 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874926238 7844024320 30467 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1183.53
Current children cumulated vsize (KiB) 7660180

[startup+1242.3 s]
/proc/loadavg: 3.00 2.96 2.22 4/238 9765
/proc/meminfo: memFree=31811672/32951124 swapFree=67076880/67111528
[pid=9681] ppid=9679 vsize=7660180 CPUtime=1243.56 cores=0,2
/proc/9681/stat : 9681 (java) S 9679 9681 9614 0 -1 4202496 34993 0 1 0 124346 10 0 0 18 0 19 0 874926217 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9681/statm: 1915045 30542 2256 9 0 1905783 0
[pid=9681/tid=9683] ppid=9679 vsize=7660180 CPUtime=1235.28 cores=0,2
/proc/9681/task/9683/stat : 9683 (java) R 9679 9681 9614 0 -1 4202560 13181 0 1 0 123524 4 0 0 25 0 19 0 874926218 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 46912505577777 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9681/tid=9684] ppid=9679 vsize=7660180 CPUtime=0.18 cores=0,2
/proc/9681/task/9684/stat : 9684 (java) S 9679 9681 9614 0 -1 4202560 1371 0 0 0 18 0 0 0 15 0 19 0 874926219 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9685] ppid=9679 vsize=7660180 CPUtime=0.14 cores=0,2
/proc/9681/task/9685/stat : 9685 (java) S 9679 9681 9614 0 -1 4202560 1652 0 0 0 14 0 0 0 15 0 19 0 874926219 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9686] ppid=9679 vsize=7660180 CPUtime=0.16 cores=0,2
/proc/9681/task/9686/stat : 9686 (java) S 9679 9681 9614 0 -1 4202560 847 0 0 0 16 0 0 0 15 0 19 0 874926219 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9687] ppid=9679 vsize=7660180 CPUtime=0.19 cores=0,2
/proc/9681/task/9687/stat : 9687 (java) S 9679 9681 9614 0 -1 4202560 398 0 0 0 19 0 0 0 15 0 19 0 874926219 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9688] ppid=9679 vsize=7660180 CPUtime=0.2 cores=0,2
/proc/9681/task/9688/stat : 9688 (java) S 9679 9681 9614 0 -1 4202560 108 0 0 0 20 0 0 0 16 0 19 0 874926219 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9689] ppid=9679 vsize=7660180 CPUtime=0.13 cores=0,2
/proc/9681/task/9689/stat : 9689 (java) S 9679 9681 9614 0 -1 4202560 83 0 0 0 13 0 0 0 15 0 19 0 874926219 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9690] ppid=9679 vsize=7660180 CPUtime=0.14 cores=0,2
/proc/9681/task/9690/stat : 9690 (java) S 9679 9681 9614 0 -1 4202560 1013 0 0 0 14 0 0 0 15 0 19 0 874926219 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9691] ppid=9679 vsize=7660180 CPUtime=0.16 cores=0,2
/proc/9681/task/9691/stat : 9691 (java) S 9679 9681 9614 0 -1 4202560 1190 0 0 0 16 0 0 0 15 0 19 0 874926219 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9692] ppid=9679 vsize=7660180 CPUtime=6.15 cores=0,2
/proc/9681/task/9692/stat : 9692 (java) S 9679 9681 9614 0 -1 4202560 3696 0 0 0 613 2 0 0 15 0 19 0 874926220 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 0 0 16800975 18446604453636130624 0 0 -1 0 0 0 0
[pid=9681/tid=9693] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9693/stat : 9693 (java) S 9679 9681 9614 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 874926221 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9694] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9694/stat : 9694 (java) S 9679 9681 9614 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 874926221 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9695] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9695/stat : 9695 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926223 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699498929 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9696] ppid=9679 vsize=7660180 CPUtime=0.31 cores=0,2
/proc/9681/task/9696/stat : 9696 (java) S 9679 9681 9614 0 -1 4202560 2266 0 0 0 31 0 0 0 15 0 19 0 874926223 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9697] ppid=9679 vsize=7660180 CPUtime=0.41 cores=0,2
/proc/9681/task/9697/stat : 9697 (java) S 9679 9681 9614 0 -1 4202560 7966 0 0 0 41 0 0 0 15 0 19 0 874926223 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9698] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9698/stat : 9698 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926223 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9699] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9699/stat : 9699 (java) S 9679 9681 9614 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 874926223 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9700] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9700/stat : 9700 (java) S 9679 9681 9614 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874926238 7844024320 30542 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1243.56
Current children cumulated vsize (KiB) 7660180



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.92 2.95 2.26 3/214 9793
/proc/meminfo: memFree=31918148/32951124 swapFree=67076880/67111528
[pid=9681] ppid=9679 vsize=7660180 CPUtime=1301.29 cores=0,2
/proc/9681/stat : 9681 (java) S 9679 9681 9614 0 -1 4202496 35037 0 1 0 130119 10 0 0 18 0 19 0 874926217 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9681/statm: 1915045 30569 2256 9 0 1905783 0
[pid=9681/tid=9683] ppid=9679 vsize=7660180 CPUtime=1292.66 cores=0,2
/proc/9681/task/9683/stat : 9683 (java) R 9679 9681 9614 0 -1 4202560 13190 0 1 0 129262 4 0 0 25 0 19 0 874926218 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 46912505577904 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9681/tid=9684] ppid=9679 vsize=7660180 CPUtime=0.19 cores=0,2
/proc/9681/task/9684/stat : 9684 (java) S 9679 9681 9614 0 -1 4202560 1371 0 0 0 19 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9685] ppid=9679 vsize=7660180 CPUtime=0.16 cores=0,2
/proc/9681/task/9685/stat : 9685 (java) S 9679 9681 9614 0 -1 4202560 1652 0 0 0 16 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9686] ppid=9679 vsize=7660180 CPUtime=0.17 cores=0,2
/proc/9681/task/9686/stat : 9686 (java) S 9679 9681 9614 0 -1 4202560 847 0 0 0 17 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9687] ppid=9679 vsize=7660180 CPUtime=0.2 cores=0,2
/proc/9681/task/9687/stat : 9687 (java) S 9679 9681 9614 0 -1 4202560 398 0 0 0 20 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9688] ppid=9679 vsize=7660180 CPUtime=0.21 cores=0,2
/proc/9681/task/9688/stat : 9688 (java) S 9679 9681 9614 0 -1 4202560 108 0 0 0 21 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9689] ppid=9679 vsize=7660180 CPUtime=0.14 cores=0,2
/proc/9681/task/9689/stat : 9689 (java) S 9679 9681 9614 0 -1 4202560 83 0 0 0 14 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9690] ppid=9679 vsize=7660180 CPUtime=0.15 cores=0,2
/proc/9681/task/9690/stat : 9690 (java) S 9679 9681 9614 0 -1 4202560 1013 0 0 0 15 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 0 0 0 0
[pid=9681/tid=9691] ppid=9679 vsize=7660180 CPUtime=0.17 cores=0,2
/proc/9681/task/9691/stat : 9691 (java) S 9679 9681 9614 0 -1 4202560 1191 0 0 0 17 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9692] ppid=9679 vsize=7660180 CPUtime=6.43 cores=0,2
/proc/9681/task/9692/stat : 9692 (java) S 9679 9681 9614 0 -1 4202560 3726 0 0 0 641 2 0 0 15 0 19 0 874926220 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 0 0 16800975 18446604453636130624 0 0 -1 0 0 0 0
[pid=9681/tid=9693] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9693/stat : 9693 (java) S 9679 9681 9614 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 874926221 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9694] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9694/stat : 9694 (java) S 9679 9681 9614 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 874926221 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9695] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9695/stat : 9695 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926223 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699498929 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9696] ppid=9679 vsize=7660180 CPUtime=0.31 cores=0,2
/proc/9681/task/9696/stat : 9696 (java) S 9679 9681 9614 0 -1 4202560 2266 0 0 0 31 0 0 0 15 0 19 0 874926223 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9697] ppid=9679 vsize=7660180 CPUtime=0.41 cores=0,2
/proc/9681/task/9697/stat : 9697 (java) S 9679 9681 9614 0 -1 4202560 7966 0 0 0 41 0 0 0 15 0 19 0 874926223 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9698] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9698/stat : 9698 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926223 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9699] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9699/stat : 9699 (java) S 9679 9681 9614 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 874926223 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9700] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9700/stat : 9700 (java) S 9679 9681 9614 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874926238 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.29
Current children cumulated vsize (KiB) 7660180

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

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

[startup+1300 s]
/proc/loadavg: 2.92 2.95 2.26 3/214 9793
/proc/meminfo: memFree=31918148/32951124 swapFree=67076880/67111528
[pid=9681] ppid=9679 vsize=7660180 CPUtime=1301.29 cores=0,2
/proc/9681/stat : 9681 (java) S 9679 9681 9614 0 -1 4202496 35037 0 1 0 130119 10 0 0 18 0 19 0 874926217 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9681/statm: 1915045 30569 2256 9 0 1905783 0
[pid=9681/tid=9683] ppid=9679 vsize=7660180 CPUtime=1292.66 cores=0,2
/proc/9681/task/9683/stat : 9683 (java) R 9679 9681 9614 0 -1 4202560 13190 0 1 0 129262 4 0 0 25 0 19 0 874926218 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 46912505577904 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9681/tid=9684] ppid=9679 vsize=7660180 CPUtime=0.19 cores=0,2
/proc/9681/task/9684/stat : 9684 (java) S 9679 9681 9614 0 -1 4202560 1371 0 0 0 19 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9685] ppid=9679 vsize=7660180 CPUtime=0.16 cores=0,2
/proc/9681/task/9685/stat : 9685 (java) S 9679 9681 9614 0 -1 4202560 1652 0 0 0 16 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9686] ppid=9679 vsize=7660180 CPUtime=0.17 cores=0,2
/proc/9681/task/9686/stat : 9686 (java) S 9679 9681 9614 0 -1 4202560 847 0 0 0 17 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9687] ppid=9679 vsize=7660180 CPUtime=0.2 cores=0,2
/proc/9681/task/9687/stat : 9687 (java) S 9679 9681 9614 0 -1 4202560 398 0 0 0 20 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9688] ppid=9679 vsize=7660180 CPUtime=0.21 cores=0,2
/proc/9681/task/9688/stat : 9688 (java) S 9679 9681 9614 0 -1 4202560 108 0 0 0 21 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9689] ppid=9679 vsize=7660180 CPUtime=0.14 cores=0,2
/proc/9681/task/9689/stat : 9689 (java) S 9679 9681 9614 0 -1 4202560 83 0 0 0 14 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9690] ppid=9679 vsize=7660180 CPUtime=0.15 cores=0,2
/proc/9681/task/9690/stat : 9690 (java) S 9679 9681 9614 0 -1 4202560 1013 0 0 0 15 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 0 0 0 0
[pid=9681/tid=9691] ppid=9679 vsize=7660180 CPUtime=0.17 cores=0,2
/proc/9681/task/9691/stat : 9691 (java) S 9679 9681 9614 0 -1 4202560 1191 0 0 0 17 0 0 0 15 0 19 0 874926219 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9692] ppid=9679 vsize=7660180 CPUtime=6.43 cores=0,2
/proc/9681/task/9692/stat : 9692 (java) S 9679 9681 9614 0 -1 4202560 3726 0 0 0 641 2 0 0 15 0 19 0 874926220 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 0 0 16800975 18446604453636130624 0 0 -1 0 0 0 0
[pid=9681/tid=9693] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9693/stat : 9693 (java) S 9679 9681 9614 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 874926221 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9694] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9694/stat : 9694 (java) S 9679 9681 9614 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 874926221 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9695] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9695/stat : 9695 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926223 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699498929 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9696] ppid=9679 vsize=7660180 CPUtime=0.31 cores=0,2
/proc/9681/task/9696/stat : 9696 (java) S 9679 9681 9614 0 -1 4202560 2266 0 0 0 31 0 0 0 15 0 19 0 874926223 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9697] ppid=9679 vsize=7660180 CPUtime=0.41 cores=0,2
/proc/9681/task/9697/stat : 9697 (java) S 9679 9681 9614 0 -1 4202560 7966 0 0 0 41 0 0 0 15 0 19 0 874926223 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9698] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9698/stat : 9698 (java) S 9679 9681 9614 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926223 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491225 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9699] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9699/stat : 9699 (java) S 9679 9681 9614 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 874926223 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
[pid=9681/tid=9700] ppid=9679 vsize=7660180 CPUtime=0 cores=0,2
/proc/9681/task/9700/stat : 9700 (java) S 9679 9681 9614 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874926238 7844024320 30569 33554432000 1073741824 1073778376 140734484795072 18446744073709551615 212699491840 0 4 0 16800975 18446604453636130624 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.29
Current children cumulated vsize (KiB) 7660180

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.37
CPU user time (s): 1301.26
CPU system time (s): 0.110983
CPU usage (%): 100.101
Max. virtual memory (cumulated for all children) (KiB): 7664844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.26
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35074
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32784
involuntary context switches= 8715

runsolver used 2.27065 second user time and 4.84626 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-09 17:28:05
IDJOB=3190300
IDBENCH=82631
IDSOLVER=1611
FILE ID=node139/3190300-1307633285
RUNJOBID= node139-1307633277-9632
PBS_JOBID= 13549353
Free space on /tmp= 74196 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k5-r20-v1250-c25000-S269694958-008-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-3190300-1307633285/watcher-3190300-1307633285 -o /tmp/evaluation-result-3190300-1307633285/solver-3190300-1307633285 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190300-1307633285.cnf

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

MD5SUM BENCH= 320e47ec6251e96728575b0221aebaa2
RANDOM SEED=1350801313

node139.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.852
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.852
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.852
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.74
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.852
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.852
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	: 5321.49
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.852
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.852
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.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32054260 kB
Buffers:        199168 kB
Cached:         398572 kB
SwapCached:       3520 kB
Active:         365040 kB
Inactive:       322276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32054260 kB
SwapTotal:    67111528 kB
SwapFree:     67076880 kB
Dirty:            2904 kB
Writeback:           0 kB
AnonPages:       87376 kB
Mapped:          22152 kB
Slab:           144344 kB
PageTables:       5196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  7464044 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= 74200 MiB
End job on node139 at 2011-06-09 17:49:47