Trace number 3190275

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

General information on the benchmark

Namerandom/large/
unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf
MD5SUMb318fd1a86aee981aadb17224d952a44
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.07	c See www.sat4j.org for details.
0.04/0.07	c no version file found!!!
0.04/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.07	c java.vm.version	19.1-b02
0.04/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.07	c sun.arch.data.model	64
0.04/0.07	c java.version		1.6.0_24
0.04/0.07	c os.name		Linux
0.04/0.07	c os.version		2.6.18-164.el5
0.04/0.07	c os.arch		amd64
0.04/0.07	c Free memory 		6997539544
0.04/0.07	c Max memory 		7034241024
0.04/0.07	c Total memory 		7034241024
0.04/0.07	c Number of processors 	8
0.09/0.10	c --- Begin Solver configuration ---
0.09/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@2fe4cbc4
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.10	c Expensive reason simplification
0.09/0.10	c Armin Biere (Picosat) restarts strategy
0.09/0.10	c Glucose learned constraints deletion strategy
0.09/0.10	c timeout=2147483647s
0.09/0.10	c DB Simplification allowed=true
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3190275-1302597982.cnf
0.09/0.10	c reading problem ... 
0.09/0.22	c ... done. Wall clock time 0.124s.
0.09/0.22	c #vars     300
0.09/0.22	c #constraints  25500
0.09/0.22	c constraints type 
0.09/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25500
1.51/1.19	c cleaning 2499 clauses out of 5000 with flag 5000/5000
2.76/2.14	c cleaning 4247 clauses out of 8501 with flag 11000/11000
3.86/3.24	c cleaning 5625 clauses out of 11254 with flag 18000/18000
5.15/4.54	c cleaning 6812 clauses out of 13630 with flag 26001/26001
6.67/6.00	c cleaning 7906 clauses out of 15818 with flag 35001/35001
8.38/7.78	c cleaning 8952 clauses out of 17911 with flag 45000/45000
10.48/9.81	c cleaning 9976 clauses out of 19959 with flag 56000/56000
12.78/12.13	c cleaning 10990 clauses out of 21984 with flag 68001/68001
15.27/14.63	c cleaning 11994 clauses out of 23994 with flag 81001/81001
18.08/17.40	c cleaning 12996 clauses out of 25999 with flag 95000/95000
21.08/20.42	c cleaning 13999 clauses out of 28003 with flag 110000/110000
24.38/23.76	c cleaning 15000 clauses out of 30005 with flag 126001/126001
27.98/27.32	c cleaning 15998 clauses out of 32005 with flag 143001/143001
31.88/31.24	c cleaning 16994 clauses out of 34006 with flag 161000/161000
36.18/35.55	c cleaning 18001 clauses out of 36013 with flag 180001/180001
40.98/40.30	c cleaning 18998 clauses out of 38011 with flag 200000/200000
45.99/45.39	c cleaning 20004 clauses out of 40013 with flag 221000/221000
51.39/50.78	c cleaning 21000 clauses out of 42010 with flag 243001/243001
57.09/56.47	c cleaning 21999 clauses out of 44009 with flag 266000/266000
63.00/62.36	c cleaning 22997 clauses out of 46010 with flag 290000/290000
69.61/68.97	c cleaning 23999 clauses out of 48013 with flag 315000/315000
76.61/75.94	c cleaning 25002 clauses out of 50014 with flag 341000/341000
83.71/83.05	c cleaning 25502 clauses out of 51013 with flag 367001/367001
90.82/90.15	c cleaning 25750 clauses out of 51511 with flag 393001/393001
98.22/97.58	c cleaning 25877 clauses out of 51760 with flag 419000/419000
105.32/104.65	c cleaning 25932 clauses out of 51883 with flag 445000/445000
112.52/111.88	c cleaning 25971 clauses out of 51954 with flag 471003/471003
119.43/118.79	c cleaning 25987 clauses out of 51981 with flag 497001/497001
126.63/125.99	c cleaning 25991 clauses out of 51993 with flag 523000/523000
133.63/132.92	c cleaning 25987 clauses out of 52002 with flag 549000/549000
140.73/140.09	c cleaning 26004 clauses out of 52016 with flag 575001/575001
147.73/147.07	c cleaning 25998 clauses out of 52011 with flag 601000/601000
154.83/154.19	c cleaning 25999 clauses out of 52014 with flag 627001/627001
161.73/161.08	c cleaning 25996 clauses out of 52014 with flag 653000/653000
168.94/168.24	c cleaning 26006 clauses out of 52020 with flag 679002/679002
175.94/175.23	c cleaning 26001 clauses out of 52013 with flag 705001/705001
182.74/182.04	c cleaning 25995 clauses out of 52011 with flag 731000/731000
190.04/189.35	c cleaning 26004 clauses out of 52016 with flag 757000/757000
196.74/196.08	c cleaning 25998 clauses out of 52012 with flag 783000/783000
203.74/203.09	c cleaning 25999 clauses out of 52014 with flag 809000/809000
211.04/210.33	c cleaning 25999 clauses out of 52015 with flag 835000/835000
217.94/217.28	c cleaning 25999 clauses out of 52017 with flag 861001/861001
224.75/224.04	c cleaning 26004 clauses out of 52018 with flag 887001/887001
231.75/231.07	c cleaning 26002 clauses out of 52013 with flag 913000/913000
238.95/238.25	c cleaning 25999 clauses out of 52013 with flag 939002/939002
245.85/245.11	c cleaning 25994 clauses out of 52012 with flag 965000/965000
252.95/252.30	c cleaning 25999 clauses out of 52019 with flag 991001/991001
260.55/259.81	c cleaning 26004 clauses out of 52020 with flag 1017001/1017001
267.55/266.83	c cleaning 26004 clauses out of 52016 with flag 1043001/1043001
274.45/273.78	c cleaning 26002 clauses out of 52011 with flag 1069000/1069000
281.26/280.59	c cleaning 25997 clauses out of 52011 with flag 1095002/1095002
288.86/288.11	c cleaning 26002 clauses out of 52013 with flag 1121001/1121001
295.76/295.08	c cleaning 26000 clauses out of 52010 with flag 1147000/1147000
302.96/302.23	c cleaning 25997 clauses out of 52010 with flag 1173000/1173000
309.96/309.21	c cleaning 26000 clauses out of 52013 with flag 1199000/1199000
316.96/316.26	c cleaning 25997 clauses out of 52013 with flag 1225000/1225000
324.07/323.38	c cleaning 26000 clauses out of 52017 with flag 1251001/1251001
330.96/330.20	c cleaning 26005 clauses out of 52016 with flag 1277000/1277000
337.47/336.78	c cleaning 26006 clauses out of 52013 with flag 1303002/1303002
344.57/343.87	c cleaning 25992 clauses out of 52005 with flag 1329000/1329000
351.58/350.88	c cleaning 25992 clauses out of 52013 with flag 1355000/1355000
358.77/358.05	c cleaning 26005 clauses out of 52021 with flag 1381000/1381000
365.67/364.98	c cleaning 26000 clauses out of 52016 with flag 1407000/1407000
372.38/371.64	c cleaning 25994 clauses out of 52016 with flag 1433000/1433000
379.39/378.64	c cleaning 26008 clauses out of 52023 with flag 1459001/1459001
386.39/385.61	c cleaning 25996 clauses out of 52014 with flag 1485000/1485000
393.79/393.01	c cleaning 26005 clauses out of 52020 with flag 1511002/1511002
400.79/400.06	c cleaning 26004 clauses out of 52013 with flag 1537000/1537000
407.59/406.83	c cleaning 25995 clauses out of 52010 with flag 1563001/1563001
414.59/413.85	c cleaning 25999 clauses out of 52014 with flag 1589000/1589000
421.60/420.89	c cleaning 25996 clauses out of 52016 with flag 1615001/1615001
428.60/427.86	c cleaning 25997 clauses out of 52019 with flag 1641000/1641000
436.00/435.28	c cleaning 26002 clauses out of 52023 with flag 1667001/1667001
442.92/442.14	c cleaning 26001 clauses out of 52020 with flag 1693000/1693000
449.71/448.93	c cleaning 25999 clauses out of 52019 with flag 1719000/1719000
456.72/455.96	c cleaning 26001 clauses out of 52020 with flag 1745000/1745000
463.92/463.18	c cleaning 26002 clauses out of 52019 with flag 1771000/1771000
471.32/470.58	c cleaning 26006 clauses out of 52018 with flag 1797001/1797001
478.42/477.61	c cleaning 26000 clauses out of 52012 with flag 1823001/1823001
485.62/484.87	c cleaning 26002 clauses out of 52012 with flag 1849001/1849001
492.62/491.85	c cleaning 25994 clauses out of 52009 with flag 1875000/1875000
499.62/498.80	c cleaning 26004 clauses out of 52018 with flag 1901003/1901003
506.42/505.68	c cleaning 25997 clauses out of 52012 with flag 1927001/1927001
513.33/512.56	c cleaning 25996 clauses out of 52015 with flag 1953001/1953001
520.33/519.57	c cleaning 25994 clauses out of 52018 with flag 1979000/1979000
527.33/526.52	c cleaning 26003 clauses out of 52024 with flag 2005000/2005000
534.63/533.82	c cleaning 26002 clauses out of 52021 with flag 2031000/2031000
541.33/540.58	c cleaning 25998 clauses out of 52021 with flag 2057002/2057002
548.13/547.37	c cleaning 26002 clauses out of 52021 with flag 2083000/2083000
555.04/554.29	c cleaning 26000 clauses out of 52019 with flag 2109000/2109000
562.24/561.41	c cleaning 26001 clauses out of 52019 with flag 2135000/2135000
569.45/568.60	c cleaning 26000 clauses out of 52018 with flag 2161000/2161000
576.44/575.61	c cleaning 26005 clauses out of 52019 with flag 2187001/2187001
583.55/582.73	c cleaning 26000 clauses out of 52014 with flag 2213001/2213001
590.95/590.13	c cleaning 26003 clauses out of 52015 with flag 2239002/2239002
597.85/597.01	c cleaning 26000 clauses out of 52011 with flag 2265001/2265001
604.55/603.74	c cleaning 25992 clauses out of 52010 with flag 2291000/2291000
611.45/610.63	c cleaning 26000 clauses out of 52019 with flag 2317001/2317001
618.55/617.73	c cleaning 26003 clauses out of 52019 with flag 2343001/2343001
625.45/624.64	c cleaning 26000 clauses out of 52015 with flag 2369000/2369000
632.85/632.03	c cleaning 25995 clauses out of 52015 with flag 2395000/2395000
639.86/639.08	c cleaning 25995 clauses out of 52020 with flag 2421000/2421000
647.06/646.24	c cleaning 25999 clauses out of 52025 with flag 2447000/2447000
654.27/653.46	c cleaning 26007 clauses out of 52026 with flag 2473000/2473000
661.06/660.29	c cleaning 26005 clauses out of 52020 with flag 2499001/2499001
667.96/667.18	c cleaning 25996 clauses out of 52015 with flag 2525001/2525001
674.86/674.05	c cleaning 26001 clauses out of 52020 with flag 2551002/2551002
681.67/680.85	c cleaning 26002 clauses out of 52017 with flag 2577000/2577000
688.67/687.80	c cleaning 25995 clauses out of 52016 with flag 2603001/2603001
695.47/694.65	c cleaning 25995 clauses out of 52021 with flag 2629001/2629001
702.27/701.46	c cleaning 26003 clauses out of 52025 with flag 2655000/2655000
709.47/708.61	c cleaning 26008 clauses out of 52022 with flag 2681000/2681000
716.88/716.05	c cleaning 26002 clauses out of 52014 with flag 2707000/2707000
723.87/723.06	c cleaning 26002 clauses out of 52012 with flag 2733000/2733000
730.77/729.95	c cleaning 25999 clauses out of 52011 with flag 2759001/2759001
737.68/736.80	c cleaning 25998 clauses out of 52011 with flag 2785000/2785000
744.58/743.75	c cleaning 25996 clauses out of 52014 with flag 2811001/2811001
751.38/750.51	c cleaning 26002 clauses out of 52017 with flag 2837000/2837000
758.28/757.43	c cleaning 25999 clauses out of 52016 with flag 2863001/2863001
765.88/765.09	c cleaning 25999 clauses out of 52016 with flag 2889000/2889000
773.48/772.70	c cleaning 25993 clauses out of 52018 with flag 2915001/2915001
781.10/780.23	c cleaning 26009 clauses out of 52025 with flag 2941001/2941001
788.30/787.46	c cleaning 25998 clauses out of 52015 with flag 2967000/2967000
795.70/794.81	c cleaning 26004 clauses out of 52017 with flag 2993000/2993000
802.50/801.65	c cleaning 26000 clauses out of 52015 with flag 3019002/3019002
809.31/808.49	c cleaning 25997 clauses out of 52013 with flag 3045000/3045000
816.40/815.58	c cleaning 26000 clauses out of 52016 with flag 3071000/3071000
823.80/822.90	c cleaning 26001 clauses out of 52016 with flag 3097000/3097000
831.00/830.14	c cleaning 25996 clauses out of 52017 with flag 3123002/3123002
837.91/837.01	c cleaning 26005 clauses out of 52023 with flag 3149004/3149004
845.11/844.26	c cleaning 25997 clauses out of 52014 with flag 3175000/3175000
852.51/851.67	c cleaning 25997 clauses out of 52017 with flag 3201000/3201000
860.02/859.18	c cleaning 26006 clauses out of 52023 with flag 3227003/3227003
867.91/867.01	c cleaning 26001 clauses out of 52015 with flag 3253001/3253001
875.21/874.38	c cleaning 25997 clauses out of 52014 with flag 3279001/3279001
882.52/881.65	c cleaning 26003 clauses out of 52018 with flag 3305002/3305002
889.62/888.70	c cleaning 25999 clauses out of 52014 with flag 3331001/3331001
896.62/895.79	c cleaning 25998 clauses out of 52014 with flag 3357000/3357000
903.82/902.92	c cleaning 26002 clauses out of 52016 with flag 3383000/3383000
911.32/910.46	c cleaning 25995 clauses out of 52014 with flag 3409000/3409000
918.83/917.94	c cleaning 26005 clauses out of 52019 with flag 3435000/3435000
926.23/925.33	c cleaning 25989 clauses out of 52014 with flag 3461000/3461000
933.33/932.48	c cleaning 25998 clauses out of 52025 with flag 3487000/3487000
941.13/940.27	c cleaning 26009 clauses out of 52027 with flag 3513000/3513000
948.43/947.59	c cleaning 26006 clauses out of 52021 with flag 3539003/3539003
955.64/954.74	c cleaning 25999 clauses out of 52012 with flag 3565000/3565000
963.24/962.30	c cleaning 26000 clauses out of 52016 with flag 3591003/3591003
970.84/969.97	c cleaning 26003 clauses out of 52017 with flag 3617004/3617004
977.94/977.01	c cleaning 25997 clauses out of 52013 with flag 3643003/3643003
984.94/984.01	c cleaning 26001 clauses out of 52013 with flag 3669000/3669000
991.75/990.84	c cleaning 25999 clauses out of 52013 with flag 3695001/3695001
998.65/997.71	c cleaning 26000 clauses out of 52014 with flag 3721001/3721001
1005.65/1004.77	c cleaning 26001 clauses out of 52013 with flag 3747000/3747000
1012.75/1011.90	c cleaning 25999 clauses out of 52014 with flag 3773002/3773002
1020.25/1019.33	c cleaning 25992 clauses out of 52013 with flag 3799000/3799000
1027.35/1026.43	c cleaning 26005 clauses out of 52021 with flag 3825000/3825000
1034.45/1033.56	c cleaning 26001 clauses out of 52016 with flag 3851000/3851000
1041.65/1040.77	c cleaning 25999 clauses out of 52015 with flag 3877000/3877000
1048.96/1048.00	c cleaning 25994 clauses out of 52016 with flag 3903000/3903000
1055.96/1055.07	c cleaning 25995 clauses out of 52024 with flag 3929002/3929002
1063.26/1062.30	c cleaning 26007 clauses out of 52029 with flag 3955002/3955002
1070.76/1069.86	c cleaning 26007 clauses out of 52020 with flag 3981000/3981000
1077.96/1077.09	c cleaning 25995 clauses out of 52013 with flag 4007000/4007000
1084.76/1083.81	c cleaning 26002 clauses out of 52021 with flag 4033003/4033003
1091.36/1090.44	c cleaning 26000 clauses out of 52016 with flag 4059000/4059000
1098.57/1097.69	c cleaning 26004 clauses out of 52019 with flag 4085003/4085003
1105.67/1104.74	c cleaning 26000 clauses out of 52012 with flag 4111000/4111000
1112.87/1111.91	c cleaning 25997 clauses out of 52012 with flag 4137000/4137000
1119.77/1118.81	c cleaning 25993 clauses out of 52015 with flag 4163000/4163000
1126.97/1126.03	c cleaning 25998 clauses out of 52022 with flag 4189000/4189000
1134.17/1133.20	c cleaning 26003 clauses out of 52025 with flag 4215001/4215001
1141.37/1140.40	c cleaning 26005 clauses out of 52023 with flag 4241002/4241002
1148.18/1147.30	c cleaning 25989 clauses out of 52016 with flag 4267000/4267000
1155.38/1154.40	c cleaning 26002 clauses out of 52027 with flag 4293000/4293000
1162.38/1161.46	c cleaning 26000 clauses out of 52025 with flag 4319000/4319000
1169.98/1169.08	c cleaning 25999 clauses out of 52025 with flag 4345000/4345000
1177.38/1176.41	c cleaning 26005 clauses out of 52027 with flag 4371001/4371001
1184.69/1183.73	c cleaning 26003 clauses out of 52021 with flag 4397000/4397000
1191.49/1190.56	c cleaning 25998 clauses out of 52018 with flag 4423000/4423000
1198.39/1197.48	c cleaning 26002 clauses out of 52021 with flag 4449001/4449001
1205.09/1204.15	c cleaning 26001 clauses out of 52018 with flag 4475000/4475000
1212.19/1211.22	c cleaning 26002 clauses out of 52017 with flag 4501000/4501000
1219.09/1218.18	c cleaning 26004 clauses out of 52019 with flag 4527004/4527004
1226.40/1225.42	c cleaning 25995 clauses out of 52011 with flag 4553000/4553000
1233.40/1232.47	c cleaning 26005 clauses out of 52017 with flag 4579001/4579001
1240.61/1239.62	c cleaning 25995 clauses out of 52012 with flag 4605001/4605001
1247.50/1246.52	c cleaning 26000 clauses out of 52017 with flag 4631001/4631001
1254.60/1253.67	c cleaning 26000 clauses out of 52017 with flag 4657001/4657001
1262.01/1261.06	c cleaning 25997 clauses out of 52017 with flag 4683001/4683001
1269.22/1268.21	c cleaning 26000 clauses out of 52020 with flag 4709001/4709001
1276.31/1275.37	c cleaning 25998 clauses out of 52020 with flag 4735001/4735001
1283.62/1282.67	c cleaning 26005 clauses out of 52023 with flag 4761002/4761002
1291.42/1290.48	c cleaning 25999 clauses out of 52017 with flag 4787001/4787001
1298.72/1297.77	c cleaning 25999 clauses out of 52018 with flag 4813001/4813001
1301.03/1300.01	c starts		: 2080
1301.03/1300.01	c conflicts		: 4823289
1301.03/1300.01	c decisions		: 5828566
1301.03/1300.01	c propagations		: 142801152
1301.03/1300.01	c inspects		: 12761507308
1301.03/1300.01	c shortcuts		: 0
1301.03/1300.01	c learnt literals	: 0
1301.03/1300.01	c learnt binary clauses	: 0
1301.03/1300.01	c learnt ternary clauses	: 0
1301.03/1300.01	c learnt constraints	: 4823289
1301.03/1300.01	c ignored constraints	: 0
1301.03/1300.01	c root simplifications	: 2080
1301.03/1300.01	c removed literals (reason simplification)	: 29816136
1301.03/1300.01	c reason swapping (by a shorter reason)	: 0
1301.03/1300.01	c Calls to reduceDB	: 194
1301.03/1300.01	c speed (assignments/second)	: 109864.95874711876
1301.03/1300.01	c non guided choices	131
1301.03/1300.04	c learnt constraints type 
1301.03/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36414
1301.03/1300.04	c constraints type 
1301.03/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25500
1301.03/1300.04	s UNKNOWN
1301.03/1300.04	c Total wall clock time (in seconds) : 1299.913

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-3190275-1302597982/watcher-3190275-1302597982 -o /tmp/evaluation-result-3190275-1302597982/solver-3190275-1302597982 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190275-1302597982.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: 4.00 3.96 3.35 11/221 18918
/proc/meminfo: memFree=14489560/32951124 swapFree=67111528/67111528
[pid=18918] ppid=18916 vsize=23028 CPUtime=0 cores=0,2
/proc/18918/stat : 18918 (java) R 18916 18918 18602 0 -1 4202496 529 0 0 0 0 0 0 0 25 0 1 0 371398679 23580672 270 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230804203264 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18918/statm: 5757 282 218 9 0 124 0

