Trace number 3190197

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

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf
MD5SUM79bb5af0297560cf515e2461b267e196
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark235.781
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@2fe4cbc4
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-3190197-1302596814.cnf
0.06/0.10	c reading problem ... 
0.33/0.27	c ... done. Wall clock time 0.132s.
0.33/0.27	c #vars     1250
0.33/0.27	c #constraints  25000
0.33/0.27	c constraints type 
0.33/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25000
1.60/1.25	c cleaning 2499 clauses out of 5001 with flag 5001/5001
2.72/2.17	c cleaning 4249 clauses out of 8502 with flag 11001/11001
3.82/3.25	c cleaning 5624 clauses out of 11252 with flag 18000/18000
5.13/4.53	c cleaning 6811 clauses out of 13629 with flag 26001/26001
6.54/5.99	c cleaning 7907 clauses out of 15820 with flag 35003/35003
8.24/7.69	c cleaning 8951 clauses out of 17910 with flag 45000/45000
10.14/9.57	c cleaning 9977 clauses out of 19959 with flag 56000/56000
12.35/11.73	c cleaning 10982 clauses out of 21982 with flag 68000/68000
14.65/14.02	c cleaning 11996 clauses out of 24000 with flag 81000/81000
17.16/16.58	c cleaning 12998 clauses out of 26005 with flag 95001/95001
19.96/19.39	c cleaning 14001 clauses out of 28008 with flag 110002/110002
23.06/22.46	c cleaning 14998 clauses out of 30005 with flag 126000/126000
26.27/25.66	c cleaning 16000 clauses out of 32007 with flag 143000/143000
29.77/29.15	c cleaning 17003 clauses out of 34007 with flag 161000/161000
33.47/32.85	c cleaning 17992 clauses out of 36005 with flag 180001/180001
37.47/36.87	c cleaning 19001 clauses out of 38012 with flag 200000/200000
41.77/41.18	c cleaning 19993 clauses out of 40011 with flag 221000/221000
46.38/45.75	c cleaning 21006 clauses out of 42018 with flag 243000/243000
51.29/50.62	c cleaning 22005 clauses out of 44012 with flag 266000/266000
56.18/55.54	c cleaning 22992 clauses out of 46007 with flag 290000/290000
61.59/60.96	c cleaning 23999 clauses out of 48015 with flag 315000/315000
67.19/66.57	c cleaning 24506 clauses out of 49016 with flag 340000/340000
72.69/72.02	c cleaning 24751 clauses out of 49510 with flag 365000/365000
78.01/77.39	c cleaning 24871 clauses out of 49760 with flag 390001/390001
83.81/83.10	c cleaning 24939 clauses out of 49889 with flag 415001/415001
89.11/88.41	c cleaning 24969 clauses out of 49950 with flag 440001/440001
94.61/93.93	c cleaning 24987 clauses out of 49981 with flag 465001/465001
99.92/99.20	c cleaning 24993 clauses out of 49995 with flag 490002/490002
105.42/104.74	c cleaning 24996 clauses out of 50002 with flag 515002/515002
110.62/109.97	c cleaning 24989 clauses out of 50004 with flag 540000/540000
116.23/115.57	c cleaning 25002 clauses out of 50016 with flag 565001/565001
121.53/120.83	c cleaning 25004 clauses out of 50015 with flag 590002/590002
127.13/126.48	c cleaning 25002 clauses out of 50010 with flag 615001/615001
132.43/131.76	c cleaning 24995 clauses out of 50008 with flag 640001/640001
137.63/136.96	c cleaning 24998 clauses out of 50012 with flag 665000/665000
143.34/142.60	c cleaning 25000 clauses out of 50014 with flag 690000/690000
148.54/147.87	c cleaning 24999 clauses out of 50014 with flag 715000/715000
153.94/153.26	c cleaning 25006 clauses out of 50015 with flag 740000/740000
159.64/158.93	c cleaning 24995 clauses out of 50009 with flag 765000/765000
164.94/164.26	c cleaning 24999 clauses out of 50015 with flag 790001/790001
170.25/169.59	c cleaning 25004 clauses out of 50015 with flag 815000/815000
175.95/175.21	c cleaning 25002 clauses out of 50013 with flag 840002/840002
181.16/180.50	c cleaning 25002 clauses out of 50011 with flag 865002/865002
186.45/185.77	c cleaning 24988 clauses out of 50007 with flag 890000/890000
192.15/191.48	c cleaning 25007 clauses out of 50019 with flag 915000/915000
197.55/196.88	c cleaning 25003 clauses out of 50012 with flag 940000/940000
202.95/202.24	c cleaning 25001 clauses out of 50012 with flag 965003/965003
208.35/207.69	c cleaning 24996 clauses out of 50008 with flag 990000/990000
214.16/213.43	c cleaning 25001 clauses out of 50013 with flag 1015001/1015001
219.56/218.80	c cleaning 25000 clauses out of 50012 with flag 1040001/1040001
224.86/224.15	c cleaning 24999 clauses out of 50013 with flag 1065002/1065002
230.17/229.49	c cleaning 25000 clauses out of 50013 with flag 1090001/1090001
235.77/235.05	c cleaning 25003 clauses out of 50013 with flag 1115001/1115001
241.27/240.58	c cleaning 24995 clauses out of 50010 with flag 1140001/1140001
246.57/245.84	c cleaning 24999 clauses out of 50014 with flag 1165000/1165000
251.87/251.18	c cleaning 25002 clauses out of 50015 with flag 1190000/1190000
257.28/256.52	c cleaning 24990 clauses out of 50014 with flag 1215001/1215001
262.98/262.29	c cleaning 25006 clauses out of 50023 with flag 1240000/1240000
268.38/267.66	c cleaning 25003 clauses out of 50018 with flag 1265001/1265001
273.78/273.07	c cleaning 25005 clauses out of 50015 with flag 1290001/1290001
279.29/278.54	c cleaning 24994 clauses out of 50010 with flag 1315001/1315001
284.79/284.02	c cleaning 25001 clauses out of 50016 with flag 1340001/1340001
290.69/289.92	c cleaning 25001 clauses out of 50016 with flag 1365002/1365002
296.00/295.26	c cleaning 25000 clauses out of 50014 with flag 1390001/1390001
301.30/300.59	c cleaning 25000 clauses out of 50013 with flag 1415000/1415000
306.90/306.18	c cleaning 25001 clauses out of 50013 with flag 1440000/1440000
312.60/311.81	c cleaning 24999 clauses out of 50012 with flag 1465000/1465000
318.20/317.49	c cleaning 24997 clauses out of 50014 with flag 1490001/1490001
324.11/323.31	c cleaning 24996 clauses out of 50018 with flag 1515002/1515002
329.31/328.58	c cleaning 25003 clauses out of 50020 with flag 1540000/1540000
334.71/333.94	c cleaning 25004 clauses out of 50018 with flag 1565001/1565001
340.12/339.38	c cleaning 24994 clauses out of 50013 with flag 1590000/1590000
345.62/344.82	c cleaning 24998 clauses out of 50019 with flag 1615000/1615000
351.44/350.62	c cleaning 24997 clauses out of 50022 with flag 1640001/1640001
357.35/356.52	c cleaning 25007 clauses out of 50024 with flag 1665000/1665000
362.64/361.84	c cleaning 25001 clauses out of 50019 with flag 1690002/1690002
367.95/367.15	c cleaning 25006 clauses out of 50017 with flag 1715001/1715001
373.36/372.59	c cleaning 24996 clauses out of 50010 with flag 1740000/1740000
378.86/378.06	c cleaning 24997 clauses out of 50015 with flag 1765001/1765001
384.66/383.80	c cleaning 25001 clauses out of 50019 with flag 1790002/1790002
390.27/389.50	c cleaning 25000 clauses out of 50017 with flag 1815001/1815001
396.07/395.28	c cleaning 25008 clauses out of 50018 with flag 1840002/1840002
401.47/400.65	c cleaning 25000 clauses out of 50009 with flag 1865001/1865001
406.88/406.05	c cleaning 24994 clauses out of 50010 with flag 1890002/1890002
412.28/411.46	c cleaning 24992 clauses out of 50014 with flag 1915000/1915000
417.78/416.93	c cleaning 24996 clauses out of 50022 with flag 1940000/1940000
423.28/422.42	c cleaning 24995 clauses out of 50027 with flag 1965001/1965001
428.98/428.12	c cleaning 25008 clauses out of 50031 with flag 1990000/1990000
434.88/434.03	c cleaning 25008 clauses out of 50023 with flag 2015000/2015000
440.39/439.50	c cleaning 25001 clauses out of 50016 with flag 2040001/2040001
445.59/444.79	c cleaning 24999 clauses out of 50014 with flag 2065000/2065000
451.09/450.20	c cleaning 24991 clauses out of 50015 with flag 2090000/2090000
456.40/455.58	c cleaning 25003 clauses out of 50025 with flag 2115001/2115001
461.80/461.00	c cleaning 25002 clauses out of 50021 with flag 2140000/2140000
467.40/466.52	c cleaning 25005 clauses out of 50019 with flag 2165000/2165000
473.10/472.24	c cleaning 24996 clauses out of 50014 with flag 2190000/2190000
478.70/477.88	c cleaning 25000 clauses out of 50018 with flag 2215000/2215000
484.31/483.44	c cleaning 25006 clauses out of 50019 with flag 2240001/2240001
489.51/488.66	c cleaning 24998 clauses out of 50012 with flag 2265000/2265000
494.82/493.98	c cleaning 24994 clauses out of 50014 with flag 2290000/2290000
500.21/499.34	c cleaning 25002 clauses out of 50021 with flag 2315001/2315001
505.61/504.80	c cleaning 25004 clauses out of 50019 with flag 2340001/2340001
511.32/510.42	c cleaning 24996 clauses out of 50015 with flag 2365001/2365001
517.02/516.13	c cleaning 24996 clauses out of 50018 with flag 2390000/2390000
522.82/521.93	c cleaning 25000 clauses out of 50022 with flag 2415000/2415000
528.53/527.68	c cleaning 24999 clauses out of 50022 with flag 2440000/2440000
534.33/533.49	c cleaning 25002 clauses out of 50023 with flag 2465000/2465000
539.73/538.86	c cleaning 25006 clauses out of 50022 with flag 2490001/2490001
545.13/544.26	c cleaning 25003 clauses out of 50016 with flag 2515001/2515001
550.63/549.72	c cleaning 24993 clauses out of 50013 with flag 2540001/2540001
556.24/555.35	c cleaning 25000 clauses out of 50019 with flag 2565000/2565000
562.05/561.10	c cleaning 25004 clauses out of 50019 with flag 2590000/2590000
567.64/566.79	c cleaning 25001 clauses out of 50016 with flag 2615001/2615001
573.65/572.71	c cleaning 24997 clauses out of 50014 with flag 2640000/2640000
579.35/578.45	c cleaning 24998 clauses out of 50018 with flag 2665001/2665001
584.96/584.06	c cleaning 24995 clauses out of 50020 with flag 2690001/2690001
590.56/589.69	c cleaning 25008 clauses out of 50025 with flag 2715001/2715001
595.86/594.95	c cleaning 24999 clauses out of 50017 with flag 2740001/2740001
601.36/600.46	c cleaning 24992 clauses out of 50018 with flag 2765001/2765001
606.76/605.85	c cleaning 25002 clauses out of 50025 with flag 2790000/2790000
612.27/611.37	c cleaning 24994 clauses out of 50023 with flag 2815000/2815000
617.67/616.79	c cleaning 24996 clauses out of 50030 with flag 2840001/2840001
623.37/622.48	c cleaning 25005 clauses out of 50034 with flag 2865001/2865001
629.08/628.17	c cleaning 25008 clauses out of 50030 with flag 2890002/2890002
635.08/634.18	c cleaning 24997 clauses out of 50021 with flag 2915001/2915001
640.89/640.00	c cleaning 25000 clauses out of 50024 with flag 2940001/2940001
646.80/645.89	c cleaning 25007 clauses out of 50025 with flag 2965002/2965002
652.70/651.76	c cleaning 25005 clauses out of 50018 with flag 2990002/2990002
658.00/657.10	c cleaning 24998 clauses out of 50011 with flag 3015000/3015000
663.40/662.40	c cleaning 24994 clauses out of 50014 with flag 3040001/3040001
668.81/667.81	c cleaning 25006 clauses out of 50019 with flag 3065000/3065000
674.31/673.34	c cleaning 25000 clauses out of 50013 with flag 3090000/3090000
679.91/678.95	c cleaning 24996 clauses out of 50014 with flag 3115001/3115001
685.51/684.54	c cleaning 25000 clauses out of 50017 with flag 3140000/3140000
691.32/690.34	c cleaning 24999 clauses out of 50017 with flag 3165000/3165000
697.12/696.14	c cleaning 24993 clauses out of 50018 with flag 3190000/3190000
702.72/701.78	c cleaning 24996 clauses out of 50026 with flag 3215001/3215001
708.33/707.39	c cleaning 24998 clauses out of 50029 with flag 3240000/3240000
714.03/713.05	c cleaning 25009 clauses out of 50032 with flag 3265001/3265001
719.93/718.97	c cleaning 25004 clauses out of 50023 with flag 3290001/3290001
725.33/724.33	c cleaning 25001 clauses out of 50019 with flag 3315001/3315001
730.63/729.67	c cleaning 25007 clauses out of 50019 with flag 3340002/3340002
736.03/735.09	c cleaning 25004 clauses out of 50012 with flag 3365002/3365002
741.53/740.55	c cleaning 24992 clauses out of 50008 with flag 3390002/3390002
747.13/746.14	c cleaning 25001 clauses out of 50014 with flag 3415000/3415000
752.84/751.81	c cleaning 25000 clauses out of 50014 with flag 3440001/3440001
758.64/757.65	c cleaning 24991 clauses out of 50014 with flag 3465001/3465001
764.64/763.62	c cleaning 24990 clauses out of 50022 with flag 3490000/3490000
770.34/769.36	c cleaning 25001 clauses out of 50033 with flag 3515001/3515001
776.05/775.07	c cleaning 25002 clauses out of 50031 with flag 3540000/3540000
781.85/780.87	c cleaning 24995 clauses out of 50029 with flag 3565000/3565000
787.75/786.70	c cleaning 25005 clauses out of 50034 with flag 3590000/3590000
794.36/793.35	c cleaning 25012 clauses out of 50031 with flag 3615002/3615002
799.86/798.87	c cleaning 25000 clauses out of 50018 with flag 3640001/3640001
805.27/804.25	c cleaning 24992 clauses out of 50017 with flag 3665000/3665000
810.77/809.74	c cleaning 25001 clauses out of 50026 with flag 3690001/3690001
816.18/815.20	c cleaning 24996 clauses out of 50026 with flag 3715002/3715002
821.87/820.81	c cleaning 25002 clauses out of 50028 with flag 3740000/3740000
827.47/826.50	c cleaning 25004 clauses out of 50027 with flag 3765001/3765001
833.18/832.16	c cleaning 24996 clauses out of 50022 with flag 3790000/3790000
838.98/837.94	c cleaning 24998 clauses out of 50026 with flag 3815000/3815000
844.98/843.94	c cleaning 25001 clauses out of 50030 with flag 3840002/3840002
851.19/850.15	c cleaning 25010 clauses out of 50029 with flag 3865002/3865002
857.49/856.40	c cleaning 25003 clauses out of 50018 with flag 3890001/3890001
863.50/862.49	c cleaning 24991 clauses out of 50014 with flag 3915000/3915000
869.60/868.57	c cleaning 25006 clauses out of 50024 with flag 3940001/3940001
875.61/874.52	c cleaning 24999 clauses out of 50019 with flag 3965002/3965002
881.61/880.52	c cleaning 25004 clauses out of 50018 with flag 3990000/3990000
887.01/885.95	c cleaning 25001 clauses out of 50014 with flag 4015000/4015000
892.31/891.29	c cleaning 24983 clauses out of 50013 with flag 4040000/4040000
897.82/896.72	c cleaning 25006 clauses out of 50031 with flag 4065001/4065001
903.22/902.17	c cleaning 25007 clauses out of 50026 with flag 4090002/4090002
908.82/907.74	c cleaning 24997 clauses out of 50018 with flag 4115001/4115001
914.42/913.33	c cleaning 24998 clauses out of 50023 with flag 4140003/4140003
920.13/919.07	c cleaning 25001 clauses out of 50022 with flag 4165000/4165000
925.93/924.83	c cleaning 24994 clauses out of 50021 with flag 4190000/4190000
931.93/930.83	c cleaning 25006 clauses out of 50029 with flag 4215002/4215002
937.44/936.39	c cleaning 25002 clauses out of 50021 with flag 4240000/4240000
943.34/942.23	c cleaning 25001 clauses out of 50019 with flag 4265000/4265000
949.25/948.14	c cleaning 25001 clauses out of 50019 with flag 4290001/4290001
955.75/954.64	c cleaning 24999 clauses out of 50017 with flag 4315000/4315000
962.16/961.06	c cleaning 24996 clauses out of 50018 with flag 4340000/4340000
967.96/966.88	c cleaning 24999 clauses out of 50024 with flag 4365002/4365002
974.26/973.12	c cleaning 25007 clauses out of 50023 with flag 4390000/4390000
979.67/978.51	c cleaning 25006 clauses out of 50018 with flag 4415002/4415002
984.97/983.86	c cleaning 24999 clauses out of 50011 with flag 4440001/4440001
990.47/989.32	c cleaning 24999 clauses out of 50011 with flag 4465000/4465000
996.07/994.93	c cleaning 24993 clauses out of 50012 with flag 4490000/4490000
1001.68/1000.58	c cleaning 25002 clauses out of 50020 with flag 4515001/4515001
1007.58/1006.46	c cleaning 24998 clauses out of 50019 with flag 4540002/4540002
1013.48/1012.31	c cleaning 24994 clauses out of 50021 with flag 4565002/4565002
1019.39/1018.20	c cleaning 24992 clauses out of 50025 with flag 4590000/4590000
1025.39/1024.27	c cleaning 25011 clauses out of 50034 with flag 4615001/4615001
1031.59/1030.45	c cleaning 24999 clauses out of 50022 with flag 4640000/4640000
1037.90/1036.73	c cleaning 25005 clauses out of 50023 with flag 4665000/4665000
1044.40/1043.21	c cleaning 25004 clauses out of 50020 with flag 4690002/4690002
1051.00/1049.82	c cleaning 24998 clauses out of 50016 with flag 4715002/4715002
1057.11/1055.99	c cleaning 24997 clauses out of 50017 with flag 4740001/4740001
1062.91/1061.78	c cleaning 25002 clauses out of 50020 with flag 4765001/4765001
1069.21/1068.01	c cleaning 25001 clauses out of 50017 with flag 4790000/4790000
1075.41/1074.30	c cleaning 25001 clauses out of 50016 with flag 4815000/4815000
1081.32/1080.15	c cleaning 25001 clauses out of 50015 with flag 4840000/4840000
1086.62/1085.47	c cleaning 24999 clauses out of 50014 with flag 4865000/4865000
1092.02/1090.88	c cleaning 25002 clauses out of 50015 with flag 4890000/4890000
1097.63/1096.42	c cleaning 24996 clauses out of 50015 with flag 4915002/4915002
1103.13/1101.96	c cleaning 24995 clauses out of 50017 with flag 4940000/4940000
1108.83/1107.69	c cleaning 25002 clauses out of 50023 with flag 4965001/4965001
1114.63/1113.43	c cleaning 25003 clauses out of 50020 with flag 4990000/4990000
1120.43/1119.29	c cleaning 24989 clauses out of 50017 with flag 5015000/5015000
1126.54/1125.31	c cleaning 25008 clauses out of 50029 with flag 5040001/5040001
1132.34/1131.19	c cleaning 24993 clauses out of 50020 with flag 5065000/5065000
1138.14/1136.93	c cleaning 25008 clauses out of 50029 with flag 5090002/5090002
1143.85/1142.69	c cleaning 24995 clauses out of 50019 with flag 5115000/5115000
1149.85/1148.69	c cleaning 25003 clauses out of 50025 with flag 5140001/5140001
1156.15/1154.91	c cleaning 25004 clauses out of 50022 with flag 5165001/5165001
1162.35/1161.17	c cleaning 24995 clauses out of 50017 with flag 5190000/5190000
1168.16/1166.98	c cleaning 25000 clauses out of 50022 with flag 5215000/5215000
1174.16/1172.93	c cleaning 25002 clauses out of 50022 with flag 5240000/5240000
1180.47/1179.29	c cleaning 24992 clauses out of 50020 with flag 5265000/5265000
1186.17/1184.95	c cleaning 25004 clauses out of 50029 with flag 5290001/5290001
1192.57/1191.35	c cleaning 24991 clauses out of 50024 with flag 5315000/5315000
1198.18/1196.98	c cleaning 25010 clauses out of 50034 with flag 5340001/5340001
1203.68/1202.41	c cleaning 25001 clauses out of 50023 with flag 5365000/5365000
1208.98/1207.76	c cleaning 25008 clauses out of 50024 with flag 5390002/5390002
1214.58/1213.31	c cleaning 24993 clauses out of 50014 with flag 5415000/5415000
1220.09/1218.82	c cleaning 25005 clauses out of 50021 with flag 5440000/5440000
1225.69/1224.47	c cleaning 24999 clauses out of 50016 with flag 5465000/5465000
1231.58/1230.31	c cleaning 24997 clauses out of 50018 with flag 5490001/5490001
1237.39/1236.13	c cleaning 24993 clauses out of 50022 with flag 5515002/5515002
1243.09/1241.81	c cleaning 25003 clauses out of 50027 with flag 5540000/5540000
1248.89/1247.62	c cleaning 25007 clauses out of 50025 with flag 5565001/5565001
1255.10/1253.84	c cleaning 24989 clauses out of 50017 with flag 5590000/5590000
1260.81/1259.58	c cleaning 25013 clauses out of 50030 with flag 5615002/5615002
1266.71/1265.43	c cleaning 24999 clauses out of 50016 with flag 5640001/5640001
1272.41/1271.14	c cleaning 25001 clauses out of 50016 with flag 5665000/5665000
1278.42/1277.13	c cleaning 24999 clauses out of 50016 with flag 5690001/5690001
1284.42/1283.19	c cleaning 24996 clauses out of 50017 with flag 5715001/5715001
1290.22/1288.91	c cleaning 25001 clauses out of 50022 with flag 5740002/5740002
1296.42/1295.16	c cleaning 24996 clauses out of 50019 with flag 5765000/5765000
1301.33/1300.01	c starts		: 2210
1301.33/1300.01	c conflicts		: 5785387
1301.33/1300.01	c decisions		: 8006200
1301.33/1300.01	c propagations		: 554448678
1301.33/1300.01	c inspects		: 11392899084
1301.33/1300.01	c shortcuts		: 0
1301.33/1300.01	c learnt literals	: 0
1301.33/1300.01	c learnt binary clauses	: 0
1301.33/1300.01	c learnt ternary clauses	: 0
1301.33/1300.01	c learnt constraints	: 5785387
1301.33/1300.01	c ignored constraints	: 0
1301.33/1300.01	c root simplifications	: 2210
1301.33/1300.01	c removed literals (reason simplification)	: 73109442
1301.33/1300.01	c reason swapping (by a shorter reason)	: 0
1301.33/1300.01	c Calls to reduceDB	: 239
1301.33/1300.01	c speed (assignments/second)	: 426573.168104609
1301.33/1300.01	c non guided choices	393
1301.33/1300.04	c learnt constraints type 
1301.33/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 45509
1301.33/1300.04	c constraints type 
1301.33/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25000
1301.33/1300.04	s UNKNOWN
1301.33/1300.04	c Total wall clock time (in seconds) : 1299.906

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 0.93 1.03 1.39 3/208 23046
/proc/meminfo: memFree=16850860/32951124 swapFree=67111528/67111528
[pid=23046] ppid=23044 vsize=33696 CPUtime=0 cores=4,6
/proc/23046/stat : 23046 (java) S 23044 23046 22972 0 -1 4202496 1301 0 0 0 0 0 0 0 18 0 2 0 352097064 34504704 1008 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/23046/statm: 8425 1010 777 9 0 387 0
[pid=23046/tid=23047] ppid=23044 vsize=33696 CPUtime=0 cores=4,6
/proc/23046/task/23047/stat : 23047 (java) R 23044 23046 22972 0 -1 4202560 186 0 0 0 0 0 0 0 19 0 2 0 352097064 34504704 1009 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264721481351 0 0 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0665099 s]
/proc/loadavg: 0.93 1.03 1.39 3/208 23046
/proc/meminfo: memFree=16850860/32951124 swapFree=67111528/67111528
[pid=23046] ppid=23044 vsize=7569808 CPUtime=0.06 cores=4,6
/proc/23046/stat : 23046 (java) S 23044 23046 22972 0 -1 4202496 9283 0 1 0 4 2 0 0 18 0 18 0 352097064 7751483392 8977 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23046/statm: 1892452 8977 1740 9 0 1883190 0
[pid=23046/tid=23047] ppid=23044 vsize=7569808 CPUtime=0.05 cores=4,6
/proc/23046/task/23047/stat : 23047 (java) R 23044 23046 22972 0 -1 4202560 8106 0 1 0 4 1 0 0 22 0 18 0 352097064 7751483392 8977 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7569808

