Trace number 3190276

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1300.89 1300.04

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf
MD5SUM951e2fa38b08f2dfbb0dbb3e8ab83f8d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark49.2365
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.03/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.16	c See www.sat4j.org for details.
0.03/0.16	c no version file found!!!
0.03/0.16	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.16	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.16	c java.vm.version	19.1-b02
0.03/0.16	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.16	c sun.arch.data.model	64
0.03/0.16	c java.version		1.6.0_24
0.03/0.16	c os.name		Linux
0.03/0.16	c os.version		2.6.18-164.el5
0.03/0.16	c os.arch		amd64
0.03/0.16	c Free memory 		6997539544
0.03/0.16	c Max memory 		7034241024
0.03/0.16	c Total memory 		7034241024
0.03/0.16	c Number of processors 	8
0.03/0.18	c --- Begin Solver configuration ---
0.03/0.18	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@2fe4cbc4
0.03/0.18	c Learn all clauses as in MiniSAT
0.03/0.18	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.03/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.03/0.18	c Expensive reason simplification
0.03/0.18	c Armin Biere (Picosat) restarts strategy
0.03/0.18	c Glucose learned constraints deletion strategy
0.03/0.18	c timeout=2147483647s
0.03/0.18	c DB Simplification allowed=true
0.03/0.18	c --- End Solver configuration ---
0.03/0.18	c solving HOME/instance-3190276-1302597985.cnf
0.03/0.18	c reading problem ... 
0.11/0.29	c ... done. Wall clock time 0.101s.
0.11/0.29	c #vars     1250
0.11/0.29	c #constraints  25000
0.11/0.29	c constraints type 
0.11/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25000
1.51/1.37	c cleaning 2495 clauses out of 5000 with flag 5000/5000
2.51/2.40	c cleaning 4250 clauses out of 8506 with flag 11001/11001
3.82/3.60	c cleaning 5627 clauses out of 11256 with flag 18001/18001
5.22/5.04	c cleaning 6811 clauses out of 13628 with flag 26000/26000
6.84/6.61	c cleaning 7902 clauses out of 15819 with flag 35002/35002
8.63/8.42	c cleaning 8951 clauses out of 17915 with flag 45000/45000
10.53/10.40	c cleaning 9979 clauses out of 19964 with flag 56000/56000
12.84/12.68	c cleaning 10990 clauses out of 21985 with flag 68000/68000
15.34/15.14	c cleaning 11991 clauses out of 23995 with flag 81000/81000
18.04/17.87	c cleaning 13001 clauses out of 26006 with flag 95002/95002
21.05/20.88	c cleaning 13998 clauses out of 28003 with flag 110000/110000
24.35/24.17	c cleaning 14997 clauses out of 30009 with flag 126004/126004
27.85/27.69	c cleaning 15998 clauses out of 32009 with flag 143001/143001
31.65/31.48	c cleaning 17003 clauses out of 34011 with flag 161001/161001
35.85/35.60	c cleaning 17991 clauses out of 36008 with flag 180001/180001
40.15/39.98	c cleaning 19006 clauses out of 38018 with flag 200002/200002
44.95/44.74	c cleaning 19995 clauses out of 40012 with flag 221002/221002
50.07/49.81	c cleaning 21005 clauses out of 42015 with flag 243000/243000
55.37/55.12	c cleaning 22002 clauses out of 44011 with flag 266001/266001
60.87/60.63	c cleaning 22987 clauses out of 46008 with flag 290000/290000
66.88/66.67	c cleaning 23995 clauses out of 48021 with flag 315000/315000
73.08/72.87	c cleaning 24512 clauses out of 49027 with flag 340001/340001
79.18/78.96	c cleaning 24752 clauses out of 49515 with flag 365001/365001
85.19/84.90	c cleaning 24875 clauses out of 49764 with flag 390002/390002
91.29/91.07	c cleaning 24939 clauses out of 49887 with flag 415000/415000
97.10/96.85	c cleaning 24967 clauses out of 49948 with flag 440000/440000
103.30/103.04	c cleaning 24986 clauses out of 49982 with flag 465001/465001
109.10/108.84	c cleaning 24989 clauses out of 49995 with flag 490000/490000
115.30/115.02	c cleaning 24995 clauses out of 50006 with flag 515000/515000
121.10/120.85	c cleaning 25005 clauses out of 50012 with flag 540001/540001
127.30/127.01	c cleaning 24998 clauses out of 50006 with flag 565000/565000
133.01/132.78	c cleaning 24995 clauses out of 50010 with flag 590002/590002
139.31/139.07	c cleaning 25002 clauses out of 50014 with flag 615001/615001
145.31/145.03	c cleaning 24998 clauses out of 50011 with flag 640000/640000
151.22/150.95	c cleaning 24994 clauses out of 50014 with flag 665001/665001
157.52/157.28	c cleaning 25000 clauses out of 50020 with flag 690001/690001
163.42/163.10	c cleaning 25004 clauses out of 50020 with flag 715001/715001
169.22/168.93	c cleaning 25004 clauses out of 50015 with flag 740000/740000
175.43/175.15	c cleaning 25000 clauses out of 50011 with flag 765000/765000
181.33/181.01	c cleaning 25001 clauses out of 50013 with flag 790002/790002
187.23/186.96	c cleaning 24999 clauses out of 50010 with flag 815000/815000
193.53/193.26	c cleaning 25002 clauses out of 50013 with flag 840002/840002
199.44/199.18	c cleaning 24997 clauses out of 50009 with flag 865000/865000
205.24/204.96	c cleaning 24994 clauses out of 50012 with flag 890000/890000
211.44/211.14	c cleaning 25003 clauses out of 50020 with flag 915002/915002
217.44/217.18	c cleaning 25008 clauses out of 50015 with flag 940000/940000
223.34/223.00	c cleaning 24997 clauses out of 50007 with flag 965000/965000
229.25/228.93	c cleaning 24995 clauses out of 50011 with flag 990001/990001
235.55/235.24	c cleaning 25000 clauses out of 50016 with flag 1015001/1015001
241.45/241.10	c cleaning 24994 clauses out of 50015 with flag 1040000/1040000
247.15/246.89	c cleaning 24999 clauses out of 50022 with flag 1065001/1065001
253.16/252.85	c cleaning 25002 clauses out of 50022 with flag 1090000/1090000
259.26/258.92	c cleaning 25007 clauses out of 50022 with flag 1115002/1115002
265.26/264.99	c cleaning 24999 clauses out of 50014 with flag 1140001/1140001
271.26/270.91	c cleaning 25002 clauses out of 50017 with flag 1165003/1165003
277.17/276.87	c cleaning 24993 clauses out of 50012 with flag 1190000/1190000
283.08/282.78	c cleaning 25002 clauses out of 50020 with flag 1215001/1215001
289.47/289.18	c cleaning 25006 clauses out of 50017 with flag 1240000/1240000
295.38/295.04	c cleaning 25001 clauses out of 50011 with flag 1265000/1265000
301.28/300.95	c cleaning 24995 clauses out of 50010 with flag 1290000/1290000
307.29/306.91	c cleaning 25003 clauses out of 50015 with flag 1315000/1315000
313.19/312.85	c cleaning 24999 clauses out of 50013 with flag 1340001/1340001
319.59/319.27	c cleaning 25003 clauses out of 50015 with flag 1365002/1365002
325.60/325.24	c cleaning 24998 clauses out of 50010 with flag 1390000/1390000
331.30/330.98	c cleaning 24999 clauses out of 50012 with flag 1415000/1415000
337.20/336.85	c cleaning 25001 clauses out of 50014 with flag 1440001/1440001
343.20/342.82	c cleaning 24999 clauses out of 50013 with flag 1465001/1465001
349.50/349.12	c cleaning 25001 clauses out of 50014 with flag 1490001/1490001
355.91/355.51	c cleaning 25003 clauses out of 50012 with flag 1515000/1515000
361.71/361.36	c cleaning 24986 clauses out of 50009 with flag 1540000/1540000
367.61/367.26	c cleaning 25005 clauses out of 50024 with flag 1565001/1565001
373.62/373.22	c cleaning 24999 clauses out of 50018 with flag 1590000/1590000
379.72/379.36	c cleaning 24994 clauses out of 50019 with flag 1615000/1615000
385.73/385.32	c cleaning 25008 clauses out of 50027 with flag 1640002/1640002
392.14/391.79	c cleaning 25001 clauses out of 50018 with flag 1665001/1665001
398.14/397.76	c cleaning 24998 clauses out of 50016 with flag 1690000/1690000
404.14/403.76	c cleaning 25009 clauses out of 50019 with flag 1715001/1715001
410.14/409.73	c cleaning 24999 clauses out of 50010 with flag 1740001/1740001
416.25/415.86	c cleaning 24999 clauses out of 50010 with flag 1765000/1765000
422.45/422.01	c cleaning 24995 clauses out of 50014 with flag 1790003/1790003
428.65/428.28	c cleaning 25002 clauses out of 50017 with flag 1815001/1815001
435.05/434.70	c cleaning 25003 clauses out of 50014 with flag 1840000/1840000
440.95/440.58	c cleaning 25001 clauses out of 50011 with flag 1865000/1865000
446.76/446.36	c cleaning 24999 clauses out of 50010 with flag 1890000/1890000
452.76/452.37	c cleaning 24994 clauses out of 50013 with flag 1915002/1915002
458.76/458.36	c cleaning 24997 clauses out of 50018 with flag 1940001/1940001
464.86/464.44	c cleaning 24996 clauses out of 50021 with flag 1965001/1965001
471.07/470.62	c cleaning 25002 clauses out of 50025 with flag 1990001/1990001
477.27/476.80	c cleaning 25010 clauses out of 50023 with flag 2015001/2015001
483.47/483.00	c cleaning 25001 clauses out of 50014 with flag 2040002/2040002
489.27/488.83	c cleaning 25001 clauses out of 50011 with flag 2065000/2065000
495.17/494.72	c cleaning 24994 clauses out of 50010 with flag 2090000/2090000
501.17/500.72	c cleaning 24998 clauses out of 50016 with flag 2115000/2115000
507.28/506.80	c cleaning 25000 clauses out of 50018 with flag 2140000/2140000
513.38/512.94	c cleaning 25000 clauses out of 50018 with flag 2165000/2165000
519.88/519.41	c cleaning 25002 clauses out of 50018 with flag 2190000/2190000
526.38/525.94	c cleaning 24992 clauses out of 50016 with flag 2215000/2215000
532.59/532.13	c cleaning 25005 clauses out of 50024 with flag 2240000/2240000
538.40/537.94	c cleaning 24999 clauses out of 50019 with flag 2265000/2265000
544.29/543.86	c cleaning 25001 clauses out of 50020 with flag 2290000/2290000
550.29/549.80	c cleaning 25000 clauses out of 50020 with flag 2315001/2315001
556.40/555.92	c cleaning 24992 clauses out of 50019 with flag 2340000/2340000
562.60/562.15	c cleaning 25002 clauses out of 50028 with flag 2365001/2365001
569.00/568.53	c cleaning 25001 clauses out of 50027 with flag 2390002/2390002
575.30/574.85	c cleaning 25005 clauses out of 50026 with flag 2415002/2415002
581.61/581.19	c cleaning 25001 clauses out of 50021 with flag 2440002/2440002
588.01/587.52	c cleaning 24999 clauses out of 50019 with flag 2465001/2465001
593.81/593.38	c cleaning 25003 clauses out of 50020 with flag 2490001/2490001
599.71/599.27	c cleaning 25001 clauses out of 50016 with flag 2515000/2515000
605.82/605.30	c cleaning 25002 clauses out of 50016 with flag 2540001/2540001
612.12/611.62	c cleaning 24995 clauses out of 50016 with flag 2565003/2565003
618.52/618.01	c cleaning 24998 clauses out of 50018 with flag 2590000/2590000
624.93/624.47	c cleaning 25007 clauses out of 50024 with flag 2615004/2615004
631.33/630.81	c cleaning 24987 clauses out of 50013 with flag 2640000/2640000
637.93/637.45	c cleaning 24999 clauses out of 50026 with flag 2665000/2665000
644.24/643.70	c cleaning 25005 clauses out of 50027 with flag 2690000/2690000
650.54/650.05	c cleaning 25011 clauses out of 50026 with flag 2715004/2715004
656.54/656.06	c cleaning 24993 clauses out of 50012 with flag 2740001/2740001
662.34/661.88	c cleaning 24997 clauses out of 50018 with flag 2765000/2765000
668.35/667.86	c cleaning 25006 clauses out of 50021 with flag 2790000/2790000
674.45/673.97	c cleaning 24996 clauses out of 50016 with flag 2815001/2815001
680.65/680.16	c cleaning 24999 clauses out of 50019 with flag 2840000/2840000
687.05/686.53	c cleaning 24998 clauses out of 50020 with flag 2865000/2865000
693.25/692.72	c cleaning 24998 clauses out of 50022 with flag 2890000/2890000
699.86/699.32	c cleaning 24998 clauses out of 50027 with flag 2915003/2915003
706.26/705.74	c cleaning 25000 clauses out of 50026 with flag 2940000/2940000
712.66/712.13	c cleaning 24999 clauses out of 50027 with flag 2965001/2965001
719.07/718.52	c cleaning 25003 clauses out of 50027 with flag 2990000/2990000
725.08/724.51	c cleaning 25002 clauses out of 50025 with flag 3015001/3015001
730.88/730.40	c cleaning 25001 clauses out of 50023 with flag 3040001/3040001
736.98/736.41	c cleaning 24997 clauses out of 50021 with flag 3065000/3065000
743.18/742.67	c cleaning 24996 clauses out of 50024 with flag 3090000/3090000
749.29/748.79	c cleaning 24999 clauses out of 50028 with flag 3115000/3115000
755.69/755.12	c cleaning 25002 clauses out of 50030 with flag 3140001/3140001
761.99/761.45	c cleaning 25008 clauses out of 50027 with flag 3165000/3165000
768.49/767.91	c cleaning 24999 clauses out of 50020 with flag 3190001/3190001
774.80/774.25	c cleaning 24996 clauses out of 50021 with flag 3215001/3215001
781.20/780.67	c cleaning 24999 clauses out of 50024 with flag 3240000/3240000
787.50/786.99	c cleaning 25004 clauses out of 50025 with flag 3265000/3265000
794.10/793.54	c cleaning 25005 clauses out of 50021 with flag 3290000/3290000
800.11/799.51	c cleaning 25004 clauses out of 50017 with flag 3315001/3315001
805.91/805.38	c cleaning 24999 clauses out of 50012 with flag 3340000/3340000
812.01/811.46	c cleaning 24989 clauses out of 50013 with flag 3365000/3365000
818.21/817.62	c cleaning 25002 clauses out of 50026 with flag 3390002/3390002
824.52/823.94	c cleaning 24994 clauses out of 50022 with flag 3415000/3415000
830.92/830.37	c cleaning 25004 clauses out of 50029 with flag 3440001/3440001
837.42/836.81	c cleaning 25005 clauses out of 50025 with flag 3465001/3465001
843.92/843.33	c cleaning 24999 clauses out of 50019 with flag 3490000/3490000
850.43/849.85	c cleaning 25006 clauses out of 50022 with flag 3515002/3515002
856.93/856.40	c cleaning 24996 clauses out of 50014 with flag 3540000/3540000
863.34/862.78	c cleaning 24994 clauses out of 50018 with flag 3565000/3565000
869.74/869.18	c cleaning 25004 clauses out of 50024 with flag 3590000/3590000
876.74/876.19	c cleaning 25008 clauses out of 50021 with flag 3615001/3615001
882.94/882.33	c cleaning 24996 clauses out of 50012 with flag 3640000/3640000
888.74/888.17	c cleaning 24997 clauses out of 50016 with flag 3665000/3665000
894.75/894.19	c cleaning 24995 clauses out of 50019 with flag 3690000/3690000
900.65/900.09	c cleaning 25001 clauses out of 50027 with flag 3715003/3715003
906.75/906.16	c cleaning 24995 clauses out of 50023 with flag 3740000/3740000
913.05/912.41	c cleaning 25004 clauses out of 50030 with flag 3765002/3765002
919.35/918.76	c cleaning 25005 clauses out of 50024 with flag 3790000/3790000
925.56/924.98	c cleaning 24994 clauses out of 50020 with flag 3815001/3815001
932.16/931.53	c cleaning 25001 clauses out of 50025 with flag 3840000/3840000
938.97/938.34	c cleaning 25008 clauses out of 50025 with flag 3865001/3865001
945.97/945.38	c cleaning 25001 clauses out of 50017 with flag 3890001/3890001
953.37/952.75	c cleaning 24994 clauses out of 50015 with flag 3915000/3915000
960.17/959.55	c cleaning 24991 clauses out of 50021 with flag 3940000/3940000
966.68/966.02	c cleaning 25007 clauses out of 50031 with flag 3965001/3965001
973.28/972.69	c cleaning 25005 clauses out of 50023 with flag 3990000/3990000
979.28/978.67	c cleaning 25001 clauses out of 50019 with flag 4015001/4015001
985.28/984.64	c cleaning 25001 clauses out of 50017 with flag 4040000/4040000
991.29/990.64	c cleaning 24998 clauses out of 50016 with flag 4065000/4065000
997.39/996.79	c cleaning 24994 clauses out of 50018 with flag 4090000/4090000
1003.49/1002.88	c cleaning 24998 clauses out of 50026 with flag 4115002/4115002
1009.89/1009.21	c cleaning 25007 clauses out of 50027 with flag 4140001/4140001
1016.09/1015.47	c cleaning 25003 clauses out of 50020 with flag 4165001/4165001
1022.80/1022.15	c cleaning 25003 clauses out of 50016 with flag 4190000/4190000
1029.30/1028.61	c cleaning 25002 clauses out of 50014 with flag 4215001/4215001
1035.60/1034.98	c cleaning 24993 clauses out of 50012 with flag 4240001/4240001
1042.11/1041.40	c cleaning 25000 clauses out of 50019 with flag 4265001/4265001
1048.51/1047.86	c cleaning 25000 clauses out of 50019 with flag 4290001/4290001
1055.62/1054.94	c cleaning 25007 clauses out of 50018 with flag 4315000/4315000
1062.62/1061.94	c cleaning 24996 clauses out of 50013 with flag 4340002/4340002
1068.92/1068.28	c cleaning 24992 clauses out of 50015 with flag 4365000/4365000
1075.82/1075.17	c cleaning 25006 clauses out of 50025 with flag 4390002/4390002
1081.93/1081.23	c cleaning 25001 clauses out of 50017 with flag 4415000/4415000
1088.03/1087.31	c cleaning 24997 clauses out of 50016 with flag 4440000/4440000
1094.04/1093.35	c cleaning 25007 clauses out of 50020 with flag 4465001/4465001
1100.33/1099.61	c cleaning 24994 clauses out of 50013 with flag 4490001/4490001
1106.74/1106.09	c cleaning 25003 clauses out of 50019 with flag 4515001/4515001
1113.34/1112.64	c cleaning 24999 clauses out of 50016 with flag 4540001/4540001
1119.74/1119.01	c cleaning 24995 clauses out of 50017 with flag 4565001/4565001
1126.14/1125.45	c cleaning 24996 clauses out of 50021 with flag 4590000/4590000
1132.84/1132.13	c cleaning 25010 clauses out of 50025 with flag 4615000/4615000
1139.55/1138.86	c cleaning 24996 clauses out of 50015 with flag 4640000/4640000
1146.05/1145.37	c cleaning 25002 clauses out of 50021 with flag 4665002/4665002
1153.26/1152.55	c cleaning 24998 clauses out of 50018 with flag 4690001/4690001
1160.57/1159.81	c cleaning 24999 clauses out of 50019 with flag 4715000/4715000
1166.87/1166.17	c cleaning 24994 clauses out of 50020 with flag 4740000/4740000
1173.17/1172.49	c cleaning 25000 clauses out of 50026 with flag 4765000/4765000
1180.27/1179.57	c cleaning 25008 clauses out of 50026 with flag 4790000/4790000
1187.48/1186.75	c cleaning 25004 clauses out of 50019 with flag 4815001/4815001
1194.08/1193.38	c cleaning 24998 clauses out of 50014 with flag 4840000/4840000
1200.18/1199.42	c cleaning 25004 clauses out of 50019 with flag 4865003/4865003
1206.09/1205.38	c cleaning 24998 clauses out of 50014 with flag 4890002/4890002
1211.99/1211.28	c cleaning 25002 clauses out of 50016 with flag 4915002/4915002
1218.29/1217.51	c cleaning 24997 clauses out of 50012 with flag 4940000/4940000
1224.49/1223.71	c cleaning 25002 clauses out of 50017 with flag 4965002/4965002
1230.79/1230.00	c cleaning 24994 clauses out of 50014 with flag 4990001/4990001
1237.20/1236.46	c cleaning 24997 clauses out of 50019 with flag 5015000/5015000
1243.81/1243.06	c cleaning 24995 clauses out of 50022 with flag 5040000/5040000
1250.60/1249.81	c cleaning 24999 clauses out of 50027 with flag 5065000/5065000
1257.11/1256.30	c cleaning 25004 clauses out of 50028 with flag 5090000/5090000
1263.51/1262.76	c cleaning 25006 clauses out of 50025 with flag 5115001/5115001
1270.22/1269.47	c cleaning 24998 clauses out of 50020 with flag 5140002/5140002
1277.41/1276.67	c cleaning 24996 clauses out of 50020 with flag 5165000/5165000
1284.52/1283.71	c cleaning 24997 clauses out of 50025 with flag 5190001/5190001
1290.92/1290.18	c cleaning 25008 clauses out of 50029 with flag 5215002/5215002
1297.63/1296.82	c cleaning 24996 clauses out of 50019 with flag 5240000/5240000
1300.83/1300.01	c starts		: 2144
1300.83/1300.01	c conflicts		: 5253211
1300.83/1300.01	c decisions		: 7286821
1300.83/1300.01	c propagations		: 503963789
1300.83/1300.01	c inspects		: 10332954221
1300.83/1300.01	c shortcuts		: 0
1300.83/1300.01	c learnt literals	: 0
1300.83/1300.01	c learnt binary clauses	: 0
1300.83/1300.01	c learnt ternary clauses	: 0
1300.83/1300.01	c learnt constraints	: 5253211
1300.83/1300.01	c ignored constraints	: 0
1300.83/1300.01	c root simplifications	: 2144
1300.83/1300.01	c removed literals (reason simplification)	: 66118084
1300.83/1300.01	c reason swapping (by a shorter reason)	: 0
1300.83/1300.01	c Calls to reduceDB	: 218
1300.83/1300.01	c speed (assignments/second)	: 387745.5952322332
1300.83/1300.01	c non guided choices	383
1300.83/1300.03	c learnt constraints type 
1300.83/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 38256
1300.83/1300.03	c constraints type 
1300.83/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25000
1300.83/1300.03	s UNKNOWN
1300.83/1300.03	c Total wall clock time (in seconds) : 1299.829

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 4.01 4.00 3.37 2/174 14971
/proc/meminfo: memFree=11200276/32951124 swapFree=67110456/67111528
[pid=14971] ppid=14969 vsize=252 CPUtime=0 cores=4,6
/proc/14971/stat : 14971 (java) S 14969 14971 14712 0 -1 4194304 79 0 0 0 0 0 0 0 25 0 1 0 450029196 258048 31 33554432000 1073741824 1073778376 140736871790848 18446744073709551615 224280002183 0 2147483391 4096 0 18446744071699199166 0 0 17 4 0 0 0
/proc/14971/statm: 63 31 24 9 0 22 0