[startup+0.0564269 s]
/proc/loadavg: 4.00 3.96 3.35 11/221 18918
/proc/meminfo: memFree=14489560/32951124 swapFree=67111528/67111528
[pid=18918] ppid=18916 vsize=7564488 CPUtime=0.04 cores=0,2
/proc/18918/stat : 18918 (java) S 18916 18918 18602 0 -1 4202496 9046 0 1 0 3 1 0 0 25 0 13 0 371398679 7746035712 8740 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820968421 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/18918/statm: 1891122 8740 1693 9 0 1881870 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7564488

[startup+0.100452 s]
/proc/loadavg: 4.00 3.96 3.35 11/221 18918
/proc/meminfo: memFree=14489560/32951124 swapFree=67111528/67111528
[pid=18918] ppid=18916 vsize=7636396 CPUtime=0.09 cores=0,2
/proc/18918/stat : 18918 (java) S 18916 18918 18602 0 -1 4202496 10454 0 1 0 8 1 0 0 25 0 18 0 371398679 7819669504 10110 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18918/statm: 1909099 10112 2093 9 0 1899837 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636396

[startup+0.320374 s]
/proc/loadavg: 4.00 3.96 3.35 11/221 18918
/proc/meminfo: memFree=14489560/32951124 swapFree=67111528/67111528
[pid=18918] ppid=18916 vsize=7637900 CPUtime=0.51 cores=0,2
/proc/18918/stat : 18918 (java) S 18916 18918 18602 0 -1 4202496 13313 0 1 0 50 1 0 0 25 0 19 0 371398679 7821209600 12245 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18918/statm: 1909475 12245 2216 9 0 1900213 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 7637900

