Trace number 3190329

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

General information on the benchmark

Namerandom/large/
unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf
MD5SUM98486271f2f72889c040eabfd36ebd13
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of clauses25500
Sum of the clauses size178500
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 525500

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.09/0.24	c no version file found!!!
0.09/0.24	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.24	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.24	c java.vm.version	19.1-b02
0.09/0.24	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.24	c sun.arch.data.model	64
0.09/0.24	c java.version		1.6.0_24
0.09/0.24	c os.name		Linux
0.09/0.24	c os.version		2.6.18-164.el5
0.09/0.24	c os.arch		amd64
0.09/0.24	c Free memory 		6997539544
0.09/0.24	c Max memory 		7034241024
0.09/0.24	c Total memory 		7034241024
0.09/0.24	c Number of processors 	8
0.09/0.24	c --- Begin Solver configuration ---
0.09/0.24	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.09/0.24	c Learn all clauses as in MiniSAT
0.09/0.24	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.24	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.24	c Expensive reason simplification
0.09/0.24	c Armin Biere (Picosat) restarts strategy
0.09/0.24	c Glucose learned constraints deletion strategy
0.09/0.24	c timeout=2147483647s
0.09/0.24	c DB Simplification allowed=true
0.09/0.24	c --- End Solver configuration ---
0.09/0.24	c solving HOME/instance-3190329-1302598786.cnf
0.09/0.24	c reading problem ... 
0.09/0.24	c ... done. Wall clock time 0.138s.
0.09/0.24	c #vars     300
0.09/0.24	c #constraints  25500
0.09/0.24	c constraints type 
0.09/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25500
1.56/1.14	c cleaning 2496 clauses out of 5000 with flag 5000/5000
2.56/1.98	c cleaning 4245 clauses out of 8504 with flag 11000/11000
3.55/2.93	c cleaning 5629 clauses out of 11259 with flag 18000/18000
4.66/4.07	c cleaning 6812 clauses out of 13630 with flag 26000/26000
5.97/5.37	c cleaning 7906 clauses out of 15819 with flag 35001/35001
7.47/6.89	c cleaning 8948 clauses out of 17912 with flag 45000/45000
9.27/8.60	c cleaning 9982 clauses out of 19965 with flag 56001/56001
11.27/10.60	c cleaning 10990 clauses out of 21983 with flag 68001/68001
13.27/12.70	c cleaning 11992 clauses out of 23994 with flag 81002/81002
15.67/15.06	c cleaning 12998 clauses out of 26000 with flag 95000/95000
18.27/17.62	c cleaning 13998 clauses out of 28003 with flag 110001/110001
21.07/20.43	c cleaning 14999 clauses out of 30005 with flag 126001/126001
24.07/23.47	c cleaning 16000 clauses out of 32006 with flag 143001/143001
27.38/26.74	c cleaning 16992 clauses out of 34005 with flag 161000/161000
30.98/30.37	c cleaning 17999 clauses out of 36014 with flag 180001/180001
34.78/34.20	c cleaning 19002 clauses out of 38014 with flag 200000/200000
39.18/38.54	c cleaning 20004 clauses out of 40012 with flag 221000/221000
43.69/43.01	c cleaning 20998 clauses out of 42008 with flag 243000/243000
48.39/47.72	c cleaning 22001 clauses out of 44010 with flag 266000/266000
53.39/52.74	c cleaning 22998 clauses out of 46010 with flag 290001/290001
58.79/58.14	c cleaning 24000 clauses out of 48013 with flag 315002/315002
64.70/64.02	c cleaning 25001 clauses out of 50013 with flag 341002/341002
70.60/69.90	c cleaning 25501 clauses out of 51010 with flag 367000/367000
76.40/75.76	c cleaning 25751 clauses out of 51510 with flag 393001/393001
82.51/81.85	c cleaning 25872 clauses out of 51758 with flag 419000/419000
88.21/87.57	c cleaning 25938 clauses out of 51889 with flag 445003/445003
94.21/93.58	c cleaning 25967 clauses out of 51948 with flag 471000/471000
100.11/99.47	c cleaning 25989 clauses out of 51981 with flag 497000/497000
106.12/105.42	c cleaning 25991 clauses out of 51993 with flag 523001/523001
111.72/111.01	c cleaning 25990 clauses out of 52001 with flag 549000/549000
117.72/117.03	c cleaning 26001 clauses out of 52012 with flag 575001/575001
123.32/122.68	c cleaning 26000 clauses out of 52010 with flag 601000/601000
129.53/128.90	c cleaning 25999 clauses out of 52012 with flag 627002/627002
135.32/134.63	c cleaning 26000 clauses out of 52011 with flag 653000/653000
141.33/140.65	c cleaning 26000 clauses out of 52012 with flag 679001/679001
147.33/146.64	c cleaning 26002 clauses out of 52012 with flag 705001/705001
152.93/152.27	c cleaning 25998 clauses out of 52010 with flag 731001/731001
159.03/158.35	c cleaning 26000 clauses out of 52012 with flag 757001/757001
164.84/164.16	c cleaning 26005 clauses out of 52011 with flag 783000/783000
170.44/169.72	c cleaning 25997 clauses out of 52006 with flag 809000/809000
176.34/175.69	c cleaning 25998 clauses out of 52009 with flag 835000/835000
182.04/181.39	c cleaning 25998 clauses out of 52013 with flag 861002/861002
187.74/187.00	c cleaning 26002 clauses out of 52014 with flag 887001/887001
193.35/192.65	c cleaning 26000 clauses out of 52011 with flag 913000/913000
199.24/198.53	c cleaning 26000 clauses out of 52011 with flag 939000/939000
205.04/204.35	c cleaning 25997 clauses out of 52011 with flag 965000/965000
211.05/210.34	c cleaning 26001 clauses out of 52016 with flag 991002/991002
217.05/216.39	c cleaning 26004 clauses out of 52014 with flag 1017001/1017001
222.85/222.12	c cleaning 26000 clauses out of 52009 with flag 1043000/1043000
228.66/227.91	c cleaning 26000 clauses out of 52009 with flag 1069000/1069000
234.45/233.73	c cleaning 25999 clauses out of 52010 with flag 1095001/1095001
240.85/240.11	c cleaning 26003 clauses out of 52011 with flag 1121001/1121001
246.66/245.96	c cleaning 25998 clauses out of 52007 with flag 1147000/1147000
252.36/251.64	c cleaning 26002 clauses out of 52009 with flag 1173000/1173000
258.06/257.37	c cleaning 25998 clauses out of 52007 with flag 1199000/1199000
263.96/263.25	c cleaning 25999 clauses out of 52010 with flag 1225001/1225001
269.96/269.26	c cleaning 25995 clauses out of 52010 with flag 1251000/1251000
275.76/275.00	c cleaning 26006 clauses out of 52016 with flag 1277001/1277001
281.47/280.77	c cleaning 25993 clauses out of 52011 with flag 1303002/1303002
287.26/286.56	c cleaning 26005 clauses out of 52019 with flag 1329003/1329003
293.47/292.78	c cleaning 26003 clauses out of 52013 with flag 1355002/1355002
299.56/298.83	c cleaning 26000 clauses out of 52008 with flag 1381000/1381000
305.27/304.53	c cleaning 25997 clauses out of 52009 with flag 1407001/1407001
311.27/310.50	c cleaning 26001 clauses out of 52011 with flag 1433000/1433000
317.17/316.41	c cleaning 25998 clauses out of 52010 with flag 1459000/1459000
323.07/322.37	c cleaning 26005 clauses out of 52017 with flag 1485005/1485005
329.27/328.59	c cleaning 26000 clauses out of 52009 with flag 1511002/1511002
335.18/334.45	c cleaning 26000 clauses out of 52010 with flag 1537003/1537003
340.98/340.22	c cleaning 25993 clauses out of 52007 with flag 1563000/1563000
346.78/346.03	c cleaning 26000 clauses out of 52015 with flag 1589001/1589001
352.48/351.75	c cleaning 25999 clauses out of 52014 with flag 1615000/1615000
358.38/357.69	c cleaning 25998 clauses out of 52015 with flag 1641000/1641000
364.58/363.84	c cleaning 25998 clauses out of 52017 with flag 1667000/1667000
370.38/369.65	c cleaning 26003 clauses out of 52019 with flag 1693000/1693000
376.09/375.31	c cleaning 25998 clauses out of 52017 with flag 1719001/1719001
381.88/381.17	c cleaning 25998 clauses out of 52018 with flag 1745000/1745000
387.48/386.79	c cleaning 26000 clauses out of 52020 with flag 1771000/1771000
393.48/392.79	c cleaning 26003 clauses out of 52020 with flag 1797000/1797000
399.39/398.62	c cleaning 26001 clauses out of 52019 with flag 1823002/1823002
405.39/404.68	c cleaning 26001 clauses out of 52016 with flag 1849000/1849000
410.89/410.18	c cleaning 26000 clauses out of 52015 with flag 1875000/1875000
416.59/415.84	c cleaning 26001 clauses out of 52015 with flag 1901000/1901000
422.09/421.31	c cleaning 25996 clauses out of 52015 with flag 1927001/1927001
427.81/427.06	c cleaning 25998 clauses out of 52018 with flag 1953000/1953000
433.70/432.93	c cleaning 26000 clauses out of 52021 with flag 1979001/1979001
439.41/438.63	c cleaning 26008 clauses out of 52021 with flag 2005001/2005001
445.21/444.46	c cleaning 25999 clauses out of 52017 with flag 2031005/2031005
451.01/450.28	c cleaning 26000 clauses out of 52014 with flag 2057001/2057001
456.61/455.86	c cleaning 26000 clauses out of 52016 with flag 2083003/2083003
462.11/461.34	c cleaning 26000 clauses out of 52013 with flag 2109000/2109000
467.91/467.16	c cleaning 25998 clauses out of 52013 with flag 2135000/2135000
473.81/473.09	c cleaning 25998 clauses out of 52016 with flag 2161001/2161001
479.72/478.98	c cleaning 26006 clauses out of 52017 with flag 2187000/2187000
485.52/484.76	c cleaning 25996 clauses out of 52012 with flag 2213001/2213001
491.53/490.80	c cleaning 26002 clauses out of 52015 with flag 2239000/2239000
497.22/496.48	c cleaning 25996 clauses out of 52013 with flag 2265000/2265000
503.02/502.26	c cleaning 26004 clauses out of 52020 with flag 2291003/2291003
508.52/507.74	c cleaning 26001 clauses out of 52014 with flag 2317001/2317001
514.32/513.59	c cleaning 26000 clauses out of 52012 with flag 2343000/2343000
520.53/519.77	c cleaning 26002 clauses out of 52013 with flag 2369001/2369001
526.63/525.84	c cleaning 25996 clauses out of 52010 with flag 2395000/2395000
532.93/532.15	c cleaning 25997 clauses out of 52014 with flag 2421000/2421000
538.94/538.13	c cleaning 25998 clauses out of 52020 with flag 2447003/2447003
544.83/544.03	c cleaning 26002 clauses out of 52019 with flag 2473000/2473000
550.53/549.70	c cleaning 26001 clauses out of 52019 with flag 2499002/2499002
556.33/555.50	c cleaning 26005 clauses out of 52016 with flag 2525000/2525000
561.83/561.10	c cleaning 25994 clauses out of 52011 with flag 2551000/2551000
567.73/566.92	c cleaning 26003 clauses out of 52019 with flag 2577002/2577002
573.53/572.77	c cleaning 26001 clauses out of 52018 with flag 2603004/2603004
579.44/578.67	c cleaning 25996 clauses out of 52013 with flag 2629000/2629000
585.34/584.53	c cleaning 26004 clauses out of 52019 with flag 2655002/2655002
591.34/590.59	c cleaning 25999 clauses out of 52013 with flag 2681000/2681000
597.74/596.96	c cleaning 26000 clauses out of 52014 with flag 2707000/2707000
603.54/602.76	c cleaning 25999 clauses out of 52014 with flag 2733000/2733000
609.25/608.49	c cleaning 26000 clauses out of 52016 with flag 2759001/2759001
614.85/614.04	c cleaning 26000 clauses out of 52016 with flag 2785001/2785001
620.55/619.79	c cleaning 25999 clauses out of 52015 with flag 2811000/2811000
626.25/625.45	c cleaning 26002 clauses out of 52016 with flag 2837000/2837000
632.25/631.46	c cleaning 25997 clauses out of 52014 with flag 2863000/2863000
638.15/637.38	c cleaning 26000 clauses out of 52020 with flag 2889003/2889003
644.25/643.46	c cleaning 25999 clauses out of 52017 with flag 2915000/2915000
650.06/649.22	c cleaning 26000 clauses out of 52018 with flag 2941000/2941000
656.06/655.24	c cleaning 25993 clauses out of 52018 with flag 2967000/2967000
662.07/661.26	c cleaning 26005 clauses out of 52028 with flag 2993003/2993003
667.87/667.03	c cleaning 26000 clauses out of 52020 with flag 3019000/3019000
673.67/672.82	c cleaning 26002 clauses out of 52021 with flag 3045001/3045001
679.27/678.41	c cleaning 26003 clauses out of 52019 with flag 3071001/3071001
684.97/684.18	c cleaning 26000 clauses out of 52017 with flag 3097002/3097002
690.87/690.04	c cleaning 25997 clauses out of 52015 with flag 3123000/3123000
696.47/695.66	c cleaning 25998 clauses out of 52018 with flag 3149000/3149000
702.78/701.92	c cleaning 26007 clauses out of 52023 with flag 3175003/3175003
708.78/707.96	c cleaning 26000 clauses out of 52015 with flag 3201002/3201002
715.18/714.38	c cleaning 26004 clauses out of 52013 with flag 3227000/3227000
721.49/720.62	c cleaning 25996 clauses out of 52010 with flag 3253001/3253001
727.88/727.05	c cleaning 26000 clauses out of 52013 with flag 3279000/3279000
733.98/733.13	c cleaning 26001 clauses out of 52016 with flag 3305003/3305003
739.79/738.96	c cleaning 26000 clauses out of 52013 with flag 3331001/3331001
745.49/744.65	c cleaning 25995 clauses out of 52013 with flag 3357001/3357001
751.39/750.52	c cleaning 25994 clauses out of 52017 with flag 3383000/3383000
757.29/756.40	c cleaning 26007 clauses out of 52025 with flag 3409002/3409002
763.59/762.71	c cleaning 26006 clauses out of 52017 with flag 3435001/3435001
769.39/768.55	c cleaning 25993 clauses out of 52010 with flag 3461000/3461000
775.29/774.41	c cleaning 26003 clauses out of 52017 with flag 3487000/3487000
781.69/780.82	c cleaning 25997 clauses out of 52014 with flag 3513000/3513000
787.60/786.71	c cleaning 26001 clauses out of 52017 with flag 3539000/3539000
793.50/792.65	c cleaning 25995 clauses out of 52016 with flag 3565000/3565000
799.61/798.73	c cleaning 26002 clauses out of 52021 with flag 3591000/3591000
805.90/805.08	c cleaning 26001 clauses out of 52019 with flag 3617000/3617000
811.81/810.95	c cleaning 26009 clauses out of 52019 with flag 3643001/3643001
817.61/816.74	c cleaning 25995 clauses out of 52009 with flag 3669000/3669000
823.41/822.53	c cleaning 25999 clauses out of 52014 with flag 3695000/3695000
829.21/828.40	c cleaning 26002 clauses out of 52018 with flag 3721003/3721003
835.21/834.36	c cleaning 26001 clauses out of 52015 with flag 3747002/3747002
841.21/840.31	c cleaning 25994 clauses out of 52012 with flag 3773000/3773000
847.11/846.29	c cleaning 26007 clauses out of 52019 with flag 3799001/3799001
853.41/852.54	c cleaning 25990 clauses out of 52011 with flag 3825000/3825000
859.62/858.70	c cleaning 26002 clauses out of 52021 with flag 3851000/3851000
865.52/864.61	c cleaning 25996 clauses out of 52021 with flag 3877002/3877002
871.42/870.55	c cleaning 26005 clauses out of 52026 with flag 3903003/3903003
877.52/876.63	c cleaning 25998 clauses out of 52019 with flag 3929001/3929001
883.72/882.80	c cleaning 26001 clauses out of 52021 with flag 3955001/3955001
889.94/889.09	c cleaning 26006 clauses out of 52021 with flag 3981002/3981002
896.04/895.12	c cleaning 26002 clauses out of 52016 with flag 4007003/4007003
901.64/900.74	c cleaning 25999 clauses out of 52011 with flag 4033000/4033000
907.34/906.40	c cleaning 25998 clauses out of 52012 with flag 4059000/4059000
912.84/911.98	c cleaning 26001 clauses out of 52014 with flag 4085000/4085000
918.45/917.59	c cleaning 25996 clauses out of 52013 with flag 4111000/4111000
924.44/923.57	c cleaning 26005 clauses out of 52018 with flag 4137001/4137001
930.44/929.50	c cleaning 25995 clauses out of 52013 with flag 4163001/4163001
936.44/935.52	c cleaning 26003 clauses out of 52018 with flag 4189001/4189001
942.95/942.02	c cleaning 25999 clauses out of 52014 with flag 4215000/4215000
948.85/947.99	c cleaning 25999 clauses out of 52016 with flag 4241001/4241001
955.05/954.11	c cleaning 25999 clauses out of 52017 with flag 4267001/4267001
961.25/960.30	c cleaning 25992 clauses out of 52017 with flag 4293000/4293000
967.35/966.43	c cleaning 26008 clauses out of 52027 with flag 4319002/4319002
973.76/972.87	c cleaning 25993 clauses out of 52017 with flag 4345000/4345000
979.96/979.02	c cleaning 25998 clauses out of 52024 with flag 4371000/4371000
986.06/985.12	c cleaning 26008 clauses out of 52027 with flag 4397001/4397001
991.96/991.04	c cleaning 26002 clauses out of 52018 with flag 4423000/4423000
997.67/996.76	c cleaning 26001 clauses out of 52017 with flag 4449001/4449001
1003.66/1002.77	c cleaning 25998 clauses out of 52015 with flag 4475000/4475000
1009.66/1008.72	c cleaning 26003 clauses out of 52017 with flag 4501000/4501000
1015.66/1014.78	c cleaning 26004 clauses out of 52016 with flag 4527002/4527002
1021.57/1020.68	c cleaning 25996 clauses out of 52010 with flag 4553000/4553000
1027.37/1026.45	c cleaning 26002 clauses out of 52015 with flag 4579001/4579001
1033.27/1032.34	c cleaning 25999 clauses out of 52012 with flag 4605000/4605000
1039.07/1038.19	c cleaning 25994 clauses out of 52014 with flag 4631001/4631001
1045.47/1044.55	c cleaning 26003 clauses out of 52020 with flag 4657001/4657001
1051.58/1050.70	c cleaning 25997 clauses out of 52016 with flag 4683000/4683000
1057.28/1056.37	c cleaning 25997 clauses out of 52019 with flag 4709000/4709000
1063.08/1062.15	c cleaning 26003 clauses out of 52022 with flag 4735000/4735000
1069.08/1068.17	c cleaning 25993 clauses out of 52019 with flag 4761000/4761000
1075.79/1074.83	c cleaning 26008 clauses out of 52028 with flag 4787002/4787002
1081.99/1081.10	c cleaning 26002 clauses out of 52018 with flag 4813000/4813000
1088.29/1087.35	c cleaning 26005 clauses out of 52016 with flag 4839000/4839000
1094.09/1093.11	c cleaning 26001 clauses out of 52011 with flag 4865000/4865000
1099.49/1098.60	c cleaning 25997 clauses out of 52012 with flag 4891002/4891002
1105.19/1104.24	c cleaning 25996 clauses out of 52013 with flag 4917000/4917000
1111.20/1110.20	c cleaning 25997 clauses out of 52017 with flag 4943000/4943000
1117.10/1116.11	c cleaning 25999 clauses out of 52020 with flag 4969000/4969000
1123.00/1122.00	c cleaning 26002 clauses out of 52021 with flag 4995000/4995000
1128.90/1127.99	c cleaning 26002 clauses out of 52021 with flag 5021002/5021002
1134.70/1133.78	c cleaning 25997 clauses out of 52018 with flag 5047001/5047001
1140.50/1139.52	c cleaning 26002 clauses out of 52020 with flag 5073000/5073000
1146.40/1145.49	c cleaning 25996 clauses out of 52018 with flag 5099000/5099000
1152.51/1151.51	c cleaning 26005 clauses out of 52022 with flag 5125000/5125000
1158.31/1157.32	c cleaning 25998 clauses out of 52017 with flag 5151000/5151000
1164.01/1163.09	c cleaning 26002 clauses out of 52020 with flag 5177001/5177001
1170.21/1169.22	c cleaning 26001 clauses out of 52017 with flag 5203000/5203000
1176.61/1175.61	c cleaning 25995 clauses out of 52016 with flag 5229000/5229000
1182.52/1181.55	c cleaning 26004 clauses out of 52021 with flag 5255000/5255000
1188.52/1187.54	c cleaning 26000 clauses out of 52017 with flag 5281000/5281000
1195.02/1194.02	c cleaning 25998 clauses out of 52019 with flag 5307002/5307002
1201.23/1200.21	c cleaning 26007 clauses out of 52020 with flag 5333001/5333001
1206.83/1205.83	c cleaning 25993 clauses out of 52012 with flag 5359000/5359000
1212.52/1211.51	c cleaning 26005 clauses out of 52022 with flag 5385003/5385003
1218.22/1217.21	c cleaning 25996 clauses out of 52014 with flag 5411000/5411000
1223.92/1222.98	c cleaning 26002 clauses out of 52020 with flag 5437002/5437002
1229.72/1228.70	c cleaning 26002 clauses out of 52017 with flag 5463001/5463001
1235.53/1234.53	c cleaning 25998 clauses out of 52014 with flag 5489000/5489000
1241.54/1240.55	c cleaning 25997 clauses out of 52016 with flag 5515000/5515000
1247.24/1246.24	c cleaning 26001 clauses out of 52019 with flag 5541000/5541000
1253.05/1252.04	c cleaning 25994 clauses out of 52018 with flag 5567000/5567000
1259.04/1258.06	c cleaning 26003 clauses out of 52025 with flag 5593001/5593001
1265.24/1264.23	c cleaning 26004 clauses out of 52024 with flag 5619003/5619003
1271.25/1270.20	c cleaning 25994 clauses out of 52017 with flag 5645000/5645000
1277.15/1276.10	c cleaning 26003 clauses out of 52023 with flag 5671000/5671000
1282.76/1281.77	c cleaning 26006 clauses out of 52020 with flag 5697000/5697000
1288.95/1287.96	c cleaning 26002 clauses out of 52014 with flag 5723000/5723000
1295.55/1294.58	c cleaning 25991 clauses out of 52012 with flag 5749000/5749000
1301.06/1300.01	c starts		: 2210
1301.06/1300.01	c conflicts		: 5773430
1301.06/1300.01	c decisions		: 6941389
1301.06/1300.01	c propagations		: 171662273
1301.06/1300.01	c inspects		: 15363381933
1301.06/1300.01	c shortcuts		: 0
1301.06/1300.01	c learnt literals	: 0
1301.06/1300.01	c learnt binary clauses	: 0
1301.06/1300.01	c learnt ternary clauses	: 0
1301.06/1300.01	c learnt constraints	: 5773430
1301.06/1300.01	c ignored constraints	: 0
1301.06/1300.01	c root simplifications	: 2210
1301.06/1300.01	c removed literals (reason simplification)	: 36658867
1301.06/1300.01	c reason swapping (by a shorter reason)	: 0
1301.06/1300.01	c Calls to reduceDB	: 230
1301.06/1300.01	c speed (assignments/second)	: 132069.7669229911
1301.06/1300.01	c non guided choices	132
1301.06/1300.04	c learnt constraints type 
1301.06/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 50531
1301.06/1300.04	c constraints type 
1301.06/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25500
1301.06/1300.04	s UNKNOWN
1301.06/1300.04	c Total wall clock time (in seconds) : 1299.924

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

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 3.77 4.01 4.40 4/198 20174
/proc/meminfo: memFree=15635892/32950928 swapFree=67111524/67111528
[pid=20174] ppid=20172 vsize=30536 CPUtime=0 cores=1,3
/proc/20174/stat : 20174 (java) S 20172 20174 19898 0 -1 4202496 1253 0 0 0 0 0 0 0 18 0 2 0 450109257 31268864 970 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/20174/statm: 7634 972 745 9 0 385 0
[pid=20174/tid=20175] ppid=20172 vsize=30536 CPUtime=0 cores=1,3
/proc/20174/task/20175/stat : 20175 (java) S 20172 20174 19898 0 -1 4202560 139 0 0 0 0 0 0 0 19 0 2 0 450109258 31268864 972 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256410467975 0 2147483391 0 16784584 18446744071699199166 0 0 -1 1 0 0 0