[startup+0.104155 s]
/proc/loadavg: 0.93 1.03 1.39 3/208 23046
/proc/meminfo: memFree=16850860/32951124 swapFree=67111528/67111528
[pid=23046] ppid=23044 vsize=7570804 CPUtime=0.1 cores=4,6
/proc/23046/stat : 23046 (java) S 23044 23046 22972 0 -1 4202496 10339 0 1 0 8 2 0 0 18 0 18 0 352097064 7752503296 10033 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23046/statm: 1892701 10034 2093 9 0 1883439 0
[pid=23046/tid=23047] ppid=23044 vsize=7570804 CPUtime=0.08 cores=4,6
/proc/23046/task/23047/stat : 23047 (java) R 23044 23046 22972 0 -1 4202560 8581 0 1 0 6 2 0 0 18 0 18 0 352097064 7752503296 10034 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7570804

[startup+0.442418 s]
/proc/loadavg: 0.93 1.03 1.39 3/208 23046
/proc/meminfo: memFree=16850860/32951124 swapFree=67111528/67111528
[pid=23046] ppid=23044 vsize=7640336 CPUtime=0.73 cores=4,6
/proc/23046/stat : 23046 (java) S 23044 23046 22972 0 -1 4202496 13952 0 1 0 70 3 0 0 18 0 19 0 352097064 7823704064 12677 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23046/statm: 1910084 12677 2222 9 0 1900822 0
[pid=23046/tid=23047] ppid=23044 vsize=7640336 CPUtime=0.37 cores=4,6
/proc/23046/task/23047/stat : 23047 (java) R 23044 23046 22972 0 -1 4202560 9718 0 1 0 35 2 0 0 19 0 19 0 352097064 7823704064 12677 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 46912505166996 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 7640336

