Trace number 1113490

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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar v1.13+minisatMSAT (TO)33 3600.01 3615.8

General information on the benchmark

Namecsp/graphColoring/sgb/
queen/normalized-queen8-12-10.xml
MD5SUM819f724ab904e5403549587a113ad0d6
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints16
Best CPU time to get the best result obtained on this benchmark1618.64
Satisfiable
(Un)Satisfiability was proved
Number of variables96
Number of constraints1368
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1368
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.05	c 0	Sugar v1-13 + HOME/minisat
0.00/0.05	c 0	BEGIN Sat Jul 12 19:57:25 2008
0.00/0.05	c 0	PID 20376
0.00/0.05	c 0	HOST node21.alineos.net
0.00/0.05	c 0	CONVERTING HOME/instance-1113490-1215885445.xml TO HOME/temp.csp
0.00/0.05	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1113490-1215885445.xml' 'HOME/temp.csp'
0.03/0.53	c 1	1 domains, 96 variables, 1 predicates, 0 relations, 1368 constraints
0.03/0.56	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.56	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.42/0.63	c 1	Parsing HOME/temp.csp
0.42/0.79	c 1	parsed 1466 expressions
0.42/0.79	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.42/0.82	c 1	MAX CSP: 1368 constraints
0.42/0.82	c 1	Converting to clausal form CSP
0.42/0.88	c 1	converted 284 (10%) expressions
0.42/0.98	c 1	converted 568 (20%) expressions
0.85/1.02	c 1	converted 852 (30%) expressions
0.85/1.03	c 1	converted 1135 (40%) expressions
0.85/1.05	c 1	converted 1419 (50%) expressions
0.85/1.06	c 1	converted 1703 (60%) expressions
0.85/1.07	c 1	converted 1986 (70%) expressions
0.85/1.07	c 1	converted 2270 (80%) expressions
0.85/1.08	c 1	converted 2554 (90%) expressions
1.04/1.22	c 1	converted 2837 (100%) expressions
1.04/1.22	c 1	CSP : 2832 integers, 0 booleans, 4103 clauses, largest domain size 2053
1.04/1.22	c 1	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.04/1.22	c 1	Propagation in CSP
1.04/1.29	c 2	1363 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.04/1.29	c 2	CSP : 2832 integers, 0 booleans, 4103 clauses, largest domain size 1369
1.04/1.29	c 2	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.14/1.30	c 2	Simplifing CSP by introducing new Boolean variables
1.14/1.37	c 2	CSP : 2832 integers, 2736 booleans, 6839 clauses, largest domain size 1369
1.14/1.37	c 2	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.23/1.41	c 2	Encoding CSP to SAT : HOME/temp.cnf
1.23/1.43	c 2	284 (10%) CSP integer variables are encoded (768 clauses, 8320 bytes)
1.23/1.43	c 2	567 (20%) CSP integer variables are encoded (768 clauses, 8320 bytes)
1.23/1.43	c 2	850 (30%) CSP integer variables are encoded (768 clauses, 8320 bytes)
1.23/1.44	c 2	1133 (40%) CSP integer variables are encoded (768 clauses, 8320 bytes)
1.23/1.44	c 2	1416 (50%) CSP integer variables are encoded (768 clauses, 8320 bytes)
1.23/1.46	c 2	1700 (60%) CSP integer variables are encoded (14130 clauses, 193513 bytes)
1.23/1.46	c 2	1983 (70%) CSP integer variables are encoded (17460 clauses, 243463 bytes)
1.23/1.47	c 2	2266 (80%) CSP integer variables are encoded (20853 clauses, 294358 bytes)
1.23/1.47	c 2	2549 (90%) CSP integer variables are encoded (23074 clauses, 327673 bytes)
1.23/1.48	c 2	2832 (100%) CSP integer variables are encoded (26086 clauses, 372853 bytes)
1.33/1.51	c 2	684 (10%) CSP clauses are encoded (30874 clauses, 449710 bytes)
1.33/1.54	c 2	1368 (20%) CSP clauses are encoded (35662 clauses, 531886 bytes)
1.33/1.56	c 2	2052 (30%) CSP clauses are encoded (40450 clauses, 614422 bytes)
1.33/1.58	c 2	2736 (40%) CSP clauses are encoded (45238 clauses, 696958 bytes)
1.33/1.59	c 2	3420 (50%) CSP clauses are encoded (50026 clauses, 779494 bytes)
1.43/1.60	c 2	4104 (60%) CSP clauses are encoded (54814 clauses, 862030 bytes)
3.71/3.93	c 4	4788 (70%) CSP clauses are encoded (1019610 clauses, 20866065 bytes)
5.37/5.66	c 6	5472 (80%) CSP clauses are encoded (1963874 clauses, 41108065 bytes)
5.68/5.91	c 6	6156 (90%) CSP clauses are encoded (2086318 clauses, 43701073 bytes)
6.27/6.58	c 7	6839 (100%) CSP clauses are encoded (2444730 clauses, 51353457 bytes)
6.27/6.58	c 7	6839 CSP clauses encoded
6.27/6.58	c 7	Writing map file : HOME/temp.map
6.37/6.62	c 7	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.37/6.62	c 7	SAT : 31654 SAT variables, 2444730 SAT clauses, 51353457 bytes
6.37/6.62	c 7	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.37/6.67	c 7	OBJECTIVE minimize _COST
6.37/6.67	c 7	OBJECTIVE BOUND: 0 <= _COST <= 
6.37/6.67	c 7	SEARCHING: _COST <= 684
6.37/6.67	c 7	SOLVING HOME/temp.cnf
6.37/6.67	c 7	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
6.37/6.68	c 7	This is MiniSat 2.0 beta
6.37/6.68	c 7	WARNING: for repeatability, setting FPU to use double precision
6.37/6.68	c 7	============================[ Problem Statistics ]=============================
6.37/6.68	c 7	|                                                                             |
6.37/6.68	c 7	|  Number of variables:  31654                                                |
6.37/6.68	c 7	|  Number of clauses:    2444731                                              |
7.43/7.79	c 8	|  Parsing time:         0.96         s                                       |
9.12/9.46	c 10	============================[ Search Statistics ]==============================
9.12/9.46	c 10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.12/9.46	c 10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.12/9.46	c 10	===============================================================================
9.12/9.46	c 10	|         0 |   24130  1565496  4634814 |   521832        0    nan |  0.000 % |
9.32/9.62	c 10	===============================================================================
9.32/9.62	c 10	restarts              : 1
9.32/9.62	c 10	conflicts             : 11             (4 /sec)
9.32/9.62	c 10	decisions             : 1412           (1.06 % random) (507 /sec)
9.32/9.63	c 10	propagations          : 33448          (12008 /sec)
9.32/9.63	c 10	conflict literals     : 609            (0.33 % deleted)
9.32/9.63	c 10	Memory used           : 101.43 MB
9.32/9.63	c 10	CPU time              : 2.78558 s
9.32/9.63	c 10	
9.32/9.64	c 10	SATISFIABLE
9.32/9.65	c 10	FOUND: _COST <= 684
9.32/9.65	s SATISFIABLE
9.32/9.65	c 10	DECODING HOME/temp.out WITH HOME/temp.map
9.32/9.65	c 10	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
9.41/9.86	c 10	Decoding HOME/temp.out
9.60/10.03	c 10	OBJECTIVE _COST 576
9.60/10.03	o 576
9.60/10.04	v 6 1 2 3 2 4 3 5 7 8 6 0 8 4 7 9 6 5 6 0 1 2 3 4 1 2 3 0 0 8 1 2 4 4 5 6 6 0 1 2 3 3 4 4 5 6 7 8 4 5 6 7 9 9 8 9 9 9 9 9 9 9 9 8 9 9 9 8 9 9 9 9 9 9 9 7 9 9 9 9 9 7 9 9 9 9 9 8 9 9 9 9 9 7 9 9
9.60/10.04	c 10	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
9.60/10.05	c 10	OBJECTIVE BOUND: 0 <= _COST <= 576
9.60/10.05	c 10	SEARCHING: _COST <= 288
9.60/10.05	c 10	SOLVING HOME/temp.cnf
9.60/10.05	c 10	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
9.60/10.05	c 10	This is MiniSat 2.0 beta
9.60/10.05	c 10	WARNING: for repeatability, setting FPU to use double precision
9.60/10.05	c 10	============================[ Problem Statistics ]=============================
9.60/10.05	c 10	|                                                                             |
9.60/10.05	c 10	|  Number of variables:  31654                                                |
9.60/10.05	c 10	|  Number of clauses:    2444731                                              |
10.89/11.30	c 12	|  Parsing time:         1.07         s                                       |
13.28/13.77	c 14	============================[ Search Statistics ]==============================
13.28/13.77	c 14	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.28/13.77	c 14	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
13.28/13.77	c 14	===============================================================================
13.28/13.77	c 14	|         0 |   19216   881640  2597592 |   293880        0    nan |  0.000 % |
13.48/13.92	c 14	|       100 |   19216   881640  2597592 |   323268      100    101 | 39.294 % |
13.68/14.17	c 14	|       251 |   19216   881640  2597592 |   355594      251     73 | 39.294 % |
13.78/14.21	c 14	===============================================================================
13.78/14.21	c 14	restarts              : 3
13.78/14.21	c 14	conflicts             : 363            (92 /sec)
13.78/14.21	c 14	decisions             : 2310           (0.87 % random) (583 /sec)
13.78/14.21	c 14	propagations          : 371987         (93879 /sec)
13.78/14.21	c 14	conflict literals     : 21583          (6.62 % deleted)
13.78/14.21	c 14	Memory used           : 103.42 MB
13.78/14.21	c 14	CPU time              : 3.9624 s
13.78/14.21	c 14	
13.78/14.22	c 14	SATISFIABLE
13.78/14.24	c 15	FOUND: _COST <= 288
13.78/14.24	c 15	DECODING HOME/temp.out WITH HOME/temp.map
13.78/14.24	c 15	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
13.83/14.32	c 15	Decoding HOME/temp.out
13.83/14.48	c 15	OBJECTIVE _COST 288
13.83/14.48	o 288
13.83/14.49	v 3 8 9 8 9 7 9 7 8 7 8 9 5 5 1 6 8 7 9 2 8 4 6 7 6 4 3 2 8 9 6 8 9 7 5 8 8 7 9 0 5 3 6 1 3 2 4 7 7 5 8 9 9 3 2 5 4 6 8 9 1 1 2 4 0 5 8 6 7 8 8 3 4 8 8 7 3 6 1 0 0 9 1 5 2 0 9 0 9 1 7 4 6 5 3 2
13.83/14.49	c 15	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
13.83/14.50	c 15	OBJECTIVE BOUND: 0 <= _COST <= 288
13.83/14.50	c 15	SEARCHING: _COST <= 144
13.83/14.50	c 15	SOLVING HOME/temp.cnf
13.83/14.50	c 15	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
13.83/14.52	c 15	This is MiniSat 2.0 beta
13.83/14.52	c 15	WARNING: for repeatability, setting FPU to use double precision
13.83/14.52	c 15	============================[ Problem Statistics ]=============================
13.83/14.52	c 15	|                                                                             |
13.83/14.52	c 15	|  Number of variables:  31654                                                |
13.83/14.52	c 15	|  Number of clauses:    2444731                                              |
15.24/15.73	c 16	|  Parsing time:         1.05         s                                       |
17.53/18.06	c 18	============================[ Search Statistics ]==============================
17.53/18.06	c 18	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
17.53/18.06	c 18	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
17.53/18.06	c 18	===============================================================================
17.53/18.06	c 18	|         0 |   16867   505854  1477137 |   168618        0    nan |  0.000 % |
17.73/18.20	c 18	|       100 |   16867   505854  1477137 |   185479      100    131 | 46.714 % |
17.93/18.42	c 19	|       250 |   16867   505854  1477137 |   204027      250     79 | 46.714 % |
17.93/18.47	c 19	|       476 |   16867   505854  1477137 |   224430      476     72 | 46.714 % |
18.03/18.53	c 19	|       813 |   16867   505854  1477137 |   246873      813     57 | 46.714 % |
18.13/18.68	c 19	|      1319 |   16867   505854  1477137 |   271560     1319     43 | 46.714 % |
18.33/18.82	c 19	|      2078 |   16867   505854  1477137 |   298717     2078     53 | 46.714 % |
18.93/19.43	c 20	|      3217 |   16867   505854  1477137 |   328588     3217     54 | 46.714 % |
20.81/21.40	c 22	|      4926 |   16867   505854  1477137 |   361447     4926     63 | 46.714 % |
20.91/21.48	c 22	===============================================================================
20.91/21.48	c 22	restarts              : 9
20.91/21.48	c 22	conflicts             : 5454           (806 /sec)
20.91/21.48	c 22	decisions             : 10401          (0.57 % random) (1537 /sec)
20.91/21.48	c 22	propagations          : 4802959        (709660 /sec)
20.91/21.48	c 22	conflict literals     : 337175         (14.24 % deleted)
20.91/21.48	c 22	Memory used           : 103.36 MB
20.91/21.48	c 22	CPU time              : 6.76797 s
20.91/21.48	c 22	
20.91/21.49	c 22	SATISFIABLE
21.02/21.51	c 22	FOUND: _COST <= 144
21.02/21.51	c 22	DECODING HOME/temp.out WITH HOME/temp.map
21.02/21.51	c 22	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
21.03/21.61	c 22	Decoding HOME/temp.out
21.38/21.96	c 22	OBJECTIVE _COST 144
21.38/21.96	o 144
21.38/21.97	v 3 8 8 6 9 1 8 7 5 9 5 1 4 7 4 8 3 6 6 9 8 5 9 2 1 3 1 5 7 2 4 6 2 7 0 8 7 7 2 9 8 0 1 1 4 6 2 3 8 9 3 9 4 7 4 8 9 5 1 6 6 5 9 2 1 8 7 3 0 2 0 4 2 4 3 3 0 5 5 6 4 4 8 7 5 6 2 7 8 4 9 9 3 1 9 0
21.38/21.97	c 22	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
21.45/22.02	c 22	OBJECTIVE BOUND: 0 <= _COST <= 144
21.45/22.02	c 22	SEARCHING: _COST <= 72
21.45/22.02	c 22	SOLVING HOME/temp.cnf
21.45/22.02	c 22	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
21.45/22.02	c 22	This is MiniSat 2.0 beta
21.45/22.02	c 22	WARNING: for repeatability, setting FPU to use double precision
21.45/22.02	c 22	============================[ Problem Statistics ]=============================
21.45/22.02	c 22	|                                                                             |
21.45/22.03	c 22	|  Number of variables:  31654                                                |
21.45/22.03	c 22	|  Number of clauses:    2444731                                              |
22.64/23.26	c 24	|  Parsing time:         1.10         s                                       |
24.82/25.47	c 26	============================[ Search Statistics ]==============================
24.82/25.47	c 26	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.82/25.47	c 26	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
24.82/25.47	c 26	===============================================================================
24.82/25.47	c 26	|         0 |   15080   288367   829965 |    96122        0    nan |  0.000 % |
24.92/25.59	c 26	|       100 |   15080   288367   829965 |   105734      100     22 | 52.360 % |
25.03/25.62	c 26	|       251 |   15080   288367   829965 |   116308      251     25 | 52.360 % |
25.03/25.66	c 26	|       476 |   15080   288367   829965 |   127938      476     23 | 52.360 % |
25.03/25.69	c 26	|       813 |   15080   288367   829965 |   140732      813     22 | 52.360 % |
25.12/25.73	c 26	|      1319 |   15080   288367   829965 |   154805     1319     28 | 52.360 % |
25.12/25.79	c 26	|      2078 |   15080   288367   829965 |   170286     2078     27 | 52.360 % |
25.22/25.88	c 26	|      3218 |   15080   288367   829965 |   187315     3218     31 | 52.360 % |
25.32/25.97	c 26	|      4927 |   15080   288367   829965 |   206046     4927     27 | 52.360 % |
25.52/26.18	c 26	|      7492 |   15080   288367   829965 |   226651     7492     32 | 52.360 % |
27.01/27.65	c 28	|     11336 |   15080   288367   829965 |   249316    11336     79 | 52.360 % |
32.20/32.82	c 33	|     17102 |   15080   288367   829965 |   274248    17102     83 | 52.360 % |
35.60/36.30	c 37	|     25751 |   15080   288367   829965 |   301673    25751     97 | 52.360 % |
47.45/48.18	c 48	|     38725 |   15080   288367   829965 |   331840    38725     98 | 52.360 % |
54.81/55.54	c 56	|     58186 |   15080   288367   829965 |   365024    58186     94 | 52.360 % |
75.92/76.75	c 77	|     87381 |   15080   288367   829965 |   401526    87381     90 | 52.360 % |
88.27/89.15	c 89	|    131172 |   15080   288367   829965 |   441679   131172     76 | 52.360 % |
172.02/173.23	c 173	|    196857 |   15080   288367   829965 |   485847   196857     75 | 52.360 % |
270.30/271.96	c 272	|    295383 |   15080   288367   829965 |   534432   295383     88 | 52.360 % |
574.84/577.71	c 578	|    443172 |   15080   288367   829965 |   587875   443172     94 | 52.360 % |
625.34/628.42	c 629	===============================================================================
625.34/628.43	c 629	restarts              : 20
625.34/628.43	c 629	conflicts             : 464507         (770 /sec)
625.34/628.43	c 629	decisions             : 536986         (0.44 % random) (890 /sec)
625.34/628.43	c 629	propagations          : 251830080      (417381 /sec)
625.34/628.43	c 629	conflict literals     : 45618589       (17.18 % deleted)
625.34/628.43	c 629	Memory used           : 246.45 MB
625.34/628.43	c 629	CPU time              : 603.358 s
625.34/628.43	c 629	
625.34/628.44	c 629	SATISFIABLE
625.34/628.48	c 629	FOUND: _COST <= 72
625.34/628.48	c 629	DECODING HOME/temp.out WITH HOME/temp.map
625.34/628.48	c 629	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
625.43/628.73	c 629	Decoding HOME/temp.out
625.43/628.89	c 629	OBJECTIVE _COST 72
625.43/628.89	o 72
625.43/628.90	v 6 9 5 2 2 8 4 0 7 3 3 1 4 1 3 4 0 7 3 8 6 2 5 9 2 0 8 7 9 5 6 1 7 9 9 4 9 6 1 3 1 2 7 5 4 0 8 0 7 4 9 9 5 4 9 3 8 7 6 5 3 2 6 0 2 0 8 7 9 4 1 3 5 7 1 5 4 9 2 6 3 8 0 6 8 3 0 6 7 3 5 9 2 6 4 1
625.43/628.90	c 629	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
625.43/628.95	c 629	OBJECTIVE BOUND: 0 <= _COST <= 72
625.43/628.95	c 629	SEARCHING: _COST <= 36
625.43/628.95	c 629	SOLVING HOME/temp.cnf
625.43/628.95	c 629	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
625.68/629.05	c 629	This is MiniSat 2.0 beta
625.68/629.05	c 629	WARNING: for repeatability, setting FPU to use double precision
625.68/629.05	c 629	============================[ Problem Statistics ]=============================
625.68/629.05	c 629	|                                                                             |
625.68/629.05	c 629	|  Number of variables:  31654                                                |
625.68/629.05	c 629	|  Number of clauses:    2444731                                              |
626.92/630.32	c 631	|  Parsing time:         1.11         s                                       |
629.01/632.44	c 633	============================[ Search Statistics ]==============================
629.01/632.45	c 633	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
629.01/632.45	c 633	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
629.01/632.45	c 633	===============================================================================
629.01/632.45	c 633	|         0 |   13538   170753   481713 |    56917        0    nan |  0.000 % |
629.11/632.56	c 633	|       100 |   13538   170753   481713 |    62609      100     22 | 57.231 % |
629.11/632.58	c 633	|       253 |   13538   170753   481713 |    68870      253     23 | 57.231 % |
629.20/632.60	c 633	|       480 |   13538   170753   481713 |    75757      480     21 | 57.231 % |
629.20/632.62	c 633	|       818 |   13538   170753   481713 |    83333      818     20 | 57.231 % |
629.20/632.65	c 633	|      1325 |   13538   170753   481713 |    91666     1325     23 | 57.231 % |
629.20/632.69	c 633	|      2084 |   13538   170753   481713 |   100833     2084     21 | 57.231 % |
629.30/632.75	c 633	|      3223 |   13538   170753   481713 |   110916     3223     22 | 57.231 % |
629.40/632.84	c 633	|      4931 |   13538   170753   481713 |   122008     4931     22 | 57.231 % |
629.50/632.99	c 633	|      7494 |   13538   170753   481713 |   134208     7494     22 | 57.231 % |
629.90/633.36	c 634	|     11339 |   13538   170753   481713 |   147629    11339     25 | 57.231 % |
630.70/634.15	c 634	|     17106 |   13538   170753   481713 |   162392    17106     38 | 57.231 % |
633.39/636.89	c 637	|     25755 |   13538   170753   481713 |   178632    25755     39 | 57.231 % |
636.57/640.08	c 640	|     38729 |   13538   170753   481713 |   196495    38729     49 | 57.231 % |
640.65/644.16	c 644	|     58191 |   13538   170753   481713 |   216144    58191     50 | 57.231 % |
644.73/648.21	c 648	|     87383 |   13538   170753   481713 |   237759    87383     47 | 57.231 % |
658.68/662.27	c 663	|    131172 |   13538   170753   481713 |   261535   131172     46 | 57.231 % |
718.03/721.82	c 722	|    196857 |   13538   170753   481713 |   287688   196857     49 | 57.231 % |
793.32/797.46	c 798	|    295384 |   13538   170753   481713 |   316457   295384     60 | 57.231 % |
966.60/971.43	c 972	|    443173 |   13538   170753   481713 |   348103   118264     45 | 57.231 % |
1200.34/1206.14	c 1206	|    664858 |   13538   170753   481713 |   382913   339949     92 | 57.231 % |
1754.44/1762.56	c 1763	|    997383 |   13538   170753   481713 |   421204   282033     64 | 57.231 % |
2910.16/2923.04	c 2923	|   1496171 |   13538   170753   481713 |   463325   351155    194 | 57.231 % |
3600.01/3615.72	c ERROR INTERRUPTED
3600.01/3615.77	c 3616	CPU 623.93 (0.05 0.02 623.88 1.74)
3600.01/3615.77	c 3616	END Sat Jul 12 20:57:41 2008

