Trace number 3190220

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/large/
unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf
MD5SUM5297bd1d2a420892cfb1fb6d32ccacad
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.04/0.25	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.25	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.25	c See www.sat4j.org for details.
0.04/0.26	c no version file found!!!
0.04/0.26	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.26	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.26	c java.vm.version	19.1-b02
0.04/0.26	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.26	c sun.arch.data.model	64
0.04/0.26	c java.version		1.6.0_24
0.04/0.26	c os.name		Linux
0.04/0.26	c os.version		2.6.18-164.el5
0.04/0.26	c os.arch		amd64
0.04/0.26	c Free memory 		6997539544
0.04/0.26	c Max memory 		7034241024
0.04/0.26	c Total memory 		7034241024
0.04/0.26	c Number of processors 	8
0.04/0.28	c --- Begin Solver configuration ---
0.04/0.28	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.04/0.28	c Learn all clauses as in MiniSAT
0.04/0.28	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.04/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.04/0.28	c Expensive reason simplification
0.04/0.28	c Armin Biere (Picosat) restarts strategy
0.04/0.28	c Glucose learned constraints deletion strategy
0.04/0.28	c timeout=2147483647s
0.04/0.28	c DB Simplification allowed=true
0.04/0.28	c --- End Solver configuration ---
0.04/0.28	c solving HOME/instance-3190220-1302597355.cnf
0.04/0.28	c reading problem ... 
0.13/0.39	c ... done. Wall clock time 0.105s.
0.13/0.39	c #vars     300
0.13/0.39	c #constraints  25500
0.13/0.39	c constraints type 
0.13/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25500
1.47/1.32	c cleaning 2494 clauses out of 5001 with flag 5001/5001
2.57/2.14	c cleaning 4245 clauses out of 8506 with flag 11000/11000
3.47/3.09	c cleaning 5627 clauses out of 11261 with flag 18000/18000
4.67/4.22	c cleaning 6816 clauses out of 13635 with flag 26001/26001
5.98/5.57	c cleaning 7906 clauses out of 15819 with flag 35001/35001
7.58/7.17	c cleaning 8954 clauses out of 17915 with flag 45003/45003
9.28/8.88	c cleaning 9976 clauses out of 19958 with flag 56000/56000
11.38/10.93	c cleaning 10985 clauses out of 21983 with flag 68001/68001
13.48/13.05	c cleaning 11994 clauses out of 23997 with flag 81000/81000
15.89/15.43	c cleaning 12996 clauses out of 26003 with flag 95000/95000
18.58/18.10	c cleaning 13999 clauses out of 28008 with flag 110001/110001
21.48/21.03	c cleaning 15002 clauses out of 30010 with flag 126002/126002
24.69/24.25	c cleaning 16001 clauses out of 32007 with flag 143001/143001
28.18/27.74	c cleaning 16995 clauses out of 34005 with flag 161000/161000
31.89/31.43	c cleaning 18002 clauses out of 36011 with flag 180001/180001
35.99/35.60	c cleaning 19001 clauses out of 38009 with flag 200001/200001
40.49/40.07	c cleaning 19999 clauses out of 40007 with flag 221000/221000
45.29/44.81	c cleaning 20998 clauses out of 42009 with flag 243001/243001
50.29/49.80	c cleaning 22002 clauses out of 44010 with flag 266000/266000
55.50/55.04	c cleaning 22996 clauses out of 46008 with flag 290000/290000
61.30/60.87	c cleaning 24003 clauses out of 48013 with flag 315001/315001
67.60/67.10	c cleaning 24998 clauses out of 50010 with flag 341001/341001
73.80/73.33	c cleaning 25505 clauses out of 51012 with flag 367001/367001
80.01/79.59	c cleaning 25746 clauses out of 51506 with flag 393000/393000
86.72/86.21	c cleaning 25874 clauses out of 51760 with flag 419000/419000
92.62/92.14	c cleaning 25935 clauses out of 51888 with flag 445002/445002
99.02/98.57	c cleaning 25968 clauses out of 51951 with flag 471000/471000
105.22/104.72	c cleaning 25991 clauses out of 51983 with flag 497000/497000
111.63/111.14	c cleaning 25988 clauses out of 51992 with flag 523000/523000
117.62/117.15	c cleaning 25995 clauses out of 52004 with flag 549000/549000
124.23/123.74	c cleaning 26001 clauses out of 52011 with flag 575002/575002
130.63/130.12	c cleaning 25999 clauses out of 52010 with flag 601002/601002
137.03/136.51	c cleaning 25997 clauses out of 52010 with flag 627001/627001
142.93/142.49	c cleaning 25997 clauses out of 52012 with flag 653000/653000
149.53/149.01	c cleaning 26003 clauses out of 52015 with flag 679000/679000
155.64/155.17	c cleaning 25999 clauses out of 52014 with flag 705002/705002
161.83/161.32	c cleaning 26005 clauses out of 52016 with flag 731003/731003
168.24/167.71	c cleaning 25991 clauses out of 52008 with flag 757000/757000
174.44/173.96	c cleaning 26005 clauses out of 52018 with flag 783001/783001
180.54/180.01	c cleaning 26003 clauses out of 52013 with flag 809001/809001
186.94/186.48	c cleaning 25997 clauses out of 52010 with flag 835001/835001
193.14/192.62	c cleaning 25998 clauses out of 52013 with flag 861001/861001
199.24/198.71	c cleaning 25998 clauses out of 52014 with flag 887000/887000
205.34/204.88	c cleaning 26007 clauses out of 52017 with flag 913001/913001
212.05/211.59	c cleaning 25999 clauses out of 52009 with flag 939000/939000
218.05/217.52	c cleaning 25998 clauses out of 52010 with flag 965000/965000
223.95/223.46	c cleaning 25999 clauses out of 52012 with flag 991000/991000
230.55/230.08	c cleaning 26003 clauses out of 52013 with flag 1017000/1017000
236.85/236.39	c cleaning 26001 clauses out of 52010 with flag 1043000/1043000
243.15/242.64	c cleaning 26001 clauses out of 52009 with flag 1069000/1069000
249.46/248.95	c cleaning 25992 clauses out of 52008 with flag 1095000/1095000
255.76/255.21	c cleaning 26000 clauses out of 52016 with flag 1121000/1121000
262.06/261.50	c cleaning 25999 clauses out of 52016 with flag 1147000/1147000
268.26/267.74	c cleaning 26002 clauses out of 52017 with flag 1173000/1173000
274.47/273.94	c cleaning 26003 clauses out of 52015 with flag 1199000/1199000
280.76/280.28	c cleaning 26002 clauses out of 52012 with flag 1225000/1225000
287.36/286.84	c cleaning 25998 clauses out of 52010 with flag 1251000/1251000
293.66/293.14	c cleaning 26000 clauses out of 52014 with flag 1277002/1277002
299.77/299.22	c cleaning 26003 clauses out of 52012 with flag 1303000/1303000
306.27/305.71	c cleaning 26001 clauses out of 52009 with flag 1329000/1329000
312.47/311.99	c cleaning 25993 clauses out of 52008 with flag 1355000/1355000
318.97/318.46	c cleaning 26001 clauses out of 52016 with flag 1381001/1381001
325.17/324.61	c cleaning 26004 clauses out of 52016 with flag 1407002/1407002
331.47/331.00	c cleaning 25996 clauses out of 52010 with flag 1433000/1433000
337.87/337.37	c cleaning 26004 clauses out of 52015 with flag 1459001/1459001
344.07/343.51	c cleaning 25998 clauses out of 52010 with flag 1485000/1485000
350.67/350.15	c cleaning 25996 clauses out of 52012 with flag 1511000/1511000
356.78/356.25	c cleaning 26002 clauses out of 52016 with flag 1537000/1537000
362.88/362.38	c cleaning 25997 clauses out of 52014 with flag 1563000/1563000
369.08/368.53	c cleaning 26003 clauses out of 52018 with flag 1589001/1589001
375.19/374.63	c cleaning 25997 clauses out of 52014 with flag 1615000/1615000
381.49/380.96	c cleaning 26000 clauses out of 52017 with flag 1641000/1641000
388.19/387.64	c cleaning 26004 clauses out of 52018 with flag 1667001/1667001
394.41/393.83	c cleaning 25996 clauses out of 52013 with flag 1693000/1693000
400.81/400.25	c cleaning 26000 clauses out of 52017 with flag 1719000/1719000
406.81/406.22	c cleaning 26006 clauses out of 52020 with flag 1745003/1745003
412.91/412.37	c cleaning 25997 clauses out of 52011 with flag 1771000/1771000
419.51/418.93	c cleaning 26005 clauses out of 52015 with flag 1797001/1797001
425.91/425.35	c cleaning 25998 clauses out of 52010 with flag 1823001/1823001
432.41/431.83	c cleaning 26002 clauses out of 52011 with flag 1849000/1849000
438.61/438.00	c cleaning 25993 clauses out of 52009 with flag 1875000/1875000
444.71/444.19	c cleaning 25998 clauses out of 52017 with flag 1901001/1901001
451.11/450.54	c cleaning 26006 clauses out of 52019 with flag 1927001/1927001
457.11/456.55	c cleaning 26000 clauses out of 52013 with flag 1953001/1953001
463.51/462.93	c cleaning 25999 clauses out of 52014 with flag 1979002/1979002
469.71/469.13	c cleaning 25992 clauses out of 52013 with flag 2005000/2005000
476.10/475.53	c cleaning 26005 clauses out of 52022 with flag 2031001/2031001
482.31/481.78	c cleaning 26001 clauses out of 52016 with flag 2057000/2057000
488.51/487.95	c cleaning 26002 clauses out of 52016 with flag 2083001/2083001
494.71/494.19	c cleaning 25994 clauses out of 52013 with flag 2109000/2109000
501.12/500.53	c cleaning 26002 clauses out of 52020 with flag 2135001/2135001
507.31/506.75	c cleaning 26002 clauses out of 52017 with flag 2161000/2161000
513.62/513.05	c cleaning 26002 clauses out of 52015 with flag 2187000/2187000
520.32/519.71	c cleaning 25999 clauses out of 52016 with flag 2213003/2213003
526.62/526.07	c cleaning 26000 clauses out of 52014 with flag 2239000/2239000
532.62/532.07	c cleaning 26000 clauses out of 52015 with flag 2265001/2265001
538.62/538.04	c cleaning 25996 clauses out of 52014 with flag 2291000/2291000
544.82/544.22	c cleaning 26003 clauses out of 52019 with flag 2317001/2317001
551.13/550.58	c cleaning 26002 clauses out of 52015 with flag 2343000/2343000
557.63/557.00	c cleaning 25996 clauses out of 52013 with flag 2369000/2369000
564.03/563.49	c cleaning 26000 clauses out of 52017 with flag 2395000/2395000
570.23/569.63	c cleaning 26001 clauses out of 52018 with flag 2421001/2421001
576.43/575.84	c cleaning 25999 clauses out of 52017 with flag 2447001/2447001
582.84/582.25	c cleaning 26006 clauses out of 52017 with flag 2473000/2473000
588.94/588.38	c cleaning 25999 clauses out of 52012 with flag 2499001/2499001
595.24/594.61	c cleaning 26000 clauses out of 52012 with flag 2525000/2525000
601.54/600.95	c cleaning 25998 clauses out of 52013 with flag 2551001/2551001
607.75/607.18	c cleaning 25996 clauses out of 52014 with flag 2577000/2577000
613.84/613.24	c cleaning 25988 clauses out of 52018 with flag 2603000/2603000
620.55/619.94	c cleaning 26007 clauses out of 52031 with flag 2629001/2629001
627.05/626.45	c cleaning 26004 clauses out of 52023 with flag 2655000/2655000
633.75/633.17	c cleaning 26005 clauses out of 52020 with flag 2681001/2681001
640.55/639.91	c cleaning 26002 clauses out of 52015 with flag 2707001/2707001
646.76/646.16	c cleaning 25999 clauses out of 52012 with flag 2733000/2733000
652.96/652.30	c cleaning 25998 clauses out of 52013 with flag 2759000/2759000
659.16/658.56	c cleaning 26003 clauses out of 52015 with flag 2785000/2785000
665.06/664.44	c cleaning 25999 clauses out of 52013 with flag 2811001/2811001
671.26/670.69	c cleaning 26004 clauses out of 52015 with flag 2837002/2837002
677.47/676.80	c cleaning 26000 clauses out of 52010 with flag 2863001/2863001
683.57/682.95	c cleaning 25998 clauses out of 52009 with flag 2889000/2889000
690.38/689.75	c cleaning 25998 clauses out of 52013 with flag 2915002/2915002
696.88/696.30	c cleaning 26001 clauses out of 52015 with flag 2941002/2941002
703.37/702.76	c cleaning 25999 clauses out of 52013 with flag 2967001/2967001
709.97/709.33	c cleaning 26005 clauses out of 52015 with flag 2993002/2993002
715.97/715.36	c cleaning 25997 clauses out of 52008 with flag 3019000/3019000
722.28/721.62	c cleaning 26000 clauses out of 52011 with flag 3045000/3045000
728.68/728.08	c cleaning 26001 clauses out of 52011 with flag 3071000/3071000
735.08/734.44	c cleaning 25997 clauses out of 52010 with flag 3097000/3097000
741.48/740.89	c cleaning 26000 clauses out of 52014 with flag 3123001/3123001
747.98/747.36	c cleaning 26002 clauses out of 52013 with flag 3149000/3149000
754.89/754.25	c cleaning 25999 clauses out of 52012 with flag 3175001/3175001
761.59/760.93	c cleaning 25992 clauses out of 52012 with flag 3201000/3201000
768.29/767.68	c cleaning 26002 clauses out of 52021 with flag 3227001/3227001
775.39/774.72	c cleaning 26003 clauses out of 52020 with flag 3253002/3253002
782.40/781.77	c cleaning 26003 clauses out of 52015 with flag 3279000/3279000
789.00/788.37	c cleaning 25999 clauses out of 52012 with flag 3305000/3305000
795.10/794.48	c cleaning 25996 clauses out of 52015 with flag 3331002/3331002
801.30/800.70	c cleaning 26004 clauses out of 52020 with flag 3357003/3357003
807.60/806.93	c cleaning 25993 clauses out of 52013 with flag 3383000/3383000
813.80/813.10	c cleaning 26004 clauses out of 52021 with flag 3409001/3409001
820.11/819.43	c cleaning 26006 clauses out of 52018 with flag 3435002/3435002
826.71/826.04	c cleaning 25997 clauses out of 52011 with flag 3461001/3461001
833.31/832.69	c cleaning 26001 clauses out of 52013 with flag 3487000/3487000
839.81/839.15	c cleaning 25999 clauses out of 52013 with flag 3513001/3513001
845.91/845.26	c cleaning 25997 clauses out of 52013 with flag 3539000/3539000
852.31/851.69	c cleaning 25992 clauses out of 52016 with flag 3565000/3565000
858.51/857.90	c cleaning 26005 clauses out of 52024 with flag 3591000/3591000
865.51/864.86	c cleaning 26002 clauses out of 52019 with flag 3617000/3617000
871.92/871.21	c cleaning 26005 clauses out of 52019 with flag 3643002/3643002
878.12/877.40	c cleaning 26000 clauses out of 52012 with flag 3669000/3669000
884.22/883.53	c cleaning 25998 clauses out of 52012 with flag 3695000/3695000
891.02/890.40	c cleaning 25997 clauses out of 52014 with flag 3721000/3721000
897.22/896.54	c cleaning 25998 clauses out of 52018 with flag 3747001/3747001
903.73/903.08	c cleaning 26006 clauses out of 52019 with flag 3773000/3773000
910.22/909.52	c cleaning 25996 clauses out of 52014 with flag 3799001/3799001
916.82/916.15	c cleaning 25998 clauses out of 52017 with flag 3825000/3825000
923.53/922.81	c cleaning 26009 clauses out of 52021 with flag 3851002/3851002
929.82/929.16	c cleaning 25992 clauses out of 52011 with flag 3877001/3877001
936.52/935.80	c cleaning 26004 clauses out of 52021 with flag 3903003/3903003
942.83/942.15	c cleaning 26002 clauses out of 52014 with flag 3929000/3929000
949.43/948.75	c cleaning 25997 clauses out of 52012 with flag 3955000/3955000
956.64/955.92	c cleaning 26005 clauses out of 52015 with flag 3981000/3981000
963.14/962.48	c cleaning 26000 clauses out of 52011 with flag 4007001/4007001
969.43/968.71	c cleaning 26000 clauses out of 52011 with flag 4033001/4033001
975.53/974.85	c cleaning 25996 clauses out of 52011 with flag 4059001/4059001
981.94/981.23	c cleaning 25993 clauses out of 52014 with flag 4085000/4085000
988.14/987.48	c cleaning 26007 clauses out of 52021 with flag 4111000/4111000
994.94/994.21	c cleaning 26000 clauses out of 52015 with flag 4137001/4137001
1001.44/1000.70	c cleaning 26000 clauses out of 52014 with flag 4163000/4163000
1008.14/1007.45	c cleaning 26003 clauses out of 52015 with flag 4189001/4189001
1014.85/1014.13	c cleaning 25998 clauses out of 52012 with flag 4215001/4215001
1021.25/1020.54	c cleaning 25997 clauses out of 52013 with flag 4241000/4241000
1027.65/1026.95	c cleaning 25997 clauses out of 52017 with flag 4267001/4267001
1034.26/1033.56	c cleaning 25998 clauses out of 52021 with flag 4293002/4293002
1041.06/1040.32	c cleaning 26001 clauses out of 52022 with flag 4319001/4319001
1048.16/1047.43	c cleaning 25993 clauses out of 52020 with flag 4345000/4345000
1054.86/1054.17	c cleaning 26000 clauses out of 52028 with flag 4371001/4371001
1061.37/1060.69	c cleaning 26005 clauses out of 52027 with flag 4397000/4397000
1067.57/1066.85	c cleaning 26009 clauses out of 52024 with flag 4423002/4423002
1073.87/1073.10	c cleaning 25997 clauses out of 52013 with flag 4449000/4449000
1080.17/1079.41	c cleaning 25997 clauses out of 52017 with flag 4475001/4475001
1086.57/1085.86	c cleaning 25999 clauses out of 52019 with flag 4501000/4501000
1092.87/1092.11	c cleaning 26003 clauses out of 52020 with flag 4527000/4527000
1099.28/1098.50	c cleaning 26002 clauses out of 52021 with flag 4553004/4553004
1105.88/1105.11	c cleaning 25994 clauses out of 52015 with flag 4579000/4579000
1112.38/1111.66	c cleaning 26004 clauses out of 52023 with flag 4605002/4605002
1118.78/1118.05	c cleaning 26000 clauses out of 52018 with flag 4631001/4631001
1125.38/1124.66	c cleaning 26000 clauses out of 52018 with flag 4657001/4657001
1131.68/1130.90	c cleaning 26000 clauses out of 52017 with flag 4683000/4683000
1137.99/1137.25	c cleaning 25995 clauses out of 52017 with flag 4709000/4709000
1144.29/1143.51	c cleaning 26001 clauses out of 52023 with flag 4735001/4735001
1151.09/1150.30	c cleaning 25996 clauses out of 52021 with flag 4761000/4761000
1158.00/1157.27	c cleaning 26005 clauses out of 52026 with flag 4787001/4787001
1164.30/1163.56	c cleaning 25998 clauses out of 52020 with flag 4813000/4813000
1171.20/1170.46	c cleaning 26006 clauses out of 52022 with flag 4839000/4839000
1177.40/1176.60	c cleaning 26003 clauses out of 52016 with flag 4865000/4865000
1183.60/1182.87	c cleaning 26002 clauses out of 52014 with flag 4891001/4891001
1189.91/1189.19	c cleaning 25999 clauses out of 52011 with flag 4917000/4917000
1196.20/1195.46	c cleaning 25997 clauses out of 52013 with flag 4943001/4943001
1202.31/1201.54	c cleaning 25993 clauses out of 52015 with flag 4969000/4969000
1208.61/1207.86	c cleaning 26002 clauses out of 52022 with flag 4995000/4995000
1215.22/1214.48	c cleaning 26004 clauses out of 52021 with flag 5021001/5021001
1221.82/1221.04	c cleaning 25995 clauses out of 52017 with flag 5047001/5047001
1228.32/1227.53	c cleaning 26000 clauses out of 52021 with flag 5073000/5073000
1234.51/1233.77	c cleaning 25999 clauses out of 52021 with flag 5099000/5099000
1241.41/1240.67	c cleaning 26004 clauses out of 52024 with flag 5125002/5125002
1247.72/1246.97	c cleaning 26000 clauses out of 52020 with flag 5151002/5151002
1254.12/1253.34	c cleaning 26005 clauses out of 52020 with flag 5177002/5177002
1261.12/1260.30	c cleaning 26002 clauses out of 52014 with flag 5203001/5203001
1268.22/1267.42	c cleaning 25995 clauses out of 52012 with flag 5229001/5229001
1274.63/1273.87	c cleaning 25997 clauses out of 52016 with flag 5255000/5255000
1281.03/1280.21	c cleaning 26003 clauses out of 52019 with flag 5281000/5281000
1287.63/1286.84	c cleaning 25996 clauses out of 52016 with flag 5307000/5307000
1294.23/1293.48	c cleaning 26002 clauses out of 52020 with flag 5333000/5333000
1300.23/1299.43	c cleaning 26002 clauses out of 52019 with flag 5359001/5359001
1300.84/1300.01	c starts		: 2185
1300.84/1300.01	c conflicts		: 5362164
1300.84/1300.01	c decisions		: 6466529
1300.84/1300.01	c propagations		: 159104489
1300.84/1300.01	c inspects		: 14189400689
1300.84/1300.01	c shortcuts		: 0
1300.84/1300.01	c learnt literals	: 0
1300.84/1300.01	c learnt binary clauses	: 0
1300.84/1300.01	c learnt ternary clauses	: 0
1300.84/1300.01	c learnt constraints	: 5362168
1300.84/1300.01	c ignored constraints	: 0
1300.84/1300.01	c root simplifications	: 2185
1300.84/1300.01	c removed literals (reason simplification)	: 33702274
1300.84/1300.01	c reason swapping (by a shorter reason)	: 0
1300.84/1300.01	c Calls to reduceDB	: 215
1300.84/1300.01	c speed (assignments/second)	: 122423.86126416855
1300.84/1300.01	c non guided choices	137
1300.84/1300.04	c learnt constraints type 
1300.84/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 29331
1300.84/1300.04	c constraints type 
1300.84/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25500
1300.84/1300.04	s UNKNOWN
1300.84/1300.04	c Total wall clock time (in seconds) : 1299.727

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

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 1.24 3/178 18722
/proc/meminfo: memFree=13498748/32950928 swapFree=67111528/67111528
[pid=18722] ppid=18720 vsize=9100 CPUtime=0 cores=0,2
/proc/18722/stat : 18722 (java) S 18720 18722 18683 0 -1 4202496 235 0 1 0 0 0 0 0 20 0 1 0 371334347 9318400 170 33554432000 1073741824 1073778376 140733928929088 18446744073709551615 268272684901 0 2147483391 4096 0 18446744071699199166 0 0 17 0 0 0 0
/proc/18722/statm: 2275 170 130 9 0 67 0

