Trace number 1112036

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar v1.13+minisatMSAT (TO)1 3600.1 3604.52

General information on the benchmark

Namecsp/rand-3-20-20/
normalized-rand-3-20-20-60-632-16_ext.xml
MD5SUM0815438ca54777d4041aeb39a85cfd39
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark869.964
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints58
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension58
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.04	c 0	Sugar v1-13 + HOME/minisat
0.00/0.04	c 0	BEGIN Sat Jul 12 13:09:11 2008
0.00/0.04	c 0	PID 17216
0.00/0.05	c 0	HOST node10.alineos.net
0.00/0.05	c 0	CONVERTING HOME/instance-1112036-1215860951.xml TO HOME/temp.csp
0.00/0.05	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1112036-1215860951.xml' 'HOME/temp.csp'
0.03/0.84	c 1	1 domains, 20 variables, 0 predicates, 58 relations, 58 constraints
0.03/0.88	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.89	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.82/0.96	c 1	Parsing HOME/temp.csp
1.90/2.03	c 2	parsed 137 expressions
1.90/2.03	c 2	Heap : 20 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.90/2.03	c 2	MAX CSP: 58 constraints
1.90/2.03	c 2	Converting to clausal form CSP
1.90/2.06	c 2	converted 20 (10%) expressions
1.90/2.08	c 2	converted 40 (20%) expressions
2.10/2.25	c 3	converted 60 (30%) expressions
2.10/2.26	c 3	converted 80 (40%) expressions
2.20/2.36	c 3	converted 99 (50%) expressions
2.30/2.45	c 3	converted 119 (60%) expressions
2.40/2.53	c 3	converted 139 (70%) expressions
2.50/2.60	c 3	converted 159 (80%) expressions
2.50/2.68	c 3	converted 179 (90%) expressions
2.80/2.98	c 3	converted 198 (100%) expressions
2.80/2.98	c 3	CSP : 136 integers, 0 booleans, 173 clauses, largest domain size 88
2.80/2.98	c 3	Heap : 39 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.80/2.98	c 3	Propagation in CSP
2.80/3.00	c 3	54 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.80/3.00	c 3	CSP : 136 integers, 0 booleans, 173 clauses, largest domain size 59
2.80/3.00	c 3	Heap : 39 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.80/3.00	c 3	Simplifing CSP by introducing new Boolean variables
2.91/3.00	c 3	CSP : 136 integers, 0 booleans, 173 clauses, largest domain size 59
2.91/3.00	c 3	Heap : 39 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.00/3.12	c 3	Encoding CSP to SAT : HOME/temp.cnf
3.00/3.13	c 3	14 (10%) CSP integer variables are encoded (252 clauses, 2632 bytes)
3.00/3.13	c 3	28 (20%) CSP integer variables are encoded (360 clauses, 3820 bytes)
3.00/3.13	c 3	41 (30%) CSP integer variables are encoded (360 clauses, 3820 bytes)
3.00/3.13	c 3	55 (40%) CSP integer variables are encoded (360 clauses, 3820 bytes)
3.00/3.13	c 3	68 (50%) CSP integer variables are encoded (360 clauses, 3820 bytes)
3.00/3.14	c 3	82 (60%) CSP integer variables are encoded (422 clauses, 4502 bytes)
3.00/3.14	c 3	96 (70%) CSP integer variables are encoded (467 clauses, 4997 bytes)
3.00/3.14	c 3	109 (80%) CSP integer variables are encoded (768 clauses, 8308 bytes)
3.00/3.14	c 3	123 (90%) CSP integer variables are encoded (813 clauses, 8803 bytes)
3.00/3.14	c 3	136 (100%) CSP integer variables are encoded (881 clauses, 9586 bytes)
3.49/3.61	c 4	18 (10%) CSP clauses are encoded (33287 clauses, 923305 bytes)
3.80/4.00	c 4	35 (20%) CSP clauses are encoded (63301 clauses, 1807419 bytes)
4.19/4.39	c 5	52 (30%) CSP clauses are encoded (93291 clauses, 2755787 bytes)
4.38/4.53	c 5	70 (40%) CSP clauses are encoded (104165 clauses, 3100333 bytes)
4.38/4.54	c 5	87 (50%) CSP clauses are encoded (104440 clauses, 3104200 bytes)
4.38/4.54	c 5	104 (60%) CSP clauses are encoded (105629 clauses, 3120912 bytes)
4.38/4.55	c 5	122 (70%) CSP clauses are encoded (108259 clauses, 3160307 bytes)
4.38/4.55	c 5	139 (80%) CSP clauses are encoded (108374 clauses, 3161843 bytes)
4.38/4.55	c 5	156 (90%) CSP clauses are encoded (108641 clauses, 3165589 bytes)
4.38/4.55	c 5	173 (100%) CSP clauses are encoded (109356 clauses, 3176298 bytes)
4.38/4.55	c 5	173 CSP clauses encoded
4.38/4.55	c 5	Writing map file : HOME/temp.map
4.38/4.55	c 5	Heap : 18 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.38/4.55	c 5	SAT : 1017 SAT variables, 109356 SAT clauses, 3176298 bytes
4.38/4.55	c 5	Heap : 18 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.45/4.60	c 5	OBJECTIVE minimize _COST
4.45/4.60	c 5	OBJECTIVE BOUND: 0 <= _COST <= 
4.45/4.60	c 5	SEARCHING: _COST <= 29
4.45/4.60	c 5	SOLVING HOME/temp.cnf
4.45/4.60	c 5	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
4.45/4.60	c 5	This is MiniSat 2.0 beta
4.45/4.60	c 5	WARNING: for repeatability, setting FPU to use double precision
4.45/4.60	c 5	============================[ Problem Statistics ]=============================
4.45/4.60	c 5	|                                                                             |
4.45/4.60	c 5	|  Number of variables:  1017                                                 |
4.45/4.60	c 5	|  Number of clauses:    109357                                               |
4.45/4.68	c 5	|  Parsing time:         0.07         s                                       |
4.45/4.69	c 5	============================[ Search Statistics ]==============================
4.45/4.69	c 5	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.45/4.69	c 5	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.45/4.69	c 5	===============================================================================
4.45/4.69	c 5	|         0 |     843   107343   681658 |    35781        0    nan |  0.000 % |
4.45/4.71	c 5	===============================================================================
4.45/4.71	c 5	restarts              : 1
4.45/4.71	c 5	conflicts             : 17             (177 /sec)
4.45/4.71	c 5	decisions             : 42             (0.00 % random) (438 /sec)
4.45/4.71	c 5	propagations          : 1766           (18399 /sec)
4.45/4.71	c 5	conflict literals     : 313            (32.40 % deleted)
4.45/4.71	c 5	Memory used           : 7.80 MB
4.45/4.71	c 5	CPU time              : 0.095985 s
4.45/4.71	c 5	
4.45/4.71	c 5	SATISFIABLE
4.45/4.71	c 5	FOUND: _COST <= 29
4.45/4.71	s SATISFIABLE
4.45/4.71	c 5	DECODING HOME/temp.out WITH HOME/temp.map
4.45/4.71	c 5	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
4.45/4.79	c 5	Decoding HOME/temp.out
4.56/4.83	c 5	OBJECTIVE _COST 29
4.56/4.83	o 29
4.56/4.83	v 3 13 15 10 0 2 15 10 5 8 18 4 19 19 19 19 19 19 19 19
4.56/4.83	c 5	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
4.56/4.87	c 5	OBJECTIVE BOUND: 0 <= _COST <= 29
4.56/4.87	c 5	SEARCHING: _COST <= 14
4.56/4.87	c 5	SOLVING HOME/temp.cnf
4.56/4.87	c 5	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
4.56/4.87	c 5	This is MiniSat 2.0 beta
4.56/4.87	c 5	WARNING: for repeatability, setting FPU to use double precision
4.56/4.87	c 5	============================[ Problem Statistics ]=============================
4.56/4.87	c 5	|                                                                             |
4.56/4.88	c 5	|  Number of variables:  1017                                                 |
4.56/4.88	c 5	|  Number of clauses:    109357                                               |
4.69/4.95	c 5	|  Parsing time:         0.07         s                                       |
4.69/4.96	c 5	============================[ Search Statistics ]==============================
4.69/4.96	c 5	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.69/4.96	c 5	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.69/4.96	c 5	===============================================================================
4.69/4.96	c 5	|         0 |     736   106034   678037 |    35344        0    nan |  0.000 % |
4.69/5.01	c 5	|       101 |     736   106034   678037 |    38879      101     19 | 27.630 % |
4.69/5.08	c 5	|       251 |     736   106034   678037 |    42767      251     21 | 27.632 % |
4.69/5.16	c 5	===============================================================================
4.69/5.16	c 5	restarts              : 3
4.69/5.16	c 5	conflicts             : 449            (1669 /sec)
4.69/5.16	c 5	decisions             : 610            (1.31 % random) (2268 /sec)
4.69/5.16	c 5	propagations          : 41952          (155979 /sec)
4.69/5.16	c 5	conflict literals     : 9526           (36.06 % deleted)
4.69/5.16	c 5	Memory used           : 8.19 MB
4.69/5.16	c 5	CPU time              : 0.268959 s
4.69/5.16	c 5	
4.69/5.16	c 5	SATISFIABLE
4.69/5.17	c 5	FOUND: _COST <= 14
4.69/5.17	c 5	DECODING HOME/temp.out WITH HOME/temp.map
4.69/5.17	c 5	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
4.98/5.25	c 6	Decoding HOME/temp.out
4.98/5.29	c 6	OBJECTIVE _COST 14
4.98/5.29	o 14
4.98/5.29	v 14 17 8 19 10 0 7 10 18 19 1 19 3 19 19 19 19 11 19 19
4.98/5.29	c 6	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
4.98/5.33	c 6	OBJECTIVE BOUND: 0 <= _COST <= 14
4.98/5.33	c 6	SEARCHING: _COST <= 7
4.98/5.33	c 6	SOLVING HOME/temp.cnf
4.98/5.33	c 6	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
4.98/5.33	c 6	This is MiniSat 2.0 beta
4.98/5.33	c 6	WARNING: for repeatability, setting FPU to use double precision
4.98/5.33	c 6	============================[ Problem Statistics ]=============================
4.98/5.33	c 6	|                                                                             |
4.98/5.33	c 6	|  Number of variables:  1017                                                 |
4.98/5.33	c 6	|  Number of clauses:    109357                                               |
5.15/5.42	c 6	|  Parsing time:         0.07         s                                       |
5.15/5.42	c 6	============================[ Search Statistics ]==============================
5.15/5.42	c 6	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.15/5.42	c 6	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.15/5.42	c 6	===============================================================================
5.15/5.42	c 6	|         0 |     664   105090   675414 |    35030        0    nan |  0.000 % |
5.15/5.46	c 6	|       101 |     664   105090   675414 |    38533      101     15 | 34.710 % |
5.25/5.53	c 6	|       252 |     664   105090   675414 |    42386      252     19 | 34.712 % |
5.35/5.61	c 6	|       477 |     664   105090   675414 |    46624      477     20 | 34.712 % |
5.35/5.68	c 6	|       814 |     664   105090   675414 |    51287      814     18 | 34.712 % |
5.45/5.79	c 6	|      1320 |     664   105090   675414 |    56416     1320     18 | 34.712 % |
5.55/5.89	c 6	===============================================================================
5.55/5.89	c 6	restarts              : 6
5.55/5.89	c 6	conflicts             : 1727           (3205 /sec)
5.55/5.89	c 6	decisions             : 2118           (0.94 % random) (3930 /sec)
5.55/5.89	c 6	propagations          : 154461         (286613 /sec)
5.55/5.89	c 6	conflict literals     : 32332          (34.92 % deleted)
5.55/5.89	c 6	Memory used           : 8.19 MB
5.55/5.89	c 6	CPU time              : 0.538918 s
5.55/5.89	c 6	
5.55/5.89	c 6	SATISFIABLE
5.55/5.89	c 6	FOUND: _COST <= 7
5.55/5.89	c 6	DECODING HOME/temp.out WITH HOME/temp.map
5.55/5.89	c 6	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
5.65/5.97	c 6	Decoding HOME/temp.out
5.65/6.01	c 6	OBJECTIVE _COST 7
5.65/6.01	o 7
5.65/6.01	v 19 16 1 9 17 19 9 8 19 3 8 6 17 19 17 19 19 0 19 18
5.65/6.01	c 6	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
5.65/6.05	c 6	OBJECTIVE BOUND: 0 <= _COST <= 7
5.65/6.05	c 6	SEARCHING: _COST <= 3
5.65/6.05	c 6	SOLVING HOME/temp.cnf
5.65/6.05	c 6	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
5.65/6.05	c 6	This is MiniSat 2.0 beta
5.65/6.05	c 6	WARNING: for repeatability, setting FPU to use double precision
5.65/6.05	c 6	============================[ Problem Statistics ]=============================
5.65/6.05	c 6	|                                                                             |
5.65/6.05	c 6	|  Number of variables:  1017                                                 |
5.65/6.06	c 6	|  Number of clauses:    109357                                               |
5.77/6.13	c 6	|  Parsing time:         0.07         s                                       |
5.77/6.14	c 6	============================[ Search Statistics ]==============================
5.77/6.14	c 6	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.77/6.14	c 6	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.77/6.14	c 6	===============================================================================
5.77/6.14	c 6	|         0 |     586   104350   673424 |    34783        0    nan |  0.000 % |
5.77/6.19	c 6	|       103 |     586   104350   673424 |    38261      103     18 | 42.380 % |
5.77/6.28	c 7	|       256 |     586   104350   673424 |    42087      256     21 | 42.381 % |
5.77/6.42	c 7	|       481 |     586   104350   673424 |    46296      481     21 | 42.381 % |
6.20/6.57	c 7	|       819 |     586   104350   673424 |    50926      819     21 | 42.381 % |
6.39/6.79	c 7	|      1325 |     586   104350   673424 |    56018     1325     21 | 42.381 % |
6.79/7.15	c 7	|      2084 |     586   104350   673424 |    61620     2084     20 | 42.381 % |
7.39/7.79	c 8	|      3225 |     586   104350   673424 |    67782     3225     21 | 42.381 % |
8.27/8.61	c 9	|      4933 |     586   104350   673424 |    74561     4933     21 | 42.381 % |
9.16/9.52	c 10	|      7495 |     586   104350   673424 |    82017     7495     20 | 42.381 % |
11.04/11.42	c 12	|     11339 |     586   104350   673424 |    90219    11339     20 | 42.381 % |
13.83/14.22	c 14	|     17106 |     586   104350   673424 |    99240    17106     20 | 42.381 % |
17.59/18.01	c 18	|     25755 |     586   104350   673424 |   109165    25755     20 | 42.381 % |
26.20/26.71	c 27	|     38729 |     586   104350   673424 |   120081    38729     21 | 42.381 % |
39.97/40.66	c 41	|     58191 |     586   104350   673424 |   132089    58191     22 | 42.381 % |
59.09/59.98	c 60	===============================================================================
59.09/59.98	c 60	restarts              : 15
59.09/59.98	c 60	conflicts             : 79535          (1490 /sec)
59.09/59.98	c 60	decisions             : 88059          (1.04 % random) (1650 /sec)
59.09/59.98	c 60	propagations          : 8510539        (159460 /sec)
59.09/59.98	c 60	conflict literals     : 1888822        (36.89 % deleted)
59.09/59.98	c 60	Memory used           : 18.04 MB
59.09/59.98	c 60	CPU time              : 53.3709 s
59.09/59.98	c 60	
59.09/59.98	c 60	SATISFIABLE
59.09/59.99	c 60	FOUND: _COST <= 3
59.09/59.99	c 60	DECODING HOME/temp.out WITH HOME/temp.map
59.09/59.99	c 60	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
59.20/60.07	c 60	Decoding HOME/temp.out
59.20/60.11	c 60	OBJECTIVE _COST 3
59.20/60.11	o 3
59.20/60.12	v 2 7 14 19 12 8 5 0 16 14 9 4 15 19 17 16 4 3 19 19
59.20/60.12	c 60	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
59.20/60.15	c 60	OBJECTIVE BOUND: 0 <= _COST <= 3
59.20/60.15	c 60	SEARCHING: _COST <= 1
59.20/60.15	c 60	SOLVING HOME/temp.cnf
59.20/60.15	c 60	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
59.20/60.15	c 60	This is MiniSat 2.0 beta
59.20/60.15	c 60	WARNING: for repeatability, setting FPU to use double precision
59.20/60.15	c 60	============================[ Problem Statistics ]=============================
59.20/60.15	c 60	|                                                                             |
59.20/60.16	c 60	|  Number of variables:  1017                                                 |
59.20/60.16	c 60	|  Number of clauses:    109357                                               |
59.33/60.23	c 61	|  Parsing time:         0.07         s                                       |
59.33/60.24	c 61	============================[ Search Statistics ]==============================
59.33/60.24	c 61	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
59.33/60.24	c 61	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
59.33/60.24	c 61	===============================================================================
59.33/60.24	c 61	|         0 |     496   103817   672093 |    34605        0    nan |  0.000 % |
59.33/60.29	c 61	|       100 |     496   103817   672093 |    38066      100     18 | 51.229 % |
59.34/60.39	c 61	|       250 |     496   103817   672093 |    41872      250     21 | 51.231 % |
59.67/60.56	c 61	|       477 |     496   103817   672093 |    46060      477     23 | 51.231 % |
59.86/60.73	c 61	|       814 |     496   103817   672093 |    50666      814     21 | 51.231 % |
60.06/60.94	c 61	|      1320 |     496   103817   672093 |    55732     1320     22 | 51.231 % |
60.46/61.30	c 62	|      2080 |     496   103817   672093 |    61306     2080     22 | 51.231 % |
60.96/61.80	c 62	|      3220 |     496   103817   672093 |    67436     3220     23 | 51.231 % |
61.55/62.46	c 63	|      4928 |     496   103817   672093 |    74180     4928     24 | 51.231 % |
62.74/63.63	c 64	|      7492 |     496   103817   672093 |    81598     7492     25 | 51.231 % |
64.52/65.47	c 66	|     11337 |     496   103817   672093 |    89758    11337     27 | 51.229 % |
67.80/68.70	c 69	|     17103 |     496   103817   672093 |    98734    17103     29 | 51.231 % |
73.93/74.99	c 75	|     25752 |     496   103817   672093 |   108607    25752     28 | 51.231 % |
84.03/85.14	c 85	|     38729 |     496   103817   672093 |   119468    38729     29 | 51.231 % |
100.97/102.21	c 102	|     58192 |     496   103817   672093 |   131414    58192     28 | 51.231 % |
130.10/131.68	c 132	|     87384 |     496   103817   672093 |   144556    87384     30 | 51.231 % |
181.02/183.03	c 183	|    131174 |     496   103817   672093 |   159012   131174     31 | 51.231 % |
256.31/259.08	c 259	|    196859 |     496   103817   672093 |   174913    55236     32 | 51.230 % |
385.51/388.54	c 389	|    295385 |     496   103817   672093 |   192404   153762     35 | 51.231 % |
557.84/560.96	c 561	|    443176 |     496   103817   672093 |   211645   123604     30 | 51.231 % |
864.29/867.57	c 868	|    664859 |     496   103817   672093 |   232809   153861     32 | 51.230 % |
1416.17/1419.63	c 1420	|    997384 |     496   103817   672093 |   256090    63663     29 | 51.231 % |
1486.84/1490.36	c 1491	===============================================================================
1486.84/1490.36	c 1491	restarts              : 22
1486.84/1490.36	c 1491	conflicts             : 1049350        (735 /sec)
1486.84/1490.36	c 1491	decisions             : 1194686        (1.24 % random) (837 /sec)
1486.84/1490.36	c 1491	propagations          : 58737486       (41149 /sec)
1486.84/1490.36	c 1491	conflict literals     : 33868781       (23.04 % deleted)
1486.84/1490.36	c 1491	Memory used           : 53.24 MB
1486.84/1490.36	c 1491	CPU time              : 1427.42 s
1486.84/1490.36	c 1491	
1486.84/1490.36	c 1491	SATISFIABLE
1486.84/1490.37	c 1491	FOUND: _COST <= 1
1486.84/1490.37	c 1491	DECODING HOME/temp.out WITH HOME/temp.map
1486.84/1490.37	c 1491	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1486.93/1490.46	c 1491	Decoding HOME/temp.out
1486.93/1490.49	c 1491	OBJECTIVE _COST 1
1486.93/1490.49	o 1
1486.93/1490.49	v 4 19 6 0 11 15 18 11 11 6 16 4 19 19 5 6 9 12 18 19
1486.93/1490.50	c 1491	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1487.02/1490.53	c 1491	OBJECTIVE BOUND: 0 <= _COST <= 1
1487.02/1490.53	c 1491	SEARCHING: _COST <= 0
1487.02/1490.53	c 1491	SOLVING HOME/temp.cnf
1487.02/1490.53	c 1491	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1487.02/1490.53	c 1491	This is MiniSat 2.0 beta
1487.02/1490.53	c 1491	WARNING: for repeatability, setting FPU to use double precision
1487.02/1490.53	c 1491	============================[ Problem Statistics ]=============================
1487.02/1490.53	c 1491	|                                                                             |
1487.02/1490.54	c 1491	|  Number of variables:  1017                                                 |
1487.02/1490.54	c 1491	|  Number of clauses:    109357                                               |
1487.05/1490.61	c 1491	|  Parsing time:         0.07         s                                       |
1487.05/1490.61	c 1491	============================[ Search Statistics ]==============================
1487.05/1490.61	c 1491	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1487.05/1490.61	c 1491	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1487.05/1490.61	c 1491	===============================================================================
1487.05/1490.61	c 1491	|         0 |     380   103588   671521 |    34529        0    nan |  0.000 % |
1487.05/1490.65	c 1491	|       101 |     380   103588   671521 |    37982      101     11 | 62.635 % |
1487.05/1490.71	c 1491	|       253 |     380   103588   671521 |    41780      253     11 | 62.637 % |
1487.05/1490.82	c 1491	|       478 |     380   103588   671521 |    45958      478     10 | 62.637 % |
1487.05/1490.97	c 1491	|       815 |     380   103588   671521 |    50554      815     10 | 62.637 % |
1487.05/1491.18	c 1491	|      1321 |     380   103588   671521 |    55609     1321     11 | 62.637 % |
1488.01/1491.54	c 1492	|      2082 |     380   103588   671521 |    61170     2082     11 | 62.637 % |
1488.40/1491.93	c 1492	|      3221 |     380   103588   671521 |    67287     3221     11 | 62.637 % |
1489.00/1492.52	c 1493	|      4929 |     380   103588   671521 |    74016     4929     12 | 62.637 % |
1490.10/1493.62	c 1494	|      7493 |     380   103588   671521 |    81418     7493     13 | 62.635 % |
1491.91/1495.47	c 1496	|     11338 |     380   103588   671521 |    89560    11338     14 | 62.637 % |
1494.70/1498.24	c 1499	|     17106 |     380   103588   671521 |    98516    17106     14 | 62.637 % |
1499.39/1502.91	c 1503	|     25755 |     380   103588   671521 |   108367    25755     14 | 62.637 % |
1506.20/1509.74	c 1510	|     38731 |     380   103588   671521 |   119204    38731     14 | 62.637 % |
1519.99/1523.52	c 1524	|     58192 |     380   103588   671521 |   131125    58192     15 | 62.636 % |
1544.18/1547.77	c 1548	|     87384 |     380   103588   671521 |   144237    87384     15 | 62.637 % |
1591.96/1595.58	c 1596	|    131173 |     380   103588   671521 |   158661   131173     15 | 62.637 % |
1655.03/1658.65	c 1659	|    196860 |     380   103588   671521 |   174527    54491     16 | 62.637 % |
1733.10/1736.72	c 1737	|    295386 |     379   102692   666475 |   191980    95324     19 | 62.734 % |
1904.63/1908.38	c 1909	|    443175 |     379   102692   666475 |   211178    68331     18 | 62.735 % |
2184.30/2188.13	c 2188	|    664859 |     379   102692   666475 |   232296    97464     18 | 62.734 % |
2657.10/2661.19	c 2661	|    997384 |     379   102692   666475 |   255525   214490     19 | 62.734 % |
3349.31/3353.61	c 3354	|   1496173 |     371    94061   609786 |   281078    38333     12 | 63.520 % |
3600.10/3604.51	c ERROR unknown output  in HOME/temp.out
3600.10/3604.51	c 3605	CPU 1486.49 (0.04 0.02 1486.45 0.54)
3600.10/3604.51	c 3605	END Sat Jul 12 14:09:16 2008