[startup+0.0557799 s]
/proc/loadavg: 4.01 4.00 3.37 2/174 14971
/proc/meminfo: memFree=11200276/32951124 swapFree=67110456/67111528
[pid=14971] ppid=14969 vsize=7564488 CPUtime=0.03 cores=4,6
/proc/14971/stat : 14971 (java) S 14969 14971 14712 0 -1 4202496 8935 0 1 0 2 1 0 0 25 0 13 0 450029196 7746035712 8630 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296728549 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 0
/proc/14971/statm: 1891122 8630 1686 9 0 1881870 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564488

[startup+0.100693 s]
/proc/loadavg: 4.01 4.00 3.37 2/174 14971
/proc/meminfo: memFree=11200276/32951124 swapFree=67110456/67111528
[pid=14971] ppid=14969 vsize=7564488 CPUtime=0.03 cores=4,6
/proc/14971/stat : 14971 (java) S 14969 14971 14712 0 -1 4202496 8962 0 1 0 2 1 0 0 25 0 13 0 450029196 7746035712 8657 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296728549 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 0
/proc/14971/statm: 1891122 8657 1687 9 0 1881870 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564488

[startup+0.300639 s]
/proc/loadavg: 4.01 4.00 3.37 2/174 14971
/proc/meminfo: memFree=11200276/32951124 swapFree=67110456/67111528
[pid=14971] ppid=14969 vsize=7638936 CPUtime=0.28 cores=4,6
/proc/14971/stat : 14971 (java) S 14969 14971 14712 0 -1 4202496 12076 0 1 0 26 2 0 0 25 0 19 0 450029196 7822270464 11529 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14971/statm: 1909734 11529 2196 9 0 1900472 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7638936

