Trace number 1114388

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)5 3600.01 3634.22

General information on the benchmark

Namecsp/tightness0.5/
normalized-rand-2-40-25-180-500-37_ext.xml
MD5SUM6d143140d55a0ecf08cf2fdc434bce33
Bench Category2-ARY-EXT (binary 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 benchmark441.578
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints180
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension180
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 Sun Jul 13 00:21:17 2008
0.00/0.04	c 0	PID 19456
0.00/0.05	c 0	HOST node67.alineos.net
0.00/0.05	c 0	CONVERTING HOME/instance-1114388-1215901277.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-1114388-1215901277.xml' 'HOME/temp.csp'
0.04/0.64	c 0	1 domains, 40 variables, 0 predicates, 180 relations, 180 constraints
0.04/0.68	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.04/0.68	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.63/0.76	c 1	Parsing HOME/temp.csp
1.03/1.17	c 1	parsed 401 expressions
1.03/1.17	c 1	Heap : 6 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.03/1.17	c 1	MAX CSP: 180 constraints
1.03/1.17	c 1	Converting to clausal form CSP
1.12/1.20	c 1	converted 59 (10%) expressions
1.12/1.21	c 1	converted 117 (20%) expressions
1.12/1.21	c 1	converted 176 (30%) expressions
1.12/1.24	c 1	converted 234 (40%) expressions
1.23/1.32	c 1	converted 292 (50%) expressions
1.23/1.34	c 1	converted 351 (60%) expressions
1.23/1.36	c 1	converted 409 (70%) expressions
1.23/1.39	c 1	converted 468 (80%) expressions
1.33/1.41	c 1	converted 526 (90%) expressions
1.42/1.56	c 1	converted 584 (100%) expressions
1.42/1.56	c 1	CSP : 400 integers, 0 booleans, 539 clauses, largest domain size 271
1.42/1.56	c 1	Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.42/1.56	c 1	Propagation in CSP
1.42/1.58	c 1	176 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.42/1.58	c 1	CSP : 400 integers, 0 booleans, 539 clauses, largest domain size 181
1.42/1.58	c 1	Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.42/1.59	c 1	Simplifing CSP by introducing new Boolean variables
1.42/1.59	c 1	CSP : 400 integers, 0 booleans, 539 clauses, largest domain size 181
1.42/1.59	c 1	Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.52/1.64	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.52/1.66	c 1	40 (10%) CSP integer variables are encoded (920 clauses, 9978 bytes)
1.52/1.66	c 1	80 (20%) CSP integer variables are encoded (920 clauses, 9978 bytes)
1.52/1.66	c 1	120 (30%) CSP integer variables are encoded (920 clauses, 9978 bytes)
1.52/1.66	c 1	160 (40%) CSP integer variables are encoded (920 clauses, 9978 bytes)
1.52/1.66	c 1	200 (50%) CSP integer variables are encoded (920 clauses, 9978 bytes)
1.52/1.66	c 1	240 (60%) CSP integer variables are encoded (1147 clauses, 12929 bytes)
1.52/1.66	c 1	280 (70%) CSP integer variables are encoded (2337 clauses, 28399 bytes)
1.52/1.67	c 1	320 (80%) CSP integer variables are encoded (2703 clauses, 33157 bytes)
1.52/1.67	c 1	360 (90%) CSP integer variables are encoded (2904 clauses, 35770 bytes)
1.52/1.67	c 1	400 (100%) CSP integer variables are encoded (3189 clauses, 39475 bytes)
1.63/1.77	c 2	54 (10%) CSP clauses are encoded (11088 clauses, 217111 bytes)
1.72/1.82	c 2	108 (20%) CSP clauses are encoded (18964 clauses, 412845 bytes)
1.72/1.88	c 2	162 (30%) CSP clauses are encoded (26774 clauses, 606792 bytes)
1.82/1.91	c 2	216 (40%) CSP clauses are encoded (29690 clauses, 676652 bytes)
1.82/1.95	c 2	270 (50%) CSP clauses are encoded (48084 clauses, 1003657 bytes)
1.82/1.95	c 2	324 (60%) CSP clauses are encoded (48864 clauses, 1016711 bytes)
1.82/1.99	c 2	378 (70%) CSP clauses are encoded (65240 clauses, 1315682 bytes)
1.82/1.99	c 2	432 (80%) CSP clauses are encoded (66084 clauses, 1329847 bytes)
1.82/2.00	c 2	486 (90%) CSP clauses are encoded (67932 clauses, 1362206 bytes)
1.92/2.01	c 2	539 (100%) CSP clauses are encoded (74430 clauses, 1478796 bytes)
1.92/2.01	c 2	539 CSP clauses encoded
1.92/2.01	c 2	Writing map file : HOME/temp.map
1.92/2.02	c 2	Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.92/2.02	c 2	SAT : 3589 SAT variables, 74430 SAT clauses, 1478796 bytes
1.92/2.02	c 2	Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.92/2.04	c 2	OBJECTIVE minimize _COST
1.92/2.04	c 2	OBJECTIVE BOUND: 0 <= _COST <= 
1.92/2.04	c 2	SEARCHING: _COST <= 90
1.92/2.04	c 2	SOLVING HOME/temp.cnf
1.92/2.04	c 2	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1.92/2.04	c 2	This is MiniSat 2.0 beta
1.92/2.04	c 2	WARNING: for repeatability, setting FPU to use double precision
1.92/2.04	c 2	============================[ Problem Statistics ]=============================
1.92/2.04	c 2	|                                                                             |
1.92/2.04	c 2	|  Number of variables:  3589                                                 |
1.92/2.04	c 2	|  Number of clauses:    74431                                                |
1.92/2.09	c 2	|  Parsing time:         0.04         s                                       |
1.92/2.09	c 2	============================[ Search Statistics ]==============================
1.92/2.09	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.92/2.09	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.92/2.09	c 2	===============================================================================
1.92/2.09	c 2	|         0 |    2869    57566   212517 |    19188        0    nan |  0.000 % |
2.00/2.10	c 2	===============================================================================
2.00/2.10	c 2	restarts              : 1
2.00/2.10	c 2	conflicts             : 2              (38 /sec)
2.00/2.11	c 2	decisions             : 42             (0.00 % random) (808 /sec)
2.00/2.11	c 2	propagations          : 3732           (71780 /sec)
2.00/2.11	c 2	conflict literals     : 20             (16.67 % deleted)
2.00/2.11	c 2	Memory used           : 5.10 MB
2.00/2.11	c 2	CPU time              : 0.051992 s
2.00/2.11	c 2	
2.00/2.11	c 2	SATISFIABLE
2.00/2.11	c 2	FOUND: _COST <= 90
2.00/2.11	s SATISFIABLE
2.00/2.11	c 2	DECODING HOME/temp.out WITH HOME/temp.map
2.00/2.11	c 2	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2.00/2.19	c 2	Decoding HOME/temp.out
2.01/2.25	c 2	OBJECTIVE _COST 90
2.01/2.25	o 90
2.01/2.25	v 24 11 23 14 16 0 18 12 21 4 24 3 10 11 18 11 20 1 19 23 13 22 22 23 24 24 14 22 23 24 23 24 24 24 22 24 24 24 24 24
2.01/2.25	c 2	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
2.01/2.27	c 2	OBJECTIVE BOUND: 0 <= _COST <= 90
2.01/2.27	c 2	SEARCHING: _COST <= 45
2.01/2.27	c 2	SOLVING HOME/temp.cnf
2.01/2.27	c 2	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
2.01/2.27	c 2	This is MiniSat 2.0 beta
2.01/2.27	c 2	WARNING: for repeatability, setting FPU to use double precision
2.01/2.27	c 2	============================[ Problem Statistics ]=============================
2.01/2.27	c 2	|                                                                             |
2.01/2.28	c 2	|  Number of variables:  3589                                                 |
2.01/2.28	c 2	|  Number of clauses:    74431                                                |
2.15/2.32	c 2	|  Parsing time:         0.03         s                                       |
2.15/2.33	c 2	============================[ Search Statistics ]==============================
2.15/2.33	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.15/2.33	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.15/2.33	c 2	===============================================================================
2.15/2.33	c 2	|         0 |    2464    47306   182907 |    15768        0    nan |  0.000 % |
2.15/2.34	c 2	|       102 |    2464    47306   182907 |    17345      102     38 | 31.346 % |
2.15/2.37	c 2	|       252 |    2464    47306   182907 |    19080      252     34 | 31.346 % |
2.15/2.37	c 2	===============================================================================
2.15/2.37	c 2	restarts              : 3
2.15/2.37	c 2	conflicts             : 263            (3095 /sec)
2.15/2.37	c 2	decisions             : 574            (0.87 % random) (6754 /sec)
2.15/2.37	c 2	propagations          : 60845          (715933 /sec)
2.15/2.37	c 2	conflict literals     : 8633           (24.27 % deleted)
2.15/2.37	c 2	Memory used           : 5.10 MB
2.15/2.37	c 2	CPU time              : 0.084987 s
2.15/2.37	c 2	
2.15/2.37	c 2	SATISFIABLE
2.15/2.37	c 2	FOUND: _COST <= 45
2.15/2.37	c 2	DECODING HOME/temp.out WITH HOME/temp.map
2.15/2.37	c 2	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2.26/2.45	c 2	Decoding HOME/temp.out
2.26/2.51	c 2	OBJECTIVE _COST 45
2.26/2.51	o 45
2.26/2.52	v 24 24 24 8 19 21 24 7 14 20 3 19 9 24 20 22 24 24 22 24 2 19 4 23 19 1 22 21 21 16 5 11 22 1 15 24 24 24 9 24
2.26/2.52	c 2	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
2.26/2.54	c 2	OBJECTIVE BOUND: 0 <= _COST <= 45
2.26/2.54	c 2	SEARCHING: _COST <= 22
2.26/2.54	c 2	SOLVING HOME/temp.cnf
2.26/2.54	c 2	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
2.26/2.54	c 2	This is MiniSat 2.0 beta
2.26/2.54	c 2	WARNING: for repeatability, setting FPU to use double precision
2.26/2.54	c 2	============================[ Problem Statistics ]=============================
2.26/2.54	c 2	|                                                                             |
2.26/2.54	c 2	|  Number of variables:  3589                                                 |
2.26/2.54	c 2	|  Number of clauses:    74431                                                |
2.26/2.59	c 2	|  Parsing time:         0.04         s                                       |
2.26/2.60	c 2	============================[ Search Statistics ]==============================
2.26/2.60	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.26/2.60	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.26/2.60	c 2	===============================================================================
2.26/2.60	c 2	|         0 |    2184    38926   158584 |    12975        0    nan |  0.000 % |
2.40/2.61	c 2	|       101 |    2184    38926   158584 |    14272      101     38 | 39.147 % |
2.40/2.63	c 2	|       251 |    2184    38926   158584 |    15700      251     31 | 39.148 % |
2.40/2.66	c 2	|       476 |    2184    38926   158584 |    17270      476     33 | 39.148 % |
2.40/2.71	c 2	|       813 |    2184    38926   158584 |    18997      813     30 | 39.148 % |
2.40/2.78	c 3	|      1319 |    2184    38926   158584 |    20896     1319     35 | 39.148 % |
2.40/2.89	c 3	|      2078 |    2184    38926   158584 |    22986     2078     34 | 39.147 % |
2.40/3.09	c 3	|      3217 |    2184    38926   158584 |    25285     3217     37 | 39.148 % |
3.23/3.41	c 3	|      4925 |    2184    38926   158584 |    27813     4925     35 | 39.148 % |
3.43/3.69	c 3	===============================================================================
3.43/3.69	c 3	restarts              : 9
3.43/3.69	c 3	conflicts             : 6597           (5849 /sec)
3.43/3.69	c 3	decisions             : 8492           (0.60 % random) (7530 /sec)
3.43/3.69	c 3	propagations          : 1587679        (1407731 /sec)
3.43/3.69	c 3	conflict literals     : 254209         (28.79 % deleted)
3.43/3.69	c 3	Memory used           : 5.62 MB
3.43/3.69	c 3	CPU time              : 1.12783 s
3.43/3.69	c 3	
3.43/3.69	c 3	SATISFIABLE
3.43/3.70	c 3	FOUND: _COST <= 22
3.43/3.70	c 3	DECODING HOME/temp.out WITH HOME/temp.map
3.43/3.70	c 3	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.54/3.78	c 4	Decoding HOME/temp.out
3.54/3.83	c 4	OBJECTIVE _COST 22
3.54/3.83	o 22
3.54/3.84	v 24 24 24 12 24 0 5 12 23 0 3 18 10 15 9 24 24 1 19 20 2 23 22 23 19 16 12 24 24 16 2 2 24 20 20 5 24 24 8 24
3.54/3.84	c 4	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
3.54/3.86	c 4	OBJECTIVE BOUND: 0 <= _COST <= 22
3.54/3.86	c 4	SEARCHING: _COST <= 11
3.54/3.86	c 4	SOLVING HOME/temp.cnf
3.54/3.86	c 4	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
3.54/3.86	c 4	This is MiniSat 2.0 beta
3.54/3.86	c 4	WARNING: for repeatability, setting FPU to use double precision
3.54/3.86	c 4	============================[ Problem Statistics ]=============================
3.54/3.86	c 4	|                                                                             |
3.54/3.86	c 4	|  Number of variables:  3589                                                 |
3.54/3.86	c 4	|  Number of clauses:    74431                                                |
3.69/3.91	c 4	|  Parsing time:         0.04         s                                       |
3.69/3.92	c 4	============================[ Search Statistics ]==============================
3.69/3.92	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.92	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.69/3.92	c 4	===============================================================================
3.69/3.92	c 4	|         0 |    1971    34041   144557 |    11347        0    nan |  0.000 % |
3.69/3.94	c 4	|       100 |    1971    34041   144557 |    12481      100     34 | 45.082 % |
3.69/3.96	c 4	|       250 |    1971    34041   144557 |    13729      250     28 | 45.082 % |
3.69/3.99	c 4	|       475 |    1971    34041   144557 |    15102      475     26 | 45.082 % |
3.69/4.04	c 4	|       812 |    1971    34041   144557 |    16613      812     35 | 45.082 % |
3.69/4.12	c 4	|      1319 |    1971    34041   144557 |    18274     1319     33 | 45.082 % |
3.69/4.24	c 4	|      2078 |    1971    34041   144557 |    20101     2078     34 | 45.082 % |
4.21/4.41	c 4	|      3217 |    1971    34041   144557 |    22112     3217     37 | 45.082 % |
4.41/4.68	c 4	|      4926 |    1971    34041   144557 |    24323     4926     36 | 45.082 % |
4.90/5.18	c 5	|      7488 |    1971    34041   144557 |    26755     7488     40 | 45.082 % |
5.79/6.08	c 6	|     11332 |    1971    34041   144557 |    29431    11332     44 | 45.082 % |
7.18/7.40	c 7	|     17100 |    1971    34041   144557 |    32374    17100     40 | 45.082 % |
9.56/9.88	c 10	|     25749 |    1971    34041   144557 |    35611    25749     37 | 45.082 % |
14.51/14.84	c 15	|     38723 |    1971    34041   144557 |    39172    12824     41 | 45.082 % |
21.25/21.62	c 21	|     58185 |    1971    34041   144557 |    43090    32286     37 | 45.082 % |
33.82/34.37	c 34	|     87378 |    1971    34041   144557 |    47399    29111     40 | 45.082 % |
49.08/49.79	c 50	|    131167 |    1971    34041   144557 |    52139    36766     30 | 45.082 % |
56.41/57.13	c 57	===============================================================================
56.41/57.13	c 57	restarts              : 17
56.41/57.13	c 57	conflicts             : 146485         (2778 /sec)
56.41/57.13	c 57	decisions             : 159102         (0.92 % random) (3017 /sec)
56.41/57.13	c 57	propagations          : 40097453       (760387 /sec)
56.41/57.13	c 57	conflict literals     : 5113070        (37.04 % deleted)
56.41/57.13	c 57	Memory used           : 13.94 MB
56.41/57.13	c 57	CPU time              : 52.733 s
56.41/57.13	c 57	
56.41/57.13	c 57	SATISFIABLE
56.41/57.14	c 57	FOUND: _COST <= 11
56.41/57.14	c 57	DECODING HOME/temp.out WITH HOME/temp.map
56.41/57.14	c 57	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
56.47/57.22	c 57	Decoding HOME/temp.out
56.47/57.28	c 57	OBJECTIVE _COST 11
56.47/57.28	o 11
56.47/57.28	v 18 24 19 6 14 24 0 12 13 10 2 24 7 24 24 5 13 21 24 24 22 5 24 2 1 6 8 18 6 19 24 18 21 20 24 3 22 22 3 22
56.47/57.28	c 57	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
56.47/57.30	c 57	OBJECTIVE BOUND: 0 <= _COST <= 11
56.47/57.30	c 57	SEARCHING: _COST <= 5
56.47/57.30	c 57	SOLVING HOME/temp.cnf
56.47/57.30	c 57	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
56.47/57.30	c 57	This is MiniSat 2.0 beta
56.47/57.30	c 57	WARNING: for repeatability, setting FPU to use double precision
56.47/57.30	c 57	============================[ Problem Statistics ]=============================
56.47/57.30	c 57	|                                                                             |
56.47/57.31	c 57	|  Number of variables:  3589                                                 |
56.47/57.31	c 57	|  Number of clauses:    74431                                                |
56.47/57.35	c 57	|  Parsing time:         0.04         s                                       |
56.47/57.36	c 57	============================[ Search Statistics ]==============================
56.47/57.36	c 57	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
56.47/57.36	c 57	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
56.47/57.36	c 57	===============================================================================
56.47/57.36	c 57	|         0 |    1747    30832   135596 |    10277        0    nan |  0.000 % |
56.47/57.38	c 57	|       100 |    1747    30832   135596 |    11305      100     34 | 51.323 % |
56.62/57.40	c 57	|       251 |    1747    30832   135596 |    12435      251     37 | 51.324 % |
56.62/57.43	c 57	|       478 |    1747    30832   135596 |    13679      478     30 | 51.324 % |
56.62/57.47	c 57	|       815 |    1747    30832   135596 |    15047      815     28 | 51.324 % |
56.62/57.55	c 57	|      1321 |    1747    30832   135596 |    16551     1321     26 | 51.324 % |
56.62/57.65	c 57	|      2080 |    1747    30832   135596 |    18206     2080     24 | 51.324 % |
56.62/57.82	c 58	|      3220 |    1747    30832   135596 |    20027     3220     25 | 51.324 % |
56.62/58.09	c 58	|      4928 |    1747    30832   135596 |    22030     4928     26 | 51.324 % |
57.79/58.56	c 58	|      7491 |    1747    30832   135596 |    24233     7491     28 | 51.324 % |
58.49/59.24	c 59	|     11335 |    1747    30832   135596 |    26656    11335     27 | 51.324 % |
59.87/60.64	c 60	|     17102 |    1747    30832   135596 |    29322    17102     29 | 51.324 % |
62.85/63.65	c 63	|     25751 |    1747    30832   135596 |    32254    25751     34 | 51.324 % |
67.21/68.06	c 68	|     38729 |    1747    30832   135596 |    35480    18348     37 | 51.324 % |
74.34/75.28	c 75	|     58190 |    1747    30832   135596 |    39028    37809     39 | 51.324 % |
88.40/89.43	c 89	|     87383 |    1747    30832   135596 |    42930    40349     50 | 51.324 % |
111.88/113.15	c 113	|    131172 |    1747    30832   135596 |    47224    27222     45 | 51.324 % |
147.75/149.38	c 149	|    196857 |    1747    30832   135596 |    51946    27655     55 | 51.324 % |
210.95/213.18	c 213	|    295383 |    1747    30832   135596 |    57141    51152     56 | 51.324 % |
317.84/321.06	c 321	|    443172 |    1747    30832   135596 |    62855    30717     55 | 51.324 % |
479.81/484.51	c 484	|    664855 |    1747    30832   135596 |    69140    62746     50 | 51.324 % |
690.94/697.69	c 697	|    997381 |    1747    30832   135596 |    76054    64716     56 | 51.324 % |
1020.53/1030.35	c 1030	|   1496169 |    1747    30832   135596 |    83660    70318     48 | 51.324 % |
1170.11/1181.40	c 1181	===============================================================================
1170.11/1181.40	c 1181	restarts              : 23
1170.11/1181.40	c 1181	conflicts             : 1723794        (1548 /sec)
1170.11/1181.40	c 1181	decisions             : 1878365        (0.96 % random) (1687 /sec)
1170.11/1181.40	c 1181	propagations          : 423320253      (380170 /sec)
1170.11/1181.40	c 1181	conflict literals     : 90042065       (31.48 % deleted)
1170.11/1181.40	c 1181	Memory used           : 40.26 MB
1170.11/1181.40	c 1181	CPU time              : 1113.5 s
1170.11/1181.40	c 1181	
1170.11/1181.40	c 1181	SATISFIABLE
1170.21/1181.41	c 1181	FOUND: _COST <= 5
1170.21/1181.41	c 1181	DECODING HOME/temp.out WITH HOME/temp.map
1170.21/1181.41	c 1181	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1170.21/1181.49	c 1181	Decoding HOME/temp.out
1170.22/1181.56	c 1181	OBJECTIVE _COST 5
1170.22/1181.56	o 5
1170.22/1181.56	v 8 22 22 8 4 15 2 16 20 3 19 23 22 1 7 2 8 24 16 7 20 10 22 24 17 16 1 24 7 5 24 23 12 20 7 21 1 6 22 12
1170.22/1181.56	c 1181	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1170.22/1181.62	c 1181	OBJECTIVE BOUND: 0 <= _COST <= 5
1170.22/1181.62	c 1181	SEARCHING: _COST <= 2
1170.22/1181.62	c 1181	SOLVING HOME/temp.cnf
1170.22/1181.62	c 1181	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1170.22/1181.62	c 1181	This is MiniSat 2.0 beta
1170.22/1181.62	c 1181	WARNING: for repeatability, setting FPU to use double precision
1170.22/1181.62	c 1181	============================[ Problem Statistics ]=============================
1170.22/1181.62	c 1181	|                                                                             |
1170.22/1181.62	c 1181	|  Number of variables:  3589                                                 |
1170.22/1181.62	c 1181	|  Number of clauses:    74431                                                |
1170.22/1181.67	c 1181	|  Parsing time:         0.04         s                                       |
1170.22/1181.68	c 1181	============================[ Search Statistics ]==============================
1170.22/1181.68	c 1181	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1170.22/1181.68	c 1181	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1170.22/1181.68	c 1181	===============================================================================
1170.22/1181.68	c 1181	|         0 |    1500    28797   130229 |     9599        0    nan |  0.000 % |
1170.22/1181.69	c 1181	|       100 |    1500    28797   130229 |    10558      100     31 | 58.206 % |
1170.40/1181.72	c 1182	|       250 |    1500    28797   130229 |    11614      250     39 | 58.206 % |
1170.40/1181.76	c 1182	|       475 |    1500    28797   130229 |    12776      475     42 | 58.206 % |
1170.40/1181.82	c 1182	|       812 |    1500    28797   130229 |    14053      812     40 | 58.206 % |
1170.40/1181.90	c 1182	|      1318 |    1500    28797   130229 |    15459     1318     36 | 58.206 % |
1170.40/1182.03	c 1182	|      2078 |    1500    28797   130229 |    17005     2078     34 | 58.206 % |
1170.40/1182.26	c 1182	|      3217 |    1500    28797   130229 |    18705     3217     33 | 58.206 % |
1171.36/1182.62	c 1182	|      4926 |    1500    28797   130229 |    20576     4926     35 | 58.206 % |
1171.96/1183.23	c 1183	|      7488 |    1500    28797   130229 |    22633     7488     38 | 58.206 % |
1172.94/1184.29	c 1184	|     11332 |    1500    28797   130229 |    24897    11332     36 | 58.206 % |
1174.83/1186.11	c 1186	|     17098 |    1500    28797   130229 |    27387    17098     40 | 58.206 % |
1177.99/1189.39	c 1189	|     25748 |    1500    28797   130229 |    30125    25748     39 | 58.206 % |
1182.25/1193.64	c 1193	|     38722 |    1500    28797   130229 |    33138    19620     34 | 58.206 % |
1189.88/1201.39	c 1201	|     58183 |    1500    28797   130229 |    36452    16894     36 | 58.206 % |
1201.77/1213.32	c 1213	|     87376 |    1500    28797   130229 |    40097    21332     42 | 58.206 % |
1221.10/1232.89	c 1233	|    131166 |    1500    28797   130229 |    44107    35174     59 | 58.206 % |
1259.63/1271.79	c 1272	|    196851 |    1500    28797   130229 |    48517    39865     55 | 58.206 % |
1314.40/1327.05	c 1327	|    295377 |    1500    28797   130229 |    53369    32638     48 | 58.206 % |
1407.44/1420.92	c 1421	|    443166 |    1500    28797   130229 |    58706    29870     50 | 58.206 % |
1546.02/1560.85	c 1561	|    664849 |    1500    28797   130229 |    64577    25551     51 | 58.206 % |
1783.18/1800.22	c 1800	|    997375 |    1500    28797   130229 |    71034    19550     51 | 58.206 % |
2125.55/2145.82	c 2146	|   1496163 |    1500    28797   130229 |    78138    24462     49 | 58.206 % |
2577.27/2601.89	c 2602	|   2244347 |    1500    28797   130229 |    85952    73034     45 | 58.206 % |
3366.11/3398.12	c 3398	|   3366621 |    1500    28797   130229 |    94547    79609     56 | 58.206 % |
3600.01/3634.21	c ERROR unknown output  in HOME/temp.out
3600.01/3634.21	c 3634	CPU 1169.98 (0.04 0.01 1169.94 0.41)
3600.01/3634.21	c 3634	END Sun Jul 13 01:21:51 2008

Verifier Data (download as text)

OK	5	175
5 unsatisfied constraints, 175 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-1114388-1215901277/watcher-1114388-1215901277 -o /tmp/evaluation-result-1114388-1215901277/solver-1114388-1215901277 -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-1114388-1215901277.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 4/73 19456
/proc/meminfo: memFree=1890608/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=12268 CPUtime=0
/proc/19456/stat : 19456 (sugar) R 19454 19456 19419 0 -1 4194304 348 0 0 0 0 0 0 0 23 0 1 0 46825600 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 271652154294 0 0 4224 0 0 0 0 17 1 0 0
/proc/19456/statm: 3067 316 241 3 0 167 0

[startup+0.0973251 s]
/proc/loadavg: 2.00 2.02 2.00 4/73 19456
/proc/meminfo: memFree=1890608/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=0.04
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 46825600 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.101321 s]
/proc/loadavg: 2.00 2.02 2.00 4/73 19456
/proc/meminfo: memFree=1890608/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=0.04
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 46825600 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.301345 s]
/proc/loadavg: 2.00 2.02 2.00 4/73 19456
/proc/meminfo: memFree=1890608/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=0.04
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 46825600 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.701387 s]
/proc/loadavg: 2.00 2.02 2.00 4/73 19456
/proc/meminfo: memFree=1890608/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=0.63
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 957 4653 0 1 3 1 55 4 16 0 1 0 46825600 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 13600