[startup+0.700407 s]
/proc/loadavg: 4.00 3.96 3.35 11/221 18918
/proc/meminfo: memFree=14489560/32951124 swapFree=67111528/67111528
[pid=18918] ppid=18916 vsize=7639712 CPUtime=1.06 cores=0,2
/proc/18918/stat : 18918 (java) S 18916 18918 18602 0 -1 4202496 14537 0 1 0 104 2 0 0 25 0 19 0 371398679 7823065088 13095 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18918/statm: 1909928 13095 2224 9 0 1900666 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 7639712

[startup+1.50125 s]
/proc/loadavg: 4.00 3.96 3.35 5/262 18962
/proc/meminfo: memFree=14337088/32951124 swapFree=67111528/67111528
[pid=18918] ppid=18916 vsize=7640736 CPUtime=2.14 cores=0,2
/proc/18918/stat : 18918 (java) S 18916 18918 18602 0 -1 4202496 23458 0 1 0 211 3 0 0 25 0 19 0 371398679 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18918/statm: 1910184 20150 2253 9 0 1900922 0
[pid=18918/tid=18920] ppid=18916 vsize=7640736 CPUtime=1.42 cores=0,2
/proc/18918/task/18920/stat : 18920 (java) R 18916 18918 18602 0 -1 4202560 10415 0 1 0 141 1 0 0 25 0 19 0 371398680 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 46912505676118 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18918/tid=18922] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18922/stat : 18922 (java) S 18916 18918 18602 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 19 0 371398681 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18923] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18923/stat : 18923 (java) S 18916 18918 18602 0 -1 4202560 570 0 0 0 0 0 0 0 17 0 19 0 371398681 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18924] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18924/stat : 18924 (java) S 18916 18918 18602 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 371398681 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18925] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18925/stat : 18925 (java) S 18916 18918 18602 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 19 0 371398681 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18926] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18926/stat : 18926 (java) S 18916 18918 18602 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 371398681 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18927] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18927/stat : 18927 (java) S 18916 18918 18602 0 -1 4202560 204 0 0 0 0 0 0 0 17 0 19 0 371398681 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18928] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18928/stat : 18928 (java) S 18916 18918 18602 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 19 0 371398681 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18929] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18929/stat : 18929 (java) S 18916 18918 18602 0 -1 4202560 183 0 0 0 0 0 0 0 17 0 19 0 371398681 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18936] ppid=18916 vsize=7640736 CPUtime=0.01 cores=0,2
/proc/18918/task/18936/stat : 18936 (java) S 18916 18918 18602 0 -1 4202560 1009 0 0 0 1 0 0 0 17 0 19 0 371398682 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 0 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18937] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18937/stat : 18937 (java) S 18916 18918 18602 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371398683 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18938] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18938/stat : 18938 (java) S 18916 18918 18602 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371398683 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18950] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18950/stat : 18950 (java) S 18916 18918 18602 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371398685 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820989361 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18951] ppid=18916 vsize=7640736 CPUtime=0.51 cores=0,2
/proc/18918/task/18951/stat : 18951 (java) S 18916 18918 18602 0 -1 4202560 8364 0 0 0 50 1 0 0 16 0 19 0 371398685 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18952] ppid=18916 vsize=7640736 CPUtime=0.14 cores=0,2
/proc/18918/task/18952/stat : 18952 (java) S 18916 18918 18602 0 -1 4202560 1489 0 0 0 14 0 0 0 19 0 19 0 371398685 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18953] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18953/stat : 18953 (java) S 18916 18918 18602 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371398685 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18954] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18954/stat : 18954 (java) S 18916 18918 18602 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371398685 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18961] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18961/stat : 18961 (java) S 18916 18918 18602 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371398702 7824113664 20150 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 7640736

