Trace number 1128531

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sugar++ v1.13+minisat-incMSAT (TO) 3600.1 3626.21

General information on the benchmark

Namemaxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-30/
normalized-kbtree-9-2-3-5-30-02_ext.xml
MD5SUMb422c5cbdc97efdfd356aba0f0cb4788
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints9
Best CPU time to get the best result obtained on this benchmark61.9096
Satisfiable
(Un)Satisfiability was proved
Number of variables58
Number of constraints309
Maximum constraint arity2
Maximum domain size5
Number of constraints which are defined in extension309
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.07	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.07	c 0	BEGIN Wed Jul 23 05:52:49 2008
0.00/0.08	c 0	PID 6230
0.06/0.08	c 0	HOST node6.alineos.net
0.06/0.08	c 0	CONVERTING HOME/instance-1128531-1216785168.xml TO HOME/temp.csp
0.06/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1128531-1216785168.xml' 'HOME/temp.csp'
0.06/0.60	c 0	1 domains, 58 variables, 0 predicates, 309 relations, 309 constraints
0.06/0.62	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.62	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.58/0.70	c 0	Parsing HOME/temp.csp
0.58/0.86	c 0	parsed 677 expressions
0.58/0.87	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.58/0.87	c 0	MAX CSP: 309 constraints
0.58/0.87	c 0	Converting to clausal form CSP
0.58/0.89	c 0	converted 99 (10%) expressions
0.58/0.90	c 0	converted 198 (20%) expressions
0.58/0.90	c 0	converted 297 (30%) expressions
0.58/0.92	c 0	converted 396 (40%) expressions
0.58/0.93	c 0	converted 495 (50%) expressions
0.58/0.94	c 0	converted 594 (60%) expressions
0.58/0.94	c 0	converted 693 (70%) expressions
0.58/0.95	c 0	converted 792 (80%) expressions
0.58/0.96	c 0	converted 891 (90%) expressions
1.04/1.12	c 1	converted 989 (100%) expressions
1.04/1.12	c 1	CSP : 676 integers, 0 booleans, 926 clauses, largest domain size 464
1.04/1.12	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.04/1.12	c 1	Propagation in CSP
1.04/1.15	c 1	304 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.04/1.15	c 1	CSP : 676 integers, 0 booleans, 926 clauses, largest domain size 310
1.04/1.15	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.04/1.15	c 1	Simplifing CSP by introducing new Boolean variables
1.04/1.16	c 1	CSP : 676 integers, 0 booleans, 926 clauses, largest domain size 310
1.04/1.16	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.04/1.18	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.04/1.20	c 1	68 (10%) CSP integer variables are encoded (174 clauses, 1816 bytes)
1.13/1.20	c 1	136 (20%) CSP integer variables are encoded (174 clauses, 1816 bytes)
1.13/1.20	c 1	203 (30%) CSP integer variables are encoded (174 clauses, 1816 bytes)
1.13/1.20	c 1	271 (40%) CSP integer variables are encoded (174 clauses, 1816 bytes)
1.13/1.20	c 1	338 (50%) CSP integer variables are encoded (174 clauses, 1816 bytes)
1.13/1.21	c 1	406 (60%) CSP integer variables are encoded (653 clauses, 7200 bytes)
1.13/1.21	c 1	474 (70%) CSP integer variables are encoded (996 clauses, 11659 bytes)
1.13/1.21	c 1	541 (80%) CSP integer variables are encoded (1536 clauses, 18679 bytes)
1.13/1.22	c 1	609 (90%) CSP integer variables are encoded (3918 clauses, 49645 bytes)
1.13/1.22	c 1	676 (100%) CSP integer variables are encoded (4612 clauses, 58667 bytes)
1.13/1.25	c 1	93 (10%) CSP clauses are encoded (5068 clauses, 66626 bytes)
1.13/1.26	c 1	186 (20%) CSP clauses are encoded (5521 clauses, 75105 bytes)
1.13/1.28	c 1	278 (30%) CSP clauses are encoded (5970 clauses, 84334 bytes)
1.13/1.29	c 1	371 (40%) CSP clauses are encoded (6845 clauses, 97455 bytes)
1.23/1.31	c 1	463 (50%) CSP clauses are encoded (13107 clauses, 207669 bytes)
1.23/1.32	c 1	556 (60%) CSP clauses are encoded (15130 clauses, 242275 bytes)
1.23/1.35	c 1	649 (70%) CSP clauses are encoded (32481 clauses, 558010 bytes)
1.32/1.40	c 1	741 (80%) CSP clauses are encoded (49135 clauses, 843944 bytes)
1.32/1.47	c 1	834 (90%) CSP clauses are encoded (85594 clauses, 1508892 bytes)
1.42/1.55	c 1	926 (100%) CSP clauses are encoded (134182 clauses, 2398797 bytes)
1.42/1.56	c 1	926 CSP clauses encoded
1.42/1.56	c 1	Writing map file : HOME/temp.map
1.42/1.57	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.42/1.57	c 1	SAT : 5288 SAT variables, 134182 SAT clauses, 2398797 bytes
1.42/1.57	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.42/1.58	c 1	OBJECTIVE minimize _COST
1.42/1.58	c 1	SOLVING HOME/temp.cnf
1.42/1.58	c 1	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.42/1.58	c 1	This is MiniSat 2.0 beta incremental
1.42/1.58	c 1	WARNING: for repeatability, setting FPU to use double precision
1.42/1.58	c 1	============================[ Problem Statistics ]=============================
1.42/1.58	c 1	|                                                                             |
1.42/1.58	c 1	|  Number of variables:  5288                                                 |
1.42/1.58	c 1	|  Number of clauses:    134182                                               |
1.53/1.64	c 1	|  Parsing time:         0.06         s                                       |
1.53/1.65	c 1	OK
1.53/1.65	c 1	OBJECTIVE BOUND: 0 <= _COST <= 
1.53/1.65	c 1	SEARCHING: _COST <= 155
1.53/1.65	c 1	============================[ Search Statistics ]==============================
1.53/1.65	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.53/1.65	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.53/1.65	c 1	===============================================================================
1.53/1.65	c 1	|         0 |    5288   134182   390273 |    44727        0    nan |  0.000 % |
1.53/1.66	c 1	===============================================================================
1.53/1.66	c 1	restarts              : 1
1.53/1.66	c 1	conflicts             : 11            (159 /sec)
1.53/1.66	c 1	decisions             : 64            (0.00 % random) (928 /sec)
1.53/1.66	c 1	propagations          : 5421           (78578 /sec)
1.53/1.66	c 1	conflict literals     : 102            (2.86 % deleted)
1.53/1.66	c 1	Memory used           : 7.26 MB
1.53/1.66	c 1	CPU time              : 0.068989 s
1.53/1.66	c 1	
1.53/1.66	c 1	SATISFIABLE
1.53/1.66	c 1	OK
1.53/1.66	c 1	FOUND: _COST <= 155
1.53/1.66	s SATISFIABLE
1.53/1.66	c 1	DECODING HOME/temp.out WITH HOME/temp.map
1.53/1.66	c 1	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.53/1.74	c 1	Decoding HOME/temp.out
1.53/1.83	c 1	OBJECTIVE _COST 99
1.53/1.83	o 99
1.53/1.83	v 1 4 3 3 4 4 4 0 2 4 4 1 3 1 3 3 4 3 4 3 1 2 4 4 2 2 0 3 2 1 2 1 3 4 4 3 3 0 4 1 1 0 3 2 1 1 4 4 1 0 3 4 1 0 4 1 3 4
1.53/1.84	c 1	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.53/1.85	c 1	OK
1.53/1.85	c 1	OBJECTIVE BOUND: 0 <= _COST <= 99
1.53/1.85	c 1	SEARCHING: _COST <= 49
1.53/1.86	c 1	============================[ Search Statistics ]==============================
1.53/1.87	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.53/1.87	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.53/1.87	c 1	===============================================================================
1.53/1.87	c 1	|        11 |    5288   134182   390273 |    44727       11      9 |  0.000 % |
1.53/1.88	c 1	|       111 |    5288   134182   390273 |    49200      111     25 | 36.802 % |
1.72/1.90	c 1	|       262 |    5288   134182   390273 |    54120      262     29 | 36.802 % |
1.72/1.94	c 1	|       488 |    5288   134182   390273 |    59532      488     29 | 36.802 % |
1.72/1.95	c 1	===============================================================================
1.72/1.95	c 1	restarts              : 5
1.72/1.95	c 1	conflicts             : 516           (3166 /sec)
1.72/1.95	c 1	decisions             : 1094          (0.55 % random) (6713 /sec)
1.72/1.95	c 1	propagations          : 200057         (1227532 /sec)
1.72/1.95	c 1	conflict literals     : 14309          (26.06 % deleted)
1.72/1.95	c 1	Memory used           : 7.39 MB
1.72/1.95	c 1	CPU time              : 0.162975 s
1.72/1.95	c 1	
1.72/1.95	c 1	SATISFIABLE
1.72/1.95	c 1	OK
1.72/1.95	c 1	FOUND: _COST <= 49
1.72/1.95	c 1	DECODING HOME/temp.out WITH HOME/temp.map
1.72/1.95	c 1	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.72/2.03	c 2	Decoding HOME/temp.out
2.01/2.11	c 2	OBJECTIVE _COST 49
2.01/2.11	o 49
2.01/2.11	v 4 0 1 4 4 4 4 4 4 0 0 4 3 4 3 2 1 4 4 3 3 1 1 0 2 4 3 4 4 3 0 2 4 4 4 4 4 4 4 4 3 4 3 0 2 1 1 3 1 3 0 2 4 3 4 1 2 2
2.01/2.12	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.01/2.16	c 2	OK
2.01/2.16	c 2	OBJECTIVE BOUND: 0 <= _COST <= 49
2.01/2.16	c 2	SEARCHING: _COST <= 24
2.01/2.17	c 2	============================[ Search Statistics ]==============================
2.01/2.18	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.01/2.18	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.01/2.18	c 2	===============================================================================
2.01/2.18	c 2	|       516 |    3342   134182   390273 |    44727      516     28 | 36.802 % |
2.01/2.19	c 2	|       616 |    3342   134182   390273 |    49200      616     26 | 47.865 % |
2.01/2.20	c 2	|       766 |    3342   134182   390273 |    54120      766     26 | 47.865 % |
2.08/2.23	c 2	|       992 |    3342   134182   390273 |    59532      992     26 | 47.865 % |
2.08/2.28	c 2	|      1330 |    3342   134182   390273 |    65485     1330     25 | 47.865 % |
2.17/2.38	c 2	|      1836 |    2757    40275   115885 |    72033     1836     22 | 47.865 % |
2.27/2.46	c 2	|      2596 |    2757    40275   115885 |    79237     2596     23 | 47.865 % |
2.47/2.60	c 2	|      3735 |    2757    40275   115885 |    87160     3735     26 | 47.865 % |
2.67/2.84	c 2	|      5443 |    2757    40275   115885 |    95877     5443     25 | 47.865 % |
3.07/3.26	c 3	|      8005 |    2757    40275   115885 |   105464     8005     27 | 47.865 % |
3.77/3.95	c 3	|     11849 |    2757    40275   115885 |   116011    11849     30 | 47.865 % |
4.95/5.11	c 5	|     17615 |    2757    40275   115885 |   127612    17615     31 | 47.865 % |
7.23/7.45	c 7	|     26264 |    2757    40275   115885 |   140373    26264     33 | 47.865 % |
7.33/7.50	c 7	===============================================================================
7.33/7.50	c 7	restarts              : 18
7.33/7.50	c 7	conflicts             : 26423         (4853 /sec)
7.33/7.50	c 7	decisions             : 30130         (0.51 % random) (5533 /sec)
7.33/7.50	c 7	propagations          : 8083112        (1484455 /sec)
7.33/7.50	c 7	conflict literals     : 868315         (29.98 % deleted)
7.33/7.50	c 7	Memory used           : 9.51 MB
7.33/7.50	c 7	CPU time              : 5.44517 s
7.33/7.50	c 7	
7.33/7.50	c 7	SATISFIABLE
7.33/7.50	c 7	OK
7.33/7.50	c 7	FOUND: _COST <= 24
7.33/7.50	c 7	DECODING HOME/temp.out WITH HOME/temp.map
7.33/7.50	c 7	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
7.33/7.59	c 7	Decoding HOME/temp.out
7.41/7.67	c 7	OBJECTIVE _COST 24
7.41/7.67	o 24
7.41/7.67	v 0 3 1 4 4 2 4 1 4 2 4 4 2 2 3 1 1 4 2 1 0 3 4 0 4 3 4 2 1 1 4 4 1 2 4 4 3 1 4 4 1 4 3 2 2 1 4 1 1 1 4 4 2 4 3 4 4 0
7.41/7.68	c 7	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
7.48/7.73	c 7	OK
7.48/7.73	c 7	OBJECTIVE BOUND: 0 <= _COST <= 24
7.48/7.73	c 7	SEARCHING: _COST <= 12
7.48/7.73	c 7	============================[ Search Statistics ]==============================
7.48/7.73	c 7	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.48/7.73	c 7	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.48/7.73	c 7	===============================================================================
7.48/7.73	c 7	|     26423 |    2329    23524    66891 |     7841    26341     33 | 47.865 % |
7.48/7.78	c 7	|     26524 |    2329    23524    66891 |     8625     6031     33 | 55.958 % |
7.57/7.81	c 7	|     26675 |    2329    23524    66891 |     9488     6182     32 | 55.958 % |
7.57/7.84	c 7	|     26901 |    2329    23524    66891 |    10436     6408     32 | 55.958 % |
7.57/7.89	c 7	|     27238 |    2329    23524    66891 |    11480     6745     32 | 55.958 % |
7.67/7.97	c 7	|     27746 |    2329    23524    66891 |    12628     7253     31 | 55.958 % |
7.77/8.07	c 8	|     28505 |    2329    23524    66891 |    13891     8012     30 | 55.958 % |
7.97/8.24	c 8	|     29644 |    2329    23524    66891 |    15280     9151     29 | 55.958 % |
8.17/8.48	c 8	|     31353 |    2329    23524    66891 |    16808    10860     28 | 55.958 % |
8.66/8.92	c 8	|     33916 |    2329    23524    66891 |    18489    13423     26 | 55.958 % |
9.36/9.69	c 9	|     37760 |    2329    23524    66891 |    20338    17267     24 | 55.958 % |
10.74/11.01	c 11	|     43527 |    2329    23524    66891 |    22372    23034     23 | 55.958 % |
12.82/13.14	c 13	|     52176 |    2329    23524    66891 |    24609    17875     18 | 55.958 % |
15.89/16.27	c 16	|     65150 |    2329    23524    66891 |    27070    13898     21 | 55.958 % |
21.73/22.10	c 22	|     84612 |    2329    23524    66891 |    29777    15903     22 | 55.958 % |
30.06/30.58	c 30	|    113804 |    2329    23524    66891 |    32755    23626     28 | 55.958 % |
46.41/47.01	c 47	|    157593 |    2329    23524    66891 |    36030    22192     25 | 55.958 % |
63.84/64.68	c 64	===============================================================================
63.84/64.68	c 64	restarts              : 35
63.84/64.68	c 64	conflicts             : 201845        (3262 /sec)
63.84/64.68	c 64	decisions             : 223366        (0.65 % random) (3610 /sec)
63.84/64.68	c 64	propagations          : 61926856       (1000942 /sec)
63.84/64.68	c 64	conflict literals     : 5258473        (33.47 % deleted)
63.84/64.68	c 64	Memory used           : 11.92 MB
63.84/64.68	c 64	CPU time              : 61.8686 s
63.84/64.68	c 64	
63.84/64.68	c 64	SATISFIABLE
63.84/64.69	c 64	OK
63.84/64.69	c 64	FOUND: _COST <= 12
63.84/64.69	c 64	DECODING HOME/temp.out WITH HOME/temp.map
63.84/64.69	c 64	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
63.93/64.78	c 64	Decoding HOME/temp.out
64.02/64.88	c 64	OBJECTIVE _COST 12
64.02/64.88	o 12
64.02/64.88	v 2 1 0 4 2 3 0 1 1 4 1 4 2 2 3 1 2 0 3 4 0 3 4 0 2 2 4 2 1 1 4 4 1 2 1 2 4 1 3 4 1 3 0 4 4 4 1 4 4 3 3 2 0 1 2 4 0 3
64.12/64.91	c 64	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
64.12/64.98	c 64	OK
64.12/64.98	c 64	OBJECTIVE BOUND: 0 <= _COST <= 12
64.12/64.98	c 64	SEARCHING: _COST <= 6
64.12/64.98	c 64	============================[ Search Statistics ]==============================
64.12/64.98	c 64	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
64.12/64.98	c 64	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
64.12/64.98	c 64	===============================================================================
64.12/64.98	c 64	|    201845 |    1979    14254    40119 |     4751    39680     28 | 55.958 % |
64.37/65.24	c 65	|    201949 |    1979    14254    40119 |     5226     7698     25 | 62.577 % |
64.37/65.26	c 65	|    202099 |    1979    14254    40119 |     5749     7848     25 | 62.577 % |
64.47/65.30	c 65	|    202325 |    1979    14254    40119 |     6324     8074     25 | 62.577 % |
64.47/65.35	c 65	|    202665 |    1979    14254    40119 |     6956     8414     24 | 62.577 % |
64.57/65.43	c 65	|    203172 |    1979    14254    40119 |     7652     8921     24 | 62.577 % |
64.67/65.55	c 65	|    203931 |    1979    14254    40119 |     8417     9680     23 | 62.577 % |
64.87/65.73	c 65	|    205070 |    1979    14254    40119 |     9259    10819     23 | 62.577 % |
65.07/65.97	c 65	|    206779 |    1979    14254    40119 |    10184    12528     23 | 62.577 % |
65.56/66.45	c 66	|    209343 |    1979    14254    40119 |    11203     8003     17 | 62.577 % |
66.16/67.10	c 67	|    213187 |    1979    14254    40119 |    12323    11847     18 | 62.577 % |
67.35/68.28	c 68	|    218954 |    1979    14254    40119 |    13556     9417     18 | 62.577 % |
69.23/70.12	c 70	|    227603 |    1979    14254    40119 |    14911     9372     17 | 62.577 % |
71.71/72.63	c 72	|    240577 |    1979    14254    40119 |    16402    12862     17 | 62.577 % |
75.67/76.60	c 76	|    260038 |    1979    14254    40119 |    18043    12168     16 | 62.577 % |
81.80/82.80	c 82	|    289231 |    1979    14254    40119 |    19847    19392     20 | 62.577 % |
92.31/93.44	c 93	|    333020 |    1979    14254    40119 |    21832    15435     19 | 62.577 % |
106.67/107.96	c 107	|    398704 |    1979    14254    40119 |    24015    14753     24 | 62.577 % |
131.83/133.33	c 133	|    497230 |    1979    14254    40119 |    26417    23409     21 | 62.577 % |
155.61/157.31	c 157	===============================================================================
155.61/157.31	c 157	restarts              : 54
155.61/157.31	c 157	conflicts             : 584797        (3814 /sec)
155.61/157.31	c 157	decisions             : 647676        (0.76 % random) (4224 /sec)
155.61/157.31	c 157	propagations          : 185661038      (1210767 /sec)
155.61/157.31	c 157	conflict literals     : 13029777       (29.78 % deleted)
155.61/157.31	c 157	Memory used           : 12.19 MB
155.61/157.31	c 157	CPU time              : 153.342 s
155.61/157.31	c 157	
155.61/157.31	c 157	UNSATISFIABLE
155.61/157.31	c 157	OK
155.61/157.31	c 157	NOT FOUND: _COST <= 6
155.61/157.31	c 157	OK
155.61/157.31	c 157	OBJECTIVE BOUND: 7 <= _COST <= 12
155.61/157.31	c 157	SEARCHING: _COST <= 9
155.61/157.31	c 157	============================[ Search Statistics ]==============================
155.61/157.31	c 157	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
155.61/157.31	c 157	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
155.61/157.31	c 157	===============================================================================
155.61/157.31	c 157	|    584797 |    1958    14153    39879 |     4717    24961     20 | 62.577 % |
155.61/157.39	c 157	|    584897 |    1958    14153    39879 |     5189     6341     14 | 62.973 % |
155.70/157.41	c 157	|    585047 |    1958    14153    39879 |     5708     6491     15 | 62.973 % |
155.70/157.44	c 157	|    585272 |    1958    14153    39879 |     6279     6716     15 | 62.973 % |
155.70/157.48	c 157	|    585610 |    1958    14153    39879 |     6907     7054     15 | 62.973 % |
155.80/157.55	c 157	|    586116 |    1958    14153    39879 |     7597     7560     15 | 62.973 % |
155.90/157.65	c 157	|    586875 |    1958    14153    39879 |     8357     8319     15 | 62.973 % |
156.10/157.81	c 157	|    588014 |    1958    14153    39879 |     9193     9458     15 | 62.973 % |
156.30/158.06	c 158	|    589723 |    1958    14153    39879 |    10112    11167     16 | 62.973 % |
156.70/158.45	c 158	|    592286 |    1958    14153    39879 |    11124    13730     16 | 62.973 % |
157.39/159.10	c 159	|    596130 |    1958    14153    39879 |    12236    10059     18 | 62.973 % |
158.48/160.23	c 160	|    601897 |    1958    14153    39879 |    13460    15826     18 | 62.973 % |
160.06/161.89	c 161	|    610547 |    1958    14153    39879 |    14806    15820     19 | 62.973 % |
162.94/164.72	c 164	|    623521 |    1958    14153    39879 |    16286    10092     17 | 62.973 % |
166.89/168.72	c 168	|    642983 |    1958    14153    39879 |    17915    19440     20 | 62.973 % |
173.93/175.89	c 175	|    672175 |    1958    14153    39879 |    19706    15564     23 | 62.973 % |
185.03/187.03	c 187	|    715964 |    1958    14153    39879 |    21677    11866     19 | 62.973 % |
201.47/203.62	c 203	|    781648 |    1958    14153    39879 |    23845    13676     20 | 62.973 % |
227.42/229.84	c 229	|    880174 |    1958    14153    39879 |    26229    25366     25 | 62.973 % |
269.13/271.94	c 271	|   1027965 |    1958    14153    39879 |    28852    24339     20 | 62.973 % |
336.89/340.32	c 340	|   1249648 |    1958    14153    39879 |    31738    14283     28 | 62.973 % |
444.37/448.81	c 448	|   1582173 |    1958    14153    39879 |    34911    20638     28 | 62.973 % |
620.30/626.43	c 626	|   2080962 |    1958    14153    39879 |    38403    22953     23 | 62.973 % |
897.08/905.84	c 905	|   2829144 |    1958    14153    39879 |    42243    25284     21 | 62.973 % |
958.60/967.92	c 967	===============================================================================
958.60/967.92	c 967	restarts              : 78
958.60/967.92	c 967	conflicts             : 2974890       (3111 /sec)
958.60/967.92	c 967	decisions             : 3292089       (0.82 % random) (3442 /sec)
958.60/967.92	c 967	propagations          : 913332750      (955060 /sec)
958.60/967.92	c 967	conflict literals     : 74012789       (29.41 % deleted)
958.60/967.92	c 967	Memory used           : 17.42 MB
958.60/967.92	c 967	CPU time              : 956.31 s
958.60/967.92	c 967	
958.60/967.92	c 967	SATISFIABLE
958.60/967.92	c 967	OK
958.60/967.92	c 967	FOUND: _COST <= 9
958.60/967.92	c 967	DECODING HOME/temp.out WITH HOME/temp.map
958.60/967.92	c 967	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
958.62/968.01	c 968	Decoding HOME/temp.out
958.62/968.10	c 968	OBJECTIVE _COST 9
958.62/968.10	o 9
958.62/968.11	v 0 0 1 4 1 2 4 1 3 2 2 1 1 2 2 1 1 0 3 4 1 3 4 0 4 2 4 2 1 1 2 0 3 2 4 2 1 1 0 3 2 0 3 4 4 0 0 4 2 0 3 2 1 1 2 2 4 0
958.62/968.14	c 968	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
958.82/968.20	c 968	OK
958.82/968.20	c 968	OBJECTIVE BOUND: 7 <= _COST <= 9
958.82/968.20	c 968	SEARCHING: _COST <= 8
958.82/968.20	c 968	============================[ Search Statistics ]==============================
958.82/968.20	c 968	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
958.82/968.20	c 968	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
958.82/968.20	c 968	===============================================================================
958.82/968.20	c 968	|   2974890 |    1832    11751    33048 |     3917    15728     28 | 62.973 % |
958.82/968.26	c 968	|   2974990 |    1832    11751    33048 |     4308     4032     20 | 65.356 % |
958.82/968.28	c 968	|   2975140 |    1832    11751    33048 |     4739     4182     20 | 65.356 % |
958.92/968.31	c 968	|   2975365 |    1832    11751    33048 |     5213     4407     20 | 65.356 % |
958.92/968.36	c 968	|   2975702 |    1832    11751    33048 |     5734     4744     20 | 65.356 % |
959.02/968.43	c 968	|   2976209 |    1832    11751    33048 |     6308     5251     19 | 65.356 % |
959.12/968.54	c 968	|   2976968 |    1832    11751    33048 |     6939     6010     19 | 65.356 % |
959.32/968.73	c 968	|   2978107 |    1832    11751    33048 |     7633     7149     19 | 65.356 % |
959.52/968.98	c 968	|   2979815 |    1832    11751    33048 |     8396     8857     18 | 65.356 % |
960.01/969.45	c 969	|   2982378 |    1832    11751    33048 |     9236    11420     18 | 65.356 % |
960.71/970.12	c 970	|   2986223 |    1832    11751    33048 |    10159     8689     17 | 65.356 % |
961.70/971.15	c 971	|   2991990 |    1832    11751    33048 |    11175     7491     18 | 65.356 % |
963.27/972.71	c 972	|   3000640 |    1832    11751    33048 |    12293     8433     16 | 65.356 % |
965.75/975.28	c 975	|   3013615 |    1832    11751    33048 |    13522    13288     20 | 65.356 % |
969.52/979.03	c 979	|   3033077 |    1832    11751    33048 |    14874    15317     21 | 65.356 % |
975.26/984.83	c 984	|   3062270 |    1832    11751    33048 |    16362    15880     30 | 65.356 % |
984.18/993.81	c 993	|   3106060 |    1832    11751    33048 |    17998    19246     21 | 65.356 % |
998.24/1008.03	c 1008	|   3171744 |    1832    11751    33048 |    19798    18657     23 | 65.356 % |
1021.52/1031.58	c 1031	|   3270270 |    1832    11751    33048 |    21778    21982     26 | 65.356 % |
1060.25/1070.62	c 1070	|   3418059 |    1832    11751    33048 |    23956    13055     19 | 65.356 % |
1122.28/1133.22	c 1133	|   3639744 |    1832    11751    33048 |    26351    15980     20 | 65.356 % |
1219.56/1231.44	c 1231	|   3972270 |    1832    11751    33048 |    28986    17181     24 | 65.356 % |
1374.20/1387.53	c 1387	|   4471058 |    1832    11751    33048 |    31885    22454     25 | 65.356 % |
1623.63/1639.36	c 1639	|   5219240 |    1832    11751    33048 |    35074    25105     22 | 65.356 % |
2001.37/2020.61	c 2020	|   6341514 |    1832    11751    33048 |    38581    36801     29 | 65.356 % |
2591.59/2616.41	c 2616	|   8024925 |    1832    11751    33048 |    42439    35840     23 | 65.356 % |
3512.79/3538.99	c 3539	|  10550042 |    1832    11751    33048 |    46683    39247     24 | 65.356 % |
3600.06/3626.21	c 3626	CPU 3599.74 (0.07 0.02 3599.67 0.32)
3600.06/3626.21	c 3626	END Wed Jul 23 06:53:15 2008

