Trace number 3190228

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

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf
MD5SUM4ba3e8e19a6d9aec4bc2bd0594f1360a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark556.159
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.07/0.21	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.21	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.21	c See www.sat4j.org for details.
0.07/0.21	c no version file found!!!
0.07/0.21	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.21	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.21	c java.vm.version	19.1-b02
0.07/0.21	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.21	c sun.arch.data.model	64
0.07/0.21	c java.version		1.6.0_24
0.07/0.21	c os.name		Linux
0.07/0.21	c os.version		2.6.18-164.el5
0.07/0.21	c os.arch		amd64
0.07/0.21	c Free memory 		6997539544
0.07/0.21	c Max memory 		7034241024
0.07/0.21	c Total memory 		7034241024
0.07/0.21	c Number of processors 	8
0.07/0.23	c --- Begin Solver configuration ---
0.07/0.23	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.07/0.23	c Learn all clauses as in MiniSAT
0.07/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.07/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.07/0.23	c Expensive reason simplification
0.07/0.23	c Armin Biere (Picosat) restarts strategy
0.07/0.23	c Glucose learned constraints deletion strategy
0.07/0.23	c timeout=2147483647s
0.07/0.23	c DB Simplification allowed=true
0.07/0.23	c --- End Solver configuration ---
0.07/0.23	c solving HOME/instance-3190228-1302597452.cnf
0.07/0.23	c reading problem ... 
0.22/0.34	c ... done. Wall clock time 0.105s.
0.22/0.34	c #vars     1250
0.22/0.34	c #constraints  25000
0.22/0.34	c constraints type 
0.22/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25000
1.60/1.39	c cleaning 2499 clauses out of 5000 with flag 5000/5000
2.67/2.29	c cleaning 4248 clauses out of 8502 with flag 11001/11001
3.77/3.40	c cleaning 5626 clauses out of 11253 with flag 18000/18000
5.07/4.68	c cleaning 6807 clauses out of 13627 with flag 26000/26000
6.57/6.17	c cleaning 7906 clauses out of 15820 with flag 35000/35000
8.27/7.85	c cleaning 8953 clauses out of 17914 with flag 45000/45000
10.17/9.71	c cleaning 9978 clauses out of 19962 with flag 56001/56001
12.27/11.85	c cleaning 10990 clauses out of 21985 with flag 68002/68002
14.57/14.11	c cleaning 11992 clauses out of 23993 with flag 81000/81000
17.07/16.61	c cleaning 12994 clauses out of 26002 with flag 95001/95001
19.87/19.43	c cleaning 14000 clauses out of 28007 with flag 110000/110000
22.88/22.49	c cleaning 14999 clauses out of 30007 with flag 126000/126000
26.17/25.75	c cleaning 16001 clauses out of 32008 with flag 143000/143000
29.67/29.24	c cleaning 16996 clauses out of 34008 with flag 161001/161001
33.48/33.04	c cleaning 18001 clauses out of 36013 with flag 180002/180002
37.57/37.11	c cleaning 18996 clauses out of 38010 with flag 200000/200000
41.87/41.48	c cleaning 20002 clauses out of 40014 with flag 221000/221000
46.58/46.13	c cleaning 21001 clauses out of 42013 with flag 243001/243001
51.48/51.05	c cleaning 22004 clauses out of 44012 with flag 266001/266001
56.59/56.17	c cleaning 23000 clauses out of 46008 with flag 290001/290001
62.09/61.65	c cleaning 23999 clauses out of 48008 with flag 315001/315001
67.79/67.32	c cleaning 24498 clauses out of 49008 with flag 340000/340000
73.29/72.88	c cleaning 24755 clauses out of 49511 with flag 365001/365001
78.90/78.43	c cleaning 24871 clauses out of 49755 with flag 390000/390000
84.60/84.18	c cleaning 24933 clauses out of 49885 with flag 415001/415001
90.01/89.52	c cleaning 24971 clauses out of 49951 with flag 440000/440000
95.71/95.23	c cleaning 24984 clauses out of 49980 with flag 465000/465000
101.11/100.61	c cleaning 24992 clauses out of 49996 with flag 490000/490000
106.81/106.34	c cleaning 24994 clauses out of 50004 with flag 515000/515000
112.22/111.71	c cleaning 24996 clauses out of 50010 with flag 540000/540000
117.92/117.44	c cleaning 25000 clauses out of 50014 with flag 565000/565000
123.22/122.79	c cleaning 24997 clauses out of 50014 with flag 590000/590000
129.03/128.59	c cleaning 25008 clauses out of 50019 with flag 615002/615002
134.53/134.02	c cleaning 25002 clauses out of 50009 with flag 640000/640000
139.73/139.28	c cleaning 24994 clauses out of 50008 with flag 665001/665001
145.43/144.96	c cleaning 25004 clauses out of 50014 with flag 690001/690001
150.74/150.26	c cleaning 25000 clauses out of 50011 with flag 715002/715002
156.04/155.60	c cleaning 25000 clauses out of 50010 with flag 740001/740001
161.84/161.32	c cleaning 24996 clauses out of 50009 with flag 765000/765000
167.04/166.56	c cleaning 24999 clauses out of 50013 with flag 790000/790000
172.45/171.97	c cleaning 24994 clauses out of 50015 with flag 815001/815001
178.25/177.75	c cleaning 24998 clauses out of 50020 with flag 840000/840000
183.65/183.17	c cleaning 25002 clauses out of 50023 with flag 865001/865001
189.05/188.55	c cleaning 25003 clauses out of 50022 with flag 890002/890002
194.76/194.23	c cleaning 25009 clauses out of 50017 with flag 915000/915000
200.26/199.78	c cleaning 25002 clauses out of 50008 with flag 940000/940000
205.76/205.24	c cleaning 24989 clauses out of 50006 with flag 965000/965000
211.16/210.65	c cleaning 25003 clauses out of 50017 with flag 990000/990000
217.07/216.53	c cleaning 25004 clauses out of 50016 with flag 1015002/1015002
222.47/221.98	c cleaning 24995 clauses out of 50012 with flag 1040002/1040002
227.87/227.30	c cleaning 24996 clauses out of 50015 with flag 1065000/1065000
233.27/232.77	c cleaning 25001 clauses out of 50019 with flag 1090000/1090000
238.98/238.41	c cleaning 25008 clauses out of 50019 with flag 1115001/1115001
244.58/244.01	c cleaning 24998 clauses out of 50011 with flag 1140001/1140001
250.08/249.52	c cleaning 25003 clauses out of 50012 with flag 1165000/1165000
255.59/255.00	c cleaning 24999 clauses out of 50009 with flag 1190000/1190000
260.99/260.46	c cleaning 25002 clauses out of 50014 with flag 1215004/1215004
266.90/266.39	c cleaning 24999 clauses out of 50009 with flag 1240001/1240001
272.40/271.82	c cleaning 24998 clauses out of 50011 with flag 1265002/1265002
277.70/277.14	c cleaning 24995 clauses out of 50013 with flag 1290002/1290002
283.21/282.66	c cleaning 24997 clauses out of 50017 with flag 1315001/1315001
288.81/288.26	c cleaning 24997 clauses out of 50021 with flag 1340002/1340002
294.71/294.16	c cleaning 25009 clauses out of 50023 with flag 1365001/1365001
300.11/299.58	c cleaning 24998 clauses out of 50015 with flag 1390002/1390002
305.51/304.95	c cleaning 24999 clauses out of 50017 with flag 1415002/1415002
311.12/310.54	c cleaning 25004 clauses out of 50017 with flag 1440001/1440001
316.82/316.23	c cleaning 25001 clauses out of 50013 with flag 1465001/1465001
322.62/322.05	c cleaning 24994 clauses out of 50012 with flag 1490001/1490001
328.53/327.97	c cleaning 25006 clauses out of 50018 with flag 1515001/1515001
333.83/333.30	c cleaning 25000 clauses out of 50011 with flag 1540000/1540000
339.23/338.70	c cleaning 24998 clauses out of 50011 with flag 1565000/1565000
344.94/344.39	c cleaning 25005 clauses out of 50015 with flag 1590002/1590002
350.64/350.02	c cleaning 24989 clauses out of 50008 with flag 1615000/1615000
356.35/355.76	c cleaning 24993 clauses out of 50021 with flag 1640002/1640002
362.35/361.79	c cleaning 25005 clauses out of 50028 with flag 1665002/1665002
367.85/367.26	c cleaning 25005 clauses out of 50025 with flag 1690004/1690004
373.35/372.72	c cleaning 25002 clauses out of 50016 with flag 1715000/1715000
378.96/378.39	c cleaning 24999 clauses out of 50014 with flag 1740000/1740000
384.56/383.93	c cleaning 25000 clauses out of 50015 with flag 1765000/1765000
390.26/389.66	c cleaning 24999 clauses out of 50017 with flag 1790002/1790002
396.06/395.49	c cleaning 24995 clauses out of 50018 with flag 1815002/1815002
402.07/401.48	c cleaning 25007 clauses out of 50021 with flag 1840000/1840000
407.58/406.98	c cleaning 25000 clauses out of 50014 with flag 1865000/1865000
412.97/412.35	c cleaning 24994 clauses out of 50015 with flag 1890001/1890001
418.37/417.72	c cleaning 25004 clauses out of 50020 with flag 1915000/1915000
423.98/423.30	c cleaning 24994 clauses out of 50017 with flag 1940001/1940001
429.78/429.17	c cleaning 25005 clauses out of 50022 with flag 1965000/1965000
435.68/435.00	c cleaning 25005 clauses out of 50019 with flag 1990002/1990002
441.58/440.95	c cleaning 25004 clauses out of 50012 with flag 2015000/2015000
447.19/446.53	c cleaning 24995 clauses out of 50008 with flag 2040000/2040000
452.59/451.91	c cleaning 24997 clauses out of 50014 with flag 2065001/2065001
457.99/457.31	c cleaning 25004 clauses out of 50017 with flag 2090001/2090001
463.49/462.81	c cleaning 24996 clauses out of 50013 with flag 2115001/2115001
469.09/468.46	c cleaning 24996 clauses out of 50016 with flag 2140000/2140000
474.70/474.09	c cleaning 24998 clauses out of 50020 with flag 2165000/2165000
480.40/479.73	c cleaning 25001 clauses out of 50022 with flag 2190000/2190000
486.00/485.39	c cleaning 25005 clauses out of 50023 with flag 2215002/2215002
491.81/491.10	c cleaning 25007 clauses out of 50017 with flag 2240001/2240001
497.11/496.41	c cleaning 24996 clauses out of 50010 with flag 2265001/2265001
502.61/501.96	c cleaning 24992 clauses out of 50013 with flag 2290000/2290000
508.21/507.50	c cleaning 24999 clauses out of 50021 with flag 2315000/2315000
513.71/513.03	c cleaning 25005 clauses out of 50023 with flag 2340001/2340001
519.52/518.85	c cleaning 25000 clauses out of 50017 with flag 2365000/2365000
525.33/524.66	c cleaning 24998 clauses out of 50018 with flag 2390001/2390001
531.22/530.50	c cleaning 24998 clauses out of 50019 with flag 2415000/2415000
536.93/536.30	c cleaning 24997 clauses out of 50022 with flag 2440001/2440001
542.83/542.18	c cleaning 25001 clauses out of 50024 with flag 2465000/2465000
548.33/547.60	c cleaning 24996 clauses out of 50023 with flag 2490000/2490000
553.83/553.12	c cleaning 25005 clauses out of 50027 with flag 2515000/2515000
559.33/558.61	c cleaning 25000 clauses out of 50022 with flag 2540000/2540000
564.94/564.21	c cleaning 25000 clauses out of 50023 with flag 2565001/2565001
570.84/570.11	c cleaning 24995 clauses out of 50022 with flag 2590000/2590000
576.64/575.96	c cleaning 25007 clauses out of 50029 with flag 2615002/2615002
582.55/581.86	c cleaning 25006 clauses out of 50021 with flag 2640001/2640001
588.35/587.64	c cleaning 24996 clauses out of 50014 with flag 2665000/2665000
594.15/593.41	c cleaning 25006 clauses out of 50019 with flag 2690001/2690001
600.05/599.30	c cleaning 25004 clauses out of 50013 with flag 2715001/2715001
605.35/604.68	c cleaning 24984 clauses out of 50008 with flag 2740000/2740000
610.76/610.09	c cleaning 24997 clauses out of 50024 with flag 2765000/2765000
616.46/615.70	c cleaning 25009 clauses out of 50028 with flag 2790001/2790001
622.06/621.34	c cleaning 25004 clauses out of 50018 with flag 2815000/2815000
627.86/627.14	c cleaning 25000 clauses out of 50014 with flag 2840000/2840000
633.67/632.91	c cleaning 24995 clauses out of 50015 with flag 2865001/2865001
639.47/638.78	c cleaning 25004 clauses out of 50022 with flag 2890003/2890003
645.48/644.74	c cleaning 24997 clauses out of 50015 with flag 2915000/2915000
651.18/650.46	c cleaning 24990 clauses out of 50018 with flag 2940000/2940000
657.08/656.39	c cleaning 25003 clauses out of 50028 with flag 2965000/2965000
662.99/662.29	c cleaning 25008 clauses out of 50025 with flag 2990000/2990000
668.50/667.75	c cleaning 25001 clauses out of 50019 with flag 3015002/3015002
673.90/673.17	c cleaning 24996 clauses out of 50017 with flag 3040001/3040001
679.50/678.77	c cleaning 24992 clauses out of 50020 with flag 3065000/3065000
685.09/684.40	c cleaning 25005 clauses out of 50028 with flag 3090000/3090000
691.00/690.22	c cleaning 24992 clauses out of 50023 with flag 3115000/3115000
696.80/696.09	c cleaning 25014 clauses out of 50035 with flag 3140004/3140004
702.61/701.87	c cleaning 24998 clauses out of 50017 with flag 3165000/3165000
708.61/707.85	c cleaning 25000 clauses out of 50021 with flag 3190002/3190002
714.41/713.68	c cleaning 24998 clauses out of 50020 with flag 3215001/3215001
720.12/719.32	c cleaning 25004 clauses out of 50021 with flag 3240000/3240000
725.81/725.02	c cleaning 24999 clauses out of 50017 with flag 3265000/3265000
731.72/730.98	c cleaning 25005 clauses out of 50020 with flag 3290002/3290002
737.22/736.42	c cleaning 24991 clauses out of 50013 with flag 3315000/3315000
742.82/742.01	c cleaning 25006 clauses out of 50022 with flag 3340000/3340000
748.32/747.56	c cleaning 24998 clauses out of 50018 with flag 3365002/3365002
754.03/753.22	c cleaning 25005 clauses out of 50020 with flag 3390002/3390002
759.63/758.86	c cleaning 24991 clauses out of 50013 with flag 3415000/3415000
765.34/764.58	c cleaning 24999 clauses out of 50022 with flag 3440000/3440000
771.13/770.38	c cleaning 24995 clauses out of 50023 with flag 3465000/3465000
777.14/776.38	c cleaning 25001 clauses out of 50029 with flag 3490001/3490001
783.24/782.45	c cleaning 25009 clauses out of 50028 with flag 3515001/3515001
789.05/788.22	c cleaning 24998 clauses out of 50018 with flag 3540000/3540000
794.95/794.16	c cleaning 25005 clauses out of 50023 with flag 3565003/3565003
800.95/800.13	c cleaning 24995 clauses out of 50015 with flag 3590000/3590000
807.55/806.70	c cleaning 25001 clauses out of 50020 with flag 3615000/3615000
813.06/812.26	c cleaning 24995 clauses out of 50019 with flag 3640000/3640000
818.56/817.71	c cleaning 24995 clauses out of 50024 with flag 3665000/3665000
824.06/823.23	c cleaning 25011 clauses out of 50031 with flag 3690002/3690002
829.56/828.76	c cleaning 25000 clauses out of 50018 with flag 3715000/3715000
835.37/834.53	c cleaning 24997 clauses out of 50018 with flag 3740000/3740000
841.17/840.36	c cleaning 24994 clauses out of 50021 with flag 3765000/3765000
846.97/846.10	c cleaning 24997 clauses out of 50027 with flag 3790000/3790000
852.87/852.01	c cleaning 25007 clauses out of 50033 with flag 3815003/3815003
858.78/857.91	c cleaning 25005 clauses out of 50024 with flag 3840001/3840001
864.98/864.14	c cleaning 25006 clauses out of 50019 with flag 3865001/3865001
871.18/870.34	c cleaning 25003 clauses out of 50012 with flag 3890000/3890000
877.59/876.80	c cleaning 24986 clauses out of 50010 with flag 3915001/3915001
883.79/882.99	c cleaning 24994 clauses out of 50023 with flag 3940000/3940000
889.70/888.87	c cleaning 25001 clauses out of 50031 with flag 3965002/3965002
895.69/894.81	c cleaning 25007 clauses out of 50031 with flag 3990003/3990003
901.10/900.22	c cleaning 25000 clauses out of 50021 with flag 4015000/4015000
906.60/905.76	c cleaning 25003 clauses out of 50023 with flag 4040002/4040002
912.20/911.37	c cleaning 25000 clauses out of 50018 with flag 4065000/4065000
917.70/916.88	c cleaning 24999 clauses out of 50018 with flag 4090000/4090000
923.40/922.56	c cleaning 25003 clauses out of 50020 with flag 4115001/4115001
929.21/928.31	c cleaning 24996 clauses out of 50016 with flag 4140000/4140000
935.21/934.34	c cleaning 25006 clauses out of 50021 with flag 4165001/4165001
941.01/940.19	c cleaning 24996 clauses out of 50015 with flag 4190001/4190001
947.12/946.24	c cleaning 25001 clauses out of 50019 with flag 4215001/4215001
953.12/952.22	c cleaning 25002 clauses out of 50019 with flag 4240002/4240002
959.13/958.21	c cleaning 24986 clauses out of 50015 with flag 4265000/4265000
965.13/964.27	c cleaning 24995 clauses out of 50029 with flag 4290000/4290000
972.03/971.12	c cleaning 25006 clauses out of 50034 with flag 4315000/4315000
978.74/977.81	c cleaning 25001 clauses out of 50028 with flag 4340000/4340000
984.54/983.67	c cleaning 24994 clauses out of 50027 with flag 4365000/4365000
991.04/990.12	c cleaning 25013 clauses out of 50033 with flag 4390000/4390000
996.55/995.67	c cleaning 24997 clauses out of 50020 with flag 4415000/4415000
1002.05/1001.19	c cleaning 25004 clauses out of 50024 with flag 4440001/4440001
1007.65/1006.76	c cleaning 25002 clauses out of 50020 with flag 4465001/4465001
1013.35/1012.50	c cleaning 24998 clauses out of 50017 with flag 4490000/4490000
1019.16/1018.21	c cleaning 25005 clauses out of 50019 with flag 4515000/4515000
1025.16/1024.25	c cleaning 24999 clauses out of 50014 with flag 4540000/4540000
1031.06/1030.17	c cleaning 25001 clauses out of 50015 with flag 4565000/4565000
1036.96/1036.01	c cleaning 25002 clauses out of 50015 with flag 4590001/4590001
1042.87/1041.94	c cleaning 24996 clauses out of 50014 with flag 4615002/4615002
1049.17/1048.26	c cleaning 24995 clauses out of 50017 with flag 4640001/4640001
1055.57/1054.63	c cleaning 25002 clauses out of 50021 with flag 4665000/4665000
1062.08/1061.18	c cleaning 25005 clauses out of 50019 with flag 4690000/4690000
1068.49/1067.55	c cleaning 24989 clauses out of 50015 with flag 4715001/4715001
1074.50/1073.54	c cleaning 25000 clauses out of 50026 with flag 4740001/4740001
1080.19/1079.26	c cleaning 24992 clauses out of 50025 with flag 4765000/4765000
1086.50/1085.58	c cleaning 25013 clauses out of 50034 with flag 4790001/4790001
1093.21/1092.28	c cleaning 24986 clauses out of 50022 with flag 4815002/4815002
1099.50/1098.53	c cleaning 25017 clauses out of 50036 with flag 4840002/4840002
1105.01/1104.05	c cleaning 25001 clauses out of 50019 with flag 4865002/4865002
1110.51/1109.55	c cleaning 25003 clauses out of 50019 with flag 4890003/4890003
1116.11/1115.16	c cleaning 24997 clauses out of 50014 with flag 4915001/4915001
1121.82/1120.86	c cleaning 24993 clauses out of 50017 with flag 4940001/4940001
1127.42/1126.42	c cleaning 24996 clauses out of 50024 with flag 4965001/4965001
1133.32/1132.30	c cleaning 25005 clauses out of 50028 with flag 4990001/4990001
1139.02/1138.08	c cleaning 25001 clauses out of 50022 with flag 5015000/5015000
1145.12/1144.20	c cleaning 24995 clauses out of 50021 with flag 5040000/5040000
1151.23/1150.27	c cleaning 25002 clauses out of 50028 with flag 5065002/5065002
1157.33/1156.35	c cleaning 25002 clauses out of 50024 with flag 5090000/5090000
1163.13/1162.19	c cleaning 24998 clauses out of 50022 with flag 5115000/5115000
1169.33/1168.39	c cleaning 24999 clauses out of 50024 with flag 5140000/5140000
1175.74/1174.78	c cleaning 25012 clauses out of 50027 with flag 5165002/5165002
1182.35/1181.31	c cleaning 24996 clauses out of 50014 with flag 5190001/5190001
1188.35/1187.33	c cleaning 24998 clauses out of 50019 with flag 5215002/5215002
1194.55/1193.58	c cleaning 25004 clauses out of 50019 with flag 5240000/5240000
1201.06/1200.02	c cleaning 24997 clauses out of 50015 with flag 5265000/5265000
1206.95/1205.96	c cleaning 24996 clauses out of 50018 with flag 5290000/5290000
1213.46/1212.49	c cleaning 25006 clauses out of 50023 with flag 5315001/5315001
1219.26/1218.21	c cleaning 24999 clauses out of 50016 with flag 5340000/5340000
1224.76/1223.73	c cleaning 24999 clauses out of 50017 with flag 5365000/5365000
1230.26/1229.26	c cleaning 24998 clauses out of 50018 with flag 5390000/5390000
1235.87/1234.87	c cleaning 24996 clauses out of 50020 with flag 5415000/5415000
1241.67/1240.61	c cleaning 25002 clauses out of 50027 with flag 5440003/5440003
1247.38/1246.39	c cleaning 25002 clauses out of 50024 with flag 5465002/5465002
1253.18/1252.15	c cleaning 24994 clauses out of 50021 with flag 5490001/5490001
1259.28/1258.20	c cleaning 24994 clauses out of 50026 with flag 5515000/5515000
1265.18/1264.14	c cleaning 25005 clauses out of 50032 with flag 5540000/5540000
1271.08/1270.00	c cleaning 25004 clauses out of 50028 with flag 5565001/5565001
1277.29/1276.24	c cleaning 25002 clauses out of 50023 with flag 5590000/5590000
1283.19/1282.14	c cleaning 24999 clauses out of 50022 with flag 5615001/5615001
1288.99/1287.91	c cleaning 25002 clauses out of 50023 with flag 5640001/5640001
1294.89/1293.87	c cleaning 25002 clauses out of 50021 with flag 5665001/5665001
1301.10/1300.01	c starts		: 2208
1301.10/1300.01	c conflicts		: 5688878
1301.10/1300.01	c decisions		: 7868895
1301.10/1300.01	c propagations		: 546265039
1301.10/1300.01	c inspects		: 11253131703
1301.10/1300.01	c shortcuts		: 0
1301.10/1300.01	c learnt literals	: 0
1301.10/1300.01	c learnt binary clauses	: 0
1301.10/1300.01	c learnt ternary clauses	: 0
1301.10/1300.01	c learnt constraints	: 5688878
1301.10/1300.01	c ignored constraints	: 0
1301.10/1300.01	c root simplifications	: 2208
1301.10/1300.01	c removed literals (reason simplification)	: 72010808
1301.10/1300.01	c reason swapping (by a shorter reason)	: 0
1301.10/1300.01	c Calls to reduceDB	: 235
1301.10/1300.01	c speed (assignments/second)	: 420310.02283653105
1301.10/1300.01	c non guided choices	379
1301.10/1300.04	c learnt constraints type 
1301.10/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 48983
1301.10/1300.04	c constraints type 
1301.10/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25000
1301.10/1300.04	s UNKNOWN
1301.10/1300.04	c Total wall clock time (in seconds) : 1299.777

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

