Trace number 3190196

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

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf
MD5SUMd6a0b223b2c940add3196cb3c37e2d59
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark98.1881
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.05/0.27	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.27	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.27	c See www.sat4j.org for details.
0.05/0.27	c no version file found!!!
0.05/0.27	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.27	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.27	c java.vm.version	19.1-b02
0.05/0.27	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.27	c sun.arch.data.model	64
0.05/0.27	c java.version		1.6.0_24
0.05/0.27	c os.name		Linux
0.05/0.27	c os.version		2.6.18-164.el5
0.05/0.27	c os.arch		amd64
0.05/0.27	c Free memory 		6997539544
0.05/0.27	c Max memory 		7034241024
0.05/0.27	c Total memory 		7034241024
0.05/0.27	c Number of processors 	8
0.05/0.29	c --- Begin Solver configuration ---
0.05/0.29	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.05/0.29	c Learn all clauses as in MiniSAT
0.05/0.29	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.05/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.05/0.29	c Expensive reason simplification
0.05/0.29	c Armin Biere (Picosat) restarts strategy
0.05/0.29	c Glucose learned constraints deletion strategy
0.05/0.29	c timeout=2147483647s
0.05/0.29	c DB Simplification allowed=true
0.05/0.29	c --- End Solver configuration ---
0.05/0.29	c solving HOME/instance-3190196-1302596814.cnf
0.05/0.29	c reading problem ... 
0.30/0.40	c ... done. Wall clock time 0.106s.
0.30/0.40	c #vars     1250
0.30/0.40	c #constraints  25000
0.30/0.40	c constraints type 
0.30/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25000
1.62/1.46	c cleaning 2495 clauses out of 5001 with flag 5001/5001
2.88/2.45	c cleaning 4250 clauses out of 8505 with flag 11000/11000
3.98/3.57	c cleaning 5627 clauses out of 11256 with flag 18001/18001
5.29/4.88	c cleaning 6810 clauses out of 13630 with flag 26002/26002
6.80/6.39	c cleaning 7902 clauses out of 15818 with flag 35000/35000
8.50/8.10	c cleaning 8954 clauses out of 17916 with flag 45000/45000
10.41/9.99	c cleaning 9978 clauses out of 19962 with flag 56000/56000
12.62/12.19	c cleaning 10990 clauses out of 21986 with flag 68002/68002
15.01/14.51	c cleaning 11991 clauses out of 23994 with flag 81000/81000
17.51/17.08	c cleaning 12997 clauses out of 26003 with flag 95000/95000
20.42/19.94	c cleaning 13999 clauses out of 28007 with flag 110001/110001
23.52/23.07	c cleaning 14998 clauses out of 30007 with flag 126000/126000
26.82/26.39	c cleaning 16002 clauses out of 32009 with flag 143000/143000
30.43/29.98	c cleaning 16991 clauses out of 34007 with flag 161000/161000
34.33/33.85	c cleaning 18002 clauses out of 36016 with flag 180000/180000
38.63/38.12	c cleaning 18998 clauses out of 38015 with flag 200001/200001
43.13/42.64	c cleaning 20005 clauses out of 40019 with flag 221003/221003
47.94/47.45	c cleaning 21004 clauses out of 42011 with flag 243000/243000
52.94/52.49	c cleaning 22002 clauses out of 44008 with flag 266001/266001
58.24/57.72	c cleaning 22993 clauses out of 46005 with flag 290000/290000
63.86/63.38	c cleaning 23998 clauses out of 48013 with flag 315001/315001
69.76/69.26	c cleaning 24503 clauses out of 49014 with flag 340000/340000
75.56/75.01	c cleaning 24755 clauses out of 49514 with flag 365003/365003
81.26/80.73	c cleaning 24870 clauses out of 49756 with flag 390000/390000
87.17/86.65	c cleaning 24937 clauses out of 49886 with flag 415000/415000
92.77/92.25	c cleaning 24971 clauses out of 49949 with flag 440000/440000
98.67/98.13	c cleaning 24983 clauses out of 49978 with flag 465000/465000
104.18/103.69	c cleaning 24991 clauses out of 49995 with flag 490000/490000
110.09/109.59	c cleaning 24998 clauses out of 50004 with flag 515000/515000
115.79/115.20	c cleaning 24994 clauses out of 50006 with flag 540000/540000
121.69/121.16	c cleaning 25004 clauses out of 50013 with flag 565001/565001
127.30/126.77	c cleaning 24996 clauses out of 50008 with flag 590000/590000
133.40/132.90	c cleaning 25005 clauses out of 50012 with flag 615000/615000
139.00/138.50	c cleaning 24995 clauses out of 50009 with flag 640002/640002
144.50/144.00	c cleaning 24999 clauses out of 50012 with flag 665000/665000
150.71/150.10	c cleaning 25003 clauses out of 50013 with flag 690000/690000
156.21/155.64	c cleaning 25000 clauses out of 50010 with flag 715000/715000
162.01/161.40	c cleaning 25001 clauses out of 50010 with flag 740000/740000
167.91/167.33	c cleaning 24999 clauses out of 50010 with flag 765001/765001
173.52/172.95	c cleaning 24997 clauses out of 50011 with flag 790001/790001
179.02/178.47	c cleaning 24995 clauses out of 50013 with flag 815000/815000
185.12/184.58	c cleaning 25000 clauses out of 50019 with flag 840001/840001
190.72/190.17	c cleaning 25005 clauses out of 50018 with flag 865000/865000
196.33/195.80	c cleaning 24995 clauses out of 50013 with flag 890000/890000
202.33/201.77	c cleaning 25009 clauses out of 50018 with flag 915000/915000
208.23/207.62	c cleaning 25003 clauses out of 50010 with flag 940001/940001
213.93/213.33	c cleaning 25002 clauses out of 50008 with flag 965002/965002
219.63/219.03	c cleaning 24992 clauses out of 50004 with flag 990000/990000
225.63/225.09	c cleaning 24997 clauses out of 50012 with flag 1015000/1015000
231.44/230.80	c cleaning 25003 clauses out of 50015 with flag 1040000/1040000
237.04/236.44	c cleaning 24997 clauses out of 50012 with flag 1065000/1065000
242.74/242.15	c cleaning 25000 clauses out of 50015 with flag 1090000/1090000
248.84/248.20	c cleaning 25004 clauses out of 50015 with flag 1115000/1115000
254.85/254.20	c cleaning 25003 clauses out of 50011 with flag 1140000/1140000
260.45/259.83	c cleaning 24996 clauses out of 50008 with flag 1165000/1165000
266.25/265.66	c cleaning 24997 clauses out of 50012 with flag 1190000/1190000
272.05/271.46	c cleaning 25003 clauses out of 50016 with flag 1215001/1215001
278.16/277.58	c cleaning 25003 clauses out of 50012 with flag 1240000/1240000
283.86/283.28	c cleaning 25000 clauses out of 50011 with flag 1265002/1265002
289.56/288.97	c cleaning 25001 clauses out of 50010 with flag 1290001/1290001
295.26/294.67	c cleaning 24998 clauses out of 50008 with flag 1315000/1315000
300.87/300.29	c cleaning 24987 clauses out of 50010 with flag 1340000/1340000
306.97/306.37	c cleaning 25008 clauses out of 50024 with flag 1365001/1365001
312.77/312.12	c cleaning 25006 clauses out of 50017 with flag 1390002/1390002
318.37/317.73	c cleaning 24996 clauses out of 50009 with flag 1415000/1415000
323.98/323.38	c cleaning 24996 clauses out of 50015 with flag 1440002/1440002
329.98/329.30	c cleaning 25003 clauses out of 50018 with flag 1465001/1465001
335.98/335.35	c cleaning 25000 clauses out of 50014 with flag 1490000/1490000
341.98/341.40	c cleaning 24999 clauses out of 50015 with flag 1515001/1515001
347.69/347.07	c cleaning 25001 clauses out of 50016 with flag 1540001/1540001
353.39/352.80	c cleaning 24993 clauses out of 50014 with flag 1565000/1565000
359.39/358.72	c cleaning 25005 clauses out of 50022 with flag 1590001/1590001
365.29/364.68	c cleaning 24995 clauses out of 50017 with flag 1615001/1615001
371.11/370.42	c cleaning 24999 clauses out of 50022 with flag 1640001/1640001
377.31/376.66	c cleaning 25003 clauses out of 50023 with flag 1665001/1665001
383.12/382.43	c cleaning 25001 clauses out of 50020 with flag 1690001/1690001
388.72/388.04	c cleaning 25006 clauses out of 50018 with flag 1715000/1715000
394.53/393.89	c cleaning 24996 clauses out of 50013 with flag 1740001/1740001
400.32/399.68	c cleaning 25004 clauses out of 50017 with flag 1765001/1765001
406.23/405.56	c cleaning 24995 clauses out of 50012 with flag 1790000/1790000
412.13/411.47	c cleaning 24998 clauses out of 50019 with flag 1815002/1815002
418.33/417.65	c cleaning 25007 clauses out of 50019 with flag 1840000/1840000
424.03/423.30	c cleaning 25001 clauses out of 50012 with flag 1865000/1865000
429.74/429.07	c cleaning 24997 clauses out of 50011 with flag 1890000/1890000
435.54/434.88	c cleaning 24996 clauses out of 50015 with flag 1915001/1915001
441.54/440.89	c cleaning 25000 clauses out of 50018 with flag 1940000/1940000
447.64/446.94	c cleaning 24997 clauses out of 50019 with flag 1965001/1965001
453.55/452.80	c cleaning 24998 clauses out of 50021 with flag 1990000/1990000
459.55/458.88	c cleaning 25001 clauses out of 50023 with flag 2015000/2015000
465.36/464.61	c cleaning 25002 clauses out of 50022 with flag 2040000/2040000
470.96/470.29	c cleaning 25001 clauses out of 50021 with flag 2065001/2065001
476.66/475.99	c cleaning 24999 clauses out of 50021 with flag 2090002/2090002
482.57/481.81	c cleaning 25001 clauses out of 50022 with flag 2115002/2115002
488.47/487.76	c cleaning 25003 clauses out of 50020 with flag 2140001/2140001
494.58/493.89	c cleaning 24999 clauses out of 50017 with flag 2165001/2165001
500.67/499.94	c cleaning 25001 clauses out of 50020 with flag 2190003/2190003
506.88/506.12	c cleaning 25003 clauses out of 50017 with flag 2215001/2215001
512.88/512.10	c cleaning 24998 clauses out of 50013 with flag 2240000/2240000
518.48/517.79	c cleaning 25002 clauses out of 50017 with flag 2265002/2265002
524.29/523.56	c cleaning 25001 clauses out of 50015 with flag 2290002/2290002
530.09/529.39	c cleaning 25000 clauses out of 50012 with flag 2315000/2315000
536.08/535.38	c cleaning 25000 clauses out of 50012 with flag 2340000/2340000
542.29/541.50	c cleaning 24997 clauses out of 50012 with flag 2365000/2365000
548.39/547.64	c cleaning 24997 clauses out of 50016 with flag 2390001/2390001
554.39/553.64	c cleaning 24998 clauses out of 50020 with flag 2415002/2415002
560.29/559.58	c cleaning 24998 clauses out of 50021 with flag 2440001/2440001
566.30/565.56	c cleaning 25002 clauses out of 50022 with flag 2465000/2465000
571.90/571.14	c cleaning 25003 clauses out of 50021 with flag 2490001/2490001
577.70/576.91	c cleaning 25001 clauses out of 50017 with flag 2515000/2515000
583.40/582.68	c cleaning 24988 clauses out of 50016 with flag 2540000/2540000
589.21/588.49	c cleaning 24999 clauses out of 50031 with flag 2565003/2565003
595.31/594.56	c cleaning 24999 clauses out of 50029 with flag 2590000/2590000
601.42/600.69	c cleaning 25002 clauses out of 50031 with flag 2615001/2615001
607.61/606.83	c cleaning 25007 clauses out of 50028 with flag 2640000/2640000
613.82/613.07	c cleaning 25005 clauses out of 50021 with flag 2665000/2665000
620.03/619.30	c cleaning 24989 clauses out of 50016 with flag 2690000/2690000
626.12/625.36	c cleaning 25010 clauses out of 50028 with flag 2715001/2715001
631.73/630.99	c cleaning 24999 clauses out of 50018 with flag 2740001/2740001
637.53/636.70	c cleaning 25001 clauses out of 50018 with flag 2765000/2765000
643.24/642.44	c cleaning 24995 clauses out of 50017 with flag 2790000/2790000
649.13/648.39	c cleaning 25001 clauses out of 50024 with flag 2815002/2815002
655.24/654.45	c cleaning 25003 clauses out of 50021 with flag 2840000/2840000
661.44/660.61	c cleaning 25002 clauses out of 50018 with flag 2865000/2865000
667.54/666.74	c cleaning 25006 clauses out of 50017 with flag 2890001/2890001
673.95/673.13	c cleaning 24991 clauses out of 50010 with flag 2915000/2915000
680.05/679.26	c cleaning 24997 clauses out of 50019 with flag 2940000/2940000
686.16/685.35	c cleaning 24998 clauses out of 50022 with flag 2965000/2965000
692.26/691.49	c cleaning 25002 clauses out of 50024 with flag 2990000/2990000
698.06/697.21	c cleaning 24996 clauses out of 50022 with flag 3015000/3015000
703.67/702.85	c cleaning 25006 clauses out of 50026 with flag 3040000/3040000
709.46/708.66	c cleaning 25004 clauses out of 50021 with flag 3065001/3065001
715.37/714.59	c cleaning 25003 clauses out of 50016 with flag 3090000/3090000
721.38/720.58	c cleaning 24993 clauses out of 50015 with flag 3115002/3115002
727.57/726.73	c cleaning 24990 clauses out of 50020 with flag 3140000/3140000
733.67/732.80	c cleaning 25002 clauses out of 50030 with flag 3165000/3165000
739.78/738.96	c cleaning 25000 clauses out of 50029 with flag 3190001/3190001
745.88/745.06	c cleaning 25006 clauses out of 50028 with flag 3215000/3215000
751.98/751.15	c cleaning 25004 clauses out of 50022 with flag 3240000/3240000
757.89/757.09	c cleaning 24993 clauses out of 50019 with flag 3265001/3265001
764.39/763.50	c cleaning 25004 clauses out of 50027 with flag 3290002/3290002
770.09/769.20	c cleaning 25002 clauses out of 50022 with flag 3315001/3315001
775.79/774.90	c cleaning 25004 clauses out of 50019 with flag 3340000/3340000
781.60/780.74	c cleaning 24997 clauses out of 50016 with flag 3365001/3365001
787.50/786.68	c cleaning 25003 clauses out of 50020 with flag 3390002/3390002
793.50/792.61	c cleaning 25000 clauses out of 50015 with flag 3415000/3415000
799.52/798.63	c cleaning 25000 clauses out of 50016 with flag 3440001/3440001
805.91/805.02	c cleaning 24992 clauses out of 50016 with flag 3465001/3465001
812.32/811.42	c cleaning 25004 clauses out of 50024 with flag 3490001/3490001
818.42/817.60	c cleaning 24999 clauses out of 50019 with flag 3515000/3515000
824.62/823.79	c cleaning 24990 clauses out of 50020 with flag 3540000/3540000
830.82/829.90	c cleaning 25006 clauses out of 50030 with flag 3565000/3565000
837.02/836.10	c cleaning 25002 clauses out of 50025 with flag 3590001/3590001
843.83/842.90	c cleaning 25010 clauses out of 50022 with flag 3615000/3615000
849.63/848.72	c cleaning 24998 clauses out of 50012 with flag 3640000/3640000
855.43/854.51	c cleaning 25000 clauses out of 50014 with flag 3665000/3665000
861.14/860.26	c cleaning 24998 clauses out of 50014 with flag 3690000/3690000
866.94/866.09	c cleaning 25002 clauses out of 50016 with flag 3715000/3715000
872.64/871.73	c cleaning 24994 clauses out of 50014 with flag 3740000/3740000
878.84/877.92	c cleaning 24990 clauses out of 50020 with flag 3765000/3765000
884.95/884.01	c cleaning 25005 clauses out of 50030 with flag 3790000/3790000
891.15/890.23	c cleaning 25000 clauses out of 50026 with flag 3815001/3815001
897.25/896.34	c cleaning 24998 clauses out of 50026 with flag 3840001/3840001
903.96/903.07	c cleaning 25006 clauses out of 50027 with flag 3865000/3865000
910.76/909.89	c cleaning 25000 clauses out of 50021 with flag 3890000/3890000
917.36/916.43	c cleaning 24997 clauses out of 50021 with flag 3915000/3915000
923.96/923.07	c cleaning 25000 clauses out of 50024 with flag 3940000/3940000
930.07/929.16	c cleaning 24996 clauses out of 50024 with flag 3965000/3965000
936.27/935.39	c cleaning 25011 clauses out of 50028 with flag 3990000/3990000
942.07/941.12	c cleaning 25000 clauses out of 50017 with flag 4015000/4015000
947.67/946.78	c cleaning 24993 clauses out of 50018 with flag 4040001/4040001
953.38/952.43	c cleaning 25006 clauses out of 50026 with flag 4065002/4065002
959.37/958.42	c cleaning 25005 clauses out of 50021 with flag 4090003/4090003
965.37/964.40	c cleaning 24993 clauses out of 50017 with flag 4115004/4115004
971.28/970.35	c cleaning 24996 clauses out of 50021 with flag 4140001/4140001
977.38/976.48	c cleaning 25005 clauses out of 50024 with flag 4165000/4165000
983.98/983.03	c cleaning 24996 clauses out of 50019 with flag 4190000/4190000
990.49/989.52	c cleaning 25001 clauses out of 50023 with flag 4215000/4215000
996.69/995.71	c cleaning 25005 clauses out of 50024 with flag 4240002/4240002
1002.69/1001.80	c cleaning 24997 clauses out of 50017 with flag 4265000/4265000
1009.20/1008.25	c cleaning 25003 clauses out of 50022 with flag 4290002/4290002
1015.90/1014.91	c cleaning 25004 clauses out of 50021 with flag 4315004/4315004
1022.60/1021.63	c cleaning 24997 clauses out of 50014 with flag 4340001/4340001
1028.81/1027.88	c cleaning 24991 clauses out of 50016 with flag 4365000/4365000
1035.61/1034.66	c cleaning 25004 clauses out of 50025 with flag 4390000/4390000
1041.42/1040.41	c cleaning 24990 clauses out of 50021 with flag 4415000/4415000
1047.12/1046.11	c cleaning 25012 clauses out of 50031 with flag 4440000/4440000
1052.82/1051.89	c cleaning 24999 clauses out of 50019 with flag 4465000/4465000
1058.92/1057.90	c cleaning 25000 clauses out of 50022 with flag 4490002/4490002
1064.93/1063.91	c cleaning 25001 clauses out of 50021 with flag 4515001/4515001
1071.03/1070.07	c cleaning 25004 clauses out of 50019 with flag 4540000/4540000
1077.23/1076.22	c cleaning 24995 clauses out of 50015 with flag 4565000/4565000
1083.44/1082.42	c cleaning 25004 clauses out of 50021 with flag 4590001/4590001
1089.84/1088.86	c cleaning 25004 clauses out of 50016 with flag 4615000/4615000
1096.55/1095.54	c cleaning 24990 clauses out of 50012 with flag 4640000/4640000
1103.15/1102.19	c cleaning 24998 clauses out of 50022 with flag 4665000/4665000
1109.85/1108.82	c cleaning 25006 clauses out of 50024 with flag 4690000/4690000
1116.75/1115.77	c cleaning 24998 clauses out of 50019 with flag 4715001/4715001
1123.16/1122.19	c cleaning 24999 clauses out of 50024 with flag 4740004/4740004
1129.57/1128.52	c cleaning 24999 clauses out of 50021 with flag 4765000/4765000
1136.47/1135.47	c cleaning 25000 clauses out of 50022 with flag 4790000/4790000
1142.97/1141.98	c cleaning 24997 clauses out of 50024 with flag 4815002/4815002
1149.18/1148.19	c cleaning 25011 clauses out of 50027 with flag 4840002/4840002
1154.99/1154.00	c cleaning 24999 clauses out of 50015 with flag 4865001/4865001
1160.78/1159.78	c cleaning 25002 clauses out of 50019 with flag 4890004/4890004
1166.68/1165.67	c cleaning 25004 clauses out of 50015 with flag 4915002/4915002
1172.49/1171.46	c cleaning 24996 clauses out of 50010 with flag 4940001/4940001
1178.29/1177.24	c cleaning 24998 clauses out of 50016 with flag 4965003/4965003
1184.19/1183.13	c cleaning 24995 clauses out of 50016 with flag 4990001/4990001
1190.20/1189.17	c cleaning 24985 clauses out of 50020 with flag 5015000/5015000
1196.59/1195.55	c cleaning 25000 clauses out of 50035 with flag 5040000/5040000
1202.90/1201.85	c cleaning 25004 clauses out of 50035 with flag 5065000/5065000
1209.20/1208.18	c cleaning 25005 clauses out of 50031 with flag 5090000/5090000
1215.51/1214.45	c cleaning 25002 clauses out of 50026 with flag 5115000/5115000
1221.91/1220.89	c cleaning 24993 clauses out of 50024 with flag 5140000/5140000
1228.91/1227.83	c cleaning 25004 clauses out of 50031 with flag 5165000/5165000
1235.61/1234.55	c cleaning 25004 clauses out of 50029 with flag 5190002/5190002
1241.82/1240.75	c cleaning 24994 clauses out of 50024 with flag 5215001/5215001
1248.12/1247.07	c cleaning 25003 clauses out of 50029 with flag 5240000/5240000
1255.13/1254.01	c cleaning 24989 clauses out of 50027 with flag 5265001/5265001
1261.23/1260.10	c cleaning 25002 clauses out of 50037 with flag 5290000/5290000
1267.93/1266.81	c cleaning 25005 clauses out of 50036 with flag 5315001/5315001
1273.93/1272.90	c cleaning 25008 clauses out of 50031 with flag 5340001/5340001
1279.74/1278.61	c cleaning 24998 clauses out of 50024 with flag 5365002/5365002
1285.54/1284.40	c cleaning 25000 clauses out of 50024 with flag 5390000/5390000
1291.45/1290.31	c cleaning 25009 clauses out of 50029 with flag 5415005/5415005
1297.44/1296.32	c cleaning 24993 clauses out of 50015 with flag 5440000/5440000
1301.15/1300.01	c starts		: 2197
1301.15/1300.01	c conflicts		: 5456523
1301.15/1300.01	c decisions		: 7570618
1301.15/1300.01	c propagations		: 525323171
1301.15/1300.01	c inspects		: 10789381462
1301.15/1300.01	c shortcuts		: 0
1301.15/1300.01	c learnt literals	: 0
1301.15/1300.01	c learnt binary clauses	: 0
1301.15/1300.01	c learnt ternary clauses	: 0
1301.15/1300.01	c learnt constraints	: 5456523
1301.15/1300.01	c ignored constraints	: 0
1301.15/1300.01	c root simplifications	: 2197
1301.15/1300.01	c removed literals (reason simplification)	: 68982851
1301.15/1300.01	c reason swapping (by a shorter reason)	: 0
1301.15/1300.01	c Calls to reduceDB	: 226
1301.15/1300.01	c speed (assignments/second)	: 404215.097109678
1301.15/1300.01	c non guided choices	381
1301.15/1300.04	c learnt constraints type 
1301.15/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 41649
1301.15/1300.04	c constraints type 
1301.15/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25000
1301.15/1300.04	s UNKNOWN
1301.15/1300.04	c Total wall clock time (in seconds) : 1299.72

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