[startup+0.0114899 s]
/proc/loadavg: 3.77 4.01 4.40 4/198 20174
/proc/meminfo: memFree=15635892/32950928 swapFree=67111524/67111528
[pid=20174] ppid=20172 vsize=7540840 CPUtime=0 cores=1,3
/proc/20174/stat : 20174 (java) S 20172 20174 19898 0 -1 4202496 4015 0 1 0 0 0 0 0 18 0 2 0 450109257 7721820160 3715 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/20174/statm: 1885210 3732 919 9 0 1876366 0
[pid=20174/tid=20175] ppid=20172 vsize=7540840 CPUtime=0 cores=1,3
/proc/20174/task/20175/stat : 20175 (java) R 20172 20174 19898 0 -1 4202560 2927 0 1 0 0 0 0 0 19 0 2 0 450109258 7721820160 3743 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7540840

[startup+0.100538 s]
/proc/loadavg: 3.77 4.01 4.40 4/198 20174
/proc/meminfo: memFree=15635892/32950928 swapFree=67111524/67111528
[pid=20174] ppid=20172 vsize=7635068 CPUtime=0.09 cores=1,3
/proc/20174/stat : 20174 (java) S 20172 20174 19898 0 -1 4202496 9773 0 1 0 8 1 0 0 18 0 18 0 450109257 7818309632 9468 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20174/statm: 1908767 9468 1757 9 0 1899505 0
[pid=20174/tid=20175] ppid=20172 vsize=7635068 CPUtime=0.08 cores=1,3
/proc/20174/task/20175/stat : 20175 (java) R 20172 20174 19898 0 -1 4202560 8597 0 1 0 7 1 0 0 18 0 18 0 450109258 7818309632 9468 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 46912505186735 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7635068

