Trace number 1125251

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sugar++ v1.13+minisat-incOPTIMUM 3081.32 3090.61

General information on the benchmark

Namemaxcsp/celar/scens/
normalized-scenw-07_10000_30r_ext.xml
MD5SUM3b0e5d2a54c29f933bf0a92becd49ac0
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints15
Best CPU time to get the best result obtained on this benchmark3081.32
Satisfiable
(Un)Satisfiability was proved
Number of variables197
Number of constraints1243
Maximum constraint arity2
Maximum domain size14
Number of constraints which are defined in extension1243
Number of constraints which are defined in intension0
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.08	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08	c 0	BEGIN Wed Jul 16 02:32:43 2008
0.00/0.08	c 0	PID 30344
0.06/0.08	c 0	HOST node71.alineos.net
0.06/0.08	c 0	CONVERTING HOME/instance-1125251-1216168363.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-1125251-1216168363.xml' 'HOME/temp.csp'
0.06/0.89	c 1	3 domains, 197 variables, 0 predicates, 1074 relations, 1243 constraints
0.06/0.92	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.92	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.06/0.99	c 1	Parsing HOME/temp.csp
1.33/1.48	c 1	parsed 2517 expressions
1.33/1.48	c 1	Heap : 5 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.42/1.50	c 1	MAX CSP: 1243 constraints
1.42/1.50	c 1	Converting to clausal form CSP
1.42/1.53	c 1	converted 377 (10%) expressions
1.42/1.54	c 1	converted 753 (20%) expressions
1.42/1.55	c 1	converted 1129 (30%) expressions
1.42/1.59	c 1	converted 1506 (40%) expressions
1.51/1.64	c 1	converted 1882 (50%) expressions
1.62/1.73	c 1	converted 2258 (60%) expressions
1.71/1.82	c 1	converted 2635 (70%) expressions
1.71/1.85	c 1	converted 3011 (80%) expressions
1.71/1.87	c 1	converted 3387 (90%) expressions
1.91/2.03	c 2	converted 3763 (100%) expressions
1.91/2.03	c 2	CSP : 2683 integers, 0 booleans, 3728 clauses, largest domain size 1865
1.91/2.03	c 2	Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.91/2.03	c 2	Propagation in CSP
1.91/2.09	c 2	1236 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.91/2.10	c 2	CSP : 2683 integers, 0 booleans, 3728 clauses, largest domain size 1244
1.91/2.10	c 2	Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.01/2.11	c 2	Simplifing CSP by introducing new Boolean variables
2.01/2.11	c 2	CSP : 2683 integers, 0 booleans, 3728 clauses, largest domain size 1244
2.01/2.11	c 2	Heap : 13 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.01/2.17	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.01/2.20	c 2	269 (10%) CSP integer variables are encoded (1616 clauses, 19055 bytes)
2.01/2.20	c 2	537 (20%) CSP integer variables are encoded (1616 clauses, 19055 bytes)
2.01/2.20	c 2	805 (30%) CSP integer variables are encoded (1616 clauses, 19055 bytes)
2.01/2.20	c 2	1074 (40%) CSP integer variables are encoded (1616 clauses, 19055 bytes)
2.01/2.20	c 2	1342 (50%) CSP integer variables are encoded (1616 clauses, 19055 bytes)
2.11/2.21	c 2	1610 (60%) CSP integer variables are encoded (3885 clauses, 48552 bytes)
2.11/2.21	c 2	1879 (70%) CSP integer variables are encoded (5769 clauses, 73044 bytes)
2.11/2.22	c 2	2147 (80%) CSP integer variables are encoded (8490 clauses, 109520 bytes)
2.11/2.22	c 2	2415 (90%) CSP integer variables are encoded (10523 clauses, 140015 bytes)
2.11/2.24	c 2	2683 (100%) CSP integer variables are encoded (24436 clauses, 348710 bytes)
2.21/2.33	c 2	373 (10%) CSP clauses are encoded (28609 clauses, 444447 bytes)
2.21/2.38	c 2	746 (20%) CSP clauses are encoded (32072 clauses, 526576 bytes)
2.30/2.42	c 2	1119 (30%) CSP clauses are encoded (34461 clauses, 584336 bytes)
2.30/2.46	c 2	1492 (40%) CSP clauses are encoded (44483 clauses, 768509 bytes)
2.51/2.63	c 2	1864 (50%) CSP clauses are encoded (137033 clauses, 2460235 bytes)
2.51/2.69	c 2	2237 (60%) CSP clauses are encoded (164264 clauses, 2949917 bytes)
3.01/3.17	c 3	2610 (70%) CSP clauses are encoded (435833 clauses, 7969729 bytes)
3.10/3.24	c 3	2983 (80%) CSP clauses are encoded (467042 clauses, 8621841 bytes)
3.21/3.38	c 3	3356 (90%) CSP clauses are encoded (543995 clauses, 10254220 bytes)
6.27/6.42	c 6	3728 (100%) CSP clauses are encoded (2011754 clauses, 41613202 bytes)
6.27/6.43	c 6	3728 CSP clauses encoded
6.27/6.43	c 6	Writing map file : HOME/temp.map
6.27/6.46	c 6	Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.27/6.46	c 6	SAT : 27118 SAT variables, 2011754 SAT clauses, 41613202 bytes
6.27/6.46	c 6	Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.33/6.52	c 6	OBJECTIVE minimize _COST
6.33/6.52	c 6	SOLVING HOME/temp.cnf
6.33/6.52	c 6	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
6.33/6.52	c 6	This is MiniSat 2.0 beta incremental
6.33/6.52	c 6	WARNING: for repeatability, setting FPU to use double precision
6.33/6.52	c 6	============================[ Problem Statistics ]=============================
6.33/6.52	c 6	|                                                                             |
6.33/6.52	c 6	|  Number of variables:  27118                                                |
6.33/6.52	c 6	|  Number of clauses:    2011754                                              |
6.34/7.44	c 7	|  Parsing time:         0.80         s                                       |
6.34/7.48	c 7	OK
6.34/7.48	c 7	OBJECTIVE BOUND: 0 <= _COST <= 
6.34/7.48	c 7	SEARCHING: _COST <= 622
6.34/7.48	c 7	============================[ Search Statistics ]==============================
6.34/7.48	c 7	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.34/7.48	c 7	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.34/7.48	c 7	===============================================================================
6.34/7.48	c 7	|         0 |   27118  2011754  5977303 |   670584        0    nan |  0.000 % |
7.78/8.03	c 8	|       101 |   27116  2011754  5977303 |   737643      100     17 |  0.045 % |
7.88/8.14	c 8	===============================================================================
7.88/8.14	c 8	restarts              : 2
7.88/8.14	c 8	conflicts             : 129           (87 /sec)
7.88/8.14	c 8	decisions             : 4572          (0.66 % random) (3100 /sec)
7.88/8.14	c 8	propagations          : 207510         (140706 /sec)
7.88/8.14	c 8	conflict literals     : 1882           (11.56 % deleted)
7.88/8.14	c 8	Memory used           : 85.09 MB
7.88/8.14	c 8	CPU time              : 1.47477 s
7.88/8.14	c 8	
7.88/8.14	c 8	SATISFIABLE
7.88/8.15	c 8	OK
7.88/8.15	c 8	FOUND: _COST <= 622
7.88/8.15	s SATISFIABLE
7.88/8.15	c 8	DECODING HOME/temp.out WITH HOME/temp.map
7.88/8.15	c 8	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
7.94/8.23	c 8	Decoding HOME/temp.out
7.94/8.39	c 8	OBJECTIVE _COST 618
7.94/8.39	o 618
7.94/8.40	v 9 9 2 13 10 10 3 13 13 5 9 8 13 10 13 4 5 13 3 13 7 13 13 5 3 13 1 11 10 10 13 13 13 2 3 1 5 13 4 6 13 1 13 2 13 0 13 13 7 13 13 5 3 10 12 13 13 13 13 12 10 13 9 10 1 7 4 12 13 8 5 5 3 1 5 0 4 2 2 5 5 3 3 4 5 7 1 5 5 7 2 13 5 0 5 4 5 6 5 5 4 5 1 4 13 5 5 1 5 5 4 5 3 13 13 3 3 4 13 5 2 2 4 5 4 5 2 2 4 2 5 5 5 4 5 2 5 5 2 13 2 5 1 2 6 13 13 12 3 1 13 12 2 9 0 13 13 11 5 5 1 5 1 5 11 3 5 13 13 5 2 5 5 5 2 0 5 2 0 5 5 11 13 5 2 5 5 5 1 5 5 3 2 5 13 13 -1
7.94/8.41	c 8	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
7.94/8.42	c 8	OK
7.94/8.42	c 8	OBJECTIVE BOUND: 0 <= _COST <= 618
7.94/8.42	c 8	SEARCHING: _COST <= 309
7.94/8.42	c 8	============================[ Search Statistics ]==============================
7.94/8.43	c 8	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.94/8.43	c 8	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.94/8.43	c 8	===============================================================================
7.94/8.43	c 8	|       129 |   27106  2011754  5977303 |   670584      128     15 |  0.045 % |
8.26/8.55	c 8	|       230 |   27106  2011754  5977303 |   737643      229     16 | 25.412 % |
8.46/8.72	c 8	|       380 |   27106  2011754  5977303 |   811407      379     16 | 25.412 % |
8.76/9.01	c 9	|       605 |   27106  2011754  5977303 |   892548      604     15 | 25.412 % |
8.76/9.08	c 9	===============================================================================
8.76/9.09	c 9	restarts              : 6
8.76/9.09	c 9	conflicts             : 683           (319 /sec)
8.76/9.09	c 9	decisions             : 7026          (0.54 % random) (3282 /sec)
8.76/9.09	c 9	propagations          : 712791         (332975 /sec)
8.76/9.09	c 9	conflict literals     : 9905           (25.43 % deleted)
8.76/9.09	c 9	Memory used           : 85.09 MB
8.76/9.09	c 9	CPU time              : 2.14067 s
8.76/9.09	c 9	
8.76/9.09	c 9	SATISFIABLE
8.85/9.10	c 9	OK
8.85/9.10	c 9	FOUND: _COST <= 309
8.85/9.10	c 9	DECODING HOME/temp.out WITH HOME/temp.map
8.85/9.10	c 9	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
8.85/9.18	c 9	Decoding HOME/temp.out
8.85/9.34	c 9	OBJECTIVE _COST 309
8.85/9.34	o 309
8.85/9.35	v 13 9 4 5 13 3 11 4 11 3 13 6 13 11 6 13 6 5 9 10 13 7 13 10 8 8 4 10 8 4 1 10 4 1 3 2 0 13 13 6 11 1 12 2 2 0 4 4 2 13 11 10 13 3 10 13 4 13 13 10 11 9 13 6 11 7 10 0 2 4 10 5 3 0 5 0 2 4 2 4 4 6 5 4 5 10 5 4 1 13 2 13 4 2 3 0 1 12 2 5 4 5 1 13 13 4 0 4 1 4 3 5 3 4 13 4 13 13 12 5 2 4 4 1 2 1 2 2 3 5 0 2 4 4 5 3 5 2 4 13 2 0 2 9 5 13 7 13 3 1 8 0 13 12 0 5 6 10 4 5 5 5 1 1 10 12 1 6 3 1 13 2 5 5 2 5 0 4 0 2 1 9 6 2 5 3 1 2 5 1 5 2 0 3 13 6 -1
8.85/9.36	c 9	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
8.85/9.37	c 9	OK
8.85/9.37	c 9	OBJECTIVE BOUND: 0 <= _COST <= 309
8.85/9.37	c 9	SEARCHING: _COST <= 154
8.85/9.37	c 9	============================[ Search Statistics ]==============================
8.85/9.38	c 9	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.85/9.38	c 9	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.85/9.38	c 9	===============================================================================
8.85/9.38	c 9	|       683 |   20227  2011754  5977303 |   670584      682     15 | 25.412 % |
9.46/9.72	c 9	|       784 |   20227  2011754  5977303 |   737643      783     16 | 39.111 % |
9.56/9.83	c 9	===============================================================================
9.56/9.83	c 9	restarts              : 8
9.56/9.83	c 9	conflicts             : 846           (324 /sec)
9.56/9.83	c 9	decisions             : 9105          (0.59 % random) (3485 /sec)
9.56/9.83	c 9	propagations          : 931669         (356606 /sec)
9.56/9.83	c 9	conflict literals     : 13282          (24.38 % deleted)
9.56/9.83	c 9	Memory used           : 85.09 MB
9.56/9.83	c 9	CPU time              : 2.6126 s
9.56/9.83	c 9	
9.56/9.83	c 9	SATISFIABLE
9.56/9.84	c 9	OK
9.56/9.84	c 9	FOUND: _COST <= 154
9.56/9.84	c 9	DECODING HOME/temp.out WITH HOME/temp.map
9.56/9.84	c 9	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
9.60/9.92	c 10	Decoding HOME/temp.out
9.60/10.08	c 10	OBJECTIVE _COST 154
9.60/10.08	o 154
9.60/10.09	v 9 13 2 13 13 3 11 10 13 3 13 10 3 10 5 13 3 10 7 13 13 13 2 13 13 13 10 0 5 13 10 13 5 0 1 4 5 13 3 10 7 5 13 13 1 12 3 4 11 13 11 8 13 3 13 4 10 13 1 3 13 9 9 7 13 13 10 0 2 13 6 1 2 1 5 0 4 2 2 5 5 13 0 5 5 3 0 5 1 0 1 13 4 5 4 4 5 1 4 2 4 5 2 13 13 4 5 1 5 2 2 5 7 13 13 5 13 13 10 0 2 2 4 4 4 5 2 4 4 2 4 5 0 4 0 2 5 4 0 13 2 0 1 5 13 13 13 0 3 12 7 6 4 13 0 5 6 1 4 3 0 5 1 0 6 1 1 5 13 1 2 1 5 0 5 0 5 1 5 4 4 2 9 4 1 3 5 2 2 1 5 2 0 5 1 12 -1
9.60/10.10	c 10	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
9.60/10.12	c 10	OK
9.60/10.12	c 10	OBJECTIVE BOUND: 0 <= _COST <= 154
9.60/10.12	c 10	SEARCHING: _COST <= 77
9.60/10.12	c 10	============================[ Search Statistics ]==============================
9.60/10.12	c 10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.60/10.12	c 10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.60/10.12	c 10	===============================================================================
9.60/10.12	c 10	|       846 |   16512  2011754  5977303 |   670584      845     16 | 39.111 % |
10.12/10.41	c 10	|       946 |   16512  2011754  5977303 |   737643      945     17 | 47.732 % |
10.22/10.56	c 10	|      1096 |   16512  2011754  5977303 |   811407     1095     17 | 47.732 % |
10.62/10.96	c 11	|      1325 |   16512  2011754  5977303 |   892548     1324     21 | 47.732 % |
11.11/11.42	c 11	|      1662 |   16512  2011754  5977303 |   981803     1661     23 | 47.732 % |
11.31/11.61	c 11	===============================================================================
11.31/11.61	c 11	restarts              : 13
11.31/11.61	c 11	conflicts             : 2079          (507 /sec)
11.31/11.61	c 11	decisions             : 11835         (0.60 % random) (2886 /sec)
11.31/11.61	c 11	propagations          : 2140757        (522088 /sec)
11.31/11.61	c 11	conflict literals     : 51209          (20.08 % deleted)
11.31/11.61	c 11	Memory used           : 85.09 MB
11.31/11.61	c 11	CPU time              : 4.10038 s
11.31/11.61	c 11	
11.31/11.61	c 11	SATISFIABLE
11.31/11.62	c 11	OK
11.31/11.62	c 11	FOUND: _COST <= 77
11.31/11.62	c 11	DECODING HOME/temp.out WITH HOME/temp.map
11.31/11.62	c 11	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
11.31/11.70	c 11	Decoding HOME/temp.out
11.32/11.85	c 11	OBJECTIVE _COST 77
11.32/11.85	o 77
11.32/11.86	v 9 13 2 13 13 3 11 10 3 8 4 6 13 10 5 4 12 4 11 13 11 12 9 6 8 13 2 13 13 4 1 13 5 0 4 2 1 13 3 6 11 9 0 10 1 10 3 4 2 13 13 3 12 8 13 12 10 13 13 9 9 12 9 7 13 7 5 0 2 13 5 4 3 1 5 0 4 2 2 5 5 3 3 5 5 0 4 5 1 0 2 4 4 0 5 4 5 5 1 5 2 0 5 13 13 4 0 4 1 5 3 3 6 1 1 5 13 13 9 5 3 2 2 1 2 1 5 2 3 4 5 2 5 1 4 4 2 2 4 0 5 2 1 3 2 13 7 13 3 1 10 0 0 12 10 6 13 1 4 2 5 5 1 0 10 13 0 2 13 1 13 2 2 5 2 4 1 4 0 5 5 8 0 4 1 3 5 2 1 1 5 2 0 5 5 13 -1
11.32/11.87	c 11	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
11.32/11.89	c 12	OK
11.32/11.89	c 12	OBJECTIVE BOUND: 0 <= _COST <= 77
11.32/11.89	c 12	SEARCHING: _COST <= 38
11.32/11.89	c 12	============================[ Search Statistics ]==============================
11.32/11.89	c 12	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.32/11.90	c 12	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
11.32/11.90	c 12	===============================================================================
11.32/11.90	c 12	|      2079 |   14174  2011754  5977303 |   670584     2078     25 | 47.732 % |
11.70/12.08	c 12	|      2179 |   14174  2011754  5977303 |   737643     2178     24 | 54.045 % |
11.89/12.22	c 12	|      2330 |   14174  2011754  5977303 |   811407     2329     24 | 54.045 % |
11.99/12.36	c 12	|      2555 |   14174  2011754  5977303 |   892548     2554     24 | 54.045 % |
12.59/12.90	c 13	|      2892 |   14174  2011754  5977303 |   981803     2891     24 | 54.045 % |
13.18/13.57	c 13	|      3398 |   14174  2011754  5977303 |  1079983     3397     24 | 54.045 % |
13.58/13.92	c 14	|      4157 |   14174  2011754  5977303 |  1187981     4156     26 | 54.045 % |
15.65/16.04	c 16	|      5298 |   14174  2011754  5977303 |  1306779     5297     25 | 54.045 % |
18.53/18.99	c 19	|      7007 |   14174  2011754  5977303 |  1437457     7006     25 | 54.045 % |
21.90/22.38	c 22	|      9571 |   12462   265380   780992 |  1581203     9194     26 | 54.045 % |
25.26/25.71	c 25	|     13416 |   12462   265380   780992 |  1739323    13039     28 | 54.045 % |
30.51/31.08	c 31	|     19183 |   12462   265380   780992 |  1913256    18806     26 | 54.045 % |
38.52/39.13	c 39	|     27832 |   12462   265380   780992 |  2104581    27455     27 | 54.045 % |
38.62/39.25	c 39	===============================================================================
38.62/39.25	c 39	restarts              : 26
38.62/39.25	c 39	conflicts             : 27985         (897 /sec)
38.62/39.25	c 39	decisions             : 43348         (0.75 % random) (1389 /sec)
38.62/39.25	c 39	propagations          : 33415971       (1071085 /sec)
38.62/39.25	c 39	conflict literals     : 754124         (33.44 % deleted)
38.62/39.25	c 39	Memory used           : 85.53 MB
38.62/39.25	c 39	CPU time              : 31.1983 s
38.62/39.25	c 39	
38.62/39.25	c 39	SATISFIABLE
38.62/39.26	c 39	OK
38.62/39.26	c 39	FOUND: _COST <= 38
38.62/39.26	c 39	DECODING HOME/temp.out WITH HOME/temp.map
38.62/39.26	c 39	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
38.68/39.34	c 39	Decoding HOME/temp.out
38.90/39.51	c 39	OBJECTIVE _COST 38
38.90/39.51	o 38
38.90/39.51	v 9 13 2 13 13 3 8 10 3 13 2 6 13 10 5 5 6 6 11 13 13 7 13 5 3 8 4 10 9 5 2 4 9 0 4 2 0 13 12 6 11 1 2 2 0 13 6 8 2 13 13 9 3 9 10 11 4 13 10 12 13 9 13 3 3 7 10 12 10 0 7 4 3 5 5 5 2 4 3 0 4 4 5 4 0 13 4 4 2 12 2 4 1 2 2 4 5 5 1 5 4 5 1 0 9 4 0 3 1 4 3 5 6 1 13 3 13 13 9 5 3 2 2 1 2 0 5 2 3 4 5 2 5 4 4 4 2 2 5 13 2 1 2 3 5 13 7 13 6 2 10 1 1 13 1 8 7 4 1 2 5 5 1 5 10 13 1 12 10 4 13 2 2 5 2 5 0 4 0 2 2 10 0 4 1 3 5 2 1 1 5 2 0 5 5 7 -1
38.90/39.52	c 39	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
38.90/39.58	c 39	OK
38.90/39.58	c 39	OBJECTIVE BOUND: 0 <= _COST <= 38
38.90/39.58	c 39	SEARCHING: _COST <= 19
38.90/39.58	c 39	============================[ Search Statistics ]==============================
38.90/39.58	c 39	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.90/39.58	c 39	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
38.90/39.58	c 39	===============================================================================
38.90/39.58	c 39	|     27985 |   10977   147785   432623 |    49261    27542     27 | 54.045 % |
39.01/39.66	c 39	|     28086 |   10977   147785   432623 |    54187    27643     27 | 59.522 % |
39.10/39.73	c 39	|     28236 |   10977   147785   432623 |    59606    27793     27 | 59.522 % |
39.30/39.93	c 40	|     28461 |   10977   147785   432623 |    65567    28018     27 | 59.522 % |
39.50/40.19	c 40	|     28798 |   10977   147785   432623 |    72124    28355     27 | 59.522 % |
40.00/40.63	c 40	|     29305 |   10977   147785   432623 |    79336    28862     27 | 59.522 % |
40.49/41.14	c 41	|     30065 |   10977   147785   432623 |    87270    29622     27 | 59.522 % |
41.48/42.19	c 42	|     31206 |   10977   147785   432623 |    95997    30763     26 | 59.522 % |
42.96/43.63	c 43	|     32914 |   10977   147785   432623 |   105596    32471     26 | 59.522 % |
45.34/46.06	c 46	|     35477 |   10977   147785   432623 |   116156    35034     25 | 59.522 % |
49.20/49.92	c 50	|     39322 |   10977   147785   432623 |   127772    38879     25 | 59.522 % |
54.25/55.03	c 55	|     45088 |   10977   147785   432623 |   140549    44645     25 | 59.522 % |
62.88/63.78	c 63	|     53739 |   10977   147785   432623 |   154604    53296     24 | 59.522 % |
67.53/68.42	c 68	===============================================================================
67.53/68.42	c 68	restarts              : 39
67.53/68.42	c 68	conflicts             : 58558         (979 /sec)
67.53/68.42	c 68	decisions             : 80250         (0.81 % random) (1342 /sec)
67.53/68.42	c 68	propagations          : 69697326       (1165119 /sec)
67.53/68.42	c 68	conflict literals     : 1419132        (31.08 % deleted)
67.53/68.42	c 68	Memory used           : 85.70 MB
67.53/68.42	c 68	CPU time              : 59.8199 s
67.53/68.42	c 68	
67.53/68.42	c 68	SATISFIABLE
67.53/68.43	c 68	OK
67.53/68.43	c 68	FOUND: _COST <= 19
67.53/68.43	c 68	DECODING HOME/temp.out WITH HOME/temp.map
67.53/68.43	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'
67.56/68.52	c 68	Decoding HOME/temp.out
67.56/68.87	c 68	OBJECTIVE _COST 19
67.56/68.87	o 19
67.56/68.88	v 9 13 2 13 13 3 11 10 3 8 4 6 13 10 5 5 6 3 6 13 13 7 13 7 10 8 5 10 8 4 1 10 9 1 4 2 0 13 12 6 11 1 13 2 0 1 4 4 2 13 13 5 3 9 10 12 4 13 11 13 10 13 9 3 3 7 4 0 1 12 6 4 3 5 5 5 2 4 3 0 4 4 5 4 0 13 4 4 2 12 2 4 1 1 2 5 3 5 1 5 4 5 1 0 9 3 0 4 1 4 3 5 6 1 13 4 13 13 8 5 3 5 2 1 2 1 5 2 3 4 2 2 5 4 4 4 2 2 4 13 2 1 2 3 5 13 7 12 6 2 10 1 1 11 1 5 6 4 1 2 5 5 1 5 10 13 1 12 10 4 13 2 2 5 2 5 0 4 0 2 2 10 0 4 1 3 5 2 1 1 5 2 0 5 5 7 -1
67.56/68.89	c 69	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
67.56/68.96	c 69	OK
67.56/68.96	c 69	OBJECTIVE BOUND: 0 <= _COST <= 19
67.56/68.96	c 69	SEARCHING: _COST <= 9
67.56/68.96	c 69	============================[ Search Statistics ]==============================
67.56/68.96	c 69	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
67.56/68.96	c 69	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
67.56/68.96	c 69	===============================================================================
67.56/68.96	c 69	|     58558 |    9627    86883   253948 |    28961    48932     23 | 59.522 % |
68.19/69.15	c 69	|     58662 |    9627    86883   253948 |    31857    13028     20 | 64.500 % |
68.29/69.27	c 69	|     58812 |    9627    86883   253948 |    35042    13178     20 | 64.500 % |
68.48/69.43	c 69	|     59038 |    9627    86883   253948 |    38547    13404     20 | 64.500 % |
68.68/69.66	c 69	|     59376 |    9627    86883   253948 |    42401    13742     20 | 64.500 % |
69.07/70.06	c 70	|     59882 |    9627    86883   253948 |    46641    14248     20 | 64.500 % |
69.57/70.58	c 70	|     60641 |    9627    86883   253948 |    51306    15007     19 | 64.500 % |
70.46/71.47	c 71	|     61780 |    9627    86883   253948 |    56436    16146     19 | 64.500 % |
71.85/72.83	c 72	|     63488 |    9627    86883   253948 |    62080    17854     18 | 64.500 % |
73.83/74.84	c 74	|     66050 |    9627    86883   253948 |    68288    20416     18 | 64.500 % |
77.00/78.01	c 78	|     69894 |    9627    86883   253948 |    75117    24260     17 | 64.500 % |
81.94/83.08	c 83	|     75660 |    9627    86883   253948 |    82629    30026     16 | 64.500 % |
86.00/87.10	c 87	===============================================================================
86.00/87.10	c 87	restarts              : 51
86.00/87.10	c 87	conflicts             : 80306         (1032 /sec)
86.00/87.10	c 87	decisions             : 106943        (0.91 % random) (1374 /sec)
86.00/87.10	c 87	propagations          : 99245724       (1275125 /sec)
86.00/87.10	c 87	conflict literals     : 1711506        (30.65 % deleted)
86.00/87.10	c 87	Memory used           : 85.70 MB
86.00/87.10	c 87	CPU time              : 77.8322 s
86.00/87.10	c 87	
86.00/87.10	c 87	UNSATISFIABLE
86.00/87.10	c 87	OK
86.00/87.10	c 87	NOT FOUND: _COST <= 9
86.00/87.10	c 87	OK
86.00/87.10	c 87	OBJECTIVE BOUND: 10 <= _COST <= 19
86.00/87.10	c 87	SEARCHING: _COST <= 14
86.00/87.10	c 87	============================[ Search Statistics ]==============================
86.00/87.10	c 87	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
86.00/87.10	c 87	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
86.00/87.10	c 87	===============================================================================
86.00/87.10	c 87	|     80306 |    9598    86730   253572 |    28910    34671     16 | 64.500 % |
86.10/87.22	c 87	|     80407 |    9598    86730   253572 |    31801    34772     16 | 64.607 % |
86.20/87.36	c 87	|     80557 |    9598    86730   253572 |    34981    34922     16 | 64.607 % |
86.40/87.56	c 87	|     80782 |    9598    86730   253572 |    38479    35147     16 | 64.607 % |
86.70/87.84	c 87	|     81119 |    9598    86730   253572 |    42327    35484     16 | 64.607 % |
87.09/88.29	c 88	|     81625 |    9598    86730   253572 |    46559    35990     16 | 64.607 % |
87.78/88.93	c 89	|     82385 |    9598    86730   253572 |    51215    36750     16 | 64.607 % |
88.77/89.97	c 90	|     83525 |    9598    86730   253572 |    56337    37890     16 | 64.607 % |
90.36/91.56	c 91	|     85233 |    9598    86730   253572 |    61971    39598     16 | 64.607 % |
92.64/93.83	c 93	|     87795 |    9598    86730   253572 |    68168    42160     16 | 64.607 % |
96.30/97.57	c 97	|     91640 |    9598    86730   253572 |    74985    46005     16 | 64.607 % |
101.54/102.80	c 102	|     97406 |    9598    86730   253572 |    82483    51771     16 | 64.607 % |
110.75/112.15	c 112	|    106057 |    9598    86730   253572 |    90731    60422     17 | 64.607 % |
124.02/125.52	c 125	|    119032 |    9598    86730   253572 |    99805    73397     18 | 64.607 % |
149.27/151.06	c 151	|    138494 |    9598    86730   253572 |   109785    92859     17 | 64.607 % |
188.67/190.86	c 190	|    167686 |    9598    86730   253572 |   120764   122051     19 | 64.607 % |
243.84/246.58	c 246	|    211475 |    9598    86730   253572 |   132840    40838     25 | 64.607 % |
338.42/342.05	c 342	|    277159 |    9598    86730   253572 |   146124   106522     23 | 64.607 % |
489.79/494.86	c 494	|    375688 |    9598    86730   253572 |   160737    55937     18 | 64.607 % |
719.29/726.51	c 726	|    523477 |    9598    86730   253572 |   176810    41342     17 | 64.607 % |
1057.27/1065.60	c 1065	|    745160 |    9598    86730   253572 |   194492    81825     25 | 64.607 % |
1081.67/1090.04	c 1090	===============================================================================
1081.67/1090.04	c 1090	restarts              : 72
1081.67/1090.04	c 1090	conflicts             : 759547        (708 /sec)
1081.67/1090.04	c 1090	decisions             : 909548        (1.06 % random) (847 /sec)
1081.67/1090.04	c 1090	propagations          : 945615132      (880876 /sec)
1081.67/1090.04	c 1090	conflict literals     : 15861641       (29.90 % deleted)
1081.67/1090.04	c 1090	Memory used           : 90.20 MB
1081.67/1090.04	c 1090	CPU time              : 1073.49 s
1081.67/1090.04	c 1090	
1081.67/1090.04	c 1090	UNSATISFIABLE
1081.67/1090.04	c 1090	OK
1081.67/1090.04	c 1090	NOT FOUND: _COST <= 14
1081.67/1090.05	c 1090	OK
1081.67/1090.05	c 1090	OBJECTIVE BOUND: 15 <= _COST <= 19
1081.67/1090.05	c 1090	SEARCHING: _COST <= 17
1081.67/1090.05	c 1090	============================[ Search Statistics ]==============================
1081.67/1090.05	c 1090	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1081.67/1090.05	c 1090	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1081.67/1090.05	c 1090	===============================================================================
1081.67/1090.05	c 1090	|    759547 |    9573    86550   253107 |    28850    96211     24 | 64.607 % |
1082.66/1091.05	c 1091	|    759647 |    9573    86550   253107 |    31735    15873     16 | 64.699 % |
1082.77/1091.15	c 1091	|    759797 |    9573    86550   253107 |    34908    16023     16 | 64.699 % |
1082.87/1091.27	c 1091	|    760022 |    9573    86550   253107 |    38399    16248     16 | 64.699 % |
1083.16/1091.56	c 1091	|    760360 |    9573    86550   253107 |    42239    16586     16 | 64.699 % |
1083.46/1091.89	c 1092	|    760866 |    9573    86550   253107 |    46463    17092     16 | 64.699 % |
1084.06/1092.48	c 1092	|    761627 |    9573    86550   253107 |    51109    17853     16 | 64.699 % |
1084.96/1093.33	c 1093	|    762767 |    9573    86550   253107 |    56220    18993     16 | 64.699 % |
1086.26/1094.69	c 1094	|    764475 |    9573    86550   253107 |    61842    20701     16 | 64.699 % |
1088.16/1096.53	c 1096	|    767037 |    9573    86550   253107 |    68026    23263     16 | 64.699 % |
1091.45/1099.80	c 1099	|    770883 |    9573    86550   253107 |    74829    27109     17 | 64.699 % |
1095.55/1103.99	c 1104	|    776651 |    9573    86550   253107 |    82312    32877     18 | 64.699 % |
1103.65/1112.07	c 1112	|    785301 |    9573    86550   253107 |    90543    41527     18 | 64.699 % |
1116.45/1124.89	c 1125	|    798276 |    9573    86550   253107 |    99598    54502     19 | 64.699 % |
1140.24/1148.67	c 1148	|    817738 |    9573    86550   253107 |   109557    73964     19 | 64.699 % |
1179.62/1188.01	c 1188	|    846931 |    9573    86550   253107 |   120513   103157     21 | 64.699 % |
1247.99/1256.41	c 1256	|    890720 |    9573    86550   253107 |   132564    24844     20 | 64.699 % |
1331.95/1340.40	c 1340	|    956404 |    9573    86550   253107 |   145821    90528     24 | 64.699 % |
1494.29/1502.80	c 1502	|   1054930 |    9573    86550   253107 |   160403    41002     17 | 64.699 % |
1721.09/1729.76	c 1729	|   1202721 |    9573    86550   253107 |   176443    23594     27 | 64.699 % |
2041.55/2050.35	c 2050	|   1424404 |    9573    86550   253107 |   194088    66715     20 | 64.699 % |
2124.00/2132.87	c 2132	===============================================================================
2124.00/2132.87	c 2132	restarts              : 93
2124.00/2132.87	c 2132	conflicts             : 1484571       (702 /sec)
2124.00/2132.87	c 2132	decisions             : 1764029       (1.08 % random) (834 /sec)
2124.00/2132.87	c 2132	propagations          : 1853741335     (876147 /sec)
2124.00/2132.87	c 2132	conflict literals     : 31861342       (30.30 % deleted)
2124.00/2132.88	c 2132	Memory used           : 92.15 MB
2124.00/2132.88	c 2132	CPU time              : 2115.79 s
2124.00/2132.88	c 2132	
2124.00/2132.88	c 2132	SATISFIABLE
2124.00/2132.88	c 2133	OK
2124.00/2132.88	c 2133	FOUND: _COST <= 17
2124.00/2132.88	c 2133	DECODING HOME/temp.out WITH HOME/temp.map
2124.00/2132.88	c 2133	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2124.09/2132.97	c 2133	Decoding HOME/temp.out
2124.09/2133.13	c 2133	OBJECTIVE _COST 17
2124.09/2133.13	o 17
2124.09/2133.14	v 9 13 3 5 1 10 3 4 10 13 2 6 13 4 10 5 6 3 6 13 13 7 13 6 8 8 4 10 8 4 1 10 9 1 4 2 0 13 12 4 13 3 1 2 0 2 4 8 2 13 13 9 3 10 9 12 4 13 11 4 13 9 13 3 3 7 10 0 2 13 6 4 3 5 5 5 2 4 3 0 4 4 5 4 0 13 4 4 2 12 2 4 1 2 2 2 0 10 1 5 4 5 1 0 9 4 0 2 1 4 2 5 6 1 13 3 13 13 8 5 3 5 2 1 2 0 5 2 3 4 2 2 5 4 4 4 2 2 5 13 2 1 2 11 5 13 7 13 6 1 10 1 2 11 1 5 6 4 1 2 5 5 1 5 10 13 1 12 10 4 13 2 2 5 2 5 0 4 0 2 2 10 0 2 5 2 1 4 4 5 0 3 4 3 10 7 -1
2124.09/2133.15	c 2133	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2124.09/2133.25	c 2133	OK
2124.09/2133.25	c 2133	OBJECTIVE BOUND: 15 <= _COST <= 17
2124.09/2133.25	c 2133	SEARCHING: _COST <= 16
2124.09/2133.25	c 2133	============================[ Search Statistics ]==============================
2124.09/2133.25	c 2133	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2124.09/2133.25	c 2133	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2124.09/2133.25	c 2133	===============================================================================
2124.09/2133.25	c 2133	|   1484571 |    9311    78929   231028 |    26309   126882     23 | 64.699 % |
2125.15/2134.09	c 2134	|   1484672 |    9311    78929   231028 |    28940    15185     25 | 65.665 % |
2125.34/2134.20	c 2134	|   1484824 |    9311    78929   231028 |    31834    15337     24 | 65.665 % |
2125.44/2134.38	c 2134	|   1485050 |    9311    78929   231028 |    35018    15563     24 | 65.665 % |
2125.74/2134.63	c 2134	|   1485387 |    9311    78929   231028 |    38519    15900     24 | 65.665 % |
2126.04/2134.98	c 2135	|   1485893 |    9311    78929   231028 |    42371    16406     24 | 65.665 % |
2126.64/2135.52	c 2135	|   1486653 |    9311    78929   231028 |    46609    17166     24 | 65.665 % |
2127.44/2136.39	c 2136	|   1487792 |    9311    78929   231028 |    51270    18305     23 | 65.665 % |
2128.84/2137.72	c 2137	|   1489500 |    9311    78929   231028 |    56397    20013     23 | 65.665 % |
2130.64/2139.56	c 2139	|   1492062 |    9311    78929   231028 |    62036    22575     22 | 65.665 % |
2133.84/2142.71	c 2142	|   1495907 |    9311    78929   231028 |    68240    26420     22 | 65.665 % |
2138.83/2147.80	c 2147	|   1501674 |    9311    78929   231028 |    75064    32187     21 | 65.665 % |
2146.93/2155.81	c 2155	|   1510323 |    9311    78929   231028 |    82571    40836     21 | 65.665 % |
2160.73/2169.65	c 2169	|   1523297 |    9311    78929   231028 |    90828    53810     20 | 65.665 % |
2183.72/2192.63	c 2192	|   1542761 |    9311    78929   231028 |    99910    73274     20 | 65.665 % |
2219.80/2228.75	c 2228	|   1571955 |    9311    78929   231028 |   109902   102468     21 | 65.665 % |
2275.37/2284.37	c 2284	|   1615744 |    9311    78929   231028 |   120892    33457     22 | 65.665 % |
2347.54/2356.55	c 2356	|   1681429 |    9311    78929   231028 |   132981    99142     25 | 65.665 % |
2485.08/2494.13	c 2494	|   1779955 |    9311    78929   231028 |   146279    59538     27 | 65.665 % |
2688.79/2697.91	c 2698	|   1927749 |    9311    78929   231028 |   160907    58493     25 | 65.665 % |
2924.50/2933.74	c 2933	===============================================================================
2924.50/2933.74	c 2933	restarts              : 113
2924.50/2933.74	c 2933	conflicts             : 2093672       (718 /sec)
2924.50/2933.74	c 2933	decisions             : 2469587       (1.09 % random) (847 /sec)
2924.50/2933.74	c 2933	propagations          : 2602971701     (892664 /sec)
2924.50/2933.74	c 2933	conflict literals     : 46223262       (30.83 % deleted)
2924.50/2933.74	c 2933	Memory used           : 92.62 MB
2924.50/2933.74	c 2933	CPU time              : 2915.96 s
2924.50/2933.74	c 2933	
2924.50/2933.74	c 2933	SATISFIABLE
2924.50/2933.75	c 2933	OK
2924.50/2933.75	c 2933	FOUND: _COST <= 16
2924.50/2933.75	c 2933	DECODING HOME/temp.out WITH HOME/temp.map
2924.50/2933.75	c 2933	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2924.54/2933.83	c 2933	Decoding HOME/temp.out
2924.54/2934.00	c 2934	OBJECTIVE _COST 16
2924.54/2934.00	o 16
2924.54/2934.00	v 12 9 3 5 1 10 3 4 10 13 2 6 13 4 10 5 6 3 6 13 13 7 13 7 10 8 5 10 8 4 1 10 9 1 4 2 0 13 12 6 11 3 2 2 0 1 4 3 2 13 13 9 3 9 10 12 4 13 11 10 13 9 13 3 3 7 3 0 1 12 6 4 3 5 5 5 2 4 3 0 4 4 5 4 0 13 4 4 2 12 2 4 1 1 2 2 0 10 1 5 4 5 1 0 9 4 0 3 1 4 3 5 6 1 13 3 13 13 12 5 3 4 2 1 2 0 5 2 3 4 0 2 5 4 4 4 2 2 5 13 2 1 2 11 5 13 7 13 6 2 10 1 2 11 1 5 6 4 1 2 5 5 1 5 10 13 1 12 10 4 13 2 2 5 2 4 1 4 0 2 2 10 0 2 5 2 1 4 4 5 0 3 4 3 10 7 -1
2924.54/2934.01	c 2934	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2924.54/2934.04	c 2934	OK
2924.54/2934.04	c 2934	OBJECTIVE BOUND: 15 <= _COST <= 16
2924.54/2934.04	c 2934	SEARCHING: _COST <= 15
2924.54/2934.04	c 2934	============================[ Search Statistics ]==============================
2924.54/2934.04	c 2934	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2924.54/2934.04	c 2934	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2924.54/2934.04	c 2934	===============================================================================
2924.54/2934.04	c 2934	|   2093672 |    9180    75303   220542 |    25101    58690     26 | 65.665 % |
2925.19/2934.44	c 2934	|   2093773 |    9180    75303   220542 |    27611    15923     24 | 66.148 % |
2925.29/2934.55	c 2934	|   2093925 |    9180    75303   220542 |    30372    16075     24 | 66.148 % |
2925.50/2934.70	c 2934	|   2094151 |    9180    75303   220542 |    33409    16301     24 | 66.148 % |
2925.69/2934.96	c 2935	|   2094488 |    9180    75303   220542 |    36750    16638     24 | 66.148 % |
2925.99/2935.27	c 2935	|   2094994 |    9180    75303   220542 |    40425    17144     23 | 66.148 % |
2926.49/2935.76	c 2935	|   2095753 |    9180    75303   220542 |    44467    17903     23 | 66.148 % |
2927.19/2936.42	c 2936	|   2096895 |    9180    75303   220542 |    48914    19045     23 | 66.148 % |
2928.19/2937.45	c 2937	|   2098603 |    9180    75303   220542 |    53806    20753     22 | 66.148 % |
2930.00/2939.23	c 2939	|   2101165 |    9180    75303   220542 |    59186    23315     22 | 66.148 % |
2933.09/2942.32	c 2942	|   2105009 |    9180    75303   220542 |    65105    27159     21 | 66.148 % |
2938.38/2947.64	c 2947	|   2110776 |    9180    75303   220542 |    71616    32926     21 | 66.148 % |
2946.39/2955.65	c 2955	|   2119426 |    9180    75303   220542 |    78777    41576     20 | 66.148 % |
2960.27/2969.51	c 2969	|   2132404 |    9180    75303   220542 |    86655    54554     20 | 66.148 % |
2983.06/2992.36	c 2992	|   2151866 |    9180    75303   220542 |    95321    74016     21 | 66.148 % |
3022.55/3031.83	c 3031	|   2181058 |    9180    75303   220542 |   104853   103208     20 | 66.148 % |
3074.03/3083.35	c 3083	|   2224847 |    9180    75303   220542 |   115338    39825     23 | 66.148 % |
3080.92/3090.27	c 3090	===============================================================================
3080.92/3090.27	c 3090	restarts              : 130
3080.92/3090.27	c 3090	conflicts             : 2231475       (726 /sec)
3080.92/3090.27	c 3090	decisions             : 2630965       (1.09 % random) (856 /sec)
3080.92/3090.27	c 3090	propagations          : 2770955067     (901961 /sec)
3080.92/3090.27	c 3090	conflict literals     : 49123364       (30.89 % deleted)
3080.92/3090.27	c 3090	Memory used           : 92.62 MB
3080.92/3090.27	c 3090	CPU time              : 3072.14 s
3080.92/3090.27	c 3090	
3080.92/3090.27	c 3090	SATISFIABLE
3080.92/3090.28	c 3090	OK
3080.92/3090.28	c 3090	FOUND: _COST <= 15
3080.92/3090.28	c 3090	DECODING HOME/temp.out WITH HOME/temp.map
3080.92/3090.28	c 3090	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3081.00/3090.37	c 3090	Decoding HOME/temp.out
3081.00/3090.51	c 3090	OBJECTIVE _COST 15
3081.00/3090.51	o 15
3081.00/3090.52	v 9 13 3 5 1 10 3 4 10 13 2 6 13 4 10 5 6 3 6 13 13 7 13 7 10 8 5 10 8 4 1 10 9 1 4 2 0 13 12 6 11 3 1 2 0 2 4 3 2 13 13 9 3 9 10 11 4 13 10 12 13 9 13 3 3 7 3 0 1 12 6 4 3 5 5 5 2 4 3 0 4 4 5 4 0 13 4 4 2 12 2 4 1 1 2 2 0 10 1 5 4 5 1 0 9 4 0 3 1 4 3 5 6 1 13 3 13 13 8 5 3 5 2 1 2 0 5 2 3 4 2 2 5 4 4 4 2 2 5 13 2 1 2 11 5 13 7 13 6 1 10 1 2 11 1 5 6 4 1 2 5 5 1 5 10 13 1 12 10 4 13 2 2 5 2 4 1 4 0 2 2 10 0 2 5 2 1 4 4 5 0 3 4 3 10 7 -1
3081.00/3090.52	c 3090	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3081.00/3090.57	c 3090	OK
3081.00/3090.57	c 3090	OBJECTIVE _COST 15
3081.00/3090.57	s OPTIMUM FOUND
3081.29/3090.60	c 3090	CPU 3080.27 (0.08 0.04 3080.19 0.97)
3081.29/3090.60	c 3090	END Wed Jul 16 03:24:13 2008