running on 2 cores: 5,7

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/176 23009
/proc/meminfo: memFree=16921848/32951124 swapFree=67111528/67111528
[pid=23009] ppid=23006 vsize=9016 CPUtime=0 cores=5,7
/proc/23009/stat : 23009 (java) R 23006 23009 22972 0 -1 4194304 102 0 2 0 0 0 0 0 17 0 1 0 352097042 9232384 56 33554432000 1073741824 1073778376 140735016974032 18446744073709551615 264721481738 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23009/statm: 2254 63 50 9 0 33 0

[startup+0.045192 s]
/proc/loadavg: 0.93 1.03 1.39 3/176 23009
/proc/meminfo: memFree=16921848/32951124 swapFree=67111528/67111528
[pid=23009] ppid=23006 vsize=23028 CPUtime=0 cores=5,7
/proc/23009/stat : 23009 (java) D 23006 23009 22972 0 -1 4202496 951 0 39 0 0 0 0 0 17 0 1 0 352097042 23580672 732 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 47750640720880 0 0 4096 0 18446744071562234166 0 0 17 7 0 0 2
/proc/23009/statm: 5757 732 536 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.101113 s]
/proc/loadavg: 0.93 1.03 1.39 3/176 23009
/proc/meminfo: memFree=16921848/32951124 swapFree=67111528/67111528
[pid=23009] ppid=23006 vsize=28384 CPUtime=0 cores=5,7
/proc/23009/stat : 23009 (java) S 23006 23009 22972 0 -1 4202496 1120 0 59 0 0 0 0 0 17 0 2 0 352097042 29065216 905 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738207717 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 7
/proc/23009/statm: 7096 905 688 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28384

