Trace number 1110753

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+minisat-incOPTIMUM1 1983.58 2003.24

General information on the benchmark

Namecsp/lexHerald/
normalized-crossword-m1-lex-15-04.xml
MD5SUM9d1b2e6b4288428f6850493c899fc596
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark1983.58
Satisfiable
(Un)Satisfiability was proved
Number of variables193
Number of constraints698
Maximum constraint arity30
Maximum domain size26
Number of constraints which are defined in extension76
Number of constraints which are defined in intension622
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.07	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08	c 0	BEGIN Sat Jul 12 05:39:37 2008
0.00/0.08	c 0	PID 14225
0.06/0.08	c 0	HOST node2.alineos.net
0.06/0.08	c 0	CONVERTING HOME/instance-1110753-1215833977.xml TO HOME/temp.csp
0.06/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1110753-1215833977.xml' 'HOME/temp.csp'
0.06/0.78	c 1	1 domains, 193 variables, 8 predicates, 6 relations, 698 constraints
0.06/0.82	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.82	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.75/0.90	c 1	Parsing HOME/temp.csp
1.01/1.17	c 1	parsed 906 expressions
1.01/1.17	c 1	Heap : 3 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.01/1.19	c 1	MAX CSP: 698 constraints
1.01/1.19	c 1	Converting to clausal form CSP
1.10/1.21	c 1	converted 161 (10%) expressions
1.91/2.02	c 2	converted 322 (20%) expressions
2.10/2.24	c 2	converted 483 (30%) expressions
2.29/2.46	c 2	converted 643 (40%) expressions
2.39/2.51	c 2	converted 804 (50%) expressions
2.59/2.73	c 3	converted 965 (60%) expressions
2.69/2.87	c 3	converted 1125 (70%) expressions
2.69/2.88	c 3	converted 1286 (80%) expressions
2.79/2.91	c 3	converted 1447 (90%) expressions
2.89/3.00	c 3	converted 1607 (100%) expressions
2.89/3.00	c 3	CSP : 1589 integers, 0 booleans, 2093 clauses, largest domain size 1048
2.89/3.01	c 3	Heap : 45 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.89/3.01	c 3	Propagation in CSP
2.89/3.08	c 3	692 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.89/3.08	c 3	CSP : 1589 integers, 0 booleans, 2093 clauses, largest domain size 699
2.89/3.08	c 3	Heap : 42 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.89/3.08	c 3	Simplifing CSP by introducing new Boolean variables
2.99/3.10	c 3	CSP : 1589 integers, 5444 booleans, 7537 clauses, largest domain size 699
2.99/3.10	c 3	Heap : 44 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.18/3.36	c 3	Encoding CSP to SAT : HOME/temp.cnf
3.18/3.39	c 3	159 (10%) CSP integer variables are encoded (3816 clauses, 47545 bytes)
3.18/3.39	c 3	318 (20%) CSP integer variables are encoded (4632 clauses, 58153 bytes)
3.18/3.39	c 3	477 (30%) CSP integer variables are encoded (4632 clauses, 58153 bytes)
3.18/3.39	c 3	636 (40%) CSP integer variables are encoded (4632 clauses, 58153 bytes)
3.18/3.39	c 3	795 (50%) CSP integer variables are encoded (4632 clauses, 58153 bytes)
3.18/3.39	c 3	954 (60%) CSP integer variables are encoded (5578 clauses, 70451 bytes)
3.18/3.39	c 3	1113 (70%) CSP integer variables are encoded (6681 clauses, 84790 bytes)
3.28/3.40	c 3	1272 (80%) CSP integer variables are encoded (13657 clauses, 185083 bytes)
3.28/3.41	c 3	1431 (90%) CSP integer variables are encoded (14735 clauses, 201253 bytes)
3.28/3.41	c 3	1589 (100%) CSP integer variables are encoded (16179 clauses, 222913 bytes)
26.73/27.11	c 27	754 (10%) CSP clauses are encoded (484450 clauses, 21853516 bytes)
34.76/35.21	c 35	1508 (20%) CSP clauses are encoded (592366 clauses, 27242449 bytes)
45.36/45.94	c 46	2262 (30%) CSP clauses are encoded (684568 clauses, 32013601 bytes)
50.69/51.31	c 51	3015 (40%) CSP clauses are encoded (739420 clauses, 34884735 bytes)
56.44/57.11	c 57	3769 (50%) CSP clauses are encoded (794598 clauses, 37760735 bytes)
56.44/57.14	c 57	4523 (60%) CSP clauses are encoded (812502 clauses, 38114533 bytes)
56.44/57.19	c 57	5276 (70%) CSP clauses are encoded (830355 clauses, 38467381 bytes)
56.73/57.46	c 57	6030 (80%) CSP clauses are encoded (854251 clauses, 39349091 bytes)
57.13/57.84	c 58	6784 (90%) CSP clauses are encoded (1024821 clauses, 42671663 bytes)
57.92/58.69	c 59	7537 (100%) CSP clauses are encoded (1489162 clauses, 52374540 bytes)
57.92/58.69	c 59	7537 CSP clauses encoded
57.92/58.69	c 59	Writing map file : HOME/temp.map
58.02/58.71	c 59	Heap : 45 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
58.02/58.71	c 59	SAT : 23212 SAT variables, 1489162 SAT clauses, 52374540 bytes
58.02/58.71	c 59	Heap : 45 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
58.02/58.77	c 59	OBJECTIVE minimize _COST
58.02/58.77	c 59	SOLVING HOME/temp.cnf
58.02/58.77	c 59	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
58.02/58.77	c 59	This is MiniSat 2.0 beta incremental
58.02/58.77	c 59	WARNING: for repeatability, setting FPU to use double precision
58.02/58.77	c 59	============================[ Problem Statistics ]=============================
58.02/58.77	c 59	|                                                                             |
58.02/58.77	c 59	|  Number of variables:  23212                                                |
58.02/58.77	c 59	|  Number of clauses:    1489162                                              |
59.08/59.89	c 60	|  Parsing time:         0.99         s                                       |
59.18/59.96	c 60	OK
59.18/59.96	c 60	OBJECTIVE BOUND: 0 <= _COST <= 
59.18/59.96	c 60	SEARCHING: _COST <= 349
59.18/59.96	c 60	============================[ Search Statistics ]==============================
59.18/59.96	c 60	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
59.18/59.96	c 60	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
59.18/59.96	c 60	===============================================================================
59.18/59.96	c 60	|         0 |   23212  1489162  8880203 |   496387        0    nan |  0.000 % |
59.38/60.12	c 60	|       100 |   23212  1489162  8880203 |   546026      100     10 |  0.001 % |
59.48/60.21	c 60	|       250 |   23212  1489162  8880203 |   600628      250      8 |  0.001 % |
59.57/60.30	c 60	|       476 |   23212  1489162  8880203 |   660691      476      8 |  0.001 % |
59.68/60.49	c 60	|       814 |   23212  1489162  8880203 |   726760      814      8 |  0.001 % |
59.87/60.61	c 61	|      1320 |   23212  1489162  8880203 |   799436     1320      8 |  0.001 % |
60.07/60.81	c 61	|      2079 |   23212  1489162  8880203 |   879380     2079      9 |  0.001 % |
60.17/60.90	c 61	===============================================================================
60.17/60.91	c 61	restarts              : 7
60.17/60.91	c 61	conflicts             : 2192          (1106 /sec)
60.17/60.91	c 61	decisions             : 42102         (0.77 % random) (21235 /sec)
60.17/60.91	c 61	propagations          : 341355         (172167 /sec)
60.17/60.91	c 61	conflict literals     : 18868          (17.87 % deleted)
60.17/60.91	c 61	Memory used           : 82.29 MB
60.17/60.91	c 61	CPU time              : 1.9827 s
60.17/60.91	c 61	
60.17/60.91	c 61	SATISFIABLE
60.17/60.92	c 61	OK
60.17/60.92	c 61	FOUND: _COST <= 349
60.17/60.92	s SATISFIABLE
60.17/60.92	c 61	DECODING HOME/temp.out WITH HOME/temp.map
60.17/60.92	c 61	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
60.19/61.01	c 61	Decoding HOME/temp.out
60.19/61.14	c 61	OBJECTIVE _COST 218
60.19/61.14	o 218
60.19/61.15	v 25 25 24 25 25 25 23 25 25 25 24 24 24 24 23 25 25 25 25 25 25 25 25 24 25 24 24 23 24 23 23 25 25 24 25 25 24 25 24 22 24 20 25 25 25 25 25 25 25 25 25 24 25 25 24 25 25 25 5 20 25 25 24 25 25 25 25 25 25 18 24 24 25 25 25 25 25 25 25 24 25 25 10 25 25 25 24 23 25 25 25 25 25 25 24 25 25 25 25 25 24 25 25 25 25 25 23 25 25 24 24 25 23 23 25 24 23 25 25 23 22 25 22 0 11 19 25 22 21 22 25 25 25 21 24 24 25 21 25 22 25 24 25 25 25 25 25 25 25 23 24 24 25 25 25 25 24 24 25 24 25 25 21 25 25 25 25 25 25 25 24 24 25 21 24 25 25 25 25 21 25 25 25 25 25 25 25 24 25 23 25 23 23
60.19/61.15	c 61	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
60.19/61.19	c 61	OK
60.19/61.19	c 61	OBJECTIVE BOUND: 0 <= _COST <= 218
60.19/61.19	c 61	SEARCHING: _COST <= 109
60.19/61.19	c 61	============================[ Search Statistics ]==============================
60.19/61.19	c 61	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
60.19/61.19	c 61	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
60.19/61.19	c 61	===============================================================================
60.19/61.19	c 61	|      2192 |   23212  1489162  8880203 |   496387     2192      9 |  0.001 % |
60.43/61.24	c 61	|      2293 |   23212  1489162  8880203 |   546026     2293      9 | 21.244 % |
60.43/61.29	c 61	|      2443 |   23212  1489162  8880203 |   600628     2443      9 | 21.244 % |
60.53/61.39	c 61	|      2668 |   23212  1489162  8880203 |   660691     2668      9 | 21.244 % |
60.62/61.49	c 61	|      3005 |   23212  1489162  8880203 |   726760     3005      9 | 21.244 % |
60.72/61.57	c 61	===============================================================================
60.72/61.57	c 61	restarts              : 12
60.72/61.57	c 61	conflicts             : 3151          (1332 /sec)
60.72/61.57	c 61	decisions             : 51094         (0.72 % random) (21598 /sec)
60.72/61.57	c 61	propagations          : 496595         (209920 /sec)
60.72/61.57	c 61	conflict literals     : 26869          (18.56 % deleted)
60.72/61.57	c 61	Memory used           : 82.95 MB
60.72/61.57	c 61	CPU time              : 2.36564 s
60.72/61.58	c 61	
60.72/61.58	c 61	SATISFIABLE
60.72/61.59	c 62	OK
60.72/61.59	c 62	FOUND: _COST <= 109
60.72/61.59	c 62	DECODING HOME/temp.out WITH HOME/temp.map
60.72/61.59	c 62	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
60.80/61.66	c 62	Decoding HOME/temp.out
60.80/62.00	c 62	OBJECTIVE _COST 109
60.80/62.01	o 109
60.80/62.01	v 24 25 23 25 25 25 24 25 25 25 22 14 18 25 25 25 5 25 25 25 24 25 25 23 7 22 22 25 24 25 20 25 25 23 25 25 25 25 25 8 11 0 25 25 25 25 25 24 25 25 25 25 25 24 24 25 25 25 25 25 25 25 25 25 25 25 25 25 25 23 23 24 25 21 25 25 25 25 25 25 25 25 20 25 25 25 8 25 0 25 25 25 25 25 24 22 25 25 25 25 22 13 25 8 25 25 25 24 25 24 25 25 22 25 24 20 17 25 24 23 24 24 25 25 24 25 25 11 24 4 25 25 25 23 25 25 25 4 25 21 25 25 25 25 25 25 25 25 25 24 25 24 25 25 25 25 24 23 25 25 25 25 17 25 25 25 25 25 25 25 24 25 25 23 24 25 0 25 22 25 25 25 25 25 25 24 25 23 25 22 25 22 21
60.80/62.02	c 62	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
60.80/62.06	c 62	OK
60.80/62.06	c 62	OBJECTIVE BOUND: 0 <= _COST <= 109
60.80/62.06	c 62	SEARCHING: _COST <= 54
61.23/62.25	c 62	============================[ Search Statistics ]==============================
61.23/62.25	c 62	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
61.23/62.25	c 62	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
61.23/62.25	c 62	===============================================================================
61.23/62.25	c 62	|      3151 |   18281  1489162  8880203 |   496387     3151      9 | 21.244 % |
61.23/62.27	c 62	|      3251 |   18281  1489162  8880203 |   546026     3251      9 | 27.258 % |
61.29/62.34	c 62	|      3401 |   18281  1489162  8880203 |   600628     3401      8 | 27.258 % |
61.39/62.46	c 62	|      3627 |   18281  1489162  8880203 |   660691     3627      9 | 27.258 % |
61.49/62.53	c 62	|      3964 |   18281  1489162  8880203 |   726760     3964      9 | 27.258 % |
61.59/62.67	c 63	|      4470 |   18281  1489162  8880203 |   799436     4470      8 | 27.258 % |
61.78/62.85	c 63	|      5230 |   18281  1489162  8880203 |   879380     5230      8 | 27.258 % |
61.98/63.03	c 63	|      6371 |   18281  1489162  8880203 |   967318     6371      9 | 27.258 % |
62.38/63.40	c 63	|      8079 |   18281  1489162  8880203 |  1064050     8079      9 | 27.258 % |
62.77/63.85	c 64	|     10641 |   18281  1489162  8880203 |  1170455    10641      9 | 27.258 % |
63.57/64.64	c 65	|     14485 |   18217  1489162  8880203 |  1287500    14485      9 | 27.258 % |
64.36/65.48	c 65	|     20251 |   18217  1489162  8880203 |  1416250    20251     10 | 27.258 % |
66.54/67.60	c 68	===============================================================================
66.54/67.60	c 68	restarts              : 24
66.54/67.60	c 68	conflicts             : 27669         (3605 /sec)
66.54/67.60	c 68	decisions             : 116330        (0.77 % random) (15155 /sec)
66.54/67.60	c 68	propagations          : 1893185        (246642 /sec)
66.54/67.60	c 68	conflict literals     : 305164         (19.76 % deleted)
66.54/67.60	c 68	Memory used           : 88.38 MB
66.54/67.60	c 68	CPU time              : 7.67583 s
66.54/67.60	c 68	
66.54/67.60	c 68	SATISFIABLE
66.54/67.61	c 68	OK
66.54/67.61	c 68	FOUND: _COST <= 54
66.54/67.61	c 68	DECODING HOME/temp.out WITH HOME/temp.map
66.54/67.61	c 68	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
66.54/67.69	c 68	Decoding HOME/temp.out
66.55/67.82	c 68	OBJECTIVE _COST 54
66.55/67.83	o 54
66.55/67.83	v 19 19 11 19 19 25 25 25 25 25 25 25 25 7 4 0 15 20 22 25 16 25 25 23 19 25 25 20 23 25 24 23 23 22 25 25 25 25 24 25 24 25 18 19 24 11 4 24 25 25 25 25 25 24 25 4 3 19 25 25 25 24 25 25 25 25 14 17 0 19 4 25 25 21 24 14 24 25 25 22 20 18 13 25 25 22 8 25 25 25 24 25 14 19 18 18 25 24 25 25 24 13 25 14 25 24 23 11 17 18 25 25 23 23 24 25 13 25 25 25 21 20 25 25 25 22 25 11 24 4 4 12 15 19 24 23 25 25 5 25 11 15 4 17 4 25 25 25 20 25 25 20 24 24 25 4 19 25 25 25 25 25 24 18 25 14 25 25 13 21 17 19 25 24 25 25 23 18 25 17 25 25 23 25 24 24 4 25 17 0 17 20 13
66.55/67.84	c 68	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
66.55/67.88	c 68	OK
66.55/67.88	c 68	OBJECTIVE BOUND: 0 <= _COST <= 54
66.55/67.88	c 68	SEARCHING: _COST <= 27
66.55/67.88	c 68	============================[ Search Statistics ]==============================
66.55/67.88	c 68	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
66.55/67.88	c 68	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
66.55/67.88	c 68	===============================================================================
66.55/67.88	c 68	|     27669 |   16885  1489162  8880203 |   496387    27669     11 | 27.258 % |
66.80/67.95	c 68	|     27769 |   16882  1489162  8880203 |   546026    27769     11 | 31.579 % |
66.90/68.01	c 68	|     27919 |   16882  1489162  8880203 |   600628    27919     11 | 31.579 % |
66.90/68.07	c 68	|     28144 |   16882  1489162  8880203 |   660691    28144     11 | 31.579 % |
67.10/68.26	c 68	|     28481 |   16882  1489162  8880203 |   726760    28481     11 | 31.579 % |
67.19/68.38	c 68	|     28987 |   16882  1489162  8880203 |   799436    28987     11 | 31.579 % |
67.29/68.45	c 68	|     29746 |   16882  1489162  8880203 |   879380    29746     11 | 31.579 % |
67.69/68.85	c 69	|     30886 |   16882  1489162  8880203 |   967318    30886     11 | 31.579 % |
68.28/69.40	c 69	|     32594 |   16781  1489162  8880203 |  1064050    32594     11 | 31.579 % |
68.68/69.82	c 70	|     35156 |   16781  1489162  8880203 |  1170455    35156     11 | 31.579 % |
69.27/70.49	c 70	|     39001 |   16781  1489162  8880203 |  1287500    39001     11 | 31.579 % |
70.96/72.11	c 72	|     44769 |   16781  1489162  8880203 |  1416250    44769     11 | 31.579 % |
72.25/73.48	c 73	|     53420 |   16781  1489162  8880203 |  1557876    53420     11 | 31.579 % |
75.22/76.45	c 76	|     66397 |   16774  1489162  8880203 |  1713663    66397     11 | 31.579 % |
84.04/85.38	c 85	|     85859 |   16773  1489162  8880203 |  1885030    85859     13 | 31.579 % |
90.78/92.19	c 92	|    115051 |   16364  1489162  8880203 |  2073533   115051     13 | 31.579 % |
113.26/114.89	c 115	|    158840 |   16162  1489162  8880203 |  2280886   158840     15 | 31.579 % |
122.08/123.70	c 124	===============================================================================
122.08/123.70	c 124	restarts              : 41
122.08/123.70	c 124	conflicts             : 181586        (2886 /sec)
122.08/123.70	c 124	decisions             : 370161        (0.94 % random) (5882 /sec)
122.08/123.70	c 124	propagations          : 10854468       (172486 /sec)
122.08/123.70	c 124	conflict literals     : 2721883        (22.79 % deleted)
122.08/123.70	c 124	Memory used           : 103.43 MB
122.08/123.70	c 124	CPU time              : 62.9294 s
122.08/123.70	c 124	
122.08/123.70	c 124	SATISFIABLE
122.08/123.71	c 124	OK
122.08/123.71	c 124	FOUND: _COST <= 27
122.08/123.71	c 124	DECODING HOME/temp.out WITH HOME/temp.map
122.08/123.71	c 124	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
122.08/123.79	c 124	Decoding HOME/temp.out
122.09/124.13	c 124	OBJECTIVE _COST 27
122.09/124.13	o 27
122.09/124.14	v 1 2 17 18 14 13 24 25 25 4 24 20 18 20 14 18 17 24 20 20 25 25 24 6 14 19 4 17 25 21 20 25 19 12 25 25 25 24 14 18 0 23 6 24 15 18 24 1 24 22 0 24 19 7 24 4 6 6 25 25 25 24 22 1 8 3 24 0 19 4 18 24 24 25 17 10 20 17 8 18 17 14 22 25 25 11 0 0 17 25 22 25 24 25 19 24 25 25 24 25 8 8 25 20 25 8 25 17 0 7 25 14 14 4 17 14 18 24 13 24 8 13 8 11 4 20 12 4 17 4 0 25 20 17 4 21 4 23 18 19 20 8 18 14 25 23 3 22 24 4 17 22 24 25 25 1 20 13 25 25 24 20 25 20 25 25 20 15 17 14 0 17 25 25 20 18 24 10 24 24 12 14 25 25 17 24 25 25 7 0 8 21 24
122.09/124.14	c 124	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
122.09/124.19	c 124	OK
122.09/124.19	c 124	OBJECTIVE BOUND: 0 <= _COST <= 27
122.09/124.19	c 124	SEARCHING: _COST <= 13
122.09/124.19	c 124	============================[ Search Statistics ]==============================
122.09/124.19	c 124	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
122.09/124.19	c 124	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
122.09/124.19	c 124	===============================================================================
122.09/124.19	c 124	|    181586 |   15882   945516  7270611 |   315172   181584     15 | 31.579 % |
122.52/124.27	c 124	|    181687 |   15882   945516  7270611 |   346689   181685     15 | 35.098 % |
122.62/124.39	c 124	|    181837 |   15882   945516  7270611 |   381358   181835     15 | 35.098 % |
122.91/124.60	c 125	|    182063 |   15882   945516  7270611 |   419493   182061     15 | 35.098 % |
122.91/124.68	c 125	|    182400 |   15882   945516  7270611 |   461443   182398     15 | 35.098 % |
123.31/125.05	c 125	|    182906 |   15882   945516  7270611 |   507587   182904     15 | 35.098 % |
123.51/125.26	c 125	|    183665 |   15882   945516  7270611 |   558346   183663     15 | 35.098 % |
123.71/125.47	c 125	|    184804 |   15882   945516  7270611 |   614181   184802     15 | 35.098 % |
124.20/125.92	c 126	|    186513 |   15882   945516  7270611 |   675599   186511     15 | 35.098 % |
125.69/127.49	c 127	|    189077 |   15882   945516  7270611 |   743159   189075     15 | 35.098 % |
127.27/129.09	c 129	|    192921 |   15882   945516  7270611 |   817474   192919     15 | 35.098 % |
129.75/131.51	c 131	|    198688 |   15882   945516  7270611 |   899222   198686     15 | 35.098 % |
132.91/134.73	c 135	|    207338 |   15874   945516  7270611 |   989144   207336     15 | 35.098 % |
136.38/138.27	c 138	|    220312 |   15874   945516  7270611 |  1088059   220310     15 | 35.098 % |
145.89/147.88	c 148	|    239773 |   15555   945516  7270611 |  1196865   239771     15 | 35.098 % |
164.51/166.67	c 167	|    268965 |   15555   945516  7270611 |  1316551   268963     16 | 35.098 % |
188.08/190.47	c 190	|    312754 |   15483   945516  7270611 |  1448206   312752     16 | 35.098 % |
238.50/241.39	c 241	|    378439 |   15454   945516  7270611 |  1593027   378437     17 | 35.098 % |
289.22/292.59	c 293	|    476965 |   15065   901194  7140069 |  1752330   476944     18 | 35.098 % |
386.98/391.27	c 391	===============================================================================
386.98/391.27	c 391	restarts              : 60
386.98/391.27	c 391	conflicts             : 572270        (1748 /sec)
386.98/391.27	c 391	decisions             : 911990        (1.06 % random) (2785 /sec)
386.98/391.27	c 391	propagations          : 35458432       (108299 /sec)
386.98/391.27	c 391	conflict literals     : 11004631       (22.86 % deleted)
386.98/391.27	c 391	Memory used           : 138.21 MB
386.98/391.27	c 391	CPU time              : 327.412 s
386.98/391.27	c 391	
386.98/391.27	c 391	SATISFIABLE
386.98/391.28	c 391	OK
386.98/391.28	c 391	FOUND: _COST <= 13
386.98/391.28	c 391	DECODING HOME/temp.out WITH HOME/temp.map
386.98/391.28	c 391	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
387.06/391.37	c 391	Decoding HOME/temp.out
387.45/391.72	c 392	OBJECTIVE _COST 13
387.45/391.72	o 13
387.45/391.72	v 20 7 5 18 19 4 22 2 0 15 20 19 14 18 14 11 8 19 0 17 24 0 20 18 19 8 13 15 11 4 13 8 15 14 19 4 13 19 8 0 17 24 18 19 0 5 5 18 8 13 0 8 7 4 23 14 11 3 7 14 11 18 19 20 18 2 4 17 17 14 11 19 8 1 4 17 11 8 11 0 14 8 11 5 8 6 0 17 14 19 17 8 2 7 11 14 17 14 0 2 4 19 8 2 17 4 13 19 0 11 17 20 19 17 4 2 10 0 13 19 14 13 22 8 19 19 24 18 7 24 17 20 25 14 23 24 25 21 17 14 3 10 16 17 25 24 5 20 25 25 24 18 15 20 8 10 25 13 25 13 22 25 25 14 25 14 21 20 11 2 0 13 25 25 17 25 25 17 25 17 15 18 24 2 7 14 25 25 24 25 13 24 4
387.45/391.73	c 392	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
387.45/391.77	c 392	OK
387.45/391.77	c 392	OBJECTIVE BOUND: 0 <= _COST <= 13
387.45/391.77	c 392	SEARCHING: _COST <= 6
387.45/391.77	c 392	============================[ Search Statistics ]==============================
387.45/391.77	c 392	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
387.45/391.77	c 392	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
387.45/391.77	c 392	===============================================================================
387.45/391.77	c 392	|    572270 |   15065   901194  7140069 |   300398   572249     19 | 35.098 % |
389.90/394.20	c 394	|    572370 |   15065   901194  7140069 |   330437    24932     26 | 38.450 % |
390.00/394.38	c 394	|    572522 |   15065   901194  7140069 |   363481    25084     26 | 38.450 % |
390.20/394.58	c 395	|    572749 |   15065   901194  7140069 |   399829    25311     26 | 38.450 % |
390.40/394.72	c 395	|    573086 |   15065   901194  7140069 |   439812    25648     26 | 38.450 % |
390.60/394.97	c 395	|    573592 |   15065   901194  7140069 |   483793    26154     25 | 38.450 % |
390.79/395.18	c 395	|    574351 |   15065   901194  7140069 |   532173    26913     25 | 38.450 % |
390.99/395.36	c 395	|    575490 |   15065   901194  7140069 |   585390    28052     24 | 38.450 % |
391.19/395.52	c 395	|    577199 |   15065   901194  7140069 |   643929    29761     24 | 38.450 % |
391.49/395.85	c 396	|    579761 |   15065   901194  7140069 |   708322    32323     23 | 38.450 % |
392.28/396.69	c 397	|    583606 |   15065   901194  7140069 |   779155    36168     22 | 38.450 % |
393.96/398.36	c 398	|    589374 |   15065   901194  7140069 |   857070    41936     20 | 38.450 % |
399.31/403.71	c 404	|    598023 |   14287   876215  7067452 |   942777    50585     21 | 38.450 % |
403.18/407.61	c 408	|    610998 |   14287   876215  7067452 |  1037055    63560     20 | 38.450 % |
410.21/414.78	c 415	|    630459 |   14287   876215  7067452 |  1140760    83021     19 | 38.450 % |
426.36/431.06	c 431	|    659654 |   14287   876215  7067452 |  1254836   112216     20 | 38.450 % |
445.27/450.12	c 450	|    703443 |   14287   876215  7067452 |  1380320   156005     19 | 38.450 % |
491.34/496.63	c 497	|    769127 |   14287   876215  7067452 |  1518352   221689     20 | 38.450 % |
562.47/568.46	c 568	|    867654 |   14287   876215  7067452 |  1670188   320216     21 | 38.450 % |
690.05/697.25	c 697	|   1015443 |   14287   876215  7067452 |  1837206   468005     22 | 38.450 % |
838.73/847.34	c 847	===============================================================================
838.73/847.34	c 847	restarts              : 80
838.73/847.34	c 847	conflicts             : 1186490       (1524 /sec)
838.73/847.34	c 847	decisions             : 1769136       (1.15 % random) (2272 /sec)
838.73/847.34	c 847	propagations          : 79268138       (101806 /sec)
838.73/847.34	c 847	conflict literals     : 25034546       (23.03 % deleted)
838.73/847.34	c 847	Memory used           : 157.35 MB
838.73/847.34	c 847	CPU time              : 778.622 s
838.73/847.34	c 847	
838.73/847.34	c 847	SATISFIABLE
838.73/847.35	c 847	OK
838.73/847.35	c 847	FOUND: _COST <= 6
838.73/847.35	c 847	DECODING HOME/temp.out WITH HOME/temp.map
838.73/847.35	c 847	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
838.77/847.44	c 847	Decoding HOME/temp.out
838.77/847.77	c 848	OBJECTIVE _COST 6
838.77/847.77	o 6
838.77/847.78	v 18 2 12 20 19 0 7 18 22 0 19 7 4 0 17 8 0 13 8 18 12 2 14 13 17 0 3 13 14 19 22 8 19 7 18 19 0 13 3 8 13 6 18 22 4 0 19 24 8 4 11 3 14 3 4 24 0 22 15 4 3 17 14 0 11 15 11 24 12 0 13 14 20 19 2 25 17 4 0 11 0 17 19 18 20 25 20 10 8 20 21 20 24 21 19 18 25 16 19 18 4 19 25 25 1 4 11 14 8 19 14 20 17 11 14 18 19 0 11 14 13 6 10 17 0 20 19 17 0 24 18 13 4 4 17 19 8 12 18 2 8 4 17 13 18 19 6 14 20 3 0 4 11 4 2 19 17 14 15 7 14 17 4 18 8 18 15 20 4 17 19 14 11 4 13 8 13 8 18 19 19 4 4 19 4 17 0 12 4 18 0 2 12
838.77/847.78	c 848	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
839.45/848.10	c 848	OK
839.45/848.10	c 848	OBJECTIVE BOUND: 0 <= _COST <= 6
839.45/848.10	c 848	SEARCHING: _COST <= 3
839.45/848.10	c 848	============================[ Search Statistics ]==============================
839.45/848.10	c 848	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
839.45/848.10	c 848	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
839.45/848.10	c 848	===============================================================================
839.45/848.10	c 848	|   1186490 |   13508   862322  7028103 |   287440   639052     23 | 38.450 % |
842.03/850.79	c 851	|   1186590 |   13508   862322  7028103 |   316184    25138     22 | 41.806 % |
842.33/851.00	c 851	|   1186740 |   13508   862322  7028103 |   347803    25288     22 | 41.806 % |
842.33/851.04	c 851	|   1186965 |   13508   862322  7028103 |   382583    25513     22 | 41.806 % |
842.43/851.13	c 851	|   1187302 |   13508   862322  7028103 |   420841    25850     22 | 41.806 % |
842.63/851.39	c 851	|   1187809 |   13508   862322  7028103 |   462926    26357     22 | 41.806 % |
843.01/851.71	c 852	|   1188570 |   13508   862322  7028103 |   509218    27118     22 | 41.806 % |
843.11/851.89	c 852	|   1189710 |   13508   862322  7028103 |   560140    28258     21 | 41.806 % |
843.41/852.11	c 852	|   1191418 |   13508   862322  7028103 |   616154    29966     20 | 41.806 % |
844.10/852.83	c 853	|   1193980 |   13508   862322  7028103 |   677770    32528     20 | 41.806 % |
844.99/853.70	c 854	|   1197824 |   13508   862322  7028103 |   745547    36372     19 | 41.806 % |
845.59/854.39	c 854	|   1203591 |   13508   862322  7028103 |   820101    42139     18 | 41.806 % |
848.07/856.86	c 857	|   1212240 |   13508   862322  7028103 |   902111    50788     17 | 41.806 % |
850.44/859.29	c 859	|   1225216 |   13508   862322  7028103 |   992323    63764     16 | 41.806 % |
857.48/866.39	c 866	|   1244678 |   13508   862322  7028103 |  1091555    83226     16 | 41.806 % |
873.23/882.29	c 882	|   1273870 |   13508   862322  7028103 |  1200710   112418     17 | 41.806 % |
901.06/910.33	c 910	|   1317659 |   13508   862322  7028103 |  1320782   156207     19 | 41.806 % |
938.11/947.77	c 948	|   1383343 |   13508   862322  7028103 |  1452860   221891     20 | 41.806 % |
992.49/1002.65	c 1003	|   1481869 |   13508   862322  7028103 |  1598146   320417     20 | 41.806 % |
1132.26/1143.72	c 1144	|   1629658 |   13508   862322  7028103 |  1757960   468206     22 | 41.806 % |
1359.57/1373.26	c 1373	===============================================================================
1359.57/1373.26	c 1373	restarts              : 100
1359.57/1373.26	c 1373	conflicts             : 1837724       (1415 /sec)
1359.57/1373.26	c 1373	decisions             : 2683983       (1.23 % random) (2066 /sec)
1359.57/1373.26	c 1373	propagations          : 127217555      (97932 /sec)
1359.57/1373.26	c 1373	conflict literals     : 40463496       (22.61 % deleted)
1359.57/1373.26	c 1373	Memory used           : 165.80 MB
1359.57/1373.26	c 1373	CPU time              : 1299.04 s
1359.57/1373.26	c 1373	
1359.57/1373.26	c 1373	SATISFIABLE
1359.57/1373.27	c 1373	OK
1359.57/1373.27	c 1373	FOUND: _COST <= 3
1359.57/1373.27	c 1373	DECODING HOME/temp.out WITH HOME/temp.map
1359.57/1373.27	c 1373	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1359.65/1373.36	c 1373	Decoding HOME/temp.out
1359.65/1373.69	c 1374	OBJECTIVE _COST 3
1359.65/1373.69	o 3
1359.66/1373.70	v 17 4 19 22 8 15 4 15 11 0 19 19 4 4 2 18 19 0 19 8 2 0 4 13 4 8 3 2 7 0 17 11 14 19 19 4 18 21 8 11 11 4 10 14 17 0 13 7 0 8 19 8 11 4 13 15 20 18 6 17 4 19 0 0 11 0 19 7 14 18 4 0 1 14 21 4 12 14 13 10 14 22 4 0 19 1 25 0 23 0 2 10 13 14 22 11 4 3 6 4 0 1 11 4 18 0 11 0 17 24 18 4 22 18 15 20 17 18 11 4 15 19 0 19 11 0 18 24 4 19 15 7 14 19 14 24 0 15 0 13 0 8 17 14 13 24 1 20 17 18 19 19 4 11 4 2 14 12 12 20 13 8 2 0 19 4 14 17 4 6 14 13 15 11 0 13 10 19 14 13 15 14 2 14 13 14 25 4 19 0 0 15 19
1359.66/1373.71	c 1374	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1360.32/1374.03	c 1374	OK
1360.32/1374.03	c 1374	OBJECTIVE BOUND: 0 <= _COST <= 3
1360.32/1374.03	c 1374	SEARCHING: _COST <= 1
1360.32/1374.03	c 1374	============================[ Search Statistics ]==============================
1360.32/1374.03	c 1374	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1360.32/1374.03	c 1374	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1360.32/1374.03	c 1374	===============================================================================
1360.32/1374.03	c 1374	|   1837724 |   12806   855132  7008636 |   285044   676272     24 | 41.806 % |
1363.20/1376.97	c 1377	|   1837824 |   12806   855132  7008636 |   313548    32130     24 | 44.830 % |
1363.30/1377.03	c 1377	|   1837974 |   12806   855132  7008636 |   344903    32280     24 | 44.830 % |
1363.49/1377.28	c 1377	|   1838199 |   12806   855132  7008636 |   379393    32505     24 | 44.830 % |
1363.69/1377.41	c 1377	|   1838537 |   12806   855132  7008636 |   417332    32843     23 | 44.830 % |
1363.79/1377.56	c 1377	|   1839043 |   12806   855132  7008636 |   459066    33349     23 | 44.830 % |
1363.99/1377.71	c 1378	|   1839802 |   12806   855132  7008636 |   504972    34108     23 | 44.830 % |
1364.58/1378.38	c 1378	|   1840942 |   12806   855132  7008636 |   555470    35248     23 | 44.830 % |
1365.28/1379.06	c 1379	|   1842651 |   12806   855132  7008636 |   611017    36957     22 | 44.830 % |
1366.37/1380.17	c 1380	|   1845214 |   12806   855132  7008636 |   672118    39520     22 | 44.830 % |
1367.35/1381.18	c 1381	|   1849060 |   12806   855132  7008636 |   739330    43366     21 | 44.830 % |
1369.43/1383.28	c 1383	|   1854827 |   12806   855132  7008636 |   813263    49133     21 | 44.830 % |
1371.12/1384.99	c 1385	|   1863478 |   12806   855132  7008636 |   894590    57784     20 | 44.830 % |
1377.75/1391.66	c 1392	|   1876452 |   12806   855132  7008636 |   984049    70758     20 | 44.830 % |
1390.44/1404.43	c 1404	|   1895914 |   12806   855132  7008636 |  1082454    90220     19 | 44.830 % |
1408.37/1422.59	c 1423	|   1925107 |   12806   855132  7008636 |  1190699   119413     20 | 44.830 % |
1434.82/1449.23	c 1449	|   1968896 |   12806   855132  7008636 |  1309769   163202     20 | 44.830 % |
1479.69/1494.50	c 1494	|   2034581 |   12806   855132  7008636 |  1440746   228887     21 | 44.830 % |
1534.27/1549.61	c 1550	|   2133107 |   12806   855132  7008636 |  1584821   327413     22 | 44.830 % |
1584.88/1600.74	c 1601	===============================================================================
1584.88/1600.74	c 1601	restarts              : 119
1584.88/1600.74	c 1601	conflicts             : 2188164       (1436 /sec)
1584.88/1600.74	c 1601	decisions             : 3183661       (1.25 % random) (2089 /sec)
1584.88/1600.74	c 1601	propagations          : 152844861      (100301 /sec)
1584.88/1600.74	c 1601	conflict literals     : 48486128       (22.24 % deleted)
1584.88/1600.74	c 1601	Memory used           : 165.80 MB
1584.88/1600.74	c 1601	CPU time              : 1523.86 s
1584.88/1600.74	c 1601	
1584.88/1600.74	c 1601	SATISFIABLE
1584.88/1600.75	c 1601	OK
1584.88/1600.75	c 1601	FOUND: _COST <= 1
1584.88/1600.75	c 1601	DECODING HOME/temp.out WITH HOME/temp.map
1584.88/1600.75	c 1601	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1584.93/1600.83	c 1601	Decoding HOME/temp.out
1584.93/1601.17	c 1601	OBJECTIVE _COST 1
1584.93/1601.17	o 1
1584.93/1601.17	v 0 22 11 5 11 14 4 0 17 2 0 13 0 2 7 0 19 4 0 20 23 17 4 20 1 4 13 7 4 19 4 17 14 18 19 17 20 2 19 20 17 4 4 19 7 4 17 19 17 8 1 4 19 14 22 19 8 19 0 3 0 15 19 22 7 14 18 7 0 11 4 19 17 4 18 18 7 0 2 10 4 11 8 19 14 8 11 4 19 8 13 2 14 12 12 4 13 18 20 17 0 1 11 4 18 14 20 17 2 4 6 4 19 11 14 12 4 7 8 17 0 12 1 20 23 14 12 22 0 17 13 8 5 4 8 17 0 22 0 18 18 11 14 4 18 18 17 0 1 0 19 2 7 0 17 11 14 19 19 4 18 21 8 11 11 4 12 20 18 2 0 19 8 17 17 8 19 0 19 4 4 19 7 0 13 4 2 0 8 13 19 14 13
1584.93/1601.18	c 1601	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1585.52/1601.42	c 1601	OK
1585.52/1601.42	c 1601	OBJECTIVE BOUND: 0 <= _COST <= 1
1585.52/1601.42	c 1601	SEARCHING: _COST <= 0
1585.52/1601.42	c 1601	============================[ Search Statistics ]==============================
1585.52/1601.42	c 1601	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1585.52/1601.42	c 1601	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1585.52/1601.42	c 1601	===============================================================================
1585.52/1601.42	c 1601	|   2188164 |   11665   848305  6991576 |   282768   382470     23 | 44.830 % |
1587.10/1603.09	c 1603	|   2188264 |   11665   848305  6991576 |   311045    19749     24 | 49.746 % |
1587.20/1603.13	c 1603	|   2188415 |   11665   848305  6991576 |   342149    19900     24 | 49.746 % |
1587.30/1603.21	c 1603	|   2188640 |   11665   848305  6991576 |   376364    20125     24 | 49.746 % |
1587.40/1603.31	c 1603	|   2188977 |   11665   848305  6991576 |   414001    20462     24 | 49.746 % |
1587.49/1603.42	c 1603	|   2189483 |   11665   848305  6991576 |   455401    20968     23 | 49.746 % |
1587.59/1603.53	c 1603	|   2190242 |   11665   848305  6991576 |   500941    21727     23 | 49.746 % |
1587.79/1603.71	c 1604	|   2191381 |   11665   848305  6991576 |   551035    22866     22 | 49.746 % |
1587.98/1603.95	c 1604	|   2193090 |   11665   848305  6991576 |   606139    24575     21 | 49.746 % |
1588.28/1604.30	c 1604	|   2195653 |   11665   848305  6991576 |   666752    27138     20 | 49.746 % |
1589.07/1605.08	c 1605	|   2199497 |   11665   848305  6991576 |   733428    30982     19 | 49.746 % |
1590.36/1606.31	c 1606	|   2205263 |   11665   848305  6991576 |   806771    36748     18 | 49.746 % |
1591.95/1607.97	c 1608	|   2213914 |   11665   848305  6991576 |   887448    45399     17 | 49.746 % |
1594.33/1610.34	c 1610	|   2226889 |   11665   848305  6991576 |   976192    58374     16 | 49.746 % |
1599.78/1615.88	c 1616	|   2246351 |   11665   848305  6991576 |  1073812    77836     16 | 49.746 % |
1619.09/1635.35	c 1635	|   2275546 |   11665   848305  6991576 |  1181193   107031     18 | 49.746 % |
1642.07/1658.59	c 1659	|   2319336 |   11665   848305  6991576 |  1299312   150821     18 | 49.746 % |
1688.52/1705.45	c 1705	|   2385021 |   11665   848305  6991576 |  1429244   216506     20 | 49.746 % |
1784.71/1802.52	c 1802	|   2483549 |   11665   848305  6991576 |  1572168   315034     24 | 49.746 % |
1907.43/1926.49	c 1926	|   2631338 |   11665   848305  6991576 |  1729385   462823     25 | 49.746 % |
1983.41/2003.18	c 2003	===============================================================================
1983.41/2003.18	c 2003	restarts              : 139
1983.41/2003.18	c 2003	conflicts             : 2709548       (1410 /sec)
1983.41/2003.18	c 2003	decisions             : 3889057       (1.31 % random) (2023 /sec)
1983.41/2003.18	c 2003	propagations          : 189680469      (98689 /sec)
1983.41/2003.18	c 2003	conflict literals     : 62156398       (21.87 % deleted)
1983.41/2003.18	c 2003	Memory used           : 165.80 MB
1983.41/2003.18	c 2003	CPU time              : 1922.01 s
1983.41/2003.18	c 2003	
1983.41/2003.18	c 2003	UNSATISFIABLE
1983.41/2003.18	c 2003	OK
1983.41/2003.18	c 2003	NOT FOUND: _COST <= 0
1983.41/2003.18	c 2003	OK
1983.41/2003.18	c 2003	OBJECTIVE _COST 1
1983.41/2003.18	s OPTIMUM FOUND
1983.51/2003.24	c 2003	CPU 1982.28 (0.07 0.04 1982.21 1.21)
1983.51/2003.24	c 2003	END Sat Jul 12 06:13:00 2008

