Trace number 3190235

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf
MD5SUMe54dff8ae8b71ab472786a7e95ae7d20
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.55861
Satisfiable
(Un)Satisfiability was proved
Number of variables5000
Number of clauses21000
Sum of the clauses size63000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 321000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c no version file found!!!
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.18-164.el5
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		6997539544
0.03/0.08	c Max memory 		7034241024
0.03/0.08	c Total memory 		7034241024
0.03/0.08	c Number of processors 	8
0.08/0.10	c --- Begin Solver configuration ---
0.08/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.08/0.10	c Expensive reason simplification
0.08/0.10	c Armin Biere (Picosat) restarts strategy
0.08/0.10	c Glucose learned constraints deletion strategy
0.08/0.10	c timeout=2147483647s
0.08/0.10	c DB Simplification allowed=true
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3190235-1302597484.cnf
0.08/0.10	c reading problem ... 
0.08/0.19	c ... done. Wall clock time 0.088s.
0.08/0.19	c #vars     5000
0.08/0.19	c #constraints  21000
0.08/0.19	c constraints type 
0.31/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21000
1.76/1.46	c cleaning 2501 clauses out of 5001 with flag 5001/5001
3.25/2.73	c cleaning 4246 clauses out of 8500 with flag 11001/11001
4.76/4.26	c cleaning 5624 clauses out of 11253 with flag 18000/18000
6.56/6.03	c cleaning 6809 clauses out of 13629 with flag 26000/26000
8.56/8.02	c cleaning 7904 clauses out of 15820 with flag 35000/35000
10.76/10.26	c cleaning 8952 clauses out of 17917 with flag 45001/45001
13.26/12.78	c cleaning 9978 clauses out of 19965 with flag 56001/56001
16.17/15.62	c cleaning 10985 clauses out of 21987 with flag 68001/68001
19.17/18.64	c cleaning 11996 clauses out of 24002 with flag 81001/81001
22.58/22.06	c cleaning 12999 clauses out of 26006 with flag 95001/95001
26.28/25.79	c cleaning 13999 clauses out of 28006 with flag 110000/110000
30.28/29.76	c cleaning 15001 clauses out of 30007 with flag 126000/126000
34.69/34.14	c cleaning 15999 clauses out of 32006 with flag 143000/143000
39.29/38.78	c cleaning 16998 clauses out of 34008 with flag 161001/161001
44.30/43.76	c cleaning 17991 clauses out of 36010 with flag 180001/180001
49.70/49.14	c cleaning 19006 clauses out of 38020 with flag 200002/200002
55.51/54.93	c cleaning 19997 clauses out of 40012 with flag 221000/221000
61.20/60.63	c cleaning 20497 clauses out of 41016 with flag 242001/242001
66.81/66.24	c cleaning 20743 clauses out of 41518 with flag 263000/263000
72.51/71.97	c cleaning 20886 clauses out of 41778 with flag 284003/284003
78.31/77.74	c cleaning 20938 clauses out of 41889 with flag 305000/305000
84.01/83.42	c cleaning 20967 clauses out of 41951 with flag 326000/326000
89.82/89.23	c cleaning 20986 clauses out of 41984 with flag 347000/347000
95.72/95.18	c cleaning 20989 clauses out of 41998 with flag 368000/368000
101.32/100.78	c cleaning 20997 clauses out of 42009 with flag 389000/389000
107.23/106.63	c cleaning 20995 clauses out of 42013 with flag 410001/410001
112.83/112.23	c cleaning 21000 clauses out of 42017 with flag 431000/431000
118.73/118.14	c cleaning 21006 clauses out of 42017 with flag 452000/452000
124.34/123.75	c cleaning 20996 clauses out of 42012 with flag 473001/473001
129.94/129.32	c cleaning 20995 clauses out of 42015 with flag 494000/494000
135.74/135.11	c cleaning 21007 clauses out of 42021 with flag 515001/515001
141.35/140.76	c cleaning 20997 clauses out of 42013 with flag 536000/536000
147.25/146.65	c cleaning 20997 clauses out of 42016 with flag 557000/557000
152.95/152.30	c cleaning 21003 clauses out of 42019 with flag 578000/578000
158.65/158.00	c cleaning 21002 clauses out of 42016 with flag 599000/599000
164.56/163.91	c cleaning 21001 clauses out of 42014 with flag 620000/620000
170.16/169.56	c cleaning 20990 clauses out of 42016 with flag 641003/641003
175.96/175.32	c cleaning 20991 clauses out of 42023 with flag 662000/662000
181.96/181.36	c cleaning 21011 clauses out of 42034 with flag 683002/683002
187.57/186.98	c cleaning 20994 clauses out of 42021 with flag 704000/704000
193.27/192.61	c cleaning 21002 clauses out of 42027 with flag 725000/725000
198.97/198.38	c cleaning 20995 clauses out of 42025 with flag 746000/746000
204.87/204.24	c cleaning 21005 clauses out of 42030 with flag 767000/767000
210.57/209.94	c cleaning 21008 clauses out of 42027 with flag 788002/788002
216.29/215.64	c cleaning 20999 clauses out of 42017 with flag 809000/809000
222.29/221.62	c cleaning 21003 clauses out of 42018 with flag 830000/830000
227.99/227.35	c cleaning 20999 clauses out of 42015 with flag 851000/851000
233.60/232.97	c cleaning 20992 clauses out of 42016 with flag 872000/872000
239.30/238.67	c cleaning 20998 clauses out of 42024 with flag 893000/893000
245.30/244.67	c cleaning 21013 clauses out of 42027 with flag 914001/914001
251.01/250.36	c cleaning 20997 clauses out of 42013 with flag 935000/935000
256.81/256.11	c cleaning 21000 clauses out of 42017 with flag 956001/956001
262.52/261.85	c cleaning 21003 clauses out of 42019 with flag 977003/977003
268.41/267.70	c cleaning 20992 clauses out of 42013 with flag 998000/998000
274.32/273.61	c cleaning 21009 clauses out of 42025 with flag 1019004/1019004
279.92/279.20	c cleaning 20998 clauses out of 42012 with flag 1040000/1040000
285.53/284.88	c cleaning 20999 clauses out of 42014 with flag 1061000/1061000
291.33/290.62	c cleaning 20999 clauses out of 42016 with flag 1082001/1082001
297.13/296.48	c cleaning 20983 clauses out of 42016 with flag 1103000/1103000
303.24/302.52	c cleaning 21012 clauses out of 42036 with flag 1124003/1124003
308.83/308.17	c cleaning 21004 clauses out of 42022 with flag 1145001/1145001
314.54/313.83	c cleaning 20998 clauses out of 42019 with flag 1166002/1166002
320.34/319.64	c cleaning 21001 clauses out of 42019 with flag 1187000/1187000
326.25/325.56	c cleaning 20998 clauses out of 42018 with flag 1208000/1208000
332.25/331.59	c cleaning 20995 clauses out of 42020 with flag 1229000/1229000
338.05/337.35	c cleaning 21000 clauses out of 42025 with flag 1250000/1250000
343.75/343.02	c cleaning 21001 clauses out of 42026 with flag 1271001/1271001
349.46/348.75	c cleaning 20998 clauses out of 42026 with flag 1292002/1292002
355.36/354.63	c cleaning 20998 clauses out of 42027 with flag 1313001/1313001
361.16/360.48	c cleaning 21003 clauses out of 42028 with flag 1334000/1334000
367.26/366.54	c cleaning 20997 clauses out of 42025 with flag 1355000/1355000
373.17/372.40	c cleaning 21008 clauses out of 42028 with flag 1376000/1376000
378.87/378.19	c cleaning 21006 clauses out of 42022 with flag 1397002/1397002
384.69/383.96	c cleaning 21004 clauses out of 42015 with flag 1418001/1418001
390.58/389.86	c cleaning 20996 clauses out of 42010 with flag 1439000/1439000
396.49/395.73	c cleaning 20993 clauses out of 42014 with flag 1460000/1460000
402.39/401.65	c cleaning 20996 clauses out of 42021 with flag 1481000/1481000
408.59/407.85	c cleaning 21004 clauses out of 42026 with flag 1502001/1502001
414.30/413.57	c cleaning 20997 clauses out of 42021 with flag 1523000/1523000
420.10/419.34	c cleaning 20999 clauses out of 42025 with flag 1544001/1544001
426.40/425.68	c cleaning 21000 clauses out of 42026 with flag 1565001/1565001
432.60/431.89	c cleaning 21005 clauses out of 42027 with flag 1586002/1586002
439.20/438.48	c cleaning 21001 clauses out of 42020 with flag 1607000/1607000
445.80/445.00	c cleaning 21000 clauses out of 42019 with flag 1628000/1628000
451.81/451.07	c cleaning 20999 clauses out of 42020 with flag 1649001/1649001
457.81/457.00	c cleaning 21001 clauses out of 42021 with flag 1670001/1670001
463.41/462.67	c cleaning 21004 clauses out of 42019 with flag 1691000/1691000
469.32/468.55	c cleaning 20995 clauses out of 42017 with flag 1712002/1712002
475.22/474.46	c cleaning 21001 clauses out of 42021 with flag 1733001/1733001
481.12/480.31	c cleaning 21000 clauses out of 42021 with flag 1754002/1754002
487.12/486.36	c cleaning 20998 clauses out of 42019 with flag 1775000/1775000
493.42/492.64	c cleaning 20985 clauses out of 42021 with flag 1796000/1796000
499.93/499.14	c cleaning 21010 clauses out of 42037 with flag 1817001/1817001
506.03/505.29	c cleaning 21004 clauses out of 42026 with flag 1838000/1838000
511.73/510.98	c cleaning 21002 clauses out of 42023 with flag 1859001/1859001
517.54/516.78	c cleaning 21004 clauses out of 42024 with flag 1880004/1880004
523.44/522.69	c cleaning 21003 clauses out of 42017 with flag 1901001/1901001
529.34/528.55	c cleaning 20995 clauses out of 42015 with flag 1922002/1922002
535.45/534.69	c cleaning 21006 clauses out of 42019 with flag 1943001/1943001
541.55/540.78	c cleaning 20987 clauses out of 42012 with flag 1964000/1964000
547.75/546.98	c cleaning 21009 clauses out of 42026 with flag 1985001/1985001
553.96/553.15	c cleaning 20989 clauses out of 42016 with flag 2006000/2006000
560.06/559.24	c cleaning 21010 clauses out of 42028 with flag 2027001/2027001
565.76/564.94	c cleaning 20997 clauses out of 42017 with flag 2048000/2048000
571.46/570.68	c cleaning 21002 clauses out of 42020 with flag 2069000/2069000
577.37/576.53	c cleaning 20995 clauses out of 42019 with flag 2090001/2090001
583.37/582.51	c cleaning 20998 clauses out of 42024 with flag 2111001/2111001
589.57/588.75	c cleaning 21009 clauses out of 42026 with flag 2132001/2132001
595.77/594.95	c cleaning 20995 clauses out of 42016 with flag 2153000/2153000
601.78/600.94	c cleaning 21000 clauses out of 42022 with flag 2174001/2174001
608.09/607.25	c cleaning 20987 clauses out of 42021 with flag 2195000/2195000
614.28/613.40	c cleaning 21001 clauses out of 42034 with flag 2216000/2216000
620.20/619.33	c cleaning 21011 clauses out of 42033 with flag 2237000/2237000
625.90/625.02	c cleaning 20995 clauses out of 42022 with flag 2258000/2258000
631.60/630.74	c cleaning 21003 clauses out of 42027 with flag 2279000/2279000
637.60/636.73	c cleaning 20997 clauses out of 42025 with flag 2300001/2300001
643.50/642.61	c cleaning 20990 clauses out of 42028 with flag 2321001/2321001
649.41/648.59	c cleaning 21012 clauses out of 42039 with flag 2342002/2342002
655.61/654.74	c cleaning 21010 clauses out of 42027 with flag 2363002/2363002
661.71/660.87	c cleaning 20992 clauses out of 42015 with flag 2384000/2384000
668.11/667.21	c cleaning 20991 clauses out of 42023 with flag 2405000/2405000
674.42/673.53	c cleaning 21000 clauses out of 42032 with flag 2426000/2426000
680.82/679.94	c cleaning 21006 clauses out of 42033 with flag 2447001/2447001
686.72/685.82	c cleaning 21001 clauses out of 42026 with flag 2468000/2468000
692.43/691.52	c cleaning 20995 clauses out of 42025 with flag 2489000/2489000
698.33/697.42	c cleaning 21011 clauses out of 42031 with flag 2510001/2510001
704.13/703.22	c cleaning 21000 clauses out of 42019 with flag 2531000/2531000
710.14/709.25	c cleaning 20994 clauses out of 42019 with flag 2552000/2552000
716.04/715.15	c cleaning 21000 clauses out of 42025 with flag 2573000/2573000
722.14/721.20	c cleaning 21001 clauses out of 42025 with flag 2594000/2594000
728.25/727.40	c cleaning 21002 clauses out of 42024 with flag 2615000/2615000
734.75/733.80	c cleaning 20996 clauses out of 42022 with flag 2636000/2636000
741.55/740.67	c cleaning 21003 clauses out of 42026 with flag 2657000/2657000
748.36/747.47	c cleaning 21004 clauses out of 42023 with flag 2678000/2678000
755.26/754.30	c cleaning 20996 clauses out of 42022 with flag 2699003/2699003
760.97/760.10	c cleaning 21008 clauses out of 42025 with flag 2720002/2720002
766.77/765.83	c cleaning 21004 clauses out of 42019 with flag 2741004/2741004
772.57/771.68	c cleaning 20997 clauses out of 42011 with flag 2762000/2762000
778.58/777.68	c cleaning 20993 clauses out of 42017 with flag 2783003/2783003
784.58/783.64	c cleaning 20985 clauses out of 42021 with flag 2804000/2804000
790.79/789.87	c cleaning 21002 clauses out of 42036 with flag 2825000/2825000
796.78/795.87	c cleaning 21007 clauses out of 42037 with flag 2846003/2846003
803.09/802.13	c cleaning 20982 clauses out of 42028 with flag 2867001/2867001
809.59/808.67	c cleaning 21011 clauses out of 42046 with flag 2888001/2888001
816.19/815.29	c cleaning 21010 clauses out of 42034 with flag 2909000/2909000
823.00/822.07	c cleaning 21008 clauses out of 42026 with flag 2930002/2930002
830.00/829.08	c cleaning 21001 clauses out of 42016 with flag 2951000/2951000
837.31/836.30	c cleaning 20993 clauses out of 42015 with flag 2972000/2972000
843.21/842.22	c cleaning 21000 clauses out of 42022 with flag 2993000/2993000
848.82/847.84	c cleaning 21000 clauses out of 42022 with flag 3014000/3014000
854.63/853.67	c cleaning 21006 clauses out of 42023 with flag 3035001/3035001
860.53/859.58	c cleaning 20997 clauses out of 42016 with flag 3056000/3056000
866.64/865.62	c cleaning 21005 clauses out of 42019 with flag 3077000/3077000
872.54/871.60	c cleaning 21005 clauses out of 42016 with flag 3098002/3098002
878.85/877.87	c cleaning 20996 clauses out of 42011 with flag 3119002/3119002
885.14/884.16	c cleaning 20997 clauses out of 42013 with flag 3140000/3140000
891.35/890.38	c cleaning 20994 clauses out of 42016 with flag 3161000/3161000
897.85/896.88	c cleaning 21003 clauses out of 42023 with flag 3182001/3182001
904.35/903.32	c cleaning 20992 clauses out of 42019 with flag 3203000/3203000
910.86/909.87	c cleaning 20988 clauses out of 42027 with flag 3224000/3224000
917.46/916.40	c cleaning 20999 clauses out of 42039 with flag 3245000/3245000
923.56/922.55	c cleaning 21004 clauses out of 42040 with flag 3266000/3266000
929.97/928.97	c cleaning 21010 clauses out of 42036 with flag 3287000/3287000
935.77/934.73	c cleaning 21008 clauses out of 42027 with flag 3308001/3308001
941.58/940.52	c cleaning 20999 clauses out of 42018 with flag 3329000/3329000
947.38/946.30	c cleaning 20993 clauses out of 42020 with flag 3350001/3350001
953.28/952.25	c cleaning 21005 clauses out of 42026 with flag 3371000/3371000
959.28/958.26	c cleaning 20985 clauses out of 42021 with flag 3392000/3392000
965.39/964.33	c cleaning 21010 clauses out of 42036 with flag 3413000/3413000
971.59/970.50	c cleaning 20989 clauses out of 42026 with flag 3434000/3434000
977.99/976.91	c cleaning 21017 clauses out of 42041 with flag 3455004/3455004
984.10/983.06	c cleaning 21001 clauses out of 42020 with flag 3476000/3476000
990.30/989.24	c cleaning 20987 clauses out of 42019 with flag 3497000/3497000
996.51/995.43	c cleaning 21006 clauses out of 42032 with flag 3518000/3518000
1002.71/1001.62	c cleaning 21006 clauses out of 42026 with flag 3539000/3539000
1009.11/1008.01	c cleaning 20989 clauses out of 42021 with flag 3560001/3560001
1015.92/1014.85	c cleaning 21008 clauses out of 42033 with flag 3581002/3581002
1022.72/1021.69	c cleaning 21000 clauses out of 42025 with flag 3602002/3602002
1029.13/1028.03	c cleaning 21008 clauses out of 42025 with flag 3623002/3623002
1034.83/1033.78	c cleaning 21003 clauses out of 42018 with flag 3644003/3644003
1040.64/1039.59	c cleaning 20991 clauses out of 42012 with flag 3665000/3665000
1046.53/1045.49	c cleaning 21008 clauses out of 42021 with flag 3686000/3686000
1052.64/1051.59	c cleaning 20999 clauses out of 42014 with flag 3707001/3707001
1059.05/1057.92	c cleaning 21000 clauses out of 42014 with flag 3728000/3728000
1065.26/1064.10	c cleaning 20995 clauses out of 42014 with flag 3749000/3749000
1071.37/1070.23	c cleaning 21000 clauses out of 42019 with flag 3770000/3770000
1077.86/1076.76	c cleaning 21002 clauses out of 42019 with flag 3791000/3791000
1084.17/1083.01	c cleaning 20995 clauses out of 42017 with flag 3812000/3812000
1090.37/1089.29	c cleaning 20999 clauses out of 42022 with flag 3833000/3833000
1096.57/1095.43	c cleaning 21002 clauses out of 42024 with flag 3854001/3854001
1102.78/1101.66	c cleaning 20990 clauses out of 42021 with flag 3875000/3875000
1109.18/1108.00	c cleaning 21002 clauses out of 42032 with flag 3896001/3896001
1116.08/1114.91	c cleaning 21003 clauses out of 42029 with flag 3917000/3917000
1122.89/1121.77	c cleaning 20993 clauses out of 42026 with flag 3938000/3938000
1129.19/1128.01	c cleaning 20994 clauses out of 42033 with flag 3959000/3959000
1135.99/1134.82	c cleaning 21002 clauses out of 42042 with flag 3980003/3980003
1141.80/1140.68	c cleaning 21007 clauses out of 42037 with flag 4001000/4001000
1147.70/1146.55	c cleaning 21002 clauses out of 42031 with flag 4022001/4022001
1153.50/1152.37	c cleaning 20995 clauses out of 42028 with flag 4043000/4043000
1159.51/1158.38	c cleaning 21003 clauses out of 42034 with flag 4064001/4064001
1165.61/1164.46	c cleaning 21007 clauses out of 42030 with flag 4085000/4085000
1171.71/1170.55	c cleaning 20985 clauses out of 42024 with flag 4106001/4106001
1177.82/1176.63	c cleaning 21009 clauses out of 42038 with flag 4127000/4127000
1184.02/1182.84	c cleaning 21000 clauses out of 42030 with flag 4148001/4148001
1190.43/1189.22	c cleaning 21013 clauses out of 42030 with flag 4169001/4169001
1197.03/1195.80	c cleaning 20989 clauses out of 42016 with flag 4190000/4190000
1203.54/1202.38	c cleaning 21004 clauses out of 42027 with flag 4211000/4211000
1210.34/1209.19	c cleaning 21007 clauses out of 42024 with flag 4232001/4232001
1217.24/1216.10	c cleaning 20980 clauses out of 42016 with flag 4253000/4253000
1223.75/1222.54	c cleaning 20988 clauses out of 42037 with flag 4274001/4274001
1229.96/1228.76	c cleaning 21010 clauses out of 42049 with flag 4295001/4295001
1236.66/1235.45	c cleaning 21002 clauses out of 42038 with flag 4316000/4316000
1243.46/1242.29	c cleaning 21006 clauses out of 42036 with flag 4337000/4337000
1249.67/1248.49	c cleaning 21009 clauses out of 42031 with flag 4358001/4358001
1256.47/1255.27	c cleaning 20996 clauses out of 42021 with flag 4379000/4379000
1262.47/1261.26	c cleaning 21006 clauses out of 42026 with flag 4400001/4400001
1268.17/1266.98	c cleaning 21000 clauses out of 42019 with flag 4421000/4421000
1274.08/1272.80	c cleaning 20990 clauses out of 42020 with flag 4442001/4442001
1279.98/1278.75	c cleaning 20997 clauses out of 42029 with flag 4463000/4463000
1285.99/1284.74	c cleaning 21007 clauses out of 42033 with flag 4484001/4484001
1292.09/1290.88	c cleaning 21003 clauses out of 42025 with flag 4505000/4505000
1298.29/1297.00	c cleaning 20998 clauses out of 42022 with flag 4526000/4526000
1301.30/1300.01	c starts		: 2069
1301.30/1300.01	c conflicts		: 4536698
1301.30/1300.01	c decisions		: 6849826
1301.30/1300.01	c propagations		: 1472450553
1301.30/1300.01	c inspects		: 7347814841
1301.30/1300.01	c shortcuts		: 0
1301.30/1300.01	c learnt literals	: 0
1301.30/1300.01	c learnt binary clauses	: 0
1301.30/1300.01	c learnt ternary clauses	: 73
1301.30/1300.01	c learnt constraints	: 4536697
1301.30/1300.01	c ignored constraints	: 0
1301.30/1300.01	c root simplifications	: 2069
1301.30/1300.01	c removed literals (reason simplification)	: 80228471
1301.30/1300.01	c reason swapping (by a shorter reason)	: 0
1301.30/1300.01	c Calls to reduceDB	: 222
1301.30/1300.01	c speed (assignments/second)	: 1132816.3514164335
1301.30/1300.01	c non guided choices	494
1301.30/1300.04	c learnt constraints type 
1301.30/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 31788
1301.30/1300.04	c constraints type 
1301.30/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21000
1301.30/1300.04	s UNKNOWN
1301.30/1300.04	c Total wall clock time (in seconds) : 1299.905

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-3190235-1302597484/watcher-3190235-1302597484 -o /tmp/evaluation-result-3190235-1302597484/solver-3190235-1302597484 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190235-1302597484.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: 7.99 7.71 5.73 2/210 19976
/proc/meminfo: memFree=15613160/32950928 swapFree=67111524/67111528
[pid=19976] ppid=19974 vsize=24056 CPUtime=0 cores=4,6
/proc/19976/stat : 19976 (java) S 19974 19976 19898 0 -1 4202496 1151 0 0 0 0 0 0 0 25 0 2 0 449979040 24633344 884 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427194341 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/19976/statm: 6535 888 674 9 0 381 0
[pid=19976/tid=19977] ppid=19974 vsize=26088 CPUtime=0 cores=4,6
/proc/19976/task/19977/stat : 19977 (java) D 19974 19976 19898 0 -1 4202560 51 0 0 0 0 0 0 0 25 0 2 0 449979040 26714112 894 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256415387653 0 0 4096 0 0 0 0 -1 4 0 0 0