Verifier Data (download as text)

OK	1	57
1 unsatisfied constraints, 57 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-1112036-1215860951/watcher-1112036-1215860951 -o /tmp/evaluation-result-1112036-1215860951/solver-1112036-1215860951 -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-1112036-1215860951.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.85 1.97 1.99 4/73 17216
/proc/meminfo: memFree=1833952/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=12268 CPUtime=0
/proc/17216/stat : 17216 (sugar) R 17214 17216 17179 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 42798020 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 214920034917 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/17216/statm: 3067 316 241 3 0 167 0

[startup+0.079448 s]
/proc/loadavg: 1.85 1.97 1.99 4/73 17216
/proc/meminfo: memFree=1833952/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=0.03
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 898 127 0 0 2 1 0 0 19 0 1 0 42798020 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17216/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.10145 s]
/proc/loadavg: 1.85 1.97 1.99 4/73 17216
/proc/meminfo: memFree=1833952/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=0.03
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 898 127 0 0 2 1 0 0 19 0 1 0 42798020 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17216/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301474 s]
/proc/loadavg: 1.85 1.97 1.99 4/73 17216
/proc/meminfo: memFree=1833952/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=0.03
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 898 127 0 0 2 1 0 0 19 0 1 0 42798020 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17216/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701532 s]
/proc/loadavg: 1.85 1.97 1.99 4/73 17216
/proc/meminfo: memFree=1833952/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=0.03
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 898 127 0 0 2 1 0 0 19 0 1 0 42798020 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17216/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+1.50264 s]
/proc/loadavg: 1.85 1.97 1.99 3/84 17238
/proc/meminfo: memFree=1825408/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=0.82
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 974 7057 0 1 2 1 74 5 16 0 1 0 42798020 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17216/statm: 3400 797 370 3 0 500 0
[pid=17229] ppid=17216 vsize=5356 CPUtime=0
/proc/17229/stat : 17229 (sh) S 17216 17216 17179 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42798109 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17229/statm: 1339 233 193 169 0 50 0
[pid=17230] ppid=17229 vsize=864012 CPUtime=0.59
/proc/17230/stat : 17230 (java) S 17229 17216 17179 0 -1 0 6843 0 1 0 57 2 0 0 18 0 9 0 42798109 884748288 6132 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17230/statm: 216003 6132 2532 9 0 210585 0
[pid=17230/tid=17231] ppid=17229 vsize=864012 CPUtime=0.34
/proc/17230/task/17231/stat : 17231 (java) R 17229 17216 17179 0 -1 64 2458 0 1 0 34 0 0 0 22 0 9 0 42798110 884748288 6132 996147200 134512640 134550740 4294955936 18446744073709551615 104689130 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17230/tid=17232] ppid=17229 vsize=864012 CPUtime=0.18
/proc/17230/task/17232/stat : 17232 (java) S 17229 17216 17179 0 -1 64 3376 0 0 0 18 0 0 0 16 0 9 0 42798111 884748288 6132 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17230/tid=17233] ppid=17229 vsize=864012 CPUtime=0
/proc/17230/task/17233/stat : 17233 (java) S 17229 17216 17179 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42798111 884748288 6132 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17230/tid=17234] ppid=17229 vsize=864012 CPUtime=0
/proc/17230/task/17234/stat : 17234 (java) S 17229 17216 17179 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 42798111 884748288 6132 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17230/tid=17235] ppid=17229 vsize=864012 CPUtime=0
/proc/17230/task/17235/stat : 17235 (java) S 17229 17216 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42798113 884748288 6132 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17230/tid=17236] ppid=17229 vsize=864012 CPUtime=0.04
/proc/17230/task/17236/stat : 17236 (java) S 17229 17216 17179 0 -1 64 313 0 0 0 4 0 0 0 16 0 9 0 42798113 884748288 6132 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17230/tid=17237] ppid=17229 vsize=864012 CPUtime=0
/proc/17230/task/17237/stat : 17237 (java) S 17229 17216 17179 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42798113 884748288 6132 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17230/tid=17238] ppid=17229 vsize=864012 CPUtime=0
/proc/17230/task/17238/stat : 17238 (java) S 17229 17216 17179 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 42798113 884748288 6132 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 882968

