Trace number 3190260

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.31 1300.04

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf
MD5SUM811f95ba5a9b338808c76dfc6ace0a83
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark12.1901
Satisfiable
(Un)Satisfiability was proved
Number of variables4999
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.04/0.26	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.26	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.26	c See www.sat4j.org for details.
0.04/0.26	c no version file found!!!
0.04/0.27	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.27	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.27	c java.vm.version	19.1-b02
0.04/0.27	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.27	c sun.arch.data.model	64
0.04/0.27	c java.version		1.6.0_24
0.04/0.27	c os.name		Linux
0.04/0.27	c os.version		2.6.18-164.el5
0.04/0.27	c os.arch		amd64
0.04/0.27	c Free memory 		6997539544
0.04/0.27	c Max memory 		7034241024
0.04/0.27	c Total memory 		7034241024
0.04/0.27	c Number of processors 	8
0.04/0.29	c --- Begin Solver configuration ---
0.04/0.29	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.04/0.29	c Learn all clauses as in MiniSAT
0.04/0.29	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.04/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.04/0.29	c Expensive reason simplification
0.04/0.29	c Armin Biere (Picosat) restarts strategy
0.04/0.29	c Glucose learned constraints deletion strategy
0.04/0.29	c timeout=2147483647s
0.04/0.29	c DB Simplification allowed=true
0.04/0.29	c --- End Solver configuration ---
0.04/0.29	c solving HOME/instance-3190260-1302597668.cnf
0.04/0.29	c reading problem ... 
0.29/0.40	c ... done. Wall clock time 0.095s.
0.29/0.40	c #vars     4999
0.29/0.40	c #constraints  21000
0.29/0.40	c constraints type 
0.29/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21000
1.57/1.48	c cleaning 2497 clauses out of 5000 with flag 5000/5000
2.88/2.50	c cleaning 4249 clauses out of 8505 with flag 11002/11002
4.08/3.74	c cleaning 5623 clauses out of 11254 with flag 18000/18000
5.49/5.17	c cleaning 6811 clauses out of 13631 with flag 26000/26000
7.21/6.81	c cleaning 7906 clauses out of 15820 with flag 35000/35000
9.01/8.68	c cleaning 8957 clauses out of 17916 with flag 45002/45002
11.11/10.73	c cleaning 9978 clauses out of 19957 with flag 56000/56000
13.41/13.09	c cleaning 10985 clauses out of 21980 with flag 68001/68001
16.01/15.63	c cleaning 11991 clauses out of 23995 with flag 81001/81001
18.81/18.43	c cleaning 12998 clauses out of 26003 with flag 95000/95000
21.92/21.53	c cleaning 13997 clauses out of 28005 with flag 110000/110000
25.22/24.86	c cleaning 14993 clauses out of 30008 with flag 126000/126000
28.92/28.50	c cleaning 16003 clauses out of 32016 with flag 143001/143001
32.82/32.41	c cleaning 16998 clauses out of 34013 with flag 161001/161001
36.92/36.58	c cleaning 18001 clauses out of 36015 with flag 180001/180001
41.42/41.03	c cleaning 18999 clauses out of 38016 with flag 200003/200003
46.23/45.80	c cleaning 20001 clauses out of 40014 with flag 221000/221000
51.04/50.62	c cleaning 20502 clauses out of 41015 with flag 242002/242002
55.74/55.35	c cleaning 20747 clauses out of 41511 with flag 263000/263000
60.55/60.14	c cleaning 20875 clauses out of 41764 with flag 284000/284000
65.46/65.02	c cleaning 20937 clauses out of 41889 with flag 305000/305000
70.15/69.70	c cleaning 20963 clauses out of 41952 with flag 326000/326000
75.06/74.62	c cleaning 20987 clauses out of 41990 with flag 347001/347001
79.96/79.52	c cleaning 20996 clauses out of 42004 with flag 368002/368002
84.66/84.27	c cleaning 20994 clauses out of 42008 with flag 389002/389002
89.67/89.26	c cleaning 20997 clauses out of 42012 with flag 410000/410000
94.37/93.99	c cleaning 21005 clauses out of 42017 with flag 431002/431002
99.27/98.89	c cleaning 21003 clauses out of 42010 with flag 452000/452000
103.98/103.58	c cleaning 20985 clauses out of 42008 with flag 473001/473001
108.78/108.32	c cleaning 21002 clauses out of 42022 with flag 494000/494000
113.58/113.11	c cleaning 21004 clauses out of 42020 with flag 515000/515000
118.19/117.80	c cleaning 21000 clauses out of 42016 with flag 536000/536000
123.18/122.75	c cleaning 21006 clauses out of 42018 with flag 557002/557002
127.89/127.45	c cleaning 20997 clauses out of 42012 with flag 578002/578002
132.69/132.28	c cleaning 21001 clauses out of 42013 with flag 599000/599000
137.69/137.23	c cleaning 20998 clauses out of 42013 with flag 620001/620001
142.40/141.95	c cleaning 20995 clauses out of 42015 with flag 641001/641001
147.20/146.76	c cleaning 21003 clauses out of 42020 with flag 662001/662001
152.20/151.78	c cleaning 20999 clauses out of 42016 with flag 683000/683000
156.91/156.46	c cleaning 20998 clauses out of 42018 with flag 704001/704001
161.71/161.22	c cleaning 21003 clauses out of 42020 with flag 725001/725001
166.62/166.11	c cleaning 20995 clauses out of 42016 with flag 746000/746000
171.42/170.94	c cleaning 21001 clauses out of 42021 with flag 767000/767000
176.22/175.73	c cleaning 21005 clauses out of 42020 with flag 788000/788000
181.02/180.56	c cleaning 20994 clauses out of 42015 with flag 809000/809000
186.12/185.62	c cleaning 21008 clauses out of 42022 with flag 830001/830001
190.83/190.33	c cleaning 21000 clauses out of 42016 with flag 851003/851003
195.52/195.05	c cleaning 20993 clauses out of 42013 with flag 872000/872000
200.43/199.97	c cleaning 20996 clauses out of 42020 with flag 893000/893000
205.43/204.98	c cleaning 21006 clauses out of 42025 with flag 914001/914001
210.23/209.77	c cleaning 21000 clauses out of 42020 with flag 935002/935002
214.93/214.47	c cleaning 20996 clauses out of 42018 with flag 956000/956000
219.84/219.33	c cleaning 21002 clauses out of 42022 with flag 977000/977000
224.84/224.30	c cleaning 21002 clauses out of 42023 with flag 998003/998003
229.84/229.33	c cleaning 21005 clauses out of 42018 with flag 1019000/1019000
234.54/234.02	c cleaning 20999 clauses out of 42013 with flag 1040000/1040000
239.35/238.89	c cleaning 20995 clauses out of 42014 with flag 1061000/1061000
244.25/243.78	c cleaning 20994 clauses out of 42019 with flag 1082000/1082000
249.26/248.79	c cleaning 20995 clauses out of 42025 with flag 1103000/1103000
254.26/253.78	c cleaning 21003 clauses out of 42030 with flag 1124000/1124000
259.06/258.52	c cleaning 21011 clauses out of 42028 with flag 1145001/1145001
263.86/263.32	c cleaning 20996 clauses out of 42017 with flag 1166001/1166001
268.76/268.23	c cleaning 21002 clauses out of 42022 with flag 1187002/1187002
273.67/273.11	c cleaning 20994 clauses out of 42021 with flag 1208003/1208003
278.67/278.11	c cleaning 21005 clauses out of 42025 with flag 1229001/1229001
283.47/282.93	c cleaning 20997 clauses out of 42019 with flag 1250000/1250000
288.27/287.75	c cleaning 20999 clauses out of 42022 with flag 1271000/1271000
293.18/292.61	c cleaning 21003 clauses out of 42024 with flag 1292001/1292001
298.18/297.64	c cleaning 20991 clauses out of 42020 with flag 1313000/1313000
303.19/302.68	c cleaning 21002 clauses out of 42031 with flag 1334002/1334002
308.18/307.61	c cleaning 20999 clauses out of 42030 with flag 1355003/1355003
312.99/312.47	c cleaning 21001 clauses out of 42028 with flag 1376000/1376000
317.69/317.18	c cleaning 21012 clauses out of 42029 with flag 1397002/1397002
322.49/321.98	c cleaning 20992 clauses out of 42015 with flag 1418000/1418000
327.40/326.89	c cleaning 21003 clauses out of 42023 with flag 1439000/1439000
332.50/331.96	c cleaning 20994 clauses out of 42020 with flag 1460000/1460000
337.50/336.93	c cleaning 21006 clauses out of 42028 with flag 1481002/1481002
342.81/342.23	c cleaning 21003 clauses out of 42020 with flag 1502000/1502000
347.61/347.06	c cleaning 20999 clauses out of 42018 with flag 1523001/1523001
352.31/351.79	c cleaning 20996 clauses out of 42018 with flag 1544000/1544000
357.12/356.58	c cleaning 21000 clauses out of 42023 with flag 1565001/1565001
362.11/361.53	c cleaning 20996 clauses out of 42023 with flag 1586001/1586001
367.21/366.66	c cleaning 21003 clauses out of 42026 with flag 1607000/1607000
372.42/371.90	c cleaning 20993 clauses out of 42023 with flag 1628000/1628000
377.82/377.23	c cleaning 21008 clauses out of 42032 with flag 1649002/1649002
382.82/382.22	c cleaning 21001 clauses out of 42025 with flag 1670003/1670003
387.53/386.97	c cleaning 21002 clauses out of 42021 with flag 1691000/1691000
392.43/391.81	c cleaning 20993 clauses out of 42019 with flag 1712000/1712000
397.34/396.73	c cleaning 20991 clauses out of 42026 with flag 1733000/1733000
402.34/401.74	c cleaning 21009 clauses out of 42035 with flag 1754000/1754000
407.55/406.96	c cleaning 21009 clauses out of 42027 with flag 1775001/1775001
412.75/412.17	c cleaning 20994 clauses out of 42019 with flag 1796002/1796002
417.95/417.34	c cleaning 21002 clauses out of 42024 with flag 1817001/1817001
422.96/422.40	c cleaning 21006 clauses out of 42022 with flag 1838001/1838001
427.65/427.09	c cleaning 20998 clauses out of 42016 with flag 1859001/1859001
432.56/431.95	c cleaning 21004 clauses out of 42018 with flag 1880001/1880001
437.47/436.89	c cleaning 20991 clauses out of 42015 with flag 1901002/1901002
442.46/441.85	c cleaning 20996 clauses out of 42025 with flag 1922003/1922003
447.67/447.08	c cleaning 21006 clauses out of 42026 with flag 1943000/1943000
452.97/452.34	c cleaning 20989 clauses out of 42020 with flag 1964000/1964000
458.17/457.60	c cleaning 20995 clauses out of 42031 with flag 1985000/1985000
463.48/462.87	c cleaning 21007 clauses out of 42037 with flag 2006001/2006001
468.57/467.95	c cleaning 21010 clauses out of 42031 with flag 2027002/2027002
473.28/472.64	c cleaning 21005 clauses out of 42020 with flag 2048001/2048001
478.08/477.48	c cleaning 20993 clauses out of 42014 with flag 2069000/2069000
483.08/482.45	c cleaning 20992 clauses out of 42024 with flag 2090003/2090003
487.99/487.37	c cleaning 21012 clauses out of 42030 with flag 2111001/2111001
493.29/492.66	c cleaning 20998 clauses out of 42018 with flag 2132001/2132001
498.69/498.09	c cleaning 20996 clauses out of 42020 with flag 2153001/2153001
503.89/503.26	c cleaning 21005 clauses out of 42026 with flag 2174003/2174003
508.90/508.28	c cleaning 20997 clauses out of 42019 with flag 2195001/2195001
514.20/513.56	c cleaning 20996 clauses out of 42021 with flag 2216000/2216000
519.11/518.46	c cleaning 21001 clauses out of 42025 with flag 2237000/2237000
523.81/523.16	c cleaning 21007 clauses out of 42026 with flag 2258002/2258002
528.61/527.98	c cleaning 21000 clauses out of 42019 with flag 2279002/2279002
533.51/532.86	c cleaning 20993 clauses out of 42017 with flag 2300000/2300000
538.51/537.88	c cleaning 21007 clauses out of 42024 with flag 2321000/2321000
543.72/543.03	c cleaning 20997 clauses out of 42019 with flag 2342002/2342002
548.92/548.27	c cleaning 20998 clauses out of 42022 with flag 2363002/2363002
554.42/553.71	c cleaning 21011 clauses out of 42025 with flag 2384003/2384003
559.53/558.90	c cleaning 20992 clauses out of 42012 with flag 2405001/2405001
565.04/564.31	c cleaning 21002 clauses out of 42019 with flag 2426000/2426000
570.54/569.80	c cleaning 20998 clauses out of 42020 with flag 2447003/2447003
575.34/574.65	c cleaning 21005 clauses out of 42020 with flag 2468001/2468001
580.14/579.44	c cleaning 20994 clauses out of 42014 with flag 2489000/2489000
584.95/584.27	c cleaning 21002 clauses out of 42020 with flag 2510000/2510000
589.95/589.22	c cleaning 20992 clauses out of 42019 with flag 2531001/2531001
594.85/594.19	c cleaning 20997 clauses out of 42026 with flag 2552000/2552000
599.95/599.28	c cleaning 21006 clauses out of 42030 with flag 2573001/2573001
605.05/604.39	c cleaning 21005 clauses out of 42023 with flag 2594000/2594000
610.26/609.56	c cleaning 20995 clauses out of 42018 with flag 2615000/2615000
615.46/614.75	c cleaning 20992 clauses out of 42023 with flag 2636000/2636000
620.96/620.25	c cleaning 21008 clauses out of 42031 with flag 2657000/2657000
626.77/626.02	c cleaning 21006 clauses out of 42023 with flag 2678000/2678000
632.47/631.76	c cleaning 20994 clauses out of 42017 with flag 2699000/2699000
637.37/636.62	c cleaning 21003 clauses out of 42023 with flag 2720000/2720000
642.18/641.43	c cleaning 21006 clauses out of 42020 with flag 2741000/2741000
647.08/646.34	c cleaning 21002 clauses out of 42015 with flag 2762001/2762001
651.99/651.30	c cleaning 20988 clauses out of 42013 with flag 2783001/2783001
657.09/656.35	c cleaning 21002 clauses out of 42025 with flag 2804001/2804001
662.19/661.49	c cleaning 20986 clauses out of 42022 with flag 2825000/2825000
667.50/666.73	c cleaning 21004 clauses out of 42036 with flag 2846000/2846000
672.71/671.97	c cleaning 21001 clauses out of 42034 with flag 2867002/2867002
678.11/677.30	c cleaning 21002 clauses out of 42031 with flag 2888000/2888000
683.81/683.08	c cleaning 21004 clauses out of 42029 with flag 2909000/2909000
689.52/688.74	c cleaning 20996 clauses out of 42026 with flag 2930001/2930001
695.12/694.33	c cleaning 21010 clauses out of 42031 with flag 2951002/2951002
701.02/700.21	c cleaning 20995 clauses out of 42021 with flag 2972002/2972002
705.93/705.15	c cleaning 21000 clauses out of 42024 with flag 2993000/2993000
710.73/709.90	c cleaning 21005 clauses out of 42027 with flag 3014003/3014003
715.63/714.84	c cleaning 20997 clauses out of 42019 with flag 3035000/3035000
720.64/719.83	c cleaning 20995 clauses out of 42022 with flag 3056000/3056000
725.94/725.10	c cleaning 20995 clauses out of 42027 with flag 3077000/3077000
730.94/730.11	c cleaning 21012 clauses out of 42033 with flag 3098001/3098001
736.25/735.44	c cleaning 21000 clauses out of 42020 with flag 3119000/3119000
741.55/740.75	c cleaning 21002 clauses out of 42020 with flag 3140000/3140000
747.05/746.24	c cleaning 20990 clauses out of 42019 with flag 3161001/3161001
752.76/751.91	c cleaning 20989 clauses out of 42028 with flag 3182000/3182000
758.66/757.82	c cleaning 21006 clauses out of 42040 with flag 3203001/3203001
764.27/763.47	c cleaning 21010 clauses out of 42033 with flag 3224000/3224000
769.67/768.84	c cleaning 21000 clauses out of 42024 with flag 3245001/3245001
775.07/774.26	c cleaning 20997 clauses out of 42023 with flag 3266000/3266000
780.48/779.68	c cleaning 21012 clauses out of 42027 with flag 3287001/3287001
785.38/784.51	c cleaning 20991 clauses out of 42015 with flag 3308001/3308001
790.28/789.41	c cleaning 20999 clauses out of 42025 with flag 3329002/3329002
795.19/794.35	c cleaning 21006 clauses out of 42024 with flag 3350000/3350000
800.19/799.34	c cleaning 21002 clauses out of 42020 with flag 3371002/3371002
805.19/804.33	c cleaning 20999 clauses out of 42017 with flag 3392001/3392001
810.30/809.46	c cleaning 20980 clauses out of 42017 with flag 3413000/3413000
815.60/814.73	c cleaning 20994 clauses out of 42040 with flag 3434003/3434003
821.10/820.21	c cleaning 21012 clauses out of 42043 with flag 3455000/3455000
826.31/825.45	c cleaning 21006 clauses out of 42031 with flag 3476000/3476000
831.61/830.70	c cleaning 21004 clauses out of 42025 with flag 3497000/3497000
836.92/836.00	c cleaning 21004 clauses out of 42021 with flag 3518000/3518000
842.21/841.33	c cleaning 20985 clauses out of 42017 with flag 3539000/3539000
847.72/846.84	c cleaning 21006 clauses out of 42032 with flag 3560000/3560000
853.93/853.04	c cleaning 20986 clauses out of 42026 with flag 3581000/3581000
859.74/858.81	c cleaning 21010 clauses out of 42041 with flag 3602001/3602001
864.94/864.05	c cleaning 21004 clauses out of 42030 with flag 3623000/3623000
869.74/868.86	c cleaning 21007 clauses out of 42027 with flag 3644001/3644001
874.54/873.67	c cleaning 20995 clauses out of 42022 with flag 3665003/3665003
879.45/878.57	c cleaning 21002 clauses out of 42026 with flag 3686002/3686002
884.55/883.69	c cleaning 20996 clauses out of 42023 with flag 3707001/3707001
889.76/888.86	c cleaning 20998 clauses out of 42026 with flag 3728000/3728000
895.36/894.49	c cleaning 21001 clauses out of 42028 with flag 3749000/3749000
901.16/900.25	c cleaning 21003 clauses out of 42031 with flag 3770004/3770004
906.86/905.98	c cleaning 20988 clauses out of 42025 with flag 3791001/3791001
912.67/911.73	c cleaning 21000 clauses out of 42038 with flag 3812002/3812002
917.87/916.90	c cleaning 21006 clauses out of 42037 with flag 3833001/3833001
923.07/922.18	c cleaning 20996 clauses out of 42030 with flag 3854000/3854000
928.38/927.48	c cleaning 21000 clauses out of 42035 with flag 3875001/3875001
933.68/932.80	c cleaning 20999 clauses out of 42034 with flag 3896000/3896000
939.48/938.58	c cleaning 21008 clauses out of 42035 with flag 3917000/3917000
945.29/944.38	c cleaning 20996 clauses out of 42027 with flag 3938000/3938000
950.49/949.57	c cleaning 21010 clauses out of 42031 with flag 3959000/3959000
956.39/955.42	c cleaning 20993 clauses out of 42023 with flag 3980002/3980002
961.30/960.36	c cleaning 21011 clauses out of 42030 with flag 4001002/4001002
966.20/965.21	c cleaning 21000 clauses out of 42018 with flag 4022001/4022001
971.21/970.22	c cleaning 20996 clauses out of 42017 with flag 4043000/4043000
976.10/975.15	c cleaning 20988 clauses out of 42021 with flag 4064000/4064000
981.11/980.11	c cleaning 21010 clauses out of 42035 with flag 4085002/4085002
986.31/985.32	c cleaning 20994 clauses out of 42024 with flag 4106001/4106001
991.51/990.51	c cleaning 21006 clauses out of 42030 with flag 4127001/4127001
996.82/995.82	c cleaning 20996 clauses out of 42023 with flag 4148000/4148000
1002.13/1001.19	c cleaning 21007 clauses out of 42028 with flag 4169001/4169001
1007.83/1006.80	c cleaning 20989 clauses out of 42020 with flag 4190000/4190000
1013.53/1012.58	c cleaning 21004 clauses out of 42031 with flag 4211000/4211000
1019.33/1018.38	c cleaning 21009 clauses out of 42027 with flag 4232000/4232000
1025.05/1024.10	c cleaning 20987 clauses out of 42019 with flag 4253001/4253001
1030.66/1029.62	c cleaning 21005 clauses out of 42032 with flag 4274001/4274001
1035.75/1034.70	c cleaning 20998 clauses out of 42026 with flag 4295000/4295000
1041.46/1040.43	c cleaning 21002 clauses out of 42029 with flag 4316001/4316001
1047.06/1046.06	c cleaning 20998 clauses out of 42027 with flag 4337001/4337001
1052.47/1051.43	c cleaning 21006 clauses out of 42029 with flag 4358001/4358001
1058.57/1057.52	c cleaning 20994 clauses out of 42022 with flag 4379000/4379000
1063.57/1062.50	c cleaning 21012 clauses out of 42028 with flag 4400000/4400000
1068.38/1067.33	c cleaning 20992 clauses out of 42019 with flag 4421003/4421003
1073.28/1072.26	c cleaning 20999 clauses out of 42024 with flag 4442000/4442000
1078.28/1077.23	c cleaning 20997 clauses out of 42028 with flag 4463003/4463003
1083.29/1082.27	c cleaning 21004 clauses out of 42029 with flag 4484001/4484001
1088.49/1087.48	c cleaning 21002 clauses out of 42025 with flag 4505001/4505001
1093.89/1092.88	c cleaning 20985 clauses out of 42022 with flag 4526000/4526000
1099.20/1098.16	c cleaning 21005 clauses out of 42037 with flag 4547000/4547000
1104.51/1103.43	c cleaning 21008 clauses out of 42032 with flag 4568000/4568000
1109.91/1108.88	c cleaning 20996 clauses out of 42025 with flag 4589001/4589001
1115.61/1114.56	c cleaning 21010 clauses out of 42030 with flag 4610002/4610002
1121.21/1120.12	c cleaning 20985 clauses out of 42019 with flag 4631001/4631001
1126.62/1125.52	c cleaning 21004 clauses out of 42033 with flag 4652000/4652000
1131.93/1130.83	c cleaning 21003 clauses out of 42030 with flag 4673001/4673001
1137.43/1136.36	c cleaning 20998 clauses out of 42026 with flag 4694000/4694000
1143.43/1142.39	c cleaning 21002 clauses out of 42029 with flag 4715001/4715001
1148.93/1147.89	c cleaning 20998 clauses out of 42026 with flag 4736000/4736000
1154.54/1153.46	c cleaning 21010 clauses out of 42029 with flag 4757001/4757001
1160.34/1159.25	c cleaning 20995 clauses out of 42019 with flag 4778001/4778001
1165.54/1164.45	c cleaning 21005 clauses out of 42023 with flag 4799000/4799000
1171.45/1170.35	c cleaning 20988 clauses out of 42019 with flag 4820001/4820001
1176.65/1175.58	c cleaning 21013 clauses out of 42032 with flag 4841002/4841002
1181.56/1180.42	c cleaning 21001 clauses out of 42018 with flag 4862001/4862001
1186.36/1185.29	c cleaning 20991 clauses out of 42016 with flag 4883000/4883000
1191.37/1190.29	c cleaning 21005 clauses out of 42025 with flag 4904000/4904000
1196.57/1195.42	c cleaning 21006 clauses out of 42022 with flag 4925002/4925002
1201.77/1200.67	c cleaning 21000 clauses out of 42014 with flag 4946000/4946000
1206.97/1205.81	c cleaning 20991 clauses out of 42018 with flag 4967004/4967004
1212.18/1211.07	c cleaning 21002 clauses out of 42024 with flag 4988001/4988001
1217.68/1216.51	c cleaning 21001 clauses out of 42023 with flag 5009002/5009002
1222.98/1221.85	c cleaning 20993 clauses out of 42020 with flag 5030000/5030000
1228.49/1227.33	c cleaning 20998 clauses out of 42027 with flag 5051000/5051000
1233.89/1232.74	c cleaning 21009 clauses out of 42029 with flag 5072000/5072000
1239.20/1238.07	c cleaning 21000 clauses out of 42020 with flag 5093000/5093000
1244.50/1243.38	c cleaning 20997 clauses out of 42023 with flag 5114003/5114003
1250.11/1248.99	c cleaning 20994 clauses out of 42023 with flag 5135000/5135000
1256.01/1254.88	c cleaning 20991 clauses out of 42029 with flag 5156000/5156000
1261.52/1260.31	c cleaning 21007 clauses out of 42040 with flag 5177002/5177002
1267.72/1266.53	c cleaning 21013 clauses out of 42034 with flag 5198003/5198003
1273.62/1272.47	c cleaning 20988 clauses out of 42018 with flag 5219000/5219000
1279.13/1277.97	c cleaning 21011 clauses out of 42035 with flag 5240005/5240005
1285.13/1283.98	c cleaning 20988 clauses out of 42019 with flag 5261000/5261000
1290.54/1289.31	c cleaning 21001 clauses out of 42033 with flag 5282002/5282002
1296.54/1295.34	c cleaning 20992 clauses out of 42030 with flag 5303000/5303000
1301.25/1300.01	c starts		: 2154
1301.25/1300.01	c conflicts		: 5320552
1301.25/1300.01	c decisions		: 7908167
1301.25/1300.01	c propagations		: 1719842843
1301.25/1300.01	c inspects		: 8755877784
1301.25/1300.01	c shortcuts		: 0
1301.25/1300.01	c learnt literals	: 0
1301.25/1300.01	c learnt binary clauses	: 0
1301.25/1300.01	c learnt ternary clauses	: 82
1301.25/1300.01	c learnt constraints	: 5320553
1301.25/1300.01	c ignored constraints	: 0
1301.25/1300.01	c root simplifications	: 2154
1301.25/1300.01	c removed literals (reason simplification)	: 95116459
1301.25/1300.01	c reason swapping (by a shorter reason)	: 0
1301.25/1300.01	c Calls to reduceDB	: 259
1301.25/1300.01	c speed (assignments/second)	: 1323339.1088499443
1301.25/1300.01	c non guided choices	450
1301.25/1300.03	c learnt constraints type 
1301.25/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 38615
1301.25/1300.03	c constraints type 
1301.25/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21000
1301.25/1300.03	s UNKNOWN
1301.25/1300.03	c Total wall clock time (in seconds) : 1299.719

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 1.15 2/180 29387
/proc/meminfo: memFree=11093880/32951124 swapFree=67111524/67111528
[pid=29387] ppid=29384 vsize=9104 CPUtime=0 cores=4,6
/proc/29387/stat : 29387 (java) D 29384 29387 29350 0 -1 4202496 234 0 2 0 0 0 0 0 18 0 1 0 371365020 9322496 171 33554432000 1073741824 1073778376 140735638906192 18446744073709551615 246516834048 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 0
/proc/29387/statm: 2276 171 130 9 0 68 0