[startup+0.331434 s]
/proc/loadavg: 3.77 4.01 4.40 4/198 20174
/proc/meminfo: memFree=15635892/32950928 swapFree=67111524/67111528
[pid=20174] ppid=20172 vsize=7641500 CPUtime=0.55 cores=1,3
/proc/20174/stat : 20174 (java) S 20172 20174 19898 0 -1 4202496 13235 0 1 0 53 2 0 0 18 0 19 0 450109257 7824896000 12436 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20174/statm: 1910375 12436 2209 9 0 1901113 0
[pid=20174/tid=20175] ppid=20172 vsize=7641500 CPUtime=0.31 cores=1,3
/proc/20174/task/20175/stat : 20175 (java) R 20172 20174 19898 0 -1 4202560 9743 0 1 0 30 1 0 0 19 0 19 0 450109258 7824896000 12436 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 46912505609888 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 7641500

[startup+0.700425 s]
/proc/loadavg: 3.77 4.01 4.40 4/198 20174
/proc/meminfo: memFree=15635892/32950928 swapFree=67111524/67111528
[pid=20174] ppid=20172 vsize=7643116 CPUtime=1.11 cores=1,3
/proc/20174/stat : 20174 (java) S 20172 20174 19898 0 -1 4202496 14369 0 1 0 109 2 0 0 18 0 19 0 450109257 7826550784 13244 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20174/statm: 1910779 13244 2223 9 0 1901517 0
[pid=20174/tid=20175] ppid=20172 vsize=7643116 CPUtime=0.68 cores=1,3
/proc/20174/task/20175/stat : 20175 (java) R 20172 20174 19898 0 -1 4202560 10071 0 1 0 67 1 0 0 19 0 19 0 450109258 7826550784 13244 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 46912505610002 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 7643116

