Trace number 3249410

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) 1302.05 1300.06

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x14.cnf
MD5SUMf76302f2442dfc7cabc2315e61e55fea
Bench CategoryCRAFTED (crafted 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 variables1176
Number of clauses78498
Sum of the clauses size310464
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21764
Number of clauses of size 30
Number of clauses of size 476734
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.05/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.12	c See www.sat4j.org for details.
0.05/0.12	c no version file found!!!
0.05/0.12	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.12	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.12	c java.vm.version	19.1-b02
0.05/0.12	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.12	c sun.arch.data.model	64
0.05/0.12	c java.version		1.6.0_24
0.05/0.12	c os.name		Linux
0.05/0.12	c os.version		2.6.18-164.el5
0.05/0.12	c os.arch		amd64
0.05/0.12	c Free memory 		6997539544
0.05/0.12	c Max memory 		7034241024
0.05/0.12	c Total memory 		7034241024
0.05/0.13	c Number of processors 	8
0.05/0.15	c --- Begin Solver configuration ---
0.05/0.15	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.05/0.15	c Learn all clauses as in MiniSAT
0.05/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.05/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.05/0.15	c Expensive reason simplification
0.05/0.15	c Armin Biere (Picosat) restarts strategy
0.05/0.15	c Glucose learned constraints deletion strategy
0.05/0.15	c timeout=2147483647s
0.05/0.15	c DB Simplification allowed=true
0.05/0.15	c --- End Solver configuration ---
0.05/0.15	c solving HOME/instance-3249410-1303512039.cnf
0.05/0.15	c reading problem ... 
0.33/0.29	c ... done. Wall clock time 0.146s.
0.33/0.29	c #vars     1176
0.33/0.29	c #constraints  78498
0.33/0.29	c constraints type 
0.33/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76734
0.33/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1764
1.17/0.90	c cleaning 2492 clauses out of 5000 with flag 5000/5000
1.99/1.49	c cleaning 4245 clauses out of 8509 with flag 11001/11001
2.60/2.07	c cleaning 5629 clauses out of 11263 with flag 18000/18000
3.19/2.70	c cleaning 6804 clauses out of 13635 with flag 26001/26001
3.91/3.37	c cleaning 7899 clauses out of 15830 with flag 35000/35000
4.71/4.10	c cleaning 8964 clauses out of 17932 with flag 45001/45001
5.41/4.80	c cleaning 9976 clauses out of 19967 with flag 56000/56000
6.22/5.68	c cleaning 10986 clauses out of 21992 with flag 68001/68001
7.11/6.55	c cleaning 11999 clauses out of 24007 with flag 81002/81002
8.01/7.46	c cleaning 13001 clauses out of 26006 with flag 95000/95000
9.02/8.47	c cleaning 13986 clauses out of 28005 with flag 110000/110000
10.02/9.47	c cleaning 15005 clauses out of 30019 with flag 126000/126000
11.23/10.61	c cleaning 16002 clauses out of 32014 with flag 143000/143000
12.33/11.77	c cleaning 16984 clauses out of 34012 with flag 161000/161000
13.63/13.00	c cleaning 18004 clauses out of 36033 with flag 180005/180005
14.83/14.28	c cleaning 18994 clauses out of 38024 with flag 200000/200000
16.23/15.64	c cleaning 20008 clauses out of 40030 with flag 221000/221000
17.74/17.15	c cleaning 21005 clauses out of 42022 with flag 243000/243000
19.14/18.57	c cleaning 21988 clauses out of 44020 with flag 266003/266003
20.55/19.96	c cleaning 22984 clauses out of 46032 with flag 290003/290003
22.15/21.50	c cleaning 24007 clauses out of 48048 with flag 315003/315003
23.75/23.19	c cleaning 25003 clauses out of 50038 with flag 341000/341000
25.75/25.14	c cleaning 26009 clauses out of 52036 with flag 368001/368001
27.26/26.67	c cleaning 27009 clauses out of 54027 with flag 396001/396001
29.26/28.61	c cleaning 27988 clauses out of 56018 with flag 425001/425001
31.26/30.68	c cleaning 29010 clauses out of 58029 with flag 455000/455000
33.27/32.66	c cleaning 29997 clauses out of 60019 with flag 486000/486000
35.37/34.74	c cleaning 30983 clauses out of 62024 with flag 518002/518002
37.37/36.79	c cleaning 32016 clauses out of 64041 with flag 551002/551002
39.58/38.96	c cleaning 32987 clauses out of 66024 with flag 585001/585001
42.08/41.43	c cleaning 34011 clauses out of 68036 with flag 620000/620000
44.48/43.84	c cleaning 34976 clauses out of 70026 with flag 656001/656001
47.08/46.40	c cleaning 36004 clauses out of 72050 with flag 693001/693001
49.39/48.77	c cleaning 36989 clauses out of 74045 with flag 731000/731000
52.09/51.45	c cleaning 38000 clauses out of 76056 with flag 770000/770000
54.70/54.04	c cleaning 39005 clauses out of 78056 with flag 810000/810000
57.70/57.10	c cleaning 40015 clauses out of 80053 with flag 851002/851002
60.50/59.82	c cleaning 40999 clauses out of 82037 with flag 893001/893001
63.60/62.97	c cleaning 41987 clauses out of 84037 with flag 936000/936000
66.50/65.87	c cleaning 43010 clauses out of 86050 with flag 980000/980000
69.71/69.01	c cleaning 43996 clauses out of 88040 with flag 1025000/1025000
72.41/71.77	c cleaning 44997 clauses out of 90044 with flag 1071000/1071000
76.32/75.61	c cleaning 46015 clauses out of 92047 with flag 1118000/1118000
79.63/78.95	c cleaning 47001 clauses out of 94032 with flag 1166000/1166000
83.23/82.55	c cleaning 47989 clauses out of 96032 with flag 1215001/1215001
86.93/86.25	c cleaning 48998 clauses out of 98042 with flag 1265000/1265000
90.44/89.76	c cleaning 49997 clauses out of 100046 with flag 1316002/1316002
94.55/93.80	c cleaning 51001 clauses out of 102047 with flag 1368000/1368000
98.15/97.45	c cleaning 51998 clauses out of 104048 with flag 1421002/1421002
102.66/101.97	c cleaning 53009 clauses out of 106048 with flag 1475000/1475000
107.06/106.33	c cleaning 54001 clauses out of 108039 with flag 1530000/1530000
111.17/110.44	c cleaning 54985 clauses out of 110038 with flag 1586000/1586000
115.67/114.93	c cleaning 55999 clauses out of 112055 with flag 1643002/1643002
120.48/119.77	c cleaning 57014 clauses out of 114054 with flag 1701000/1701000
124.88/124.19	c cleaning 57998 clauses out of 116043 with flag 1760003/1760003
129.89/129.15	c cleaning 58998 clauses out of 118043 with flag 1820001/1820001
134.59/133.82	c cleaning 60012 clauses out of 120046 with flag 1881002/1881002
139.20/138.48	c cleaning 60977 clauses out of 122034 with flag 1943002/1943002
144.60/143.82	c cleaning 61985 clauses out of 124055 with flag 2006000/2006000
149.71/148.98	c cleaning 63009 clauses out of 126073 with flag 2070003/2070003
154.82/154.08	c cleaning 63969 clauses out of 128061 with flag 2135000/2135000
160.62/159.90	c cleaning 64980 clauses out of 130092 with flag 2201000/2201000
166.53/165.70	c cleaning 66024 clauses out of 132113 with flag 2268001/2268001
171.53/170.73	c cleaning 67032 clauses out of 134090 with flag 2336002/2336002
177.54/176.76	c cleaning 67991 clauses out of 136056 with flag 2405000/2405000
184.05/183.23	c cleaning 69005 clauses out of 138065 with flag 2475000/2475000
189.36/188.56	c cleaning 70015 clauses out of 140063 with flag 2546003/2546003
195.27/194.41	c cleaning 70975 clauses out of 142045 with flag 2618000/2618000
201.87/201.10	c cleaning 71991 clauses out of 144070 with flag 2691000/2691000
207.88/207.06	c cleaning 72992 clauses out of 146083 with flag 2765004/2765004
213.68/212.85	c cleaning 74013 clauses out of 148088 with flag 2840001/2840001
220.61/219.75	c cleaning 75005 clauses out of 150075 with flag 2916001/2916001
228.12/227.28	c cleaning 76015 clauses out of 152070 with flag 2993001/2993001
234.03/233.12	c cleaning 77006 clauses out of 154054 with flag 3071000/3071000
240.33/239.46	c cleaning 78014 clauses out of 156048 with flag 3150000/3150000
249.54/248.65	c cleaning 78490 clauses out of 157034 with flag 3229000/3229000
257.15/256.21	c cleaning 78736 clauses out of 157545 with flag 3308001/3308001
263.36/262.48	c cleaning 78882 clauses out of 157810 with flag 3387002/3387002
270.77/269.81	c cleaning 78934 clauses out of 157926 with flag 3466000/3466000
278.87/277.96	c cleaning 78961 clauses out of 157992 with flag 3545000/3545000
288.28/287.39	c cleaning 78994 clauses out of 158031 with flag 3624000/3624000
294.20/293.20	c cleaning 79011 clauses out of 158037 with flag 3703000/3703000
301.60/300.69	c cleaning 79004 clauses out of 158026 with flag 3782000/3782000
309.30/308.32	c cleaning 78995 clauses out of 158022 with flag 3861000/3861000
317.11/316.12	c cleaning 78930 clauses out of 158028 with flag 3940001/3940001
324.02/323.06	c cleaning 79021 clauses out of 158098 with flag 4019001/4019001
330.33/329.33	c cleaning 79018 clauses out of 158077 with flag 4098001/4098001
337.53/336.60	c cleaning 79020 clauses out of 158059 with flag 4177001/4177001
345.64/344.69	c cleaning 78973 clauses out of 158038 with flag 4256000/4256000
355.44/354.43	c cleaning 78988 clauses out of 158065 with flag 4335000/4335000
364.75/363.72	c cleaning 79010 clauses out of 158077 with flag 4414000/4414000
370.66/369.64	c cleaning 79015 clauses out of 158069 with flag 4493002/4493002
378.06/377.07	c cleaning 79002 clauses out of 158053 with flag 4572001/4572001
384.57/383.53	c cleaning 79001 clauses out of 158051 with flag 4651001/4651001
392.68/391.67	c cleaning 79001 clauses out of 158049 with flag 4730000/4730000
401.78/400.76	c cleaning 78977 clauses out of 158048 with flag 4809000/4809000
409.49/408.48	c cleaning 79002 clauses out of 158074 with flag 4888003/4888003
416.10/415.01	c cleaning 79022 clauses out of 158071 with flag 4967002/4967002
423.00/421.93	c cleaning 78970 clauses out of 158047 with flag 5046000/5046000
430.91/429.80	c cleaning 78992 clauses out of 158078 with flag 5125001/5125001
439.02/437.97	c cleaning 79034 clauses out of 158087 with flag 5204002/5204002
446.73/445.62	c cleaning 79016 clauses out of 158054 with flag 5283003/5283003
455.34/454.23	c cleaning 79007 clauses out of 158035 with flag 5362000/5362000
461.64/460.53	c cleaning 78958 clauses out of 158030 with flag 5441002/5441002
468.45/467.31	c cleaning 79011 clauses out of 158071 with flag 5520001/5520001
477.25/476.10	c cleaning 78985 clauses out of 158059 with flag 5599000/5599000
484.76/483.60	c cleaning 78956 clauses out of 158074 with flag 5678000/5678000
494.87/493.71	c cleaning 79019 clauses out of 158118 with flag 5757000/5757000
503.38/502.27	c cleaning 79028 clauses out of 158099 with flag 5836000/5836000
511.09/509.98	c cleaning 79016 clauses out of 158071 with flag 5915000/5915000
518.09/516.96	c cleaning 78980 clauses out of 158055 with flag 5994000/5994000
526.10/524.91	c cleaning 79011 clauses out of 158075 with flag 6073000/6073000
534.10/532.94	c cleaning 79010 clauses out of 158066 with flag 6152002/6152002
542.61/541.47	c cleaning 78995 clauses out of 158054 with flag 6231000/6231000
551.62/550.42	c cleaning 79027 clauses out of 158060 with flag 6310001/6310001
562.24/561.00	c cleaning 78966 clauses out of 158032 with flag 6389000/6389000
573.14/571.96	c cleaning 79020 clauses out of 158066 with flag 6468000/6468000
579.66/578.41	c cleaning 79012 clauses out of 158046 with flag 6547000/6547000
587.27/586.00	c cleaning 78986 clauses out of 158034 with flag 6626000/6626000
594.47/593.20	c cleaning 78982 clauses out of 158049 with flag 6705001/6705001
602.28/601.03	c cleaning 79006 clauses out of 158068 with flag 6784002/6784002
613.18/611.95	c cleaning 78989 clauses out of 158061 with flag 6863001/6863001
623.29/622.01	c cleaning 79004 clauses out of 158071 with flag 6942000/6942000
632.40/631.13	c cleaning 78967 clauses out of 158067 with flag 7021000/7021000
646.61/645.34	c cleaning 79026 clauses out of 158102 with flag 7100002/7100002
652.42/651.16	c cleaning 78996 clauses out of 158075 with flag 7179001/7179001
659.63/658.38	c cleaning 79012 clauses out of 158078 with flag 7258000/7258000
668.13/666.88	c cleaning 78989 clauses out of 158067 with flag 7337001/7337001
677.24/675.92	c cleaning 78999 clauses out of 158077 with flag 7416000/7416000
685.65/684.36	c cleaning 78995 clauses out of 158080 with flag 7495002/7495002
695.36/694.02	c cleaning 79007 clauses out of 158083 with flag 7574000/7574000
704.87/703.54	c cleaning 79005 clauses out of 158076 with flag 7653000/7653000
713.88/712.56	c cleaning 78987 clauses out of 158071 with flag 7732000/7732000
725.39/724.06	c cleaning 78992 clauses out of 158084 with flag 7811000/7811000
732.00/730.68	c cleaning 79006 clauses out of 158094 with flag 7890002/7890002
739.00/737.62	c cleaning 78993 clauses out of 158087 with flag 7969001/7969001
747.61/746.21	c cleaning 79037 clauses out of 158095 with flag 8048002/8048002
756.12/754.77	c cleaning 78986 clauses out of 158058 with flag 8127002/8127002
765.93/764.55	c cleaning 79006 clauses out of 158071 with flag 8206001/8206001
774.33/772.97	c cleaning 79023 clauses out of 158064 with flag 8285000/8285000
784.84/783.47	c cleaning 79004 clauses out of 158042 with flag 8364001/8364001
796.75/795.35	c cleaning 78992 clauses out of 158037 with flag 8443000/8443000
805.76/804.38	c cleaning 78963 clauses out of 158045 with flag 8522000/8522000
821.07/819.61	c cleaning 79021 clauses out of 158083 with flag 8601001/8601001
826.88/825.48	c cleaning 79014 clauses out of 158062 with flag 8680001/8680001
833.49/832.02	c cleaning 78964 clauses out of 158047 with flag 8759000/8759000
840.39/838.92	c cleaning 78986 clauses out of 158083 with flag 8838000/8838000
847.60/846.15	c cleaning 79008 clauses out of 158098 with flag 8917001/8917001
856.11/854.65	c cleaning 78991 clauses out of 158090 with flag 8996001/8996001
863.52/862.03	c cleaning 79013 clauses out of 158098 with flag 9075000/9075000
871.52/870.08	c cleaning 79032 clauses out of 158086 with flag 9154001/9154001
882.53/881.09	c cleaning 79010 clauses out of 158055 with flag 9233002/9233002
895.95/894.44	c cleaning 78991 clauses out of 158046 with flag 9312003/9312003
904.97/903.43	c cleaning 78966 clauses out of 158053 with flag 9391001/9391001
923.97/922.43	c cleaning 79002 clauses out of 158086 with flag 9470000/9470000
930.19/928.60	c cleaning 79014 clauses out of 158084 with flag 9549000/9549000
936.79/935.23	c cleaning 79008 clauses out of 158070 with flag 9628000/9628000
943.80/942.27	c cleaning 79007 clauses out of 158062 with flag 9707000/9707000
953.61/952.01	c cleaning 78989 clauses out of 158055 with flag 9786000/9786000
963.52/961.99	c cleaning 78992 clauses out of 158066 with flag 9865000/9865000
973.43/971.82	c cleaning 78998 clauses out of 158075 with flag 9944001/9944001
983.04/981.49	c cleaning 79022 clauses out of 158078 with flag 10023002/10023002
992.05/990.44	c cleaning 78985 clauses out of 158055 with flag 10102001/10102001
1001.96/1000.36	c cleaning 78932 clauses out of 158069 with flag 10181000/10181000
1010.87/1009.28	c cleaning 79003 clauses out of 158137 with flag 10260000/10260000
1026.47/1024.88	c cleaning 79044 clauses out of 158135 with flag 10339001/10339001
1038.49/1036.87	c cleaning 79009 clauses out of 158091 with flag 10418001/10418001
1045.00/1043.32	c cleaning 79002 clauses out of 158084 with flag 10497003/10497003
1051.60/1050.00	c cleaning 78995 clauses out of 158079 with flag 10576000/10576000
1059.21/1057.53	c cleaning 79008 clauses out of 158084 with flag 10655000/10655000
1066.82/1065.17	c cleaning 79034 clauses out of 158077 with flag 10734001/10734001
1074.42/1072.78	c cleaning 78989 clauses out of 158042 with flag 10813000/10813000
1085.73/1084.06	c cleaning 78968 clauses out of 158054 with flag 10892001/10892001
1095.84/1094.17	c cleaning 79015 clauses out of 158085 with flag 10971000/10971000
1107.45/1105.70	c cleaning 78999 clauses out of 158073 with flag 11050003/11050003
1119.26/1117.52	c cleaning 79015 clauses out of 158072 with flag 11129001/11129001
1133.88/1132.18	c cleaning 78999 clauses out of 158056 with flag 11208000/11208000
1148.59/1146.83	c cleaning 78990 clauses out of 158057 with flag 11287000/11287000
1168.40/1166.66	c cleaning 78986 clauses out of 158067 with flag 11366000/11366000
1178.52/1176.77	c cleaning 78980 clauses out of 158081 with flag 11445000/11445000
1186.94/1185.16	c cleaning 79035 clauses out of 158103 with flag 11524002/11524002
1193.35/1191.50	c cleaning 79005 clauses out of 158066 with flag 11603000/11603000
1200.25/1198.49	c cleaning 78979 clauses out of 158062 with flag 11682001/11682001
1207.96/1206.10	c cleaning 78995 clauses out of 158082 with flag 11761000/11761000
1216.47/1214.65	c cleaning 79008 clauses out of 158088 with flag 11840001/11840001
1225.77/1223.95	c cleaning 78971 clauses out of 158079 with flag 11919000/11919000
1235.09/1233.21	c cleaning 79013 clauses out of 158110 with flag 11998002/11998002
1243.89/1242.06	c cleaning 79021 clauses out of 158095 with flag 12077000/12077000
1255.80/1253.97	c cleaning 78995 clauses out of 158077 with flag 12156003/12156003
1267.21/1265.36	c cleaning 79024 clauses out of 158081 with flag 12235002/12235002
1277.42/1275.59	c cleaning 78988 clauses out of 158057 with flag 12314002/12314002
1286.92/1285.06	c cleaning 79013 clauses out of 158068 with flag 12393001/12393001
1296.03/1294.19	c cleaning 78980 clauses out of 158054 with flag 12472000/12472000
1301.95/1300.01	c starts		: 2774
1301.95/1300.01	c conflicts		: 12527705
1301.95/1300.01	c decisions		: 19524142
1301.95/1300.01	c propagations		: 504948559
1301.95/1300.01	c inspects		: 13354835425
1301.95/1300.01	c shortcuts		: 0
1301.95/1300.01	c learnt literals	: 0
1301.95/1300.01	c learnt binary clauses	: 0
1301.95/1300.01	c learnt ternary clauses	: 0
1301.95/1300.01	c learnt constraints	: 12527705
1301.95/1300.01	c ignored constraints	: 0
1301.95/1300.01	c root simplifications	: 2774
1301.95/1300.01	c removed literals (reason simplification)	: 59371107
1301.95/1300.01	c reason swapping (by a shorter reason)	: 0
1301.95/1300.01	c Calls to reduceDB	: 193
1301.95/1300.01	c speed (assignments/second)	: 388506.25751124474
1301.95/1300.01	c non guided choices	110096
1301.95/1300.05	c learnt constraints type 
1301.95/1300.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 134966
1301.95/1300.05	c constraints type 
1301.95/1300.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76734
1301.95/1300.05	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1764
1301.95/1300.05	s UNKNOWN
1301.95/1300.05	c Total wall clock time (in seconds) : 1299.865

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 0.89 1.91 2.95 5/196 28994
/proc/meminfo: memFree=16620052/32951124 swapFree=67111528/67111528
[pid=28993] ppid=28991 vsize=11800 CPUtime=0 cores=5,7
/proc/28993/stat : 28993 (runsolver) R 28991 28993 27954 0 -1 4202560 45 0 0 0 0 0 0 0 21 0 1 0 462801624 12083200 55 33554432000 4194304 5434984 140735900656512 18446744073709551615 5055495 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/28993/statm: 2950 55 34 303 0 2644 0

[startup+0.0441829 s]
/proc/loadavg: 0.89 1.91 2.95 5/196 28994
/proc/meminfo: memFree=16620052/32951124 swapFree=67111528/67111528
[pid=28993] ppid=28991 vsize=7564352 CPUtime=0.03 cores=5,7
/proc/28993/stat : 28993 (java) S 28991 28993 27954 0 -1 4202496 8601 0 1 0 2 1 0 0 21 0 13 0 462801624 7745896448 8298 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 1891088 8304 1640 9 0 1881836 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564352

[startup+0.104428 s]
/proc/loadavg: 0.89 1.91 2.95 5/196 28994
/proc/meminfo: memFree=16620052/32951124 swapFree=67111528/67111528
[pid=28993] ppid=28991 vsize=7569804 CPUtime=0.05 cores=5,7
/proc/28993/stat : 28993 (java) S 28991 28993 27954 0 -1 4202496 9251 0 1 0 4 1 0 0 21 0 18 0 462801624 7751479296 8947 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 1892451 8947 1739 9 0 1883189 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7569804

[startup+0.410238 s]
/proc/loadavg: 0.89 1.91 2.95 5/196 28994
/proc/meminfo: memFree=16620052/32951124 swapFree=67111528/67111528
[pid=28993] ppid=28991 vsize=7576344 CPUtime=0.56 cores=5,7
/proc/28993/stat : 28993 (java) S 28991 28993 27954 0 -1 4202496 14049 0 1 0 54 2 0 0 21 0 19 0 462801624 7758176256 13298 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 1894086 13298 2215 9 0 1884824 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 7576344

[startup+0.700208 s]
/proc/loadavg: 0.89 1.91 2.95 5/196 28994
/proc/meminfo: memFree=16620052/32951124 swapFree=67111528/67111528
[pid=28993] ppid=28991 vsize=7581536 CPUtime=1.07 cores=5,7
/proc/28993/stat : 28993 (java) S 28991 28993 27954 0 -1 4202496 16430 0 1 0 105 2 0 0 21 0 19 0 462801624 7763492864 14865 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 1895384 14865 2227 9 0 1886122 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 7581536

[startup+1.50103 s]
/proc/loadavg: 0.89 1.91 2.95 8/240 29176
/proc/meminfo: memFree=16414792/32951124 swapFree=67111528/67111528
[pid=28993] ppid=28991 vsize=7662712 CPUtime=2.1 cores=5,7
/proc/28993/stat : 28993 (java) S 28991 28993 27954 0 -1 4202496 26851 0 1 0 207 3 0 0 21 0 19 0 462801624 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 1915678 23347 2255 9 0 1906416 0
[pid=28993/tid=28997] ppid=28991 vsize=7662712 CPUtime=1.35 cores=5,7
/proc/28993/task/28997/stat : 28997 (java) S 28991 28993 27954 0 -1 4202560 11169 0 1 0 133 2 0 0 20 0 19 0 462801625 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 3
[pid=28993/tid=29011] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29011/stat : 29011 (java) S 28991 28993 27954 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29012] ppid=28991 vsize=7662712 CPUtime=0.01 cores=5,7
/proc/28993/task/29012/stat : 29012 (java) S 28991 28993 27954 0 -1 4202560 1313 0 0 0 1 0 0 0 16 0 19 0 462801627 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29013] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29013/stat : 29013 (java) S 28991 28993 27954 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29014] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29014/stat : 29014 (java) S 28991 28993 27954 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29015] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29015/stat : 29015 (java) S 28991 28993 27954 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29016] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29016/stat : 29016 (java) S 28991 28993 27954 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29017] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29017/stat : 29017 (java) S 28991 28993 27954 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29018] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29018/stat : 29018 (java) S 28991 28993 27954 0 -1 4202560 767 0 0 0 0 0 0 0 16 0 19 0 462801627 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29019] ppid=28991 vsize=7662712 CPUtime=0.03 cores=5,7
/proc/28993/task/29019/stat : 29019 (java) R 28991 28993 27954 0 -1 4202560 1923 0 0 0 3 0 0 0 15 0 19 0 462801628 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 46939302659488 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=28993/tid=29020] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29020/stat : 29020 (java) S 28991 28993 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801629 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29021] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29021/stat : 29021 (java) S 28991 28993 27954 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462801629 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29023] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29023/stat : 29023 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 462801633 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699498929 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29026] ppid=28991 vsize=7662712 CPUtime=0.56 cores=5,7
/proc/28993/task/29026/stat : 29026 (java) S 28991 28993 27954 0 -1 4202560 9388 0 0 0 56 0 0 0 15 0 19 0 462801633 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29030] ppid=28991 vsize=7662712 CPUtime=0.11 cores=5,7
/proc/28993/task/29030/stat : 29030 (java) S 28991 28993 27954 0 -1 4202560 910 0 0 0 11 0 0 0 15 0 19 0 462801633 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29032] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29032/stat : 29032 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462801633 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29035] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29035/stat : 29035 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801633 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29039] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29039/stat : 29039 (java) S 28991 28993 27954 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 462801654 7846617088 23347 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 7662712

