Trace number 3190229

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf
MD5SUM1739c47038d88c1ec678774e95926496
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.3258
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.08/0.30	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.30	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.30	c See www.sat4j.org for details.
0.08/0.30	c no version file found!!!
0.08/0.30	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.30	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.30	c java.vm.version	19.1-b02
0.08/0.30	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.30	c sun.arch.data.model	64
0.08/0.30	c java.version		1.6.0_24
0.08/0.30	c os.name		Linux
0.08/0.30	c os.version		2.6.18-164.el5
0.08/0.30	c os.arch		amd64
0.08/0.30	c Free memory 		6997539544
0.08/0.30	c Max memory 		7034241024
0.08/0.30	c Total memory 		7034241024
0.08/0.30	c Number of processors 	8
0.08/0.33	c --- Begin Solver configuration ---
0.08/0.33	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.08/0.33	c Learn all clauses as in MiniSAT
0.08/0.33	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.08/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.08/0.33	c Expensive reason simplification
0.08/0.33	c Armin Biere (Picosat) restarts strategy
0.08/0.33	c Glucose learned constraints deletion strategy
0.08/0.33	c timeout=2147483647s
0.08/0.33	c DB Simplification allowed=true
0.08/0.33	c --- End Solver configuration ---
0.08/0.33	c solving HOME/instance-3190229-1302597452.cnf
0.08/0.33	c reading problem ... 
0.23/0.42	c ... done. Wall clock time 0.095s.
0.23/0.42	c #vars     5000
0.23/0.42	c #constraints  21000
0.23/0.42	c constraints type 
0.23/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21000
1.76/1.53	c cleaning 2497 clauses out of 5001 with flag 5001/5001
2.68/2.49	c cleaning 4246 clauses out of 8503 with flag 11000/11000
3.88/3.64	c cleaning 5624 clauses out of 11257 with flag 18000/18000
5.28/5.00	c cleaning 6808 clauses out of 13633 with flag 26000/26000
6.81/6.53	c cleaning 7907 clauses out of 15825 with flag 35000/35000
8.51/8.27	c cleaning 8959 clauses out of 17919 with flag 45001/45001
10.51/10.20	c cleaning 9976 clauses out of 19959 with flag 56000/56000
12.71/12.42	c cleaning 10984 clauses out of 21983 with flag 68000/68000
15.01/14.76	c cleaning 11995 clauses out of 24002 with flag 81003/81003
17.62/17.36	c cleaning 12995 clauses out of 26004 with flag 95000/95000
20.52/20.26	c cleaning 14002 clauses out of 28011 with flag 110002/110002
23.72/23.40	c cleaning 15001 clauses out of 30008 with flag 126001/126001
27.02/26.74	c cleaning 16002 clauses out of 32006 with flag 143000/143000
30.63/30.36	c cleaning 16991 clauses out of 34004 with flag 161000/161000
34.63/34.32	c cleaning 18002 clauses out of 36015 with flag 180002/180002
38.85/38.60	c cleaning 19000 clauses out of 38014 with flag 200003/200003
43.44/43.13	c cleaning 19999 clauses out of 40011 with flag 221000/221000
48.04/47.76	c cleaning 20502 clauses out of 41012 with flag 242000/242000
52.45/52.18	c cleaning 20745 clauses out of 41512 with flag 263002/263002
57.05/56.74	c cleaning 20878 clauses out of 41766 with flag 284001/284001
61.66/61.34	c cleaning 20938 clauses out of 41888 with flag 305001/305001
66.06/65.72	c cleaning 20966 clauses out of 41949 with flag 326000/326000
70.56/70.22	c cleaning 20984 clauses out of 41983 with flag 347000/347000
75.17/74.87	c cleaning 20996 clauses out of 42001 with flag 368002/368002
79.57/79.29	c cleaning 20989 clauses out of 42003 with flag 389000/389000
84.27/83.98	c cleaning 21004 clauses out of 42017 with flag 410003/410003
88.77/88.41	c cleaning 21001 clauses out of 42010 with flag 431000/431000
93.37/93.08	c cleaning 20999 clauses out of 42010 with flag 452001/452001
97.88/97.57	c cleaning 20995 clauses out of 42012 with flag 473002/473002
102.38/102.05	c cleaning 20997 clauses out of 42016 with flag 494001/494001
106.98/106.67	c cleaning 21000 clauses out of 42018 with flag 515000/515000
111.49/111.13	c cleaning 21000 clauses out of 42019 with flag 536001/536001
116.29/115.91	c cleaning 21007 clauses out of 42019 with flag 557001/557001
120.69/120.31	c cleaning 21001 clauses out of 42012 with flag 578001/578001
125.19/124.80	c cleaning 20998 clauses out of 42011 with flag 599001/599001
129.89/129.59	c cleaning 20996 clauses out of 42012 with flag 620000/620000
134.30/133.96	c cleaning 21004 clauses out of 42017 with flag 641001/641001
138.80/138.41	c cleaning 20995 clauses out of 42012 with flag 662000/662000
143.60/143.24	c cleaning 21001 clauses out of 42017 with flag 683000/683000
148.01/147.66	c cleaning 20991 clauses out of 42016 with flag 704000/704000
152.51/152.13	c cleaning 21001 clauses out of 42025 with flag 725000/725000
157.11/156.75	c cleaning 21003 clauses out of 42025 with flag 746001/746001
161.72/161.33	c cleaning 21006 clauses out of 42021 with flag 767000/767000
166.13/165.72	c cleaning 20999 clauses out of 42017 with flag 788002/788002
170.63/170.24	c cleaning 20996 clauses out of 42017 with flag 809001/809001
175.44/175.02	c cleaning 21006 clauses out of 42020 with flag 830000/830000
179.84/179.47	c cleaning 20998 clauses out of 42014 with flag 851000/851000
184.34/183.97	c cleaning 20996 clauses out of 42017 with flag 872001/872001
188.94/188.52	c cleaning 21003 clauses out of 42021 with flag 893001/893001
193.64/193.28	c cleaning 21005 clauses out of 42020 with flag 914003/914003
198.14/197.77	c cleaning 21000 clauses out of 42013 with flag 935001/935001
202.65/202.27	c cleaning 20998 clauses out of 42014 with flag 956002/956002
207.25/206.85	c cleaning 21000 clauses out of 42017 with flag 977003/977003
211.85/211.42	c cleaning 20997 clauses out of 42014 with flag 998000/998000
216.56/216.18	c cleaning 21004 clauses out of 42018 with flag 1019001/1019001
221.06/220.67	c cleaning 21001 clauses out of 42013 with flag 1040000/1040000
225.56/225.17	c cleaning 20988 clauses out of 42012 with flag 1061000/1061000
230.16/229.73	c cleaning 21000 clauses out of 42025 with flag 1082001/1082001
234.87/234.46	c cleaning 20997 clauses out of 42024 with flag 1103000/1103000
239.87/239.47	c cleaning 21010 clauses out of 42028 with flag 1124001/1124001
244.37/243.96	c cleaning 21003 clauses out of 42018 with flag 1145001/1145001
248.88/248.45	c cleaning 20987 clauses out of 42014 with flag 1166000/1166000
253.48/253.01	c cleaning 21002 clauses out of 42028 with flag 1187001/1187001
258.18/257.71	c cleaning 21002 clauses out of 42027 with flag 1208002/1208002
262.78/262.39	c cleaning 20994 clauses out of 42023 with flag 1229000/1229000
267.49/267.00	c cleaning 21006 clauses out of 42030 with flag 1250001/1250001
271.99/271.51	c cleaning 20997 clauses out of 42025 with flag 1271002/1271002
276.49/276.06	c cleaning 21004 clauses out of 42027 with flag 1292001/1292001
281.19/280.73	c cleaning 21003 clauses out of 42024 with flag 1313002/1313002
285.70/285.28	c cleaning 20996 clauses out of 42019 with flag 1334000/1334000
290.50/290.03	c cleaning 21007 clauses out of 42023 with flag 1355000/1355000
295.20/294.70	c cleaning 21005 clauses out of 42016 with flag 1376000/1376000
299.60/299.18	c cleaning 20989 clauses out of 42012 with flag 1397001/1397001
304.13/303.68	c cleaning 21001 clauses out of 42023 with flag 1418001/1418001
308.83/308.36	c cleaning 21006 clauses out of 42021 with flag 1439000/1439000
313.53/313.03	c cleaning 20999 clauses out of 42015 with flag 1460000/1460000
318.44/317.91	c cleaning 21000 clauses out of 42017 with flag 1481001/1481001
323.44/322.97	c cleaning 21002 clauses out of 42016 with flag 1502000/1502000
327.94/327.49	c cleaning 21000 clauses out of 42014 with flag 1523000/1523000
332.44/331.97	c cleaning 21003 clauses out of 42016 with flag 1544002/1544002
336.94/336.48	c cleaning 20993 clauses out of 42011 with flag 1565000/1565000
341.65/341.14	c cleaning 20998 clauses out of 42018 with flag 1586000/1586000
346.35/345.82	c cleaning 21008 clauses out of 42020 with flag 1607000/1607000
351.15/350.68	c cleaning 20993 clauses out of 42013 with flag 1628001/1628001
355.96/355.41	c cleaning 21003 clauses out of 42020 with flag 1649001/1649001
360.66/360.14	c cleaning 21001 clauses out of 42016 with flag 1670000/1670000
365.16/364.62	c cleaning 21003 clauses out of 42016 with flag 1691001/1691001
369.56/369.09	c cleaning 20999 clauses out of 42014 with flag 1712002/1712002
374.27/373.73	c cleaning 20989 clauses out of 42013 with flag 1733000/1733000
378.88/378.31	c cleaning 20996 clauses out of 42024 with flag 1754000/1754000
383.48/382.95	c cleaning 21003 clauses out of 42028 with flag 1775000/1775000
388.38/387.82	c cleaning 21000 clauses out of 42025 with flag 1796000/1796000
393.49/392.90	c cleaning 20995 clauses out of 42027 with flag 1817002/1817002
398.29/397.73	c cleaning 21004 clauses out of 42031 with flag 1838001/1838001
402.79/402.28	c cleaning 21008 clauses out of 42026 with flag 1859000/1859000
407.39/406.85	c cleaning 20990 clauses out of 42020 with flag 1880002/1880002
412.00/411.44	c cleaning 21010 clauses out of 42029 with flag 1901001/1901001
416.80/416.23	c cleaning 20999 clauses out of 42019 with flag 1922001/1922001
421.70/421.19	c cleaning 21002 clauses out of 42021 with flag 1943002/1943002
426.51/425.97	c cleaning 20982 clauses out of 42017 with flag 1964000/1964000
431.61/431.02	c cleaning 21008 clauses out of 42037 with flag 1985002/1985002
436.51/435.98	c cleaning 20991 clauses out of 42027 with flag 2006000/2006000
441.41/440.81	c cleaning 21015 clauses out of 42036 with flag 2027000/2027000
445.92/445.32	c cleaning 21007 clauses out of 42021 with flag 2048000/2048000
450.52/449.93	c cleaning 21006 clauses out of 42015 with flag 2069001/2069001
455.12/454.57	c cleaning 20994 clauses out of 42008 with flag 2090000/2090000
459.92/459.32	c cleaning 21000 clauses out of 42014 with flag 2111000/2111000
464.83/464.20	c cleaning 20993 clauses out of 42014 with flag 2132000/2132000
469.83/469.25	c cleaning 20999 clauses out of 42021 with flag 2153000/2153000
474.84/474.22	c cleaning 20998 clauses out of 42022 with flag 2174000/2174000
479.73/479.14	c cleaning 20995 clauses out of 42024 with flag 2195000/2195000
484.74/484.13	c cleaning 21004 clauses out of 42030 with flag 2216001/2216001
489.44/488.89	c cleaning 21009 clauses out of 42026 with flag 2237001/2237001
493.94/493.38	c cleaning 20993 clauses out of 42016 with flag 2258000/2258000
498.54/497.98	c cleaning 21002 clauses out of 42023 with flag 2279000/2279000
503.25/502.66	c cleaning 20993 clauses out of 42022 with flag 2300001/2300001
507.95/507.30	c cleaning 21003 clauses out of 42028 with flag 2321000/2321000
512.65/512.04	c cleaning 21002 clauses out of 42027 with flag 2342002/2342002
517.66/517.06	c cleaning 21001 clauses out of 42026 with flag 2363003/2363003
522.66/522.02	c cleaning 21001 clauses out of 42022 with flag 2384000/2384000
527.57/526.93	c cleaning 20992 clauses out of 42021 with flag 2405000/2405000
532.67/532.06	c cleaning 21006 clauses out of 42030 with flag 2426001/2426001
538.17/537.54	c cleaning 21000 clauses out of 42024 with flag 2447001/2447001
542.87/542.21	c cleaning 21010 clauses out of 42024 with flag 2468001/2468001
547.38/546.75	c cleaning 20993 clauses out of 42013 with flag 2489000/2489000
552.08/551.41	c cleaning 20994 clauses out of 42020 with flag 2510000/2510000
556.68/556.07	c cleaning 21006 clauses out of 42026 with flag 2531000/2531000
561.59/560.91	c cleaning 20996 clauses out of 42020 with flag 2552000/2552000
566.39/565.79	c cleaning 20992 clauses out of 42025 with flag 2573001/2573001
571.39/570.75	c cleaning 21006 clauses out of 42033 with flag 2594001/2594001
576.40/575.70	c cleaning 20999 clauses out of 42026 with flag 2615000/2615000
581.40/580.79	c cleaning 20999 clauses out of 42027 with flag 2636000/2636000
586.60/585.95	c cleaning 21005 clauses out of 42031 with flag 2657003/2657003
592.01/591.37	c cleaning 21008 clauses out of 42024 with flag 2678001/2678001
597.51/596.84	c cleaning 20999 clauses out of 42017 with flag 2699002/2699002
602.12/601.46	c cleaning 21000 clauses out of 42016 with flag 2720000/2720000
606.63/605.96	c cleaning 21004 clauses out of 42017 with flag 2741001/2741001
611.34/610.65	c cleaning 20998 clauses out of 42014 with flag 2762002/2762002
616.13/615.43	c cleaning 21004 clauses out of 42014 with flag 2783000/2783000
620.83/620.19	c cleaning 20987 clauses out of 42010 with flag 2804000/2804000
625.64/624.97	c cleaning 21003 clauses out of 42023 with flag 2825000/2825000
630.64/629.94	c cleaning 20998 clauses out of 42021 with flag 2846001/2846001
635.64/634.95	c cleaning 20989 clauses out of 42023 with flag 2867001/2867001
640.75/640.02	c cleaning 21007 clauses out of 42035 with flag 2888002/2888002
646.05/645.35	c cleaning 21006 clauses out of 42027 with flag 2909001/2909001
651.46/650.79	c cleaning 21002 clauses out of 42020 with flag 2930000/2930000
657.26/656.58	c cleaning 20998 clauses out of 42018 with flag 2951000/2951000
662.87/662.16	c cleaning 20999 clauses out of 42020 with flag 2972000/2972000
667.47/666.76	c cleaning 21004 clauses out of 42023 with flag 2993002/2993002
672.07/671.31	c cleaning 21000 clauses out of 42018 with flag 3014001/3014001
676.67/675.90	c cleaning 20991 clauses out of 42017 with flag 3035000/3035000
681.37/680.63	c cleaning 21004 clauses out of 42026 with flag 3056000/3056000
686.28/685.57	c cleaning 21004 clauses out of 42022 with flag 3077000/3077000
691.18/690.40	c cleaning 20997 clauses out of 42019 with flag 3098001/3098001
696.18/695.40	c cleaning 21006 clauses out of 42022 with flag 3119001/3119001
701.19/700.43	c cleaning 20995 clauses out of 42016 with flag 3140001/3140001
706.20/705.47	c cleaning 20996 clauses out of 42021 with flag 3161001/3161001
711.51/710.77	c cleaning 20995 clauses out of 42026 with flag 3182002/3182002
717.20/716.48	c cleaning 21003 clauses out of 42029 with flag 3203000/3203000
722.71/721.94	c cleaning 20985 clauses out of 42027 with flag 3224001/3224001
727.81/727.08	c cleaning 21003 clauses out of 42041 with flag 3245000/3245000
733.02/732.22	c cleaning 21015 clauses out of 42041 with flag 3266003/3266003
738.12/737.32	c cleaning 21007 clauses out of 42023 with flag 3287000/3287000
742.63/741.81	c cleaning 20989 clauses out of 42016 with flag 3308000/3308000
747.13/746.31	c cleaning 21008 clauses out of 42028 with flag 3329001/3329001
751.73/750.98	c cleaning 21008 clauses out of 42022 with flag 3350003/3350003
756.54/755.72	c cleaning 20989 clauses out of 42011 with flag 3371000/3371000
761.24/760.48	c cleaning 20995 clauses out of 42022 with flag 3392000/3392000
766.24/765.42	c cleaning 21003 clauses out of 42028 with flag 3413001/3413001
771.25/770.40	c cleaning 20999 clauses out of 42026 with flag 3434002/3434002
776.35/775.57	c cleaning 21004 clauses out of 42027 with flag 3455002/3455002
781.45/780.67	c cleaning 20991 clauses out of 42022 with flag 3476001/3476001
786.56/785.70	c cleaning 21012 clauses out of 42030 with flag 3497000/3497000
791.46/790.64	c cleaning 20988 clauses out of 42018 with flag 3518000/3518000
796.37/795.55	c cleaning 21003 clauses out of 42034 with flag 3539004/3539004
801.47/800.69	c cleaning 21002 clauses out of 42028 with flag 3560001/3560001
807.28/806.44	c cleaning 20992 clauses out of 42025 with flag 3581000/3581000
812.38/811.53	c cleaning 20995 clauses out of 42034 with flag 3602001/3602001
817.28/816.47	c cleaning 21005 clauses out of 42039 with flag 3623001/3623001
821.88/821.01	c cleaning 21014 clauses out of 42033 with flag 3644000/3644000
826.49/825.62	c cleaning 20999 clauses out of 42019 with flag 3665000/3665000
831.09/830.27	c cleaning 20997 clauses out of 42020 with flag 3686000/3686000
835.90/835.09	c cleaning 20996 clauses out of 42023 with flag 3707000/3707000
840.80/839.90	c cleaning 20997 clauses out of 42027 with flag 3728000/3728000
845.80/844.96	c cleaning 21003 clauses out of 42031 with flag 3749001/3749001
850.80/849.93	c cleaning 21007 clauses out of 42028 with flag 3770001/3770001
855.91/855.08	c cleaning 20995 clauses out of 42021 with flag 3791001/3791001
860.81/859.98	c cleaning 20996 clauses out of 42025 with flag 3812000/3812000
865.81/864.92	c cleaning 20993 clauses out of 42030 with flag 3833001/3833001
870.82/869.92	c cleaning 21008 clauses out of 42037 with flag 3854001/3854001
875.82/874.91	c cleaning 21001 clauses out of 42028 with flag 3875000/3875000
881.03/880.18	c cleaning 21000 clauses out of 42028 with flag 3896001/3896001
886.73/885.84	c cleaning 21010 clauses out of 42028 with flag 3917001/3917001
892.43/891.50	c cleaning 20987 clauses out of 42017 with flag 3938000/3938000
897.44/896.52	c cleaning 20994 clauses out of 42030 with flag 3959000/3959000
903.14/902.23	c cleaning 21004 clauses out of 42036 with flag 3980000/3980000
907.75/906.85	c cleaning 21009 clauses out of 42032 with flag 4001000/4001000
912.45/911.51	c cleaning 21002 clauses out of 42023 with flag 4022000/4022000
917.15/916.22	c cleaning 21004 clauses out of 42022 with flag 4043001/4043001
921.76/920.89	c cleaning 20997 clauses out of 42020 with flag 4064003/4064003
926.56/925.67	c cleaning 20990 clauses out of 42020 with flag 4085000/4085000
931.57/930.67	c cleaning 20993 clauses out of 42030 with flag 4106000/4106000
936.46/935.50	c cleaning 20997 clauses out of 42037 with flag 4127000/4127000
941.37/940.48	c cleaning 21000 clauses out of 42040 with flag 4148000/4148000
946.57/945.66	c cleaning 21015 clauses out of 42040 with flag 4169000/4169000
952.18/951.21	c cleaning 21007 clauses out of 42028 with flag 4190003/4190003
957.49/956.59	c cleaning 20999 clauses out of 42018 with flag 4211000/4211000
963.09/962.16	c cleaning 21001 clauses out of 42019 with flag 4232000/4232000
968.60/967.65	c cleaning 20988 clauses out of 42018 with flag 4253000/4253000
973.80/972.84	c cleaning 21002 clauses out of 42030 with flag 4274000/4274000
978.91/977.91	c cleaning 20995 clauses out of 42028 with flag 4295000/4295000
984.42/983.42	c cleaning 21008 clauses out of 42033 with flag 4316000/4316000
990.02/989.01	c cleaning 21005 clauses out of 42026 with flag 4337001/4337001
995.12/994.11	c cleaning 20993 clauses out of 42020 with flag 4358000/4358000
1000.93/999.93	c cleaning 20996 clauses out of 42027 with flag 4379000/4379000
1005.63/1004.66	c cleaning 21004 clauses out of 42032 with flag 4400001/4400001
1010.23/1009.20	c cleaning 21000 clauses out of 42027 with flag 4421000/4421000
1014.83/1013.80	c cleaning 20999 clauses out of 42028 with flag 4442001/4442001
1019.54/1018.50	c cleaning 21006 clauses out of 42028 with flag 4463000/4463000
1024.34/1023.36	c cleaning 21000 clauses out of 42023 with flag 4484001/4484001
1029.24/1028.24	c cleaning 21001 clauses out of 42022 with flag 4505000/4505000
1034.35/1033.32	c cleaning 20997 clauses out of 42023 with flag 4526002/4526002
1039.35/1038.37	c cleaning 20988 clauses out of 42025 with flag 4547001/4547001
1044.36/1043.35	c cleaning 21001 clauses out of 42038 with flag 4568002/4568002
1049.56/1048.52	c cleaning 20998 clauses out of 42036 with flag 4589001/4589001
1054.86/1053.82	c cleaning 21003 clauses out of 42038 with flag 4610001/4610001
1059.76/1058.77	c cleaning 21000 clauses out of 42035 with flag 4631001/4631001
1064.97/1063.95	c cleaning 20990 clauses out of 42034 with flag 4652000/4652000
1070.07/1069.01	c cleaning 21008 clauses out of 42045 with flag 4673001/4673001
1075.18/1074.14	c cleaning 21004 clauses out of 42036 with flag 4694000/4694000
1081.08/1080.01	c cleaning 20997 clauses out of 42034 with flag 4715002/4715002
1086.28/1085.26	c cleaning 21005 clauses out of 42036 with flag 4736001/4736001
1091.39/1090.38	c cleaning 21004 clauses out of 42030 with flag 4757000/4757000
1097.49/1096.46	c cleaning 21001 clauses out of 42028 with flag 4778002/4778002
1102.60/1101.56	c cleaning 20994 clauses out of 42025 with flag 4799000/4799000
1108.30/1107.29	c cleaning 20998 clauses out of 42031 with flag 4820000/4820000
1113.21/1112.16	c cleaning 21012 clauses out of 42033 with flag 4841000/4841000
1117.81/1116.72	c cleaning 21004 clauses out of 42022 with flag 4862001/4862001
1122.41/1121.34	c cleaning 20997 clauses out of 42017 with flag 4883000/4883000
1127.12/1126.05	c cleaning 20999 clauses out of 42020 with flag 4904000/4904000
1131.93/1130.87	c cleaning 20998 clauses out of 42021 with flag 4925000/4925000
1136.83/1135.74	c cleaning 21000 clauses out of 42023 with flag 4946000/4946000
1141.83/1140.75	c cleaning 21000 clauses out of 42024 with flag 4967001/4967001
1147.03/1145.93	c cleaning 20998 clauses out of 42023 with flag 4988000/4988000
1152.23/1151.13	c cleaning 20998 clauses out of 42027 with flag 5009002/5009002
1157.14/1156.05	c cleaning 21008 clauses out of 42027 with flag 5030000/5030000
1162.14/1161.04	c cleaning 21002 clauses out of 42019 with flag 5051000/5051000
1167.15/1166.07	c cleaning 21000 clauses out of 42018 with flag 5072001/5072001
1172.25/1171.14	c cleaning 21006 clauses out of 42020 with flag 5093003/5093003
1177.35/1176.21	c cleaning 20985 clauses out of 42014 with flag 5114003/5114003
1182.96/1181.84	c cleaning 21004 clauses out of 42026 with flag 5135000/5135000
1188.86/1187.71	c cleaning 21004 clauses out of 42022 with flag 5156000/5156000
1193.97/1192.81	c cleaning 21000 clauses out of 42020 with flag 5177002/5177002
1199.38/1198.26	c cleaning 21004 clauses out of 42020 with flag 5198002/5198002
1204.78/1203.69	c cleaning 20989 clauses out of 42014 with flag 5219000/5219000
1210.09/1208.94	c cleaning 20996 clauses out of 42025 with flag 5240000/5240000
1215.70/1214.59	c cleaning 20990 clauses out of 42029 with flag 5261000/5261000
1220.90/1219.70	c cleaning 21001 clauses out of 42040 with flag 5282001/5282001
1226.60/1225.42	c cleaning 21009 clauses out of 42038 with flag 5303000/5303000
1232.00/1230.88	c cleaning 21011 clauses out of 42032 with flag 5324003/5324003
1236.62/1235.48	c cleaning 20998 clauses out of 42020 with flag 5345002/5345002
1241.31/1240.10	c cleaning 20995 clauses out of 42020 with flag 5366000/5366000
1246.02/1244.80	c cleaning 20996 clauses out of 42025 with flag 5387000/5387000
1250.82/1249.69	c cleaning 21002 clauses out of 42030 with flag 5408001/5408001
1255.72/1254.57	c cleaning 21001 clauses out of 42028 with flag 5429001/5429001
1260.83/1259.63	c cleaning 21000 clauses out of 42026 with flag 5450000/5450000
1266.03/1264.89	c cleaning 20995 clauses out of 42027 with flag 5471001/5471001
1271.13/1269.92	c cleaning 21006 clauses out of 42033 with flag 5492002/5492002
1276.34/1275.10	c cleaning 20994 clauses out of 42025 with flag 5513000/5513000
1281.34/1280.17	c cleaning 21003 clauses out of 42032 with flag 5534001/5534001
1286.45/1285.29	c cleaning 21004 clauses out of 42028 with flag 5555000/5555000
1291.56/1290.38	c cleaning 20987 clauses out of 42025 with flag 5576001/5576001
1297.16/1295.91	c cleaning 21010 clauses out of 42038 with flag 5597001/5597001
1301.27/1300.01	c starts		: 2205
1301.27/1300.01	c conflicts		: 5613369
1301.27/1300.01	c decisions		: 8299811
1301.27/1300.01	c propagations		: 1821488523
1301.27/1300.01	c inspects		: 9250723484
1301.27/1300.01	c shortcuts		: 0
1301.27/1300.01	c learnt literals	: 0
1301.27/1300.01	c learnt binary clauses	: 0
1301.27/1300.01	c learnt ternary clauses	: 80
1301.27/1300.01	c learnt constraints	: 5613369
1301.27/1300.01	c ignored constraints	: 0
1301.27/1300.01	c root simplifications	: 2205
1301.27/1300.01	c removed literals (reason simplification)	: 101584807
1301.27/1300.01	c reason swapping (by a shorter reason)	: 0
1301.27/1300.01	c Calls to reduceDB	: 273
1301.27/1300.01	c speed (assignments/second)	: 1401587.2675228342
1301.27/1300.01	c non guided choices	475
1301.27/1300.03	c learnt constraints type 
1301.27/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 37416
1301.27/1300.03	c constraints type 
1301.27/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21000
1301.27/1300.03	s UNKNOWN
1301.27/1300.03	c Total wall clock time (in seconds) : 1299.686

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 0.92 1.01 1.34 1/176 18143
/proc/meminfo: memFree=13929116/32951124 swapFree=67111528/67111528
[pid=18143] ppid=18141 vsize=128 CPUtime=0 cores=5,7
/proc/18143/stat : 18143 (java) D 18141 18143 18109 0 -1 4194304 49 0 0 0 0 0 0 0 25 0 1 0 352160716 131072 1 33554432000 0 0 140735370204910 18446744073709551615 5012135 0 0 4096 0 18446744071562234166 0 0 17 5 0 0 0
/proc/18143/statm: 32 1 0 0 0 21 0