[startup+1.50121 s]
/proc/loadavg: 3.77 4.01 4.40 10/262 20261
/proc/meminfo: memFree=15406072/32950928 swapFree=67111524/67111528
[pid=20174] ppid=20172 vsize=7662488 CPUtime=2.16 cores=1,3
/proc/20174/stat : 20174 (java) S 20172 20174 19898 0 -1 4202496 23959 0 1 0 213 3 0 0 18 0 19 0 450109257 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20174/statm: 1915622 20391 2252 9 0 1906360 0
[pid=20174/tid=20175] ppid=20172 vsize=7662488 CPUtime=1.42 cores=1,3
/proc/20174/task/20175/stat : 20175 (java) R 20172 20174 19898 0 -1 4202560 10392 0 1 0 141 1 0 0 20 0 19 0 450109258 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 46912505329159 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20174/tid=20181] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20181/stat : 20181 (java) S 20172 20174 19898 0 -1 4202560 962 0 0 0 0 0 0 0 17 0 19 0 450109259 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20182] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20182/stat : 20182 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450109259 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20183] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20183/stat : 20183 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450109259 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20184] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20184/stat : 20184 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450109259 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20185] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20185/stat : 20185 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450109259 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20186] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20186/stat : 20186 (java) S 20172 20174 19898 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 19 0 450109259 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20187] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20187/stat : 20187 (java) S 20172 20174 19898 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 450109259 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20188] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20188/stat : 20188 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450109259 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20192] ppid=20172 vsize=7662488 CPUtime=0.01 cores=1,3
/proc/20174/task/20192/stat : 20192 (java) S 20172 20174 19898 0 -1 4202560 1006 0 0 0 1 0 0 0 17 0 19 0 450109260 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 0 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20193] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20193/stat : 20193 (java) S 20172 20174 19898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450109260 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20194] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20194/stat : 20194 (java) S 20172 20174 19898 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450109260 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20202] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20202/stat : 20202 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450109263 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427215281 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20203] ppid=20172 vsize=7662488 CPUtime=0.24 cores=1,3
/proc/20174/task/20203/stat : 20203 (java) S 20172 20174 19898 0 -1 4202560 2391 0 0 0 24 0 0 0 16 0 19 0 450109263 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20204] ppid=20172 vsize=7662488 CPUtime=0.43 cores=1,3
/proc/20174/task/20204/stat : 20204 (java) S 20172 20174 19898 0 -1 4202560 8004 0 0 0 43 0 0 0 15 0 19 0 450109263 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20205] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20205/stat : 20205 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450109263 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20206] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20206/stat : 20206 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450109263 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20254] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20254/stat : 20254 (java) S 20172 20174 19898 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450109280 7846387712 20391 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 7662488