[startup+0.102667 s]
/proc/loadavg: 0.92 0.98 1.15 2/180 29387
/proc/meminfo: memFree=11093880/32951124 swapFree=67111524/67111528
[pid=29387] ppid=29384 vsize=27172 CPUtime=0 cores=4,6
/proc/29387/stat : 29387 (java) S 29384 29387 29350 0 -1 4202496 1121 0 60 0 0 0 0 0 17 0 2 0 371365020 27824128 906 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528636901 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 7
/proc/29387/statm: 6793 906 688 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 27172

[startup+0.200676 s]
/proc/loadavg: 0.92 0.98 1.15 2/180 29387
/proc/meminfo: memFree=11093880/32951124 swapFree=67111524/67111528
[pid=29387] ppid=29384 vsize=7564352 CPUtime=0.04 cores=4,6
/proc/29387/stat : 29387 (java) S 29384 29387 29350 0 -1 4202496 8778 0 110 0 3 1 0 0 17 0 13 0 371365020 7745896448 8581 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528636901 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 7
/proc/29387/statm: 1891088 8581 1682 9 0 1881836 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7564352

[startup+0.30058 s]
/proc/loadavg: 0.92 0.98 1.15 2/180 29387
/proc/meminfo: memFree=11093880/32951124 swapFree=67111524/67111528
[pid=29387] ppid=29384 vsize=7636948 CPUtime=0.11 cores=4,6
/proc/29387/stat : 29387 (java) S 29384 29387 29350 0 -1 4202496 10371 0 112 0 10 1 0 0 17 0 18 0 371365020 7820234752 10176 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29387/statm: 1909237 10176 2093 9 0 1899975 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7636948

