Trace number 1112764

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+minisatOPTIMUM1 45.1441 45.8087

General information on the benchmark

Namecsp/os-gp/
normalized-gp10-09-1111.xml
MD5SUM6c983c6aad620b73473bf6ce8947c0e8
Bench Category2-ARY-INT (binary 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 benchmark14.6308
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints1000
Maximum constraint arity2
Maximum domain size1112
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1000
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.04	c 0	Sugar v1-13 + HOME/minisat
0.00/0.04	c 0	BEGIN Sat Jul 12 16:41:53 2008
0.00/0.04	c 0	PID 13548
0.03/0.05	c 0	HOST node35.alineos.net
0.03/0.05	c 0	CONVERTING HOME/instance-1112764-1215873712.xml TO HOME/temp.csp
0.03/0.05	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1112764-1215873712.xml' 'HOME/temp.csp'
0.03/0.67	c 0	2 domains, 101 variables, 2 predicates, 0 relations, 1000 constraints
0.03/0.70	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.70	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.03/0.78	c 0	Parsing HOME/temp.csp
0.67/0.92	c 1	parsed 1105 expressions
0.67/0.93	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.67/0.95	c 1	MAX CSP: 1000 constraints
0.67/0.95	c 1	Converting to clausal form CSP
0.67/0.99	c 1	converted 211 (10%) expressions
0.95/1.04	c 1	converted 422 (20%) expressions
0.95/1.06	c 1	converted 633 (30%) expressions
1.06/1.15	c 1	converted 844 (40%) expressions
1.06/1.16	c 1	converted 1054 (50%) expressions
1.06/1.17	c 1	converted 1265 (60%) expressions
1.06/1.18	c 1	converted 1476 (70%) expressions
1.06/1.19	c 1	converted 1687 (80%) expressions
1.06/1.19	c 1	converted 1898 (90%) expressions
1.24/1.30	c 1	converted 2108 (100%) expressions
1.24/1.30	c 1	CSP : 2101 integers, 0 booleans, 2999 clauses, largest domain size 1501
1.24/1.30	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.24/1.30	c 1	Propagation in CSP
1.24/1.36	c 1	994 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.24/1.36	c 1	CSP : 2101 integers, 0 booleans, 2999 clauses, largest domain size 1112
1.24/1.36	c 1	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.24/1.37	c 1	Simplifing CSP by introducing new Boolean variables
1.24/1.38	c 1	CSP : 2101 integers, 1800 booleans, 4799 clauses, largest domain size 1112
1.24/1.38	c 1	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.34/1.42	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.44/1.58	c 1	211 (10%) CSP integer variables are encoded (111000 clauses, 1665056 bytes)
1.44/1.58	c 1	421 (20%) CSP integer variables are encoded (111000 clauses, 1665056 bytes)
1.44/1.58	c 1	631 (30%) CSP integer variables are encoded (111000 clauses, 1665056 bytes)
1.44/1.58	c 1	841 (40%) CSP integer variables are encoded (111000 clauses, 1665056 bytes)
1.44/1.58	c 1	1051 (50%) CSP integer variables are encoded (111000 clauses, 1665056 bytes)
1.44/1.60	c 1	1261 (60%) CSP integer variables are encoded (119637 clauses, 1811885 bytes)
1.54/1.60	c 1	1471 (70%) CSP integer variables are encoded (121763 clauses, 1848027 bytes)
1.54/1.61	c 1	1681 (80%) CSP integer variables are encoded (124360 clauses, 1892176 bytes)
1.54/1.61	c 1	1891 (90%) CSP integer variables are encoded (125887 clauses, 1918135 bytes)
1.54/1.62	c 1	2101 (100%) CSP integer variables are encoded (127983 clauses, 1953767 bytes)
2.05/2.14	c 2	480 (10%) CSP clauses are encoded (385581 clauses, 7527767 bytes)
2.64/2.75	c 2	960 (20%) CSP clauses are encoded (707256 clauses, 14946846 bytes)
3.24/3.38	c 3	1440 (30%) CSP clauses are encoded (1034680 clauses, 22501723 bytes)
3.94/4.01	c 4	1920 (40%) CSP clauses are encoded (1361149 clauses, 30041104 bytes)
4.53/4.64	c 4	2400 (50%) CSP clauses are encoded (1685374 clauses, 37536760 bytes)
5.02/5.17	c 5	2880 (60%) CSP clauses are encoded (1953811 clauses, 43923041 bytes)
6.20/6.33	c 6	3360 (70%) CSP clauses are encoded (2472121 clauses, 56478022 bytes)
7.19/7.31	c 7	3840 (80%) CSP clauses are encoded (2977781 clauses, 68820562 bytes)
7.29/7.45	c 7	4320 (90%) CSP clauses are encoded (3043749 clauses, 70407498 bytes)
7.69/7.82	c 7	4799 (100%) CSP clauses are encoded (3236349 clauses, 75085048 bytes)
7.69/7.82	c 7	4799 CSP clauses encoded
7.69/7.82	c 7	Writing map file : HOME/temp.map
7.69/7.84	c 7	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
7.69/7.85	c 7	SAT : 131883 SAT variables, 3236349 SAT clauses, 75085048 bytes
7.69/7.85	c 7	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
7.69/7.89	c 8	OBJECTIVE minimize _COST
7.69/7.89	c 8	OBJECTIVE BOUND: 0 <= _COST <= 
7.69/7.89	c 8	SEARCHING: _COST <= 500
7.69/7.89	c 8	SOLVING HOME/temp.cnf
7.69/7.89	c 8	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
7.69/7.90	c 8	This is MiniSat 2.0 beta
7.69/7.90	c 8	WARNING: for repeatability, setting FPU to use double precision
7.69/7.90	c 8	============================[ Problem Statistics ]=============================
7.69/7.90	c 8	|                                                                             |
7.69/7.90	c 8	|  Number of variables:  131883                                               |
7.69/7.90	c 8	|  Number of clauses:    3236350                                              |
9.54/9.73	c 9	|  Parsing time:         1.60         s                                       |
10.23/10.43	c 10	============================[ Search Statistics ]==============================
10.23/10.43	c 10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.23/10.43	c 10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.23/10.43	c 10	===============================================================================
10.23/10.43	c 10	|         0 |  126883  2763797  8139242 |   921265        0    nan |  0.000 % |
10.52/10.71	c 10	===============================================================================
10.52/10.72	c 10	restarts              : 1
10.52/10.72	c 10	conflicts             : 0              (0 /sec)
10.52/10.72	c 10	decisions             : 1246           (1.52 % random) (486 /sec)
10.52/10.72	c 10	propagations          : 131883         (51444 /sec)
10.52/10.72	c 10	conflict literals     : 0              ( nan % deleted)
10.52/10.72	c 10	Memory used           : 135.85 MB
10.52/10.72	c 10	CPU time              : 2.56361 s
10.52/10.72	c 10	
10.52/10.78	c 10	SATISFIABLE
10.62/10.80	c 10	FOUND: _COST <= 500
10.62/10.80	s SATISFIABLE
10.62/10.80	c 10	DECODING HOME/temp.out WITH HOME/temp.map
10.62/10.80	c 10	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
10.62/10.88	c 11	Decoding HOME/temp.out
10.91/11.12	c 11	OBJECTIVE _COST 500
10.91/11.12	o 500
10.91/11.13	v 1111 990 1096 20 447 446 16 17 18 19 350 7 792 10 94 457 346 1075 456 1076 790 0 1 497 983 813 498 499 833 500 1027 94 517 1110 1110 939 1110 996 539 1110 1105 869 1110 661 1110 1108 1110 1107 489 1110 1037 1110 1101 1110 317 50 1106 628 1110 1110 1103 667 1109 1110 1108 1110 890 725 1092 1110 1032 1106 1110 1109 1110 1098 852 1110 1053 1110 1111 1018 1110 1110 1051 1051 1110 964 951 57 1041 1109 613 908 1110 1110 711 1106 1107 872 1110
10.91/11.13	c 11	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
10.91/11.17	c 11	OBJECTIVE BOUND: 0 <= _COST <= 500
10.91/11.17	c 11	SEARCHING: _COST <= 250
10.91/11.17	c 11	SOLVING HOME/temp.cnf
10.91/11.17	c 11	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
10.91/11.17	c 11	This is MiniSat 2.0 beta
10.91/11.17	c 11	WARNING: for repeatability, setting FPU to use double precision
10.91/11.17	c 11	============================[ Problem Statistics ]=============================
10.91/11.17	c 11	|                                                                             |
10.91/11.18	c 11	|  Number of variables:  131883                                               |
10.91/11.18	c 11	|  Number of clauses:    3236350                                              |
12.77/13.00	c 13	|  Parsing time:         1.60         s                                       |
13.67/13.93	c 14	============================[ Search Statistics ]==============================
13.67/13.93	c 14	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.67/13.93	c 14	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
13.67/13.93	c 14	===============================================================================
13.67/13.93	c 14	|         0 |  124133  2474672  7279867 |   824890        0    nan |  0.000 % |
13.87/14.18	c 14	===============================================================================
13.87/14.19	c 14	restarts              : 1
13.87/14.19	c 14	conflicts             : 0              (0 /sec)
13.87/14.19	c 14	decisions             : 832            (1.56 % random) (299 /sec)
13.87/14.19	c 14	propagations          : 131883         (47396 /sec)
13.87/14.19	c 14	conflict literals     : 0              ( nan % deleted)
13.87/14.19	c 14	Memory used           : 136.47 MB
13.87/14.19	c 14	CPU time              : 2.78258 s
13.87/14.19	c 14	
13.97/14.25	c 14	SATISFIABLE
13.97/14.27	c 14	FOUND: _COST <= 250
13.97/14.27	c 14	DECODING HOME/temp.out WITH HOME/temp.map
13.97/14.27	c 14	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
14.04/14.35	c 14	Decoding HOME/temp.out
14.04/14.77	c 14	OBJECTIVE _COST 250
14.04/14.77	o 250
14.04/14.78	v 1111 540 1104 117 568 3 4 5 6 14 15 0 40 30 323 546 966 6 7 1076 8 3 608 4 15 447 6 9 467 59 10 117 8 5 6 879 7 32 585 31 111 897 7 447 14 20 23 24 28 372 373 896 30 116 133 1111 309 314 950 1110 1103 573 1109 1110 1108 1110 745 761 1092 1110 1032 1106 1110 1109 1110 1098 707 1110 1053 1110 452 1018 1110 1110 263 1051 1110 1000 951 633 1041 1109 429 908 1110 1110 566 1106 1107 872 1110
14.04/14.78	c 14	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
14.04/14.79	c 14	OBJECTIVE BOUND: 0 <= _COST <= 250
14.04/14.79	c 14	SEARCHING: _COST <= 125
14.04/14.79	c 14	SOLVING HOME/temp.cnf
14.04/14.79	c 14	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
14.04/14.79	c 14	This is MiniSat 2.0 beta
14.04/14.79	c 14	WARNING: for repeatability, setting FPU to use double precision
14.04/14.80	c 14	============================[ Problem Statistics ]=============================
14.04/14.80	c 14	|                                                                             |
14.55/14.80	c 14	|  Number of variables:  131883                                               |
14.55/14.80	c 14	|  Number of clauses:    3236350                                              |
16.33/16.64	c 16	|  Parsing time:         1.61         s                                       |
17.34/17.64	c 17	============================[ Search Statistics ]==============================
17.34/17.64	c 17	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
17.34/17.64	c 17	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
17.34/17.64	c 17	===============================================================================
17.34/17.64	c 17	|         0 |  122383  2243047  6590117 |   747682        0    nan |  0.000 % |
17.53/17.90	c 18	===============================================================================
17.63/17.90	c 18	restarts              : 1
17.63/17.90	c 18	conflicts             : 1              (0 /sec)
17.63/17.90	c 18	decisions             : 512            (0.98 % random) (178 /sec)
17.63/17.90	c 18	propagations          : 144161         (50220 /sec)
17.63/17.90	c 18	conflict literals     : 25             (3.85 % deleted)
17.63/17.90	c 18	Memory used           : 137.00 MB
17.63/17.90	c 18	CPU time              : 2.87056 s
17.63/17.90	c 18	
17.63/17.96	c 18	SATISFIABLE
17.63/17.98	c 18	FOUND: _COST <= 125
17.63/17.98	c 18	DECODING HOME/temp.out WITH HOME/temp.map
17.63/17.98	c 18	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
17.73/18.06	c 18	Decoding HOME/temp.out
17.73/18.48	c 18	OBJECTIVE _COST 125
17.73/18.48	o 125
17.73/18.49	v 1111 170 2 780 244 12 243 13 0 1 14 683 18 8 809 301 699 5 4 634 6 198 612 2 199 42 298 0 62 299 9 686 584 3 0 116 1 31 290 4 110 6 606 127 1032 1033 0 1 607 5 1036 0 7 1 50 637 2 190 180 181 182 327 1108 1110 1047 1050 7 650 228 247 248 1 17 125 243 288 852 1110 1053 1110 377 234 1110 779 1051 1051 1110 1000 951 668 966 1109 405 577 1110 1110 299 1106 1107 907 1110
17.73/18.49	c 18	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
17.73/18.50	c 18	OBJECTIVE BOUND: 0 <= _COST <= 125
17.73/18.50	c 18	SEARCHING: _COST <= 62
17.73/18.50	c 18	SOLVING HOME/temp.cnf
17.73/18.50	c 18	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
17.73/18.51	c 18	This is MiniSat 2.0 beta
17.73/18.51	c 18	WARNING: for repeatability, setting FPU to use double precision
17.73/18.51	c 18	============================[ Problem Statistics ]=============================
17.73/18.51	c 18	|                                                                             |
17.73/18.51	c 18	|  Number of variables:  131883                                               |
17.73/18.51	c 18	|  Number of clauses:    3236350                                              |
20.11/20.40	c 20	|  Parsing time:         1.67         s                                       |
21.10/21.42	c 21	============================[ Search Statistics ]==============================
21.10/21.42	c 21	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.10/21.42	c 21	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
21.10/21.42	c 21	===============================================================================
21.10/21.42	c 21	|         0 |  121052  2102982  6173852 |   700994        0    nan |  0.000 % |
21.60/21.92	c 22	===============================================================================
21.60/21.92	c 22	restarts              : 1
21.60/21.92	c 22	conflicts             : 39             (12 /sec)
21.60/21.92	c 22	decisions             : 506            (1.19 % random) (159 /sec)
21.60/21.92	c 22	propagations          : 422493         (132921 /sec)
21.60/21.92	c 22	conflict literals     : 1159           (14.65 % deleted)
21.60/21.92	c 22	Memory used           : 136.88 MB
21.60/21.92	c 22	CPU time              : 3.17852 s
21.60/21.92	c 22	
21.60/21.98	c 22	SATISFIABLE
21.60/22.00	c 22	FOUND: _COST <= 62
21.60/22.00	c 22	DECODING HOME/temp.out WITH HOME/temp.map
21.60/22.00	c 22	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
21.71/22.12	c 22	Decoding HOME/temp.out
21.71/22.35	c 22	OBJECTIVE _COST 62
21.71/22.35	o 62
21.71/22.35	v 1111 950 1105 8 399 4 5 1110 398 397 1009 1104 820 388 116 487 6 1103 467 354 1108 1110 324 901 1066 902 1064 1065 922 11 843 204 122 1110 42 924 1108 43 628 627 2 978 53 398 1110 1 1109 1099 54 10 848 1107 2 1 936 12 1101 475 1106 474 922 1111 1103 906 113 1096 559 125 35 558 930 775 1 5 7 1098 780 1039 1040 667 8 51 144 338 339 408 1110 928 468 668 773 1108 145 907 935 1097 159 1105 1107 907 1110
21.71/22.36	c 22	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
21.71/22.41	c 22	OBJECTIVE BOUND: 0 <= _COST <= 62
21.71/22.41	c 22	SEARCHING: _COST <= 31
21.71/22.41	c 22	SOLVING HOME/temp.cnf
21.71/22.41	c 22	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
21.71/22.41	c 22	This is MiniSat 2.0 beta
21.71/22.41	c 22	WARNING: for repeatability, setting FPU to use double precision
21.71/22.41	c 22	============================[ Problem Statistics ]=============================
21.71/22.41	c 22	|                                                                             |
21.71/22.41	c 22	|  Number of variables:  131883                                               |
21.71/22.41	c 22	|  Number of clauses:    3236350                                              |
23.89/24.30	c 24	|  Parsing time:         1.65         s                                       |
24.79/25.23	c 25	============================[ Search Statistics ]==============================
24.79/25.23	c 25	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.79/25.23	c 25	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
24.79/25.23	c 25	===============================================================================
24.79/25.23	c 25	|         0 |  119928  2027566  5950945 |   675855        0    nan |  0.000 % |
25.08/25.57	c 25	===============================================================================
25.08/25.57	c 25	restarts              : 1
25.08/25.57	c 25	conflicts             : 15             (5 /sec)
25.08/25.57	c 25	decisions             : 373            (0.27 % random) (128 /sec)
25.08/25.57	c 25	propagations          : 280000         (96135 /sec)
25.08/25.57	c 25	conflict literals     : 511            (14.41 % deleted)
25.08/25.57	c 25	Memory used           : 137.00 MB
25.08/25.57	c 25	CPU time              : 2.91256 s
25.08/25.58	c 25	
25.20/25.62	c 25	SATISFIABLE
25.20/25.65	c 25	FOUND: _COST <= 31
25.20/25.65	c 25	DECODING HOME/temp.out WITH HOME/temp.map
25.20/25.65	c 25	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
25.26/25.73	c 25	Decoding HOME/temp.out
25.26/25.94	c 26	OBJECTIVE _COST 31
25.26/25.94	o 31
25.26/25.95	v 1111 3 36 769 233 121 1 1099 0 2 128 40 43 759 771 345 994 4 5 6 0 31 505 32 1001 7 0 1 33 151 2 665 1088 19 20 122 1110 21 371 121 294 544 1087 94 1046 1107 1104 1100 702 92 18 1110 26 1103 94 707 1105 232 1104 93 224 48 41 46 1108 678 373 679 14 47 1029 1104 1043 1109 1045 27 41 1044 1046 40 300 371 1110 1108 1047 40 39 100 211 464 959 46 326 556 1107 1110 594 1106 1107 907 1110
25.26/25.95	c 26	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
25.26/25.96	c 26	OBJECTIVE BOUND: 0 <= _COST <= 31
25.26/25.96	c 26	SEARCHING: _COST <= 15
25.26/25.96	c 26	SOLVING HOME/temp.cnf
25.26/25.96	c 26	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
25.26/25.96	c 26	This is MiniSat 2.0 beta
25.26/25.96	c 26	WARNING: for repeatability, setting FPU to use double precision
25.26/25.96	c 26	============================[ Problem Statistics ]=============================
25.26/25.96	c 26	|                                                                             |
25.26/25.96	c 26	|  Number of variables:  131883                                               |
25.26/25.96	c 26	|  Number of clauses:    3236350                                              |
27.50/27.97	c 28	|  Parsing time:         1.69         s                                       |
28.40/28.85	c 28	============================[ Search Statistics ]==============================
28.40/28.85	c 28	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.40/28.85	c 28	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
28.40/28.85	c 28	===============================================================================
28.40/28.85	c 28	|         0 |  118816  1985438  5827881 |   661812        0    nan |  0.000 % |
28.90/29.39	c 29	===============================================================================
28.90/29.39	c 29	restarts              : 1
28.90/29.39	c 29	conflicts             : 45             (14 /sec)
28.90/29.39	c 29	decisions             : 338            (0.89 % random) (109 /sec)
28.90/29.39	c 29	propagations          : 509024         (163540 /sec)
28.90/29.39	c 29	conflict literals     : 1646           (15.11 % deleted)
28.90/29.39	c 29	Memory used           : 137.07 MB
28.90/29.39	c 29	CPU time              : 3.11253 s
28.90/29.39	c 29	
29.00/29.44	c 29	SATISFIABLE
29.00/29.47	c 29	FOUND: _COST <= 15
29.00/29.47	c 29	DECODING HOME/temp.out WITH HOME/temp.map
29.00/29.47	c 29	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
29.08/29.55	c 29	Decoding HOME/temp.out
29.30/29.78	c 29	OBJECTIVE _COST 15
29.30/29.78	o 15
29.30/29.79	v 1111 215 6 779 243 90 32 1109 1110 89 91 1099 18 8 875 321 654 1098 307 764 867 0 301 300 138 118 797 117 182 798 12 648 1071 1109 7 140 1108 36 312 115 1 94 11 316 241 313 1110 12 766 16 17 1092 1093 0 8 654 1 143 6 7 1103 267 1108 1110 4 12 33 590 13 32 1024 1105 17 37 186 103 846 1110 124 116 187 1 869 778 785 1051 845 940 606 117 870 1102 871 39 242 1050 254 1104 308 560 869
29.30/29.79	c 29	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
29.38/29.84	c 29	OBJECTIVE BOUND: 0 <= _COST <= 15
29.38/29.84	c 29	SEARCHING: _COST <= 7
29.38/29.84	c 29	SOLVING HOME/temp.cnf
29.38/29.84	c 29	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
29.38/29.84	c 29	This is MiniSat 2.0 beta
29.38/29.84	c 29	WARNING: for repeatability, setting FPU to use double precision
29.38/29.84	c 29	============================[ Problem Statistics ]=============================
29.38/29.84	c 29	|                                                                             |
29.38/29.85	c 29	|  Number of variables:  131883                                               |
29.38/29.85	c 29	|  Number of clauses:    3236350                                              |
31.14/31.66	c 31	|  Parsing time:         1.59         s                                       |
32.04/32.55	c 32	============================[ Search Statistics ]==============================
32.04/32.55	c 32	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.04/32.55	c 32	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
32.04/32.55	c 32	===============================================================================
32.04/32.55	c 32	|         0 |  117672  1962306  5761909 |   654102        0    nan |  0.000 % |
32.64/33.17	c 33	===============================================================================
32.64/33.17	c 33	restarts              : 1
32.64/33.17	c 33	conflicts             : 73             (24 /sec)
32.64/33.17	c 33	decisions             : 289            (0.69 % random) (93 /sec)
32.64/33.17	c 33	propagations          : 580733         (187181 /sec)
32.64/33.17	c 33	conflict literals     : 2368           (17.72 % deleted)
32.64/33.17	c 33	Memory used           : 136.61 MB
32.64/33.17	c 33	CPU time              : 3.10253 s
32.64/33.17	c 33	
32.74/33.23	c 33	SATISFIABLE
32.74/33.25	c 33	FOUND: _COST <= 7
32.74/33.25	c 33	DECODING HOME/temp.out WITH HOME/temp.map
32.74/33.25	c 33	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
32.81/33.33	c 33	Decoding HOME/temp.out
32.81/33.66	c 33	OBJECTIVE _COST 7
32.81/33.67	o 7
32.81/33.67	v 1111 2 588 680 49 0 1108 1110 679 1 1010 1064 11 1067 825 382 715 10 0 1077 348 1099 593 1105 2 362 472 1100 475 49 1106 534 1089 1088 1049 9 1 968 181 2 3 35 5 230 1110 6 1109 1101 705 34 156 533 575 26 585 715 35 49 1 40 41 171 494 1108 46 1 887 496 2 872 77 30 9 1109 1048 337 78 1047 1049 48 350 957 10 20 1050 218 1110 846 21 403 278 1103 294 27 1 293 473 1105 1107 873 1009
32.81/33.67	c 33	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
32.81/33.73	c 33	OBJECTIVE BOUND: 0 <= _COST <= 7
32.81/33.73	c 33	SEARCHING: _COST <= 3
32.81/33.73	c 33	SOLVING HOME/temp.cnf
32.81/33.73	c 33	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
32.81/33.73	c 33	This is MiniSat 2.0 beta
32.81/33.73	c 33	WARNING: for repeatability, setting FPU to use double precision
32.81/33.73	c 33	============================[ Problem Statistics ]=============================
32.81/33.73	c 33	|                                                                             |
32.81/33.73	c 33	|  Number of variables:  131883                                               |
32.81/33.73	c 33	|  Number of clauses:    3236350                                              |
35.17/35.72	c 35	|  Parsing time:         1.72         s                                       |
36.06/36.66	c 36	============================[ Search Statistics ]==============================
36.06/36.66	c 36	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.06/36.66	c 36	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
36.06/36.66	c 36	===============================================================================
36.06/36.66	c 36	|         0 |  116412  1948684  5724819 |   649561        0    nan |  0.000 % |
36.85/37.46	c 37	===============================================================================
36.85/37.46	c 37	restarts              : 1
36.85/37.46	c 37	conflicts             : 74             (22 /sec)
36.85/37.46	c 37	decisions             : 301            (0.66 % random) (88 /sec)
36.85/37.46	c 37	propagations          : 748180         (217654 /sec)
36.85/37.46	c 37	conflict literals     : 3640           (21.42 % deleted)
36.85/37.46	c 37	Memory used           : 136.86 MB
36.85/37.46	c 37	CPU time              : 3.43748 s
36.85/37.46	c 37	
36.94/37.52	c 37	SATISFIABLE
36.94/37.54	c 37	FOUND: _COST <= 3
36.94/37.54	c 37	DECODING HOME/temp.out WITH HOME/temp.map
36.94/37.54	c 37	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
37.00/37.62	c 37	Decoding HOME/temp.out
37.00/37.85	c 37	OBJECTIVE _COST 3
37.00/37.85	o 3
37.00/37.86	v 1111 539 1101 573 3 2 1 0 572 1110 1005 14 98 54 885 381 741 21 1109 64 12 45 605 1108 540 81 21 604 109 227 26 567 0 1107 1108 101 1110 22 273 1109 1101 990 604 123 0 3 14 600 605 989 31 87 88 120 584 714 15 137 1110 63 105 197 1106 1109 753 6 520 756 32 1108 113 46 1110 121 1 7 851 136 51 0 192 104 1109 1110 819 21 20 645 949 202 879 17 422 903 2 20 22 1106 601 699 19
37.00/37.86	c 37	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
37.00/37.91	c 38	OBJECTIVE BOUND: 0 <= _COST <= 3
37.00/37.91	c 38	SEARCHING: _COST <= 1
37.00/37.91	c 38	SOLVING HOME/temp.cnf
37.00/37.91	c 38	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
37.00/37.91	c 38	This is MiniSat 2.0 beta
37.00/37.91	c 38	WARNING: for repeatability, setting FPU to use double precision
37.00/37.91	c 38	============================[ Problem Statistics ]=============================
37.00/37.91	c 38	|                                                                             |
37.00/37.92	c 38	|  Number of variables:  131883                                               |
37.00/37.92	c 38	|  Number of clauses:    3236350                                              |
39.28/39.92	c 40	|  Parsing time:         1.73         s                                       |
40.16/40.88	c 41	============================[ Search Statistics ]==============================
40.16/40.88	c 41	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.16/40.88	c 41	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
40.16/40.88	c 41	===============================================================================
40.16/40.88	c 41	|         0 |  114900  1939397  5701492 |   646465        0    nan |  0.000 % |
40.96/41.62	c 41	|       100 |  114900  1939397  5701492 |   711112       99     60 | 12.880 % |
41.25/41.91	c 42	===============================================================================
41.25/41.91	c 42	restarts              : 2
41.25/41.91	c 42	conflicts             : 119            (32 /sec)
41.25/41.91	c 42	decisions             : 301            (1.66 % random) (81 /sec)
41.25/41.91	c 42	propagations          : 1045153        (282136 /sec)
41.25/41.91	c 42	conflict literals     : 6682           (20.02 % deleted)
41.25/41.91	c 42	Memory used           : 136.78 MB
41.25/41.91	c 42	CPU time              : 3.70444 s
41.25/41.91	c 42	
41.25/41.97	c 42	SATISFIABLE
41.25/41.99	c 42	FOUND: _COST <= 1
41.25/41.99	c 42	DECODING HOME/temp.out WITH HOME/temp.map
41.25/41.99	c 42	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
41.37/42.08	c 42	Decoding HOME/temp.out
41.37/42.31	c 42	OBJECTIVE _COST 1
41.37/42.31	o 1
41.37/42.32	v 1111 537 570 117 575 450 115 116 3 0 4 2 784 1101 178 451 5 177 433 1067 0 1108 35 34 531 961 647 4 990 648 985 11 1089 9 10 789 788 1010 434 1003 1004 981 3 447 88 444 1110 1102 89 1107 907 1109 1079 1100 401 5 0 563 1110 1108 1033 565 33 96 97 4 888 213 12 1109 100 6 30 114 117 1097 838 178 31 1110 179 888 4 116 118 981 727 5 728 205 1041 1104 605 897 0 788 205 1106 893 1 892
41.37/42.32	c 42	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
41.37/42.37	c 42	OBJECTIVE BOUND: 0 <= _COST <= 1
41.37/42.37	c 42	SEARCHING: _COST <= 0
41.37/42.37	c 42	SOLVING HOME/temp.cnf
41.37/42.37	c 42	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
41.37/42.37	c 42	This is MiniSat 2.0 beta
41.37/42.37	c 42	WARNING: for repeatability, setting FPU to use double precision
41.37/42.37	c 42	============================[ Problem Statistics ]=============================
41.37/42.37	c 42	|                                                                             |
41.37/42.37	c 42	|  Number of variables:  131883                                               |
41.37/42.37	c 42	|  Number of clauses:    3236350                                              |
43.50/44.25	c 44	|  Parsing time:         1.63         s                                       |
44.41/45.16	c 45	============================[ Search Statistics ]==============================
44.41/45.16	c 45	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.41/45.16	c 45	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
44.41/45.16	c 45	===============================================================================
44.41/45.16	c 45	|         0 |  102900  1923500  5667700 |   641166        0    nan |  0.000 % |
45.00/45.74	c 45	===============================================================================
45.00/45.74	c 45	restarts              : 1
45.00/45.74	c 45	conflicts             : 84             (27 /sec)
45.00/45.74	c 45	decisions             : 127            (0.79 % random) (41 /sec)
45.00/45.74	c 45	propagations          : 720821         (231068 /sec)
45.00/45.74	c 45	conflict literals     : 453            (28.10 % deleted)
45.00/45.74	c 45	Memory used           : 137.35 MB
45.00/45.74	c 45	CPU time              : 3.11952 s
45.00/45.74	c 45	
45.00/45.74	c 45	UNSATISFIABLE
45.00/45.77	c 45	NOT FOUND: _COST <= 0
45.00/45.77	c 45	OBJECTIVE _COST 1
45.00/45.77	s OPTIMUM FOUND
45.00/45.77	c 45	CPU 41.42 (0.05 0.03 41.37 3.64)
45.00/45.77	c 45	END Sat Jul 12 16:42:38 2008

Verifier Data (download as text)

OK	1	999
1 unsatisfied constraints, 999 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-1112764-1215873712/watcher-1112764-1215873712 -o /tmp/evaluation-result-1112764-1215873712/solver-1112764-1215873712 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1112764-1215873712.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.05 1.95 4/81 13548
/proc/meminfo: memFree=1864128/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=12268 CPUtime=0
/proc/13548/stat : 13548 (sugar) R 13546 13548 13423 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 44072496 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 266134289549 0 0 4224 0 0 0 0 17 1 0 0
/proc/13548/statm: 3067 316 241 3 0 167 0

[startup+0.0504269 s]
/proc/loadavg: 2.00 2.05 1.95 4/81 13548
/proc/meminfo: memFree=1864128/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13600 CPUtime=0.03
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 838 0 0 0 3 0 0 0 18 0 1 0 44072496 13926400 792 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13548/statm: 3400 792 367 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.101891 s]
/proc/loadavg: 2.00 2.05 1.95 4/81 13548
/proc/meminfo: memFree=1864128/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13600 CPUtime=0.03
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 44072496 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13548/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301907 s]
/proc/loadavg: 2.00 2.05 1.95 4/81 13548
/proc/meminfo: memFree=1864128/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13600 CPUtime=0.03
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 44072496 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13548/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.703026 s]
/proc/loadavg: 2.00 2.05 1.95 4/81 13548
/proc/meminfo: memFree=1864128/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13600 CPUtime=0.03
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 916 127 0 0 3 0 0 0 15 0 1 0 44072496 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13548/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+1.50205 s]
/proc/loadavg: 2.00 2.05 1.95 4/92 13570
/proc/meminfo: memFree=1855336/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13600 CPUtime=0.67
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 974 4801 0 1 3 0 61 3 15 0 1 0 44072496 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13548/statm: 3400 797 370 3 0 500 0
[pid=13561] ppid=13548 vsize=5356 CPUtime=0
/proc/13561/stat : 13561 (sh) S 13548 13548 13423 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44072566 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13561/statm: 1339 233 193 169 0 50 0
[pid=13562] ppid=13561 vsize=868476 CPUtime=0.77
/proc/13562/stat : 13562 (java) S 13561 13548 13423 0 -1 0 6823 0 1 0 72 5 0 0 18 0 9 0 44072567 889319424 6040 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217119 6040 2561 9 0 211666 0
[pid=13562/tid=13563] ppid=13561 vsize=868476 CPUtime=0.44
/proc/13562/task/13563/stat : 13563 (java) R 13561 13548 13423 0 -1 64 2719 0 1 0 42 2 0 0 18 0 9 0 44072567 889319424 6040 996147200 134512640 134550740 4294955936 18446744073709551615 4126963166 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13564] ppid=13561 vsize=868476 CPUtime=0.07
/proc/13562/task/13564/stat : 13564 (java) S 13561 13548 13423 0 -1 64 1934 0 0 0 7 0 0 0 16 0 9 0 44072569 889319424 6040 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13565/stat : 13565 (java) S 13561 13548 13423 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 44072569 889319424 6040 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13566/stat : 13566 (java) S 13561 13548 13423 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44072569 889319424 6040 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13567/stat : 13567 (java) S 13561 13548 13423 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44072571 889319424 6040 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13561 vsize=868476 CPUtime=0.23
/proc/13562/task/13568/stat : 13568 (java) S 13561 13548 13423 0 -1 64 1477 0 0 0 22 1 0 0 16 0 9 0 44072571 889319424 6040 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13569/stat : 13569 (java) S 13561 13548 13423 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072571 889319424 6040 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13570/stat : 13570 (java) S 13561 13548 13423 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072571 889319424 6040 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 887432