Verifier Data (download as text)

OK	15	1228
15 unsatisfied constraints, 1228 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-1125251-1216168363/watcher-1125251-1216168363 -o /tmp/evaluation-result-1125251-1216168363/solver-1125251-1216168363 -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-1125251-1216168363.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: 1.92 1.98 1.99 4/87 30344
/proc/meminfo: memFree=1742624/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=12268 CPUtime=0
/proc/30344/stat : 30344 (sugar++) R 30342 30344 28512 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 73534062 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 231962540645 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/30344/statm: 3067 316 241 3 0 167 0

[startup+0.0815141 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 30344
/proc/meminfo: memFree=1742624/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=16740 CPUtime=0.06
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 1143 0 0 0 5 1 0 0 18 0 1 0 73534062 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30344/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.101215 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 30344
/proc/meminfo: memFree=1742624/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=16740 CPUtime=0.06
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 73534062 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30344/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.301134 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 30344
/proc/meminfo: memFree=1742624/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=16740 CPUtime=0.06
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 73534062 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30344/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.701194 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 30344
/proc/meminfo: memFree=1742624/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=16740 CPUtime=0.06
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 73534062 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30344/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+1.5023 s]
/proc/loadavg: 1.92 1.98 1.99 4/98 30366
/proc/meminfo: memFree=1734792/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=16740 CPUtime=0.87
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 1297 5111 0 1 6 1 76 4 15 0 1 0 73534062 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30344/statm: 4185 1104 409 3 0 764 0
[pid=30357] ppid=30344 vsize=5356 CPUtime=0
/proc/30357/stat : 30357 (sh) S 30344 30344 28512 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73534154 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30357/statm: 1339 233 193 169 0 50 0
[pid=30358] ppid=30357 vsize=864040 CPUtime=0.55
/proc/30358/stat : 30358 (java) S 30357 30344 28512 0 -1 0 5910 0 1 0 52 3 0 0 19 0 9 0 73534155 884776960 5200 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30358/statm: 216010 5200 2540 9 0 210585 0
[pid=30358/tid=30359] ppid=30357 vsize=864040 CPUtime=0.38
/proc/30358/task/30359/stat : 30359 (java) R 30357 30344 28512 0 -1 64 2483 0 1 0 37 1 0 0 21 0 9 0 73534156 884776960 5200 996147200 134512640 134550740 4294955920 18446744073709551615 4125961230 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30360] ppid=30357 vsize=864040 CPUtime=0.09
/proc/30358/task/30360/stat : 30360 (java) S 30357 30344 28512 0 -1 64 2392 0 0 0 8 1 0 0 16 0 9 0 73534157 884776960 5200 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30361] ppid=30357 vsize=864040 CPUtime=0
/proc/30358/task/30361/stat : 30361 (java) S 30357 30344 28512 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73534157 884776960 5200 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30362] ppid=30357 vsize=864040 CPUtime=0
/proc/30358/task/30362/stat : 30362 (java) S 30357 30344 28512 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 73534157 884776960 5200 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30363] ppid=30357 vsize=864040 CPUtime=0
/proc/30358/task/30363/stat : 30363 (java) S 30357 30344 28512 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 73534159 884776960 5200 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30364] ppid=30357 vsize=864040 CPUtime=0.07
/proc/30358/task/30364/stat : 30364 (java) S 30357 30344 28512 0 -1 64 339 0 0 0 7 0 0 0 16 0 9 0 73534159 884776960 5200 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30365] ppid=30357 vsize=864040 CPUtime=0
/proc/30358/task/30365/stat : 30365 (java) S 30357 30344 28512 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 73534159 884776960 5200 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30366] ppid=30357 vsize=864040 CPUtime=0
/proc/30358/task/30366/stat : 30366 (java) S 30357 30344 28512 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 73534159 884776960 5200 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 886136