running on 2 cores: 1,3

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.92 1.01 1.34 2/179 18149
/proc/meminfo: memFree=13922056/32951124 swapFree=67111528/67111528
[pid=18149] ppid=18147 vsize=11760 CPUtime=0 cores=1,3
/proc/18149/stat : 18149 (runsolver) R 18147 18149 18109 0 -1 4202560 42 0 0 0 0 0 0 0 22 0 1 0 352160725 12042240 49 33554432000 4194304 5392636 140735994080016 18446744073709551615 4779120 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/18149/statm: 2940 49 30 293 0 2644 0

[startup+0.0946609 s]
/proc/loadavg: 0.92 1.01 1.34 2/179 18149
/proc/meminfo: memFree=13922056/32951124 swapFree=67111528/67111528
[pid=18149] ppid=18147 vsize=7551884 CPUtime=0.01 cores=1,3
/proc/18149/stat : 18149 (java) S 18147 18149 18109 0 -1 4202496 8226 0 56 0 1 0 0 0 17 0 10 0 352160725 7733129216 7977 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18149/statm: 1887971 7977 1515 9 0 1878719 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7551884

[startup+0.100652 s]
/proc/loadavg: 0.92 1.01 1.34 2/179 18149
/proc/meminfo: memFree=13922056/32951124 swapFree=67111528/67111528
[pid=18149] ppid=18147 vsize=7562296 CPUtime=0.02 cores=1,3
/proc/18149/stat : 18149 (java) S 18147 18149 18109 0 -1 4202496 8349 0 56 0 2 0 0 0 17 0 11 0 352160725 7743791104 8100 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18149/statm: 1890574 8100 1564 9 0 1881322 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7562296