[startup+3.10122 s]
/proc/loadavg: 2.00 2.05 1.95 3/92 13570
/proc/meminfo: memFree=1840424/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13600 CPUtime=0.68
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 974 4801 0 1 4 0 61 3 15 0 1 0 44072496 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13548/statm: 3400 797 370 3 0 500 0
[pid=13561] ppid=13548 vsize=5356 CPUtime=0
/proc/13561/stat : 13561 (sh) S 13548 13548 13423 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44072566 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13561/statm: 1339 233 193 169 0 50 0
[pid=13562] ppid=13561 vsize=868476 CPUtime=2.37
/proc/13562/stat : 13562 (java) S 13561 13548 13423 0 -1 0 7330 0 1 0 216 21 0 0 18 0 9 0 44072567 889319424 6057 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217119 6057 2562 9 0 211666 0
[pid=13562/tid=13563] ppid=13561 vsize=868476 CPUtime=1.88
/proc/13562/task/13563/stat : 13563 (java) R 13561 13548 13423 0 -1 64 3211 0 1 0 173 15 0 0 25 0 9 0 44072567 889319424 6057 996147200 134512640 134550740 4294955936 18446744073709551615 4126533884 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13564] ppid=13561 vsize=868476 CPUtime=0.21
/proc/13562/task/13564/stat : 13564 (java) S 13561 13548 13423 0 -1 64 1934 0 0 0 17 4 0 0 16 0 9 0 44072569 889319424 6057 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13565/stat : 13565 (java) S 13561 13548 13423 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 44072569 889319424 6057 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13566/stat : 13566 (java) S 13561 13548 13423 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44072569 889319424 6057 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13567/stat : 13567 (java) S 13561 13548 13423 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44072571 889319424 6057 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13561 vsize=868476 CPUtime=0.25
/proc/13562/task/13568/stat : 13568 (java) S 13561 13548 13423 0 -1 64 1492 0 0 0 24 1 0 0 16 0 9 0 44072571 889319424 6057 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13569/stat : 13569 (java) S 13561 13548 13423 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072571 889319424 6057 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13570/stat : 13570 (java) S 13561 13548 13423 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072571 889319424 6057 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 887432