[startup+3.10078 s]
/proc/loadavg: 0.89 1.91 2.95 6/262 29201
/proc/meminfo: memFree=16284256/32951124 swapFree=67111528/67111528
[pid=28993] ppid=28991 vsize=7662712 CPUtime=3.7 cores=5,7
/proc/28993/stat : 28993 (java) S 28991 28993 27954 0 -1 4202496 27271 0 1 0 367 3 0 0 21 0 19 0 462801624 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 1915678 23764 2255 9 0 1906416 0
[pid=28993/tid=28997] ppid=28991 vsize=7662712 CPUtime=2.84 cores=5,7
/proc/28993/task/28997/stat : 28997 (java) R 28991 28993 27954 0 -1 4202560 11172 0 1 0 282 2 0 0 18 0 19 0 462801625 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 46912505703278 0 4 0 16800975 0 0 0 -1 5 0 0 3
[pid=28993/tid=29011] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29011/stat : 29011 (java) S 28991 28993 27954 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29012] ppid=28991 vsize=7662712 CPUtime=0.01 cores=5,7
/proc/28993/task/29012/stat : 29012 (java) S 28991 28993 27954 0 -1 4202560 1313 0 0 0 1 0 0 0 15 0 19 0 462801627 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29013] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29013/stat : 29013 (java) S 28991 28993 27954 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29014] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29014/stat : 29014 (java) S 28991 28993 27954 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29015] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29015/stat : 29015 (java) S 28991 28993 27954 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29016] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29016/stat : 29016 (java) S 28991 28993 27954 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29017] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29017/stat : 29017 (java) S 28991 28993 27954 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29018] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29018/stat : 29018 (java) S 28991 28993 27954 0 -1 4202560 767 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29019] ppid=28991 vsize=7662712 CPUtime=0.12 cores=5,7
/proc/28993/task/29019/stat : 29019 (java) S 28991 28993 27954 0 -1 4202560 2162 0 0 0 12 0 0 0 16 0 19 0 462801628 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 0 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29020] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29020/stat : 29020 (java) S 28991 28993 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801629 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29021] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29021/stat : 29021 (java) S 28991 28993 27954 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462801629 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29023] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29023/stat : 29023 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 462801633 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699498929 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29026] ppid=28991 vsize=7662712 CPUtime=0.58 cores=5,7
/proc/28993/task/29026/stat : 29026 (java) S 28991 28993 27954 0 -1 4202560 9389 0 0 0 58 0 0 0 15 0 19 0 462801633 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29030] ppid=28991 vsize=7662712 CPUtime=0.11 cores=5,7
/proc/28993/task/29030/stat : 29030 (java) S 28991 28993 27954 0 -1 4202560 910 0 0 0 11 0 0 0 15 0 19 0 462801633 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29032] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29032/stat : 29032 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462801633 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29035] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29035/stat : 29035 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801633 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29039] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29039/stat : 29039 (java) S 28991 28993 27954 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 462801654 7846617088 23764 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 7662712