[startup+0.700501 s]
/proc/loadavg: 0.92 0.98 1.15 2/180 29387
/proc/meminfo: memFree=11093880/32951124 swapFree=67111524/67111528
[pid=29387] ppid=29384 vsize=7641828 CPUtime=0.84 cores=4,6
/proc/29387/stat : 29387 (java) S 29384 29387 29350 0 -1 4202496 13028 0 112 0 82 2 0 0 17 0 19 0 371365020 7825231872 12266 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29387/statm: 1910457 12266 2223 9 0 1901195 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 7641828

[startup+1.50336 s]
/proc/loadavg: 0.92 0.98 1.15 5/266 29483
/proc/meminfo: memFree=10889312/32951124 swapFree=67111524/67111528
[pid=29387] ppid=29384 vsize=7642004 CPUtime=1.7 cores=4,6
/proc/29387/stat : 29387 (java) S 29384 29387 29350 0 -1 4202496 14619 0 112 0 167 3 0 0 17 0 19 0 371365020 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29387/statm: 1910501 13854 2245 9 0 1901239 0
[pid=29387/tid=29402] ppid=29384 vsize=7642004 CPUtime=1.28 cores=4,6
/proc/29387/task/29402/stat : 29402 (java) S 29384 29387 29350 0 -1 4202560 10089 0 50 0 126 2 0 0 25 0 19 0 371365030 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 7
[pid=29387/tid=29414] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29414/stat : 29414 (java) S 29384 29387 29350 0 -1 4202560 495 0 0 0 0 0 0 0 18 0 19 0 371365033 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29416] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29416/stat : 29416 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29418] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29418/stat : 29418 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29420] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29420/stat : 29420 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29422] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29422/stat : 29422 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29424] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29424/stat : 29424 (java) R 29384 29387 29350 0 -1 4202560 437 0 0 0 0 0 0 0 18 0 19 0 371365033 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=29387/tid=29426] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29426/stat : 29426 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29427] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29427/stat : 29427 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29429] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29429/stat : 29429 (java) R 29384 29387 29350 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 371365036 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 47020454815471 0 0 0 16800975 0 0 0 -1 6 0 0 0
[pid=29387/tid=29433] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29433/stat : 29433 (java) S 29384 29387 29350 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 371365037 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29436] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29436/stat : 29436 (java) S 29384 29387 29350 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 371365037 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29439] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29439/stat : 29439 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371365043 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528657841 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29442] ppid=29384 vsize=7642004 CPUtime=0.32 cores=4,6
/proc/29387/task/29442/stat : 29442 (java) S 29384 29387 29350 0 -1 4202560 1835 0 0 0 32 0 0 0 15 0 19 0 371365043 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29446] ppid=29384 vsize=7642004 CPUtime=0.07 cores=4,6
/proc/29387/task/29446/stat : 29446 (java) S 29384 29387 29350 0 -1 4202560 647 0 2 0 7 0 0 0 15 0 19 0 371365043 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29449] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29449/stat : 29449 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371365043 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29451] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29451/stat : 29451 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365043 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29459] ppid=29384 vsize=7642004 CPUtime=0 cores=4,6
/proc/29387/task/29459/stat : 29459 (java) S 29384 29387 29350 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 371365061 7825412096 13854 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 7642004