[startup+0.071839 s]
/proc/loadavg: 0.92 0.98 1.24 3/178 18722
/proc/meminfo: memFree=13498748/32950928 swapFree=67111528/67111528
[pid=18722] ppid=18720 vsize=23028 CPUtime=0 cores=0,2
/proc/18722/stat : 18722 (java) D 18720 18722 18683 0 -1 4202496 974 0 46 0 0 0 0 0 20 0 1 0 371334347 23580672 762 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 47108730264032 0 0 4096 0 18446744071562234166 0 0 17 0 0 0 5
/proc/18722/statm: 5757 762 562 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.100837 s]
/proc/loadavg: 0.92 0.98 1.24 3/178 18722
/proc/meminfo: memFree=13498748/32950928 swapFree=67111528/67111528
[pid=18722] ppid=18720 vsize=28384 CPUtime=0.01 cores=0,2
/proc/18722/stat : 18722 (java) S 18720 18722 18683 0 -1 4202496 1127 0 57 0 0 1 0 0 20 0 2 0 371334347 29065216 909 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 7
/proc/18722/statm: 7096 909 690 9 0 381 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28384

[startup+0.30069 s]
/proc/loadavg: 0.92 0.98 1.24 3/178 18722
/proc/meminfo: memFree=13498748/32950928 swapFree=67111528/67111528
[pid=18722] ppid=18720 vsize=7636512 CPUtime=0.13 cores=0,2
/proc/18722/stat : 18722 (java) S 18720 18722 18683 0 -1 4202496 10378 0 103 0 11 2 0 0 20 0 18 0 371334347 7819788288 10174 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7
/proc/18722/statm: 1909128 10174 2121 9 0 1899866 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 7636512