[startup+0.301069 s]
/proc/loadavg: 0.93 1.03 1.39 3/176 23009
/proc/meminfo: memFree=16921848/32951124 swapFree=67111528/67111528
[pid=23009] ppid=23006 vsize=7636516 CPUtime=0.11 cores=5,7
/proc/23009/stat : 23009 (java) S 23006 23009 22972 0 -1 4202496 10293 0 117 0 9 2 0 0 17 0 18 0 352097042 7819792384 10102 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/23009/statm: 1909129 10102 2093 9 0 1899867 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7636516

[startup+0.701061 s]
/proc/loadavg: 0.93 1.03 1.39 3/176 23009
/proc/meminfo: memFree=16921848/32951124 swapFree=67111528/67111528
[pid=23009] ppid=23006 vsize=7641812 CPUtime=0.86 cores=5,7
/proc/23009/stat : 23009 (java) S 23006 23009 22972 0 -1 4202496 13669 0 117 0 83 3 0 0 17 0 19 0 352097042 7825215488 12672 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/23009/statm: 1910453 12672 2223 9 0 1901191 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 7641812

[startup+1.56283 s]
/proc/loadavg: 0.93 1.03 1.39 6/262 23105
/proc/meminfo: memFree=16721376/32951124 swapFree=67111528/67111528
[pid=23009] ppid=23006 vsize=7662236 CPUtime=1.87 cores=5,7
/proc/23009/stat : 23009 (java) S 23006 23009 22972 0 -1 4202496 23082 0 117 0 182 5 0 0 17 0 19 0 352097042 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/23009/statm: 1915559 20029 2251 9 0 1906297 0
[pid=23009/tid=23014] ppid=23006 vsize=7662236 CPUtime=1.31 cores=5,7
/proc/23009/task/23014/stat : 23014 (java) R 23006 23009 22972 0 -1 4202560 10632 0 55 0 129 2 0 0 20 0 19 0 352097052 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 46912505581219 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=23009/tid=23016] ppid=23006 vsize=7662236 CPUtime=0 cores=5,7
/proc/23009/task/23016/stat : 23016 (java) S 23006 23009 22972 0 -1 4202560 990 0 0 0 0 0 0 0 17 0 19 0 352097055 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23018] ppid=23006 vsize=7662236 CPUtime=0 cores=5,7
/proc/23009/task/23018/stat : 23018 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352097055 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23020] ppid=23006 vsize=7662236 CPUtime=0 cores=5,7
/proc/23009/task/23020/stat : 23020 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352097055 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23022] ppid=23006 vsize=7662236 CPUtime=0 cores=5,7
/proc/23009/task/23022/stat : 23022 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352097055 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23024] ppid=23006 vsize=7662236 CPUtime=0 cores=5,7
/proc/23009/task/23024/stat : 23024 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352097055 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23026] ppid=23006 vsize=7662236 CPUtime=0 cores=5,7
/proc/23009/task/23026/stat : 23026 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352097055 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23028] ppid=23006 vsize=7662236 CPUtime=0 cores=5,7
/proc/23009/task/23028/stat : 23028 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352097055 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23030] ppid=23006 vsize=7662236 CPUtime=0 cores=5,7
/proc/23009/task/23030/stat : 23030 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352097055 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23033] ppid=23006 vsize=7662236 CPUtime=0.01 cores=5,7
/proc/23009/task/23033/stat : 23033 (java) S 23006 23009 22972 0 -1 4202560 997 0 0 0 1 0 0 0 16 0 19 0 352097058 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 0 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23037] ppid=23006 vsize=7662236 CPUtime=0 cores=5,7
/proc/23009/task/23037/stat : 23037 (java) R 23006 23009 22972 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 352097059 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23009/tid=23039] ppid=23006 vsize=7662236 CPUtime=0 cores=5,7
/proc/23009/task/23039/stat : 23039 (java) S 23006 23009 22972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 352097059 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23049] ppid=23006 vsize=7662236 CPUtime=0 cores=5,7
/proc/23009/task/23049/stat : 23049 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097066 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738228657 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23050] ppid=23006 vsize=7662236 CPUtime=0.41 cores=5,7
/proc/23009/task/23050/stat : 23050 (java) R 23006 23009 22972 0 -1 4202560 8660 0 2 0 40 1 0 0 15 0 19 0 352097066 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 47750644874530 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23009/tid=23053] ppid=23006 vsize=7662236 CPUtime=0.09 cores=5,7
/proc/23009/task/23053/stat : 23053 (java) S 23006 23009 22972 0 -1 4202560 705 0 2 0 9 0 0 0 15 0 19 0 352097066 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23054] ppid=23006 vsize=7662236 CPUtime=0 cores=5,7
/proc/23009/task/23054/stat : 23054 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352097066 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23059] ppid=23006 vsize=7662236 CPUtime=0 cores=5,7
/proc/23009/task/23059/stat : 23059 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097066 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23103] ppid=23006 vsize=7662236 CPUtime=0 cores=5,7
/proc/23009/task/23103/stat : 23103 (java) S 23006 23009 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097083 7846129664 20029 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 7662236