[startup+0.70042 s]
/proc/loadavg: 0.93 1.03 1.39 3/208 23046
/proc/meminfo: memFree=16850860/32951124 swapFree=67111528/67111528
[pid=23046] ppid=23044 vsize=7640336 CPUtime=1.04 cores=4,6
/proc/23046/stat : 23046 (java) S 23044 23046 22972 0 -1 4202496 14295 0 1 0 101 3 0 0 18 0 19 0 352097064 7823704064 13020 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23046/statm: 1910084 13020 2223 9 0 1900822 0
[pid=23046/tid=23047] ppid=23044 vsize=7640336 CPUtime=0.63 cores=4,6
/proc/23046/task/23047/stat : 23047 (java) R 23044 23046 22972 0 -1 4202560 10052 0 1 0 61 2 0 0 19 0 19 0 352097064 7823704064 13020 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 46912505677145 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 7640336

[startup+1.50129 s]
/proc/loadavg: 0.93 1.03 1.39 6/262 23105
/proc/meminfo: memFree=16715920/32951124 swapFree=67111528/67111528
[pid=23046] ppid=23044 vsize=7663328 CPUtime=2.09 cores=4,6
/proc/23046/stat : 23046 (java) S 23044 23046 22972 0 -1 4202496 24629 0 1 0 205 4 0 0 18 0 19 0 352097064 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23046/statm: 1915832 20774 2252 9 0 1906570 0
[pid=23046/tid=23047] ppid=23044 vsize=7663328 CPUtime=1.41 cores=4,6
/proc/23046/task/23047/stat : 23047 (java) R 23044 23046 22972 0 -1 4202560 10617 0 1 0 139 2 0 0 20 0 19 0 352097064 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 46912505588073 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23046/tid=23056] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23056/stat : 23056 (java) S 23044 23046 22972 0 -1 4202560 518 0 0 0 0 0 0 0 18 0 19 0 352097066 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23058] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23058/stat : 23058 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352097066 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23060] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23060/stat : 23060 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352097066 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23061] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23061/stat : 23061 (java) S 23044 23046 22972 0 -1 4202560 356 0 0 0 0 0 0 0 18 0 19 0 352097066 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23062] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23062/stat : 23062 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352097066 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23063] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23063/stat : 23063 (java) S 23044 23046 22972 0 -1 4202560 120 0 0 0 0 0 0 0 18 0 19 0 352097066 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23064] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23064/stat : 23064 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352097066 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23066] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23066/stat : 23066 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352097066 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23071] ppid=23044 vsize=7663328 CPUtime=0.01 cores=4,6
/proc/23046/task/23071/stat : 23071 (java) S 23044 23046 22972 0 -1 4202560 1004 0 0 0 1 0 0 0 16 0 19 0 352097067 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 0 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
[pid=23046/tid=23072] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23072/stat : 23072 (java) S 23044 23046 22972 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 352097067 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23073] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23073/stat : 23073 (java) S 23044 23046 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352097067 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23074] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23074/stat : 23074 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097070 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738228657 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23075] ppid=23044 vsize=7663328 CPUtime=0.4 cores=4,6
/proc/23046/task/23075/stat : 23075 (java) S 23044 23046 22972 0 -1 4202560 9164 0 0 0 40 0 0 0 15 0 19 0 352097070 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23076] ppid=23044 vsize=7663328 CPUtime=0.23 cores=4,6
/proc/23046/task/23076/stat : 23076 (java) S 23044 23046 22972 0 -1 4202560 1692 0 0 0 23 0 0 0 15 0 19 0 352097070 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23077] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23077/stat : 23077 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352097070 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23078] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23078/stat : 23078 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097070 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 4 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
[pid=23046/tid=23104] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23104/stat : 23104 (java) S 23044 23046 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097088 7847247872 20774 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 4 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 7663328