[startup+6.30119 s]
/proc/loadavg: 1.14 1.94 2.96 6/262 29201
/proc/meminfo: memFree=16077108/32951124 swapFree=67111528/67111528
[pid=28993] ppid=28991 vsize=7662712 CPUtime=6.91 cores=5,7
/proc/28993/stat : 28993 (java) S 28991 28993 27954 0 -1 4202496 27455 0 1 0 688 3 0 0 21 0 19 0 462801624 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 1915678 23880 2255 9 0 1906416 0
[pid=28993/tid=28997] ppid=28991 vsize=7662712 CPUtime=5.9 cores=5,7
/proc/28993/task/28997/stat : 28997 (java) R 28991 28993 27954 0 -1 4202560 11177 0 1 0 588 2 0 0 23 0 19 0 462801625 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 46912505592150 0 4 0 16800975 0 0 0 -1 5 0 0 3
[pid=28993/tid=29011] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29011/stat : 29011 (java) S 28991 28993 27954 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29012] ppid=28991 vsize=7662712 CPUtime=0.01 cores=5,7
/proc/28993/task/29012/stat : 29012 (java) S 28991 28993 27954 0 -1 4202560 1313 0 0 0 1 0 0 0 15 0 19 0 462801627 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29013] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29013/stat : 29013 (java) S 28991 28993 27954 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29014] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29014/stat : 29014 (java) S 28991 28993 27954 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29015] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29015/stat : 29015 (java) S 28991 28993 27954 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29016] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29016/stat : 29016 (java) S 28991 28993 27954 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29017] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29017/stat : 29017 (java) S 28991 28993 27954 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 462801627 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29018] ppid=28991 vsize=7662712 CPUtime=0.01 cores=5,7
/proc/28993/task/29018/stat : 29018 (java) S 28991 28993 27954 0 -1 4202560 767 0 0 0 1 0 0 0 16 0 19 0 462801627 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29019] ppid=28991 vsize=7662712 CPUtime=0.25 cores=5,7
/proc/28993/task/29019/stat : 29019 (java) S 28991 28993 27954 0 -1 4202560 2340 0 0 0 25 0 0 0 16 0 19 0 462801628 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 0 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29020] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29020/stat : 29020 (java) S 28991 28993 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801629 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29021] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29021/stat : 29021 (java) S 28991 28993 27954 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462801629 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29023] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29023/stat : 29023 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 462801633 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699498929 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29026] ppid=28991 vsize=7662712 CPUtime=0.58 cores=5,7
/proc/28993/task/29026/stat : 29026 (java) S 28991 28993 27954 0 -1 4202560 9389 0 0 0 58 0 0 0 15 0 19 0 462801633 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29030] ppid=28991 vsize=7662712 CPUtime=0.11 cores=5,7
/proc/28993/task/29030/stat : 29030 (java) S 28991 28993 27954 0 -1 4202560 910 0 0 0 11 0 0 0 15 0 19 0 462801633 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29032] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29032/stat : 29032 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462801633 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29035] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29035/stat : 29035 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801633 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29039] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29039/stat : 29039 (java) S 28991 28993 27954 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 462801654 7846617088 23880 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 7662712