[startup+3.10286 s]
/proc/loadavg: 1.86 1.97 1.99 4/84 17238
/proc/meminfo: memFree=1800704/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=0.83
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 974 7057 0 1 3 1 74 5 15 0 1 0 42798020 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17216/statm: 3400 797 370 3 0 500 0
[pid=17229] ppid=17216 vsize=5356 CPUtime=0
/proc/17229/stat : 17229 (sh) S 17216 17216 17179 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42798109 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17229/statm: 1339 233 193 169 0 50 0
[pid=17230] ppid=17229 vsize=864292 CPUtime=2.17
/proc/17230/stat : 17230 (java) S 17229 17216 17179 0 -1 0 14772 0 1 0 210 7 0 0 18 0 9 0 42798109 885035008 14019 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17230/statm: 216073 14019 2540 9 0 210648 0
[pid=17230/tid=17231] ppid=17229 vsize=864292 CPUtime=1.03
/proc/17230/task/17231/stat : 17231 (java) R 17229 17216 17179 0 -1 64 2947 0 1 0 102 1 0 0 21 0 9 0 42798110 885035008 14019 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17230/tid=17232] ppid=17229 vsize=864292 CPUtime=1.04
/proc/17230/task/17232/stat : 17232 (java) R 17229 17216 17179 0 -1 64 10798 0 0 0 100 4 0 0 17 0 9 0 42798111 885035008 14019 996147200 134512640 134550740 4294955936 18446744073709551615 104182485 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17230/tid=17233] ppid=17229 vsize=864292 CPUtime=0
/proc/17230/task/17233/stat : 17233 (java) S 17229 17216 17179 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42798111 885035008 14019 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17230/tid=17234] ppid=17229 vsize=864292 CPUtime=0
/proc/17230/task/17234/stat : 17234 (java) S 17229 17216 17179 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 42798111 885035008 14019 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17230/tid=17235] ppid=17229 vsize=864292 CPUtime=0
/proc/17230/task/17235/stat : 17235 (java) S 17229 17216 17179 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42798113 885035008 14019 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17230/tid=17236] ppid=17229 vsize=864292 CPUtime=0.07
/proc/17230/task/17236/stat : 17236 (java) S 17229 17216 17179 0 -1 64 331 0 0 0 7 0 0 0 16 0 9 0 42798113 885035008 14019 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17230/tid=17237] ppid=17229 vsize=864292 CPUtime=0
/proc/17230/task/17237/stat : 17237 (java) S 17229 17216 17179 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42798113 885035008 14019 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17230/tid=17238] ppid=17229 vsize=864292 CPUtime=0
/proc/17230/task/17238/stat : 17238 (java) S 17229 17216 17179 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 42798113 885035008 14019 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 883248