[startup+3.10099 s]
/proc/loadavg: 0.93 1.03 1.39 6/262 23105
/proc/meminfo: memFree=16613372/32951124 swapFree=67111528/67111528
[pid=23046] ppid=23044 vsize=7663328 CPUtime=3.72 cores=4,6
/proc/23046/stat : 23046 (java) S 23044 23046 22972 0 -1 4202496 25594 0 1 0 368 4 0 0 18 0 19 0 352097064 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23046/statm: 1915832 21738 2254 9 0 1906570 0
[pid=23046/tid=23047] ppid=23044 vsize=7663328 CPUtime=2.99 cores=4,6
/proc/23046/task/23047/stat : 23047 (java) R 23044 23046 22972 0 -1 4202560 10618 0 1 0 297 2 0 0 25 0 19 0 352097064 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 46912505588273 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23046/tid=23056] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23056/stat : 23056 (java) S 23044 23046 22972 0 -1 4202560 518 0 0 0 0 0 0 0 17 0 19 0 352097066 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23058] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23058/stat : 23058 (java) S 23044 23046 22972 0 -1 4202560 212 0 0 0 0 0 0 0 17 0 19 0 352097066 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
[pid=23046/tid=23060] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23060/stat : 23060 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352097066 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23061] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23061/stat : 23061 (java) S 23044 23046 22972 0 -1 4202560 356 0 0 0 0 0 0 0 18 0 19 0 352097066 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23062] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23062/stat : 23062 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097066 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23063] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23063/stat : 23063 (java) S 23044 23046 22972 0 -1 4202560 120 0 0 0 0 0 0 0 15 0 19 0 352097066 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23064] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23064/stat : 23064 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097066 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23066] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23066/stat : 23066 (java) S 23044 23046 22972 0 -1 4202560 543 0 0 0 0 0 0 0 15 0 19 0 352097066 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23071] ppid=23044 vsize=7663328 CPUtime=0.02 cores=4,6
/proc/23046/task/23071/stat : 23071 (java) S 23044 23046 22972 0 -1 4202560 1211 0 0 0 2 0 0 0 16 0 19 0 352097067 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 0 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
[pid=23046/tid=23072] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23072/stat : 23072 (java) S 23044 23046 22972 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 352097067 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23073] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23073/stat : 23073 (java) S 23044 23046 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352097067 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23074] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23074/stat : 23074 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097070 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738228657 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23075] ppid=23044 vsize=7663328 CPUtime=0.41 cores=4,6
/proc/23046/task/23075/stat : 23075 (java) S 23044 23046 22972 0 -1 4202560 9164 0 0 0 41 0 0 0 15 0 19 0 352097070 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23076] ppid=23044 vsize=7663328 CPUtime=0.25 cores=4,6
/proc/23046/task/23076/stat : 23076 (java) S 23044 23046 22972 0 -1 4202560 1696 0 0 0 25 0 0 0 15 0 19 0 352097070 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23077] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23077/stat : 23077 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352097070 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23078] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23078/stat : 23078 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097070 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 4 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
[pid=23046/tid=23104] ppid=23044 vsize=7663328 CPUtime=0 cores=4,6
/proc/23046/task/23104/stat : 23104 (java) S 23044 23046 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097088 7847247872 21738 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 4 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 7663328