[startup+3.10158 s]
/proc/loadavg: 0.93 1.03 1.39 7/262 23105
/proc/meminfo: memFree=16621308/32951124 swapFree=67111528/67111528
[pid=23009] ppid=23006 vsize=7665072 CPUtime=3.58 cores=5,7
/proc/23009/stat : 23009 (java) S 23006 23009 22972 0 -1 4202496 24780 0 117 0 353 5 0 0 17 0 19 0 352097042 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/23009/statm: 1916268 21726 2254 9 0 1907006 0
[pid=23009/tid=23014] ppid=23006 vsize=7665072 CPUtime=2.83 cores=5,7
/proc/23009/task/23014/stat : 23014 (java) R 23006 23009 22972 0 -1 4202560 10634 0 55 0 281 2 0 0 25 0 19 0 352097052 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 46912505650692 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=23009/tid=23016] ppid=23006 vsize=7665072 CPUtime=0 cores=5,7
/proc/23009/task/23016/stat : 23016 (java) S 23006 23009 22972 0 -1 4202560 990 0 0 0 0 0 0 0 15 0 19 0 352097055 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23018] ppid=23006 vsize=7665072 CPUtime=0 cores=5,7
/proc/23009/task/23018/stat : 23018 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23020] ppid=23006 vsize=7665072 CPUtime=0 cores=5,7
/proc/23009/task/23020/stat : 23020 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23022] ppid=23006 vsize=7665072 CPUtime=0 cores=5,7
/proc/23009/task/23022/stat : 23022 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23024] ppid=23006 vsize=7665072 CPUtime=0 cores=5,7
/proc/23009/task/23024/stat : 23024 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23026] ppid=23006 vsize=7665072 CPUtime=0 cores=5,7
/proc/23009/task/23026/stat : 23026 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23028] ppid=23006 vsize=7665072 CPUtime=0 cores=5,7
/proc/23009/task/23028/stat : 23028 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23030] ppid=23006 vsize=7665072 CPUtime=0 cores=5,7
/proc/23009/task/23030/stat : 23030 (java) S 23006 23009 22972 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 19 0 352097055 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23033] ppid=23006 vsize=7665072 CPUtime=0.03 cores=5,7
/proc/23009/task/23033/stat : 23033 (java) S 23006 23009 22972 0 -1 4202560 1196 0 0 0 3 0 0 0 16 0 19 0 352097058 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 0 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23037] ppid=23006 vsize=7665072 CPUtime=0 cores=5,7
/proc/23009/task/23037/stat : 23037 (java) S 23006 23009 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352097059 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23039] ppid=23006 vsize=7665072 CPUtime=0 cores=5,7
/proc/23009/task/23039/stat : 23039 (java) S 23006 23009 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352097059 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23049] ppid=23006 vsize=7665072 CPUtime=0 cores=5,7
/proc/23009/task/23049/stat : 23049 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097066 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738228657 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23050] ppid=23006 vsize=7665072 CPUtime=0.58 cores=5,7
/proc/23009/task/23050/stat : 23050 (java) S 23006 23009 22972 0 -1 4202560 9395 0 2 0 57 1 0 0 15 0 19 0 352097066 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23053] ppid=23006 vsize=7665072 CPUtime=0.09 cores=5,7
/proc/23009/task/23053/stat : 23053 (java) S 23006 23009 22972 0 -1 4202560 705 0 2 0 9 0 0 0 15 0 19 0 352097066 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23054] ppid=23006 vsize=7665072 CPUtime=0 cores=5,7
/proc/23009/task/23054/stat : 23054 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352097066 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23059] ppid=23006 vsize=7665072 CPUtime=0 cores=5,7
/proc/23009/task/23059/stat : 23059 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097066 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23103] ppid=23006 vsize=7665072 CPUtime=0 cores=5,7
/proc/23009/task/23103/stat : 23103 (java) S 23006 23009 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097083 7849033728 21726 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 7665072