[startup+0.300551 s]
/proc/loadavg: 0.92 1.01 1.34 2/179 18149
/proc/meminfo: memFree=13922056/32951124 swapFree=67111528/67111528
[pid=18149] ppid=18147 vsize=7571848 CPUtime=0.22 cores=1,3
/proc/18149/stat : 18149 (java) S 18147 18149 18109 0 -1 4202496 10961 0 56 0 21 1 0 0 17 0 18 0 352160725 7753572352 10651 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18149/statm: 1892962 10651 2182 9 0 1883700 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 7571848

[startup+0.700481 s]
/proc/loadavg: 0.92 1.01 1.34 2/179 18149
/proc/meminfo: memFree=13922056/32951124 swapFree=67111528/67111528
[pid=18149] ppid=18147 vsize=7576164 CPUtime=0.96 cores=1,3
/proc/18149/stat : 18149 (java) S 18147 18149 18109 0 -1 4202496 13900 0 56 0 95 1 0 0 17 0 19 0 352160725 7757991936 12602 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18149/statm: 1894041 12602 2224 9 0 1884779 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 7576164

[startup+1.50133 s]
/proc/loadavg: 0.92 1.01 1.34 5/262 18242
/proc/meminfo: memFree=13729844/32951124 swapFree=67111528/67111528
[pid=18149] ppid=18147 vsize=7588676 CPUtime=1.9 cores=1,3
/proc/18149/stat : 18149 (java) S 18147 18149 18109 0 -1 4202496 20816 0 56 0 188 2 0 0 17 0 19 0 352160725 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18149/statm: 1897169 17890 2253 9 0 1887907 0
[pid=18149/tid=18152] ppid=18147 vsize=7588676 CPUtime=1.32 cores=1,3
/proc/18149/task/18152/stat : 18152 (java) R 18147 18149 18109 0 -1 4202560 10583 0 56 0 131 1 0 0 20 0 19 0 352160730 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 46912505723199 0 4 0 16800975 0 0 0 -1 3 0 0 8
[pid=18149/tid=18158] ppid=18147 vsize=7588676 CPUtime=0 cores=1,3
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18109 0 -1 4202560 447 0 0 0 0 0 0 0 18 0 19 0 352160732 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=7588676 CPUtime=0 cores=1,3
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352160732 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=7588676 CPUtime=0 cores=1,3
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352160732 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18163] ppid=18147 vsize=7588676 CPUtime=0 cores=1,3
/proc/18149/task/18163/stat : 18163 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352160732 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18165] ppid=18147 vsize=7588676 CPUtime=0 cores=1,3
/proc/18149/task/18165/stat : 18165 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352160732 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18168] ppid=18147 vsize=7588676 CPUtime=0 cores=1,3
/proc/18149/task/18168/stat : 18168 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352160732 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18170] ppid=18147 vsize=7588676 CPUtime=0 cores=1,3
/proc/18149/task/18170/stat : 18170 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352160732 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18171] ppid=18147 vsize=7588676 CPUtime=0 cores=1,3
/proc/18149/task/18171/stat : 18171 (java) S 18147 18149 18109 0 -1 4202560 552 0 0 0 0 0 0 0 18 0 19 0 352160732 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18174] ppid=18147 vsize=7588676 CPUtime=0.01 cores=1,3
/proc/18149/task/18174/stat : 18174 (java) S 18147 18149 18109 0 -1 4202560 1002 0 0 0 1 0 0 0 16 0 19 0 352160735 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 0 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18183] ppid=18147 vsize=7588676 CPUtime=0 cores=1,3
/proc/18149/task/18183/stat : 18183 (java) S 18147 18149 18109 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352160737 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18185] ppid=18147 vsize=7588676 CPUtime=0 cores=1,3
/proc/18149/task/18185/stat : 18185 (java) S 18147 18149 18109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352160737 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18209] ppid=18147 vsize=7588676 CPUtime=0 cores=1,3
/proc/18149/task/18209/stat : 18209 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160742 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107274673 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18210] ppid=18147 vsize=7588676 CPUtime=0.19 cores=1,3
/proc/18149/task/18210/stat : 18210 (java) S 18147 18149 18109 0 -1 4202560 1642 0 0 0 19 0 0 0 15 0 19 0 352160742 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18214] ppid=18147 vsize=7588676 CPUtime=0.35 cores=1,3
/proc/18149/task/18214/stat : 18214 (java) R 18147 18149 18109 0 -1 4202560 5430 0 0 0 35 0 0 0 15 0 19 0 352160742 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 47494741091200 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18149/tid=18217] ppid=18147 vsize=7588676 CPUtime=0 cores=1,3
/proc/18149/task/18217/stat : 18217 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352160742 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18219] ppid=18147 vsize=7588676 CPUtime=0 cores=1,3
/proc/18149/task/18219/stat : 18219 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352160742 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18239] ppid=18147 vsize=7588676 CPUtime=0 cores=1,3
/proc/18149/task/18239/stat : 18239 (java) S 18147 18149 18109 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352160760 7770804224 17890 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 7588676