Verifier Data (download as text)

OK	33	1335
33 unsatisfied constraints, 1335 satisfied constraints

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1113490-1215885445/watcher-1113490-1215885445 -o /tmp/evaluation-result-1113490-1215885445/solver-1113490-1215885445 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1113490-1215885445.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.17 3.24 3.24 4/80 20376
/proc/meminfo: memFree=1832488/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=4708 CPUtime=0
/proc/20376/stat : 20376 (sugar) R 20374 20376 19543 0 -1 4194304 58 0 0 0 0 0 0 0 21 0 1 0 45246627 4820992 43 996147200 4194304 4206940 548682068592 18446744073709551615 221233870217 0 0 4096 0 0 0 0 17 1 0 0
/proc/20376/statm: 1177 43 33 3 0 8 0

[startup+0.075354 s]
/proc/loadavg: 3.17 3.24 3.24 4/80 20376
/proc/meminfo: memFree=1832488/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13600 CPUtime=0.03
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 45246627 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20376/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.102357 s]
/proc/loadavg: 3.17 3.24 3.24 4/80 20376
/proc/meminfo: memFree=1832488/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13600 CPUtime=0.03
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 45246627 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20376/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301391 s]
/proc/loadavg: 3.17 3.24 3.24 4/80 20376
/proc/meminfo: memFree=1832488/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13600 CPUtime=0.03
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 45246627 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20376/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.702471 s]
/proc/loadavg: 3.17 3.24 3.24 4/80 20376
/proc/meminfo: memFree=1832488/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13600 CPUtime=0.42
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 974 4907 0 1 3 0 35 4 16 0 1 0 45246627 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20376/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13600