[startup+0.101423 s]
/proc/loadavg: 0.92 1.01 1.34 1/176 18143
/proc/meminfo: memFree=13929116/32951124 swapFree=67111528/67111528
[pid=18143] ppid=18141 vsize=23028 CPUtime=0 cores=5,7
/proc/18143/stat : 18143 (java) D 18141 18143 18109 0 -1 4202496 974 0 43 0 0 0 0 0 18 0 1 0 352160716 23580672 758 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 47555464387280 0 0 4096 0 18446744071562234166 0 0 17 7 0 0 8
/proc/18143/statm: 5757 758 557 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.200447 s]
/proc/loadavg: 0.92 1.01 1.34 1/176 18143
/proc/meminfo: memFree=13929116/32951124 swapFree=67111528/67111528
[pid=18143] ppid=18141 vsize=7562296 CPUtime=0.03 cores=5,7
/proc/18143/stat : 18143 (java) S 18141 18143 18109 0 -1 4202496 8406 0 112 0 2 1 0 0 18 0 11 0 352160716 7743791104 8213 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 11
/proc/18143/statm: 1890574 8213 1623 9 0 1881322 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7562296

[startup+0.300324 s]
/proc/loadavg: 0.92 1.01 1.34 1/176 18143
/proc/meminfo: memFree=13929116/32951124 swapFree=67111528/67111528
[pid=18143] ppid=18141 vsize=7569940 CPUtime=0.08 cores=5,7
/proc/18143/stat : 18143 (java) S 18141 18143 18109 0 -1 4202496 9300 0 112 0 6 2 0 0 18 0 18 0 352160716 7751618560 9105 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 11
/proc/18143/statm: 1892485 9105 1754 9 0 1883223 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7569940