[startup+3.1009 s]
/proc/loadavg: 3.77 4.01 4.40 5/262 20261
/proc/meminfo: memFree=15385592/32950928 swapFree=67111524/67111528
[pid=20174] ppid=20172 vsize=7662488 CPUtime=3.76 cores=1,3
/proc/20174/stat : 20174 (java) S 20172 20174 19898 0 -1 4202496 24698 0 1 0 373 3 0 0 18 0 19 0 450109257 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20174/statm: 1915622 21128 2254 9 0 1906360 0
[pid=20174/tid=20175] ppid=20172 vsize=7662488 CPUtime=2.96 cores=1,3
/proc/20174/task/20175/stat : 20175 (java) R 20172 20174 19898 0 -1 4202560 10395 0 1 0 295 1 0 0 19 0 19 0 450109258 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 46912505609671 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20174/tid=20181] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20181/stat : 20181 (java) S 20172 20174 19898 0 -1 4202560 962 0 0 0 0 0 0 0 15 0 19 0 450109259 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20182] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20182/stat : 20182 (java) S 20172 20174 19898 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 450109259 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20183] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20183/stat : 20183 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450109259 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20184] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20184/stat : 20184 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450109259 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20185] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20185/stat : 20185 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450109259 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20186] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20186/stat : 20186 (java) S 20172 20174 19898 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 19 0 450109259 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20187] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20187/stat : 20187 (java) S 20172 20174 19898 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 450109259 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20188] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20188/stat : 20188 (java) S 20172 20174 19898 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 19 0 450109259 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20192] ppid=20172 vsize=7662488 CPUtime=0.05 cores=1,3
/proc/20174/task/20192/stat : 20192 (java) S 20172 20174 19898 0 -1 4202560 1302 0 0 0 5 0 0 0 16 0 19 0 450109260 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 0 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20193] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20193/stat : 20193 (java) S 20172 20174 19898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450109260 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20194] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20194/stat : 20194 (java) S 20172 20174 19898 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450109260 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20202] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20202/stat : 20202 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450109263 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427215281 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20203] ppid=20172 vsize=7662488 CPUtime=0.26 cores=1,3
/proc/20174/task/20203/stat : 20203 (java) S 20172 20174 19898 0 -1 4202560 2411 0 0 0 26 0 0 0 15 0 19 0 450109263 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20204] ppid=20172 vsize=7662488 CPUtime=0.44 cores=1,3
/proc/20174/task/20204/stat : 20204 (java) S 20172 20174 19898 0 -1 4202560 8006 0 0 0 44 0 0 0 15 0 19 0 450109263 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20205] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20205/stat : 20205 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450109263 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20206] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20206/stat : 20206 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450109263 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20254] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20254/stat : 20254 (java) S 20172 20174 19898 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450109280 7846387712 21128 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 7662488