[startup+0.70062 s]
/proc/loadavg: 0.92 0.98 1.24 3/178 18722
/proc/meminfo: memFree=13498748/32950928 swapFree=67111528/67111528
[pid=18722] ppid=18720 vsize=7641536 CPUtime=0.91 cores=0,2
/proc/18722/stat : 18722 (java) S 18720 18722 18683 0 -1 4202496 14469 0 103 0 88 3 0 0 20 0 19 0 371334347 7824932864 12608 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7
/proc/18722/statm: 1910384 12608 2224 9 0 1901122 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 7641536

[startup+1.50148 s]
/proc/loadavg: 0.92 0.98 1.24 5/262 18816
/proc/meminfo: memFree=13298472/32950928 swapFree=67111528/67111528
[pid=18722] ppid=18720 vsize=7661552 CPUtime=1.95 cores=0,2
/proc/18722/stat : 18722 (java) S 18720 18722 18683 0 -1 4202496 24170 0 103 0 191 4 0 0 20 0 19 0 371334347 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7
/proc/18722/statm: 1915388 20173 2252 9 0 1906126 0
[pid=18722/tid=18730] ppid=18720 vsize=7661552 CPUtime=1.25 cores=0,2
/proc/18722/task/18730/stat : 18730 (java) R 18720 18722 18683 0 -1 4202560 10375 0 46 0 124 1 0 0 20 0 19 0 371334357 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 46912505586310 0 4 0 16800975 0 0 0 -1 0 0 0 7
[pid=18722/tid=18746] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18746/stat : 18746 (java) S 18720 18722 18683 0 -1 4202560 1006 0 0 0 0 0 0 0 17 0 19 0 371334359 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18747] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18747/stat : 18747 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371334359 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18748] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18748/stat : 18748 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371334359 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18749] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18749/stat : 18749 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371334359 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18750] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18750/stat : 18750 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371334359 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18751] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18751/stat : 18751 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371334359 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18752] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18752/stat : 18752 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371334359 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18753] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18753/stat : 18753 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371334359 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18764] ppid=18720 vsize=7661552 CPUtime=0.01 cores=0,2
/proc/18722/task/18764/stat : 18764 (java) S 18720 18722 18683 0 -1 4202560 1009 0 0 0 1 0 0 0 15 0 19 0 371334362 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 0 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18765] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18765/stat : 18765 (java) S 18720 18722 18683 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371334364 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18768] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18768/stat : 18768 (java) R 18720 18722 18683 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 371334364 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18722/tid=18794] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18794/stat : 18794 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371334369 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284512689 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18795] ppid=18720 vsize=7661552 CPUtime=0.33 cores=0,2
/proc/18722/task/18795/stat : 18795 (java) R 18720 18722 18683 0 -1 4202560 7948 0 0 0 33 0 0 0 16 0 19 0 371334369 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 47108733838858 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18722/tid=18800] ppid=18720 vsize=7661552 CPUtime=0.3 cores=0,2
/proc/18722/task/18800/stat : 18800 (java) S 18720 18722 18683 0 -1 4202560 2730 0 1 0 30 0 0 0 16 0 19 0 371334369 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18803] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18803/stat : 18803 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 371334369 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18805] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18805/stat : 18805 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334369 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18815] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18815/stat : 18815 (java) S 18720 18722 18683 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 371334387 7845429248 20173 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 7661552