[startup+3.10106 s]
/proc/loadavg: 0.92 0.98 1.15 6/266 29483
/proc/meminfo: memFree=10823220/32951124 swapFree=67111524/67111528
[pid=29387] ppid=29384 vsize=7663984 CPUtime=3.48 cores=4,6
/proc/29387/stat : 29387 (java) S 29384 29387 29350 0 -1 4202496 23201 0 112 0 345 3 0 0 17 0 19 0 371365020 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29387/statm: 1915996 20655 2254 9 0 1906734 0
[pid=29387/tid=29402] ppid=29384 vsize=7663984 CPUtime=2.83 cores=4,6
/proc/29387/task/29402/stat : 29402 (java) R 29384 29387 29350 0 -1 4202560 10091 0 50 0 281 2 0 0 25 0 19 0 371365030 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 46912505673702 0 4 0 16800975 0 0 0 -1 6 0 0 7
[pid=29387/tid=29414] ppid=29384 vsize=7663984 CPUtime=0 cores=4,6
/proc/29387/task/29414/stat : 29414 (java) S 29384 29387 29350 0 -1 4202560 495 0 0 0 0 0 0 0 17 0 19 0 371365033 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29416] ppid=29384 vsize=7663984 CPUtime=0 cores=4,6
/proc/29387/task/29416/stat : 29416 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365033 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29418] ppid=29384 vsize=7663984 CPUtime=0 cores=4,6
/proc/29387/task/29418/stat : 29418 (java) S 29384 29387 29350 0 -1 4202560 361 0 0 0 0 0 0 0 15 0 19 0 371365033 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29420] ppid=29384 vsize=7663984 CPUtime=0 cores=4,6
/proc/29387/task/29420/stat : 29420 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365033 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29422] ppid=29384 vsize=7663984 CPUtime=0 cores=4,6
/proc/29387/task/29422/stat : 29422 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365033 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29424] ppid=29384 vsize=7663984 CPUtime=0 cores=4,6
/proc/29387/task/29424/stat : 29424 (java) S 29384 29387 29350 0 -1 4202560 437 0 0 0 0 0 0 0 15 0 19 0 371365033 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29426] ppid=29384 vsize=7663984 CPUtime=0 cores=4,6
/proc/29387/task/29426/stat : 29426 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365033 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29427] ppid=29384 vsize=7663984 CPUtime=0 cores=4,6
/proc/29387/task/29427/stat : 29427 (java) S 29384 29387 29350 0 -1 4202560 323 0 0 0 0 0 0 0 16 0 19 0 371365033 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29429] ppid=29384 vsize=7663984 CPUtime=0.03 cores=4,6
/proc/29387/task/29429/stat : 29429 (java) S 29384 29387 29350 0 -1 4202560 1118 0 0 0 3 0 0 0 16 0 19 0 371365036 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 0 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29433] ppid=29384 vsize=7663984 CPUtime=0 cores=4,6
/proc/29387/task/29433/stat : 29433 (java) S 29384 29387 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29436] ppid=29384 vsize=7663984 CPUtime=0 cores=4,6
/proc/29387/task/29436/stat : 29436 (java) S 29384 29387 29350 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371365037 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29439] ppid=29384 vsize=7663984 CPUtime=0 cores=4,6
/proc/29387/task/29439/stat : 29439 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371365043 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528657841 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29442] ppid=29384 vsize=7663984 CPUtime=0.33 cores=4,6
/proc/29387/task/29442/stat : 29442 (java) S 29384 29387 29350 0 -1 4202560 1844 0 0 0 33 0 0 0 15 0 19 0 371365043 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29446] ppid=29384 vsize=7663984 CPUtime=0.25 cores=4,6
/proc/29387/task/29446/stat : 29446 (java) S 29384 29387 29350 0 -1 4202560 7433 0 2 0 25 0 0 0 15 0 19 0 371365043 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29449] ppid=29384 vsize=7663984 CPUtime=0 cores=4,6
/proc/29387/task/29449/stat : 29449 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371365043 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29451] ppid=29384 vsize=7663984 CPUtime=0 cores=4,6
/proc/29387/task/29451/stat : 29451 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365043 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29459] ppid=29384 vsize=7663984 CPUtime=0 cores=4,6
/proc/29387/task/29459/stat : 29459 (java) S 29384 29387 29350 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 371365061 7847919616 20655 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 7663984