[startup+6.30097 s]
/proc/loadavg: 1.18 1.08 1.40 5/262 23106
/proc/meminfo: memFree=16597996/32951124 swapFree=67111528/67111528
[pid=23009] ppid=23006 vsize=7660408 CPUtime=6.8 cores=5,7
/proc/23009/stat : 23009 (java) S 23006 23009 22972 0 -1 4202496 25289 0 117 0 675 5 0 0 17 0 19 0 352097042 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/23009/statm: 1915102 21517 2254 9 0 1905840 0
[pid=23009/tid=23014] ppid=23006 vsize=7660408 CPUtime=5.98 cores=5,7
/proc/23009/task/23014/stat : 23014 (java) R 23006 23009 22972 0 -1 4202560 10637 0 55 0 596 2 0 0 25 0 19 0 352097052 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 46912505650660 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=23009/tid=23016] ppid=23006 vsize=7660408 CPUtime=0.01 cores=5,7
/proc/23009/task/23016/stat : 23016 (java) S 23006 23009 22972 0 -1 4202560 1278 0 0 0 1 0 0 0 15 0 19 0 352097055 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23018] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23018/stat : 23018 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23020] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23020/stat : 23020 (java) S 23006 23009 22972 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 352097055 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23022] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23022/stat : 23022 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23024] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23024/stat : 23024 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23026] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23026/stat : 23026 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23028] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23028/stat : 23028 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097055 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23030] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23030/stat : 23030 (java) S 23006 23009 22972 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 19 0 352097055 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23033] ppid=23006 vsize=7660408 CPUtime=0.07 cores=5,7
/proc/23009/task/23033/stat : 23033 (java) S 23006 23009 22972 0 -1 4202560 1334 0 0 0 7 0 0 0 15 0 19 0 352097058 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 0 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23037] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23037/stat : 23037 (java) S 23006 23009 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352097059 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23039] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23039/stat : 23039 (java) S 23006 23009 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352097059 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23049] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23049/stat : 23049 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097066 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738228657 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23050] ppid=23006 vsize=7660408 CPUtime=0.58 cores=5,7
/proc/23009/task/23050/stat : 23050 (java) S 23006 23009 22972 0 -1 4202560 9395 0 2 0 57 1 0 0 15 0 19 0 352097066 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23053] ppid=23006 vsize=7660408 CPUtime=0.11 cores=5,7
/proc/23009/task/23053/stat : 23053 (java) S 23006 23009 22972 0 -1 4202560 708 0 2 0 11 0 0 0 15 0 19 0 352097066 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23054] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23054/stat : 23054 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352097066 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23059] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23059/stat : 23059 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352097066 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23103] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23103/stat : 23103 (java) S 23006 23009 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097083 7844257792 21517 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 7660408