[startup+3.10098 s]
/proc/loadavg: 4.00 3.96 3.35 5/262 18962
/proc/meminfo: memFree=14277196/32951124 swapFree=67111528/67111528
[pid=18918] ppid=18916 vsize=7640736 CPUtime=3.75 cores=0,2
/proc/18918/stat : 18918 (java) S 18916 18918 18602 0 -1 4202496 24052 0 1 0 372 3 0 0 25 0 19 0 371398679 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18918/statm: 1910184 20742 2255 9 0 1900922 0
[pid=18918/tid=18920] ppid=18916 vsize=7640736 CPUtime=2.98 cores=0,2
/proc/18918/task/18920/stat : 18920 (java) R 18916 18918 18602 0 -1 4202560 10417 0 1 0 297 1 0 0 25 0 19 0 371398680 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 46912505583055 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18918/tid=18922] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18922/stat : 18922 (java) S 18916 18918 18602 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 371398681 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18923] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18923/stat : 18923 (java) S 18916 18918 18602 0 -1 4202560 689 0 0 0 0 0 0 0 16 0 19 0 371398681 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18924] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18924/stat : 18924 (java) S 18916 18918 18602 0 -1 4202560 306 0 0 0 0 0 0 0 15 0 19 0 371398681 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18925] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18925/stat : 18925 (java) S 18916 18918 18602 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 371398681 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18926] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18926/stat : 18926 (java) S 18916 18918 18602 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371398681 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18927] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18927/stat : 18927 (java) S 18916 18918 18602 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 371398681 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18928] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18928/stat : 18928 (java) S 18916 18918 18602 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 371398681 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18929] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18929/stat : 18929 (java) S 18916 18918 18602 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 19 0 371398681 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18936] ppid=18916 vsize=7640736 CPUtime=0.03 cores=0,2
/proc/18918/task/18936/stat : 18936 (java) S 18916 18918 18602 0 -1 4202560 1163 0 0 0 3 0 0 0 16 0 19 0 371398682 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 0 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18937] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18937/stat : 18937 (java) S 18916 18918 18602 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371398683 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18938] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18938/stat : 18938 (java) S 18916 18918 18602 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371398683 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18950] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18950/stat : 18950 (java) S 18916 18918 18602 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371398685 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820989361 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18951] ppid=18916 vsize=7640736 CPUtime=0.52 cores=0,2
/proc/18918/task/18951/stat : 18951 (java) S 18916 18918 18602 0 -1 4202560 8364 0 0 0 51 1 0 0 16 0 19 0 371398685 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18952] ppid=18916 vsize=7640736 CPUtime=0.17 cores=0,2
/proc/18918/task/18952/stat : 18952 (java) S 18916 18918 18602 0 -1 4202560 1510 0 0 0 17 0 0 0 15 0 19 0 371398685 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18953] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18953/stat : 18953 (java) S 18916 18918 18602 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371398685 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18954] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18954/stat : 18954 (java) S 18916 18918 18602 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371398685 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18961] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18961/stat : 18961 (java) S 18916 18918 18602 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371398702 7824113664 20742 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 7640736