[startup+0.700251 s]
/proc/loadavg: 0.92 1.01 1.34 1/176 18143
/proc/meminfo: memFree=13929116/32951124 swapFree=67111528/67111528
[pid=18143] ppid=18141 vsize=7639116 CPUtime=0.83 cores=5,7
/proc/18143/stat : 18143 (java) S 18141 18143 18109 0 -1 4202496 15135 0 114 0 80 3 0 0 18 0 19 0 352160716 7822454784 13223 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 11
/proc/18143/statm: 1909779 13223 2220 9 0 1900517 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 7639116

[startup+1.50114 s]
/proc/loadavg: 0.92 1.01 1.34 8/262 18242
/proc/meminfo: memFree=13729348/32951124 swapFree=67111528/67111528
[pid=18143] ppid=18141 vsize=7640468 CPUtime=1.76 cores=5,7
/proc/18143/stat : 18143 (java) S 18141 18143 18109 0 -1 4202496 16088 0 114 0 173 3 0 0 18 0 19 0 352160716 7823839232 14175 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 11
/proc/18143/statm: 1910117 14175 2227 9 0 1900855 0
[pid=18143/tid=18151] ppid=18141 vsize=7640468 CPUtime=1.25 cores=5,7
/proc/18143/task/18151/stat : 18151 (java) R 18141 18143 18109 0 -1 4202560 10095 0 56 0 123 2 0 0 18 0 19 0 352160730 7823839232 14175 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107276981 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=18143/tid=18157] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18157/stat : 18157 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352160732 7823839232 14175 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18160] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18160/stat : 18160 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160732 7823839232 14175 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18162] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18162/stat : 18162 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160732 7823839232 14175 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18164] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18164/stat : 18164 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160732 7823839232 14175 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18166] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18166/stat : 18166 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160732 7823839232 14175 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18167] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18167/stat : 18167 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160732 7823839232 14175 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18169] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18169/stat : 18169 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160732 7823839232 14175 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18172] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18172/stat : 18172 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160732 7823839232 14177 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18175] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18175/stat : 18175 (java) S 18141 18143 18109 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 352160735 7823839232 14177 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 0 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18182] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18182/stat : 18182 (java) S 18141 18143 18109 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 352160737 7823839232 14177 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18184] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18184/stat : 18184 (java) S 18141 18143 18109 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 352160737 7823839232 14177 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18208] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18208/stat : 18208 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160742 7823839232 14178 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107274673 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18211] ppid=18141 vsize=7640468 CPUtime=0.44 cores=5,7
/proc/18143/task/18211/stat : 18211 (java) S 18141 18143 18109 0 -1 4202560 4083 0 0 0 44 0 0 0 16 0 19 0 352160742 7823839232 14178 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18215] ppid=18141 vsize=7640468 CPUtime=0.05 cores=5,7
/proc/18143/task/18215/stat : 18215 (java) R 18141 18143 18109 0 -1 4202560 803 0 2 0 5 0 0 0 15 0 19 0 352160742 7823839232 14178 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 47555468034544 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18143/tid=18216] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18216/stat : 18216 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352160742 7823839232 14178 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18220] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18220/stat : 18220 (java) S 18141 18143 18109 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 352160742 7823839232 14178 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18241] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18241/stat : 18241 (java) S 18141 18143 18109 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352160761 7823839232 14178 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 7640468