[startup+0.700497 s]
/proc/loadavg: 4.01 4.00 3.37 2/174 14971
/proc/meminfo: memFree=11200276/32951124 swapFree=67110456/67111528
[pid=14971] ppid=14969 vsize=7642148 CPUtime=0.88 cores=4,6
/proc/14971/stat : 14971 (java) S 14969 14971 14712 0 -1 4202496 13934 0 1 0 85 3 0 0 25 0 19 0 450029196 7825559552 12731 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14971/statm: 1910537 12731 2223 9 0 1901275 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 7642148

[startup+1.50147 s]
/proc/loadavg: 4.01 4.00 3.38 8/262 15074
/proc/meminfo: memFree=10939276/32951124 swapFree=67110456/67111528
[pid=14971] ppid=14969 vsize=7642244 CPUtime=1.71 cores=4,6
/proc/14971/stat : 14971 (java) S 14969 14971 14712 0 -1 4202496 17101 0 1 0 168 3 0 0 25 0 19 0 450029196 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14971/statm: 1910561 15433 2253 9 0 1901299 0
[pid=14971/tid=14977] ppid=14969 vsize=7642244 CPUtime=1.25 cores=4,6
/proc/14971/task/14977/stat : 14977 (java) R 14969 14971 14712 0 -1 4202560 10622 0 1 0 123 2 0 0 25 0 19 0 450029197 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 46912505357740 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14971/tid=14981] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14981/stat : 14981 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450029199 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14982] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14982/stat : 14982 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450029199 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14983] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14983/stat : 14983 (java) S 14969 14971 14712 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 450029199 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14984] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14984/stat : 14984 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450029199 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14985] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14985/stat : 14985 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450029199 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14986] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14986/stat : 14986 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450029199 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14987] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14987/stat : 14987 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450029199 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14988] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14988/stat : 14988 (java) S 14969 14971 14712 0 -1 4202560 986 0 0 0 0 0 0 0 17 0 19 0 450029199 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14990] ppid=14969 vsize=7642244 CPUtime=0.01 cores=4,6
/proc/14971/task/14990/stat : 14990 (java) S 14969 14971 14712 0 -1 4202560 993 0 0 0 1 0 0 0 17 0 19 0 450029200 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 0 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
[pid=14971/tid=14991] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14991/stat : 14991 (java) S 14969 14971 14712 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450029200 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14992] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14992/stat : 14992 (java) S 14969 14971 14712 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450029200 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14996] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14996/stat : 14996 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450029210 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296749489 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14997] ppid=14969 vsize=7642244 CPUtime=0.21 cores=4,6
/proc/14971/task/14997/stat : 14997 (java) S 14969 14971 14712 0 -1 4202560 726 0 0 0 21 0 0 0 15 0 19 0 450029210 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
[pid=14971/tid=14998] ppid=14969 vsize=7642244 CPUtime=0.2 cores=4,6
/proc/14971/task/14998/stat : 14998 (java) S 14969 14971 14712 0 -1 4202560 2613 0 0 0 20 0 0 0 16 0 19 0 450029210 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15000] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15000/stat : 15000 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450029210 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15001] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15001/stat : 15001 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450029210 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15023] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15023/stat : 15023 (java) S 14969 14971 14712 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 19 0 450029225 7825657856 15433 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 4 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 7642244