[startup+1.50162 s]
/proc/loadavg: 3.17 3.24 3.24 4/91 20398
/proc/meminfo: memFree=1819144/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13600 CPUtime=0.42
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 974 4907 0 1 3 0 35 4 15 0 1 0 45246627 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20376/statm: 3400 797 370 3 0 500 0
[pid=20389] ppid=20376 vsize=5356 CPUtime=0
/proc/20389/stat : 20389 (sh) S 20376 20376 19543 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 45246683 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20389/statm: 1339 233 193 169 0 50 0
[pid=20390] ppid=20389 vsize=869496 CPUtime=0.91
/proc/20390/stat : 20390 (java) S 20389 20376 19543 0 -1 0 7191 0 1 0 86 5 0 0 18 0 9 0 45246683 890363904 6404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20390/statm: 217374 6404 2563 9 0 211921 0
[pid=20390/tid=20391] ppid=20389 vsize=869496 CPUtime=0.51
/proc/20390/task/20391/stat : 20391 (java) R 20389 20376 19543 0 -1 64 2729 0 1 0 50 1 0 0 18 0 9 0 45246684 890363904 6404 996147200 134512640 134550740 4294955936 18446744073709551615 4125925773 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20392] ppid=20389 vsize=869496 CPUtime=0.13
/proc/20390/task/20392/stat : 20392 (java) S 20389 20376 19543 0 -1 64 2293 0 0 0 12 1 0 0 16 0 9 0 45246685 890363904 6404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20393] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20393/stat : 20393 (java) S 20389 20376 19543 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 45246685 890363904 6404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20394] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20394/stat : 20394 (java) S 20389 20376 19543 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 45246685 890363904 6404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20395] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20395/stat : 20395 (java) S 20389 20376 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45246687 890363904 6404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20396] ppid=20389 vsize=869496 CPUtime=0.23
/proc/20390/task/20396/stat : 20396 (java) S 20389 20376 19543 0 -1 64 1476 0 0 0 23 0 0 0 16 0 9 0 45246687 890363904 6404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20397] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20397/stat : 20397 (java) S 20389 20376 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45246687 890363904 6404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20398] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20398/stat : 20398 (java) S 20389 20376 19543 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45246687 890363904 6404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 888452