[startup+3.10081 s]
/proc/loadavg: 0.92 1.01 1.34 6/262 18242
/proc/meminfo: memFree=13662388/32951124 swapFree=67111528/67111528
[pid=18143] ppid=18141 vsize=7640468 CPUtime=3.38 cores=5,7
/proc/18143/stat : 18143 (java) S 18141 18143 18109 0 -1 4202496 18834 0 114 0 335 3 0 0 18 0 19 0 352160716 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 11
/proc/18143/statm: 1910117 16918 2255 9 0 1900855 0
[pid=18143/tid=18151] ppid=18141 vsize=7640468 CPUtime=2.76 cores=5,7
/proc/18143/task/18151/stat : 18151 (java) R 18141 18143 18109 0 -1 4202560 10100 0 56 0 274 2 0 0 19 0 19 0 352160730 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 46912505688991 0 4 0 16800975 0 0 0 -1 7 0 0 8
[pid=18143/tid=18157] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18157/stat : 18157 (java) S 18141 18143 18109 0 -1 4202560 558 0 0 0 0 0 0 0 18 0 19 0 352160732 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18160] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18160/stat : 18160 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352160732 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18162] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18162/stat : 18162 (java) S 18141 18143 18109 0 -1 4202560 103 0 0 0 0 0 0 0 16 0 19 0 352160732 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18164] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18164/stat : 18164 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352160732 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18166] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18166/stat : 18166 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352160732 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18167] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18167/stat : 18167 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352160732 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18169] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18169/stat : 18169 (java) S 18141 18143 18109 0 -1 4202560 376 0 0 0 0 0 0 0 18 0 19 0 352160732 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18172] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18172/stat : 18172 (java) S 18141 18143 18109 0 -1 4202560 583 0 0 0 0 0 0 0 16 0 19 0 352160732 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18175] ppid=18141 vsize=7640468 CPUtime=0.03 cores=5,7
/proc/18143/task/18175/stat : 18175 (java) S 18141 18143 18109 0 -1 4202560 1114 0 0 0 3 0 0 0 16 0 19 0 352160735 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 0 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18182] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18182/stat : 18182 (java) S 18141 18143 18109 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 352160737 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18184] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18184/stat : 18184 (java) S 18141 18143 18109 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352160737 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18208] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18208/stat : 18208 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160742 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107274673 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18211] ppid=18141 vsize=7640468 CPUtime=0.45 cores=5,7
/proc/18143/task/18211/stat : 18211 (java) S 18141 18143 18109 0 -1 4202560 4086 0 0 0 45 0 0 0 15 0 19 0 352160742 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18215] ppid=18141 vsize=7640468 CPUtime=0.1 cores=5,7
/proc/18143/task/18215/stat : 18215 (java) S 18141 18143 18109 0 -1 4202560 811 0 2 0 10 0 0 0 15 0 19 0 352160742 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18216] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18216/stat : 18216 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352160742 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18220] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18220/stat : 18220 (java) S 18141 18143 18109 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 352160742 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18241] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18241/stat : 18241 (java) S 18141 18143 18109 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352160761 7823839232 16918 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 7640468