[startup+6.30138 s]
/proc/loadavg: 1.18 1.08 1.40 6/262 23106
/proc/meminfo: memFree=16601344/32951124 swapFree=67111528/67111528
[pid=23046] ppid=23044 vsize=7658656 CPUtime=6.94 cores=4,6
/proc/23046/stat : 23046 (java) S 23044 23046 22972 0 -1 4202496 26138 0 1 0 690 4 0 0 18 0 19 0 352097064 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23046/statm: 1914664 21516 2254 9 0 1905402 0
[pid=23046/tid=23047] ppid=23044 vsize=7658656 CPUtime=6.12 cores=4,6
/proc/23046/task/23047/stat : 23047 (java) R 23044 23046 22972 0 -1 4202560 10622 0 1 0 610 2 0 0 25 0 19 0 352097064 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 46912505677961 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23046/tid=23056] ppid=23044 vsize=7658656 CPUtime=0 cores=4,6
/proc/23046/task/23056/stat : 23056 (java) S 23044 23046 22972 0 -1 4202560 867 0 0 0 0 0 0 0 15 0 19 0 352097066 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23058] ppid=23044 vsize=7658656 CPUtime=0 cores=4,6
/proc/23046/task/23058/stat : 23058 (java) S 23044 23046 22972 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 19 0 352097066 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23060] ppid=23044 vsize=7658656 CPUtime=0 cores=4,6
/proc/23046/task/23060/stat : 23060 (java) S 23044 23046 22972 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 352097066 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23061] ppid=23044 vsize=7658656 CPUtime=0 cores=4,6
/proc/23046/task/23061/stat : 23061 (java) S 23044 23046 22972 0 -1 4202560 362 0 0 0 0 0 0 0 15 0 19 0 352097066 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23062] ppid=23044 vsize=7658656 CPUtime=0 cores=4,6
/proc/23046/task/23062/stat : 23062 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097066 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23063] ppid=23044 vsize=7658656 CPUtime=0 cores=4,6
/proc/23046/task/23063/stat : 23063 (java) S 23044 23046 22972 0 -1 4202560 120 0 0 0 0 0 0 0 15 0 19 0 352097066 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23064] ppid=23044 vsize=7658656 CPUtime=0 cores=4,6
/proc/23046/task/23064/stat : 23064 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097066 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23066] ppid=23044 vsize=7658656 CPUtime=0 cores=4,6
/proc/23046/task/23066/stat : 23066 (java) S 23044 23046 22972 0 -1 4202560 543 0 0 0 0 0 0 0 15 0 19 0 352097066 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23071] ppid=23044 vsize=7658656 CPUtime=0.08 cores=4,6
/proc/23046/task/23071/stat : 23071 (java) S 23044 23046 22972 0 -1 4202560 1362 0 0 0 8 0 0 0 16 0 19 0 352097067 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 0 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
[pid=23046/tid=23072] ppid=23044 vsize=7658656 CPUtime=0 cores=4,6
/proc/23046/task/23072/stat : 23072 (java) S 23044 23046 22972 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 352097067 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23073] ppid=23044 vsize=7658656 CPUtime=0 cores=4,6
/proc/23046/task/23073/stat : 23073 (java) S 23044 23046 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352097067 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23074] ppid=23044 vsize=7658656 CPUtime=0 cores=4,6
/proc/23046/task/23074/stat : 23074 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097070 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738228657 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23075] ppid=23044 vsize=7658656 CPUtime=0.43 cores=4,6
/proc/23046/task/23075/stat : 23075 (java) S 23044 23046 22972 0 -1 4202560 9166 0 0 0 43 0 0 0 15 0 19 0 352097070 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23076] ppid=23044 vsize=7658656 CPUtime=0.25 cores=4,6
/proc/23046/task/23076/stat : 23076 (java) S 23044 23046 22972 0 -1 4202560 1696 0 0 0 25 0 0 0 15 0 19 0 352097070 7842463744 21516 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0

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