[startup+6.30258 s]
/proc/loadavg: 2.00 2.05 1.95 3/92 13570
/proc/meminfo: memFree=1800616/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13600 CPUtime=0.68
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 974 4801 0 1 4 0 61 3 15 0 1 0 44072496 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13548/statm: 3400 797 370 3 0 500 0
[pid=13561] ppid=13548 vsize=5356 CPUtime=0
/proc/13561/stat : 13561 (sh) S 13548 13548 13423 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44072566 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13561/statm: 1339 233 193 169 0 50 0
[pid=13562] ppid=13561 vsize=868476 CPUtime=5.52
/proc/13562/stat : 13562 (java) S 13561 13548 13423 0 -1 0 8298 0 1 0 504 48 0 0 18 0 9 0 44072567 889319424 6060 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217119 6060 2562 9 0 211666 0
[pid=13562/tid=13563] ppid=13561 vsize=868476 CPUtime=4.8
/proc/13562/task/13563/stat : 13563 (java) R 13561 13548 13423 0 -1 64 4176 0 1 0 442 38 0 0 25 0 9 0 44072567 889319424 6060 996147200 134512640 134550740 4294955936 18446744073709551615 102064753 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13564] ppid=13561 vsize=868476 CPUtime=0.44
/proc/13562/task/13564/stat : 13564 (java) S 13561 13548 13423 0 -1 64 1934 0 0 0 36 8 0 0 16 0 9 0 44072569 889319424 6060 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13565/stat : 13565 (java) S 13561 13548 13423 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 44072569 889319424 6060 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13566/stat : 13566 (java) S 13561 13548 13423 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44072569 889319424 6060 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13567/stat : 13567 (java) S 13561 13548 13423 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44072571 889319424 6060 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13561 vsize=868476 CPUtime=0.26
/proc/13562/task/13568/stat : 13568 (java) S 13561 13548 13423 0 -1 64 1495 0 0 0 25 1 0 0 16 0 9 0 44072571 889319424 6060 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13569/stat : 13569 (java) S 13561 13548 13423 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072571 889319424 6060 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13561 vsize=868476 CPUtime=0
/proc/13562/task/13570/stat : 13570 (java) S 13561 13548 13423 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072571 889319424 6060 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 887432