Verifier Data (download as text)

OK	1	697
1 unsatisfied constraints, 697 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-1110753-1215833977/watcher-1110753-1215833977 -o /tmp/evaluation-result-1110753-1215833977/solver-1110753-1215833977 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1110753-1215833977.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: 2.00 2.00 2.00 4/81 14225
/proc/meminfo: memFree=1723208/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=12268 CPUtime=0
/proc/14225/stat : 14225 (sugar++) R 14223 14225 13348 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 40101181 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 206390213630 0 0 4224 0 0 0 0 17 1 0 0
/proc/14225/statm: 3067 316 241 3 0 167 0

[startup+0.0808909 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 14225
/proc/meminfo: memFree=1723208/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.06
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1143 0 0 0 4 2 0 0 18 0 1 0 40101181 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.102199 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 14225
/proc/meminfo: memFree=1723208/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.06
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1219 128 0 0 4 2 0 0 19 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.30208 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 14225
/proc/meminfo: memFree=1723208/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.06
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1219 128 0 0 4 2 0 0 19 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.70216 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 14225
/proc/meminfo: memFree=1723208/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.06
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1219 128 0 0 4 2 0 0 19 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+1.50126 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 14247
/proc/meminfo: memFree=1714288/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.75
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1296 5277 0 1 4 2 65 4 15 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
[pid=14238] ppid=14225 vsize=5356 CPUtime=0
/proc/14238/stat : 14238 (sh) S 14225 14225 13348 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40101263 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14238/statm: 1339 233 193 169 0 50 0
[pid=14239] ppid=14238 vsize=864140 CPUtime=0.65
/proc/14239/stat : 14239 (java) S 14238 14225 13348 0 -1 0 7094 0 1 0 62 3 0 0 18 0 9 0 40101264 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14239/statm: 216035 6346 2540 9 0 210610 0
[pid=14239/tid=14240] ppid=14238 vsize=864140 CPUtime=0.35
/proc/14239/task/14240/stat : 14240 (java) R 14238 14225 13348 0 -1 64 2659 0 1 0 34 1 0 0 22 0 9 0 40101265 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14241] ppid=14238 vsize=864140 CPUtime=0.19
/proc/14239/task/14241/stat : 14241 (java) R 14238 14225 13348 0 -1 64 3400 0 0 0 18 1 0 0 16 0 9 0 40101266 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 102723254 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14242] ppid=14238 vsize=864140 CPUtime=0
/proc/14239/task/14242/stat : 14242 (java) S 14238 14225 13348 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40101266 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14243] ppid=14238 vsize=864140 CPUtime=0
/proc/14239/task/14243/stat : 14243 (java) S 14238 14225 13348 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40101266 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14244] ppid=14238 vsize=864140 CPUtime=0
/proc/14239/task/14244/stat : 14244 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40101268 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14245] ppid=14238 vsize=864140 CPUtime=0.08
/proc/14239/task/14245/stat : 14245 (java) S 14238 14225 13348 0 -1 64 343 0 0 0 8 0 0 0 16 0 9 0 40101268 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14246] ppid=14238 vsize=864140 CPUtime=0
/proc/14239/task/14246/stat : 14246 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40101268 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14247] ppid=14238 vsize=864140 CPUtime=0
/proc/14239/task/14247/stat : 14247 (java) S 14238 14225 13348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40101268 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 886236