Verifier Data (download as text)

OK	9	300
9 unsatisfied constraints, 300 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-1128531-1216785168/watcher-1128531-1216785168 -o /tmp/evaluation-result-1128531-1216785168/solver-1128531-1216785168 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1128531-1216785168.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.99 1.97 1.99 4/74 6230
/proc/meminfo: memFree=1188232/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=12268 CPUtime=0
/proc/6230/stat : 6230 (sugar++) R 6228 6230 4964 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 5609858 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 268583008869 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/6230/statm: 3067 316 241 3 0 167 0

[startup+0.080612 s]
/proc/loadavg: 1.99 1.97 1.99 4/74 6230
/proc/meminfo: memFree=1188232/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16740 CPUtime=0.06
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1143 0 0 0 5 1 0 0 18 0 1 0 5609858 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.102708 s]
/proc/loadavg: 1.99 1.97 1.99 4/74 6230
/proc/meminfo: memFree=1188232/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16740 CPUtime=0.06
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 5609858 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.302727 s]
/proc/loadavg: 1.99 1.97 1.99 4/74 6230
/proc/meminfo: memFree=1188232/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16740 CPUtime=0.06
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 5609858 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.702778 s]
/proc/loadavg: 1.99 1.97 1.99 4/74 6230
/proc/meminfo: memFree=1188232/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16740 CPUtime=0.58
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1279 4631 0 1 5 1 49 3 16 0 1 0 5609858 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 16740