[startup+3.10292 s]
/proc/loadavg: 3.17 3.24 3.24 4/91 20398
/proc/meminfo: memFree=1811656/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13600 CPUtime=0.42
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 974 4907 0 1 3 0 35 4 15 0 1 0 45246627 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20376/statm: 3400 797 370 3 0 500 0
[pid=20389] ppid=20376 vsize=5356 CPUtime=0
/proc/20389/stat : 20389 (sh) S 20376 20376 19543 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 45246683 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20389/statm: 1339 233 193 169 0 50 0
[pid=20390] ppid=20389 vsize=869496 CPUtime=2.5
/proc/20390/stat : 20390 (java) S 20389 20376 19543 0 -1 0 7568 0 1 0 235 15 0 0 18 0 9 0 45246683 890363904 6416 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20390/statm: 217374 6416 2563 9 0 211921 0
[pid=20390/tid=20391] ppid=20389 vsize=869496 CPUtime=1.98
/proc/20390/task/20391/stat : 20391 (java) R 20389 20376 19543 0 -1 64 3096 0 1 0 189 9 0 0 25 0 9 0 45246684 890363904 6416 996147200 134512640 134550740 4294955936 18446744073709551615 102064761 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20392] ppid=20389 vsize=869496 CPUtime=0.23
/proc/20390/task/20392/stat : 20392 (java) S 20389 20376 19543 0 -1 64 2293 0 0 0 20 3 0 0 16 0 9 0 45246685 890363904 6416 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20393] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20393/stat : 20393 (java) S 20389 20376 19543 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 45246685 890363904 6416 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20394] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20394/stat : 20394 (java) S 20389 20376 19543 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 45246685 890363904 6416 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20395] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20395/stat : 20395 (java) S 20389 20376 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45246687 890363904 6416 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20396] ppid=20389 vsize=869496 CPUtime=0.25
/proc/20390/task/20396/stat : 20396 (java) S 20389 20376 19543 0 -1 64 1486 0 0 0 25 0 0 0 16 0 9 0 45246687 890363904 6416 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20397] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20397/stat : 20397 (java) S 20389 20376 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45246687 890363904 6416 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20398] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20398/stat : 20398 (java) S 20389 20376 19543 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45246687 890363904 6416 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 888452