[startup+3.1026 s]
/proc/loadavg: 2.00 2.00 2.00 4/92 14247
/proc/meminfo: memFree=1687408/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.75
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1297 5277 0 1 4 2 65 4 15 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
[pid=14238] ppid=14225 vsize=5356 CPUtime=0
/proc/14238/stat : 14238 (sh) S 14225 14225 13348 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40101263 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14238/statm: 1339 233 193 169 0 50 0
[pid=14239] ppid=14238 vsize=868360 CPUtime=2.24
/proc/14239/stat : 14239 (java) S 14238 14225 13348 0 -1 0 17494 0 1 0 214 10 0 0 18 0 9 0 40101264 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14239/statm: 217090 16669 2540 9 0 211665 0
[pid=14239/tid=14240] ppid=14238 vsize=868360 CPUtime=0.97
/proc/14239/task/14240/stat : 14240 (java) R 14238 14225 13348 0 -1 64 3246 0 1 0 95 2 0 0 25 0 9 0 40101265 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4125924832 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14241] ppid=14238 vsize=868360 CPUtime=1.01
/proc/14239/task/14241/stat : 14241 (java) S 14238 14225 13348 0 -1 64 12069 0 0 0 95 6 0 0 16 0 9 0 40101266 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14242] ppid=14238 vsize=868360 CPUtime=0
/proc/14239/task/14242/stat : 14242 (java) S 14238 14225 13348 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40101266 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14243] ppid=14238 vsize=868360 CPUtime=0
/proc/14239/task/14243/stat : 14243 (java) S 14238 14225 13348 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40101266 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14244] ppid=14238 vsize=868360 CPUtime=0
/proc/14239/task/14244/stat : 14244 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40101268 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14245] ppid=14238 vsize=868360 CPUtime=0.22
/proc/14239/task/14245/stat : 14245 (java) S 14238 14225 13348 0 -1 64 1487 0 0 0 22 0 0 0 15 0 9 0 40101268 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14246] ppid=14238 vsize=868360 CPUtime=0
/proc/14239/task/14246/stat : 14246 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40101268 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14247] ppid=14238 vsize=868360 CPUtime=0
/proc/14239/task/14247/stat : 14247 (java) S 14238 14225 13348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40101268 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 890456