[startup+0.042514 s]
/proc/loadavg: 7.99 7.71 5.73 2/210 19976
/proc/meminfo: memFree=15613160/32950928 swapFree=67111524/67111528
[pid=19976] ppid=19974 vsize=7564352 CPUtime=0.03 cores=4,6
/proc/19976/stat : 19976 (java) S 19974 19976 19898 0 -1 4202496 8818 0 1 0 2 1 0 0 25 0 13 0 449979040 7745896448 8511 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/19976/statm: 1891088 8511 1677 9 0 1881836 0
[pid=19976/tid=19977] ppid=19974 vsize=7564352 CPUtime=0.03 cores=4,6
/proc/19976/task/19977/stat : 19977 (java) R 19974 19976 19898 0 -1 4202560 7667 0 1 0 2 1 0 0 20 0 13 0 449979040 7745896448 8511 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 46912505170474 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564352

[startup+0.104464 s]
/proc/loadavg: 7.99 7.71 5.73 2/210 19976
/proc/meminfo: memFree=15613160/32950928 swapFree=67111524/67111528
[pid=19976] ppid=19974 vsize=7636240 CPUtime=0.08 cores=4,6
/proc/19976/stat : 19976 (java) S 19974 19976 19898 0 -1 4202496 10223 0 2 0 7 1 0 0 25 0 18 0 449979040 7819509760 9917 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19976/statm: 1909060 9919 2086 9 0 1899798 0
[pid=19976/tid=19977] ppid=19974 vsize=7636240 CPUtime=0.07 cores=4,6
/proc/19976/task/19977/stat : 19977 (java) R 19974 19976 19898 0 -1 4202560 8506 0 1 0 6 1 0 0 18 0 18 0 449979040 7819509760 9919 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 47916172910072 0 4 0 16800975 0 0 0 -1 4 0 0 1
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7636240