[startup+12.7008 s]

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

[pid=23009/tid=23026] ppid=23006 vsize=7660408 CPUtime=0.18 cores=5,7
/proc/23009/task/23026/stat : 23026 (java) S 23006 23009 22972 0 -1 4202560 465 0 0 0 18 0 0 0 15 0 19 0 352097055 7844257792 30433 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23028] ppid=23006 vsize=7660408 CPUtime=0.16 cores=5,7
/proc/23009/task/23028/stat : 23028 (java) S 23006 23009 22972 0 -1 4202560 59 0 0 0 16 0 0 0 16 0 19 0 352097055 7844257792 30433 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23030] ppid=23006 vsize=7660408 CPUtime=0.16 cores=5,7
/proc/23009/task/23030/stat : 23030 (java) S 23006 23009 22972 0 -1 4202560 903 0 0 0 16 0 0 0 16 0 19 0 352097055 7844257792 30433 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23033] ppid=23006 vsize=7660408 CPUtime=5.58 cores=5,7
/proc/23009/task/23033/stat : 23033 (java) S 23006 23009 22972 0 -1 4202560 3614 0 0 0 557 1 0 0 16 0 19 0 352097058 7844257792 30433 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 0 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23037] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23037/stat : 23037 (java) S 23006 23009 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352097059 7844257792 30433 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23039] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23039/stat : 23039 (java) S 23006 23009 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352097059 7844257792 30433 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23049] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23049/stat : 23049 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097066 7844257792 30433 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738228657 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23050] ppid=23006 vsize=7660408 CPUtime=0.58 cores=5,7
/proc/23009/task/23050/stat : 23050 (java) S 23006 23009 22972 0 -1 4202560 9395 0 2 0 57 1 0 0 15 0 19 0 352097066 7844257792 30433 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23053] ppid=23006 vsize=7660408 CPUtime=0.13 cores=5,7
/proc/23009/task/23053/stat : 23053 (java) S 23006 23009 22972 0 -1 4202560 711 0 2 0 13 0 0 0 15 0 19 0 352097066 7844257792 30433 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23054] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23054/stat : 23054 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352097066 7844257792 30433 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23059] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23059/stat : 23059 (java) S 23006 23009 22972 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 352097066 7844257792 30433 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23103] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23103/stat : 23103 (java) S 23006 23009 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097083 7844257792 30433 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1123.36
Current children cumulated vsize (KiB) 7660408