[startup+6.30126 s]
/proc/loadavg: 1.25 1.08 1.36 6/262 18242
/proc/meminfo: memFree=13643236/32951124 swapFree=67111528/67111528
[pid=18143] ppid=18141 vsize=7640468 CPUtime=6.61 cores=5,7
/proc/18143/stat : 18143 (java) S 18141 18143 18109 0 -1 4202496 19285 0 114 0 657 4 0 0 18 0 19 0 352160716 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 11
/proc/18143/statm: 1910117 17365 2255 9 0 1900855 0
[pid=18143/tid=18151] ppid=18141 vsize=7640468 CPUtime=5.89 cores=5,7
/proc/18143/task/18151/stat : 18151 (java) R 18141 18143 18109 0 -1 4202560 10101 0 56 0 587 2 0 0 25 0 19 0 352160730 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 46912505582725 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=18143/tid=18157] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18157/stat : 18157 (java) S 18141 18143 18109 0 -1 4202560 558 0 0 0 0 0 0 0 16 0 19 0 352160732 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18160] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18160/stat : 18160 (java) S 18141 18143 18109 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 352160732 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18162] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18162/stat : 18162 (java) S 18141 18143 18109 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 352160732 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18164] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18164/stat : 18164 (java) S 18141 18143 18109 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 19 0 352160732 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18166] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18166/stat : 18166 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352160732 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18167] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18167/stat : 18167 (java) S 18141 18143 18109 0 -1 4202560 78 0 0 0 0 0 0 0 16 0 19 0 352160732 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18169] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18169/stat : 18169 (java) S 18141 18143 18109 0 -1 4202560 376 0 0 0 0 0 0 0 15 0 19 0 352160732 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18172] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18172/stat : 18172 (java) S 18141 18143 18109 0 -1 4202560 587 0 0 0 0 0 0 0 15 0 19 0 352160732 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18175] ppid=18141 vsize=7640468 CPUtime=0.08 cores=5,7
/proc/18143/task/18175/stat : 18175 (java) S 18141 18143 18109 0 -1 4202560 1254 0 0 0 8 0 0 0 15 0 19 0 352160735 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 0 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18182] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18182/stat : 18182 (java) S 18141 18143 18109 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 352160737 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18184] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18184/stat : 18184 (java) S 18141 18143 18109 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352160737 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18208] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18208/stat : 18208 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160742 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107274673 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18211] ppid=18141 vsize=7640468 CPUtime=0.45 cores=5,7
/proc/18143/task/18211/stat : 18211 (java) S 18141 18143 18109 0 -1 4202560 4086 0 0 0 45 0 0 0 15 0 19 0 352160742 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18215] ppid=18141 vsize=7640468 CPUtime=0.13 cores=5,7
/proc/18143/task/18215/stat : 18215 (java) S 18141 18143 18109 0 -1 4202560 816 0 2 0 13 0 0 0 15 0 19 0 352160742 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18216] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18216/stat : 18216 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352160742 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18220] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18220/stat : 18220 (java) S 18141 18143 18109 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 352160742 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18241] ppid=18141 vsize=7640468 CPUtime=0 cores=5,7
/proc/18143/task/18241/stat : 18241 (java) S 18141 18143 18109 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352160761 7823839232 17365 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.61
Current children cumulated vsize (KiB) 7640468