[startup+12.7013 s]
/proc/loadavg: 2.00 2.05 1.95 3/84 13584
/proc/meminfo: memFree=1722216/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13732 CPUtime=10.97
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 1201 52267 0 3 4 1 994 98 16 0 1 0 44072496 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13548/statm: 3433 830 374 3 0 533 0
[pid=13583] ppid=13548 vsize=5356 CPUtime=0
/proc/13583/stat : 13583 (sh) S 13548 13548 13423 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44073613 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13583/statm: 1339 232 193 169 0 50 0
[pid=13584] ppid=13583 vsize=119136 CPUtime=1.5
/proc/13584/stat : 13584 (minisat) R 13583 13548 13423 0 -1 4194304 28680 0 0 0 133 17 0 0 25 0 1 0 44073614 121995264 28666 996147200 134512640 135127466 4294956256 18446744073709551615 134706298 0 0 4096 3 0 0 0 17 1 0 0
/proc/13584/statm: 29784 28666 62 150 0 29631 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 138224

[startup+25.5027 s]
/proc/loadavg: 2.16 2.08 1.96 3/73 13626
/proc/meminfo: memFree=1671624/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13732 CPUtime=22.03
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 1544 168111 0 6 4 1 2018 180 16 0 1 0 44072496 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13548/statm: 3433 830 374 3 0 533 0
[pid=13619] ppid=13548 vsize=5356 CPUtime=0
/proc/13619/stat : 13619 (sh) S 13548 13548 13423 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44074737 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13619/statm: 1339 232 193 169 0 50 0
[pid=13620] ppid=13619 vsize=140156 CPUtime=3.05
/proc/13620/stat : 13620 (minisat) R 13619 13548 13423 0 -1 4194304 34416 0 0 0 283 22 0 0 25 0 1 0 44074737 143519744 34402 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/13620/statm: 35039 34402 72 150 0 34886 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 159244

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