[startup+0.33638 s]
/proc/loadavg: 7.99 7.71 5.73 2/210 19976
/proc/meminfo: memFree=15613160/32950928 swapFree=67111524/67111528
[pid=19976] ppid=19974 vsize=7641556 CPUtime=0.53 cores=4,6
/proc/19976/stat : 19976 (java) S 19974 19976 19898 0 -1 4202496 13156 0 2 0 51 2 0 0 25 0 19 0 449979040 7824953344 12064 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19976/statm: 1910389 12064 2221 9 0 1901127 0
[pid=19976/tid=19977] ppid=19974 vsize=7641556 CPUtime=0.29 cores=4,6
/proc/19976/task/19977/stat : 19977 (java) R 19974 19976 19898 0 -1 4202560 9475 0 1 0 28 1 0 0 19 0 19 0 449979040 7824953344 12064 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 46912505121138 0 4 0 16800975 0 0 0 -1 4 0 0 1
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 7641556

[startup+0.700422 s]
/proc/loadavg: 7.99 7.71 5.73 2/210 19976
/proc/meminfo: memFree=15613160/32950928 swapFree=67111524/67111528
[pid=19976] ppid=19974 vsize=7641556 CPUtime=1.02 cores=4,6
/proc/19976/stat : 19976 (java) S 19974 19976 19898 0 -1 4202496 13418 0 2 0 100 2 0 0 25 0 19 0 449979040 7824953344 12326 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19976/statm: 1910389 12326 2223 9 0 1901127 0
[pid=19976/tid=19977] ppid=19974 vsize=7641556 CPUtime=0.64 cores=4,6
/proc/19976/task/19977/stat : 19977 (java) R 19974 19976 19898 0 -1 4202560 9688 0 1 0 63 1 0 0 19 0 19 0 449979040 7824953344 12326 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 46912505686272 0 4 0 16800975 0 0 0 -1 4 0 0 1
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 7641556