[startup+6.30115 s]
/proc/loadavg: 2.08 2.02 2.01 3/92 14247
/proc/meminfo: memFree=1655672/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.75
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1297 5277 0 1 4 2 65 4 15 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
[pid=14238] ppid=14225 vsize=5356 CPUtime=0
/proc/14238/stat : 14238 (sh) S 14225 14225 13348 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40101263 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14238/statm: 1339 233 193 169 0 50 0
[pid=14239] ppid=14238 vsize=868472 CPUtime=5.41
/proc/14239/stat : 14239 (java) S 14238 14225 13348 0 -1 0 18884 0 1 0 526 15 0 0 18 0 9 0 40101264 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14239/statm: 217118 17947 2565 9 0 211665 0
[pid=14239/tid=14240] ppid=14238 vsize=868472 CPUtime=3.72
/proc/14239/task/14240/stat : 14240 (java) R 14238 14225 13348 0 -1 64 3384 0 1 0 367 5 0 0 25 0 9 0 40101265 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4127055710 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14241] ppid=14238 vsize=868472 CPUtime=1.39
/proc/14239/task/14241/stat : 14241 (java) S 14238 14225 13348 0 -1 64 13299 0 0 0 132 7 0 0 16 0 9 0 40101266 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14242] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14242/stat : 14242 (java) S 14238 14225 13348 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40101266 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14243] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14243/stat : 14243 (java) S 14238 14225 13348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40101266 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14244] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14244/stat : 14244 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40101268 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14245] ppid=14238 vsize=868472 CPUtime=0.26
/proc/14239/task/14245/stat : 14245 (java) S 14238 14225 13348 0 -1 64 1509 0 0 0 26 0 0 0 16 0 9 0 40101268 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14246] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14246/stat : 14246 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40101268 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14247] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14247/stat : 14247 (java) S 14238 14225 13348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40101268 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 890568