[startup+6.30136 s]
/proc/loadavg: 3.79 4.01 4.39 5/262 20261
/proc/meminfo: memFree=15337884/32950928 swapFree=67111524/67111528
[pid=20174] ppid=20172 vsize=7662488 CPUtime=6.97 cores=1,3
/proc/20174/stat : 20174 (java) S 20172 20174 19898 0 -1 4202496 25101 0 1 0 694 3 0 0 18 0 19 0 450109257 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20174/statm: 1915622 21477 2254 9 0 1906360 0
[pid=20174/tid=20175] ppid=20172 vsize=7662488 CPUtime=6.1 cores=1,3
/proc/20174/task/20175/stat : 20175 (java) R 20172 20174 19898 0 -1 4202560 10397 0 1 0 609 1 0 0 25 0 19 0 450109258 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 46912505658621 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20174/tid=20181] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20181/stat : 20181 (java) S 20172 20174 19898 0 -1 4202560 962 0 0 0 0 0 0 0 15 0 19 0 450109259 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20182] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20182/stat : 20182 (java) S 20172 20174 19898 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 450109259 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20183] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20183/stat : 20183 (java) S 20172 20174 19898 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 450109259 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20184] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20184/stat : 20184 (java) S 20172 20174 19898 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 450109259 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20185] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20185/stat : 20185 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 450109259 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20186] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20186/stat : 20186 (java) S 20172 20174 19898 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 450109259 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20187] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20187/stat : 20187 (java) S 20172 20174 19898 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 450109259 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20188] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20188/stat : 20188 (java) S 20172 20174 19898 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 19 0 450109259 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20192] ppid=20172 vsize=7662488 CPUtime=0.09 cores=1,3
/proc/20174/task/20192/stat : 20192 (java) S 20172 20174 19898 0 -1 4202560 1406 0 0 0 9 0 0 0 15 0 19 0 450109260 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 0 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20193] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20193/stat : 20193 (java) S 20172 20174 19898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450109260 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20194] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20194/stat : 20194 (java) S 20172 20174 19898 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450109260 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20202] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20202/stat : 20202 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450109263 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427215281 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20203] ppid=20172 vsize=7662488 CPUtime=0.26 cores=1,3
/proc/20174/task/20203/stat : 20203 (java) S 20172 20174 19898 0 -1 4202560 2411 0 0 0 26 0 0 0 15 0 19 0 450109263 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20204] ppid=20172 vsize=7662488 CPUtime=0.46 cores=1,3
/proc/20174/task/20204/stat : 20204 (java) S 20172 20174 19898 0 -1 4202560 8017 0 0 0 46 0 0 0 15 0 19 0 450109263 7846387712 21477 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0

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

[pid=20174/tid=20186] ppid=20172 vsize=7662488 CPUtime=0.1 cores=1,3
/proc/20174/task/20186/stat : 20186 (java) S 20172 20174 19898 0 -1 4202560 369 0 0 0 10 0 0 0 15 0 19 0 450109259 7846387712 25957 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20187] ppid=20172 vsize=7662488 CPUtime=0.09 cores=1,3
/proc/20174/task/20187/stat : 20187 (java) S 20172 20174 19898 0 -1 4202560 180 0 0 0 9 0 0 0 15 0 19 0 450109259 7846387712 25957 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20188] ppid=20172 vsize=7662488 CPUtime=0.11 cores=1,3
/proc/20174/task/20188/stat : 20188 (java) S 20172 20174 19898 0 -1 4202560 607 0 0 0 11 0 0 0 15 0 19 0 450109259 7846387712 25957 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20192] ppid=20172 vsize=7662488 CPUtime=5.15 cores=1,3
/proc/20174/task/20192/stat : 20192 (java) S 20172 20174 19898 0 -1 4202560 3091 0 0 0 513 2 0 0 16 0 19 0 450109260 7846387712 25957 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 0 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20193] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20193/stat : 20193 (java) S 20172 20174 19898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450109260 7846387712 25957 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20194] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20194/stat : 20194 (java) S 20172 20174 19898 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450109260 7846387712 25957 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20202] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20202/stat : 20202 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450109263 7846387712 25957 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427215281 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20203] ppid=20172 vsize=7662488 CPUtime=0.26 cores=1,3
/proc/20174/task/20203/stat : 20203 (java) S 20172 20174 19898 0 -1 4202560 2411 0 0 0 26 0 0 0 15 0 19 0 450109263 7846387712 25957 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20204] ppid=20172 vsize=7662488 CPUtime=0.49 cores=1,3
/proc/20174/task/20204/stat : 20204 (java) S 20172 20174 19898 0 -1 4202560 8026 0 0 0 49 0 0 0 15 0 19 0 450109263 7846387712 25957 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20205] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20205/stat : 20205 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450109263 7846387712 25957 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20206] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20206/stat : 20206 (java) S 20172 20174 19898 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 450109263 7846387712 25957 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20254] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20254/stat : 20254 (java) S 20172 20174 19898 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450109280 7846387712 25957 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.3
Current children cumulated vsize (KiB) 7662488