[startup+12.701 s]

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

[pid=28993/tid=29016] ppid=28991 vsize=7662712 CPUtime=0.32 cores=5,7
/proc/28993/task/29016/stat : 29016 (java) S 28991 28993 27954 0 -1 4202560 980 0 0 0 32 0 0 0 15 0 19 0 462801627 7846617088 49039 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29017] ppid=28991 vsize=7662712 CPUtime=0.32 cores=5,7
/proc/28993/task/29017/stat : 29017 (java) S 28991 28993 27954 0 -1 4202560 717 0 0 0 32 0 0 0 15 0 19 0 462801627 7846617088 49039 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29018] ppid=28991 vsize=7662712 CPUtime=0.34 cores=5,7
/proc/28993/task/29018/stat : 29018 (java) S 28991 28993 27954 0 -1 4202560 2724 0 0 0 34 0 0 0 15 0 19 0 462801627 7846617088 49039 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29019] ppid=28991 vsize=7662712 CPUtime=10.76 cores=5,7
/proc/28993/task/29019/stat : 29019 (java) S 28991 28993 27954 0 -1 4202560 11625 0 0 0 1074 2 0 0 15 0 19 0 462801628 7846617088 49039 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 0 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29020] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29020/stat : 29020 (java) S 28991 28993 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801629 7846617088 49039 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29021] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29021/stat : 29021 (java) S 28991 28993 27954 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462801629 7846617088 49039 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29023] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29023/stat : 29023 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 462801633 7846617088 49039 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699498929 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29026] ppid=28991 vsize=7662712 CPUtime=0.61 cores=5,7
/proc/28993/task/29026/stat : 29026 (java) S 28991 28993 27954 0 -1 4202560 9394 0 0 0 61 0 0 0 15 0 19 0 462801633 7846617088 49039 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29030] ppid=28991 vsize=7662712 CPUtime=0.11 cores=5,7
/proc/28993/task/29030/stat : 29030 (java) S 28991 28993 27954 0 -1 4202560 910 0 0 0 11 0 0 0 15 0 19 0 462801633 7846617088 49039 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29032] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29032/stat : 29032 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462801633 7846617088 49039 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29035] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29035/stat : 29035 (java) S 28991 28993 27954 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 462801633 7846617088 49039 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29039] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29039/stat : 29039 (java) S 28991 28993 27954 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 462801654 7846617088 49039 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1184.14
Current children cumulated vsize (KiB) 7662712