[startup+3.10105 s]
/proc/loadavg: 0.92 1.01 1.34 5/262 18242
/proc/meminfo: memFree=13662636/32951124 swapFree=67111528/67111528
[pid=18149] ppid=18147 vsize=7588844 CPUtime=3.57 cores=1,3
/proc/18149/stat : 18149 (java) S 18147 18149 18109 0 -1 4202496 22021 0 56 0 355 2 0 0 17 0 19 0 352160725 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18149/statm: 1897211 19094 2255 9 0 1887949 0
[pid=18149/tid=18152] ppid=18147 vsize=7588844 CPUtime=2.89 cores=1,3
/proc/18149/task/18152/stat : 18152 (java) R 18147 18149 18109 0 -1 4202560 10585 0 56 0 288 1 0 0 25 0 19 0 352160730 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 46912505696852 0 4 0 16800975 0 0 0 -1 3 0 0 8
[pid=18149/tid=18158] ppid=18147 vsize=7588844 CPUtime=0 cores=1,3
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18109 0 -1 4202560 447 0 0 0 0 0 0 0 17 0 19 0 352160732 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=7588844 CPUtime=0 cores=1,3
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352160732 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=7588844 CPUtime=0 cores=1,3
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352160732 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18163] ppid=18147 vsize=7588844 CPUtime=0 cores=1,3
/proc/18149/task/18163/stat : 18163 (java) S 18147 18149 18109 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 352160732 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18165] ppid=18147 vsize=7588844 CPUtime=0 cores=1,3
/proc/18149/task/18165/stat : 18165 (java) S 18147 18149 18109 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 19 0 352160732 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18168] ppid=18147 vsize=7588844 CPUtime=0 cores=1,3
/proc/18149/task/18168/stat : 18168 (java) S 18147 18149 18109 0 -1 4202560 230 0 0 0 0 0 0 0 15 0 19 0 352160732 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18170] ppid=18147 vsize=7588844 CPUtime=0 cores=1,3
/proc/18149/task/18170/stat : 18170 (java) S 18147 18149 18109 0 -1 4202560 225 0 0 0 0 0 0 0 15 0 19 0 352160732 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18171] ppid=18147 vsize=7588844 CPUtime=0 cores=1,3
/proc/18149/task/18171/stat : 18171 (java) S 18147 18149 18109 0 -1 4202560 552 0 0 0 0 0 0 0 18 0 19 0 352160732 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18174] ppid=18147 vsize=7588844 CPUtime=0.03 cores=1,3
/proc/18149/task/18174/stat : 18174 (java) S 18147 18149 18109 0 -1 4202560 1217 0 0 0 3 0 0 0 16 0 19 0 352160735 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 0 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18183] ppid=18147 vsize=7588844 CPUtime=0 cores=1,3
/proc/18149/task/18183/stat : 18183 (java) S 18147 18149 18109 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352160737 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18185] ppid=18147 vsize=7588844 CPUtime=0 cores=1,3
/proc/18149/task/18185/stat : 18185 (java) S 18147 18149 18109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352160737 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18209] ppid=18147 vsize=7588844 CPUtime=0 cores=1,3
/proc/18149/task/18209/stat : 18209 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160742 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107274673 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18210] ppid=18147 vsize=7588844 CPUtime=0.2 cores=1,3
/proc/18149/task/18210/stat : 18210 (java) S 18147 18149 18109 0 -1 4202560 1644 0 0 0 20 0 0 0 15 0 19 0 352160742 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18214] ppid=18147 vsize=7588844 CPUtime=0.4 cores=1,3
/proc/18149/task/18214/stat : 18214 (java) S 18147 18149 18109 0 -1 4202560 5653 0 0 0 40 0 0 0 15 0 19 0 352160742 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18217] ppid=18147 vsize=7588844 CPUtime=0 cores=1,3
/proc/18149/task/18217/stat : 18217 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352160742 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18219] ppid=18147 vsize=7588844 CPUtime=0 cores=1,3
/proc/18149/task/18219/stat : 18219 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352160742 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18239] ppid=18147 vsize=7588844 CPUtime=0 cores=1,3
/proc/18149/task/18239/stat : 18239 (java) S 18147 18149 18109 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352160760 7770976256 19094 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 7588844