[startup+1.50187 s]
/proc/loadavg: 1.99 1.97 1.99 4/85 6252
/proc/meminfo: memFree=1177968/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16740 CPUtime=0.58
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1297 4631 0 1 5 1 49 3 15 0 1 0 5609858 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4185 1104 409 3 0 764 0
[pid=6243] ppid=6230 vsize=5356 CPUtime=0
/proc/6243/stat : 6243 (sh) S 6230 6230 4964 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 5609921 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6243/statm: 1339 233 193 169 0 50 0
[pid=6244] ppid=6243 vsize=868364 CPUtime=0.84
/proc/6244/stat : 6244 (java) S 6243 6230 4964 0 -1 0 6513 0 1 0 79 5 0 0 18 0 9 0 5609921 889204736 5679 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6244/statm: 217091 5679 2563 9 0 211638 0
[pid=6244/tid=6245] ppid=6243 vsize=868364 CPUtime=0.52
/proc/6244/task/6245/stat : 6245 (java) R 6243 6230 4964 0 -1 64 2763 0 1 0 49 3 0 0 23 0 9 0 5609922 889204736 5679 996147200 134512640 134550740 4294955920 18446744073709551615 4126898791 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6244/tid=6246] ppid=6243 vsize=868364 CPUtime=0.06
/proc/6244/task/6246/stat : 6246 (java) S 6243 6230 4964 0 -1 64 1563 0 0 0 6 0 0 0 16 0 9 0 5609923 889204736 5679 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6244/tid=6247] ppid=6243 vsize=868364 CPUtime=0
/proc/6244/task/6247/stat : 6247 (java) S 6243 6230 4964 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 5609924 889204736 5679 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6244/tid=6248] ppid=6243 vsize=868364 CPUtime=0
/proc/6244/task/6248/stat : 6248 (java) S 6243 6230 4964 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 5609924 889204736 5679 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6244/tid=6249] ppid=6243 vsize=868364 CPUtime=0
/proc/6244/task/6249/stat : 6249 (java) S 6243 6230 4964 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 5609926 889204736 5679 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6244/tid=6250] ppid=6243 vsize=868364 CPUtime=0.22
/proc/6244/task/6250/stat : 6250 (java) S 6243 6230 4964 0 -1 64 1495 0 0 0 22 0 0 0 16 0 9 0 5609926 889204736 5679 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6244/tid=6251] ppid=6243 vsize=868364 CPUtime=0
/proc/6244/task/6251/stat : 6251 (java) S 6243 6230 4964 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 5609926 889204736 5679 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6244/tid=6252] ppid=6243 vsize=868364 CPUtime=0
/proc/6244/task/6252/stat : 6252 (java) S 6243 6230 4964 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 5609926 889204736 5679 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 890460