[startup+3.10251 s]
/proc/loadavg: 1.92 1.98 1.99 3/98 30366
/proc/meminfo: memFree=1715720/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=16740 CPUtime=0.88
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 1297 5111 0 1 6 2 76 4 15 0 1 0 73534062 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30344/statm: 4185 1104 409 3 0 764 0
[pid=30357] ppid=30344 vsize=5356 CPUtime=0
/proc/30357/stat : 30357 (sh) S 30344 30344 28512 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73534154 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30357/statm: 1339 233 193 169 0 50 0
[pid=30358] ppid=30357 vsize=868520 CPUtime=2.13
/proc/30358/stat : 30358 (java) S 30357 30344 28512 0 -1 0 9383 0 1 0 202 11 0 0 19 0 9 0 73534155 889364480 8369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30358/statm: 217130 8369 2565 9 0 211677 0
[pid=30358/tid=30359] ppid=30357 vsize=868520 CPUtime=1.46
/proc/30358/task/30359/stat : 30359 (java) R 30357 30344 28512 0 -1 64 2908 0 1 0 140 6 0 0 24 0 9 0 73534156 889364480 8369 996147200 134512640 134550740 4294955920 18446744073709551615 102064761 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30360] ppid=30357 vsize=868520 CPUtime=0.35
/proc/30358/task/30360/stat : 30360 (java) S 30357 30344 28512 0 -1 64 4273 0 0 0 33 2 0 0 16 0 9 0 73534157 889364480 8369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30361] ppid=30357 vsize=868520 CPUtime=0
/proc/30358/task/30361/stat : 30361 (java) S 30357 30344 28512 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73534157 889364480 8369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30362] ppid=30357 vsize=868520 CPUtime=0
/proc/30358/task/30362/stat : 30362 (java) S 30357 30344 28512 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 73534157 889364480 8369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30363] ppid=30357 vsize=868520 CPUtime=0
/proc/30358/task/30363/stat : 30363 (java) S 30357 30344 28512 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 73534159 889364480 8369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30364] ppid=30357 vsize=868520 CPUtime=0.28
/proc/30358/task/30364/stat : 30364 (java) S 30357 30344 28512 0 -1 64 1506 0 0 0 27 1 0 0 16 0 9 0 73534159 889364480 8369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30365] ppid=30357 vsize=868520 CPUtime=0
/proc/30358/task/30365/stat : 30365 (java) S 30357 30344 28512 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 73534159 889364480 8369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30366] ppid=30357 vsize=868520 CPUtime=0
/proc/30358/task/30366/stat : 30366 (java) S 30357 30344 28512 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 73534159 889364480 8369 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 890616