[startup+1.50125 s]
/proc/loadavg: 7.99 7.71 5.73 5/262 20031
/proc/meminfo: memFree=15465868/32950928 swapFree=67111524/67111528
[pid=19976] ppid=19974 vsize=7644632 CPUtime=1.9 cores=4,6
/proc/19976/stat : 19976 (java) S 19974 19976 19898 0 -1 4202496 16973 0 2 0 188 2 0 0 25 0 19 0 449979040 7828103168 15009 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19976/statm: 1911158 15021 2248 9 0 1901896 0
[pid=19976/tid=19977] ppid=19974 vsize=7644632 CPUtime=1.4 cores=4,6
/proc/19976/task/19977/stat : 19977 (java) S 19974 19976 19898 0 -1 4202560 10165 0 1 0 139 1 0 0 18 0 19 0 449979040 7828103168 15026 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 1
[pid=19976/tid=19979] ppid=19974 vsize=7644632 CPUtime=0 cores=4,6
/proc/19976/task/19979/stat : 19979 (java) S 19974 19976 19898 0 -1 4202560 351 0 0 0 0 0 0 0 18 0 19 0 449979042 7828103168 15032 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=7644632 CPUtime=0 cores=4,6
/proc/19976/task/19980/stat : 19980 (java) S 19974 19976 19898 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 19 0 449979042 7828103168 15039 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19981] ppid=19974 vsize=7644632 CPUtime=0 cores=4,6
/proc/19976/task/19981/stat : 19981 (java) R 19974 19976 19898 0 -1 4202560 37 0 0 0 0 0 0 0 18 0 19 0 449979042 7828103168 15045 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19976/tid=19982] ppid=19974 vsize=7644632 CPUtime=0 cores=4,6
/proc/19976/task/19982/stat : 19982 (java) S 19974 19976 19898 0 -1 4202560 133 0 0 0 0 0 0 0 18 0 19 0 449979042 7828103168 15052 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=19983] ppid=19974 vsize=7644632 CPUtime=0 cores=4,6
/proc/19976/task/19983/stat : 19983 (java) S 19974 19976 19898 0 -1 4202560 36 0 0 0 0 0 0 0 18 0 19 0 449979042 7828103168 15061 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19984] ppid=19974 vsize=7644632 CPUtime=0 cores=4,6
/proc/19976/task/19984/stat : 19984 (java) S 19974 19976 19898 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 449979042 7828103168 15067 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=19985] ppid=19974 vsize=7644632 CPUtime=0 cores=4,6
/proc/19976/task/19985/stat : 19985 (java) S 19974 19976 19898 0 -1 4202560 117 0 0 0 0 0 0 0 18 0 19 0 449979042 7828103168 15072 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=19986] ppid=19974 vsize=7644632 CPUtime=0 cores=4,6
/proc/19976/task/19986/stat : 19986 (java) S 19974 19976 19898 0 -1 4202560 218 0 0 0 0 0 0 0 18 0 19 0 449979042 7828103168 15078 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=19987] ppid=19974 vsize=7644632 CPUtime=0.01 cores=4,6
/proc/19976/task/19987/stat : 19987 (java) R 19974 19976 19898 0 -1 4202560 620 0 0 0 1 0 0 0 15 0 19 0 449979043 7828103168 15084 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256415089304 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=19976/tid=19988] ppid=19974 vsize=7644632 CPUtime=0 cores=4,6
/proc/19976/task/19988/stat : 19988 (java) S 19974 19976 19898 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 449979043 7828103168 15090 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19989] ppid=19974 vsize=7644632 CPUtime=0 cores=4,6
/proc/19976/task/19989/stat : 19989 (java) S 19974 19976 19898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 449979043 7828103168 15096 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20000] ppid=19974 vsize=7644632 CPUtime=0 cores=4,6
/proc/19976/task/20000/stat : 20000 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 449979045 7828103168 15102 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427215281 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20001] ppid=19974 vsize=7644632 CPUtime=0.03 cores=4,6
/proc/19976/task/20001/stat : 20001 (java) S 19974 19976 19898 0 -1 4202560 166 0 0 0 3 0 0 0 18 0 19 0 449979045 7828103168 15107 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20002] ppid=19974 vsize=7644632 CPUtime=0.42 cores=4,6
/proc/19976/task/20002/stat : 20002 (java) S 19974 19976 19898 0 -1 4202560 3998 0 1 0 42 0 0 0 16 0 19 0 449979045 7828103168 15113 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20003] ppid=19974 vsize=7644632 CPUtime=0 cores=4,6
/proc/19976/task/20003/stat : 20003 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 449979045 7828103168 15119 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20004] ppid=19974 vsize=7644632 CPUtime=0 cores=4,6
/proc/19976/task/20004/stat : 20004 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449979045 7828103168 15124 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20029] ppid=19974 vsize=7644632 CPUtime=0 cores=4,6
/proc/19976/task/20029/stat : 20029 (java) S 19974 19976 19898 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 449979061 7828103168 15130 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 7644632