[startup+3.10117 s]
/proc/loadavg: 4.01 4.00 3.38 6/262 15074
/proc/meminfo: memFree=10923220/32951124 swapFree=67110456/67111528
[pid=14971] ppid=14969 vsize=7642244 CPUtime=3.32 cores=4,6
/proc/14971/stat : 14971 (java) S 14969 14971 14712 0 -1 4202496 18078 0 1 0 329 3 0 0 25 0 19 0 450029196 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14971/statm: 1910561 16409 2255 9 0 1901299 0
[pid=14971/tid=14977] ppid=14969 vsize=7642244 CPUtime=2.81 cores=4,6
/proc/14971/task/14977/stat : 14977 (java) R 14969 14971 14712 0 -1 4202560 10624 0 1 0 279 2 0 0 25 0 19 0 450029197 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 46912505666778 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14971/tid=14981] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14981/stat : 14981 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450029199 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14982] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14982/stat : 14982 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450029199 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14983] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14983/stat : 14983 (java) S 14969 14971 14712 0 -1 4202560 350 0 0 0 0 0 0 0 16 0 19 0 450029199 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14984] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14984/stat : 14984 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450029199 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14985] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14985/stat : 14985 (java) S 14969 14971 14712 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 19 0 450029199 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14986] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14986/stat : 14986 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450029199 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14987] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14987/stat : 14987 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450029199 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14988] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14988/stat : 14988 (java) S 14969 14971 14712 0 -1 4202560 986 0 0 0 0 0 0 0 15 0 19 0 450029199 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14990] ppid=14969 vsize=7642244 CPUtime=0.03 cores=4,6
/proc/14971/task/14990/stat : 14990 (java) S 14969 14971 14712 0 -1 4202560 1198 0 0 0 3 0 0 0 16 0 19 0 450029200 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 0 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
[pid=14971/tid=14991] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14991/stat : 14991 (java) S 14969 14971 14712 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450029200 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14992] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14992/stat : 14992 (java) S 14969 14971 14712 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450029200 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14996] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14996/stat : 14996 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450029210 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296749489 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14997] ppid=14969 vsize=7642244 CPUtime=0.22 cores=4,6
/proc/14971/task/14997/stat : 14997 (java) S 14969 14971 14712 0 -1 4202560 730 0 0 0 22 0 0 0 16 0 19 0 450029210 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
[pid=14971/tid=14998] ppid=14969 vsize=7642244 CPUtime=0.21 cores=4,6
/proc/14971/task/14998/stat : 14998 (java) S 14969 14971 14712 0 -1 4202560 2615 0 0 0 21 0 0 0 15 0 19 0 450029210 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15000] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15000/stat : 15000 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450029210 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15001] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15001/stat : 15001 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450029210 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15023] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15023/stat : 15023 (java) S 14969 14971 14712 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 19 0 450029225 7825657856 16409 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 4 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 7642244