[startup+6.30135 s]
/proc/loadavg: 4.00 3.96 3.35 6/262 18962
/proc/meminfo: memFree=14237620/32951124 swapFree=67111528/67111528
[pid=18918] ppid=18916 vsize=7640736 CPUtime=6.97 cores=0,2
/proc/18918/stat : 18918 (java) S 18916 18918 18602 0 -1 4202496 24667 0 1 0 694 3 0 0 25 0 19 0 371398679 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18918/statm: 1910184 20250 2255 9 0 1900922 0
[pid=18918/tid=18920] ppid=18916 vsize=7640736 CPUtime=6.09 cores=0,2
/proc/18918/task/18920/stat : 18920 (java) R 18916 18918 18602 0 -1 4202560 10419 0 1 0 608 1 0 0 25 0 19 0 371398680 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 46912505583282 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18918/tid=18922] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18922/stat : 18922 (java) S 18916 18918 18602 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 371398681 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18923] ppid=18916 vsize=7640736 CPUtime=0.01 cores=0,2
/proc/18918/task/18923/stat : 18923 (java) S 18916 18918 18602 0 -1 4202560 867 0 0 0 1 0 0 0 15 0 19 0 371398681 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18924] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18924/stat : 18924 (java) S 18916 18918 18602 0 -1 4202560 306 0 0 0 0 0 0 0 16 0 19 0 371398681 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18925] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18925/stat : 18925 (java) S 18916 18918 18602 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 371398681 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18926] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18926/stat : 18926 (java) S 18916 18918 18602 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371398681 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18927] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18927/stat : 18927 (java) S 18916 18918 18602 0 -1 4202560 204 0 0 0 0 0 0 0 16 0 19 0 371398681 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18928] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18928/stat : 18928 (java) S 18916 18918 18602 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 371398681 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18929] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18929/stat : 18929 (java) S 18916 18918 18602 0 -1 4202560 302 0 0 0 0 0 0 0 15 0 19 0 371398681 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18936] ppid=18916 vsize=7640736 CPUtime=0.1 cores=0,2
/proc/18918/task/18936/stat : 18936 (java) S 18916 18918 18602 0 -1 4202560 1410 0 0 0 10 0 0 0 16 0 19 0 371398682 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 0 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18937] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18937/stat : 18937 (java) S 18916 18918 18602 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371398683 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18938] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18938/stat : 18938 (java) S 18916 18918 18602 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371398683 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18950] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18950/stat : 18950 (java) S 18916 18918 18602 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371398685 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820989361 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18951] ppid=18916 vsize=7640736 CPUtime=0.52 cores=0,2
/proc/18918/task/18951/stat : 18951 (java) S 18916 18918 18602 0 -1 4202560 8364 0 0 0 51 1 0 0 16 0 19 0 371398685 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18952] ppid=18916 vsize=7640736 CPUtime=0.2 cores=0,2
/proc/18918/task/18952/stat : 18952 (java) S 18916 18918 18602 0 -1 4202560 1567 0 0 0 20 0 0 0 15 0 19 0 371398685 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18953] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18953/stat : 18953 (java) S 18916 18918 18602 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371398685 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18954] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18954/stat : 18954 (java) S 18916 18918 18602 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371398685 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18961] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18961/stat : 18961 (java) S 18916 18918 18602 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371398702 7824113664 20250 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 7640736