[startup+3.10096 s]
/proc/loadavg: 7.67 7.65 5.72 5/262 20031
/proc/meminfo: memFree=15420980/32950928 swapFree=67111524/67111528
[pid=19976] ppid=19974 vsize=7664992 CPUtime=3.66 cores=4,6
/proc/19976/stat : 19976 (java) S 19974 19976 19898 0 -1 4202496 24510 0 2 0 363 3 0 0 25 0 19 0 449979040 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19976/statm: 1916248 20979 2254 9 0 1906986 0
[pid=19976/tid=19977] ppid=19974 vsize=7664992 CPUtime=2.95 cores=4,6
/proc/19976/task/19977/stat : 19977 (java) R 19974 19976 19898 0 -1 4202560 10167 0 1 0 294 1 0 0 19 0 19 0 449979040 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 46912505592187 0 4 0 16800975 0 0 0 -1 4 0 0 1
[pid=19976/tid=19979] ppid=19974 vsize=7664992 CPUtime=0 cores=4,6
/proc/19976/task/19979/stat : 19979 (java) S 19974 19976 19898 0 -1 4202560 351 0 0 0 0 0 0 0 15 0 19 0 449979042 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=7664992 CPUtime=0 cores=4,6
/proc/19976/task/19980/stat : 19980 (java) S 19974 19976 19898 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 449979042 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19981] ppid=19974 vsize=7664992 CPUtime=0 cores=4,6
/proc/19976/task/19981/stat : 19981 (java) S 19974 19976 19898 0 -1 4202560 379 0 0 0 0 0 0 0 15 0 19 0 449979042 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19982] ppid=19974 vsize=7664992 CPUtime=0 cores=4,6
/proc/19976/task/19982/stat : 19982 (java) S 19974 19976 19898 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 449979042 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19983] ppid=19974 vsize=7664992 CPUtime=0 cores=4,6
/proc/19976/task/19983/stat : 19983 (java) S 19974 19976 19898 0 -1 4202560 393 0 0 0 0 0 0 0 15 0 19 0 449979042 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19984] ppid=19974 vsize=7664992 CPUtime=0 cores=4,6
/proc/19976/task/19984/stat : 19984 (java) S 19974 19976 19898 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 449979042 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19985] ppid=19974 vsize=7664992 CPUtime=0 cores=4,6
/proc/19976/task/19985/stat : 19985 (java) S 19974 19976 19898 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 19 0 449979042 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=19986] ppid=19974 vsize=7664992 CPUtime=0 cores=4,6
/proc/19976/task/19986/stat : 19986 (java) S 19974 19976 19898 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 449979042 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19987] ppid=19974 vsize=7664992 CPUtime=0.03 cores=4,6
/proc/19976/task/19987/stat : 19987 (java) S 19974 19976 19898 0 -1 4202560 1119 0 0 0 3 0 0 0 16 0 19 0 449979043 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 0 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=19988] ppid=19974 vsize=7664992 CPUtime=0 cores=4,6
/proc/19976/task/19988/stat : 19988 (java) S 19974 19976 19898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449979043 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19989] ppid=19974 vsize=7664992 CPUtime=0 cores=4,6
/proc/19976/task/19989/stat : 19989 (java) S 19974 19976 19898 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449979043 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20000] ppid=19974 vsize=7664992 CPUtime=0 cores=4,6
/proc/19976/task/20000/stat : 20000 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 449979045 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427215281 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20001] ppid=19974 vsize=7664992 CPUtime=0.05 cores=4,6
/proc/19976/task/20001/stat : 20001 (java) S 19974 19976 19898 0 -1 4202560 168 0 0 0 5 0 0 0 15 0 19 0 449979045 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20002] ppid=19974 vsize=7664992 CPUtime=0.57 cores=4,6
/proc/19976/task/20002/stat : 20002 (java) S 19974 19976 19898 0 -1 4202560 10254 0 1 0 56 1 0 0 15 0 19 0 449979045 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20003] ppid=19974 vsize=7664992 CPUtime=0 cores=4,6
/proc/19976/task/20003/stat : 20003 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 449979045 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20004] ppid=19974 vsize=7664992 CPUtime=0 cores=4,6
/proc/19976/task/20004/stat : 20004 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449979045 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20029] ppid=19974 vsize=7664992 CPUtime=0 cores=4,6
/proc/19976/task/20029/stat : 20029 (java) S 19974 19976 19898 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 449979061 7848951808 20979 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 7664992