[startup+1.50147 s]
/proc/loadavg: 2.00 2.02 2.00 3/84 19478
/proc/meminfo: memFree=1879312/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=0.63
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 974 4653 0 1 3 1 55 4 15 0 1 0 46825600 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 797 370 3 0 500 0
[pid=19469] ppid=19456 vsize=5356 CPUtime=0
/proc/19469/stat : 19469 (sh) S 19456 19456 19419 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 46825668 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19469/statm: 1339 233 193 169 0 50 0
[pid=19470] ppid=19469 vsize=864184 CPUtime=0.79
/proc/19470/stat : 19470 (java) S 19469 19456 19419 0 -1 0 7770 0 1 0 76 3 0 0 18 0 9 0 46825669 884924416 7038 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19470/statm: 216046 7038 2540 9 0 210621 0
[pid=19470/tid=19471] ppid=19469 vsize=864184 CPUtime=0.44
/proc/19470/task/19471/stat : 19471 (java) R 19469 19456 19419 0 -1 64 2592 0 1 0 44 0 0 0 19 0 9 0 46825670 884924416 7038 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19470/tid=19472] ppid=19469 vsize=864184 CPUtime=0.21
/proc/19470/task/19472/stat : 19472 (java) S 19469 19456 19419 0 -1 64 4132 0 0 0 20 1 0 0 16 0 9 0 46825671 884924416 7038 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19470/tid=19473] ppid=19469 vsize=864184 CPUtime=0
/proc/19470/task/19473/stat : 19473 (java) S 19469 19456 19419 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 46825671 884924416 7038 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19470/tid=19474] ppid=19469 vsize=864184 CPUtime=0
/proc/19470/task/19474/stat : 19474 (java) S 19469 19456 19419 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 46825671 884924416 7038 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19470/tid=19475] ppid=19469 vsize=864184 CPUtime=0
/proc/19470/task/19475/stat : 19475 (java) S 19469 19456 19419 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46825673 884924416 7038 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19470/tid=19476] ppid=19469 vsize=864184 CPUtime=0.11
/proc/19470/task/19476/stat : 19476 (java) R 19469 19456 19419 0 -1 64 350 0 0 0 11 0 0 0 16 0 9 0 46825673 884924416 7038 996147200 134512640 134550740 4294955936 18446744073709551615 102091102 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19470/tid=19477] ppid=19469 vsize=864184 CPUtime=0
/proc/19470/task/19477/stat : 19477 (java) S 19469 19456 19419 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46825673 884924416 7038 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19470/tid=19478] ppid=19469 vsize=864184 CPUtime=0
/proc/19470/task/19478/stat : 19478 (java) S 19469 19456 19419 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46825673 884924416 7038 996147200 134512640 134550740 4294955936 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) 883140