[startup+6.30295 s]
/proc/loadavg: 2.01 2.00 2.00 3/98 30366
/proc/meminfo: memFree=1683976/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=16740 CPUtime=0.88
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 1297 5111 0 1 6 2 76 4 15 0 1 0 73534062 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30344/statm: 4185 1104 409 3 0 764 0
[pid=30357] ppid=30344 vsize=5356 CPUtime=0
/proc/30357/stat : 30357 (sh) S 30344 30344 28512 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73534154 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30357/statm: 1339 233 193 169 0 50 0
[pid=30358] ppid=30357 vsize=868520 CPUtime=5.29
/proc/30358/stat : 30358 (java) S 30357 30344 28512 0 -1 0 10252 0 1 0 494 35 0 0 19 0 9 0 73534155 889364480 8371 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30358/statm: 217130 8371 2565 9 0 211677 0
[pid=30358/tid=30359] ppid=30357 vsize=868520 CPUtime=4.4
/proc/30358/task/30359/stat : 30359 (java) R 30357 30344 28512 0 -1 64 3775 0 1 0 414 26 0 0 25 0 9 0 73534156 889364480 8371 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30360] ppid=30357 vsize=868520 CPUtime=0.57
/proc/30358/task/30360/stat : 30360 (java) S 30357 30344 28512 0 -1 64 4273 0 0 0 50 7 0 0 16 0 9 0 73534157 889364480 8371 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30361] ppid=30357 vsize=868520 CPUtime=0
/proc/30358/task/30361/stat : 30361 (java) S 30357 30344 28512 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73534157 889364480 8371 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30362] ppid=30357 vsize=868520 CPUtime=0
/proc/30358/task/30362/stat : 30362 (java) S 30357 30344 28512 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 73534157 889364480 8371 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30363] ppid=30357 vsize=868520 CPUtime=0
/proc/30358/task/30363/stat : 30363 (java) S 30357 30344 28512 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 73534159 889364480 8371 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30364] ppid=30357 vsize=868520 CPUtime=0.29
/proc/30358/task/30364/stat : 30364 (java) S 30357 30344 28512 0 -1 64 1508 0 0 0 28 1 0 0 16 0 9 0 73534159 889364480 8371 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30365] ppid=30357 vsize=868520 CPUtime=0
/proc/30358/task/30365/stat : 30365 (java) S 30357 30344 28512 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 73534159 889364480 8371 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30358/tid=30366] ppid=30357 vsize=868520 CPUtime=0
/proc/30358/task/30366/stat : 30366 (java) S 30357 30344 28512 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 73534159 889364480 8371 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 890616