[startup+6.30254 s]
/proc/loadavg: 3.08 3.22 3.23 5/91 20398
/proc/meminfo: memFree=1775368/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13600 CPUtime=0.42
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 974 4907 0 1 3 0 35 4 15 0 1 0 45246627 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20376/statm: 3400 797 370 3 0 500 0
[pid=20389] ppid=20376 vsize=5356 CPUtime=0
/proc/20389/stat : 20389 (sh) S 20376 20376 19543 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 45246683 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20389/statm: 1339 233 193 169 0 50 0
[pid=20390] ppid=20389 vsize=869496 CPUtime=5.65
/proc/20390/stat : 20390 (java) S 20389 20376 19543 0 -1 0 8561 0 1 0 523 42 0 0 18 0 9 0 45246683 890363904 6422 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20390/statm: 217374 6422 2564 9 0 211921 0
[pid=20390/tid=20391] ppid=20389 vsize=869496 CPUtime=4.91
/proc/20390/task/20391/stat : 20391 (java) R 20389 20376 19543 0 -1 64 4083 0 1 0 459 32 0 0 25 0 9 0 45246684 890363904 6422 996147200 134512640 134550740 4294955936 18446744073709551615 4126970533 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20392] ppid=20389 vsize=869496 CPUtime=0.45
/proc/20390/task/20392/stat : 20392 (java) S 20389 20376 19543 0 -1 64 2293 0 0 0 37 8 0 0 16 0 9 0 45246685 890363904 6422 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20393] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20393/stat : 20393 (java) S 20389 20376 19543 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 45246685 890363904 6422 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20394] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20394/stat : 20394 (java) S 20389 20376 19543 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 45246685 890363904 6422 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20395] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20395/stat : 20395 (java) S 20389 20376 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 45246687 890363904 6422 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20396] ppid=20389 vsize=869496 CPUtime=0.26
/proc/20390/task/20396/stat : 20396 (java) S 20389 20376 19543 0 -1 64 1492 0 0 0 26 0 0 0 16 0 9 0 45246687 890363904 6422 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20397] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20397/stat : 20397 (java) S 20389 20376 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 45246687 890363904 6422 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20390/tid=20398] ppid=20389 vsize=869496 CPUtime=0
/proc/20390/task/20398/stat : 20398 (java) S 20389 20376 19543 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45246687 890363904 6422 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 888452