[startup+38.3011 s]
/proc/loadavg: 2.12 2.07 1.96 3/84 13696
/proc/meminfo: memFree=1646056/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13732 CPUtime=37.32
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 2000 322762 0 10 5 2 3420 305 16 0 1 0 44072496 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13548/statm: 3433 830 374 3 0 533 0
Current children cumulated CPU time (s) 37.32
Current children cumulated vsize (KiB) 13732

[startup+41.5015 s]
/proc/loadavg: 2.12 2.07 1.96 3/84 13708
/proc/meminfo: memFree=1644656/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13732 CPUtime=37.32
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 2000 322762 0 10 5 2 3420 305 16 0 1 0 44072496 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13548/statm: 3433 830 374 3 0 533 0
[pid=13707] ppid=13548 vsize=5356 CPUtime=0
/proc/13707/stat : 13707 (sh) S 13548 13548 13423 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44076287 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13707/statm: 1339 232 193 169 0 50 0
[pid=13708] ppid=13707 vsize=139880 CPUtime=3.54
/proc/13708/stat : 13708 (minisat) R 13707 13548 13423 0 -1 4194304 34404 0 0 0 329 25 0 0 25 0 1 0 44076287 143237120 34382 996147200 134512640 135127466 4294956256 18446744073709551615 134527053 0 0 4096 3 0 0 0 17 1 0 0
/proc/13708/statm: 34970 34382 72 150 0 34817 0
Current children cumulated CPU time (s) 40.86
Current children cumulated vsize (KiB) 158968