[startup+12.7018 s]
/proc/loadavg: 2.09 2.02 2.01 3/89 30407
/proc/meminfo: memFree=1612368/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=7.36
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 1798 31464 0 6 7 2 674 53 15 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=87124 CPUtime=5.03
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 21379 0 0 0 491 12 0 0 22 0 1 0 73534714 89214976 21319 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/30367/statm: 21781 21319 80 151 0 21627 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 104128

[startup+25.5016 s]
/proc/loadavg: 2.21 2.05 2.01 3/89 30407
/proc/meminfo: memFree=1612432/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=7.36
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 1798 31464 0 6 7 2 674 53 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=87576 CPUtime=17.7
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 21477 0 0 0 1758 12 0 0 25 0 1 0 73534714 89677824 21417 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/30367/statm: 21894 21417 80 151 0 21740 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 104580

[startup+51.101 s]
/proc/loadavg: 2.22 2.06 2.02 3/89 30417
/proc/meminfo: memFree=1612304/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=7.61
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 1869 35405 0 7 7 3 696 55 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=87576 CPUtime=42.77
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 21505 0 0 0 4265 12 0 0 25 0 1 0 73534714 89677824 21443 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 1 0 0
/proc/30367/statm: 21894 21443 80 151 0 21740 0
Current children cumulated CPU time (s) 50.38
Current children cumulated vsize (KiB) 104580