[startup+6.30164 s]
/proc/loadavg: 4.01 4.00 3.38 6/262 15074
/proc/meminfo: memFree=10904372/32951124 swapFree=67110456/67111528
[pid=14971] ppid=14969 vsize=7642244 CPUtime=6.53 cores=4,6
/proc/14971/stat : 14971 (java) S 14969 14971 14712 0 -1 4202496 18569 0 1 0 649 4 0 0 25 0 19 0 450029196 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14971/statm: 1910561 16896 2255 9 0 1901299 0
[pid=14971/tid=14977] ppid=14969 vsize=7642244 CPUtime=5.93 cores=4,6
/proc/14971/task/14977/stat : 14977 (java) R 14969 14971 14712 0 -1 4202560 10627 0 1 0 591 2 0 0 25 0 19 0 450029197 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 46912505575819 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14971/tid=14981] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14981/stat : 14981 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450029199 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14982] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14982/stat : 14982 (java) S 14969 14971 14712 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 450029199 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14983] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14983/stat : 14983 (java) S 14969 14971 14712 0 -1 4202560 350 0 0 0 0 0 0 0 15 0 19 0 450029199 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14984] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14984/stat : 14984 (java) S 14969 14971 14712 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 19 0 450029199 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14985] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14985/stat : 14985 (java) S 14969 14971 14712 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 19 0 450029199 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14986] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14986/stat : 14986 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450029199 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14987] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14987/stat : 14987 (java) S 14969 14971 14712 0 -1 4202560 275 0 0 0 0 0 0 0 16 0 19 0 450029199 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14988] ppid=14969 vsize=7642244 CPUtime=0.01 cores=4,6
/proc/14971/task/14988/stat : 14988 (java) S 14969 14971 14712 0 -1 4202560 986 0 0 0 1 0 0 0 15 0 19 0 450029199 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14990] ppid=14969 vsize=7642244 CPUtime=0.07 cores=4,6
/proc/14971/task/14990/stat : 14990 (java) S 14969 14971 14712 0 -1 4202560 1344 0 0 0 7 0 0 0 15 0 19 0 450029200 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 0 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
[pid=14971/tid=14991] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14991/stat : 14991 (java) S 14969 14971 14712 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450029200 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14992] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14992/stat : 14992 (java) S 14969 14971 14712 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450029200 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14996] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14996/stat : 14996 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450029210 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296749489 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14997] ppid=14969 vsize=7642244 CPUtime=0.25 cores=4,6
/proc/14971/task/14997/stat : 14997 (java) S 14969 14971 14712 0 -1 4202560 742 0 0 0 25 0 0 0 15 0 19 0 450029210 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
[pid=14971/tid=14998] ppid=14969 vsize=7642244 CPUtime=0.21 cores=4,6
/proc/14971/task/14998/stat : 14998 (java) S 14969 14971 14712 0 -1 4202560 2618 0 0 0 21 0 0 0 15 0 19 0 450029210 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15000] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15000/stat : 15000 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450029210 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15001] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15001/stat : 15001 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450029210 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15023] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15023/stat : 15023 (java) S 14969 14971 14712 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 19 0 450029225 7825657856 16896 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 4 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.53
Current children cumulated vsize (KiB) 7642244