[startup+43.1027 s]
/proc/loadavg: 2.11 2.07 1.96 3/84 13720
/proc/meminfo: memFree=1742832/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13732 CPUtime=41.69
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 2114 361406 0 11 5 3 3825 336 17 0 1 0 44072496 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13548/statm: 3433 830 374 3 0 533 0
[pid=13719] ppid=13548 vsize=5356 CPUtime=0
/proc/13719/stat : 13719 (sh) S 13548 13548 13423 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44076733 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 232 193 169 0 50 0
[pid=13720] ppid=13719 vsize=62600 CPUtime=0.71
/proc/13720/stat : 13720 (minisat) R 13719 13548 13423 0 -1 4194304 15079 0 0 0 60 11 0 0 24 0 1 0 44076733 64102400 15065 996147200 134512640 135127466 4294956256 18446744073709551615 134706298 0 0 4096 3 0 0 0 17 0 0 0
/proc/13720/statm: 15650 15065 62 150 0 15497 0
Current children cumulated CPU time (s) 42.4
Current children cumulated vsize (KiB) 81688

[startup+44.7018 s]
/proc/loadavg: 2.11 2.07 1.96 3/84 13720
/proc/meminfo: memFree=1661424/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13732 CPUtime=41.69
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 2114 361406 0 11 5 3 3825 336 16 0 1 0 44072496 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13548/statm: 3433 830 374 3 0 533 0
[pid=13719] ppid=13548 vsize=5356 CPUtime=0
/proc/13719/stat : 13719 (sh) S 13548 13548 13423 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44076733 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 232 193 169 0 50 0
[pid=13720] ppid=13719 vsize=140440 CPUtime=2.31
/proc/13720/stat : 13720 (minisat) R 13719 13548 13423 0 -1 4194304 34516 0 0 0 207 24 0 0 25 0 1 0 44076733 143810560 34502 996147200 134512640 135127466 4294956256 18446744073709551615 134523395 0 0 4096 3 0 0 0 17 0 0 0
/proc/13720/statm: 35110 34502 71 150 0 34957 0
Current children cumulated CPU time (s) 44
Current children cumulated vsize (KiB) 159528