[startup+6.30145 s]
/proc/loadavg: 1.25 1.08 1.36 5/262 18242
/proc/meminfo: memFree=13643236/32951124 swapFree=67111528/67111528
[pid=18149] ppid=18147 vsize=7583240 CPUtime=6.77 cores=1,3
/proc/18149/stat : 18149 (java) S 18147 18149 18109 0 -1 4202496 22518 0 56 0 675 2 0 0 17 0 19 0 352160725 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18149/statm: 1895810 18570 2255 9 0 1886548 0
[pid=18149/tid=18152] ppid=18147 vsize=7583240 CPUtime=5.99 cores=1,3
/proc/18149/task/18152/stat : 18152 (java) R 18147 18149 18109 0 -1 4202560 10588 0 56 0 598 1 0 0 25 0 19 0 352160730 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 46912505585009 0 4 0 16800975 0 0 0 -1 3 0 0 8
[pid=18149/tid=18158] ppid=18147 vsize=7583240 CPUtime=0 cores=1,3
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18109 0 -1 4202560 447 0 0 0 0 0 0 0 15 0 19 0 352160732 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=7583240 CPUtime=0 cores=1,3
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352160732 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=7583240 CPUtime=0 cores=1,3
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352160732 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18163] ppid=18147 vsize=7583240 CPUtime=0 cores=1,3
/proc/18149/task/18163/stat : 18163 (java) S 18147 18149 18109 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 352160732 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18165] ppid=18147 vsize=7583240 CPUtime=0 cores=1,3
/proc/18149/task/18165/stat : 18165 (java) S 18147 18149 18109 0 -1 4202560 317 0 0 0 0 0 0 0 15 0 19 0 352160732 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18168] ppid=18147 vsize=7583240 CPUtime=0 cores=1,3
/proc/18149/task/18168/stat : 18168 (java) S 18147 18149 18109 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 19 0 352160732 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18170] ppid=18147 vsize=7583240 CPUtime=0 cores=1,3
/proc/18149/task/18170/stat : 18170 (java) S 18147 18149 18109 0 -1 4202560 544 0 0 0 0 0 0 0 15 0 19 0 352160732 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18171] ppid=18147 vsize=7583240 CPUtime=0 cores=1,3
/proc/18149/task/18171/stat : 18171 (java) S 18147 18149 18109 0 -1 4202560 553 0 0 0 0 0 0 0 15 0 19 0 352160732 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18174] ppid=18147 vsize=7583240 CPUtime=0.09 cores=1,3
/proc/18149/task/18174/stat : 18174 (java) S 18147 18149 18109 0 -1 4202560 1360 0 0 0 9 0 0 0 15 0 19 0 352160735 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 0 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18183] ppid=18147 vsize=7583240 CPUtime=0 cores=1,3
/proc/18149/task/18183/stat : 18183 (java) S 18147 18149 18109 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352160737 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18185] ppid=18147 vsize=7583240 CPUtime=0 cores=1,3
/proc/18149/task/18185/stat : 18185 (java) S 18147 18149 18109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352160737 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18209] ppid=18147 vsize=7583240 CPUtime=0 cores=1,3
/proc/18149/task/18209/stat : 18209 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160742 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107274673 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18210] ppid=18147 vsize=7583240 CPUtime=0.2 cores=1,3
/proc/18149/task/18210/stat : 18210 (java) S 18147 18149 18109 0 -1 4202560 1644 0 0 0 20 0 0 0 15 0 19 0 352160742 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18214] ppid=18147 vsize=7583240 CPUtime=0.43 cores=1,3
/proc/18149/task/18214/stat : 18214 (java) S 18147 18149 18109 0 -1 4202560 5659 0 0 0 43 0 0 0 15 0 19 0 352160742 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18217] ppid=18147 vsize=7583240 CPUtime=0 cores=1,3
/proc/18149/task/18217/stat : 18217 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352160742 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18219] ppid=18147 vsize=7583240 CPUtime=0 cores=1,3
/proc/18149/task/18219/stat : 18219 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352160742 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18239] ppid=18147 vsize=7583240 CPUtime=0 cores=1,3
/proc/18149/task/18239/stat : 18239 (java) S 18147 18149 18109 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352160760 7765237760 18570 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 7583240