[startup+3.10106 s]
/proc/loadavg: 2.07 1.99 1.99 4/86 6273
/proc/meminfo: memFree=1170216/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=1.88
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1622 18991 0 4 6 2 165 15 15 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=7696 CPUtime=1.09
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 1887 0 0 0 109 0 0 0 23 0 1 0 5610016 7880704 1832 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/6253/statm: 1924 1832 79 151 0 1770 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 24568

[startup+6.30143 s]
/proc/loadavg: 2.07 1.99 1.99 3/76 6273
/proc/meminfo: memFree=1174904/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=1.88
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1622 18991 0 4 6 2 165 15 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=8940 CPUtime=4.26
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 2197 0 0 0 425 1 0 0 25 0 1 0 5610016 9154560 2142 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/6253/statm: 2235 2142 79 151 0 2081 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 25812

[startup+12.7012 s]
/proc/loadavg: 2.06 1.99 1.99 3/76 6283
/proc/meminfo: memFree=1173368/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.04
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1690 22787 0 5 6 2 178 18 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=9732 CPUtime=10.38
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 2398 0 0 0 1037 1 0 0 25 0 1 0 5610016 9965568 2341 996147200 134512640 135134323 4294956192 18446744073709551615 134532158 0 0 4096 3 0 0 0 17 1 0 0
/proc/6253/statm: 2433 2341 79 151 0 2279 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 26604