[startup+12.7016 s]

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

[pid=14971/tid=14986] ppid=14969 vsize=7642244 CPUtime=0.14 cores=4,6
/proc/14971/task/14986/stat : 14986 (java) S 14969 14971 14712 0 -1 4202560 859 0 0 0 14 0 0 0 15 0 19 0 450029199 7825657856 25606 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14987] ppid=14969 vsize=7642244 CPUtime=0.13 cores=4,6
/proc/14971/task/14987/stat : 14987 (java) S 14969 14971 14712 0 -1 4202560 617 0 0 0 13 0 0 0 15 0 19 0 450029199 7825657856 25606 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14988] ppid=14969 vsize=7642244 CPUtime=0.16 cores=4,6
/proc/14971/task/14988/stat : 14988 (java) S 14969 14971 14712 0 -1 4202560 1227 0 0 0 16 0 0 0 15 0 19 0 450029199 7825657856 25606 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14990] ppid=14969 vsize=7642244 CPUtime=5.33 cores=4,6
/proc/14971/task/14990/stat : 14990 (java) S 14969 14971 14712 0 -1 4202560 3473 0 0 0 532 1 0 0 15 0 19 0 450029200 7825657856 25606 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 0 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
[pid=14971/tid=14991] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14991/stat : 14991 (java) S 14969 14971 14712 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450029200 7825657856 25606 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14992] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14992/stat : 14992 (java) S 14969 14971 14712 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450029200 7825657856 25606 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14996] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14996/stat : 14996 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450029210 7825657856 25606 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296749489 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14997] ppid=14969 vsize=7642244 CPUtime=0.27 cores=4,6
/proc/14971/task/14997/stat : 14997 (java) S 14969 14971 14712 0 -1 4202560 744 0 0 0 27 0 0 0 15 0 19 0 450029210 7825657856 25606 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
[pid=14971/tid=14998] ppid=14969 vsize=7642244 CPUtime=0.21 cores=4,6
/proc/14971/task/14998/stat : 14998 (java) S 14969 14971 14712 0 -1 4202560 2618 0 0 0 21 0 0 0 15 0 19 0 450029210 7825657856 25606 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15000] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15000/stat : 15000 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450029210 7825657856 25606 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15001] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15001/stat : 15001 (java) S 14969 14971 14712 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 450029210 7825657856 25606 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15023] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15023/stat : 15023 (java) S 14969 14971 14712 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 19 0 450029225 7825657856 25606 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 4 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1123.04
Current children cumulated vsize (KiB) 7642244