[startup+12.7012 s]

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

[pid=18918/tid=18927] ppid=18916 vsize=7640736 CPUtime=0.09 cores=0,2
/proc/18918/task/18927/stat : 18927 (java) S 18916 18918 18602 0 -1 4202560 212 0 0 0 9 0 0 0 15 0 19 0 371398681 7824113664 24273 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18928] ppid=18916 vsize=7640736 CPUtime=0.08 cores=0,2
/proc/18918/task/18928/stat : 18928 (java) S 18916 18918 18602 0 -1 4202560 51 0 0 0 8 0 0 0 15 0 19 0 371398681 7824113664 24273 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18929] ppid=18916 vsize=7640736 CPUtime=0.07 cores=0,2
/proc/18918/task/18929/stat : 18929 (java) S 18916 18918 18602 0 -1 4202560 325 0 0 0 7 0 0 0 15 0 19 0 371398681 7824113664 24273 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18936] ppid=18916 vsize=7640736 CPUtime=4.76 cores=0,2
/proc/18918/task/18936/stat : 18936 (java) S 18916 18918 18602 0 -1 4202560 2864 0 0 0 474 2 0 0 15 0 19 0 371398682 7824113664 24273 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 0 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18937] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18937/stat : 18937 (java) S 18916 18918 18602 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371398683 7824113664 24273 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18938] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18938/stat : 18938 (java) S 18916 18918 18602 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371398683 7824113664 24273 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18950] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18950/stat : 18950 (java) S 18916 18918 18602 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371398685 7824113664 24273 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820989361 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18951] ppid=18916 vsize=7640736 CPUtime=0.52 cores=0,2
/proc/18918/task/18951/stat : 18951 (java) S 18916 18918 18602 0 -1 4202560 8364 0 0 0 51 1 0 0 16 0 19 0 371398685 7824113664 24273 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18952] ppid=18916 vsize=7640736 CPUtime=0.23 cores=0,2
/proc/18918/task/18952/stat : 18952 (java) S 18916 18918 18602 0 -1 4202560 1610 0 0 0 23 0 0 0 15 0 19 0 371398685 7824113664 24273 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18953] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18953/stat : 18953 (java) S 18916 18918 18602 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371398685 7824113664 24273 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18954] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18954/stat : 18954 (java) S 18916 18918 18602 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 371398685 7824113664 24273 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18961] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18961/stat : 18961 (java) S 18916 18918 18602 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371398702 7824113664 24273 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1123.27
Current children cumulated vsize (KiB) 7640736