[startup+6.30134 s]
/proc/loadavg: 7.67 7.65 5.72 5/262 20031
/proc/meminfo: memFree=15408620/32950928 swapFree=67111524/67111528
[pid=19976] ppid=19974 vsize=7659772 CPUtime=6.86 cores=4,6
/proc/19976/stat : 19976 (java) S 19974 19976 19898 0 -1 4202496 24907 0 2 0 683 3 0 0 25 0 19 0 449979040 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19976/statm: 1914943 20506 2254 9 0 1905681 0
[pid=19976/tid=19977] ppid=19974 vsize=7659772 CPUtime=6.07 cores=4,6
/proc/19976/task/19977/stat : 19977 (java) R 19974 19976 19898 0 -1 4202560 10171 0 1 0 606 1 0 0 25 0 19 0 449979040 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 46912505583873 0 4 0 16800975 0 0 0 -1 4 0 0 1
[pid=19976/tid=19979] ppid=19974 vsize=7659772 CPUtime=0 cores=4,6
/proc/19976/task/19979/stat : 19979 (java) S 19974 19976 19898 0 -1 4202560 351 0 0 0 0 0 0 0 15 0 19 0 449979042 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=7659772 CPUtime=0 cores=4,6
/proc/19976/task/19980/stat : 19980 (java) S 19974 19976 19898 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 449979042 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19981] ppid=19974 vsize=7659772 CPUtime=0 cores=4,6
/proc/19976/task/19981/stat : 19981 (java) S 19974 19976 19898 0 -1 4202560 428 0 0 0 0 0 0 0 15 0 19 0 449979042 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19982] ppid=19974 vsize=7659772 CPUtime=0 cores=4,6
/proc/19976/task/19982/stat : 19982 (java) S 19974 19976 19898 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 449979042 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19983] ppid=19974 vsize=7659772 CPUtime=0 cores=4,6
/proc/19976/task/19983/stat : 19983 (java) S 19974 19976 19898 0 -1 4202560 393 0 0 0 0 0 0 0 15 0 19 0 449979042 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19984] ppid=19974 vsize=7659772 CPUtime=0 cores=4,6
/proc/19976/task/19984/stat : 19984 (java) S 19974 19976 19898 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 449979042 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19985] ppid=19974 vsize=7659772 CPUtime=0 cores=4,6
/proc/19976/task/19985/stat : 19985 (java) S 19974 19976 19898 0 -1 4202560 312 0 0 0 0 0 0 0 15 0 19 0 449979042 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=19986] ppid=19974 vsize=7659772 CPUtime=0 cores=4,6
/proc/19976/task/19986/stat : 19986 (java) S 19974 19976 19898 0 -1 4202560 223 0 0 0 0 0 0 0 15 0 19 0 449979042 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19987] ppid=19974 vsize=7659772 CPUtime=0.08 cores=4,6
/proc/19976/task/19987/stat : 19987 (java) S 19974 19976 19898 0 -1 4202560 1258 0 0 0 8 0 0 0 16 0 19 0 449979043 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 0 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=19988] ppid=19974 vsize=7659772 CPUtime=0 cores=4,6
/proc/19976/task/19988/stat : 19988 (java) S 19974 19976 19898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449979043 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19989] ppid=19974 vsize=7659772 CPUtime=0 cores=4,6
/proc/19976/task/19989/stat : 19989 (java) S 19974 19976 19898 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449979043 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20000] ppid=19974 vsize=7659772 CPUtime=0 cores=4,6
/proc/19976/task/20000/stat : 20000 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 449979045 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427215281 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20001] ppid=19974 vsize=7659772 CPUtime=0.09 cores=4,6
/proc/19976/task/20001/stat : 20001 (java) S 19974 19976 19898 0 -1 4202560 173 0 0 0 9 0 0 0 15 0 19 0 449979045 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20002] ppid=19974 vsize=7659772 CPUtime=0.57 cores=4,6
/proc/19976/task/20002/stat : 20002 (java) S 19974 19976 19898 0 -1 4202560 10254 0 1 0 56 1 0 0 15 0 19 0 449979045 7843606528 20506 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0

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

[pid=19976/tid=19984] ppid=19974 vsize=7656400 CPUtime=0.14 cores=4,6
/proc/19976/task/19984/stat : 19984 (java) S 19974 19976 19898 0 -1 4202560 173 0 0 0 14 0 0 0 16 0 19 0 449979042 7840153600 26076 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19985] ppid=19974 vsize=7656400 CPUtime=0.15 cores=4,6
/proc/19976/task/19985/stat : 19985 (java) S 19974 19976 19898 0 -1 4202560 350 0 0 0 15 0 0 0 16 0 19 0 449979042 7840153600 26076 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19986] ppid=19974 vsize=7656400 CPUtime=0.15 cores=4,6
/proc/19976/task/19986/stat : 19986 (java) S 19974 19976 19898 0 -1 4202560 233 0 0 0 15 0 0 0 15 0 19 0 449979042 7840153600 26076 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19987] ppid=19974 vsize=7656400 CPUtime=5.57 cores=4,6
/proc/19976/task/19987/stat : 19987 (java) S 19974 19976 19898 0 -1 4202560 4041 0 0 0 555 2 0 0 16 0 19 0 449979043 7840153600 26076 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 0 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=19988] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/19988/stat : 19988 (java) S 19974 19976 19898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449979043 7840153600 26076 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19989] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/19989/stat : 19989 (java) S 19974 19976 19898 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449979043 7840153600 26076 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20000] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20000/stat : 20000 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 449979045 7840153600 26076 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427215281 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20001] ppid=19974 vsize=7656400 CPUtime=0.11 cores=4,6
/proc/19976/task/20001/stat : 20001 (java) S 19974 19976 19898 0 -1 4202560 175 0 0 0 11 0 0 0 15 0 19 0 449979045 7840153600 26076 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20002] ppid=19974 vsize=7656400 CPUtime=0.57 cores=4,6
/proc/19976/task/20002/stat : 20002 (java) S 19974 19976 19898 0 -1 4202560 10254 0 1 0 56 1 0 0 15 0 19 0 449979045 7840153600 26076 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20003] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20003/stat : 20003 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 449979045 7840153600 26076 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20004] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20004/stat : 20004 (java) S 19974 19976 19898 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 449979045 7840153600 26076 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20029] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20029/stat : 20029 (java) S 19974 19976 19898 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 449979061 7840153600 26076 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1123.49
Current children cumulated vsize (KiB) 7656400