[startup+1182.3 s]
/proc/loadavg: 4.07 3.98 3.27 5/262 23137
/proc/meminfo: memFree=16453612/32951124 swapFree=67111528/67111528
[pid=23009] ppid=23006 vsize=7660408 CPUtime=1183.39 cores=5,7
/proc/23009/stat : 23009 (java) S 23006 23009 22972 0 -1 4202496 35071 0 117 0 118328 11 0 0 17 0 19 0 352097042 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/23009/statm: 1915102 30959 2255 9 0 1905840 0
[pid=23009/tid=23014] ppid=23006 vsize=7660408 CPUtime=1175.45 cores=5,7
/proc/23009/task/23014/stat : 23014 (java) R 23006 23009 22972 0 -1 4202560 13225 0 55 0 117541 4 0 0 25 0 19 0 352097052 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 46912505777033 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=23009/tid=23016] ppid=23006 vsize=7660408 CPUtime=0.19 cores=5,7
/proc/23009/task/23016/stat : 23016 (java) S 23006 23009 22972 0 -1 4202560 1693 0 0 0 19 0 0 0 16 0 19 0 352097055 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23018] ppid=23006 vsize=7660408 CPUtime=0.13 cores=5,7
/proc/23009/task/23018/stat : 23018 (java) S 23006 23009 22972 0 -1 4202560 1945 0 0 0 13 0 0 0 15 0 19 0 352097055 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23020] ppid=23006 vsize=7660408 CPUtime=0.16 cores=5,7
/proc/23009/task/23020/stat : 23020 (java) S 23006 23009 22972 0 -1 4202560 334 0 0 0 16 0 0 0 15 0 19 0 352097055 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23022] ppid=23006 vsize=7660408 CPUtime=0.15 cores=5,7
/proc/23009/task/23022/stat : 23022 (java) S 23006 23009 22972 0 -1 4202560 1266 0 0 0 15 0 0 0 15 0 19 0 352097055 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23024] ppid=23006 vsize=7660408 CPUtime=0.12 cores=5,7
/proc/23009/task/23024/stat : 23024 (java) S 23006 23009 22972 0 -1 4202560 41 0 0 0 12 0 0 0 15 0 19 0 352097055 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23026] ppid=23006 vsize=7660408 CPUtime=0.18 cores=5,7
/proc/23009/task/23026/stat : 23026 (java) S 23006 23009 22972 0 -1 4202560 465 0 0 0 18 0 0 0 16 0 19 0 352097055 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23028] ppid=23006 vsize=7660408 CPUtime=0.17 cores=5,7
/proc/23009/task/23028/stat : 23028 (java) S 23006 23009 22972 0 -1 4202560 280 0 0 0 17 0 0 0 15 0 19 0 352097055 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23030] ppid=23006 vsize=7660408 CPUtime=0.17 cores=5,7
/proc/23009/task/23030/stat : 23030 (java) S 23006 23009 22972 0 -1 4202560 903 0 0 0 17 0 0 0 16 0 19 0 352097055 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23033] ppid=23006 vsize=7660408 CPUtime=5.85 cores=5,7
/proc/23009/task/23033/stat : 23033 (java) S 23006 23009 22972 0 -1 4202560 3652 0 0 0 584 1 0 0 15 0 19 0 352097058 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 0 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23037] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23037/stat : 23037 (java) S 23006 23009 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352097059 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23039] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23039/stat : 23039 (java) S 23006 23009 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352097059 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23049] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23049/stat : 23049 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097066 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738228657 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23050] ppid=23006 vsize=7660408 CPUtime=0.58 cores=5,7
/proc/23009/task/23050/stat : 23050 (java) S 23006 23009 22972 0 -1 4202560 9395 0 2 0 57 1 0 0 15 0 19 0 352097066 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23053] ppid=23006 vsize=7660408 CPUtime=0.13 cores=5,7
/proc/23009/task/23053/stat : 23053 (java) S 23006 23009 22972 0 -1 4202560 711 0 2 0 13 0 0 0 15 0 19 0 352097066 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23054] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23054/stat : 23054 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352097066 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23059] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23059/stat : 23059 (java) S 23006 23009 22972 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 352097066 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23103] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23103/stat : 23103 (java) S 23006 23009 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097083 7844257792 30959 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1183.39
Current children cumulated vsize (KiB) 7660408