[startup+6.30154 s]
/proc/loadavg: 1.49 1.10 1.18 6/266 29483
/proc/meminfo: memFree=10761516/32951124 swapFree=67111524/67111528
[pid=29387] ppid=29384 vsize=7660944 CPUtime=6.71 cores=4,6
/proc/29387/stat : 29387 (java) S 29384 29387 29350 0 -1 4202496 23683 0 112 0 667 4 0 0 17 0 19 0 371365020 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29387/statm: 1915236 20740 2254 9 0 1905974 0
[pid=29387/tid=29402] ppid=29384 vsize=7660944 CPUtime=5.96 cores=4,6
/proc/29387/task/29402/stat : 29402 (java) R 29384 29387 29350 0 -1 4202560 10094 0 50 0 594 2 0 0 25 0 19 0 371365030 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 46912505642338 0 4 0 16800975 0 0 0 -1 4 0 0 7
[pid=29387/tid=29414] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29414/stat : 29414 (java) S 29384 29387 29350 0 -1 4202560 710 0 0 0 0 0 0 0 15 0 19 0 371365033 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29416] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29416/stat : 29416 (java) S 29384 29387 29350 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 371365033 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29418] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29418/stat : 29418 (java) S 29384 29387 29350 0 -1 4202560 370 0 0 0 0 0 0 0 15 0 19 0 371365033 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29420] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29420/stat : 29420 (java) S 29384 29387 29350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371365033 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29422] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29422/stat : 29422 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365033 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29424] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29424/stat : 29424 (java) S 29384 29387 29350 0 -1 4202560 545 0 0 0 0 0 0 0 16 0 19 0 371365033 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29426] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29426/stat : 29426 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365033 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29427] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29427/stat : 29427 (java) S 29384 29387 29350 0 -1 4202560 324 0 0 0 0 0 0 0 15 0 19 0 371365033 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29429] ppid=29384 vsize=7660944 CPUtime=0.08 cores=4,6
/proc/29387/task/29429/stat : 29429 (java) S 29384 29387 29350 0 -1 4202560 1254 0 0 0 8 0 0 0 15 0 19 0 371365036 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 0 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29433] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29433/stat : 29433 (java) S 29384 29387 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29436] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29436/stat : 29436 (java) S 29384 29387 29350 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371365037 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29439] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29439/stat : 29439 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371365043 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528657841 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29442] ppid=29384 vsize=7660944 CPUtime=0.37 cores=4,6
/proc/29387/task/29442/stat : 29442 (java) S 29384 29387 29350 0 -1 4202560 1851 0 0 0 37 0 0 0 15 0 19 0 371365043 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29446] ppid=29384 vsize=7660944 CPUtime=0.25 cores=4,6
/proc/29387/task/29446/stat : 29446 (java) S 29384 29387 29350 0 -1 4202560 7433 0 2 0 25 0 0 0 15 0 19 0 371365043 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29449] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29449/stat : 29449 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371365043 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29451] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29451/stat : 29451 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365043 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29459] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29459/stat : 29459 (java) S 29384 29387 29350 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 371365061 7844806656 20740 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 7660944