[startup+6.30229 s]
/proc/loadavg: 1.86 1.97 1.99 3/76 17264
/proc/meminfo: memFree=1820864/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=5.77
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1403 40481 0 5 3 1 546 27 15 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 13600

[startup+12.7012 s]
/proc/loadavg: 1.88 1.97 1.99 3/76 17276
/proc/meminfo: memFree=1817600/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=5.77
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1403 40481 0 5 3 1 546 27 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17275] ppid=17216 vsize=5356 CPUtime=0
/proc/17275/stat : 17275 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42798626 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17275/statm: 1339 232 193 169 0 50 0
[pid=17276] ppid=17275 vsize=9968 CPUtime=6.57
/proc/17276/stat : 17276 (minisat) R 17275 17216 17179 0 -1 4194304 2362 0 0 0 655 2 0 0 25 0 1 0 42798626 10207232 2348 996147200 134512640 135127466 4294956256 18446744073709551615 134530823 0 0 4096 3 0 0 0 17 1 0 0
/proc/17276/statm: 2492 2348 75 150 0 2339 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 28924

[startup+25.5019 s]
/proc/loadavg: 1.90 1.97 1.99 3/76 17276
/proc/meminfo: memFree=1814912/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=5.77
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1403 40481 0 5 3 1 546 27 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17275] ppid=17216 vsize=5356 CPUtime=0
/proc/17275/stat : 17275 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42798626 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17275/statm: 1339 232 193 169 0 50 0
[pid=17276] ppid=17275 vsize=12672 CPUtime=19.24
/proc/17276/stat : 17276 (minisat) R 17275 17216 17179 0 -1 4194304 3053 0 0 0 1922 2 0 0 25 0 1 0 42798626 12976128 3039 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0
/proc/17276/statm: 3168 3039 75 150 0 3015 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 31628