[startup+1242.3 s]
/proc/loadavg: 4.02 3.98 3.31 6/262 23138
/proc/meminfo: memFree=16451092/32951124 swapFree=67111528/67111528
[pid=23009] ppid=23006 vsize=7660408 CPUtime=1243.42 cores=5,7
/proc/23009/stat : 23009 (java) S 23006 23009 22972 0 -1 4202496 35188 0 117 0 124331 11 0 0 17 0 19 0 352097042 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/23009/statm: 1915102 31058 2255 9 0 1905840 0
[pid=23009/tid=23014] ppid=23006 vsize=7660408 CPUtime=1235.1 cores=5,7
/proc/23009/task/23014/stat : 23014 (java) R 23006 23009 22972 0 -1 4202560 13235 0 55 0 123506 4 0 0 25 0 19 0 352097052 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 46912505606217 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=23009/tid=23016] ppid=23006 vsize=7660408 CPUtime=0.2 cores=5,7
/proc/23009/task/23016/stat : 23016 (java) S 23006 23009 22972 0 -1 4202560 1694 0 0 0 20 0 0 0 15 0 19 0 352097055 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23018] ppid=23006 vsize=7660408 CPUtime=0.14 cores=5,7
/proc/23009/task/23018/stat : 23018 (java) S 23006 23009 22972 0 -1 4202560 1945 0 0 0 14 0 0 0 16 0 19 0 352097055 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23020] ppid=23006 vsize=7660408 CPUtime=0.17 cores=5,7
/proc/23009/task/23020/stat : 23020 (java) S 23006 23009 22972 0 -1 4202560 335 0 0 0 17 0 0 0 15 0 19 0 352097055 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23022] ppid=23006 vsize=7660408 CPUtime=0.17 cores=5,7
/proc/23009/task/23022/stat : 23022 (java) S 23006 23009 22972 0 -1 4202560 1266 0 0 0 17 0 0 0 16 0 19 0 352097055 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23024] ppid=23006 vsize=7660408 CPUtime=0.13 cores=5,7
/proc/23009/task/23024/stat : 23024 (java) S 23006 23009 22972 0 -1 4202560 41 0 0 0 13 0 0 0 15 0 19 0 352097055 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23026] ppid=23006 vsize=7660408 CPUtime=0.19 cores=5,7
/proc/23009/task/23026/stat : 23026 (java) S 23006 23009 22972 0 -1 4202560 465 0 0 0 19 0 0 0 15 0 19 0 352097055 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23028] ppid=23006 vsize=7660408 CPUtime=0.18 cores=5,7
/proc/23009/task/23028/stat : 23028 (java) S 23006 23009 22972 0 -1 4202560 280 0 0 0 18 0 0 0 15 0 19 0 352097055 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23030] ppid=23006 vsize=7660408 CPUtime=0.18 cores=5,7
/proc/23009/task/23030/stat : 23030 (java) S 23006 23009 22972 0 -1 4202560 904 0 0 0 18 0 0 0 15 0 19 0 352097055 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23033] ppid=23006 vsize=7660408 CPUtime=6.16 cores=5,7
/proc/23009/task/23033/stat : 23033 (java) S 23006 23009 22972 0 -1 4202560 3753 0 0 0 615 1 0 0 15 0 19 0 352097058 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 0 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23037] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23037/stat : 23037 (java) S 23006 23009 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352097059 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23039] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23039/stat : 23039 (java) S 23006 23009 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352097059 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23049] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23049/stat : 23049 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097066 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738228657 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23050] ppid=23006 vsize=7660408 CPUtime=0.58 cores=5,7
/proc/23009/task/23050/stat : 23050 (java) S 23006 23009 22972 0 -1 4202560 9395 0 2 0 57 1 0 0 15 0 19 0 352097066 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23053] ppid=23006 vsize=7660408 CPUtime=0.13 cores=5,7
/proc/23009/task/23053/stat : 23053 (java) S 23006 23009 22972 0 -1 4202560 711 0 2 0 13 0 0 0 15 0 19 0 352097066 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23054] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23054/stat : 23054 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352097066 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23059] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23059/stat : 23059 (java) S 23006 23009 22972 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 352097066 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23103] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23103/stat : 23103 (java) S 23006 23009 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097083 7844257792 31058 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1243.42
Current children cumulated vsize (KiB) 7660408



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.01 3.98 3.35 6/262 23140
/proc/meminfo: memFree=16449428/32951124 swapFree=67111528/67111528
[pid=23009] ppid=23006 vsize=7660408 CPUtime=1301.15 cores=5,7
/proc/23009/stat : 23009 (java) S 23006 23009 22972 0 -1 4202496 35262 0 117 0 130104 11 0 0 17 0 19 0 352097042 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/23009/statm: 1915102 31117 2255 9 0 1905840 0
[pid=23009/tid=23014] ppid=23006 vsize=7660408 CPUtime=1292.5 cores=5,7
/proc/23009/task/23014/stat : 23014 (java) R 23006 23009 22972 0 -1 4202560 13248 0 55 0 129246 4 0 0 25 0 19 0 352097052 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 46912505650785 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=23009/tid=23016] ppid=23006 vsize=7660408 CPUtime=0.2 cores=5,7
/proc/23009/task/23016/stat : 23016 (java) S 23006 23009 22972 0 -1 4202560 1694 0 0 0 20 0 0 0 15 0 19 0 352097055 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23018] ppid=23006 vsize=7660408 CPUtime=0.14 cores=5,7
/proc/23009/task/23018/stat : 23018 (java) S 23006 23009 22972 0 -1 4202560 1945 0 0 0 14 0 0 0 16 0 19 0 352097055 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23020] ppid=23006 vsize=7660408 CPUtime=0.17 cores=5,7
/proc/23009/task/23020/stat : 23020 (java) S 23006 23009 22972 0 -1 4202560 335 0 0 0 17 0 0 0 15 0 19 0 352097055 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23022] ppid=23006 vsize=7660408 CPUtime=0.17 cores=5,7
/proc/23009/task/23022/stat : 23022 (java) S 23006 23009 22972 0 -1 4202560 1266 0 0 0 17 0 0 0 15 0 19 0 352097055 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23024] ppid=23006 vsize=7660408 CPUtime=0.14 cores=5,7
/proc/23009/task/23024/stat : 23024 (java) S 23006 23009 22972 0 -1 4202560 42 0 0 0 14 0 0 0 15 0 19 0 352097055 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23026] ppid=23006 vsize=7660408 CPUtime=0.2 cores=5,7
/proc/23009/task/23026/stat : 23026 (java) S 23006 23009 22972 0 -1 4202560 465 0 0 0 20 0 0 0 15 0 19 0 352097055 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23028] ppid=23006 vsize=7660408 CPUtime=0.19 cores=5,7
/proc/23009/task/23028/stat : 23028 (java) S 23006 23009 22972 0 -1 4202560 280 0 0 0 19 0 0 0 16 0 19 0 352097055 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23030] ppid=23006 vsize=7660408 CPUtime=0.18 cores=5,7
/proc/23009/task/23030/stat : 23030 (java) S 23006 23009 22972 0 -1 4202560 904 0 0 0 18 0 0 0 15 0 19 0 352097055 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23033] ppid=23006 vsize=7660408 CPUtime=6.43 cores=5,7
/proc/23009/task/23033/stat : 23033 (java) S 23006 23009 22972 0 -1 4202560 3809 0 0 0 642 1 0 0 15 0 19 0 352097058 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 0 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
[pid=23009/tid=23037] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23037/stat : 23037 (java) S 23006 23009 22972 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352097059 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23039] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23039/stat : 23039 (java) S 23006 23009 22972 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352097059 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23049] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23049/stat : 23049 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352097066 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738228657 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23050] ppid=23006 vsize=7660408 CPUtime=0.58 cores=5,7
/proc/23009/task/23050/stat : 23050 (java) S 23006 23009 22972 0 -1 4202560 9395 0 2 0 57 1 0 0 15 0 19 0 352097066 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23053] ppid=23006 vsize=7660408 CPUtime=0.13 cores=5,7
/proc/23009/task/23053/stat : 23053 (java) S 23006 23009 22972 0 -1 4202560 711 0 2 0 13 0 0 0 15 0 19 0 352097066 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23054] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23054/stat : 23054 (java) S 23006 23009 22972 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352097066 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738220953 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23059] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23059/stat : 23059 (java) S 23006 23009 22972 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 352097066 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 4 0 16800975 18446604469913500736 0 0 -1 7 0 0 0
[pid=23009/tid=23103] ppid=23006 vsize=7660408 CPUtime=0 cores=5,7
/proc/23009/task/23103/stat : 23103 (java) S 23006 23009 22972 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352097083 7844257792 31117 33554432000 1073741824 1073778376 140733605847152 18446744073709551615 264738221568 0 4 0 16800975 18446604469913500736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1301.15
Current children cumulated vsize (KiB) 7660408

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

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

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.24
CPU user time (s): 1301.11
CPU system time (s): 0.124981
CPU usage (%): 100.091
Max. virtual memory (cumulated for all children) (KiB): 7665072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.11
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35299
page faults= 117
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33797
involuntary context switches= 7562

runsolver used 2.46162 second user time and 5.61815 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-12 10:26:54
IDJOB=3190196
IDBENCH=82527
IDSOLVER=1611
FILE ID=node141/3190196-1302596814
RUNJOBID= node141-1302596814-22993
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-S1103412232-098-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-3190196-1302596814/watcher-3190196-1302596814 -o /tmp/evaluation-result-3190196-1302596814/solver-3190196-1302596814 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190196-1302596814.cnf

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

MD5SUM BENCH= d6a0b223b2c940add3196cb3c37e2d59
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:      16922392 kB
Buffers:        765720 kB
Cached:       14806188 kB
SwapCached:          0 kB
Active:        8874852 kB
Inactive:      6759972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16922392 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1212 kB
Writeback:           0 kB
AnonPages:       62416 kB
Mapped:          14416 kB
Slab:           328372 kB
PageTables:       5084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   181832 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71520 MiB
End job on node141 at 2011-04-12 10:48:36