[startup+3.10119 s]
/proc/loadavg: 0.92 0.98 1.24 5/262 18816
/proc/meminfo: memFree=13241432/32950928 swapFree=67111528/67111528
[pid=18722] ppid=18720 vsize=7661552 CPUtime=3.58 cores=0,2
/proc/18722/stat : 18722 (java) S 18720 18722 18683 0 -1 4202496 24861 0 103 0 353 5 0 0 20 0 19 0 371334347 7845429248 20854 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7
/proc/18722/statm: 1915388 20854 2255 9 0 1906126 0
[pid=18722/tid=18730] ppid=18720 vsize=7661552 CPUtime=2.81 cores=0,2
/proc/18722/task/18730/stat : 18730 (java) R 18720 18722 18683 0 -1 4202560 10377 0 46 0 280 1 0 0 25 0 19 0 371334357 7845429248 20854 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284514997 0 4 0 16800975 0 0 0 -1 0 0 0 7
[pid=18722/tid=18746] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18746/stat : 18746 (java) R 18720 18722 18683 0 -1 4202560 1006 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18722/tid=18747] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18747/stat : 18747 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18748] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18748/stat : 18748 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18749] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18749/stat : 18749 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18750] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18750/stat : 18750 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18751] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18751/stat : 18751 (java) R 18720 18722 18683 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268272642359 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18722/tid=18752] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18752/stat : 18752 (java) S 18720 18722 18683 0 -1 4202560 414 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18753] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18753/stat : 18753 (java) R 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18722/tid=18764] ppid=18720 vsize=7661552 CPUtime=0.02 cores=0,2
/proc/18722/task/18764/stat : 18764 (java) S 18720 18722 18683 0 -1 4202560 1166 0 0 0 2 0 0 0 15 0 19 0 371334362 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 0 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18765] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18765/stat : 18765 (java) S 18720 18722 18683 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371334364 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18768] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18768/stat : 18768 (java) S 18720 18722 18683 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371334364 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18794] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18794/stat : 18794 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371334369 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284512689 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18795] ppid=18720 vsize=7661552 CPUtime=0.35 cores=0,2
/proc/18722/task/18795/stat : 18795 (java) S 18720 18722 18683 0 -1 4202560 8016 0 0 0 35 0 0 0 15 0 19 0 371334369 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18800] ppid=18720 vsize=7661552 CPUtime=0.32 cores=0,2
/proc/18722/task/18800/stat : 18800 (java) S 18720 18722 18683 0 -1 4202560 2777 0 1 0 32 0 0 0 16 0 19 0 371334369 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18803] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18803/stat : 18803 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 371334369 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18805] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18805/stat : 18805 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334369 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18815] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18815/stat : 18815 (java) S 18720 18722 18683 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 371334387 7845429248 20855 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 7661552