[startup+1182.3 s]
/proc/loadavg: 4.00 4.01 3.81 5/262 19005
/proc/meminfo: memFree=13711060/32951124 swapFree=67111528/67111528
[pid=18918] ppid=18916 vsize=7640736 CPUtime=1183.29 cores=0,2
/proc/18918/stat : 18918 (java) S 18916 18918 18602 0 -1 4202496 29083 0 1 0 118321 8 0 0 25 0 19 0 371398679 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18918/statm: 1910184 24355 2256 9 0 1900922 0
[pid=18918/tid=18920] ppid=18916 vsize=7640736 CPUtime=1176.77 cores=0,2
/proc/18918/task/18920/stat : 18920 (java) R 18916 18918 18602 0 -1 4202560 10993 0 1 0 117674 3 0 0 25 0 19 0 371398680 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 46912505601601 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18918/tid=18922] ppid=18916 vsize=7640736 CPUtime=0.08 cores=0,2
/proc/18918/task/18922/stat : 18922 (java) S 18916 18918 18602 0 -1 4202560 273 0 0 0 8 0 0 0 15 0 19 0 371398681 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18923] ppid=18916 vsize=7640736 CPUtime=0.11 cores=0,2
/proc/18918/task/18923/stat : 18923 (java) S 18916 18918 18602 0 -1 4202560 1782 0 0 0 11 0 0 0 15 0 19 0 371398681 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18924] ppid=18916 vsize=7640736 CPUtime=0.08 cores=0,2
/proc/18918/task/18924/stat : 18924 (java) S 18916 18918 18602 0 -1 4202560 418 0 0 0 8 0 0 0 16 0 19 0 371398681 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18925] ppid=18916 vsize=7640736 CPUtime=0.09 cores=0,2
/proc/18918/task/18925/stat : 18925 (java) S 18916 18918 18602 0 -1 4202560 648 0 0 0 9 0 0 0 15 0 19 0 371398681 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18926] ppid=18916 vsize=7640736 CPUtime=0.07 cores=0,2
/proc/18918/task/18926/stat : 18926 (java) S 18916 18918 18602 0 -1 4202560 239 0 0 0 7 0 0 0 15 0 19 0 371398681 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18927] ppid=18916 vsize=7640736 CPUtime=0.09 cores=0,2
/proc/18918/task/18927/stat : 18927 (java) S 18916 18918 18602 0 -1 4202560 213 0 0 0 9 0 0 0 15 0 19 0 371398681 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18928] ppid=18916 vsize=7640736 CPUtime=0.09 cores=0,2
/proc/18918/task/18928/stat : 18928 (java) S 18916 18918 18602 0 -1 4202560 51 0 0 0 9 0 0 0 15 0 19 0 371398681 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18929] ppid=18916 vsize=7640736 CPUtime=0.08 cores=0,2
/proc/18918/task/18929/stat : 18929 (java) S 18916 18918 18602 0 -1 4202560 325 0 0 0 8 0 0 0 15 0 19 0 371398681 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18936] ppid=18916 vsize=7640736 CPUtime=4.99 cores=0,2
/proc/18918/task/18936/stat : 18936 (java) S 18916 18918 18602 0 -1 4202560 2945 0 0 0 497 2 0 0 15 0 19 0 371398682 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 0 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18937] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18937/stat : 18937 (java) S 18916 18918 18602 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371398683 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18938] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18938/stat : 18938 (java) S 18916 18918 18602 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371398683 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18950] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18950/stat : 18950 (java) S 18916 18918 18602 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371398685 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820989361 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18951] ppid=18916 vsize=7640736 CPUtime=0.52 cores=0,2
/proc/18918/task/18951/stat : 18951 (java) S 18916 18918 18602 0 -1 4202560 8364 0 0 0 51 1 0 0 16 0 19 0 371398685 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18952] ppid=18916 vsize=7640736 CPUtime=0.23 cores=0,2
/proc/18918/task/18952/stat : 18952 (java) S 18916 18918 18602 0 -1 4202560 1610 0 0 0 23 0 0 0 15 0 19 0 371398685 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18953] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18953/stat : 18953 (java) S 18916 18918 18602 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371398685 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18954] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18954/stat : 18954 (java) S 18916 18918 18602 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 371398685 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18961] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18961/stat : 18961 (java) S 18916 18918 18602 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371398702 7824113664 24355 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1183.29
Current children cumulated vsize (KiB) 7640736