[pid=23046/tid=23063] ppid=23044 vsize=7655268 CPUtime=0.15 cores=4,6
/proc/23046/task/23063/stat : 23063 (java) S 23044 23046 22972 0 -1 4202560 557 0 0 0 15 0 0 0 15 0 19 0 352097066 7838994432 30137 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23064] ppid=23044 vsize=7655268 CPUtime=0.14 cores=4,6
/proc/23046/task/23064/stat : 23064 (java) S 23044 23046 22972 0 -1 4202560 1145 0 0 0 14 0 0 0 15 0 19 0 352097066 7838994432 30137 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23066] ppid=23044 vsize=7655268 CPUtime=0.16 cores=4,6
/proc/23046/task/23066/stat : 23066 (java) S 23044 23046 22972 0 -1 4202560 568 0 0 0 16 0 0 0 16 0 19 0 352097066 7838994432 30137 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23071] ppid=23044 vsize=7655268 CPUtime=5.91 cores=4,6
/proc/23046/task/23071/stat : 23071 (java) S 23044 23046 22972 0 -1 4202560 3804 0 0 0 589 2 0 0 15 0 19 0 352097067 7838994432 30137 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 0 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
[pid=23046/tid=23072] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23072/stat : 23072 (java) S 23044 23046 22972 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 352097067 7838994432 30137 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23073] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23073/stat : 23073 (java) S 23044 23046 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352097067 7838994432 30137 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23074] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23074/stat : 23074 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097070 7838994432 30137 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738228657 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23075] ppid=23044 vsize=7655268 CPUtime=0.46 cores=4,6
/proc/23046/task/23075/stat : 23075 (java) S 23044 23046 22972 0 -1 4202560 9229 0 0 0 45 1 0 0 15 0 19 0 352097070 7838994432 30137 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23076] ppid=23044 vsize=7655268 CPUtime=0.25 cores=4,6
/proc/23046/task/23076/stat : 23076 (java) S 23044 23046 22972 0 -1 4202560 1696 0 0 0 25 0 0 0 15 0 19 0 352097070 7838994432 30137 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23077] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23077/stat : 23077 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352097070 7838994432 30137 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23078] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23078/stat : 23078 (java) S 23044 23046 22972 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 352097070 7838994432 30137 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23104] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23104/stat : 23104 (java) S 23044 23046 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097088 7838994432 30137 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 4 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1183.57
Current children cumulated vsize (KiB) 7655268