[startup+3.10163 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 19480
/proc/meminfo: memFree=1881936/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=2.4
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1293 24473 0 4 3 1 218 18 15 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 13600

[startup+6.30296 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 19516
/proc/meminfo: memFree=1880848/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=3.69
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1408 29848 0 5 3 1 344 21 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19515] ppid=19456 vsize=5356 CPUtime=0
/proc/19515/stat : 19515 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46825986 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19515/statm: 1339 232 193 169 0 50 0
[pid=19516] ppid=19515 vsize=7012 CPUtime=2.4
/proc/19516/stat : 19516 (minisat) R 19515 19456 19419 0 -1 4194304 1631 0 0 0 240 0 0 0 25 0 1 0 46825987 7180288 1617 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/19516/statm: 1753 1617 75 150 0 1600 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 25968

[startup+12.7016 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 19516
/proc/meminfo: memFree=1876624/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=3.69
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1408 29848 0 5 3 1 344 21 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19515] ppid=19456 vsize=5356 CPUtime=0
/proc/19515/stat : 19515 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46825986 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19515/statm: 1339 232 193 169 0 50 0
[pid=19516] ppid=19515 vsize=10720 CPUtime=8.74
/proc/19516/stat : 19516 (minisat) R 19515 19456 19419 0 -1 4194304 2557 0 0 0 873 1 0 0 25 0 1 0 46825987 10977280 2543 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/19516/statm: 2680 2543 75 150 0 2527 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 29676

[startup+25.5019 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 19516
/proc/meminfo: memFree=1874832/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=3.69
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1408 29848 0 5 3 1 344 21 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19515] ppid=19456 vsize=5356 CPUtime=0
/proc/19515/stat : 19515 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46825986 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19515/statm: 1339 232 193 169 0 50 0
[pid=19516] ppid=19515 vsize=12392 CPUtime=21.42
/proc/19516/stat : 19516 (minisat) R 19515 19456 19419 0 -1 4194304 2981 0 0 0 2140 2 0 0 25 0 1 0 46825987 12689408 2967 996147200 134512640 135127466 4294956256 18446744073709551615 134530641 0 0 4096 3 0 0 0 17 1 0 0
/proc/19516/statm: 3098 2967 75 150 0 2945 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 31348

[startup+51.1015 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 19516
/proc/meminfo: memFree=1872976/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=3.69
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1408 29848 0 5 3 1 344 21 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19515] ppid=19456 vsize=5356 CPUtime=0
/proc/19515/stat : 19515 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46825986 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19515/statm: 1339 232 193 169 0 50 0
[pid=19516] ppid=19515 vsize=14124 CPUtime=46.78
/proc/19516/stat : 19516 (minisat) R 19515 19456 19419 0 -1 4194304 3423 0 0 0 4676 2 0 0 25 0 1 0 46825987 14462976 3409 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/19516/statm: 3531 3409 75 150 0 3378 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 33080

[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 19528
/proc/meminfo: memFree=1871248/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=56.62
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1523 37329 0 6 4 1 5629 28 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19527] ppid=19456 vsize=5356 CPUtime=0
/proc/19527/stat : 19527 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46831331 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19527/statm: 1339 232 193 169 0 50 0
[pid=19528] ppid=19527 vsize=15756 CPUtime=44.56
/proc/19528/stat : 19528 (minisat) R 19527 19456 19419 0 -1 4194304 3805 0 0 0 4454 2 0 0 25 0 1 0 46831331 16134144 3791 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/19528/statm: 3939 3791 75 150 0 3786 0
Current children cumulated CPU time (s) 101.18
Current children cumulated vsize (KiB) 34712

[startup+162.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 19528
/proc/meminfo: memFree=1868304/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=56.62
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1523 37329 0 6 4 1 5629 28 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19527] ppid=19456 vsize=5356 CPUtime=0
/proc/19527/stat : 19527 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46831331 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19527/statm: 1339 232 193 169 0 50 0
[pid=19528] ppid=19527 vsize=18852 CPUtime=104
/proc/19528/stat : 19528 (minisat) R 19527 19456 19419 0 -1 4194304 4578 0 0 0 10397 3 0 0 25 0 1 0 46831331 19304448 4564 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/19528/statm: 4713 4564 75 150 0 4560 0
Current children cumulated CPU time (s) 160.62
Current children cumulated vsize (KiB) 37808

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 19528
/proc/meminfo: memFree=1865104/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=56.62
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1523 37329 0 6 4 1 5629 28 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19527] ppid=19456 vsize=5356 CPUtime=0
/proc/19527/stat : 19527 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46831331 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19527/statm: 1339 232 193 169 0 50 0
[pid=19528] ppid=19527 vsize=21728 CPUtime=163.43
/proc/19528/stat : 19528 (minisat) R 19527 19456 19419 0 -1 4194304 5314 0 0 0 16340 3 0 0 25 0 1 0 46831331 22249472 5300 996147200 134512640 135127466 4294956256 18446744073709551615 134530742 0 0 4096 3 0 0 0 17 1 0 0
/proc/19528/statm: 5432 5300 75 150 0 5279 0
Current children cumulated CPU time (s) 220.05
Current children cumulated vsize (KiB) 40684

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