[startup+6.30073 s]
/proc/loadavg: 1.17 1.03 1.25 6/262 18816
/proc/meminfo: memFree=13223720/32950928 swapFree=67111528/67111528
[pid=18722] ppid=18720 vsize=7661552 CPUtime=6.78 cores=0,2
/proc/18722/stat : 18722 (java) S 18720 18722 18683 0 -1 4202496 25475 0 103 0 673 5 0 0 20 0 19 0 371334347 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7
/proc/18722/statm: 1915388 21367 2255 9 0 1906126 0
[pid=18722/tid=18730] ppid=18720 vsize=7661552 CPUtime=5.91 cores=0,2
/proc/18722/task/18730/stat : 18730 (java) R 18720 18722 18683 0 -1 4202560 10380 0 46 0 590 1 0 0 25 0 19 0 371334357 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 46912505586418 0 4 0 16800975 0 0 0 -1 0 0 0 7
[pid=18722/tid=18746] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18746/stat : 18746 (java) S 18720 18722 18683 0 -1 4202560 1006 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18747] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18747/stat : 18747 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18748] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18748/stat : 18748 (java) S 18720 18722 18683 0 -1 4202560 209 0 0 0 0 0 0 0 16 0 19 0 371334359 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18749] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18749/stat : 18749 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18750] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18750/stat : 18750 (java) S 18720 18722 18683 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18751] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18751/stat : 18751 (java) S 18720 18722 18683 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18752] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18752/stat : 18752 (java) S 18720 18722 18683 0 -1 4202560 414 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18753] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18753/stat : 18753 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334359 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18764] ppid=18720 vsize=7661552 CPUtime=0.08 cores=0,2
/proc/18722/task/18764/stat : 18764 (java) S 18720 18722 18683 0 -1 4202560 1415 0 0 0 8 0 0 0 16 0 19 0 371334362 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 0 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18765] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18765/stat : 18765 (java) S 18720 18722 18683 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371334364 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18768] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18768/stat : 18768 (java) S 18720 18722 18683 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371334364 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18794] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18794/stat : 18794 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371334369 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284512689 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18795] ppid=18720 vsize=7661552 CPUtime=0.35 cores=0,2
/proc/18722/task/18795/stat : 18795 (java) S 18720 18722 18683 0 -1 4202560 8016 0 0 0 35 0 0 0 15 0 19 0 371334369 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18800] ppid=18720 vsize=7661552 CPUtime=0.34 cores=0,2
/proc/18722/task/18800/stat : 18800 (java) S 18720 18722 18683 0 -1 4202560 2853 0 1 0 34 0 0 0 15 0 19 0 371334369 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18803] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18803/stat : 18803 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 371334369 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18805] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18805/stat : 18805 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334369 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18815] ppid=18720 vsize=7661552 CPUtime=0 cores=0,2
/proc/18722/task/18815/stat : 18815 (java) S 18720 18722 18683 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 371334387 7845429248 21367 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 7661552