[startup+1242.3 s]
/proc/loadavg: 4.00 3.99 3.73 5/262 29243
/proc/meminfo: memFree=15649288/32951124 swapFree=67111528/67111528
[pid=28993] ppid=28991 vsize=7662712 CPUtime=1244.19 cores=5,7
/proc/28993/stat : 28993 (java) S 28991 28993 27954 0 -1 4202496 52957 0 1 0 124409 10 0 0 21 0 19 0 462801624 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 1915678 49042 2256 9 0 1906416 0
[pid=28993/tid=28997] ppid=28991 vsize=7662712 CPUtime=1229.38 cores=5,7
/proc/28993/task/28997/stat : 28997 (java) R 28991 28993 27954 0 -1 4202560 18381 0 1 0 122935 3 0 0 25 0 19 0 462801625 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 46912505571276 0 4 0 16800975 0 0 0 -1 5 0 0 3
[pid=28993/tid=29011] ppid=28991 vsize=7662712 CPUtime=0.23 cores=5,7
/proc/28993/task/29011/stat : 29011 (java) S 28991 28993 27954 0 -1 4202560 1633 0 0 0 23 0 0 0 15 0 19 0 462801627 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29012] ppid=28991 vsize=7662712 CPUtime=0.34 cores=5,7
/proc/28993/task/29012/stat : 29012 (java) S 28991 28993 27954 0 -1 4202560 2658 0 0 0 34 0 0 0 16 0 19 0 462801627 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29013] ppid=28991 vsize=7662712 CPUtime=0.32 cores=5,7
/proc/28993/task/29013/stat : 29013 (java) S 28991 28993 27954 0 -1 4202560 247 0 0 0 32 0 0 0 15 0 19 0 462801627 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29014] ppid=28991 vsize=7662712 CPUtime=0.36 cores=5,7
/proc/28993/task/29014/stat : 29014 (java) S 28991 28993 27954 0 -1 4202560 700 0 0 0 36 0 0 0 16 0 19 0 462801627 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29015] ppid=28991 vsize=7662712 CPUtime=0.37 cores=5,7
/proc/28993/task/29015/stat : 29015 (java) S 28991 28993 27954 0 -1 4202560 1757 0 0 0 37 0 0 0 16 0 19 0 462801627 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29016] ppid=28991 vsize=7662712 CPUtime=0.32 cores=5,7
/proc/28993/task/29016/stat : 29016 (java) S 28991 28993 27954 0 -1 4202560 980 0 0 0 32 0 0 0 15 0 19 0 462801627 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29017] ppid=28991 vsize=7662712 CPUtime=0.33 cores=5,7
/proc/28993/task/29017/stat : 29017 (java) S 28991 28993 27954 0 -1 4202560 720 0 0 0 33 0 0 0 15 0 19 0 462801627 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29018] ppid=28991 vsize=7662712 CPUtime=0.36 cores=5,7
/proc/28993/task/29018/stat : 29018 (java) S 28991 28993 27954 0 -1 4202560 2724 0 0 0 36 0 0 0 15 0 19 0 462801627 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29019] ppid=28991 vsize=7662712 CPUtime=11.36 cores=5,7
/proc/28993/task/29019/stat : 29019 (java) S 28991 28993 27954 0 -1 4202560 11629 0 0 0 1133 3 0 0 16 0 19 0 462801628 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 0 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29020] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29020/stat : 29020 (java) S 28991 28993 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801629 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29021] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29021/stat : 29021 (java) S 28991 28993 27954 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462801629 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29023] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29023/stat : 29023 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 462801633 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699498929 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29026] ppid=28991 vsize=7662712 CPUtime=0.61 cores=5,7
/proc/28993/task/29026/stat : 29026 (java) S 28991 28993 27954 0 -1 4202560 9394 0 0 0 61 0 0 0 15 0 19 0 462801633 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29030] ppid=28991 vsize=7662712 CPUtime=0.11 cores=5,7
/proc/28993/task/29030/stat : 29030 (java) S 28991 28993 27954 0 -1 4202560 910 0 0 0 11 0 0 0 15 0 19 0 462801633 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29032] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29032/stat : 29032 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462801633 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29035] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29035/stat : 29035 (java) S 28991 28993 27954 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 462801633 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29039] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29039/stat : 29039 (java) S 28991 28993 27954 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 462801654 7846617088 49042 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1244.19
Current children cumulated vsize (KiB) 7662712



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.99 3.74 5/262 29245
/proc/meminfo: memFree=15636724/32951124 swapFree=67111528/67111528
[pid=28993] ppid=28991 vsize=7662712 CPUtime=1301.95 cores=5,7
/proc/28993/stat : 28993 (java) S 28991 28993 27954 0 -1 4202496 53008 0 1 0 130185 10 0 0 21 0 19 0 462801624 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 1915678 49082 2256 9 0 1906416 0
[pid=28993/tid=28997] ppid=28991 vsize=7662712 CPUtime=1286.67 cores=5,7
/proc/28993/task/28997/stat : 28997 (java) R 28991 28993 27954 0 -1 4202560 18386 0 1 0 128664 3 0 0 25 0 19 0 462801625 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 46912505606175 0 4 0 16800975 0 0 0 -1 5 0 0 3
[pid=28993/tid=29011] ppid=28991 vsize=7662712 CPUtime=0.23 cores=5,7
/proc/28993/task/29011/stat : 29011 (java) S 28991 28993 27954 0 -1 4202560 1633 0 0 0 23 0 0 0 15 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29012] ppid=28991 vsize=7662712 CPUtime=0.37 cores=5,7
/proc/28993/task/29012/stat : 29012 (java) S 28991 28993 27954 0 -1 4202560 2658 0 0 0 37 0 0 0 16 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29013] ppid=28991 vsize=7662712 CPUtime=0.33 cores=5,7
/proc/28993/task/29013/stat : 29013 (java) S 28991 28993 27954 0 -1 4202560 248 0 0 0 33 0 0 0 15 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29014] ppid=28991 vsize=7662712 CPUtime=0.37 cores=5,7
/proc/28993/task/29014/stat : 29014 (java) S 28991 28993 27954 0 -1 4202560 700 0 0 0 37 0 0 0 15 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29015] ppid=28991 vsize=7662712 CPUtime=0.38 cores=5,7
/proc/28993/task/29015/stat : 29015 (java) S 28991 28993 27954 0 -1 4202560 1757 0 0 0 38 0 0 0 15 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29016] ppid=28991 vsize=7662712 CPUtime=0.33 cores=5,7
/proc/28993/task/29016/stat : 29016 (java) S 28991 28993 27954 0 -1 4202560 980 0 0 0 33 0 0 0 16 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29017] ppid=28991 vsize=7662712 CPUtime=0.35 cores=5,7
/proc/28993/task/29017/stat : 29017 (java) S 28991 28993 27954 0 -1 4202560 723 0 0 0 35 0 0 0 15 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29018] ppid=28991 vsize=7662712 CPUtime=0.36 cores=5,7
/proc/28993/task/29018/stat : 29018 (java) S 28991 28993 27954 0 -1 4202560 2724 0 0 0 36 0 0 0 16 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29019] ppid=28991 vsize=7662712 CPUtime=11.73 cores=5,7
/proc/28993/task/29019/stat : 29019 (java) S 28991 28993 27954 0 -1 4202560 11667 0 0 0 1170 3 0 0 15 0 19 0 462801628 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 0 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29020] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29020/stat : 29020 (java) S 28991 28993 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801629 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29021] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29021/stat : 29021 (java) S 28991 28993 27954 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462801629 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29023] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29023/stat : 29023 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 462801633 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699498929 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29026] ppid=28991 vsize=7662712 CPUtime=0.61 cores=5,7
/proc/28993/task/29026/stat : 29026 (java) S 28991 28993 27954 0 -1 4202560 9394 0 0 0 61 0 0 0 15 0 19 0 462801633 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29030] ppid=28991 vsize=7662712 CPUtime=0.11 cores=5,7
/proc/28993/task/29030/stat : 29030 (java) S 28991 28993 27954 0 -1 4202560 910 0 0 0 11 0 0 0 15 0 19 0 462801633 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29032] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29032/stat : 29032 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462801633 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29035] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29035/stat : 29035 (java) R 28991 28993 27954 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 462801633 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28993/tid=29039] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29039/stat : 29039 (java) S 28991 28993 27954 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 462801654 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 7662712

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

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