[startup+1182.3 s]
/proc/loadavg: 4.01 4.01 3.82 6/262 15115
/proc/meminfo: memFree=10152436/32951124 swapFree=67110456/67111528
[pid=14971] ppid=14969 vsize=7642244 CPUtime=1183.08 cores=4,6
/proc/14971/stat : 14971 (java) S 14969 14971 14712 0 -1 4202496 27790 0 1 0 118300 8 0 0 25 0 19 0 450029196 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14971/statm: 1910561 25781 2256 9 0 1901299 0
[pid=14971/tid=14977] ppid=14969 vsize=7642244 CPUtime=1175.66 cores=4,6
/proc/14971/task/14977/stat : 14977 (java) R 14969 14971 14712 0 -1 4202560 13215 0 1 0 117562 4 0 0 25 0 19 0 450029197 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 46912505593562 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14971/tid=14981] ppid=14969 vsize=7642244 CPUtime=0.14 cores=4,6
/proc/14971/task/14981/stat : 14981 (java) S 14969 14971 14712 0 -1 4202560 360 0 0 0 14 0 0 0 16 0 19 0 450029199 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14982] ppid=14969 vsize=7642244 CPUtime=0.14 cores=4,6
/proc/14971/task/14982/stat : 14982 (java) S 14969 14971 14712 0 -1 4202560 98 0 0 0 14 0 0 0 16 0 19 0 450029199 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14983] ppid=14969 vsize=7642244 CPUtime=0.17 cores=4,6
/proc/14971/task/14983/stat : 14983 (java) S 14969 14971 14712 0 -1 4202560 1555 0 0 0 17 0 0 0 15 0 19 0 450029199 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14984] ppid=14969 vsize=7642244 CPUtime=0.15 cores=4,6
/proc/14971/task/14984/stat : 14984 (java) S 14969 14971 14712 0 -1 4202560 528 0 0 0 15 0 0 0 15 0 19 0 450029199 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14985] ppid=14969 vsize=7642244 CPUtime=0.15 cores=4,6
/proc/14971/task/14985/stat : 14985 (java) S 14969 14971 14712 0 -1 4202560 1172 0 0 0 15 0 0 0 16 0 19 0 450029199 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14986] ppid=14969 vsize=7642244 CPUtime=0.15 cores=4,6
/proc/14971/task/14986/stat : 14986 (java) S 14969 14971 14712 0 -1 4202560 859 0 0 0 15 0 0 0 15 0 19 0 450029199 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14987] ppid=14969 vsize=7642244 CPUtime=0.15 cores=4,6
/proc/14971/task/14987/stat : 14987 (java) S 14969 14971 14712 0 -1 4202560 617 0 0 0 15 0 0 0 15 0 19 0 450029199 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14988] ppid=14969 vsize=7642244 CPUtime=0.17 cores=4,6
/proc/14971/task/14988/stat : 14988 (java) S 14969 14971 14712 0 -1 4202560 1227 0 0 0 17 0 0 0 15 0 19 0 450029199 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14990] ppid=14969 vsize=7642244 CPUtime=5.61 cores=4,6
/proc/14971/task/14990/stat : 14990 (java) S 14969 14971 14712 0 -1 4202560 3576 0 0 0 560 1 0 0 15 0 19 0 450029200 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 0 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
[pid=14971/tid=14991] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14991/stat : 14991 (java) S 14969 14971 14712 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450029200 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14992] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14992/stat : 14992 (java) S 14969 14971 14712 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450029200 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14996] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14996/stat : 14996 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450029210 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296749489 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14997] ppid=14969 vsize=7642244 CPUtime=0.27 cores=4,6
/proc/14971/task/14997/stat : 14997 (java) S 14969 14971 14712 0 -1 4202560 744 0 0 0 27 0 0 0 15 0 19 0 450029210 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
[pid=14971/tid=14998] ppid=14969 vsize=7642244 CPUtime=0.21 cores=4,6
/proc/14971/task/14998/stat : 14998 (java) S 14969 14971 14712 0 -1 4202560 2618 0 0 0 21 0 0 0 15 0 19 0 450029210 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15000] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15000/stat : 15000 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450029210 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15001] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15001/stat : 15001 (java) S 14969 14971 14712 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 450029210 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15023] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15023/stat : 15023 (java) S 14969 14971 14712 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 19 0 450029225 7825657856 25781 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 4 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1183.08
Current children cumulated vsize (KiB) 7642244