[startup+12.7015 s]

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

[pid=18722/tid=18751] ppid=18720 vsize=7655480 CPUtime=0.1 cores=0,2
/proc/18722/task/18751/stat : 18751 (java) S 18720 18722 18683 0 -1 4202560 47 0 0 0 10 0 0 0 16 0 19 0 371334359 7839211520 24344 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18752] ppid=18720 vsize=7655480 CPUtime=0.1 cores=0,2
/proc/18722/task/18752/stat : 18752 (java) S 18720 18722 18683 0 -1 4202560 670 0 0 0 10 0 0 0 15 0 19 0 371334359 7839211520 24344 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18753] ppid=18720 vsize=7655480 CPUtime=0.09 cores=0,2
/proc/18722/task/18753/stat : 18753 (java) S 18720 18722 18683 0 -1 4202560 157 0 0 0 9 0 0 0 15 0 19 0 371334359 7839211520 24344 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18764] ppid=18720 vsize=7655480 CPUtime=4.98 cores=0,2
/proc/18722/task/18764/stat : 18764 (java) S 18720 18722 18683 0 -1 4202560 2987 0 0 0 497 1 0 0 15 0 19 0 371334362 7839211520 24344 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 0 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18765] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18765/stat : 18765 (java) S 18720 18722 18683 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371334364 7839211520 24344 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18768] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18768/stat : 18768 (java) S 18720 18722 18683 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371334364 7839211520 24344 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18794] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18794/stat : 18794 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371334369 7839211520 24344 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284512689 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18795] ppid=18720 vsize=7655480 CPUtime=0.35 cores=0,2
/proc/18722/task/18795/stat : 18795 (java) S 18720 18722 18683 0 -1 4202560 8016 0 0 0 35 0 0 0 15 0 19 0 371334369 7839211520 24344 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18800] ppid=18720 vsize=7655480 CPUtime=0.37 cores=0,2
/proc/18722/task/18800/stat : 18800 (java) S 18720 18722 18683 0 -1 4202560 3305 0 1 0 37 0 0 0 15 0 19 0 371334369 7839211520 24344 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18803] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18803/stat : 18803 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 371334369 7839211520 24344 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18805] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18805/stat : 18805 (java) S 18720 18722 18683 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 371334369 7839211520 24344 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18815] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18815/stat : 18815 (java) S 18720 18722 18683 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 371334387 7839211520 24344 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1123.08
Current children cumulated vsize (KiB) 7655480