[startup+12.7014 s]

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

[pid=29387/tid=29424] ppid=29384 vsize=7660944 CPUtime=0.18 cores=4,6
/proc/29387/task/29424/stat : 29424 (java) S 29384 29387 29350 0 -1 4202560 1131 0 0 0 18 0 0 0 15 0 19 0 371365033 7844806656 27741 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29426] ppid=29384 vsize=7660944 CPUtime=0.25 cores=4,6
/proc/29387/task/29426/stat : 29426 (java) S 29384 29387 29350 0 -1 4202560 215 0 0 0 25 0 0 0 15 0 19 0 371365033 7844806656 27741 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29427] ppid=29384 vsize=7660944 CPUtime=0.18 cores=4,6
/proc/29387/task/29427/stat : 29427 (java) S 29384 29387 29350 0 -1 4202560 972 0 0 0 18 0 0 0 15 0 19 0 371365033 7844806656 27741 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29429] ppid=29384 vsize=7660944 CPUtime=6.99 cores=4,6
/proc/29387/task/29429/stat : 29429 (java) S 29384 29387 29350 0 -1 4202560 4336 0 0 0 697 2 0 0 15 0 19 0 371365036 7844806656 27741 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 0 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29433] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29433/stat : 29433 (java) S 29384 29387 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7844806656 27741 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29436] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29436/stat : 29436 (java) S 29384 29387 29350 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371365037 7844806656 27741 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29439] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29439/stat : 29439 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371365043 7844806656 27741 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528657841 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29442] ppid=29384 vsize=7660944 CPUtime=0.38 cores=4,6
/proc/29387/task/29442/stat : 29442 (java) S 29384 29387 29350 0 -1 4202560 1856 0 0 0 38 0 0 0 15 0 19 0 371365043 7844806656 27741 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29446] ppid=29384 vsize=7660944 CPUtime=0.25 cores=4,6
/proc/29387/task/29446/stat : 29446 (java) S 29384 29387 29350 0 -1 4202560 7433 0 2 0 25 0 0 0 15 0 19 0 371365043 7844806656 27741 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29449] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29449/stat : 29449 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371365043 7844806656 27741 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29451] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29451/stat : 29451 (java) S 29384 29387 29350 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 371365043 7844806656 27741 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29459] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29459/stat : 29459 (java) S 29384 29387 29350 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 371365061 7844806656 27741 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1183.46
Current children cumulated vsize (KiB) 7660944