[startup+12.7015 s]
/proc/loadavg: 3.07 3.22 3.23 3/83 20412
/proc/meminfo: memFree=1678856/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13732 CPUtime=9.66
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 1213 42780 0 3 4 1 889 72 16 0 1 0 45246627 14061568 842 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20376/statm: 3433 842 374 3 0 533 0
[pid=20411] ppid=20376 vsize=5356 CPUtime=0
/proc/20411/stat : 20411 (sh) S 20376 20376 19543 0 -1 4194304 277 0 0 0 0 0 0 0 15 0 1 0 45247632 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20411/statm: 1339 232 193 169 0 50 0
[pid=20412] ppid=20411 vsize=105896 CPUtime=2.62
/proc/20412/stat : 20412 (minisat) R 20411 20376 19543 0 -1 4194304 25159 0 0 0 245 17 0 0 25 0 1 0 45247632 108437504 25145 996147200 134512640 135127466 4294956256 18446744073709551615 134523542 0 0 4096 3 0 0 0 17 1 0 0
/proc/20412/statm: 26474 25145 71 150 0 26321 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 124984

[startup+25.502 s]
/proc/loadavg: 2.98 3.19 3.22 4/83 20436
/proc/meminfo: memFree=1680520/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13732 CPUtime=21.48
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 1444 101592 0 5 4 1 2028 115 16 0 1 0 45246627 14061568 842 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20376/statm: 3433 842 374 3 0 533 0
[pid=20435] ppid=20376 vsize=5356 CPUtime=0
/proc/20435/stat : 20435 (sh) S 20376 20376 19543 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45248829 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20435/statm: 1339 232 193 169 0 50 0
[pid=20436] ppid=20435 vsize=104440 CPUtime=3.44
/proc/20436/stat : 20436 (minisat) R 20435 20376 19543 0 -1 4194304 24814 0 0 0 331 13 0 0 25 0 1 0 45248829 106946560 24800 996147200 134512640 135127466 4294956256 18446744073709551615 134697421 0 0 4096 3 0 0 0 17 0 0 0
/proc/20436/statm: 26110 24800 72 150 0 25957 0
Current children cumulated CPU time (s) 24.92
Current children cumulated vsize (KiB) 123528

[startup+51.1018 s]
/proc/loadavg: 2.92 3.16 3.21 4/83 20436
/proc/meminfo: memFree=1680584/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13732 CPUtime=21.49
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 1444 101592 0 5 5 1 2028 115 16 0 1 0 45246627 14061568 842 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20376/statm: 3433 842 374 3 0 533 0
[pid=20435] ppid=20376 vsize=5356 CPUtime=0
/proc/20435/stat : 20435 (sh) S 20376 20376 19543 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45248829 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20435/statm: 1339 232 193 169 0 50 0
[pid=20436] ppid=20435 vsize=104440 CPUtime=28.94
/proc/20436/stat : 20436 (minisat) R 20435 20376 19543 0 -1 4194304 24818 0 0 0 2880 14 0 0 25 0 1 0 45248829 106946560 24804 996147200 134512640 135127466 4294956256 18446744073709551615 134530944 0 0 4096 3 0 0 0 17 0 0 0
/proc/20436/statm: 26110 24804 76 150 0 25957 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 123528