[startup+12.7011 s]

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

[pid=18143/tid=18167] ppid=18141 vsize=7639620 CPUtime=0.25 cores=5,7
/proc/18143/task/18167/stat : 18167 (java) S 18141 18143 18109 0 -1 4202560 347 0 0 0 25 0 0 0 15 0 19 0 352160732 7822970880 23698 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18169] ppid=18141 vsize=7639620 CPUtime=0.22 cores=5,7
/proc/18143/task/18169/stat : 18169 (java) S 18141 18143 18109 0 -1 4202560 641 0 0 0 22 0 0 0 15 0 19 0 352160732 7822970880 23698 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18172] ppid=18141 vsize=7639620 CPUtime=0.22 cores=5,7
/proc/18143/task/18172/stat : 18172 (java) S 18141 18143 18109 0 -1 4202560 858 0 0 0 22 0 0 0 15 0 19 0 352160732 7822970880 23698 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18175] ppid=18141 vsize=7639620 CPUtime=7.34 cores=5,7
/proc/18143/task/18175/stat : 18175 (java) S 18141 18143 18109 0 -1 4202560 4523 0 0 0 731 3 0 0 16 0 19 0 352160735 7822970880 23698 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 0 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18182] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18182/stat : 18182 (java) S 18141 18143 18109 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 352160737 7822970880 23698 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18184] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18184/stat : 18184 (java) S 18141 18143 18109 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352160737 7822970880 23698 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18208] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18208/stat : 18208 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160742 7822970880 23698 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107274673 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18211] ppid=18141 vsize=7639620 CPUtime=0.45 cores=5,7
/proc/18143/task/18211/stat : 18211 (java) S 18141 18143 18109 0 -1 4202560 4086 0 0 0 45 0 0 0 15 0 19 0 352160742 7822970880 23698 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18215] ppid=18141 vsize=7639620 CPUtime=0.15 cores=5,7
/proc/18143/task/18215/stat : 18215 (java) S 18141 18143 18109 0 -1 4202560 884 0 2 0 15 0 0 0 15 0 19 0 352160742 7822970880 23698 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18216] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18216/stat : 18216 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352160742 7822970880 23698 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18220] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18220/stat : 18220 (java) S 18141 18143 18109 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 352160742 7822970880 23698 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18241] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18241/stat : 18241 (java) S 18141 18143 18109 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352160761 7822970880 23698 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1183.46
Current children cumulated vsize (KiB) 7639620