[startup+1242.3 s]
/proc/loadavg: 4.06 4.01 3.29 5/266 29525
/proc/meminfo: memFree=10487156/32951124 swapFree=67111524/67111528
[pid=29387] ppid=29384 vsize=7660944 CPUtime=1243.5 cores=4,6
/proc/29387/stat : 29387 (java) S 29384 29387 29350 0 -1 4202496 31146 0 112 0 124341 9 0 0 17 0 19 0 371365020 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29387/statm: 1915236 27813 2255 9 0 1905974 0
[pid=29387/tid=29402] ppid=29384 vsize=7660944 CPUtime=1233.67 cores=4,6
/proc/29387/task/29402/stat : 29402 (java) R 29384 29387 29350 0 -1 4202560 12284 0 50 0 123363 4 0 0 25 0 19 0 371365030 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 46912505607722 0 4 0 16800975 0 0 0 -1 4 0 0 7
[pid=29387/tid=29414] ppid=29384 vsize=7660944 CPUtime=0.21 cores=4,6
/proc/29387/task/29414/stat : 29414 (java) S 29384 29387 29350 0 -1 4202560 760 0 0 0 21 0 0 0 15 0 19 0 371365033 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29416] ppid=29384 vsize=7660944 CPUtime=0.24 cores=4,6
/proc/29387/task/29416/stat : 29416 (java) S 29384 29387 29350 0 -1 4202560 91 0 0 0 24 0 0 0 16 0 19 0 371365033 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29418] ppid=29384 vsize=7660944 CPUtime=0.25 cores=4,6
/proc/29387/task/29418/stat : 29418 (java) S 29384 29387 29350 0 -1 4202560 565 0 0 0 25 0 0 0 15 0 19 0 371365033 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29420] ppid=29384 vsize=7660944 CPUtime=0.21 cores=4,6
/proc/29387/task/29420/stat : 29420 (java) S 29384 29387 29350 0 -1 4202560 81 0 0 0 21 0 0 0 15 0 19 0 371365033 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29422] ppid=29384 vsize=7660944 CPUtime=0.22 cores=4,6
/proc/29387/task/29422/stat : 29422 (java) S 29384 29387 29350 0 -1 4202560 181 0 0 0 22 0 0 0 15 0 19 0 371365033 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29424] ppid=29384 vsize=7660944 CPUtime=0.18 cores=4,6
/proc/29387/task/29424/stat : 29424 (java) S 29384 29387 29350 0 -1 4202560 1132 0 0 0 18 0 0 0 15 0 19 0 371365033 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29426] ppid=29384 vsize=7660944 CPUtime=0.26 cores=4,6
/proc/29387/task/29426/stat : 29426 (java) S 29384 29387 29350 0 -1 4202560 215 0 0 0 26 0 0 0 16 0 19 0 371365033 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29427] ppid=29384 vsize=7660944 CPUtime=0.18 cores=4,6
/proc/29387/task/29427/stat : 29427 (java) S 29384 29387 29350 0 -1 4202560 972 0 0 0 18 0 0 0 15 0 19 0 371365033 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29429] ppid=29384 vsize=7660944 CPUtime=7.35 cores=4,6
/proc/29387/task/29429/stat : 29429 (java) S 29384 29387 29350 0 -1 4202560 4410 0 0 0 733 2 0 0 15 0 19 0 371365036 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 0 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29433] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29433/stat : 29433 (java) S 29384 29387 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29436] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29436/stat : 29436 (java) S 29384 29387 29350 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371365037 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29439] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29439/stat : 29439 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371365043 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528657841 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29442] ppid=29384 vsize=7660944 CPUtime=0.38 cores=4,6
/proc/29387/task/29442/stat : 29442 (java) S 29384 29387 29350 0 -1 4202560 1856 0 0 0 38 0 0 0 15 0 19 0 371365043 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29446] ppid=29384 vsize=7660944 CPUtime=0.25 cores=4,6
/proc/29387/task/29446/stat : 29446 (java) S 29384 29387 29350 0 -1 4202560 7433 0 2 0 25 0 0 0 15 0 19 0 371365043 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29449] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29449/stat : 29449 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371365043 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29451] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29451/stat : 29451 (java) S 29384 29387 29350 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 371365043 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29459] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29459/stat : 29459 (java) S 29384 29387 29350 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 371365061 7844806656 27813 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1243.5
Current children cumulated vsize (KiB) 7660944



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.02 4.01 3.33 6/266 29527
/proc/meminfo: memFree=10485108/32951124 swapFree=67111524/67111528
[pid=29387] ppid=29384 vsize=7660944 CPUtime=1301.25 cores=4,6
/proc/29387/stat : 29387 (java) S 29384 29387 29350 0 -1 4202496 31485 0 112 0 130116 9 0 0 17 0 19 0 371365020 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29387/statm: 1915236 28134 2255 9 0 1905974 0
[pid=29387/tid=29402] ppid=29384 vsize=7660944 CPUtime=1290.99 cores=4,6
/proc/29387/task/29402/stat : 29402 (java) R 29384 29387 29350 0 -1 4202560 12294 0 50 0 129095 4 0 0 25 0 19 0 371365030 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 46912505654979 0 4 0 16800975 0 0 0 -1 4 0 0 7
[pid=29387/tid=29414] ppid=29384 vsize=7660944 CPUtime=0.23 cores=4,6
/proc/29387/task/29414/stat : 29414 (java) S 29384 29387 29350 0 -1 4202560 761 0 0 0 23 0 0 0 15 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29416] ppid=29384 vsize=7660944 CPUtime=0.26 cores=4,6
/proc/29387/task/29416/stat : 29416 (java) S 29384 29387 29350 0 -1 4202560 92 0 0 0 26 0 0 0 16 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29418] ppid=29384 vsize=7660944 CPUtime=0.25 cores=4,6
/proc/29387/task/29418/stat : 29418 (java) S 29384 29387 29350 0 -1 4202560 565 0 0 0 25 0 0 0 15 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29420] ppid=29384 vsize=7660944 CPUtime=0.22 cores=4,6
/proc/29387/task/29420/stat : 29420 (java) S 29384 29387 29350 0 -1 4202560 160 0 0 0 22 0 0 0 15 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29422] ppid=29384 vsize=7660944 CPUtime=0.24 cores=4,6
/proc/29387/task/29422/stat : 29422 (java) S 29384 29387 29350 0 -1 4202560 258 0 0 0 24 0 0 0 15 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29424] ppid=29384 vsize=7660944 CPUtime=0.19 cores=4,6
/proc/29387/task/29424/stat : 29424 (java) S 29384 29387 29350 0 -1 4202560 1132 0 0 0 19 0 0 0 16 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29426] ppid=29384 vsize=7660944 CPUtime=0.28 cores=4,6
/proc/29387/task/29426/stat : 29426 (java) S 29384 29387 29350 0 -1 4202560 216 0 0 0 28 0 0 0 15 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29427] ppid=29384 vsize=7660944 CPUtime=0.2 cores=4,6
/proc/29387/task/29427/stat : 29427 (java) S 29384 29387 29350 0 -1 4202560 972 0 0 0 20 0 0 0 15 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29429] ppid=29384 vsize=7660944 CPUtime=7.68 cores=4,6
/proc/29387/task/29429/stat : 29429 (java) S 29384 29387 29350 0 -1 4202560 4576 0 0 0 766 2 0 0 15 0 19 0 371365036 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 0 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29433] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29433/stat : 29433 (java) S 29384 29387 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29436] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29436/stat : 29436 (java) S 29384 29387 29350 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371365037 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29439] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29439/stat : 29439 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371365043 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528657841 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29442] ppid=29384 vsize=7660944 CPUtime=0.38 cores=4,6
/proc/29387/task/29442/stat : 29442 (java) S 29384 29387 29350 0 -1 4202560 1856 0 0 0 38 0 0 0 15 0 19 0 371365043 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29446] ppid=29384 vsize=7660944 CPUtime=0.25 cores=4,6
/proc/29387/task/29446/stat : 29446 (java) S 29384 29387 29350 0 -1 4202560 7433 0 2 0 25 0 0 0 15 0 19 0 371365043 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29449] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29449/stat : 29449 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371365043 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29451] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29451/stat : 29451 (java) S 29384 29387 29350 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 371365043 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29459] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29459/stat : 29459 (java) S 29384 29387 29350 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 371365061 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1301.25
Current children cumulated vsize (KiB) 7660944

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

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