[startup+1242.3 s]
/proc/loadavg: 4.02 3.98 3.31 6/262 23138
/proc/meminfo: memFree=16451092/32951124 swapFree=67111528/67111528
[pid=23046] ppid=23044 vsize=7655268 CPUtime=1243.59 cores=4,6
/proc/23046/stat : 23046 (java) S 23044 23046 22972 0 -1 4202496 35947 0 1 0 124350 9 0 0 18 0 19 0 352097064 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23046/statm: 1913817 30148 2255 9 0 1904555 0
[pid=23046/tid=23047] ppid=23044 vsize=7655268 CPUtime=1235.17 cores=4,6
/proc/23046/task/23047/stat : 23047 (java) R 23044 23046 22972 0 -1 4202560 13229 0 1 0 123514 3 0 0 25 0 19 0 352097064 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 46912505662790 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23046/tid=23056] ppid=23044 vsize=7655268 CPUtime=0.2 cores=4,6
/proc/23046/task/23056/stat : 23056 (java) S 23044 23046 22972 0 -1 4202560 1734 0 0 0 20 0 0 0 15 0 19 0 352097066 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23058] ppid=23044 vsize=7655268 CPUtime=0.18 cores=4,6
/proc/23046/task/23058/stat : 23058 (java) S 23044 23046 22972 0 -1 4202560 1801 0 0 0 18 0 0 0 15 0 19 0 352097066 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23060] ppid=23044 vsize=7655268 CPUtime=0.19 cores=4,6
/proc/23046/task/23060/stat : 23060 (java) S 23044 23046 22972 0 -1 4202560 418 0 0 0 19 0 0 0 15 0 19 0 352097066 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23061] ppid=23044 vsize=7655268 CPUtime=0.18 cores=4,6
/proc/23046/task/23061/stat : 23061 (java) S 23044 23046 22972 0 -1 4202560 510 0 0 0 18 0 0 0 15 0 19 0 352097066 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23062] ppid=23044 vsize=7655268 CPUtime=0.19 cores=4,6
/proc/23046/task/23062/stat : 23062 (java) S 23044 23046 22972 0 -1 4202560 17 0 0 0 19 0 0 0 15 0 19 0 352097066 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23063] ppid=23044 vsize=7655268 CPUtime=0.15 cores=4,6
/proc/23046/task/23063/stat : 23063 (java) S 23044 23046 22972 0 -1 4202560 557 0 0 0 15 0 0 0 15 0 19 0 352097066 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23064] ppid=23044 vsize=7655268 CPUtime=0.14 cores=4,6
/proc/23046/task/23064/stat : 23064 (java) S 23044 23046 22972 0 -1 4202560 1145 0 0 0 14 0 0 0 15 0 19 0 352097066 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23066] ppid=23044 vsize=7655268 CPUtime=0.17 cores=4,6
/proc/23046/task/23066/stat : 23066 (java) S 23044 23046 22972 0 -1 4202560 568 0 0 0 17 0 0 0 15 0 19 0 352097066 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23071] ppid=23044 vsize=7655268 CPUtime=6.22 cores=4,6
/proc/23046/task/23071/stat : 23071 (java) S 23044 23046 22972 0 -1 4202560 3819 0 0 0 620 2 0 0 16 0 19 0 352097067 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 0 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
[pid=23046/tid=23072] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23072/stat : 23072 (java) S 23044 23046 22972 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 352097067 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23073] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23073/stat : 23073 (java) S 23044 23046 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352097067 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23074] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23074/stat : 23074 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097070 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738228657 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23075] ppid=23044 vsize=7655268 CPUtime=0.46 cores=4,6
/proc/23046/task/23075/stat : 23075 (java) S 23044 23046 22972 0 -1 4202560 9229 0 0 0 45 1 0 0 15 0 19 0 352097070 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23076] ppid=23044 vsize=7655268 CPUtime=0.25 cores=4,6
/proc/23046/task/23076/stat : 23076 (java) S 23044 23046 22972 0 -1 4202560 1696 0 0 0 25 0 0 0 15 0 19 0 352097070 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23077] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23077/stat : 23077 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352097070 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23078] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23078/stat : 23078 (java) S 23044 23046 22972 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 352097070 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23104] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23104/stat : 23104 (java) S 23044 23046 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097088 7838994432 30148 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 4 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1243.59
Current children cumulated vsize (KiB) 7655268



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.01 3.98 3.35 3/222 23146
/proc/meminfo: memFree=16625212/32951124 swapFree=67111528/67111528
[pid=23046] ppid=23044 vsize=7655268 CPUtime=1301.33 cores=4,6
/proc/23046/stat : 23046 (java) S 23044 23046 22972 0 -1 4202496 36220 0 1 0 130124 9 0 0 18 0 19 0 352097064 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23046/statm: 1913817 30406 2255 9 0 1904555 0
[pid=23046/tid=23047] ppid=23044 vsize=7655268 CPUtime=1292.58 cores=4,6
/proc/23046/task/23047/stat : 23047 (java) R 23044 23046 22972 0 -1 4202560 13410 0 1 0 129255 3 0 0 25 0 19 0 352097064 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 46912505588230 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23046/tid=23056] ppid=23044 vsize=7655268 CPUtime=0.2 cores=4,6
/proc/23046/task/23056/stat : 23056 (java) S 23044 23046 22972 0 -1 4202560 1734 0 0 0 20 0 0 0 15 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23058] ppid=23044 vsize=7655268 CPUtime=0.18 cores=4,6
/proc/23046/task/23058/stat : 23058 (java) S 23044 23046 22972 0 -1 4202560 1801 0 0 0 18 0 0 0 15 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23060] ppid=23044 vsize=7655268 CPUtime=0.2 cores=4,6
/proc/23046/task/23060/stat : 23060 (java) S 23044 23046 22972 0 -1 4202560 419 0 0 0 20 0 0 0 15 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23061] ppid=23044 vsize=7655268 CPUtime=0.19 cores=4,6
/proc/23046/task/23061/stat : 23061 (java) S 23044 23046 22972 0 -1 4202560 512 0 0 0 19 0 0 0 15 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23062] ppid=23044 vsize=7655268 CPUtime=0.2 cores=4,6
/proc/23046/task/23062/stat : 23062 (java) S 23044 23046 22972 0 -1 4202560 18 0 0 0 20 0 0 0 15 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23063] ppid=23044 vsize=7655268 CPUtime=0.16 cores=4,6
/proc/23046/task/23063/stat : 23063 (java) S 23044 23046 22972 0 -1 4202560 557 0 0 0 16 0 0 0 15 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23064] ppid=23044 vsize=7655268 CPUtime=0.15 cores=4,6
/proc/23046/task/23064/stat : 23064 (java) S 23044 23046 22972 0 -1 4202560 1145 0 0 0 15 0 0 0 16 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23066] ppid=23044 vsize=7655268 CPUtime=0.18 cores=4,6
/proc/23046/task/23066/stat : 23066 (java) S 23044 23046 22972 0 -1 4202560 569 0 0 0 18 0 0 0 15 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23071] ppid=23044 vsize=7655268 CPUtime=6.49 cores=4,6
/proc/23046/task/23071/stat : 23071 (java) S 23044 23046 22972 0 -1 4202560 3902 0 0 0 647 2 0 0 15 0 19 0 352097067 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 0 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
[pid=23046/tid=23072] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23072/stat : 23072 (java) S 23044 23046 22972 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 352097067 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23073] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23073/stat : 23073 (java) S 23044 23046 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352097067 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23074] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23074/stat : 23074 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097070 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738228657 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23075] ppid=23044 vsize=7655268 CPUtime=0.46 cores=4,6
/proc/23046/task/23075/stat : 23075 (java) S 23044 23046 22972 0 -1 4202560 9229 0 0 0 45 1 0 0 15 0 19 0 352097070 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23076] ppid=23044 vsize=7655268 CPUtime=0.25 cores=4,6
/proc/23046/task/23076/stat : 23076 (java) S 23044 23046 22972 0 -1 4202560 1696 0 0 0 25 0 0 0 15 0 19 0 352097070 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23077] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23077/stat : 23077 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352097070 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23078] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23078/stat : 23078 (java) S 23044 23046 22972 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 352097070 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23104] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23104/stat : 23104 (java) S 23044 23046 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097088 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 4 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1301.33
Current children cumulated vsize (KiB) 7655268

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: 4.01 3.98 3.35 3/222 23146
/proc/meminfo: memFree=16625212/32951124 swapFree=67111528/67111528
[pid=23046] ppid=23044 vsize=7655268 CPUtime=1301.33 cores=4,6
/proc/23046/stat : 23046 (java) S 23044 23046 22972 0 -1 4202496 36220 0 1 0 130124 9 0 0 18 0 19 0 352097064 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23046/statm: 1913817 30406 2255 9 0 1904555 0
[pid=23046/tid=23047] ppid=23044 vsize=7655268 CPUtime=1292.58 cores=4,6
/proc/23046/task/23047/stat : 23047 (java) R 23044 23046 22972 0 -1 4202560 13410 0 1 0 129255 3 0 0 25 0 19 0 352097064 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 46912505588230 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23046/tid=23056] ppid=23044 vsize=7655268 CPUtime=0.2 cores=4,6
/proc/23046/task/23056/stat : 23056 (java) S 23044 23046 22972 0 -1 4202560 1734 0 0 0 20 0 0 0 15 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23058] ppid=23044 vsize=7655268 CPUtime=0.18 cores=4,6
/proc/23046/task/23058/stat : 23058 (java) S 23044 23046 22972 0 -1 4202560 1801 0 0 0 18 0 0 0 15 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23060] ppid=23044 vsize=7655268 CPUtime=0.2 cores=4,6
/proc/23046/task/23060/stat : 23060 (java) S 23044 23046 22972 0 -1 4202560 419 0 0 0 20 0 0 0 15 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23061] ppid=23044 vsize=7655268 CPUtime=0.19 cores=4,6
/proc/23046/task/23061/stat : 23061 (java) S 23044 23046 22972 0 -1 4202560 512 0 0 0 19 0 0 0 15 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23062] ppid=23044 vsize=7655268 CPUtime=0.2 cores=4,6
/proc/23046/task/23062/stat : 23062 (java) S 23044 23046 22972 0 -1 4202560 18 0 0 0 20 0 0 0 15 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23063] ppid=23044 vsize=7655268 CPUtime=0.16 cores=4,6
/proc/23046/task/23063/stat : 23063 (java) S 23044 23046 22972 0 -1 4202560 557 0 0 0 16 0 0 0 15 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23064] ppid=23044 vsize=7655268 CPUtime=0.15 cores=4,6
/proc/23046/task/23064/stat : 23064 (java) S 23044 23046 22972 0 -1 4202560 1145 0 0 0 15 0 0 0 16 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23066] ppid=23044 vsize=7655268 CPUtime=0.18 cores=4,6
/proc/23046/task/23066/stat : 23066 (java) S 23044 23046 22972 0 -1 4202560 569 0 0 0 18 0 0 0 15 0 19 0 352097066 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23071] ppid=23044 vsize=7655268 CPUtime=6.49 cores=4,6
/proc/23046/task/23071/stat : 23071 (java) S 23044 23046 22972 0 -1 4202560 3902 0 0 0 647 2 0 0 15 0 19 0 352097067 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 0 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
[pid=23046/tid=23072] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23072/stat : 23072 (java) S 23044 23046 22972 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 352097067 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23073] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23073/stat : 23073 (java) S 23044 23046 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352097067 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23074] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23074/stat : 23074 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097070 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738228657 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23075] ppid=23044 vsize=7655268 CPUtime=0.46 cores=4,6
/proc/23046/task/23075/stat : 23075 (java) S 23044 23046 22972 0 -1 4202560 9229 0 0 0 45 1 0 0 15 0 19 0 352097070 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23076] ppid=23044 vsize=7655268 CPUtime=0.25 cores=4,6
/proc/23046/task/23076/stat : 23076 (java) S 23044 23046 22972 0 -1 4202560 1696 0 0 0 25 0 0 0 15 0 19 0 352097070 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23077] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23077/stat : 23077 (java) S 23044 23046 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352097070 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738220953 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23078] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23078/stat : 23078 (java) S 23044 23046 22972 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 352097070 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 4 0 16800975 18446604453946259328 0 0 -1 6 0 0 0
[pid=23046/tid=23104] ppid=23044 vsize=7655268 CPUtime=0 cores=4,6
/proc/23046/task/23104/stat : 23104 (java) S 23044 23046 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097088 7838994432 30406 33554432000 1073741824 1073778376 140734349428480 18446744073709551615 264738221568 0 4 0 16800975 18446604453946259328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1301.33
Current children cumulated vsize (KiB) 7655268

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.41
CPU user time (s): 1301.31
CPU system time (s): 0.100984
CPU usage (%): 100.105
Max. virtual memory (cumulated for all children) (KiB): 7663328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.31
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36258
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= 33492
involuntary context switches= 9152

runsolver used 2.30465 second user time and 4.78027 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-12 10:26:55
IDJOB=3190197
IDBENCH=82528
IDSOLVER=1611
FILE ID=node141/3190197-1302596814
RUNJOBID= node141-1302596814-22991
PBS_JOBID= 12958091
Free space on /tmp= 71524 MiB

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

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

MD5SUM BENCH= 79bb5af0297560cf515e2461b267e196
RANDOM SEED=1001271373

node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16851208 kB
Buffers:        765736 kB
Cached:       14818976 kB
SwapCached:          0 kB
Active:        8939252 kB
Inactive:      6765376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16851208 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1988 kB
Writeback:           0 kB
AnonPages:      119064 kB
Mapped:          20624 kB
Slab:           328892 kB
PageTables:       5860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 14707572 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= 71524 MiB
End job on node141 at 2011-04-12 10:48:37