[startup+102.306 s]
/proc/loadavg: 2.69 3.05 3.17 3/83 20436
/proc/meminfo: memFree=1680008/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13732 CPUtime=21.49
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 1444 101592 0 5 5 1 2028 115 16 0 1 0 45246627 14061568 842 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20376/statm: 3433 842 374 3 0 533 0

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

/proc/meminfo: memFree=1494520/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13732 CPUtime=625.68
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 1559 167485 0 6 5 2 62387 174 16 0 1 0 45246627 14061568 842 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20376/statm: 3433 842 374 3 0 533 0
[pid=20453] ppid=20376 vsize=5356 CPUtime=0
/proc/20453/stat : 20453 (sh) S 20376 20376 19543 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45309522 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20453/statm: 1339 232 193 169 0 50 0
[pid=20454] ppid=20453 vsize=382088 CPUtime=2522.8
/proc/20454/stat : 20454 (minisat) R 20453 20376 19543 0 -1 4194304 93954 0 0 0 252179 101 0 0 25 0 1 0 45309531 391258112 93940 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/20454/statm: 95522 93940 76 150 0 95369 0
Current children cumulated CPU time (s) 3148.48
Current children cumulated vsize (KiB) 401176

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/84 20497
/proc/meminfo: memFree=1488248/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13732 CPUtime=625.68
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 1559 167485 0 6 5 2 62387 174 16 0 1 0 45246627 14061568 842 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20376/statm: 3433 842 374 3 0 533 0
[pid=20453] ppid=20376 vsize=5356 CPUtime=0
/proc/20453/stat : 20453 (sh) S 20376 20376 19543 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45309522 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20453/statm: 1339 232 193 169 0 50 0
[pid=20454] ppid=20453 vsize=389068 CPUtime=2582.55
/proc/20454/stat : 20454 (minisat) R 20453 20376 19543 0 -1 4194304 95479 0 0 0 258152 103 0 0 25 0 1 0 45309531 398405632 95465 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/20454/statm: 97267 95465 76 150 0 97114 0
Current children cumulated CPU time (s) 3208.23
Current children cumulated vsize (KiB) 408156

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/84 20497
/proc/meminfo: memFree=1485816/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13732 CPUtime=625.68
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 1559 167485 0 6 5 2 62387 174 16 0 1 0 45246627 14061568 842 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20376/statm: 3433 842 374 3 0 533 0
[pid=20453] ppid=20376 vsize=5356 CPUtime=0
/proc/20453/stat : 20453 (sh) S 20376 20376 19543 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45309522 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20453/statm: 1339 232 193 169 0 50 0
[pid=20454] ppid=20453 vsize=391424 CPUtime=2642.3
/proc/20454/stat : 20454 (minisat) R 20453 20376 19543 0 -1 4194304 96053 0 0 0 264126 104 0 0 25 0 1 0 45309531 400818176 96039 996147200 134512640 135127466 4294956256 18446744073709551615 134530849 0 0 4096 3 0 0 0 17 0 0 0
/proc/20454/statm: 97856 96039 76 150 0 97703 0
Current children cumulated CPU time (s) 3267.98
Current children cumulated vsize (KiB) 410512

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/84 20497
/proc/meminfo: memFree=1485752/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13732 CPUtime=625.68
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 1559 167485 0 6 5 2 62387 174 16 0 1 0 45246627 14061568 842 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20376/statm: 3433 842 374 3 0 533 0
[pid=20453] ppid=20376 vsize=5356 CPUtime=0
/proc/20453/stat : 20453 (sh) S 20376 20376 19543 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45309522 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20453/statm: 1339 232 193 169 0 50 0
[pid=20454] ppid=20453 vsize=391424 CPUtime=2702.05
/proc/20454/stat : 20454 (minisat) R 20453 20376 19543 0 -1 4194304 96054 0 0 0 270101 104 0 0 25 0 1 0 45309531 400818176 96040 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/20454/statm: 97856 96040 76 150 0 97703 0
Current children cumulated CPU time (s) 3327.73
Current children cumulated vsize (KiB) 410512

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.06 3/84 20497
/proc/meminfo: memFree=1485688/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13732 CPUtime=625.68
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 1559 167485 0 6 5 2 62387 174 16 0 1 0 45246627 14061568 842 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20376/statm: 3433 842 374 3 0 533 0
[pid=20453] ppid=20376 vsize=5356 CPUtime=0
/proc/20453/stat : 20453 (sh) S 20376 20376 19543 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45309522 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20453/statm: 1339 232 193 169 0 50 0
[pid=20454] ppid=20453 vsize=391424 CPUtime=2761.81
/proc/20454/stat : 20454 (minisat) R 20453 20376 19543 0 -1 4194304 96054 0 0 0 276077 104 0 0 25 0 1 0 45309531 400818176 96040 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/20454/statm: 97856 96040 76 150 0 97703 0
Current children cumulated CPU time (s) 3387.49
Current children cumulated vsize (KiB) 410512

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/84 20497
/proc/meminfo: memFree=1485688/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13732 CPUtime=625.68
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 1559 167485 0 6 5 2 62387 174 16 0 1 0 45246627 14061568 842 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20376/statm: 3433 842 374 3 0 533 0
[pid=20453] ppid=20376 vsize=5356 CPUtime=0
/proc/20453/stat : 20453 (sh) S 20376 20376 19543 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45309522 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20453/statm: 1339 232 193 169 0 50 0
[pid=20454] ppid=20453 vsize=391424 CPUtime=2821.56
/proc/20454/stat : 20454 (minisat) R 20453 20376 19543 0 -1 4194304 96055 0 0 0 282052 104 0 0 25 0 1 0 45309531 400818176 96041 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/20454/statm: 97856 96041 76 150 0 97703 0
Current children cumulated CPU time (s) 3447.24
Current children cumulated vsize (KiB) 410512

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/84 20497
/proc/meminfo: memFree=1485624/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13732 CPUtime=625.68
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 1559 167485 0 6 5 2 62387 174 16 0 1 0 45246627 14061568 842 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20376/statm: 3433 842 374 3 0 533 0
[pid=20453] ppid=20376 vsize=5356 CPUtime=0
/proc/20453/stat : 20453 (sh) S 20376 20376 19543 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45309522 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20453/statm: 1339 232 193 169 0 50 0
[pid=20454] ppid=20453 vsize=391424 CPUtime=2881.31
/proc/20454/stat : 20454 (minisat) R 20453 20376 19543 0 -1 4194304 96055 0 0 0 288027 104 0 0 25 0 1 0 45309531 400818176 96041 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/20454/statm: 97856 96041 76 150 0 97703 0
Current children cumulated CPU time (s) 3506.99
Current children cumulated vsize (KiB) 410512

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/84 20497
/proc/meminfo: memFree=1485368/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13732 CPUtime=625.68
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 1559 167485 0 6 5 2 62387 174 16 0 1 0 45246627 14061568 842 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20376/statm: 3433 842 374 3 0 533 0
[pid=20453] ppid=20376 vsize=5356 CPUtime=0
/proc/20453/stat : 20453 (sh) S 20376 20376 19543 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45309522 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20453/statm: 1339 232 193 169 0 50 0
[pid=20454] ppid=20453 vsize=391424 CPUtime=2941.07
/proc/20454/stat : 20454 (minisat) R 20453 20376 19543 0 -1 4194304 96059 0 0 0 294003 104 0 0 25 0 1 0 45309531 400818176 96045 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/20454/statm: 97856 96045 76 150 0 97703 0
Current children cumulated CPU time (s) 3566.75
Current children cumulated vsize (KiB) 410512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.71 s]
/proc/loadavg: 2.00 2.00 2.04 3/84 20497
/proc/meminfo: memFree=1485368/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13732 CPUtime=625.68
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 1559 167485 0 6 5 2 62387 174 16 0 1 0 45246627 14061568 842 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20376/statm: 3433 842 374 3 0 533 0
[pid=20453] ppid=20376 vsize=5356 CPUtime=0
/proc/20453/stat : 20453 (sh) S 20376 20376 19543 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45309522 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20453/statm: 1339 232 193 169 0 50 0
[pid=20454] ppid=20453 vsize=391424 CPUtime=2974.33
/proc/20454/stat : 20454 (minisat) R 20453 20376 19543 0 -1 4194304 96059 0 0 0 297329 104 0 0 25 0 1 0 45309531 400818176 96045 996147200 134512640 135127466 4294956256 18446744073709551615 134527996 0 0 4096 3 0 0 0 17 0 0 0
/proc/20454/statm: 97856 96045 76 150 0 97703 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 410512

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

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