[startup+12.7023 s]
/proc/loadavg: 2.07 2.02 2.00 3/92 14247
/proc/meminfo: memFree=1638648/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.75
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1297 5277 0 1 4 2 65 4 15 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
[pid=14238] ppid=14225 vsize=5356 CPUtime=0
/proc/14238/stat : 14238 (sh) S 14225 14225 13348 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40101263 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14238/statm: 1339 233 193 169 0 50 0
[pid=14239] ppid=14238 vsize=868472 CPUtime=11.73
/proc/14239/stat : 14239 (java) S 14238 14225 13348 0 -1 0 21427 0 1 0 1153 20 0 0 18 0 9 0 40101264 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14239/statm: 217118 20401 2565 9 0 211665 0
[pid=14239/tid=14240] ppid=14238 vsize=868472 CPUtime=9.79
/proc/14239/task/14240/stat : 14240 (java) R 14238 14225 13348 0 -1 64 3473 0 1 0 970 9 0 0 25 0 9 0 40101265 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4126589893 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14241] ppid=14238 vsize=868472 CPUtime=1.64
/proc/14239/task/14241/stat : 14241 (java) S 14238 14225 13348 0 -1 64 15749 0 0 0 155 9 0 0 16 0 9 0 40101266 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14242] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14242/stat : 14242 (java) S 14238 14225 13348 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40101266 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14243] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14243/stat : 14243 (java) S 14238 14225 13348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40101266 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14244] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14244/stat : 14244 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40101268 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14245] ppid=14238 vsize=868472 CPUtime=0.27
/proc/14239/task/14245/stat : 14245 (java) S 14238 14225 13348 0 -1 64 1513 0 0 0 27 0 0 0 17 0 9 0 40101268 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14246] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14246/stat : 14246 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40101268 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14247] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14247/stat : 14247 (java) S 14238 14225 13348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40101268 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 890568