[startup+45.5019 s]
/proc/loadavg: 2.11 2.07 1.96 3/84 13720
/proc/meminfo: memFree=1642160/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13732 CPUtime=41.69
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 2114 361406 0 11 5 3 3825 336 16 0 1 0 44072496 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13548/statm: 3433 830 374 3 0 533 0
[pid=13719] ppid=13548 vsize=5356 CPUtime=0
/proc/13719/stat : 13719 (sh) S 13548 13548 13423 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44076733 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 232 193 169 0 50 0
[pid=13720] ppid=13719 vsize=140520 CPUtime=3.11
/proc/13720/stat : 13720 (minisat) R 13719 13548 13423 0 -1 4194304 34549 0 0 0 287 24 0 0 25 0 1 0 44076733 143892480 34535 996147200 134512640 135127466 4294956256 18446744073709551615 134530682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13720/statm: 35130 34535 72 150 0 34977 0
Current children cumulated CPU time (s) 44.8
Current children cumulated vsize (KiB) 159608

[startup+45.7019 s]
/proc/loadavg: 2.11 2.07 1.96 3/84 13720
/proc/meminfo: memFree=1642160/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13732 CPUtime=41.69
/proc/13548/stat : 13548 (sugar) S 13546 13548 13423 0 -1 4194304 2114 361406 0 11 5 3 3825 336 16 0 1 0 44072496 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13548/statm: 3433 830 374 3 0 533 0
[pid=13719] ppid=13548 vsize=5356 CPUtime=0
/proc/13719/stat : 13719 (sh) S 13548 13548 13423 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44076733 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 232 193 169 0 50 0
[pid=13720] ppid=13719 vsize=140520 CPUtime=3.31
/proc/13720/stat : 13720 (minisat) R 13719 13548 13423 0 -1 4194304 34549 0 0 0 307 24 0 0 25 0 1 0 44076733 143892480 34535 996147200 134512640 135127466 4294956256 18446744073709551615 134531095 0 0 4096 3 0 0 0 17 0 0 0
/proc/13720/statm: 35130 34535 72 150 0 34977 0
Current children cumulated CPU time (s) 45
Current children cumulated vsize (KiB) 159608