[startup+51.1013 s]
/proc/loadavg: 1.93 1.97 1.99 3/76 17276
/proc/meminfo: memFree=1810624/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=5.77
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1403 40481 0 5 3 1 546 27 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17275] ppid=17216 vsize=5356 CPUtime=0
/proc/17275/stat : 17275 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42798626 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17275/statm: 1339 232 193 169 0 50 0
[pid=17276] ppid=17275 vsize=17120 CPUtime=44.6
/proc/17276/stat : 17276 (minisat) R 17275 17216 17179 0 -1 4194304 4132 0 0 0 4457 3 0 0 25 0 1 0 42798626 17530880 4118 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 1 0 0
/proc/17276/statm: 4280 4118 75 150 0 4127 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 36076

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.99 3/76 17288
/proc/meminfo: memFree=1810048/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=59.34
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1517 48973 0 6 3 2 5894 35 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17287] ppid=17216 vsize=5356 CPUtime=0
/proc/17287/stat : 17287 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42804036 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17287/statm: 1339 232 193 169 0 50 0
[pid=17288] ppid=17287 vsize=17328 CPUtime=41.73
/proc/17288/stat : 17288 (minisat) R 17287 17216 17179 0 -1 4194304 4211 0 0 0 4170 3 0 0 25 0 1 0 42804036 17743872 4197 996147200 134512640 135127466 4294956256 18446744073709551615 134530772 0 0 4096 3 0 0 0 17 1 0 0
/proc/17288/statm: 4332 4197 75 150 0 4179 0
Current children cumulated CPU time (s) 101.07
Current children cumulated vsize (KiB) 36284

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/76 17288
/proc/meminfo: memFree=1801408/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=59.34
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1517 48973 0 6 3 2 5894 35 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17287] ppid=17216 vsize=5356 CPUtime=0
/proc/17287/stat : 17287 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42804036 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17287/statm: 1339 232 193 169 0 50 0
[pid=17288] ppid=17287 vsize=26136 CPUtime=101.18
/proc/17288/stat : 17288 (minisat) R 17287 17216 17179 0 -1 4194304 6370 0 0 0 10112 6 0 0 25 0 1 0 42804036 26763264 6356 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17288/statm: 6534 6356 75 150 0 6381 0
Current children cumulated CPU time (s) 160.52

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