[startup+1300 s]
/proc/loadavg: 4.02 4.01 3.33 6/266 29527
/proc/meminfo: memFree=10485108/32951124 swapFree=67111524/67111528
[pid=29387] ppid=29384 vsize=7660944 CPUtime=1301.25 cores=4,6
/proc/29387/stat : 29387 (java) S 29384 29387 29350 0 -1 4202496 31485 0 112 0 130116 9 0 0 17 0 19 0 371365020 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29387/statm: 1915236 28134 2255 9 0 1905974 0
[pid=29387/tid=29402] ppid=29384 vsize=7660944 CPUtime=1290.99 cores=4,6
/proc/29387/task/29402/stat : 29402 (java) R 29384 29387 29350 0 -1 4202560 12294 0 50 0 129095 4 0 0 25 0 19 0 371365030 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 46912505654979 0 4 0 16800975 0 0 0 -1 4 0 0 7
[pid=29387/tid=29414] ppid=29384 vsize=7660944 CPUtime=0.23 cores=4,6
/proc/29387/task/29414/stat : 29414 (java) S 29384 29387 29350 0 -1 4202560 761 0 0 0 23 0 0 0 15 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29416] ppid=29384 vsize=7660944 CPUtime=0.26 cores=4,6
/proc/29387/task/29416/stat : 29416 (java) S 29384 29387 29350 0 -1 4202560 92 0 0 0 26 0 0 0 16 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29418] ppid=29384 vsize=7660944 CPUtime=0.25 cores=4,6
/proc/29387/task/29418/stat : 29418 (java) S 29384 29387 29350 0 -1 4202560 565 0 0 0 25 0 0 0 15 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29420] ppid=29384 vsize=7660944 CPUtime=0.22 cores=4,6
/proc/29387/task/29420/stat : 29420 (java) S 29384 29387 29350 0 -1 4202560 160 0 0 0 22 0 0 0 15 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29422] ppid=29384 vsize=7660944 CPUtime=0.24 cores=4,6
/proc/29387/task/29422/stat : 29422 (java) S 29384 29387 29350 0 -1 4202560 258 0 0 0 24 0 0 0 15 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29424] ppid=29384 vsize=7660944 CPUtime=0.19 cores=4,6
/proc/29387/task/29424/stat : 29424 (java) S 29384 29387 29350 0 -1 4202560 1132 0 0 0 19 0 0 0 16 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29426] ppid=29384 vsize=7660944 CPUtime=0.28 cores=4,6
/proc/29387/task/29426/stat : 29426 (java) S 29384 29387 29350 0 -1 4202560 216 0 0 0 28 0 0 0 15 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29427] ppid=29384 vsize=7660944 CPUtime=0.2 cores=4,6
/proc/29387/task/29427/stat : 29427 (java) S 29384 29387 29350 0 -1 4202560 972 0 0 0 20 0 0 0 15 0 19 0 371365033 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29429] ppid=29384 vsize=7660944 CPUtime=7.68 cores=4,6
/proc/29387/task/29429/stat : 29429 (java) S 29384 29387 29350 0 -1 4202560 4576 0 0 0 766 2 0 0 15 0 19 0 371365036 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 0 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29433] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29433/stat : 29433 (java) S 29384 29387 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29436] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29436/stat : 29436 (java) S 29384 29387 29350 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371365037 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29439] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29439/stat : 29439 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371365043 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528657841 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29442] ppid=29384 vsize=7660944 CPUtime=0.38 cores=4,6
/proc/29387/task/29442/stat : 29442 (java) S 29384 29387 29350 0 -1 4202560 1856 0 0 0 38 0 0 0 15 0 19 0 371365043 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29446] ppid=29384 vsize=7660944 CPUtime=0.25 cores=4,6
/proc/29387/task/29446/stat : 29446 (java) S 29384 29387 29350 0 -1 4202560 7433 0 2 0 25 0 0 0 15 0 19 0 371365043 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29449] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29449/stat : 29449 (java) S 29384 29387 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371365043 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650137 0 4 0 16800975 18446604441391330624 0 0 -1 4 0 0 0
[pid=29387/tid=29451] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29451/stat : 29451 (java) S 29384 29387 29350 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 371365043 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
[pid=29387/tid=29459] ppid=29384 vsize=7660944 CPUtime=0 cores=4,6
/proc/29387/task/29459/stat : 29459 (java) S 29384 29387 29350 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 371365061 7844806656 28134 33554432000 1073741824 1073778376 140736712090192 18446744073709551615 246528650752 0 4 0 16800975 18446604441391330624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1301.25
Current children cumulated vsize (KiB) 7660944

Child status: 143
Real time (s): 1300.04
CPU time (s): 1301.31
CPU user time (s): 1301.21
CPU system time (s): 0.100984
CPU usage (%): 100.098
Max. virtual memory (cumulated for all children) (KiB): 7663984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.21
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31520
page faults= 112
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35031
involuntary context switches= 8324

runsolver used 2.30665 second user time and 4.80827 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-12 10:41:08
IDJOB=3190260
IDBENCH=82591
IDSOLVER=1611
FILE ID=node134/3190260-1302597668
RUNJOBID= node134-1302597668-29369
PBS_JOBID= 12958108
Free space on /tmp= 71436 MiB

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

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

MD5SUM BENCH= 811f95ba5a9b338808c76dfc6ace0a83
RANDOM SEED=1121015898

node134.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.831
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.66
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.831
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.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.80
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.831
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.83
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.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11094432 kB
Buffers:        688580 kB
Cached:       20654392 kB
SwapCached:          4 kB
Active:        9712420 kB
Inactive:     11694024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11094432 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            1312 kB
Writeback:           0 kB
AnonPages:       63920 kB
Mapped:          14880 kB
Slab:           384672 kB
PageTables:       5536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186952 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71432 MiB
End job on node134 at 2011-04-12 11:02:50