/proc/meminfo: memFree=1848840/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=1170.4
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1637 51380 0 7 4 1 116994 41 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19611] ppid=19456 vsize=5356 CPUtime=0
/proc/19611/stat : 19611 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46943762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19611/statm: 1339 232 193 169 0 50 0
[pid=19612] ppid=19611 vsize=41584 CPUtime=1902.69
/proc/19612/stat : 19612 (minisat) R 19611 19456 19419 0 -1 4194304 10152 0 0 0 190255 14 0 0 25 0 1 0 46943763 42582016 10138 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/19612/statm: 10396 10138 75 150 0 10243 0
Current children cumulated CPU time (s) 3073.09
Current children cumulated vsize (KiB) 60540

[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 19618
/proc/meminfo: memFree=1848776/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=1170.4
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1637 51380 0 7 4 1 116994 41 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19611] ppid=19456 vsize=5356 CPUtime=0
/proc/19611/stat : 19611 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46943762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19611/statm: 1339 232 193 169 0 50 0
[pid=19612] ppid=19611 vsize=41584 CPUtime=1962.12
/proc/19612/stat : 19612 (minisat) R 19611 19456 19419 0 -1 4194304 10152 0 0 0 196198 14 0 0 25 0 1 0 46943763 42582016 10138 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/19612/statm: 10396 10138 75 150 0 10243 0
Current children cumulated CPU time (s) 3132.52
Current children cumulated vsize (KiB) 60540

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 19618
/proc/meminfo: memFree=1848776/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=1170.4
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1637 51380 0 7 4 1 116994 41 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19611] ppid=19456 vsize=5356 CPUtime=0
/proc/19611/stat : 19611 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46943762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19611/statm: 1339 232 193 169 0 50 0
[pid=19612] ppid=19611 vsize=41584 CPUtime=2021.56
/proc/19612/stat : 19612 (minisat) R 19611 19456 19419 0 -1 4194304 10152 0 0 0 202142 14 0 0 25 0 1 0 46943763 42582016 10138 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/19612/statm: 10396 10138 75 150 0 10243 0
Current children cumulated CPU time (s) 3191.96
Current children cumulated vsize (KiB) 60540

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 19618
/proc/meminfo: memFree=1848712/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=1170.4
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1637 51380 0 7 4 1 116994 41 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19611] ppid=19456 vsize=5356 CPUtime=0
/proc/19611/stat : 19611 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46943762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19611/statm: 1339 232 193 169 0 50 0
[pid=19612] ppid=19611 vsize=41584 CPUtime=2081
/proc/19612/stat : 19612 (minisat) R 19611 19456 19419 0 -1 4194304 10152 0 0 0 208086 14 0 0 25 0 1 0 46943763 42582016 10138 996147200 134512640 135127466 4294956256 18446744073709551615 134528977 0 0 4096 3 0 0 0 17 1 0 0
/proc/19612/statm: 10396 10138 75 150 0 10243 0
Current children cumulated CPU time (s) 3251.4
Current children cumulated vsize (KiB) 60540

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 19618
/proc/meminfo: memFree=1848648/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=1170.4
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1637 51380 0 7 4 1 116994 41 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19611] ppid=19456 vsize=5356 CPUtime=0
/proc/19611/stat : 19611 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46943762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19611/statm: 1339 232 193 169 0 50 0
[pid=19612] ppid=19611 vsize=41584 CPUtime=2140.44
/proc/19612/stat : 19612 (minisat) R 19611 19456 19419 0 -1 4194304 10152 0 0 0 214030 14 0 0 25 0 1 0 46943763 42582016 10138 996147200 134512640 135127466 4294956256 18446744073709551615 134530823 0 0 4096 3 0 0 0 17 1 0 0
/proc/19612/statm: 10396 10138 75 150 0 10243 0
Current children cumulated CPU time (s) 3310.84
Current children cumulated vsize (KiB) 60540

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 19618
/proc/meminfo: memFree=1848584/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=1170.4
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1637 51380 0 7 4 1 116994 41 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19611] ppid=19456 vsize=5356 CPUtime=0
/proc/19611/stat : 19611 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46943762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19611/statm: 1339 232 193 169 0 50 0
[pid=19612] ppid=19611 vsize=41584 CPUtime=2199.88
/proc/19612/stat : 19612 (minisat) R 19611 19456 19419 0 -1 4194304 10152 0 0 0 219974 14 0 0 25 0 1 0 46943763 42582016 10138 996147200 134512640 135127466 4294956256 18446744073709551615 134530828 0 0 4096 3 0 0 0 17 1 0 0
/proc/19612/statm: 10396 10138 75 150 0 10243 0
Current children cumulated CPU time (s) 3370.28
Current children cumulated vsize (KiB) 60540

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 19618
/proc/meminfo: memFree=1847496/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=1170.4
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1637 51380 0 7 4 1 116994 41 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19611] ppid=19456 vsize=5356 CPUtime=0
/proc/19611/stat : 19611 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46943762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19611/statm: 1339 232 193 169 0 50 0
[pid=19612] ppid=19611 vsize=42852 CPUtime=2259.32
/proc/19612/stat : 19612 (minisat) R 19611 19456 19419 0 -1 4194304 10397 0 0 0 225917 15 0 0 25 0 1 0 46943763 43880448 10383 996147200 134512640 135127466 4294956256 18446744073709551615 134530828 0 0 4096 3 0 0 0 17 1 0 0
/proc/19612/statm: 10713 10383 75 150 0 10560 0
Current children cumulated CPU time (s) 3429.72
Current children cumulated vsize (KiB) 61808

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 19620
/proc/meminfo: memFree=1843976/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=1170.4
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1637 51380 0 7 4 1 116994 41 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19611] ppid=19456 vsize=5356 CPUtime=0
/proc/19611/stat : 19611 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46943762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19611/statm: 1339 232 193 169 0 50 0
[pid=19612] ppid=19611 vsize=46452 CPUtime=2318.75
/proc/19612/stat : 19612 (minisat) R 19611 19456 19419 0 -1 4194304 11251 0 0 0 231860 15 0 0 25 0 1 0 46943763 47566848 11237 996147200 134512640 135127466 4294956256 18446744073709551615 134530938 0 0 4096 3 0 0 0 17 1 0 0
/proc/19612/statm: 11613 11237 75 150 0 11460 0
Current children cumulated CPU time (s) 3489.15
Current children cumulated vsize (KiB) 65408

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 19620
/proc/meminfo: memFree=1839368/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=1170.4
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1637 51380 0 7 4 1 116994 41 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19611] ppid=19456 vsize=5356 CPUtime=0
/proc/19611/stat : 19611 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46943762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19611/statm: 1339 232 193 169 0 50 0
[pid=19612] ppid=19611 vsize=50872 CPUtime=2378.2
/proc/19612/stat : 19612 (minisat) R 19611 19456 19419 0 -1 4194304 12346 0 0 0 237804 16 0 0 25 0 1 0 46943763 52092928 12332 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/19612/statm: 12718 12332 75 150 0 12565 0
Current children cumulated CPU time (s) 3548.6
Current children cumulated vsize (KiB) 69828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3634.2 s]
/proc/loadavg: 2.04 2.01 2.00 3/84 19620
/proc/meminfo: memFree=1839304/2055920 swapFree=4181052/4192956
[pid=19456] ppid=19454 vsize=13600 CPUtime=1170.4
/proc/19456/stat : 19456 (sugar) S 19454 19456 19419 0 -1 4194304 1637 51380 0 7 4 1 116994 41 16 0 1 0 46825600 13926400 807 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19456/statm: 3400 807 374 3 0 500 0
[pid=19611] ppid=19456 vsize=5356 CPUtime=0
/proc/19611/stat : 19611 (sh) S 19456 19456 19419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46943762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19611/statm: 1339 232 193 169 0 50 0
[pid=19612] ppid=19611 vsize=50872 CPUtime=2429.61
/proc/19612/stat : 19612 (minisat) R 19611 19456 19419 0 -1 4194304 12351 0 0 0 242945 16 0 0 25 0 1 0 46943763 52092928 12337 996147200 134512640 135127466 4294956256 18446744073709551615 134523398 0 0 4096 3 0 0 0 17 1 0 0
/proc/19612/statm: 12718 12337 75 150 0 12565 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 69828

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19456 and gives
#  childrusage.ru_utime.tv_sec=1169
#  childrusage.ru_utime.tv_usec=988134
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=433934
# CPU time returned by wait4() is 1170.42
# while last known CPU time is 3600.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3634.22
CPU time (s): 3600.01
CPU user time (s): 3599.43
CPU system time (s): 0.58
CPU usage (%): 99.0587
Max. virtual memory (cumulated for all children) (KiB): 887420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1169.99
system time used= 0.433934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53360
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= 3330
involuntary context switches= 37539

runsolver used 3.87841 second user time and 12.6611 second system time

The end

Launcher Data (download as text)

Begin job on node67 at 2008-07-13 00:21:17
IDJOB=1114388
IDBENCH=61727
IDSOLVER=368
FILE ID=node67/1114388-1215901277
PBS_JOBID= 7903746
Free space on /tmp= 66428 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/tightness0.5/normalized-rand-2-40-25-180-500-37_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-1114388-1215901277/watcher-1114388-1215901277 -o /tmp/evaluation-result-1114388-1215901277/solver-1114388-1215901277 -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-1114388-1215901277.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 6d143140d55a0ecf08cf2fdc434bce33
RANDOM SEED=1983150609

node67.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.218
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.218
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:       1891088 kB
Buffers:         21764 kB
Cached:          85032 kB
SwapCached:       5608 kB
Active:          74408 kB
Inactive:        49504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1891088 kB
SwapTotal:     4192956 kB
SwapFree:      4181052 kB
Dirty:            1656 kB
Writeback:           0 kB
Mapped:          24332 kB
Slab:            25984 kB
Committed_AS:   208808 kB
PageTables:       1900 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= 66436 MiB
End job on node67 at 2008-07-13 01:21:51