[startup+1182.3 s]
/proc/loadavg: 4.01 4.02 4.10 5/262 20301
/proc/meminfo: memFree=15079352/32950928 swapFree=67111524/67111528
[pid=20174] ppid=20172 vsize=7662488 CPUtime=1183.32 cores=1,3
/proc/20174/stat : 20174 (java) S 20172 20174 19898 0 -1 4202496 29980 0 1 0 118325 7 0 0 18 0 19 0 450109257 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20174/statm: 1915622 26012 2255 9 0 1906360 0
[pid=20174/tid=20175] ppid=20172 vsize=7662488 CPUtime=1176.24 cores=1,3
/proc/20174/task/20175/stat : 20175 (java) R 20172 20174 19898 0 -1 4202560 11061 0 1 0 117622 2 0 0 25 0 19 0 450109258 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 46912505609983 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20174/tid=20181] ppid=20172 vsize=7662488 CPUtime=0.1 cores=1,3
/proc/20174/task/20181/stat : 20181 (java) S 20172 20174 19898 0 -1 4202560 1626 0 0 0 10 0 0 0 15 0 19 0 450109259 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20182] ppid=20172 vsize=7662488 CPUtime=0.11 cores=1,3
/proc/20174/task/20182/stat : 20182 (java) S 20172 20174 19898 0 -1 4202560 796 0 0 0 11 0 0 0 15 0 19 0 450109259 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20183] ppid=20172 vsize=7662488 CPUtime=0.11 cores=1,3
/proc/20174/task/20183/stat : 20183 (java) S 20172 20174 19898 0 -1 4202560 100 0 0 0 11 0 0 0 15 0 19 0 450109259 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20184] ppid=20172 vsize=7662488 CPUtime=0.09 cores=1,3
/proc/20174/task/20184/stat : 20184 (java) S 20172 20174 19898 0 -1 4202560 361 0 0 0 9 0 0 0 15 0 19 0 450109259 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20185] ppid=20172 vsize=7662488 CPUtime=0.11 cores=1,3
/proc/20174/task/20185/stat : 20185 (java) S 20172 20174 19898 0 -1 4202560 72 0 0 0 11 0 0 0 15 0 19 0 450109259 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20186] ppid=20172 vsize=7662488 CPUtime=0.1 cores=1,3
/proc/20174/task/20186/stat : 20186 (java) S 20172 20174 19898 0 -1 4202560 369 0 0 0 10 0 0 0 15 0 19 0 450109259 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20187] ppid=20172 vsize=7662488 CPUtime=0.1 cores=1,3
/proc/20174/task/20187/stat : 20187 (java) S 20172 20174 19898 0 -1 4202560 180 0 0 0 10 0 0 0 15 0 19 0 450109259 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20188] ppid=20172 vsize=7662488 CPUtime=0.11 cores=1,3
/proc/20174/task/20188/stat : 20188 (java) S 20172 20174 19898 0 -1 4202560 607 0 0 0 11 0 0 0 15 0 19 0 450109259 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20192] ppid=20172 vsize=7662488 CPUtime=5.42 cores=1,3
/proc/20174/task/20192/stat : 20192 (java) S 20172 20174 19898 0 -1 4202560 3150 0 0 0 540 2 0 0 16 0 19 0 450109260 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 0 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20193] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20193/stat : 20193 (java) S 20172 20174 19898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450109260 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20194] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20194/stat : 20194 (java) S 20172 20174 19898 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450109260 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20202] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20202/stat : 20202 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450109263 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427215281 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20203] ppid=20172 vsize=7662488 CPUtime=0.26 cores=1,3
/proc/20174/task/20203/stat : 20203 (java) S 20172 20174 19898 0 -1 4202560 2411 0 0 0 26 0 0 0 15 0 19 0 450109263 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20204] ppid=20172 vsize=7662488 CPUtime=0.49 cores=1,3
/proc/20174/task/20204/stat : 20204 (java) S 20172 20174 19898 0 -1 4202560 8026 0 0 0 49 0 0 0 15 0 19 0 450109263 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20205] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20205/stat : 20205 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450109263 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20206] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20206/stat : 20206 (java) S 20172 20174 19898 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 450109263 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20254] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20254/stat : 20254 (java) S 20172 20174 19898 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450109280 7846387712 26012 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1183.32
Current children cumulated vsize (KiB) 7662488