[startup+1242.3 s]
/proc/loadavg: 4.00 3.97 3.30 5/262 18275
/proc/meminfo: memFree=13544032/32951124 swapFree=67111528/67111528
[pid=18143] ppid=18141 vsize=7639620 CPUtime=1243.52 cores=5,7
/proc/18143/stat : 18143 (java) S 18141 18143 18109 0 -1 4202496 26849 0 114 0 124341 11 0 0 18 0 19 0 352160716 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 11
/proc/18143/statm: 1909905 23799 2256 9 0 1900643 0
[pid=18143/tid=18151] ppid=18141 vsize=7639620 CPUtime=1233.18 cores=5,7
/proc/18143/task/18151/stat : 18151 (java) R 18141 18143 18109 0 -1 4202560 12135 0 56 0 123314 4 0 0 20 0 19 0 352160730 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 46912505730046 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=18143/tid=18157] ppid=18141 vsize=7639620 CPUtime=0.28 cores=5,7
/proc/18143/task/18157/stat : 18157 (java) S 18141 18143 18109 0 -1 4202560 700 0 0 0 28 0 0 0 15 0 19 0 352160732 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18160] ppid=18141 vsize=7639620 CPUtime=0.2 cores=5,7
/proc/18143/task/18160/stat : 18160 (java) S 18141 18143 18109 0 -1 4202560 562 0 0 0 20 0 0 0 15 0 19 0 352160732 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18162] ppid=18141 vsize=7639620 CPUtime=0.24 cores=5,7
/proc/18143/task/18162/stat : 18162 (java) S 18141 18143 18109 0 -1 4202560 162 0 0 0 24 0 0 0 15 0 19 0 352160732 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18164] ppid=18141 vsize=7639620 CPUtime=0.19 cores=5,7
/proc/18143/task/18164/stat : 18164 (java) S 18141 18143 18109 0 -1 4202560 183 0 0 0 19 0 0 0 15 0 19 0 352160732 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18166] ppid=18141 vsize=7639620 CPUtime=0.27 cores=5,7
/proc/18143/task/18166/stat : 18166 (java) S 18141 18143 18109 0 -1 4202560 494 0 0 0 27 0 0 0 15 0 19 0 352160732 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18167] ppid=18141 vsize=7639620 CPUtime=0.27 cores=5,7
/proc/18143/task/18167/stat : 18167 (java) S 18141 18143 18109 0 -1 4202560 349 0 0 0 27 0 0 0 15 0 19 0 352160732 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18169] ppid=18141 vsize=7639620 CPUtime=0.23 cores=5,7
/proc/18143/task/18169/stat : 18169 (java) S 18141 18143 18109 0 -1 4202560 641 0 0 0 23 0 0 0 15 0 19 0 352160732 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18172] ppid=18141 vsize=7639620 CPUtime=0.24 cores=5,7
/proc/18143/task/18172/stat : 18172 (java) S 18141 18143 18109 0 -1 4202560 859 0 0 0 24 0 0 0 15 0 19 0 352160732 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18175] ppid=18141 vsize=7639620 CPUtime=7.7 cores=5,7
/proc/18143/task/18175/stat : 18175 (java) S 18141 18143 18109 0 -1 4202560 4623 0 0 0 767 3 0 0 15 0 19 0 352160735 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 0 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18182] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18182/stat : 18182 (java) S 18141 18143 18109 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 352160737 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18184] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18184/stat : 18184 (java) S 18141 18143 18109 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352160737 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18208] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18208/stat : 18208 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160742 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107274673 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18211] ppid=18141 vsize=7639620 CPUtime=0.45 cores=5,7
/proc/18143/task/18211/stat : 18211 (java) S 18141 18143 18109 0 -1 4202560 4086 0 0 0 45 0 0 0 15 0 19 0 352160742 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18215] ppid=18141 vsize=7639620 CPUtime=0.15 cores=5,7
/proc/18143/task/18215/stat : 18215 (java) S 18141 18143 18109 0 -1 4202560 884 0 2 0 15 0 0 0 15 0 19 0 352160742 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18216] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18216/stat : 18216 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352160742 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18220] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18220/stat : 18220 (java) S 18141 18143 18109 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 352160742 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18241] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18241/stat : 18241 (java) S 18141 18143 18109 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352160761 7822970880 23799 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1243.52
Current children cumulated vsize (KiB) 7639620



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.97 3.34 5/262 18276
/proc/meminfo: memFree=13543260/32951124 swapFree=67111528/67111528
[pid=18143] ppid=18141 vsize=7639620 CPUtime=1301.27 cores=5,7
/proc/18143/stat : 18143 (java) S 18141 18143 18109 0 -1 4202496 26943 0 114 0 130116 11 0 0 18 0 19 0 352160716 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 11
/proc/18143/statm: 1909905 23876 2256 9 0 1900643 0
[pid=18143/tid=18151] ppid=18141 vsize=7639620 CPUtime=1290.47 cores=5,7
/proc/18143/task/18151/stat : 18151 (java) R 18141 18143 18109 0 -1 4202560 12146 0 56 0 129043 4 0 0 25 0 19 0 352160730 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 46912505582725 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=18143/tid=18157] ppid=18141 vsize=7639620 CPUtime=0.29 cores=5,7
/proc/18143/task/18157/stat : 18157 (java) S 18141 18143 18109 0 -1 4202560 701 0 0 0 29 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18160] ppid=18141 vsize=7639620 CPUtime=0.21 cores=5,7
/proc/18143/task/18160/stat : 18160 (java) S 18141 18143 18109 0 -1 4202560 563 0 0 0 21 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18162] ppid=18141 vsize=7639620 CPUtime=0.26 cores=5,7
/proc/18143/task/18162/stat : 18162 (java) S 18141 18143 18109 0 -1 4202560 162 0 0 0 26 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18164] ppid=18141 vsize=7639620 CPUtime=0.21 cores=5,7
/proc/18143/task/18164/stat : 18164 (java) S 18141 18143 18109 0 -1 4202560 183 0 0 0 21 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18166] ppid=18141 vsize=7639620 CPUtime=0.29 cores=5,7
/proc/18143/task/18166/stat : 18166 (java) S 18141 18143 18109 0 -1 4202560 495 0 0 0 29 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18167] ppid=18141 vsize=7639620 CPUtime=0.27 cores=5,7
/proc/18143/task/18167/stat : 18167 (java) S 18141 18143 18109 0 -1 4202560 349 0 0 0 27 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18169] ppid=18141 vsize=7639620 CPUtime=0.24 cores=5,7
/proc/18143/task/18169/stat : 18169 (java) S 18141 18143 18109 0 -1 4202560 641 0 0 0 24 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18172] ppid=18141 vsize=7639620 CPUtime=0.26 cores=5,7
/proc/18143/task/18172/stat : 18172 (java) S 18141 18143 18109 0 -1 4202560 859 0 0 0 26 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18175] ppid=18141 vsize=7639620 CPUtime=8.07 cores=5,7
/proc/18143/task/18175/stat : 18175 (java) S 18141 18143 18109 0 -1 4202560 4699 0 0 0 804 3 0 0 15 0 19 0 352160735 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 0 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18182] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18182/stat : 18182 (java) S 18141 18143 18109 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 352160737 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18184] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18184/stat : 18184 (java) S 18141 18143 18109 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352160737 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18208] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18208/stat : 18208 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160742 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107274673 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18211] ppid=18141 vsize=7639620 CPUtime=0.45 cores=5,7
/proc/18143/task/18211/stat : 18211 (java) S 18141 18143 18109 0 -1 4202560 4086 0 0 0 45 0 0 0 15 0 19 0 352160742 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18215] ppid=18141 vsize=7639620 CPUtime=0.15 cores=5,7
/proc/18143/task/18215/stat : 18215 (java) S 18141 18143 18109 0 -1 4202560 884 0 2 0 15 0 0 0 15 0 19 0 352160742 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18216] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18216/stat : 18216 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352160742 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18220] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18220/stat : 18220 (java) S 18141 18143 18109 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 352160742 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18241] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18241/stat : 18241 (java) S 18141 18143 18109 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352160761 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1301.27
Current children cumulated vsize (KiB) 7639620

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.00 3.97 3.34 5/262 18276
/proc/meminfo: memFree=13543260/32951124 swapFree=67111528/67111528
[pid=18143] ppid=18141 vsize=7639620 CPUtime=1301.27 cores=5,7
/proc/18143/stat : 18143 (java) S 18141 18143 18109 0 -1 4202496 26943 0 114 0 130116 11 0 0 18 0 19 0 352160716 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 11
/proc/18143/statm: 1909905 23876 2256 9 0 1900643 0
[pid=18143/tid=18151] ppid=18141 vsize=7639620 CPUtime=1290.47 cores=5,7
/proc/18143/task/18151/stat : 18151 (java) R 18141 18143 18109 0 -1 4202560 12146 0 56 0 129043 4 0 0 25 0 19 0 352160730 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 46912505582725 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=18143/tid=18157] ppid=18141 vsize=7639620 CPUtime=0.29 cores=5,7
/proc/18143/task/18157/stat : 18157 (java) S 18141 18143 18109 0 -1 4202560 701 0 0 0 29 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18160] ppid=18141 vsize=7639620 CPUtime=0.21 cores=5,7
/proc/18143/task/18160/stat : 18160 (java) S 18141 18143 18109 0 -1 4202560 563 0 0 0 21 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18162] ppid=18141 vsize=7639620 CPUtime=0.26 cores=5,7
/proc/18143/task/18162/stat : 18162 (java) S 18141 18143 18109 0 -1 4202560 162 0 0 0 26 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18164] ppid=18141 vsize=7639620 CPUtime=0.21 cores=5,7
/proc/18143/task/18164/stat : 18164 (java) S 18141 18143 18109 0 -1 4202560 183 0 0 0 21 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18166] ppid=18141 vsize=7639620 CPUtime=0.29 cores=5,7
/proc/18143/task/18166/stat : 18166 (java) S 18141 18143 18109 0 -1 4202560 495 0 0 0 29 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18167] ppid=18141 vsize=7639620 CPUtime=0.27 cores=5,7
/proc/18143/task/18167/stat : 18167 (java) S 18141 18143 18109 0 -1 4202560 349 0 0 0 27 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18169] ppid=18141 vsize=7639620 CPUtime=0.24 cores=5,7
/proc/18143/task/18169/stat : 18169 (java) S 18141 18143 18109 0 -1 4202560 641 0 0 0 24 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18172] ppid=18141 vsize=7639620 CPUtime=0.26 cores=5,7
/proc/18143/task/18172/stat : 18172 (java) S 18141 18143 18109 0 -1 4202560 859 0 0 0 26 0 0 0 15 0 19 0 352160732 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18175] ppid=18141 vsize=7639620 CPUtime=8.07 cores=5,7
/proc/18143/task/18175/stat : 18175 (java) S 18141 18143 18109 0 -1 4202560 4699 0 0 0 804 3 0 0 15 0 19 0 352160735 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 0 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18182] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18182/stat : 18182 (java) S 18141 18143 18109 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 352160737 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18184] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18184/stat : 18184 (java) S 18141 18143 18109 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352160737 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18208] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18208/stat : 18208 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352160742 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107274673 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18211] ppid=18141 vsize=7639620 CPUtime=0.45 cores=5,7
/proc/18143/task/18211/stat : 18211 (java) S 18141 18143 18109 0 -1 4202560 4086 0 0 0 45 0 0 0 15 0 19 0 352160742 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18215] ppid=18141 vsize=7639620 CPUtime=0.15 cores=5,7
/proc/18143/task/18215/stat : 18215 (java) S 18141 18143 18109 0 -1 4202560 884 0 2 0 15 0 0 0 15 0 19 0 352160742 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 5 0 0 0
[pid=18143/tid=18216] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18216/stat : 18216 (java) S 18141 18143 18109 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352160742 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107266969 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18220] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18220/stat : 18220 (java) S 18141 18143 18109 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 352160742 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
[pid=18143/tid=18241] ppid=18141 vsize=7639620 CPUtime=0 cores=5,7
/proc/18143/task/18241/stat : 18241 (java) S 18141 18143 18109 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352160761 7822970880 23876 33554432000 1073741824 1073778376 140734164418336 18446744073709551615 228107267584 0 4 0 16800975 18446604465544910080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1301.27
Current children cumulated vsize (KiB) 7639620

Child status: 143
Real time (s): 1300.04
CPU time (s): 1301.33
CPU user time (s): 1301.21
CPU system time (s): 0.119981
CPU usage (%): 100.099
Max. virtual memory (cumulated for all children) (KiB): 7640632

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

runsolver used 2.14067 second user time and 4.97224 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-12 10:37:32
IDJOB=3190229
IDBENCH=82560
IDSOLVER=1611
FILE ID=node142/3190229-1302597452
RUNJOBID= node142-1302597452-18130
PBS_JOBID= 12958100
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 1739c47038d88c1ec678774e95926496
RANDOM SEED=1310020380

node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13929396 kB
Buffers:        725032 kB
Cached:       17823836 kB
SwapCached:          0 kB
Active:        9672980 kB
Inactive:      8940652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13929396 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             432 kB
Writeback:           0 kB
AnonPages:       64980 kB
Mapped:          14320 kB
Slab:           344296 kB
PageTables:       5420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188148 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71720 MiB
End job on node142 at 2011-04-12 10:59:15