[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17376
/proc/meminfo: memFree=1781880/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=1487.05
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1631 66150 0 7 4 2 148645 54 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17369] ppid=17216 vsize=5356 CPUtime=0
/proc/17369/stat : 17369 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42947074 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17369/statm: 1339 232 193 169 0 50 0
[pid=17370] ppid=17369 vsize=43160 CPUtime=1671.03
/proc/17370/stat : 17370 (minisat) R 17369 17216 17179 0 -1 4194304 10403 0 0 0 167092 11 0 0 25 0 1 0 42947074 44195840 10389 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/17370/statm: 10790 10389 75 150 0 10637 0
Current children cumulated CPU time (s) 3158.08
Current children cumulated vsize (KiB) 62116

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17376
/proc/meminfo: memFree=1781752/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=1487.05
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1631 66150 0 7 4 2 148645 54 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17369] ppid=17216 vsize=5356 CPUtime=0
/proc/17369/stat : 17369 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42947074 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17369/statm: 1339 232 193 169 0 50 0
[pid=17370] ppid=17369 vsize=43476 CPUtime=1731.01
/proc/17370/stat : 17370 (minisat) R 17369 17216 17179 0 -1 4194304 10458 0 0 0 173090 11 0 0 25 0 1 0 42947074 44519424 10444 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/17370/statm: 10869 10444 75 150 0 10716 0
Current children cumulated CPU time (s) 3218.06
Current children cumulated vsize (KiB) 62432

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17376
/proc/meminfo: memFree=1781688/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=1487.05
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1631 66150 0 7 4 2 148645 54 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17369] ppid=17216 vsize=5356 CPUtime=0
/proc/17369/stat : 17369 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42947074 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17369/statm: 1339 232 193 169 0 50 0
[pid=17370] ppid=17369 vsize=43476 CPUtime=1790.99
/proc/17370/stat : 17370 (minisat) R 17369 17216 17179 0 -1 4194304 10466 0 0 0 179087 12 0 0 25 0 1 0 42947074 44519424 10452 996147200 134512640 135127466 4294956256 18446744073709551615 134530936 0 0 4096 3 0 0 0 17 0 0 0
/proc/17370/statm: 10869 10452 75 150 0 10716 0
Current children cumulated CPU time (s) 3278.04
Current children cumulated vsize (KiB) 62432

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17376
/proc/meminfo: memFree=1781624/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=1487.05
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1631 66150 0 7 4 2 148645 54 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17369] ppid=17216 vsize=5356 CPUtime=0
/proc/17369/stat : 17369 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42947074 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17369/statm: 1339 232 193 169 0 50 0
[pid=17370] ppid=17369 vsize=43476 CPUtime=1850.96
/proc/17370/stat : 17370 (minisat) R 17369 17216 17179 0 -1 4194304 10469 0 0 0 185084 12 0 0 25 0 1 0 42947074 44519424 10455 996147200 134512640 135127466 4294956256 18446744073709551615 134523441 0 0 4096 3 0 0 0 17 0 0 0
/proc/17370/statm: 10869 10455 75 150 0 10716 0
Current children cumulated CPU time (s) 3338.01
Current children cumulated vsize (KiB) 62432

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17376
/proc/meminfo: memFree=1781560/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=1487.05
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1631 66150 0 7 4 2 148645 54 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17369] ppid=17216 vsize=5356 CPUtime=0
/proc/17369/stat : 17369 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42947074 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17369/statm: 1339 232 193 169 0 50 0
[pid=17370] ppid=17369 vsize=43476 CPUtime=1910.94
/proc/17370/stat : 17370 (minisat) R 17369 17216 17179 0 -1 4194304 10483 0 0 0 191082 12 0 0 25 0 1 0 42947074 44519424 10469 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/17370/statm: 10869 10469 75 150 0 10716 0
Current children cumulated CPU time (s) 3397.99
Current children cumulated vsize (KiB) 62432