[startup+1182.3 s]
/proc/loadavg: 4.12 4.00 3.24 5/262 18848
/proc/meminfo: memFree=13145788/32950928 swapFree=67111528/67111528
[pid=18722] ppid=18720 vsize=7655480 CPUtime=1183.1 cores=0,2
/proc/18722/stat : 18722 (java) S 18720 18722 18683 0 -1 4202496 30603 0 103 0 118301 9 0 0 20 0 19 0 371334347 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7
/proc/18722/statm: 1913870 24520 2256 9 0 1904608 0
[pid=18722/tid=18730] ppid=18720 vsize=7655480 CPUtime=1176.26 cores=0,2
/proc/18722/task/18730/stat : 18730 (java) R 18720 18722 18683 0 -1 4202560 10989 0 46 0 117623 3 0 0 25 0 19 0 371334357 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 46912505618704 0 4 0 16800975 0 0 0 -1 0 0 0 7
[pid=18722/tid=18746] ppid=18720 vsize=7655480 CPUtime=0.1 cores=0,2
/proc/18722/task/18746/stat : 18746 (java) S 18720 18722 18683 0 -1 4202560 1014 0 0 0 10 0 0 0 15 0 19 0 371334359 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18747] ppid=18720 vsize=7655480 CPUtime=0.08 cores=0,2
/proc/18722/task/18747/stat : 18747 (java) S 18720 18722 18683 0 -1 4202560 37 0 0 0 8 0 0 0 15 0 19 0 371334359 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18748] ppid=18720 vsize=7655480 CPUtime=0.09 cores=0,2
/proc/18722/task/18748/stat : 18748 (java) S 18720 18722 18683 0 -1 4202560 1220 0 0 0 9 0 0 0 15 0 19 0 371334359 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18749] ppid=18720 vsize=7655480 CPUtime=0.09 cores=0,2
/proc/18722/task/18749/stat : 18749 (java) S 18720 18722 18683 0 -1 4202560 726 0 0 0 9 0 0 0 15 0 19 0 371334359 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18750] ppid=18720 vsize=7655480 CPUtime=0.1 cores=0,2
/proc/18722/task/18750/stat : 18750 (java) S 18720 18722 18683 0 -1 4202560 110 0 0 0 10 0 0 0 15 0 19 0 371334359 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18751] ppid=18720 vsize=7655480 CPUtime=0.1 cores=0,2
/proc/18722/task/18751/stat : 18751 (java) S 18720 18722 18683 0 -1 4202560 48 0 0 0 10 0 0 0 15 0 19 0 371334359 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18752] ppid=18720 vsize=7655480 CPUtime=0.11 cores=0,2
/proc/18722/task/18752/stat : 18752 (java) S 18720 18722 18683 0 -1 4202560 670 0 0 0 11 0 0 0 15 0 19 0 371334359 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18753] ppid=18720 vsize=7655480 CPUtime=0.1 cores=0,2
/proc/18722/task/18753/stat : 18753 (java) S 18720 18722 18683 0 -1 4202560 177 0 0 0 10 0 0 0 15 0 19 0 371334359 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18764] ppid=18720 vsize=7655480 CPUtime=5.24 cores=0,2
/proc/18722/task/18764/stat : 18764 (java) S 18720 18722 18683 0 -1 4202560 3126 0 0 0 523 1 0 0 15 0 19 0 371334362 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 0 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18765] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18765/stat : 18765 (java) S 18720 18722 18683 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371334364 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18768] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18768/stat : 18768 (java) S 18720 18722 18683 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371334364 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18794] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18794/stat : 18794 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371334369 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284512689 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18795] ppid=18720 vsize=7655480 CPUtime=0.35 cores=0,2
/proc/18722/task/18795/stat : 18795 (java) S 18720 18722 18683 0 -1 4202560 8016 0 0 0 35 0 0 0 15 0 19 0 371334369 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18800] ppid=18720 vsize=7655480 CPUtime=0.37 cores=0,2
/proc/18722/task/18800/stat : 18800 (java) S 18720 18722 18683 0 -1 4202560 3305 0 1 0 37 0 0 0 15 0 19 0 371334369 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18803] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18803/stat : 18803 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 371334369 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18805] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18805/stat : 18805 (java) S 18720 18722 18683 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 371334369 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18815] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18815/stat : 18815 (java) S 18720 18722 18683 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 371334387 7839211520 24520 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1183.1
Current children cumulated vsize (KiB) 7655480