[startup+25.5027 s]
/proc/loadavg: 2.05 1.99 1.99 3/76 6283
/proc/meminfo: memFree=1173176/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.04
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1690 22787 0 5 6 2 178 18 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=10032 CPUtime=23.06
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 2448 0 0 0 2305 1 0 0 25 0 1 0 5610016 10272768 2391 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 1 0 0
/proc/6253/statm: 2508 2391 79 151 0 2354 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 26904

[startup+51.1027 s]
/proc/loadavg: 2.03 1.99 1.99 3/76 6283
/proc/meminfo: memFree=1171768/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.04
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1690 22787 0 5 6 2 178 18 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=11360 CPUtime=48.43
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 2790 0 0 0 4841 2 0 0 25 0 1 0 5610016 11632640 2733 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 1 0 0
/proc/6253/statm: 2840 2733 79 151 0 2686 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 28232

[startup+102.307 s]
/proc/loadavg: 2.01 1.99 1.99 3/76 6293
/proc/meminfo: memFree=1170552/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.26
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1760 26590 0 6 6 2 197 21 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=12200 CPUtime=98.87
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 3000 0 0 0 9885 2 0 0 25 0 1 0 5610016 12492800 2941 996147200 134512640 135134323 4294956192 18446744073709551615 134531908 0 0 4096 3 0 0 0 17 1 0 0
/proc/6253/statm: 3050 2941 79 151 0 2896 0
Current children cumulated CPU time (s) 101.13
Current children cumulated vsize (KiB) 29072