[startup+3462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/84 17376
/proc/meminfo: memFree=1781248/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=1487.05
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1631 66150 0 7 4 2 148645 54 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17369] ppid=17216 vsize=5356 CPUtime=0
/proc/17369/stat : 17369 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42947074 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17369/statm: 1339 232 193 169 0 50 0
[pid=17370] ppid=17369 vsize=43776 CPUtime=1970.91
/proc/17370/stat : 17370 (minisat) R 17369 17216 17179 0 -1 4194304 10539 0 0 0 197079 12 0 0 25 0 1 0 42947074 44826624 10525 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/17370/statm: 10944 10525 75 150 0 10791 0
Current children cumulated CPU time (s) 3457.96
Current children cumulated vsize (KiB) 62732

[startup+3522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/84 17376
/proc/meminfo: memFree=1781184/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=1487.05
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1631 66150 0 7 4 2 148645 54 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17369] ppid=17216 vsize=5356 CPUtime=0
/proc/17369/stat : 17369 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42947074 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17369/statm: 1339 232 193 169 0 50 0
[pid=17370] ppid=17369 vsize=43776 CPUtime=2030.88
/proc/17370/stat : 17370 (minisat) R 17369 17216 17179 0 -1 4194304 10559 0 0 0 203076 12 0 0 25 0 1 0 42947074 44826624 10545 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/17370/statm: 10944 10545 75 150 0 10791 0
Current children cumulated CPU time (s) 3517.93
Current children cumulated vsize (KiB) 62732