[startup+1242.3 s]
/proc/loadavg: 4.07 4.03 3.82 5/262 19007
/proc/meminfo: memFree=13700724/32951124 swapFree=67111528/67111528
[pid=18918] ppid=18916 vsize=7640736 CPUtime=1243.3 cores=0,2
/proc/18918/stat : 18918 (java) S 18916 18918 18602 0 -1 4202496 29139 0 1 0 124322 8 0 0 25 0 19 0 371398679 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18918/statm: 1910184 24394 2256 9 0 1900922 0
[pid=18918/tid=18920] ppid=18916 vsize=7640736 CPUtime=1236.49 cores=0,2
/proc/18918/task/18920/stat : 18920 (java) R 18916 18918 18602 0 -1 4202560 11002 0 1 0 123646 3 0 0 25 0 19 0 371398680 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 46912505601601 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18918/tid=18922] ppid=18916 vsize=7640736 CPUtime=0.09 cores=0,2
/proc/18918/task/18922/stat : 18922 (java) S 18916 18918 18602 0 -1 4202560 273 0 0 0 9 0 0 0 15 0 19 0 371398681 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18923] ppid=18916 vsize=7640736 CPUtime=0.11 cores=0,2
/proc/18918/task/18923/stat : 18923 (java) S 18916 18918 18602 0 -1 4202560 1782 0 0 0 11 0 0 0 15 0 19 0 371398681 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18924] ppid=18916 vsize=7640736 CPUtime=0.09 cores=0,2
/proc/18918/task/18924/stat : 18924 (java) S 18916 18918 18602 0 -1 4202560 418 0 0 0 9 0 0 0 15 0 19 0 371398681 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18925] ppid=18916 vsize=7640736 CPUtime=0.09 cores=0,2
/proc/18918/task/18925/stat : 18925 (java) S 18916 18918 18602 0 -1 4202560 648 0 0 0 9 0 0 0 15 0 19 0 371398681 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18926] ppid=18916 vsize=7640736 CPUtime=0.08 cores=0,2
/proc/18918/task/18926/stat : 18926 (java) S 18916 18918 18602 0 -1 4202560 239 0 0 0 8 0 0 0 15 0 19 0 371398681 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18927] ppid=18916 vsize=7640736 CPUtime=0.1 cores=0,2
/proc/18918/task/18927/stat : 18927 (java) S 18916 18918 18602 0 -1 4202560 213 0 0 0 10 0 0 0 15 0 19 0 371398681 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18928] ppid=18916 vsize=7640736 CPUtime=0.09 cores=0,2
/proc/18918/task/18928/stat : 18928 (java) S 18916 18918 18602 0 -1 4202560 51 0 0 0 9 0 0 0 15 0 19 0 371398681 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18929] ppid=18916 vsize=7640736 CPUtime=0.08 cores=0,2
/proc/18918/task/18929/stat : 18929 (java) S 18916 18918 18602 0 -1 4202560 325 0 0 0 8 0 0 0 16 0 19 0 371398681 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18936] ppid=18916 vsize=7640736 CPUtime=5.25 cores=0,2
/proc/18918/task/18936/stat : 18936 (java) S 18916 18918 18602 0 -1 4202560 2988 0 0 0 523 2 0 0 15 0 19 0 371398682 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 0 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18937] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18937/stat : 18937 (java) S 18916 18918 18602 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371398683 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18938] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18938/stat : 18938 (java) S 18916 18918 18602 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371398683 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18950] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18950/stat : 18950 (java) S 18916 18918 18602 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371398685 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820989361 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18951] ppid=18916 vsize=7640736 CPUtime=0.52 cores=0,2
/proc/18918/task/18951/stat : 18951 (java) S 18916 18918 18602 0 -1 4202560 8364 0 0 0 51 1 0 0 16 0 19 0 371398685 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18952] ppid=18916 vsize=7640736 CPUtime=0.23 cores=0,2
/proc/18918/task/18952/stat : 18952 (java) S 18916 18918 18602 0 -1 4202560 1610 0 0 0 23 0 0 0 15 0 19 0 371398685 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18953] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18953/stat : 18953 (java) S 18916 18918 18602 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371398685 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18954] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18954/stat : 18954 (java) S 18916 18918 18602 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 371398685 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18961] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18961/stat : 18961 (java) S 18916 18918 18602 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371398702 7824113664 24394 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1243.3
Current children cumulated vsize (KiB) 7640736



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.02 4.02 3.83 3/222 19015
/proc/meminfo: memFree=14170348/32951124 swapFree=67111528/67111528
[pid=18918] ppid=18916 vsize=7640736 CPUtime=1301.03 cores=0,2
/proc/18918/stat : 18918 (java) S 18916 18918 18602 0 -1 4202496 29196 0 1 0 130095 8 0 0 25 0 19 0 371398679 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18918/statm: 1910184 24435 2256 9 0 1900922 0
[pid=18918/tid=18920] ppid=18916 vsize=7640736 CPUtime=1293.93 cores=0,2
/proc/18918/task/18920/stat : 18920 (java) R 18916 18918 18602 0 -1 4202560 11010 0 1 0 129390 3 0 0 25 0 19 0 371398680 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 46912505583308 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18918/tid=18922] ppid=18916 vsize=7640736 CPUtime=0.09 cores=0,2
/proc/18918/task/18922/stat : 18922 (java) S 18916 18918 18602 0 -1 4202560 273 0 0 0 9 0 0 0 15 0 19 0 371398681 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18923] ppid=18916 vsize=7640736 CPUtime=0.12 cores=0,2
/proc/18918/task/18923/stat : 18923 (java) S 18916 18918 18602 0 -1 4202560 1783 0 0 0 12 0 0 0 15 0 19 0 371398681 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18924] ppid=18916 vsize=7640736 CPUtime=0.09 cores=0,2
/proc/18918/task/18924/stat : 18924 (java) S 18916 18918 18602 0 -1 4202560 418 0 0 0 9 0 0 0 15 0 19 0 371398681 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18925] ppid=18916 vsize=7640736 CPUtime=0.1 cores=0,2
/proc/18918/task/18925/stat : 18925 (java) S 18916 18918 18602 0 -1 4202560 650 0 0 0 10 0 0 0 15 0 19 0 371398681 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18926] ppid=18916 vsize=7640736 CPUtime=0.08 cores=0,2
/proc/18918/task/18926/stat : 18926 (java) S 18916 18918 18602 0 -1 4202560 239 0 0 0 8 0 0 0 16 0 19 0 371398681 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18927] ppid=18916 vsize=7640736 CPUtime=0.1 cores=0,2
/proc/18918/task/18927/stat : 18927 (java) S 18916 18918 18602 0 -1 4202560 213 0 0 0 10 0 0 0 15 0 19 0 371398681 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18928] ppid=18916 vsize=7640736 CPUtime=0.09 cores=0,2
/proc/18918/task/18928/stat : 18928 (java) S 18916 18918 18602 0 -1 4202560 52 0 0 0 9 0 0 0 15 0 19 0 371398681 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18929] ppid=18916 vsize=7640736 CPUtime=0.09 cores=0,2
/proc/18918/task/18929/stat : 18929 (java) S 18916 18918 18602 0 -1 4202560 327 0 0 0 9 0 0 0 15 0 19 0 371398681 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18936] ppid=18916 vsize=7640736 CPUtime=5.49 cores=0,2
/proc/18918/task/18936/stat : 18936 (java) S 18916 18918 18602 0 -1 4202560 3027 0 0 0 547 2 0 0 15 0 19 0 371398682 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 0 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18937] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18937/stat : 18937 (java) S 18916 18918 18602 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371398683 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18938] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18938/stat : 18938 (java) S 18916 18918 18602 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371398683 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18950] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18950/stat : 18950 (java) S 18916 18918 18602 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371398685 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820989361 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18951] ppid=18916 vsize=7640736 CPUtime=0.52 cores=0,2
/proc/18918/task/18951/stat : 18951 (java) S 18916 18918 18602 0 -1 4202560 8364 0 0 0 51 1 0 0 16 0 19 0 371398685 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 2 0 0 0
[pid=18918/tid=18952] ppid=18916 vsize=7640736 CPUtime=0.23 cores=0,2
/proc/18918/task/18952/stat : 18952 (java) S 18916 18918 18602 0 -1 4202560 1610 0 0 0 23 0 0 0 15 0 19 0 371398685 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18953] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18953/stat : 18953 (java) S 18916 18918 18602 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371398685 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820981657 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18954] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18954/stat : 18954 (java) S 18916 18918 18602 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 371398685 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
[pid=18918/tid=18961] ppid=18916 vsize=7640736 CPUtime=0 cores=0,2
/proc/18918/task/18961/stat : 18961 (java) S 18916 18918 18602 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371398702 7824113664 24435 33554432000 1073741824 1073778376 140734082549920 18446744073709551615 230820982272 0 4 0 16800975 18446604453878166528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1301.03
Current children cumulated vsize (KiB) 7640736

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.11
CPU user time (s): 1301.02
CPU system time (s): 0.092985
CPU usage (%): 100.082
Max. virtual memory (cumulated for all children) (KiB): 7640736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.02
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29234
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= 32189
involuntary context switches= 8641

runsolver used 2.24666 second user time and 4.87226 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-12 10:46:22
IDJOB=3190275
IDBENCH=82606
IDSOLVER=1611
FILE ID=node104/3190275-1302597982
RUNJOBID= node104-1302596679-18620
PBS_JOBID= 12958087
Free space on /tmp= 71476 MiB

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

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

MD5SUM BENCH= b318fd1a86aee981aadb17224d952a44
RANDOM SEED=964880867

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14490088 kB
Buffers:        659780 kB
Cached:       17250768 kB
SwapCached:          0 kB
Active:        9587936 kB
Inactive:      8466524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14490088 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7492 kB
Writeback:           0 kB
AnonPages:      143000 kB
Mapped:          23212 kB
Slab:           342332 kB
PageTables:       5104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 14730108 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= 71476 MiB
End job on node104 at 2011-04-12 11:08:04