[startup+1182.3 s]
/proc/loadavg: 4.00 4.07 4.47 5/262 20066
/proc/meminfo: memFree=15127156/32950928 swapFree=67111524/67111528
[pid=19976] ppid=19974 vsize=7656400 CPUtime=1183.52 cores=4,6
/proc/19976/stat : 19976 (java) S 19974 19976 19898 0 -1 4202496 31672 0 2 0 118344 8 0 0 25 0 19 0 449979040 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19976/statm: 1914100 26128 2255 9 0 1904838 0
[pid=19976/tid=19977] ppid=19974 vsize=7656400 CPUtime=1175.49 cores=4,6
/proc/19976/task/19977/stat : 19977 (java) R 19974 19976 19898 0 -1 4202560 12118 0 1 0 117546 3 0 0 25 0 19 0 449979040 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 46912505608646 0 4 0 16800975 0 0 0 -1 4 0 0 1
[pid=19976/tid=19979] ppid=19974 vsize=7656400 CPUtime=0.23 cores=4,6
/proc/19976/task/19979/stat : 19979 (java) S 19974 19976 19898 0 -1 4202560 1176 0 0 0 23 0 0 0 15 0 19 0 449979042 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=7656400 CPUtime=0.17 cores=4,6
/proc/19976/task/19980/stat : 19980 (java) S 19974 19976 19898 0 -1 4202560 250 0 0 0 17 0 0 0 15 0 19 0 449979042 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19981] ppid=19974 vsize=7656400 CPUtime=0.22 cores=4,6
/proc/19976/task/19981/stat : 19981 (java) S 19974 19976 19898 0 -1 4202560 732 0 0 0 22 0 0 0 16 0 19 0 449979042 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19982] ppid=19974 vsize=7656400 CPUtime=0.15 cores=4,6
/proc/19976/task/19982/stat : 19982 (java) S 19974 19976 19898 0 -1 4202560 324 0 0 0 15 0 0 0 15 0 19 0 449979042 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19983] ppid=19974 vsize=7656400 CPUtime=0.19 cores=4,6
/proc/19976/task/19983/stat : 19983 (java) S 19974 19976 19898 0 -1 4202560 572 0 0 0 19 0 0 0 15 0 19 0 449979042 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19984] ppid=19974 vsize=7656400 CPUtime=0.15 cores=4,6
/proc/19976/task/19984/stat : 19984 (java) S 19974 19976 19898 0 -1 4202560 175 0 0 0 15 0 0 0 15 0 19 0 449979042 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19985] ppid=19974 vsize=7656400 CPUtime=0.16 cores=4,6
/proc/19976/task/19985/stat : 19985 (java) S 19974 19976 19898 0 -1 4202560 350 0 0 0 16 0 0 0 15 0 19 0 449979042 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19986] ppid=19974 vsize=7656400 CPUtime=0.16 cores=4,6
/proc/19976/task/19986/stat : 19986 (java) S 19974 19976 19898 0 -1 4202560 233 0 0 0 16 0 0 0 15 0 19 0 449979042 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19987] ppid=19974 vsize=7656400 CPUtime=5.85 cores=4,6
/proc/19976/task/19987/stat : 19987 (java) S 19974 19976 19898 0 -1 4202560 4091 0 0 0 583 2 0 0 15 0 19 0 449979043 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 0 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=19988] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/19988/stat : 19988 (java) S 19974 19976 19898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449979043 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19989] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/19989/stat : 19989 (java) S 19974 19976 19898 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449979043 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20000] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20000/stat : 20000 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 449979045 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427215281 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20001] ppid=19974 vsize=7656400 CPUtime=0.11 cores=4,6
/proc/19976/task/20001/stat : 20001 (java) S 19974 19976 19898 0 -1 4202560 175 0 0 0 11 0 0 0 15 0 19 0 449979045 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20002] ppid=19974 vsize=7656400 CPUtime=0.57 cores=4,6
/proc/19976/task/20002/stat : 20002 (java) S 19974 19976 19898 0 -1 4202560 10254 0 1 0 56 1 0 0 15 0 19 0 449979045 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20003] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20003/stat : 20003 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 449979045 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20004] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20004/stat : 20004 (java) S 19974 19976 19898 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 449979045 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20029] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20029/stat : 20029 (java) S 19974 19976 19898 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 449979061 7840153600 26128 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1183.52
Current children cumulated vsize (KiB) 7656400