[startup+3582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/84 17376
/proc/meminfo: memFree=1780608/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=1487.05
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1631 66150 0 7 4 2 148645 54 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17369] ppid=17216 vsize=5356 CPUtime=0
/proc/17369/stat : 17369 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42947074 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17369/statm: 1339 232 193 169 0 50 0
[pid=17370] ppid=17369 vsize=44424 CPUtime=2090.86
/proc/17370/stat : 17370 (minisat) R 17369 17216 17179 0 -1 4194304 10690 0 0 0 209074 12 0 0 25 0 1 0 42947074 45490176 10676 996147200 134512640 135127466 4294956256 18446744073709551615 134530828 0 0 4096 3 0 0 0 17 0 0 0
/proc/17370/statm: 11106 10676 75 150 0 10953 0
Current children cumulated CPU time (s) 3577.91
Current children cumulated vsize (KiB) 63380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17376
/proc/meminfo: memFree=1780608/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=1487.05
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1631 66150 0 7 4 2 148645 54 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17369] ppid=17216 vsize=5356 CPUtime=0
/proc/17369/stat : 17369 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42947074 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17369/statm: 1339 232 193 169 0 50 0
[pid=17370] ppid=17369 vsize=44424 CPUtime=2113.05
/proc/17370/stat : 17370 (minisat) R 17369 17216 17179 0 -1 4194304 10695 0 0 0 211293 12 0 0 25 0 1 0 42947074 45490176 10681 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/17370/statm: 11106 10681 75 150 0 10953 0
Current children cumulated CPU time (s) 3600.1
Current children cumulated vsize (KiB) 63380

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

[startup+3604.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17376
/proc/meminfo: memFree=1780608/2055920 swapFree=4192812/4192956
[pid=17216] ppid=17214 vsize=13600 CPUtime=1487.05
/proc/17216/stat : 17216 (sugar) S 17214 17216 17179 0 -1 4194304 1631 66150 0 7 4 2 148645 54 16 0 1 0 42798020 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17216/statm: 3400 804 374 3 0 500 0
[pid=17369] ppid=17216 vsize=5356 CPUtime=0
/proc/17369/stat : 17369 (sh) S 17216 17216 17179 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42947074 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17369/statm: 1339 232 193 169 0 50 0
[pid=17370] ppid=17369 vsize=44424 CPUtime=2113.05
/proc/17370/stat : 17370 (minisat) R 17369 17216 17179 0 -1 4194304 10695 0 0 0 211293 12 0 0 25 0 1 0 42947074 45490176 10681 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/17370/statm: 11106 10681 75 150 0 10953 0
Current children cumulated CPU time (s) 3600.1
Current children cumulated vsize (KiB) 63380

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17216 and gives
#  childrusage.ru_utime.tv_sec=1486
#  childrusage.ru_utime.tv_usec=498017
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=571913
# CPU time returned by wait4() is 1487.07
# while last known CPU time is 3600.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3604.52
CPU time (s): 3600.1
CPU user time (s): 3599.42
CPU system time (s): 0.68
CPU usage (%): 99.8774
Max. virtual memory (cumulated for all children) (KiB): 883360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1486.5
system time used= 0.571913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68124
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3565
involuntary context switches= 13820

runsolver used 3.46747 second user time and 10.4924 second system time

The end

Launcher Data (download as text)

Begin job on node10 at 2008-07-12 13:09:11
IDJOB=1112036
IDBENCH=61354
IDSOLVER=368
FILE ID=node10/1112036-1215860951
PBS_JOBID= 7903512
Free space on /tmp= 66500 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-16_ext.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-1112036-1215860951/watcher-1112036-1215860951 -o /tmp/evaluation-result-1112036-1215860951/solver-1112036-1215860951 -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-1112036-1215860951.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 0815438ca54777d4041aeb39a85cfd39
RANDOM SEED=1928918196

node10.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.236
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.236
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:       1834432 kB
Buffers:         44012 kB
Cached:          97156 kB
SwapCached:          0 kB
Active:          94580 kB
Inactive:        69632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1834432 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2680 kB
Writeback:           0 kB
Mapped:          34112 kB
Slab:            42772 kB
Committed_AS:   194756 kB
PageTables:       1728 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= 66508 MiB
End job on node10 at 2008-07-12 14:09:16