[startup+25.5027 s]
/proc/loadavg: 2.13 2.03 2.01 3/92 14247
/proc/meminfo: memFree=1612536/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.75
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1297 5277 0 1 4 2 65 4 15 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
[pid=14238] ppid=14225 vsize=5356 CPUtime=0
/proc/14238/stat : 14238 (sh) S 14225 14225 13348 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40101263 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14238/statm: 1339 233 193 169 0 50 0
[pid=14239] ppid=14238 vsize=868472 CPUtime=24.4
/proc/14239/stat : 14239 (java) S 14238 14225 13348 0 -1 0 29739 0 1 0 2410 30 0 0 18 0 9 0 40101264 889315328 24068 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14239/statm: 217118 24068 2565 9 0 211665 0
[pid=14239/tid=14240] ppid=14238 vsize=868472 CPUtime=21.74
/proc/14239/task/14240/stat : 14240 (java) R 14238 14225 13348 0 -1 64 3630 0 1 0 2159 15 0 0 25 0 9 0 40101265 889315328 24068 996147200 134512640 134550740 4294955920 18446744073709551615 4127032478 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14241] ppid=14238 vsize=868472 CPUtime=2.34
/proc/14239/task/14241/stat : 14241 (java) S 14238 14225 13348 0 -1 64 23897 0 0 0 221 13 0 0 16 0 9 0 40101266 889315328 24068 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14242] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14242/stat : 14242 (java) S 14238 14225 13348 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40101266 889315328 24068 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14243] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14243/stat : 14243 (java) S 14238 14225 13348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40101266 889315328 24068 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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