[startup+1242.3 s]
/proc/loadavg: 4.08 4.04 4.10 5/262 20303
/proc/meminfo: memFree=15076284/32950928 swapFree=67111524/67111528
[pid=20174] ppid=20172 vsize=7662488 CPUtime=1243.34 cores=1,3
/proc/20174/stat : 20174 (java) S 20172 20174 19898 0 -1 4202496 30001 0 1 0 124326 8 0 0 18 0 19 0 450109257 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20174/statm: 1915622 26015 2255 9 0 1906360 0
[pid=20174/tid=20175] ppid=20172 vsize=7662488 CPUtime=1235.94 cores=1,3
/proc/20174/task/20175/stat : 20175 (java) R 20172 20174 19898 0 -1 4202560 11071 0 1 0 123592 2 0 0 25 0 19 0 450109258 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 46912505609890 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20174/tid=20181] ppid=20172 vsize=7662488 CPUtime=0.11 cores=1,3
/proc/20174/task/20181/stat : 20181 (java) S 20172 20174 19898 0 -1 4202560 1629 0 0 0 11 0 0 0 15 0 19 0 450109259 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20182] ppid=20172 vsize=7662488 CPUtime=0.11 cores=1,3
/proc/20174/task/20182/stat : 20182 (java) S 20172 20174 19898 0 -1 4202560 796 0 0 0 11 0 0 0 15 0 19 0 450109259 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20183] ppid=20172 vsize=7662488 CPUtime=0.11 cores=1,3
/proc/20174/task/20183/stat : 20183 (java) S 20172 20174 19898 0 -1 4202560 100 0 0 0 11 0 0 0 15 0 19 0 450109259 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20184] ppid=20172 vsize=7662488 CPUtime=0.1 cores=1,3
/proc/20174/task/20184/stat : 20184 (java) S 20172 20174 19898 0 -1 4202560 361 0 0 0 10 0 0 0 15 0 19 0 450109259 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20185] ppid=20172 vsize=7662488 CPUtime=0.11 cores=1,3
/proc/20174/task/20185/stat : 20185 (java) S 20172 20174 19898 0 -1 4202560 72 0 0 0 11 0 0 0 15 0 19 0 450109259 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20186] ppid=20172 vsize=7662488 CPUtime=0.11 cores=1,3
/proc/20174/task/20186/stat : 20186 (java) S 20172 20174 19898 0 -1 4202560 369 0 0 0 11 0 0 0 16 0 19 0 450109259 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20187] ppid=20172 vsize=7662488 CPUtime=0.1 cores=1,3
/proc/20174/task/20187/stat : 20187 (java) S 20172 20174 19898 0 -1 4202560 180 0 0 0 10 0 0 0 15 0 19 0 450109259 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20188] ppid=20172 vsize=7662488 CPUtime=0.12 cores=1,3
/proc/20174/task/20188/stat : 20188 (java) S 20172 20174 19898 0 -1 4202560 607 0 0 0 12 0 0 0 15 0 19 0 450109259 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20192] ppid=20172 vsize=7662488 CPUtime=5.69 cores=1,3
/proc/20174/task/20192/stat : 20192 (java) S 20172 20174 19898 0 -1 4202560 3154 0 0 0 567 2 0 0 15 0 19 0 450109260 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 0 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20193] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20193/stat : 20193 (java) S 20172 20174 19898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450109260 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20194] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20194/stat : 20194 (java) S 20172 20174 19898 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450109260 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20202] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20202/stat : 20202 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450109263 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427215281 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20203] ppid=20172 vsize=7662488 CPUtime=0.26 cores=1,3
/proc/20174/task/20203/stat : 20203 (java) S 20172 20174 19898 0 -1 4202560 2411 0 0 0 26 0 0 0 15 0 19 0 450109263 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20204] ppid=20172 vsize=7662488 CPUtime=0.49 cores=1,3
/proc/20174/task/20204/stat : 20204 (java) S 20172 20174 19898 0 -1 4202560 8026 0 0 0 49 0 0 0 15 0 19 0 450109263 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20205] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20205/stat : 20205 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450109263 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20206] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20206/stat : 20206 (java) S 20172 20174 19898 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 450109263 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20254] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20254/stat : 20254 (java) S 20172 20174 19898 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450109280 7846387712 26015 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1243.34
Current children cumulated vsize (KiB) 7662488



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.08 4.04 4.09 4/242 20308
/proc/meminfo: memFree=15150536/32950928 swapFree=67111524/67111528
[pid=20174] ppid=20172 vsize=7662488 CPUtime=1301.06 cores=1,3
/proc/20174/stat : 20174 (java) S 20172 20174 19898 0 -1 4202496 30053 0 1 0 130098 8 0 0 18 0 19 0 450109257 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20174/statm: 1915622 26052 2255 9 0 1906360 0
[pid=20174/tid=20175] ppid=20172 vsize=7662488 CPUtime=1293.38 cores=1,3
/proc/20174/task/20175/stat : 20175 (java) R 20172 20174 19898 0 -1 4202560 11080 0 1 0 129336 2 0 0 25 0 19 0 450109258 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 46912505609867 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20174/tid=20181] ppid=20172 vsize=7662488 CPUtime=0.12 cores=1,3
/proc/20174/task/20181/stat : 20181 (java) S 20172 20174 19898 0 -1 4202560 1629 0 0 0 12 0 0 0 15 0 19 0 450109259 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20182] ppid=20172 vsize=7662488 CPUtime=0.12 cores=1,3
/proc/20174/task/20182/stat : 20182 (java) S 20172 20174 19898 0 -1 4202560 796 0 0 0 12 0 0 0 15 0 19 0 450109259 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20183] ppid=20172 vsize=7662488 CPUtime=0.11 cores=1,3
/proc/20174/task/20183/stat : 20183 (java) S 20172 20174 19898 0 -1 4202560 103 0 0 0 11 0 0 0 15 0 19 0 450109259 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20184] ppid=20172 vsize=7662488 CPUtime=0.1 cores=1,3
/proc/20174/task/20184/stat : 20184 (java) S 20172 20174 19898 0 -1 4202560 362 0 0 0 10 0 0 0 15 0 19 0 450109259 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20185] ppid=20172 vsize=7662488 CPUtime=0.11 cores=1,3
/proc/20174/task/20185/stat : 20185 (java) S 20172 20174 19898 0 -1 4202560 72 0 0 0 11 0 0 0 15 0 19 0 450109259 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20186] ppid=20172 vsize=7662488 CPUtime=0.11 cores=1,3
/proc/20174/task/20186/stat : 20186 (java) S 20172 20174 19898 0 -1 4202560 369 0 0 0 11 0 0 0 15 0 19 0 450109259 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20187] ppid=20172 vsize=7662488 CPUtime=0.1 cores=1,3
/proc/20174/task/20187/stat : 20187 (java) S 20172 20174 19898 0 -1 4202560 180 0 0 0 10 0 0 0 16 0 19 0 450109259 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20188] ppid=20172 vsize=7662488 CPUtime=0.13 cores=1,3
/proc/20174/task/20188/stat : 20188 (java) S 20172 20174 19898 0 -1 4202560 607 0 0 0 13 0 0 0 16 0 19 0 450109259 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20192] ppid=20172 vsize=7662488 CPUtime=5.93 cores=1,3
/proc/20174/task/20192/stat : 20192 (java) S 20172 20174 19898 0 -1 4202560 3189 0 0 0 591 2 0 0 15 0 19 0 450109260 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 0 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20193] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20193/stat : 20193 (java) S 20172 20174 19898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450109260 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20194] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20194/stat : 20194 (java) S 20172 20174 19898 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450109260 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20202] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20202/stat : 20202 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 450109263 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427215281 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20203] ppid=20172 vsize=7662488 CPUtime=0.26 cores=1,3
/proc/20174/task/20203/stat : 20203 (java) S 20172 20174 19898 0 -1 4202560 2411 0 0 0 26 0 0 0 15 0 19 0 450109263 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 3 0 0 0
[pid=20174/tid=20204] ppid=20172 vsize=7662488 CPUtime=0.49 cores=1,3
/proc/20174/task/20204/stat : 20204 (java) S 20172 20174 19898 0 -1 4202560 8026 0 0 0 49 0 0 0 15 0 19 0 450109263 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20205] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20205/stat : 20205 (java) S 20172 20174 19898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 450109263 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427207577 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
[pid=20174/tid=20206] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20206/stat : 20206 (java) R 20172 20174 19898 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 450109263 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20174/tid=20254] ppid=20172 vsize=7662488 CPUtime=0 cores=1,3
/proc/20174/task/20254/stat : 20254 (java) S 20172 20174 19898 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450109280 7846387712 26052 33554432000 1073741824 1073778376 140735480656656 18446744073709551615 256427208192 0 4 0 16800975 18446604471132418240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1301.06
Current children cumulated vsize (KiB) 7662488

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

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

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.14
CPU user time (s): 1301.05
CPU system time (s): 0.089986
CPU usage (%): 100.084
Max. virtual memory (cumulated for all children) (KiB): 7662488

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

runsolver used 1.9587 second user time and 5.15822 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-12 10:59:46
IDJOB=3190329
IDBENCH=82660
IDSOLVER=1611
FILE ID=node115/3190329-1302598786
RUNJOBID= node115-1302597483-19918
PBS_JOBID= 12958101
Free space on /tmp= 71528 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k7-r85-v300-c25500-S69399346-065-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-3190329-1302598786/watcher-3190329-1302598786 -o /tmp/evaluation-result-3190329-1302598786/solver-3190329-1302598786 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190329-1302598786.cnf

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

MD5SUM BENCH= 98486271f2f72889c040eabfd36ebd13
RANDOM SEED=1207143905

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15636048 kB
Buffers:        619420 kB
Cached:       16190032 kB
SwapCached:          4 kB
Active:        4789572 kB
Inactive:     12118000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15636048 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            1696 kB
Writeback:           0 kB
AnonPages:       97792 kB
Mapped:          22448 kB
Slab:           343636 kB
PageTables:       5124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  7463704 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71528 MiB
End job on node115 at 2011-04-12 11:21:28