[startup+102.307 s]
/proc/loadavg: 2.17 2.08 2.02 3/89 30427
/proc/meminfo: memFree=1612176/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=8.05
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 1943 39345 0 8 7 3 736 59 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=87748 CPUtime=93.01
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 21567 0 0 0 9288 13 0 0 25 0 1 0 73534714 89853952 21493 996147200 134512640 135134323 4294956192 18446744073709551615 134523897 0 0 4096 3 0 0 0 17 1 0 0
/proc/30367/statm: 21937 21493 80 151 0 21783 0
Current children cumulated CPU time (s) 101.06
Current children cumulated vsize (KiB) 104752

[startup+162.301 s]
/proc/loadavg: 2.10 2.08 2.02 3/89 30427
/proc/meminfo: memFree=1611920/2055920 swapFree=4176684/4192956

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

/proc/30367/statm: 23628 22947 80 151 0 23474 0
Current children cumulated CPU time (s) 2733.18
Current children cumulated vsize (KiB) 111516

[startup+2802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30888
/proc/meminfo: memFree=1600280/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=8.31
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 2012 43283 0 9 7 3 759 62 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=94512 CPUtime=2784.84
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 23025 0 0 0 278458 26 0 0 25 0 1 0 73534714 96780288 22947 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/30367/statm: 23628 22947 80 151 0 23474 0
Current children cumulated CPU time (s) 2793.15
Current children cumulated vsize (KiB) 111516

[startup+2862.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30890
/proc/meminfo: memFree=1600024/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=8.31
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 2012 43283 0 9 7 3 759 62 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=94840 CPUtime=2844.81
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 23109 0 0 0 284454 27 0 0 25 0 1 0 73534714 97116160 23031 996147200 134512640 135134323 4294956192 18446744073709551615 134528238 0 0 4096 3 0 0 0 17 0 0 0
/proc/30367/statm: 23710 23031 80 151 0 23556 0
Current children cumulated CPU time (s) 2853.12
Current children cumulated vsize (KiB) 111844

[startup+2922.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30890
/proc/meminfo: memFree=1600024/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=8.31
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 2012 43283 0 9 7 3 759 62 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=94840 CPUtime=2904.79
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 23110 0 0 0 290452 27 0 0 25 0 1 0 73534714 97116160 23032 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/30367/statm: 23710 23032 80 151 0 23556 0
Current children cumulated CPU time (s) 2913.1
Current children cumulated vsize (KiB) 111844

[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30900
/proc/meminfo: memFree=1599896/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=8.58
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 2082 47225 0 10 8 4 781 65 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=94840 CPUtime=2964.49
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 23112 0 0 0 296422 27 0 0 25 0 1 0 73534714 97116160 23032 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/30367/statm: 23710 23032 80 151 0 23556 0
Current children cumulated CPU time (s) 2973.07
Current children cumulated vsize (KiB) 111844

[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30900
/proc/meminfo: memFree=1599896/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=8.58
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 2082 47225 0 10 8 4 781 65 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=94840 CPUtime=3024.46
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 23112 0 0 0 302419 27 0 0 25 0 1 0 73534714 97116160 23032 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/30367/statm: 23710 23032 80 151 0 23556 0
Current children cumulated CPU time (s) 3033.04
Current children cumulated vsize (KiB) 111844

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

[startup+3046.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30900
/proc/meminfo: memFree=1599896/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=8.58
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 2082 47225 0 10 8 4 781 65 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=94840 CPUtime=3028.46
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 23112 0 0 0 302819 27 0 0 25 0 1 0 73534714 97116160 23032 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/30367/statm: 23710 23032 80 151 0 23556 0
Current children cumulated CPU time (s) 3037.04
Current children cumulated vsize (KiB) 111844

[startup+3071.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30900
/proc/meminfo: memFree=1599896/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=8.58
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 2082 47225 0 10 8 4 781 65 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=94840 CPUtime=3054.05
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 23120 0 0 0 305378 27 0 0 25 0 1 0 73534714 97116160 23040 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 0 0 0
/proc/30367/statm: 23710 23040 80 151 0 23556 0
Current children cumulated CPU time (s) 3062.63
Current children cumulated vsize (KiB) 111844

[startup+3078.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30900
/proc/meminfo: memFree=1599896/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=8.58
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 2082 47225 0 10 8 4 781 65 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=94840 CPUtime=3060.44
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 23120 0 0 0 306017 27 0 0 25 0 1 0 73534714 97116160 23040 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/30367/statm: 23710 23040 80 151 0 23556 0
Current children cumulated CPU time (s) 3069.02
Current children cumulated vsize (KiB) 111844

[startup+3084.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30900
/proc/meminfo: memFree=1599896/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=8.58
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 2082 47225 0 10 8 4 781 65 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=94840 CPUtime=3066.84
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 23120 0 0 0 306657 27 0 0 25 0 1 0 73534714 97116160 23040 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/30367/statm: 23710 23040 80 151 0 23556 0
Current children cumulated CPU time (s) 3075.42
Current children cumulated vsize (KiB) 111844

[startup+3087.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30900
/proc/meminfo: memFree=1599896/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=8.58
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 2082 47225 0 10 8 4 781 65 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=94840 CPUtime=3070.04
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 23120 0 0 0 306977 27 0 0 25 0 1 0 73534714 97116160 23040 996147200 134512640 135134323 4294956192 18446744073709551615 134531908 0 0 4096 3 0 0 0 17 0 0 0
/proc/30367/statm: 23710 23040 80 151 0 23556 0
Current children cumulated CPU time (s) 3078.62
Current children cumulated vsize (KiB) 111844

[startup+3089.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30900
/proc/meminfo: memFree=1599896/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=8.58
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 2082 47225 0 10 8 4 781 65 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=94840 CPUtime=3071.64
/proc/30367/stat : 30367 (minisat-inc) R 30344 30344 28512 0 -1 4194304 23120 0 0 0 307137 27 0 0 25 0 1 0 73534714 97116160 23040 996147200 134512640 135134323 4294956192 18446744073709551615 134532126 0 0 4096 3 0 0 0 17 0 0 0
/proc/30367/statm: 23710 23040 80 151 0 23556 0
Current children cumulated CPU time (s) 3080.22
Current children cumulated vsize (KiB) 111844

[startup+3090.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30900
/proc/meminfo: memFree=1599896/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=8.58
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 2115 47225 0 10 8 4 781 65 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=94840 CPUtime=3072.42
/proc/30367/stat : 30367 (minisat-inc) S 30344 30344 28512 0 -1 4194304 23122 0 0 0 307215 27 0 0 25 0 1 0 73534714 97116160 23040 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 0 0 0
/proc/30367/statm: 23710 23040 80 151 0 23556 0
Current children cumulated CPU time (s) 3081
Current children cumulated vsize (KiB) 111844

[startup+3090.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30900
/proc/meminfo: memFree=1599896/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=8.58
/proc/30344/stat : 30344 (sugar++) S 30342 30344 28512 0 -1 4194304 2134 47225 0 10 8 4 781 65 16 0 1 0 73534062 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/30344/statm: 4251 1150 414 3 0 830 0
[pid=30367] ppid=30344 vsize=94840 CPUtime=3072.42
/proc/30367/stat : 30367 (minisat-inc) S 30344 30344 28512 0 -1 4194304 23122 0 0 0 307215 27 0 0 25 0 1 0 73534714 97116160 23040 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 0 0 0
/proc/30367/statm: 23710 23040 80 151 0 23556 0
Current children cumulated CPU time (s) 3081
Current children cumulated vsize (KiB) 111844

[startup+3090.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30900
/proc/meminfo: memFree=1599896/2055920 swapFree=4176684/4192956
[pid=30344] ppid=30342 vsize=17004 CPUtime=3081.29
/proc/30344/stat : 30344 (sugar++) R 30342 30344 28512 0 -1 4194304 2173 74286 0 11 8 5 308019 97 15 0 1 0 73534062 17412096 1151 996147200 4194304 4206940 548682068528 18446744073709551615 231962547241 0 0 4224 16386 0 0 0 17 0 0 0
/proc/30344/statm: 4251 1151 415 3 0 830 0
Current children cumulated CPU time (s) 3081.29
Current children cumulated vsize (KiB) 17004

Child status: 0
Real time (s): 3090.61
CPU time (s): 3081.32
CPU user time (s): 3080.28
CPU system time (s): 1.04084
CPU usage (%): 99.6996
Max. virtual memory (cumulated for all children) (KiB): 890616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3080.28
system time used= 1.04084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76516
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15186
involuntary context switches= 40051

runsolver used 3.49247 second user time and 10.5994 second system time

The end

Launcher Data (download as text)

Begin job on node71 at 2008-07-16 02:32:43
IDJOB=1125251
IDBENCH=63096
IDSOLVER=367
FILE ID=node71/1125251-1216168363
PBS_JOBID= 7905638
Free space on /tmp= 66560 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/celar/scens/normalized-scenw-07_10000_30r_ext.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-1125251-1216168363/watcher-1125251-1216168363 -o /tmp/evaluation-result-1125251-1216168363/solver-1125251-1216168363 -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-1125251-1216168363.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 3b0e5d2a54c29f933bf0a92becd49ac0
RANDOM SEED=45129844

node71.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.225
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.225
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:       1743104 kB
Buffers:         76448 kB
Cached:         151452 kB
SwapCached:       5680 kB
Active:         190544 kB
Inactive:        56708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1743104 kB
SwapTotal:     4192956 kB
SwapFree:      4176684 kB
Dirty:            1240 kB
Writeback:           0 kB
Mapped:          35372 kB
Slab:            49856 kB
Committed_AS:   333952 kB
PageTables:       2512 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= 66560 MiB
End job on node71 at 2008-07-16 03:24:13