[startup+12.7013 s]

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

[pid=18149/tid=18168] ppid=18147 vsize=7579952 CPUtime=0.15 cores=1,3
/proc/18149/task/18168/stat : 18168 (java) S 18147 18149 18109 0 -1 4202560 263 0 0 0 15 0 0 0 15 0 19 0 352160732 7761870848 26767 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18170] ppid=18147 vsize=7579952 CPUtime=0.17 cores=1,3
/proc/18149/task/18170/stat : 18170 (java) S 18147 18149 18109 0 -1 4202560 2169 0 0 0 17 0 0 0 15 0 19 0 352160732 7761870848 26767 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18171] ppid=18147 vsize=7579952 CPUtime=0.15 cores=1,3
/proc/18149/task/18171/stat : 18171 (java) S 18147 18149 18109 0 -1 4202560 950 0 0 0 15 0 0 0 16 0 19 0 352160732 7761870848 26767 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18174] ppid=18147 vsize=7579952 CPUtime=5.68 cores=1,3
/proc/18149/task/18174/stat : 18174 (java) S 18147 18149 18109 0 -1 4202560 3613 0 0 0 567 1 0 0 15 0 19 0 352160735 7761870848 26767 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 0 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18183] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18183/stat : 18183 (java) S 18147 18149 18109 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352160737 7761870848 26767 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18185] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18185/stat : 18185 (java) S 18147 18149 18109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352160737 7761870848 26767 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18209] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18209/stat : 18209 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160742 7761870848 26767 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107274673 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18210] ppid=18147 vsize=7579952 CPUtime=0.2 cores=1,3
/proc/18149/task/18210/stat : 18210 (java) S 18147 18149 18109 0 -1 4202560 1644 0 0 0 20 0 0 0 15 0 19 0 352160742 7761870848 26767 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18214] ppid=18147 vsize=7579952 CPUtime=0.46 cores=1,3
/proc/18149/task/18214/stat : 18214 (java) S 18147 18149 18109 0 -1 4202560 5664 0 0 0 46 0 0 0 15 0 19 0 352160742 7761870848 26767 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18217] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18217/stat : 18217 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352160742 7761870848 26767 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18219] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18219/stat : 18219 (java) S 18147 18149 18109 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 352160742 7761870848 26767 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18239] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18239/stat : 18239 (java) S 18147 18149 18109 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352160760 7761870848 26767 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1123.32
Current children cumulated vsize (KiB) 7579952