[startup+3615.71 s]
/proc/loadavg: 2.00 2.00 2.04 3/84 20497
/proc/meminfo: memFree=1485368/2055920 swapFree=4180308/4192956
[pid=20376] ppid=20374 vsize=13732 CPUtime=625.68
/proc/20376/stat : 20376 (sugar) S 20374 20376 19543 0 -1 4194304 1559 167485 0 6 5 2 62387 174 16 0 1 0 45246627 14061568 842 996147200 4194304 4206940 548682068592 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20376/statm: 3433 842 374 3 0 533 0
[pid=20453] ppid=20376 vsize=5356 CPUtime=0
/proc/20453/stat : 20453 (sh) S 20376 20376 19543 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45309522 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20453/statm: 1339 232 193 169 0 50 0
[pid=20454] ppid=20453 vsize=391424 CPUtime=2974.33
/proc/20454/stat : 20454 (minisat) R 20453 20376 19543 0 -1 4194304 96059 0 0 0 297329 104 0 0 25 0 1 0 45309531 400818176 96045 996147200 134512640 135127466 4294956256 18446744073709551615 134527996 0 0 4096 3 0 0 0 17 0 0 0
/proc/20454/statm: 97856 96045 76 150 0 97703 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 410512

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20376 and gives
#  childrusage.ru_utime.tv_sec=623
#  childrusage.ru_utime.tv_usec=934147
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=791727
# CPU time returned by wait4() is 625.726
# while last known CPU time is 3600.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3615.8
CPU time (s): 3600.01
CPU user time (s): 3597.21
CPU system time (s): 2.8
CPU usage (%): 99.5634
Max. virtual memory (cumulated for all children) (KiB): 888452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 623.934
system time used= 1.79173
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169386
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14216
involuntary context switches= 23889

runsolver used 3.24451 second user time and 9.95149 second system time

The end

Launcher Data (download as text)

Begin job on node21 at 2008-07-12 19:57:25
IDJOB=1113490
IDBENCH=61591
IDSOLVER=368
FILE ID=node21/1113490-1215885445
PBS_JOBID= 7903539
Free space on /tmp= 66480 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/graphColoring/sgb/queen/normalized-queen8-12-10.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1113490-1215885445/watcher-1113490-1215885445 -o /tmp/evaluation-result-1113490-1215885445/solver-1113490-1215885445 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1113490-1215885445.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 819f724ab904e5403549587a113ad0d6
RANDOM SEED=1274088915

node21.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.257
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.257
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1832968 kB
Buffers:         11596 kB
Cached:          48436 kB
SwapCached:       6744 kB
Active:         157848 kB
Inactive:        21324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1832968 kB
SwapTotal:     4192956 kB
SwapFree:      4180308 kB
Dirty:            1648 kB
Writeback:           0 kB
Mapped:         135056 kB
Slab:            28716 kB
Committed_AS:   998036 kB
PageTables:       2120 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66480 MiB
End job on node21 at 2008-07-12 20:57:43