[startup+1300 s]
/proc/loadavg: 4.00 3.99 3.74 5/262 29245
/proc/meminfo: memFree=15636724/32951124 swapFree=67111528/67111528
[pid=28993] ppid=28991 vsize=7662712 CPUtime=1301.95 cores=5,7
/proc/28993/stat : 28993 (java) S 28991 28993 27954 0 -1 4202496 53008 0 1 0 130185 10 0 0 21 0 19 0 462801624 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 1915678 49082 2256 9 0 1906416 0
[pid=28993/tid=28997] ppid=28991 vsize=7662712 CPUtime=1286.67 cores=5,7
/proc/28993/task/28997/stat : 28997 (java) R 28991 28993 27954 0 -1 4202560 18386 0 1 0 128664 3 0 0 25 0 19 0 462801625 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 46912505606175 0 4 0 16800975 0 0 0 -1 5 0 0 3
[pid=28993/tid=29011] ppid=28991 vsize=7662712 CPUtime=0.23 cores=5,7
/proc/28993/task/29011/stat : 29011 (java) S 28991 28993 27954 0 -1 4202560 1633 0 0 0 23 0 0 0 15 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29012] ppid=28991 vsize=7662712 CPUtime=0.37 cores=5,7
/proc/28993/task/29012/stat : 29012 (java) S 28991 28993 27954 0 -1 4202560 2658 0 0 0 37 0 0 0 16 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29013] ppid=28991 vsize=7662712 CPUtime=0.33 cores=5,7
/proc/28993/task/29013/stat : 29013 (java) S 28991 28993 27954 0 -1 4202560 248 0 0 0 33 0 0 0 15 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29014] ppid=28991 vsize=7662712 CPUtime=0.37 cores=5,7
/proc/28993/task/29014/stat : 29014 (java) S 28991 28993 27954 0 -1 4202560 700 0 0 0 37 0 0 0 15 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29015] ppid=28991 vsize=7662712 CPUtime=0.38 cores=5,7
/proc/28993/task/29015/stat : 29015 (java) S 28991 28993 27954 0 -1 4202560 1757 0 0 0 38 0 0 0 15 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29016] ppid=28991 vsize=7662712 CPUtime=0.33 cores=5,7
/proc/28993/task/29016/stat : 29016 (java) S 28991 28993 27954 0 -1 4202560 980 0 0 0 33 0 0 0 16 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29017] ppid=28991 vsize=7662712 CPUtime=0.35 cores=5,7
/proc/28993/task/29017/stat : 29017 (java) S 28991 28993 27954 0 -1 4202560 723 0 0 0 35 0 0 0 15 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29018] ppid=28991 vsize=7662712 CPUtime=0.36 cores=5,7
/proc/28993/task/29018/stat : 29018 (java) S 28991 28993 27954 0 -1 4202560 2724 0 0 0 36 0 0 0 16 0 19 0 462801627 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29019] ppid=28991 vsize=7662712 CPUtime=11.73 cores=5,7
/proc/28993/task/29019/stat : 29019 (java) S 28991 28993 27954 0 -1 4202560 11667 0 0 0 1170 3 0 0 15 0 19 0 462801628 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 0 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29020] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29020/stat : 29020 (java) S 28991 28993 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801629 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29021] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29021/stat : 29021 (java) S 28991 28993 27954 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462801629 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29023] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29023/stat : 29023 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 462801633 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699498929 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29026] ppid=28991 vsize=7662712 CPUtime=0.61 cores=5,7
/proc/28993/task/29026/stat : 29026 (java) S 28991 28993 27954 0 -1 4202560 9394 0 0 0 61 0 0 0 15 0 19 0 462801633 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29030] ppid=28991 vsize=7662712 CPUtime=0.11 cores=5,7
/proc/28993/task/29030/stat : 29030 (java) S 28991 28993 27954 0 -1 4202560 910 0 0 0 11 0 0 0 15 0 19 0 462801633 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
[pid=28993/tid=29032] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29032/stat : 29032 (java) S 28991 28993 27954 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462801633 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491225 0 4 0 16800975 18446604460171531520 0 0 -1 7 0 0 0
[pid=28993/tid=29035] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29035/stat : 29035 (java) R 28991 28993 27954 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 462801633 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28993/tid=29039] ppid=28991 vsize=7662712 CPUtime=0 cores=5,7
/proc/28993/task/29039/stat : 29039 (java) S 28991 28993 27954 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 462801654 7846617088 49082 33554432000 1073741824 1073778376 140734785091904 18446744073709551615 212699491840 0 4 0 16800975 18446604460171531520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 7662712