[startup+1182.3 s]
/proc/loadavg: 4.01 3.97 3.26 5/262 18273
/proc/meminfo: memFree=13546180/32951124 swapFree=67111528/67111528
[pid=18149] ppid=18147 vsize=7579952 CPUtime=1183.35 cores=1,3
/proc/18149/stat : 18149 (java) S 18147 18149 18109 0 -1 4202496 31932 0 56 0 118328 7 0 0 17 0 19 0 352160725 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18149/statm: 1894988 26846 2256 9 0 1885726 0
[pid=18149/tid=18152] ppid=18147 vsize=7579952 CPUtime=1175.33 cores=1,3
/proc/18149/task/18152/stat : 18152 (java) R 18147 18149 18109 0 -1 4202560 13143 0 56 0 117531 2 0 0 18 0 19 0 352160730 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 46912505696852 0 4 0 16800975 0 0 0 -1 1 0 0 8
[pid=18149/tid=18158] ppid=18147 vsize=7579952 CPUtime=0.2 cores=1,3
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18109 0 -1 4202560 893 0 0 0 20 0 0 0 15 0 19 0 352160732 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=7579952 CPUtime=0.15 cores=1,3
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18109 0 -1 4202560 12 0 0 0 15 0 0 0 15 0 19 0 352160732 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=7579952 CPUtime=0.17 cores=1,3
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18109 0 -1 4202560 25 0 0 0 17 0 0 0 15 0 19 0 352160732 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18163] ppid=18147 vsize=7579952 CPUtime=0.12 cores=1,3
/proc/18149/task/18163/stat : 18163 (java) S 18147 18149 18109 0 -1 4202560 77 0 0 0 12 0 0 0 15 0 19 0 352160732 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18165] ppid=18147 vsize=7579952 CPUtime=0.15 cores=1,3
/proc/18149/task/18165/stat : 18165 (java) S 18147 18149 18109 0 -1 4202560 2175 0 0 0 15 0 0 0 15 0 19 0 352160732 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18168] ppid=18147 vsize=7579952 CPUtime=0.15 cores=1,3
/proc/18149/task/18168/stat : 18168 (java) S 18147 18149 18109 0 -1 4202560 263 0 0 0 15 0 0 0 15 0 19 0 352160732 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18170] ppid=18147 vsize=7579952 CPUtime=0.18 cores=1,3
/proc/18149/task/18170/stat : 18170 (java) S 18147 18149 18109 0 -1 4202560 2169 0 0 0 18 0 0 0 15 0 19 0 352160732 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18171] ppid=18147 vsize=7579952 CPUtime=0.16 cores=1,3
/proc/18149/task/18171/stat : 18171 (java) S 18147 18149 18109 0 -1 4202560 950 0 0 0 16 0 0 0 15 0 19 0 352160732 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18174] ppid=18147 vsize=7579952 CPUtime=5.98 cores=1,3
/proc/18149/task/18174/stat : 18174 (java) S 18147 18149 18109 0 -1 4202560 3695 0 0 0 597 1 0 0 16 0 19 0 352160735 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 0 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18183] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18183/stat : 18183 (java) S 18147 18149 18109 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352160737 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18185] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18185/stat : 18185 (java) S 18147 18149 18109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352160737 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18209] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18209/stat : 18209 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160742 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107274673 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18210] ppid=18147 vsize=7579952 CPUtime=0.2 cores=1,3
/proc/18149/task/18210/stat : 18210 (java) S 18147 18149 18109 0 -1 4202560 1644 0 0 0 20 0 0 0 15 0 19 0 352160742 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18214] ppid=18147 vsize=7579952 CPUtime=0.46 cores=1,3
/proc/18149/task/18214/stat : 18214 (java) S 18147 18149 18109 0 -1 4202560 5664 0 0 0 46 0 0 0 15 0 19 0 352160742 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18217] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18217/stat : 18217 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352160742 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18219] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18219/stat : 18219 (java) S 18147 18149 18109 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 352160742 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18239] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18239/stat : 18239 (java) S 18147 18149 18109 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352160760 7761870848 26846 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1183.35
Current children cumulated vsize (KiB) 7579952