[startup+1242.3 s]
/proc/loadavg: 4.04 4.00 3.28 5/262 18850
/proc/meminfo: memFree=13143976/32950928 swapFree=67111528/67111528
[pid=18722] ppid=18720 vsize=7655480 CPUtime=1243.12 cores=0,2
/proc/18722/stat : 18722 (java) S 18720 18722 18683 0 -1 4202496 30622 0 103 0 124303 9 0 0 20 0 19 0 371334347 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7
/proc/18722/statm: 1913870 24521 2256 9 0 1904608 0
[pid=18722/tid=18730] ppid=18720 vsize=7655480 CPUtime=1235.96 cores=0,2
/proc/18722/task/18730/stat : 18730 (java) R 18720 18722 18683 0 -1 4202560 10999 0 46 0 123593 3 0 0 25 0 19 0 371334357 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 46912505618704 0 4 0 16800975 0 0 0 -1 0 0 0 7
[pid=18722/tid=18746] ppid=18720 vsize=7655480 CPUtime=0.11 cores=0,2
/proc/18722/task/18746/stat : 18746 (java) S 18720 18722 18683 0 -1 4202560 1014 0 0 0 11 0 0 0 15 0 19 0 371334359 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18747] ppid=18720 vsize=7655480 CPUtime=0.08 cores=0,2
/proc/18722/task/18747/stat : 18747 (java) S 18720 18722 18683 0 -1 4202560 37 0 0 0 8 0 0 0 15 0 19 0 371334359 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18748] ppid=18720 vsize=7655480 CPUtime=0.1 cores=0,2
/proc/18722/task/18748/stat : 18748 (java) S 18720 18722 18683 0 -1 4202560 1220 0 0 0 10 0 0 0 15 0 19 0 371334359 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18749] ppid=18720 vsize=7655480 CPUtime=0.1 cores=0,2
/proc/18722/task/18749/stat : 18749 (java) S 18720 18722 18683 0 -1 4202560 726 0 0 0 10 0 0 0 15 0 19 0 371334359 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18750] ppid=18720 vsize=7655480 CPUtime=0.1 cores=0,2
/proc/18722/task/18750/stat : 18750 (java) S 18720 18722 18683 0 -1 4202560 110 0 0 0 10 0 0 0 15 0 19 0 371334359 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18751] ppid=18720 vsize=7655480 CPUtime=0.11 cores=0,2
/proc/18722/task/18751/stat : 18751 (java) S 18720 18722 18683 0 -1 4202560 48 0 0 0 11 0 0 0 15 0 19 0 371334359 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18752] ppid=18720 vsize=7655480 CPUtime=0.11 cores=0,2
/proc/18722/task/18752/stat : 18752 (java) S 18720 18722 18683 0 -1 4202560 670 0 0 0 11 0 0 0 15 0 19 0 371334359 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18753] ppid=18720 vsize=7655480 CPUtime=0.1 cores=0,2
/proc/18722/task/18753/stat : 18753 (java) S 18720 18722 18683 0 -1 4202560 178 0 0 0 10 0 0 0 16 0 19 0 371334359 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18764] ppid=18720 vsize=7655480 CPUtime=5.52 cores=0,2
/proc/18722/task/18764/stat : 18764 (java) S 18720 18722 18683 0 -1 4202560 3130 0 0 0 551 1 0 0 15 0 19 0 371334362 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 0 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18765] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18765/stat : 18765 (java) S 18720 18722 18683 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371334364 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18768] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18768/stat : 18768 (java) S 18720 18722 18683 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371334364 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18794] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18794/stat : 18794 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371334369 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284512689 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18795] ppid=18720 vsize=7655480 CPUtime=0.35 cores=0,2
/proc/18722/task/18795/stat : 18795 (java) S 18720 18722 18683 0 -1 4202560 8016 0 0 0 35 0 0 0 15 0 19 0 371334369 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18800] ppid=18720 vsize=7655480 CPUtime=0.37 cores=0,2
/proc/18722/task/18800/stat : 18800 (java) S 18720 18722 18683 0 -1 4202560 3305 0 1 0 37 0 0 0 15 0 19 0 371334369 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18803] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18803/stat : 18803 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 371334369 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18805] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18805/stat : 18805 (java) S 18720 18722 18683 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 371334369 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18815] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18815/stat : 18815 (java) S 18720 18722 18683 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 371334387 7839211520 24521 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1243.12
Current children cumulated vsize (KiB) 7655480



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.01 4.00 3.32 6/262 18851
/proc/meminfo: memFree=13142920/32950928 swapFree=67111528/67111528
[pid=18722] ppid=18720 vsize=7655480 CPUtime=1300.84 cores=0,2
/proc/18722/stat : 18722 (java) S 18720 18722 18683 0 -1 4202496 30642 0 103 0 130074 10 0 0 20 0 19 0 371334347 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7
/proc/18722/statm: 1913870 24524 2256 9 0 1904608 0
[pid=18722/tid=18730] ppid=18720 vsize=7655480 CPUtime=1293.39 cores=0,2
/proc/18722/task/18730/stat : 18730 (java) R 18720 18722 18683 0 -1 4202560 11008 0 46 0 129335 4 0 0 25 0 19 0 371334357 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 46912505618704 0 4 0 16800975 0 0 0 -1 0 0 0 7
[pid=18722/tid=18746] ppid=18720 vsize=7655480 CPUtime=0.11 cores=0,2
/proc/18722/task/18746/stat : 18746 (java) S 18720 18722 18683 0 -1 4202560 1014 0 0 0 11 0 0 0 15 0 19 0 371334359 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18747] ppid=18720 vsize=7655480 CPUtime=0.09 cores=0,2
/proc/18722/task/18747/stat : 18747 (java) S 18720 18722 18683 0 -1 4202560 37 0 0 0 9 0 0 0 15 0 19 0 371334359 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18748] ppid=18720 vsize=7655480 CPUtime=0.1 cores=0,2
/proc/18722/task/18748/stat : 18748 (java) S 18720 18722 18683 0 -1 4202560 1220 0 0 0 10 0 0 0 15 0 19 0 371334359 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18749] ppid=18720 vsize=7655480 CPUtime=0.11 cores=0,2
/proc/18722/task/18749/stat : 18749 (java) S 18720 18722 18683 0 -1 4202560 726 0 0 0 11 0 0 0 15 0 19 0 371334359 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18750] ppid=18720 vsize=7655480 CPUtime=0.11 cores=0,2
/proc/18722/task/18750/stat : 18750 (java) S 18720 18722 18683 0 -1 4202560 112 0 0 0 11 0 0 0 15 0 19 0 371334359 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18751] ppid=18720 vsize=7655480 CPUtime=0.11 cores=0,2
/proc/18722/task/18751/stat : 18751 (java) S 18720 18722 18683 0 -1 4202560 48 0 0 0 11 0 0 0 15 0 19 0 371334359 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18752] ppid=18720 vsize=7655480 CPUtime=0.12 cores=0,2
/proc/18722/task/18752/stat : 18752 (java) S 18720 18722 18683 0 -1 4202560 671 0 0 0 12 0 0 0 16 0 19 0 371334359 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18753] ppid=18720 vsize=7655480 CPUtime=0.11 cores=0,2
/proc/18722/task/18753/stat : 18753 (java) S 18720 18722 18683 0 -1 4202560 178 0 0 0 11 0 0 0 15 0 19 0 371334359 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18764] ppid=18720 vsize=7655480 CPUtime=5.77 cores=0,2
/proc/18722/task/18764/stat : 18764 (java) S 18720 18722 18683 0 -1 4202560 3134 0 0 0 576 1 0 0 16 0 19 0 371334362 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 0 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18765] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18765/stat : 18765 (java) S 18720 18722 18683 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371334364 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18768] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18768/stat : 18768 (java) S 18720 18722 18683 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371334364 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18794] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18794/stat : 18794 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371334369 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284512689 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18795] ppid=18720 vsize=7655480 CPUtime=0.35 cores=0,2
/proc/18722/task/18795/stat : 18795 (java) S 18720 18722 18683 0 -1 4202560 8016 0 0 0 35 0 0 0 15 0 19 0 371334369 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18800] ppid=18720 vsize=7655480 CPUtime=0.37 cores=0,2
/proc/18722/task/18800/stat : 18800 (java) S 18720 18722 18683 0 -1 4202560 3305 0 1 0 37 0 0 0 15 0 19 0 371334369 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18803] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18803/stat : 18803 (java) S 18720 18722 18683 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 371334369 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284504985 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
[pid=18722/tid=18805] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18805/stat : 18805 (java) S 18720 18722 18683 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 371334369 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 4 0 16800975 18446604453918201984 0 0 -1 2 0 0 0
[pid=18722/tid=18815] ppid=18720 vsize=7655480 CPUtime=0 cores=0,2
/proc/18722/task/18815/stat : 18815 (java) S 18720 18722 18683 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 371334387 7839211520 24524 33554432000 1073741824 1073778376 140733479489504 18446744073709551615 268284505600 0 4 0 16800975 18446604453918201984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1300.84
Current children cumulated vsize (KiB) 7655480

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): 1300.92
CPU user time (s): 1300.81
CPU system time (s): 0.110983
CPU usage (%): 100.067
Max. virtual memory (cumulated for all children) (KiB): 7661552

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

runsolver used 2.07568 second user time and 5.04323 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-12 10:35:56
IDJOB=3190220
IDBENCH=82551
IDSOLVER=1611
FILE ID=node122/3190220-1302597355
RUNJOBID= node122-1302597355-18701
PBS_JOBID= 12958098
Free space on /tmp= 71808 MiB

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

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

MD5SUM BENCH= 5297bd1d2a420892cfb1fb6d32ccacad
RANDOM SEED=1806697375

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13498928 kB
Buffers:        786692 kB
Cached:       18179320 kB
SwapCached:          0 kB
Active:        9898500 kB
Inactive:      9132300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13498928 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1172 kB
Writeback:           0 kB
AnonPages:       64900 kB
Mapped:          14912 kB
Slab:           355900 kB
PageTables:       5408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186376 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= 71808 MiB
End job on node122 at 2011-04-12 10:57:38