[startup+45.802 s]
/proc/loadavg: 2.11 2.07 1.96 3/84 13720
/proc/meminfo: memFree=1642160/2055920 swapFree=4192812/4192956
[pid=13548] ppid=13546 vsize=13732 CPUtime=45.12
/proc/13548/stat : 13548 (sugar) R 13546 13548 13423 0 -1 4194304 2155 396252 0 11 5 6 4137 364 16 0 1 0 44072496 14061568 831 996147200 4194304 4206940 548682068592 18446744073709551615 266134590505 0 0 4224 16386 0 0 0 17 0 0 0
/proc/13548/statm: 3433 831 375 3 0 533 0
Current children cumulated CPU time (s) 45.12
Current children cumulated vsize (KiB) 13732

Child status: 0
Real time (s): 45.8087
CPU time (s): 45.1441
CPU user time (s): 41.4327
CPU system time (s): 3.71144
CPU usage (%): 98.5493
Max. virtual memory (cumulated for all children) (KiB): 887432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.4327
system time used= 3.71143
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 398437
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= 18699
involuntary context switches= 18925

runsolver used 0.06499 second user time and 0.165974 second system time

The end

Launcher Data (download as text)

Begin job on node35 at 2008-07-12 16:41:53
IDJOB=1112764
IDBENCH=61470
IDSOLVER=368
FILE ID=node35/1112764-1215873712
PBS_JOBID= 7903572
Free space on /tmp= 66480 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-09-1111.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112764-1215873712/watcher-1112764-1215873712 -o /tmp/evaluation-result-1112764-1215873712/solver-1112764-1215873712 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1112764-1215873712.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 6c983c6aad620b73473bf6ce8947c0e8
RANDOM SEED=1240612733

node35.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.229
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.229
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:       1864608 kB
Buffers:         18944 kB
Cached:          70680 kB
SwapCached:          0 kB
Active:          80416 kB
Inactive:        46620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1864608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1424 kB
Writeback:           0 kB
Mapped:          57580 kB
Slab:            49468 kB
Committed_AS:   186700 kB
PageTables:       1904 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= 66476 MiB
End job on node35 at 2008-07-12 16:42:39