[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/83 14334
/proc/meminfo: memFree=1498304/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1644.16
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42158 0 0 0 164379 37 0 0 25 0 1 0 40107058 173850624 42091 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42091 80 151 0 42290 0
Current children cumulated CPU time (s) 1705.27
Current children cumulated vsize (KiB) 186648

[startup+1782.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/83 14334
/proc/meminfo: memFree=1498240/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1703.58
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42159 0 0 0 170321 37 0 0 25 0 1 0 40107058 173850624 42092 996147200 134512640 135134323 4294956192 18446744073709551615 134528238 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42092 80 151 0 42290 0
Current children cumulated CPU time (s) 1764.69
Current children cumulated vsize (KiB) 186648

[startup+1842.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/83 14334
/proc/meminfo: memFree=1498240/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1763.02
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42160 0 0 0 176265 37 0 0 25 0 1 0 40107058 173850624 42093 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42093 80 151 0 42290 0
Current children cumulated CPU time (s) 1824.13
Current children cumulated vsize (KiB) 186648

[startup+1902.3 s]
/proc/loadavg: 2.54 2.18 2.05 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1822.45
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42160 0 0 0 182208 37 0 0 25 0 1 0 40107058 173850624 42093 996147200 134512640 135134323 4294956192 18446744073709551615 134532085 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42093 80 151 0 42290 0
Current children cumulated CPU time (s) 1883.56
Current children cumulated vsize (KiB) 186648

[startup+1962.3 s]
/proc/loadavg: 2.27 2.16 2.05 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1881.89
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42160 0 0 0 188152 37 0 0 25 0 1 0 40107058 173850624 42093 996147200 134512640 135134323 4294956192 18446744073709551615 134531982 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42093 80 151 0 42290 0
Current children cumulated CPU time (s) 1943
Current children cumulated vsize (KiB) 186648

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

[startup+1971.1 s]
/proc/loadavg: 2.23 2.15 2.05 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1890.6
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42160 0 0 0 189023 37 0 0 25 0 1 0 40107058 173850624 42093 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42093 80 151 0 42290 0
Current children cumulated CPU time (s) 1951.71
Current children cumulated vsize (KiB) 186648

[startup+1983.9 s]
/proc/loadavg: 2.18 2.15 2.05 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1903.28
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42160 0 0 0 190291 37 0 0 25 0 1 0 40107058 173850624 42093 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42093 80 151 0 42290 0
Current children cumulated CPU time (s) 1964.39
Current children cumulated vsize (KiB) 186648

[startup+1996.7 s]
/proc/loadavg: 2.15 2.14 2.04 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1915.96
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42160 0 0 0 191559 37 0 0 25 0 1 0 40107058 173850624 42093 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42093 80 151 0 42290 0
Current children cumulated CPU time (s) 1977.07
Current children cumulated vsize (KiB) 186648

[startup+1999.9 s]
/proc/loadavg: 2.14 2.14 2.04 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1919.12
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42160 0 0 0 191875 37 0 0 25 0 1 0 40107058 173850624 42093 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42093 80 151 0 42290 0
Current children cumulated CPU time (s) 1980.23
Current children cumulated vsize (KiB) 186648

[startup+2001.5 s]
/proc/loadavg: 2.14 2.14 2.04 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1920.72
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42161 0 0 0 192035 37 0 0 25 0 1 0 40107058 173850624 42094 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42094 80 151 0 42290 0
Current children cumulated CPU time (s) 1981.83
Current children cumulated vsize (KiB) 186648

[startup+2002.3 s]
/proc/loadavg: 2.14 2.14 2.04 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1921.5
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42161 0 0 0 192113 37 0 0 25 0 1 0 40107058 173850624 42094 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42094 80 151 0 42290 0
Current children cumulated CPU time (s) 1982.61
Current children cumulated vsize (KiB) 186648

[startup+2002.7 s]
/proc/loadavg: 2.14 2.14 2.04 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1921.9
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42161 0 0 0 192153 37 0 0 25 0 1 0 40107058 173850624 42094 996147200 134512640 135134323 4294956192 18446744073709551615 134531958 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42094 80 151 0 42290 0
Current children cumulated CPU time (s) 1983.01
Current children cumulated vsize (KiB) 186648

[startup+2003.11 s]
/proc/loadavg: 2.12 2.14 2.04 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1922.3
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42161 0 0 0 192193 37 0 0 25 0 1 0 40107058 173850624 42094 996147200 134512640 135134323 4294956192 18446744073709551615 134532993 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42094 80 151 0 42290 0
Current children cumulated CPU time (s) 1983.41
Current children cumulated vsize (KiB) 186648

[startup+2003.2 s]
/proc/loadavg: 2.12 2.14 2.04 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2074 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390214548 0 0 4224 16386 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=0 CPUtime=1922.4
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194308 42163 0 0 0 192201 39 0 0 25 0 1 0 40107058 0 0 996147200 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1983.51
Current children cumulated vsize (KiB) 16872

Child status: 0
Real time (s): 2003.24
CPU time (s): 1983.58
CPU user time (s): 1982.29
CPU system time (s): 1.2948
CPU usage (%): 99.0186
Max. virtual memory (cumulated for all children) (KiB): 903380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1982.29
system time used= 1.2948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115931
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11608
involuntary context switches= 53475

runsolver used 2.6046 second user time and 6.549 second system time

The end

Launcher Data (download as text)

Begin job on node2 at 2008-07-12 05:39:37
IDJOB=1110753
IDBENCH=61148
IDSOLVER=367
FILE ID=node2/1110753-1215833977
PBS_JOBID= 7903355
Free space on /tmp= 66512 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/lexHerald/normalized-crossword-m1-lex-15-04.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110753-1215833977/watcher-1110753-1215833977 -o /tmp/evaluation-result-1110753-1215833977/solver-1110753-1215833977 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1110753-1215833977.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9d1b2e6b4288428f6850493c899fc596
RANDOM SEED=318922938

node2.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.261
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	: 5931.00
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.261
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:       1723688 kB
Buffers:         35640 kB
Cached:          86536 kB
SwapCached:       6004 kB
Active:         205984 kB
Inactive:        65792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1723688 kB
SwapTotal:     4192956 kB
SwapFree:      4181172 kB
Dirty:            1136 kB
Writeback:           0 kB
Mapped:         165288 kB
Slab:            45192 kB
Committed_AS:   335548 kB
PageTables:       2236 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= 66512 MiB
End job on node2 at 2008-07-12 06:13:00