Child status: 143
Real time (s): 1300.06
CPU time (s): 1302.05
CPU user time (s): 1301.93
CPU system time (s): 0.111982
CPU usage (%): 100.153
Max. virtual memory (cumulated for all children) (KiB): 7662712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.93
system time used= 0.111982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53043
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= 32539
involuntary context switches= 7129

runsolver used 2.13567 second user time and 4.98524 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-23 00:40:39
IDJOB=3249410
IDBENCH=83167
IDSOLVER=1611
FILE ID=node139/3249410-1303512039
RUNJOBID= node139-1303512039-28951
PBS_JOBID= 13134271
Free space on /tmp= 72564 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-21x14.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-3249410-1303512039/watcher-3249410-1303512039 -o /tmp/evaluation-result-3249410-1303512039/solver-3249410-1303512039 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3249410-1303512039.cnf

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

MD5SUM BENCH= f76302f2442dfc7cabc2315e61e55fea
RANDOM SEED=71644762

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16621464 kB
Buffers:       1739484 kB
Cached:       13979956 kB
SwapCached:          0 kB
Active:        9330084 kB
Inactive:      6483408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16621464 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4328 kB
Writeback:           0 kB
AnonPages:       93260 kB
Mapped:          20316 kB
Slab:           451664 kB
PageTables:       5132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  7462372 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= 72544 MiB
End job on node139 at 2011-04-23 01:02:21