[startup+162.303 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6293
/proc/meminfo: memFree=1169912/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.26
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1762 26590 0 6 6 2 197 21 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=12480 CPUtime=158.3
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 3063 0 0 0 15828 2 0 0 25 0 1 0 5610016 12779520 3002 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 1 0 0
/proc/6253/statm: 3120 3002 79 151 0 2966 0
Current children cumulated CPU time (s) 160.56
Current children cumulated vsize (KiB) 29352

[startup+222.303 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6293
/proc/meminfo: memFree=1169144/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.26
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1762 26590 0 6 6 2 197 21 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=12788 CPUtime=217.73
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 3134 0 0 0 21771 2 0 0 25 0 1 0 5610016 13094912 3073 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/6253/statm: 3197 3073 79 151 0 3043 0
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (KiB) 29660

[startup+282.303 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6293
/proc/meminfo: memFree=1167544/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.26
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1762 26590 0 6 6 2 197 21 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=13112 CPUtime=277.17
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 3202 0 0 0 27715 2 0 0 25 0 1 0 5610016 13426688 3141 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/6253/statm: 3278 3141 79 151 0 3124 0
Current children cumulated CPU time (s) 279.43
Current children cumulated vsize (KiB) 29984

[startup+342.303 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6293
/proc/meminfo: memFree=1166456/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.26
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1762 26590 0 6 6 2 197 21 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0

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

/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 5649 0 0 0 283393 7 0 0 25 0 1 0 5610016 23887872 5586 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 0 0 0
/proc/6253/statm: 5832 5586 79 151 0 5678 0
Current children cumulated CPU time (s) 2836.47
Current children cumulated vsize (KiB) 40200

[startup+2922.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6362
/proc/meminfo: memFree=1177664/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.47
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1829 30393 0 7 7 2 215 23 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=23328 CPUtime=2893.98
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 5659 0 0 0 289391 7 0 0 25 0 1 0 5610016 23887872 5596 996147200 134512640 135134323 4294956192 18446744073709551615 134531888 0 0 4096 3 0 0 0 17 0 0 0
/proc/6253/statm: 5832 5596 79 151 0 5678 0
Current children cumulated CPU time (s) 2896.45
Current children cumulated vsize (KiB) 40200

[startup+2982.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6362
/proc/meminfo: memFree=1175680/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.47
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1829 30393 0 7 7 2 215 23 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=23328 CPUtime=2953.95
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 5671 0 0 0 295388 7 0 0 25 0 1 0 5610016 23887872 5608 996147200 134512640 135134323 4294956192 18446744073709551615 134532019 0 0 4096 3 0 0 0 17 0 0 0
/proc/6253/statm: 5832 5608 79 151 0 5678 0
Current children cumulated CPU time (s) 2956.42
Current children cumulated vsize (KiB) 40200

[startup+3042.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6362
/proc/meminfo: memFree=1171776/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.47
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1829 30393 0 7 7 2 215 23 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=23536 CPUtime=3013.92
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 5716 0 0 0 301385 7 0 0 25 0 1 0 5610016 24100864 5653 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 0 0 0
/proc/6253/statm: 5884 5653 79 151 0 5730 0
Current children cumulated CPU time (s) 3016.39
Current children cumulated vsize (KiB) 40408

[startup+3102.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6362
/proc/meminfo: memFree=1170432/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.47
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1829 30393 0 7 7 2 215 23 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=23688 CPUtime=3073.9
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 5727 0 0 0 307383 7 0 0 25 0 1 0 5610016 24256512 5664 996147200 134512640 135134323 4294956192 18446744073709551615 134531891 0 0 4096 3 0 0 0 17 0 0 0
/proc/6253/statm: 5922 5664 79 151 0 5768 0
Current children cumulated CPU time (s) 3076.37
Current children cumulated vsize (KiB) 40560

[startup+3162.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6362
/proc/meminfo: memFree=1170368/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.47
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1829 30393 0 7 7 2 215 23 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=23688 CPUtime=3133.87
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 5728 0 0 0 313380 7 0 0 25 0 1 0 5610016 24256512 5665 996147200 134512640 135134323 4294956192 18446744073709551615 134532048 0 0 4096 3 0 0 0 17 0 0 0
/proc/6253/statm: 5922 5665 79 151 0 5768 0
Current children cumulated CPU time (s) 3136.34
Current children cumulated vsize (KiB) 40560

[startup+3222.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6362
/proc/meminfo: memFree=1169600/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.47
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1829 30393 0 7 7 2 215 23 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=23988 CPUtime=3193.84
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 5802 0 0 0 319377 7 0 0 25 0 1 0 5610016 24563712 5739 996147200 134512640 135134323 4294956192 18446744073709551615 134530372 0 0 4096 3 0 0 0 17 0 0 0
/proc/6253/statm: 5997 5739 79 151 0 5843 0
Current children cumulated CPU time (s) 3196.31
Current children cumulated vsize (KiB) 40860

[startup+3282.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6362
/proc/meminfo: memFree=1167488/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.47
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1829 30393 0 7 7 2 215 23 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=23988 CPUtime=3253.82
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 5816 0 0 0 325375 7 0 0 25 0 1 0 5610016 24563712 5753 996147200 134512640 135134323 4294956192 18446744073709551615 134532164 0 0 4096 3 0 0 0 17 0 0 0
/proc/6253/statm: 5997 5753 79 151 0 5843 0
Current children cumulated CPU time (s) 3256.29
Current children cumulated vsize (KiB) 40860

[startup+3342.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6362
/proc/meminfo: memFree=1166848/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.47
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1829 30393 0 7 7 2 215 23 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=24148 CPUtime=3313.79
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 5839 0 0 0 331372 7 0 0 25 0 1 0 5610016 24727552 5776 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6253/statm: 6037 5776 79 151 0 5883 0
Current children cumulated CPU time (s) 3316.26
Current children cumulated vsize (KiB) 41020

[startup+3402.31 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6362
/proc/meminfo: memFree=1165824/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.47
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1829 30393 0 7 7 2 215 23 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=24148 CPUtime=3373.77
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 5840 0 0 0 337370 7 0 0 25 0 1 0 5610016 24727552 5777 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6253/statm: 6037 5777 79 151 0 5883 0
Current children cumulated CPU time (s) 3376.24
Current children cumulated vsize (KiB) 41020

[startup+3462.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6362
/proc/meminfo: memFree=1164928/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.47
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1829 30393 0 7 7 2 215 23 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=24148 CPUtime=3433.74
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 5853 0 0 0 343367 7 0 0 25 0 1 0 5610016 24727552 5790 996147200 134512640 135134323 4294956192 18446744073709551615 134532319 0 0 4096 3 0 0 0 17 0 0 0
/proc/6253/statm: 6037 5790 79 151 0 5883 0
Current children cumulated CPU time (s) 3436.21
Current children cumulated vsize (KiB) 41020

[startup+3522.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6362
/proc/meminfo: memFree=1164160/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.47
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1829 30393 0 7 7 2 215 23 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=24288 CPUtime=3493.73
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 5871 0 0 0 349365 8 0 0 25 0 1 0 5610016 24870912 5808 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 0 0 0
/proc/6253/statm: 6072 5808 79 151 0 5918 0
Current children cumulated CPU time (s) 3496.2
Current children cumulated vsize (KiB) 41160

[startup+3582.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6362
/proc/meminfo: memFree=1163904/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.47
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1829 30393 0 7 7 2 215 23 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=24288 CPUtime=3553.7
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 5875 0 0 0 355362 8 0 0 25 0 1 0 5610016 24870912 5812 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6253/statm: 6072 5812 79 151 0 5918 0
Current children cumulated CPU time (s) 3556.17
Current children cumulated vsize (KiB) 41160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3626.2 s]
/proc/loadavg: 2.00 1.99 1.99 3/76 6362
/proc/meminfo: memFree=1163584/2055924 swapFree=4192956/4192956
[pid=6230] ppid=6228 vsize=16872 CPUtime=2.47
/proc/6230/stat : 6230 (sugar++) S 6228 6230 4964 0 -1 4194304 1829 30393 0 7 7 2 215 23 16 0 1 0 5609858 17276928 1121 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6230/statm: 4218 1121 414 3 0 797 0
[pid=6253] ppid=6230 vsize=24288 CPUtime=3597.59
/proc/6253/stat : 6253 (minisat-inc) R 6230 6230 4964 0 -1 4194304 5875 0 0 0 359751 8 0 0 25 0 1 0 5610016 24870912 5812 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6253/statm: 6072 5812 79 151 0 5918 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 41160

Sending SIGTERM to process tree (bottom up)


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


Child status: 0
Real time (s): 3626.21
CPU time (s): 3600.1
CPU user time (s): 3599.74
CPU system time (s): 0.351946
CPU usage (%): 99.2798
Max. virtual memory (cumulated for all children) (KiB): 890460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.74
system time used= 0.351946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38173
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= 3239
involuntary context switches= 65365

runsolver used 4.33934 second user time and 12.1711 second system time

The end

Launcher Data (download as text)

Begin job on node6 at 2008-07-23 05:52:48
IDJOB=1128531
IDBENCH=65611
IDSOLVER=367
FILE ID=node6/1128531-1216785168
PBS_JOBID= 7974228
Free space on /tmp= 66560 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-30/normalized-kbtree-9-2-3-5-30-02_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1128531-1216785168/watcher-1128531-1216785168 -o /tmp/evaluation-result-1128531-1216785168/solver-1128531-1216785168 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1128531-1216785168.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= b422c5cbdc97efdfd356aba0f0cb4788
RANDOM SEED=146234317

node6.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.238
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.238
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:      2055924 kB
MemFree:       1188712 kB
Buffers:         37724 kB
Cached:         697084 kB
SwapCached:          0 kB
Active:         221532 kB
Inactive:       569452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1188712 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             892 kB
Writeback:           0 kB
Mapped:          67272 kB
Slab:            61336 kB
Committed_AS:   132624 kB
PageTables:       2052 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB
End job on node6 at 2008-07-23 06:53:15