[startup+1242.3 s]
/proc/loadavg: 4.00 3.97 3.30 5/262 18275
/proc/meminfo: memFree=13544032/32951124 swapFree=67111528/67111528
[pid=18149] ppid=18147 vsize=7579952 CPUtime=1243.37 cores=1,3
/proc/18149/stat : 18149 (java) S 18147 18149 18109 0 -1 4202496 32010 0 56 0 124330 7 0 0 17 0 19 0 352160725 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18149/statm: 1894988 26906 2256 9 0 1885726 0
[pid=18149/tid=18152] ppid=18147 vsize=7579952 CPUtime=1235 cores=1,3
/proc/18149/task/18152/stat : 18152 (java) R 18147 18149 18109 0 -1 4202560 13153 0 56 0 123498 2 0 0 25 0 19 0 352160730 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 46912505584829 0 4 0 16800975 0 0 0 -1 1 0 0 8
[pid=18149/tid=18158] ppid=18147 vsize=7579952 CPUtime=0.21 cores=1,3
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18109 0 -1 4202560 893 0 0 0 21 0 0 0 15 0 19 0 352160732 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=7579952 CPUtime=0.16 cores=1,3
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18109 0 -1 4202560 12 0 0 0 16 0 0 0 15 0 19 0 352160732 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=7579952 CPUtime=0.17 cores=1,3
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18109 0 -1 4202560 25 0 0 0 17 0 0 0 15 0 19 0 352160732 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18163] ppid=18147 vsize=7579952 CPUtime=0.13 cores=1,3
/proc/18149/task/18163/stat : 18163 (java) S 18147 18149 18109 0 -1 4202560 77 0 0 0 13 0 0 0 15 0 19 0 352160732 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18165] ppid=18147 vsize=7579952 CPUtime=0.16 cores=1,3
/proc/18149/task/18165/stat : 18165 (java) S 18147 18149 18109 0 -1 4202560 2175 0 0 0 16 0 0 0 15 0 19 0 352160732 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18168] ppid=18147 vsize=7579952 CPUtime=0.16 cores=1,3
/proc/18149/task/18168/stat : 18168 (java) S 18147 18149 18109 0 -1 4202560 263 0 0 0 16 0 0 0 15 0 19 0 352160732 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18170] ppid=18147 vsize=7579952 CPUtime=0.19 cores=1,3
/proc/18149/task/18170/stat : 18170 (java) S 18147 18149 18109 0 -1 4202560 2169 0 0 0 19 0 0 0 15 0 19 0 352160732 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18171] ppid=18147 vsize=7579952 CPUtime=0.17 cores=1,3
/proc/18149/task/18171/stat : 18171 (java) S 18147 18149 18109 0 -1 4202560 951 0 0 0 17 0 0 0 15 0 19 0 352160732 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18174] ppid=18147 vsize=7579952 CPUtime=6.27 cores=1,3
/proc/18149/task/18174/stat : 18174 (java) S 18147 18149 18109 0 -1 4202560 3758 0 0 0 626 1 0 0 15 0 19 0 352160735 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 0 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18183] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18183/stat : 18183 (java) S 18147 18149 18109 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352160737 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18185] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18185/stat : 18185 (java) S 18147 18149 18109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352160737 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18209] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18209/stat : 18209 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160742 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107274673 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18210] ppid=18147 vsize=7579952 CPUtime=0.2 cores=1,3
/proc/18149/task/18210/stat : 18210 (java) S 18147 18149 18109 0 -1 4202560 1644 0 0 0 20 0 0 0 15 0 19 0 352160742 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18214] ppid=18147 vsize=7579952 CPUtime=0.46 cores=1,3
/proc/18149/task/18214/stat : 18214 (java) S 18147 18149 18109 0 -1 4202560 5664 0 0 0 46 0 0 0 15 0 19 0 352160742 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18217] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18217/stat : 18217 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352160742 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18219] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18219/stat : 18219 (java) S 18147 18149 18109 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 352160742 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18239] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18239/stat : 18239 (java) S 18147 18149 18109 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352160760 7761870848 26906 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1243.37
Current children cumulated vsize (KiB) 7579952



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.97 3.34 4/243 18279
/proc/meminfo: memFree=13629964/32951124 swapFree=67111528/67111528
[pid=18149] ppid=18147 vsize=7579952 CPUtime=1301.1 cores=1,3
/proc/18149/stat : 18149 (java) S 18147 18149 18109 0 -1 4202496 32042 0 56 0 130103 7 0 0 17 0 19 0 352160725 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18149/statm: 1894988 26923 2256 9 0 1885726 0
[pid=18149/tid=18152] ppid=18147 vsize=7579952 CPUtime=1292.4 cores=1,3
/proc/18149/task/18152/stat : 18152 (java) R 18147 18149 18109 0 -1 4202560 13162 0 56 0 129238 2 0 0 25 0 19 0 352160730 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 46912505696857 0 4 0 16800975 0 0 0 -1 1 0 0 8
[pid=18149/tid=18158] ppid=18147 vsize=7579952 CPUtime=0.21 cores=1,3
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18109 0 -1 4202560 894 0 0 0 21 0 0 0 15 0 19 0 352160732 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=7579952 CPUtime=0.17 cores=1,3
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18109 0 -1 4202560 12 0 0 0 17 0 0 0 15 0 19 0 352160732 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=7579952 CPUtime=0.17 cores=1,3
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18109 0 -1 4202560 25 0 0 0 17 0 0 0 15 0 19 0 352160732 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18163] ppid=18147 vsize=7579952 CPUtime=0.13 cores=1,3
/proc/18149/task/18163/stat : 18163 (java) S 18147 18149 18109 0 -1 4202560 77 0 0 0 13 0 0 0 15 0 19 0 352160732 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18165] ppid=18147 vsize=7579952 CPUtime=0.17 cores=1,3
/proc/18149/task/18165/stat : 18165 (java) S 18147 18149 18109 0 -1 4202560 2175 0 0 0 17 0 0 0 16 0 19 0 352160732 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18168] ppid=18147 vsize=7579952 CPUtime=0.17 cores=1,3
/proc/18149/task/18168/stat : 18168 (java) S 18147 18149 18109 0 -1 4202560 263 0 0 0 17 0 0 0 15 0 19 0 352160732 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18170] ppid=18147 vsize=7579952 CPUtime=0.2 cores=1,3
/proc/18149/task/18170/stat : 18170 (java) S 18147 18149 18109 0 -1 4202560 2169 0 0 0 20 0 0 0 15 0 19 0 352160732 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18171] ppid=18147 vsize=7579952 CPUtime=0.18 cores=1,3
/proc/18149/task/18171/stat : 18171 (java) S 18147 18149 18109 0 -1 4202560 951 0 0 0 18 0 0 0 15 0 19 0 352160732 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18174] ppid=18147 vsize=7579952 CPUtime=6.54 cores=1,3
/proc/18149/task/18174/stat : 18174 (java) S 18147 18149 18109 0 -1 4202560 3776 0 0 0 653 1 0 0 15 0 19 0 352160735 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 0 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18183] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18183/stat : 18183 (java) S 18147 18149 18109 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352160737 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18185] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18185/stat : 18185 (java) S 18147 18149 18109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 352160737 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18209] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18209/stat : 18209 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160742 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107274673 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18210] ppid=18147 vsize=7579952 CPUtime=0.2 cores=1,3
/proc/18149/task/18210/stat : 18210 (java) S 18147 18149 18109 0 -1 4202560 1644 0 0 0 20 0 0 0 15 0 19 0 352160742 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18214] ppid=18147 vsize=7579952 CPUtime=0.46 cores=1,3
/proc/18149/task/18214/stat : 18214 (java) S 18147 18149 18109 0 -1 4202560 5664 0 0 0 46 0 0 0 15 0 19 0 352160742 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 1 0 0 0
[pid=18149/tid=18217] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18217/stat : 18217 (java) S 18147 18149 18109 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352160742 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107266969 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
[pid=18149/tid=18219] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18219/stat : 18219 (java) R 18147 18149 18109 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 352160742 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18149/tid=18239] ppid=18147 vsize=7579952 CPUtime=0 cores=1,3
/proc/18149/task/18239/stat : 18239 (java) S 18147 18149 18109 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352160760 7761870848 26923 33554432000 1073741824 1073778376 140734244957200 18446744073709551615 228107267584 0 4 0 16800975 18446604471104545024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1301.1
Current children cumulated vsize (KiB) 7579952

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.18
CPU user time (s): 1301.1
CPU system time (s): 0.084987
CPU usage (%): 100.087
Max. virtual memory (cumulated for all children) (KiB): 7588844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.1
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32077
page faults= 56
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33941
involuntary context switches= 10323

runsolver used 2.03969 second user time and 5.08123 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-12 10:37:33
IDJOB=3190228
IDBENCH=82559
IDSOLVER=1611
FILE ID=node142/3190228-1302597452
RUNJOBID= node142-1302597452-18129
PBS_JOBID= 12958100
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 4ba3e8e19a6d9aec4bc2bd0594f1360a
RANDOM SEED=1310020380

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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:      13922576 kB
Buffers:        725040 kB
Cached:       17828872 kB
SwapCached:          0 kB
Active:        9674764 kB
Inactive:      8944772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13922576 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             820 kB
Writeback:           0 kB
AnonPages:       65368 kB
Mapped:          16260 kB
Slab:           344296 kB
PageTables:       5032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   204616 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= 71720 MiB
End job on node142 at 2011-04-12 10:59:15