[startup+1242.3 s]
/proc/loadavg: 4.00 4.05 4.44 5/262 20067
/proc/meminfo: memFree=15124724/32950928 swapFree=67111524/67111528
[pid=19976] ppid=19974 vsize=7656400 CPUtime=1243.57 cores=4,6
/proc/19976/stat : 19976 (java) S 19974 19976 19898 0 -1 4202496 31809 0 2 0 124349 8 0 0 25 0 19 0 449979040 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19976/statm: 1914100 26247 2255 9 0 1904838 0
[pid=19976/tid=19977] ppid=19974 vsize=7656400 CPUtime=1235.15 cores=4,6
/proc/19976/task/19977/stat : 19977 (java) S 19974 19976 19898 0 -1 4202560 12128 0 1 0 123512 3 0 0 25 0 19 0 449979040 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 1
[pid=19976/tid=19979] ppid=19974 vsize=7656400 CPUtime=0.25 cores=4,6
/proc/19976/task/19979/stat : 19979 (java) R 19974 19976 19898 0 -1 4202560 1176 0 0 0 25 0 0 0 15 0 19 0 449979042 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256415344951 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=7656400 CPUtime=0.19 cores=4,6
/proc/19976/task/19980/stat : 19980 (java) S 19974 19976 19898 0 -1 4202560 250 0 0 0 19 0 0 0 15 0 19 0 449979042 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19981] ppid=19974 vsize=7656400 CPUtime=0.23 cores=4,6
/proc/19976/task/19981/stat : 19981 (java) R 19974 19976 19898 0 -1 4202560 733 0 0 0 23 0 0 0 15 0 19 0 449979042 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256415344951 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19976/tid=19982] ppid=19974 vsize=7656400 CPUtime=0.15 cores=4,6
/proc/19976/task/19982/stat : 19982 (java) S 19974 19976 19898 0 -1 4202560 324 0 0 0 15 0 0 0 15 0 19 0 449979042 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19983] ppid=19974 vsize=7656400 CPUtime=0.2 cores=4,6
/proc/19976/task/19983/stat : 19983 (java) S 19974 19976 19898 0 -1 4202560 573 0 0 0 20 0 0 0 16 0 19 0 449979042 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19984] ppid=19974 vsize=7656400 CPUtime=0.15 cores=4,6
/proc/19976/task/19984/stat : 19984 (java) R 19974 19976 19898 0 -1 4202560 175 0 0 0 15 0 0 0 15 0 19 0 449979042 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19976/tid=19985] ppid=19974 vsize=7656400 CPUtime=0.16 cores=4,6
/proc/19976/task/19985/stat : 19985 (java) S 19974 19976 19898 0 -1 4202560 350 0 0 0 16 0 0 0 15 0 19 0 449979042 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19986] ppid=19974 vsize=7656400 CPUtime=0.18 cores=4,6
/proc/19976/task/19986/stat : 19986 (java) R 19974 19976 19898 0 -1 4202560 234 0 0 0 18 0 0 0 15 0 19 0 449979042 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256415344951 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19976/tid=19987] ppid=19974 vsize=7656400 CPUtime=6.14 cores=4,6
/proc/19976/task/19987/stat : 19987 (java) S 19974 19976 19898 0 -1 4202560 4211 0 0 0 612 2 0 0 16 0 19 0 449979043 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 0 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=19988] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/19988/stat : 19988 (java) S 19974 19976 19898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449979043 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19989] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/19989/stat : 19989 (java) S 19974 19976 19898 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449979043 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20000] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20000/stat : 20000 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 449979045 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427215281 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20001] ppid=19974 vsize=7656400 CPUtime=0.11 cores=4,6
/proc/19976/task/20001/stat : 20001 (java) S 19974 19976 19898 0 -1 4202560 175 0 0 0 11 0 0 0 15 0 19 0 449979045 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20002] ppid=19974 vsize=7656400 CPUtime=0.57 cores=4,6
/proc/19976/task/20002/stat : 20002 (java) S 19974 19976 19898 0 -1 4202560 10254 0 1 0 56 1 0 0 15 0 19 0 449979045 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20003] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20003/stat : 20003 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 449979045 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20004] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20004/stat : 20004 (java) S 19974 19976 19898 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 449979045 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20029] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20029/stat : 20029 (java) S 19974 19976 19898 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 449979061 7840153600 26247 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1243.57
Current children cumulated vsize (KiB) 7656400



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.10 4.07 4.42 3/223 20075
/proc/meminfo: memFree=15198860/32950928 swapFree=67111524/67111528
[pid=19976] ppid=19974 vsize=7656400 CPUtime=1301.3 cores=4,6
/proc/19976/stat : 19976 (java) S 19974 19976 19898 0 -1 4202496 31870 0 2 0 130122 8 0 0 25 0 19 0 449979040 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19976/statm: 1914100 26291 2255 9 0 1904838 0
[pid=19976/tid=19977] ppid=19974 vsize=7656400 CPUtime=1292.49 cores=4,6
/proc/19976/task/19977/stat : 19977 (java) R 19974 19976 19898 0 -1 4202560 12137 0 1 0 129246 3 0 0 25 0 19 0 449979040 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 46912505591231 0 4 0 16800975 0 0 0 -1 4 0 0 1
[pid=19976/tid=19979] ppid=19974 vsize=7656400 CPUtime=0.26 cores=4,6
/proc/19976/task/19979/stat : 19979 (java) S 19974 19976 19898 0 -1 4202560 1176 0 0 0 26 0 0 0 15 0 19 0 449979042 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=7656400 CPUtime=0.2 cores=4,6
/proc/19976/task/19980/stat : 19980 (java) S 19974 19976 19898 0 -1 4202560 250 0 0 0 20 0 0 0 15 0 19 0 449979042 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19981] ppid=19974 vsize=7656400 CPUtime=0.24 cores=4,6
/proc/19976/task/19981/stat : 19981 (java) S 19974 19976 19898 0 -1 4202560 734 0 0 0 24 0 0 0 15 0 19 0 449979042 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19982] ppid=19974 vsize=7656400 CPUtime=0.16 cores=4,6
/proc/19976/task/19982/stat : 19982 (java) S 19974 19976 19898 0 -1 4202560 324 0 0 0 16 0 0 0 15 0 19 0 449979042 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19983] ppid=19974 vsize=7656400 CPUtime=0.22 cores=4,6
/proc/19976/task/19983/stat : 19983 (java) S 19974 19976 19898 0 -1 4202560 574 0 0 0 22 0 0 0 16 0 19 0 449979042 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19984] ppid=19974 vsize=7656400 CPUtime=0.15 cores=4,6
/proc/19976/task/19984/stat : 19984 (java) S 19974 19976 19898 0 -1 4202560 175 0 0 0 15 0 0 0 15 0 19 0 449979042 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19985] ppid=19974 vsize=7656400 CPUtime=0.17 cores=4,6
/proc/19976/task/19985/stat : 19985 (java) S 19974 19976 19898 0 -1 4202560 350 0 0 0 17 0 0 0 15 0 19 0 449979042 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19986] ppid=19974 vsize=7656400 CPUtime=0.19 cores=4,6
/proc/19976/task/19986/stat : 19986 (java) S 19974 19976 19898 0 -1 4202560 234 0 0 0 19 0 0 0 15 0 19 0 449979042 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19987] ppid=19974 vsize=7656400 CPUtime=6.46 cores=4,6
/proc/19976/task/19987/stat : 19987 (java) S 19974 19976 19898 0 -1 4202560 4257 0 0 0 644 2 0 0 15 0 19 0 449979043 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 0 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=19988] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/19988/stat : 19988 (java) S 19974 19976 19898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449979043 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=19989] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/19989/stat : 19989 (java) S 19974 19976 19898 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449979043 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20000] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20000/stat : 20000 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 449979045 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427215281 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20001] ppid=19974 vsize=7656400 CPUtime=0.11 cores=4,6
/proc/19976/task/20001/stat : 20001 (java) S 19974 19976 19898 0 -1 4202560 175 0 0 0 11 0 0 0 15 0 19 0 449979045 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20002] ppid=19974 vsize=7656400 CPUtime=0.57 cores=4,6
/proc/19976/task/20002/stat : 20002 (java) S 19974 19976 19898 0 -1 4202560 10254 0 1 0 56 1 0 0 15 0 19 0 449979045 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20003] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20003/stat : 20003 (java) S 19974 19976 19898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 449979045 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427207577 0 4 0 16800975 18446604453856718912 0 0 -1 4 0 0 0
[pid=19976/tid=20004] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20004/stat : 20004 (java) S 19974 19976 19898 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 449979045 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
[pid=19976/tid=20029] ppid=19974 vsize=7656400 CPUtime=0 cores=4,6
/proc/19976/task/20029/stat : 20029 (java) S 19974 19976 19898 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 449979061 7840153600 26291 33554432000 1073741824 1073778376 140736928573856 18446744073709551615 256427208192 0 4 0 16800975 18446604453856718912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1301.3
Current children cumulated vsize (KiB) 7656400

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.38
CPU user time (s): 1301.28
CPU system time (s): 0.094985
CPU usage (%): 100.102
Max. virtual memory (cumulated for all children) (KiB): 7664992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.28
system time used= 0.094985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32416
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33097
involuntary context switches= 10138

runsolver used 2.35764 second user time and 4.76527 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-12 10:38:04
IDJOB=3190235
IDBENCH=82566
IDSOLVER=1611
FILE ID=node115/3190235-1302597484
RUNJOBID= node115-1302597483-19917
PBS_JOBID= 12958101
Free space on /tmp= 71528 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v5000-c21000-S425619685-036-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-3190235-1302597484/watcher-3190235-1302597484 -o /tmp/evaluation-result-3190235-1302597484/solver-3190235-1302597484 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190235-1302597484.cnf

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

MD5SUM BENCH= e54dff8ae8b71ab472786a7e95ae7d20
RANDOM SEED=461499832

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15613324 kB
Buffers:        618408 kB
Cached:       16185364 kB
SwapCached:          4 kB
Active:        4806088 kB
Inactive:     12120924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15613324 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2984 kB
Writeback:           0 kB
AnonPages:      122172 kB
Mapped:          20980 kB
Slab:           343772 kB
PageTables:       5588 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 14716860 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= 71528 MiB
End job on node115 at 2011-04-12 10:59:46