[startup+1242.3 s]
/proc/loadavg: 4.08 4.02 3.83 5/262 15117
/proc/meminfo: memFree=10094452/32951124 swapFree=67110456/67111528
[pid=14971] ppid=14969 vsize=7642244 CPUtime=1243.1 cores=4,6
/proc/14971/stat : 14971 (java) S 14969 14971 14712 0 -1 4202496 27955 0 1 0 124302 8 0 0 25 0 19 0 450029196 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14971/statm: 1910561 25929 2256 9 0 1901299 0
[pid=14971/tid=14977] ppid=14969 vsize=7642244 CPUtime=1235.36 cores=4,6
/proc/14971/task/14977/stat : 14977 (java) R 14969 14971 14712 0 -1 4202560 13330 0 1 0 123532 4 0 0 25 0 19 0 450029197 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 46912505575819 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14971/tid=14981] ppid=14969 vsize=7642244 CPUtime=0.14 cores=4,6
/proc/14971/task/14981/stat : 14981 (java) S 14969 14971 14712 0 -1 4202560 360 0 0 0 14 0 0 0 15 0 19 0 450029199 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14982] ppid=14969 vsize=7642244 CPUtime=0.16 cores=4,6
/proc/14971/task/14982/stat : 14982 (java) S 14969 14971 14712 0 -1 4202560 99 0 0 0 16 0 0 0 16 0 19 0 450029199 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14983] ppid=14969 vsize=7642244 CPUtime=0.18 cores=4,6
/proc/14971/task/14983/stat : 14983 (java) S 14969 14971 14712 0 -1 4202560 1555 0 0 0 18 0 0 0 15 0 19 0 450029199 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14984] ppid=14969 vsize=7642244 CPUtime=0.15 cores=4,6
/proc/14971/task/14984/stat : 14984 (java) S 14969 14971 14712 0 -1 4202560 528 0 0 0 15 0 0 0 15 0 19 0 450029199 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14985] ppid=14969 vsize=7642244 CPUtime=0.15 cores=4,6
/proc/14971/task/14985/stat : 14985 (java) S 14969 14971 14712 0 -1 4202560 1172 0 0 0 15 0 0 0 15 0 19 0 450029199 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14986] ppid=14969 vsize=7642244 CPUtime=0.16 cores=4,6
/proc/14971/task/14986/stat : 14986 (java) S 14969 14971 14712 0 -1 4202560 859 0 0 0 16 0 0 0 15 0 19 0 450029199 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14987] ppid=14969 vsize=7642244 CPUtime=0.16 cores=4,6
/proc/14971/task/14987/stat : 14987 (java) S 14969 14971 14712 0 -1 4202560 617 0 0 0 16 0 0 0 15 0 19 0 450029199 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14988] ppid=14969 vsize=7642244 CPUtime=0.18 cores=4,6
/proc/14971/task/14988/stat : 14988 (java) S 14969 14971 14712 0 -1 4202560 1227 0 0 0 18 0 0 0 15 0 19 0 450029199 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14990] ppid=14969 vsize=7642244 CPUtime=5.88 cores=4,6
/proc/14971/task/14990/stat : 14990 (java) S 14969 14971 14712 0 -1 4202560 3621 0 0 0 587 1 0 0 15 0 19 0 450029200 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 0 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
[pid=14971/tid=14991] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14991/stat : 14991 (java) S 14969 14971 14712 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450029200 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14992] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14992/stat : 14992 (java) S 14969 14971 14712 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450029200 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14996] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14996/stat : 14996 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450029210 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296749489 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14997] ppid=14969 vsize=7642244 CPUtime=0.27 cores=4,6
/proc/14971/task/14997/stat : 14997 (java) S 14969 14971 14712 0 -1 4202560 744 0 0 0 27 0 0 0 15 0 19 0 450029210 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
[pid=14971/tid=14998] ppid=14969 vsize=7642244 CPUtime=0.21 cores=4,6
/proc/14971/task/14998/stat : 14998 (java) S 14969 14971 14712 0 -1 4202560 2618 0 0 0 21 0 0 0 15 0 19 0 450029210 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15000] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15000/stat : 15000 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450029210 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15001] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15001/stat : 15001 (java) S 14969 14971 14712 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 450029210 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15023] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15023/stat : 15023 (java) S 14969 14971 14712 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 19 0 450029225 7825657856 25929 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 4 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1243.1
Current children cumulated vsize (KiB) 7642244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.03 4.02 3.84 5/262 15119
/proc/meminfo: memFree=10077900/32951124 swapFree=67110456/67111528
[pid=14971] ppid=14969 vsize=7642244 CPUtime=1300.83 cores=4,6
/proc/14971/stat : 14971 (java) S 14969 14971 14712 0 -1 4202496 28041 0 1 0 130075 8 0 0 25 0 19 0 450029196 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14971/statm: 1910561 26000 2256 9 0 1901299 0
[pid=14971/tid=14977] ppid=14969 vsize=7642244 CPUtime=1292.76 cores=4,6
/proc/14971/task/14977/stat : 14977 (java) R 14969 14971 14712 0 -1 4202560 13339 0 1 0 129272 4 0 0 25 0 19 0 450029197 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 46912505582529 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14971/tid=14981] ppid=14969 vsize=7642244 CPUtime=0.15 cores=4,6
/proc/14971/task/14981/stat : 14981 (java) S 14969 14971 14712 0 -1 4202560 362 0 0 0 15 0 0 0 16 0 19 0 450029199 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14982] ppid=14969 vsize=7642244 CPUtime=0.16 cores=4,6
/proc/14971/task/14982/stat : 14982 (java) S 14969 14971 14712 0 -1 4202560 99 0 0 0 16 0 0 0 15 0 19 0 450029199 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14983] ppid=14969 vsize=7642244 CPUtime=0.19 cores=4,6
/proc/14971/task/14983/stat : 14983 (java) S 14969 14971 14712 0 -1 4202560 1555 0 0 0 19 0 0 0 15 0 19 0 450029199 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14984] ppid=14969 vsize=7642244 CPUtime=0.16 cores=4,6
/proc/14971/task/14984/stat : 14984 (java) S 14969 14971 14712 0 -1 4202560 528 0 0 0 16 0 0 0 15 0 19 0 450029199 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14985] ppid=14969 vsize=7642244 CPUtime=0.17 cores=4,6
/proc/14971/task/14985/stat : 14985 (java) S 14969 14971 14712 0 -1 4202560 1173 0 0 0 17 0 0 0 16 0 19 0 450029199 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14986] ppid=14969 vsize=7642244 CPUtime=0.16 cores=4,6
/proc/14971/task/14986/stat : 14986 (java) S 14969 14971 14712 0 -1 4202560 859 0 0 0 16 0 0 0 15 0 19 0 450029199 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14987] ppid=14969 vsize=7642244 CPUtime=0.17 cores=4,6
/proc/14971/task/14987/stat : 14987 (java) S 14969 14971 14712 0 -1 4202560 617 0 0 0 17 0 0 0 15 0 19 0 450029199 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14988] ppid=14969 vsize=7642244 CPUtime=0.18 cores=4,6
/proc/14971/task/14988/stat : 14988 (java) S 14969 14971 14712 0 -1 4202560 1227 0 0 0 18 0 0 0 15 0 19 0 450029199 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14990] ppid=14969 vsize=7642244 CPUtime=6.15 cores=4,6
/proc/14971/task/14990/stat : 14990 (java) S 14969 14971 14712 0 -1 4202560 3691 0 0 0 614 1 0 0 15 0 19 0 450029200 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 0 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
[pid=14971/tid=14991] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14991/stat : 14991 (java) S 14969 14971 14712 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450029200 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14992] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14992/stat : 14992 (java) S 14969 14971 14712 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 450029200 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14996] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/14996/stat : 14996 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450029210 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296749489 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=14997] ppid=14969 vsize=7642244 CPUtime=0.27 cores=4,6
/proc/14971/task/14997/stat : 14997 (java) S 14969 14971 14712 0 -1 4202560 744 0 0 0 27 0 0 0 15 0 19 0 450029210 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
[pid=14971/tid=14998] ppid=14969 vsize=7642244 CPUtime=0.21 cores=4,6
/proc/14971/task/14998/stat : 14998 (java) S 14969 14971 14712 0 -1 4202560 2618 0 0 0 21 0 0 0 15 0 19 0 450029210 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15000] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15000/stat : 15000 (java) S 14969 14971 14712 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450029210 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296741785 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15001] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15001/stat : 15001 (java) S 14969 14971 14712 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 450029210 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 4 0 16800975 18446604440937035008 0 0 -1 6 0 0 0
[pid=14971/tid=15023] ppid=14969 vsize=7642244 CPUtime=0 cores=4,6
/proc/14971/task/15023/stat : 15023 (java) S 14969 14971 14712 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 19 0 450029225 7825657856 26000 33554432000 1073741824 1073778376 140737411450464 18446744073709551615 224296742400 0 4 0 16800975 18446604440937035008 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1300.83
Current children cumulated vsize (KiB) 7642244

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

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

Child status: 143
Real time (s): 1300.04
CPU time (s): 1300.89
CPU user time (s): 1300.81
CPU system time (s): 0.087986
CPU usage (%): 100.066
Max. virtual memory (cumulated for all children) (KiB): 7642244

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

runsolver used 2.32365 second user time and 4.79427 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-12 10:46:25
IDJOB=3190276
IDBENCH=82607
IDSOLVER=1611
FILE ID=node118/3190276-1302597985
RUNJOBID= node118-1302596683-14731
PBS_JOBID= 12958088
Free space on /tmp= 71920 MiB

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

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

MD5SUM BENCH= 951e2fa38b08f2dfbb0dbb3e8ab83f8d
RANDOM SEED=224955595

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
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.842
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.68
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.842
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11200432 kB
Buffers:        712280 kB
Cached:       20512956 kB
SwapCached:        640 kB
Active:        9698228 kB
Inactive:     11591776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11200432 kB
SwapTotal:    67111528 kB
SwapFree:     67110456 kB
Dirty:             892 kB
Writeback:           0 kB
AnonPages:       64140 kB
Mapped:          14632 kB
Slab:           396468 kB
PageTables:       5128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191204 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= 71908 MiB
End job on node118 at 2011-04-12 11:08:07