Trace number 1112601

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+minisat-incMSAT (TO)268 3600.31 3631.9

General information on the benchmark

Namecsp/rlfapScens/
normalized-scen7.xml
MD5SUM4f1026eda97064116de2bf3bc78ace12
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints56
Best CPU time to get the best result obtained on this benchmark3600.08
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints2865
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2865
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.04/0.26	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.04/0.28	c 0	BEGIN Sat Jul 12 15:47:37 2008
0.04/0.28	c 0	PID 15614
0.04/0.29	c 0	HOST node62.alineos.net
0.04/0.29	c 0	CONVERTING HOME/instance-1112601-1215870457.xml TO HOME/temp.csp
0.04/0.29	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1112601-1215870457.xml' 'HOME/temp.csp'
0.07/0.89	c 1	3 domains, 400 variables, 2 predicates, 0 relations, 2865 constraints
0.07/0.94	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.94	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.56/1.03	c 1	Parsing HOME/temp.csp
0.76/1.24	c 1	parsed 3270 expressions
0.76/1.25	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.76/1.28	c 1	MAX CSP: 2865 constraints
0.76/1.28	c 1	Converting to clausal form CSP
1.05/1.50	c 1	converted 614 (10%) expressions
1.44/1.96	c 2	converted 1228 (20%) expressions
1.84/2.30	c 2	converted 1842 (30%) expressions
2.14/2.62	c 2	converted 2456 (40%) expressions
2.53/3.00	c 3	converted 3069 (50%) expressions
2.83/3.37	c 3	converted 3683 (60%) expressions
3.12/3.69	c 4	converted 4297 (70%) expressions
3.52/4.00	c 4	converted 4911 (80%) expressions
3.82/4.31	c 4	converted 5525 (90%) expressions
4.41/4.95	c 5	converted 6138 (100%) expressions
4.41/4.95	c 5	CSP : 6130 integers, 200 booleans, 9194 clauses, largest domain size 4298
4.41/4.95	c 5	Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.41/4.95	c 5	Propagation in CSP
4.51/5.09	c 5	2859 values, 0 unsatisfiable literals, and 0 valid clauses are removed
4.51/5.09	c 5	CSP : 6130 integers, 200 booleans, 9194 clauses, largest domain size 2866
4.51/5.09	c 5	Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.60/5.10	c 5	Simplifing CSP by introducing new Boolean variables
4.60/5.14	c 5	CSP : 6130 integers, 5884 booleans, 14878 clauses, largest domain size 2866
4.60/5.14	c 5	Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.71/5.22	c 5	Encoding CSP to SAT : HOME/temp.cnf
4.90/5.41	c 5	613 (10%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.90/5.41	c 5	1226 (20%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.90/5.42	c 5	1839 (30%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.90/5.43	c 5	2452 (40%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.90/5.43	c 5	3065 (50%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.90/5.43	c 5	3678 (60%) CSP integer variables are encoded (20965 clauses, 292883 bytes)
4.90/5.44	c 5	4291 (70%) CSP integer variables are encoded (25985 clauses, 368183 bytes)
4.90/5.48	c 5	4904 (80%) CSP integer variables are encoded (55571 clauses, 811973 bytes)
4.90/5.49	c 5	5517 (90%) CSP integer variables are encoded (65632 clauses, 962888 bytes)
5.00/5.51	c 5	6130 (100%) CSP integer variables are encoded (74093 clauses, 1089803 bytes)
5.20/5.71	c 6	1488 (10%) CSP clauses are encoded (105096 clauses, 1695802 bytes)
5.29/5.88	c 6	2976 (20%) CSP clauses are encoded (133840 clauses, 2269624 bytes)
5.49/6.06	c 6	4464 (30%) CSP clauses are encoded (166014 clauses, 2914861 bytes)
5.69/6.24	c 6	5952 (40%) CSP clauses are encoded (196805 clauses, 3531844 bytes)
5.79/6.39	c 6	7439 (50%) CSP clauses are encoded (224429 clauses, 4089456 bytes)
5.99/6.55	c 6	8927 (60%) CSP clauses are encoded (253595 clauses, 4714847 bytes)
6.39/6.94	c 7	10415 (70%) CSP clauses are encoded (436167 clauses, 8574785 bytes)
7.38/7.98	c 8	11903 (80%) CSP clauses are encoded (963413 clauses, 19819691 bytes)
15.93/16.61	c 16	13391 (90%) CSP clauses are encoded (4494241 clauses, 95294124 bytes)
28.12/29.01	c 29	14878 (100%) CSP clauses are encoded (10634370 clauses, 227114770 bytes)
28.12/29.01	c 29	14878 CSP clauses encoded
28.12/29.01	c 29	Writing map file : HOME/temp.map
28.12/29.07	c 29	Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
28.12/29.07	c 29	SAT : 86107 SAT variables, 10634370 SAT clauses, 227114770 bytes
28.12/29.07	c 29	Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
28.19/29.14	c 29	OBJECTIVE minimize _COST
28.19/29.15	c 29	SOLVING HOME/temp.cnf
28.19/29.15	c 29	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
28.19/29.15	c 29	This is MiniSat 2.0 beta incremental
28.19/29.15	c 29	WARNING: for repeatability, setting FPU to use double precision
28.19/29.15	c 29	============================[ Problem Statistics ]=============================
28.19/29.15	c 29	|                                                                             |
28.19/29.15	c 29	|  Number of variables:  86107                                                |
28.19/29.15	c 29	|  Number of clauses:    10634370                                             |
33.11/34.18	c 34	|  Parsing time:         4.25         s                                       |
33.41/34.40	c 34	OK
33.41/34.40	c 34	OBJECTIVE BOUND: 0 <= _COST <= 
33.41/34.40	c 34	SEARCHING: _COST <= 1433
33.41/34.40	c 34	============================[ Search Statistics ]==============================
33.41/34.40	c 34	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
33.41/34.40	c 34	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
33.41/34.40	c 34	===============================================================================
33.41/34.40	c 34	|         0 |   86107 10634370 31696821 |  3544790        0    nan |  0.000 % |
34.69/35.71	c 36	|       100 |   86107 10634370 31696821 |  3899269      100    104 |  0.000 % |
35.30/36.36	c 36	|       252 |   86107 10634370 31696821 |  4289195      252     71 |  0.000 % |
36.88/37.99	c 38	|       478 |   86107 10634370 31696821 |  4718115      478     78 |  0.000 % |
37.57/38.65	c 39	===============================================================================
37.57/38.66	c 39	restarts              : 4
37.57/38.66	c 39	conflicts             : 719           (83 /sec)
37.57/38.66	c 39	decisions             : 10262         (0.63 % random) (1189 /sec)
37.57/38.66	c 39	propagations          : 1759811        (203831 /sec)
37.57/38.66	c 39	conflict literals     : 45190          (17.99 % deleted)
37.57/38.66	c 39	Memory used           : 441.73 MB
37.57/38.66	c 39	CPU time              : 8.63369 s
37.57/38.66	c 39	
37.57/38.66	c 39	SATISFIABLE
37.57/38.69	c 39	OK
37.57/38.69	c 39	FOUND: _COST <= 1433
37.57/38.69	s SATISFIABLE
37.57/38.69	c 39	DECODING HOME/temp.out WITH HOME/temp.map
37.57/38.69	c 39	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
37.66/38.77	c 39	Decoding HOME/temp.out
37.67/39.09	c 39	OBJECTIVE _COST 1284
37.67/39.09	o 1284
37.68/39.11	v 470 778 540 778 484 722 792 554 86 324 554 792 156 394 296 58 680 680 792 778 86 324 296 58 792 554 470 156 554 792 792 792 708 310 652 792 428 694 792 666 722 554 512 58 58 792 554 722 554 792 394 394 254 394 792 694 722 540 792 708 792 778 456 428 526 666 792 792 554 792 442 764 310 778 456 540 778 540 156 394 694 792 498 498 554 792 156 540 16 428 254 394 86 324 156 394 324 86 324 86 58 310 338 100 498 736 366 792 554 792 750 792 792 792 540 526 156 792 792 380 792 792 666 792 792 512 394 722 554 792 156 16 114 352 540 554 310 72 72 310 16 428 86 792 338 100 380 44 778 428 778 456 778 778 680 540 310 72 512 750 142 296 44 296 540 736 338 792 778 526 722 778 114 282 792 554 708 778 778 540 526 764 792 722 778 778 352 114 380 142 778 778 498 736 380 142 72 310 666 428 778 540 778 540 366 282 100 778 778 540 142 380 554 792 540 778 30 268 778 778 778 540 778 778 540 778 778 708 792 792 156 394 58 156 470 778 30 268 114 352 114 352 512 694 428 666 428 666 366 128 100 380 778 58 296 58 778 428 366 128 380 142 778 778 708 456 694 778 498 736 268 30 778 540 456 100 366 778 142 778 540 428 156 394 680 526 142 498 708 778 30 268 792 442 366 512 792 792 554 792 694 554 736 414 296 394 16 352 652 526 156 394 86 324 792 792 554 792 394 268 456 792 652 484 30 268 484 778 722 484 778 778 512 338 778 540 442 694 792 470 750 512 352 414 792 554 666 142 764 498 282 58 380 142 736 778 380 142 764 526 86 324 498 736 324 86 498 708 498 540 792 792 792 554 540 142 142 778 366 128 778 778 142 484 778 442 694 778 778 778 778 778 128 366 680 778 394 156 708 792
37.68/39.11	c 39	Heap : 2 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
37.68/39.13	c 39	OK
37.68/39.13	c 39	OBJECTIVE BOUND: 0 <= _COST <= 1284
37.68/39.13	c 39	SEARCHING: _COST <= 642
37.68/39.13	c 39	============================[ Search Statistics ]==============================
37.68/39.13	c 39	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.68/39.13	c 39	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
37.68/39.13	c 39	===============================================================================
37.68/39.13	c 39	|       719 |   86107 10634370 31696821 |  3544790      719     63 |  0.000 % |
39.36/40.49	c 40	|       820 |   86107 10634370 31696821 |  3899269      820     61 | 22.206 % |
40.65/41.75	c 42	|       972 |   86107 10634370 31696821 |  4289195      972     58 | 22.206 % |
42.23/43.33	c 43	|      1198 |   86107 10634370 31696821 |  4718115     1198     52 | 22.206 % |
43.41/44.58	c 44	|      1536 |   86107 10634370 31696821 |  5189927     1536     49 | 22.206 % |
47.18/48.39	c 48	|      2042 |   86107 10634370 31696821 |  5708919     2042     54 | 22.206 % |
48.67/49.84	c 50	===============================================================================
48.67/49.84	c 50	restarts              : 10
48.67/49.84	c 50	conflicts             : 2772          (144 /sec)
48.67/49.84	c 50	decisions             : 17959         (0.63 % random) (931 /sec)
48.67/49.84	c 50	propagations          : 6151588        (318965 /sec)
48.67/49.84	c 50	conflict literals     : 159678         (14.56 % deleted)
48.67/49.84	c 50	Memory used           : 443.54 MB
48.67/49.84	c 50	CPU time              : 19.2861 s
48.67/49.84	c 50	
48.67/49.84	c 50	SATISFIABLE
48.67/49.87	c 50	OK
48.67/49.87	c 50	FOUND: _COST <= 642
48.67/49.87	c 50	DECODING HOME/temp.out WITH HOME/temp.map
48.67/49.87	c 50	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
48.74/49.96	c 50	Decoding HOME/temp.out
48.74/50.27	c 50	OBJECTIVE _COST 642
48.74/50.27	o 642
48.74/50.29	v 470 708 470 708 366 128 554 792 792 554 282 44 722 484 554 792 282 44 310 72 792 554 156 58 764 526 554 792 366 128 30 44 792 792 652 792 394 156 792 554 792 156 792 792 792 750 428 666 498 736 352 394 352 114 680 680 268 30 470 708 792 296 554 254 484 652 666 792 526 764 778 428 282 44 540 778 722 484 72 310 792 554 338 100 792 792 778 470 16 470 268 484 142 380 156 296 442 282 442 86 694 456 750 512 254 16 156 394 484 722 750 750 666 30 156 394 554 792 512 666 142 156 16 44 554 792 428 666 268 30 16 72 44 282 554 792 380 16 156 470 72 380 792 554 540 156 128 366 380 142 694 778 778 540 72 470 282 44 484 708 540 778 128 338 540 778 296 58 778 540 540 778 44 282 694 456 778 366 778 72 442 680 72 30 778 310 554 792 310 72 44 282 380 142 470 708 778 540 310 72 470 680 778 540 352 114 44 428 778 540 86 282 526 764 778 778 778 58 380 30 708 470 30 778 470 708 30 666 414 652 792 554 72 310 470 708 114 352 30 792 254 16 30 268 352 540 526 764 296 58 86 324 540 778 750 512 30 268 456 764 282 44 44 778 142 380 114 456 58 296 380 142 680 442 268 30 778 778 498 736 86 324 142 380 540 778 470 708 750 512 268 30 142 380 142 380 792 554 394 156 792 484 282 394 156 394 254 366 156 30 792 554 722 484 30 16 554 792 324 86 282 142 666 498 142 324 540 778 694 456 540 778 380 142 708 470 414 652 44 282 722 512 736 498 142 380 540 778 652 414 708 142 778 540 380 142 778 540 296 58 778 540 338 100 778 540 380 142 484 722 380 338 792 554 470 708 58 296 484 722 778 540 282 44 142 380 142 380 778 540 296 58 142 380 540 778 338 100 722 778
48.74/50.29	c 50	Heap : 2 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
48.74/50.37	c 50	OK
48.74/50.37	c 50	OBJECTIVE BOUND: 0 <= _COST <= 642
48.74/50.37	c 50	SEARCHING: _COST <= 321
48.74/50.37	c 50	============================[ Search Statistics ]==============================
48.74/50.37	c 50	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.74/50.37	c 50	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
48.74/50.37	c 50	===============================================================================
48.74/50.37	c 50	|      2772 |   66986 10634370 31696821 |  3544790     2772     58 | 22.206 % |
50.30/51.51	c 51	|      2872 |   66986 10634370 31696821 |  3899269     2872     57 | 32.158 % |
50.89/52.12	c 52	|      3023 |   66986 10634370 31696821 |  4289195     3023     57 | 32.158 % |
52.18/53.45	c 53	|      3248 |   66986 10634370 31696821 |  4718115     3248     55 | 32.158 % |
55.15/56.47	c 56	|      3587 |   66986 10634370 31696821 |  5189927     3587     55 | 32.158 % |
58.22/59.56	c 59	|      4093 |   66986 10634370 31696821 |  5708919     4093     54 | 32.158 % |
62.48/63.83	c 64	|      4852 |   66986 10634370 31696821 |  6279811     4852     56 | 32.158 % |
68.92/70.35	c 70	|      5991 |   66986 10634370 31696821 |  6907792     5991     59 | 32.158 % |
78.22/79.74	c 80	|      7699 |   66986 10634370 31696821 |  7598572     7699     61 | 32.158 % |
93.68/95.33	c 95	|     10263 |   66986 10634370 31696821 |  8358429    10263     63 | 32.158 % |
105.02/106.94	c 107	|     14109 |   66986 10634370 31696821 |  9194272    14109     75 | 32.158 % |
154.55/156.93	c 157	|     19876 |   58417  4068225 12079233 | 10113699    19779     79 | 32.158 % |
177.83/180.45	c 180	|     28526 |   58417  4068225 12079233 | 11125069    28429     97 | 32.158 % |
223.89/226.97	c 227	|     41500 |   58417  4068225 12079233 | 12237576    41403     84 | 32.158 % |
274.71/278.27	c 278	|     60961 |   58417  4068225 12079233 | 13461334    60864     94 | 32.158 % |
379.13/383.69	c 384	|     90153 |   58417  4068225 12079233 | 14807467    90056     87 | 32.158 % |
521.88/527.74	c 528	|    133942 |   58417  4068225 12079233 | 16288214   133845     81 | 32.158 % |
725.46/733.24	c 733	|    199627 |   58417  4068225 12079233 | 17917035   199530     95 | 32.158 % |
1189.35/1201.59	c 1201	|    298153 |   58417  4068225 12079233 | 19708739   298056     93 | 32.158 % |
1944.50/1963.86	c 1964	|    445943 |   58417  4068225 12079233 | 21679613   445846     88 | 32.158 % |
3288.17/3319.65	c 3320	|    667629 |   58417  4068225 12079233 | 23847574   667532     89 | 32.158 % |
3376.93/3408.44	c 3408	===============================================================================
3376.93/3408.44	c 3408	restarts              : 31
3376.93/3408.44	c 3408	conflicts             : 688985        (206 /sec)
3376.93/3408.44	c 3408	decisions             : 834975        (1.05 % random) (249 /sec)
3376.93/3408.44	c 3408	propagations          : 1465561883     (437908 /sec)
3376.93/3408.44	c 3408	conflict literals     : 62615976       (22.56 % deleted)
3376.93/3408.44	c 3408	Memory used           : 556.97 MB
3376.93/3408.44	c 3408	CPU time              : 3346.73 s
3376.93/3408.44	c 3408	
3376.93/3408.44	c 3408	SATISFIABLE
3376.93/3408.47	c 3408	OK
3376.93/3408.47	c 3408	FOUND: _COST <= 321
3376.93/3408.47	c 3408	DECODING HOME/temp.out WITH HOME/temp.map
3376.93/3408.47	c 3408	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3377.00/3408.55	c 3408	Decoding HOME/temp.out
3377.31/3408.88	c 3409	OBJECTIVE _COST 321
3377.31/3408.88	o 321
3377.31/3408.90	v 324 86 254 16 366 128 792 554 792 554 282 44 722 484 554 792 282 44 394 156 554 792 554 792 44 282 554 792 366 128 428 338 792 30 338 100 680 442 86 324 16 16 456 778 750 512 338 72 380 142 296 156 30 16 338 666 352 44 554 792 554 792 254 16 114 352 554 792 394 72 778 268 310 72 540 778 694 456 792 554 114 352 540 778 456 792 778 394 694 456 722 484 722 554 792 512 442 708 442 778 722 484 554 792 338 100 394 156 156 394 470 708 540 778 128 394 254 16 72 310 792 30 708 442 680 512 296 58 296 58 554 792 554 792 484 722 456 694 722 666 792 526 16 254 414 652 86 324 380 142 142 324 694 456 30 268 540 778 338 128 428 30 750 498 526 778 282 44 694 456 456 736 778 540 156 394 680 708 540 778 380 142 792 652 778 44 750 512 540 778 282 142 442 680 470 708 778 540 310 72 338 100 100 338 470 708 778 380 30 268 792 554 394 156 268 30 778 540 366 128 778 540 778 778 30 778 722 484 442 680 792 554 792 554 338 100 338 366 254 114 708 470 58 296 142 142 380 142 456 694 778 470 470 708 30 470 142 380 442 680 442 680 470 708 778 540 380 142 44 282 484 722 142 380 310 72 540 778 540 778 72 310 736 498 282 44 268 30 324 86 324 86 142 380 128 366 792 554 414 652 30 268 366 156 100 338 708 512 554 792 792 414 722 484 142 156 268 30 128 792 470 792 366 254 722 114 540 708 114 352 540 778 366 128 30 268 394 156 128 366 142 380 114 352 498 736 282 44 100 338 526 764 456 694 72 310 540 778 100 338 778 540 310 72 778 540 366 128 296 58 366 554 30 142 470 708 86 324 484 722 778 540 282 44 142 380 142 380 778 540 296 58 142 380 540 778 338 100 16 792
3377.31/3408.90	c 3409	Heap : 1 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3379.97/3411.58	c 3411	OK
3379.97/3411.58	c 3411	OBJECTIVE BOUND: 0 <= _COST <= 321
3379.97/3411.58	c 3411	SEARCHING: _COST <= 160
3379.97/3411.58	c 3411	============================[ Search Statistics ]==============================
3379.97/3411.58	c 3411	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3379.97/3411.58	c 3411	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3379.97/3411.58	c 3411	===============================================================================
3379.97/3411.58	c 3411	|    688985 |   53021  2351729  6945612 |   783909   688543     91 | 32.158 % |
3381.28/3412.85	c 3413	|    689085 |   53021  2351729  6945612 |   862300   688643     91 | 38.424 % |
3382.18/3413.72	c 3414	|    689235 |   53021  2351729  6945612 |   948530   688793     91 | 38.424 % |
3383.88/3415.41	c 3415	|    689460 |   53021  2351729  6945612 |  1043383   689018     91 | 38.424 % |
3386.08/3417.66	c 3418	|    689797 |   53021  2351729  6945612 |  1147722   689355     91 | 38.424 % |
3387.88/3419.42	c 3419	|    690303 |   53021  2351729  6945612 |  1262494   689861     91 | 38.424 % |
3392.68/3424.28	c 3424	|    691062 |   53021  2351729  6945612 |  1388743   690620     91 | 38.424 % |
3397.27/3428.89	c 3429	|    692206 |   53021  2351729  6945612 |  1527618   691764     91 | 38.424 % |
3404.77/3436.39	c 3436	|    693914 |   53021  2351729  6945612 |  1680379   693472     91 | 38.424 % |
3418.76/3450.39	c 3450	|    696476 |   53021  2351729  6945612 |  1848417   696034     91 | 38.424 % |
3435.86/3467.46	c 3467	|    700320 |   53021  2351729  6945612 |  2033259   699878     91 | 38.424 % |
3467.24/3498.85	c 3499	|    706086 |   53021  2351729  6945612 |  2236585   705644     90 | 38.424 % |
3503.62/3535.22	c 3535	|    714735 |   53021  2351729  6945612 |  2460244   714293     90 | 38.424 % |
3567.21/3598.87	c 3599	|    727710 |   53021  2351729  6945612 |  2706268   727268     90 | 38.424 % |
3600.09/3631.71	c ERROR INTERRUPTED
3600.20/3631.89	c 3632	CPU 3596.84 (0.08 0.04 3596.76 3.3)
3600.20/3631.89	c 3632	END Sat Jul 12 16:48:09 2008

Verifier Data (download as text)

OK	268	2597
268 unsatisfied constraints, 2597 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-1112601-1215870457/watcher-1112601-1215870457 -o /tmp/evaluation-result-1112601-1215870457/solver-1112601-1215870457 -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-1112601-1215870457.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.18 1.51 0.68 4/81 15614
/proc/meminfo: memFree=1493248/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=18572 CPUtime=0
/proc/15614/stat : 15614 (runsolver) R 15612 15614 15476 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 43744846 19017728 292 996147200 4194304 4296836 548682068192 18446744073709551615 236437695783 0 0 4096 24578 0 0 0 17 0 0 0
/proc/15614/statm: 0 0 0 0 0 0 0

[startup+0.0726821 s]
/proc/loadavg: 2.18 1.51 0.68 4/81 15614
/proc/meminfo: memFree=1493248/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=12272 CPUtime=0
/proc/15614/stat : 15614 (sugar++) D 15612 15614 15476 0 -1 4194304 396 0 0 0 0 0 0 0 18 0 1 0 43744846 12566528 364 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 0 18446744071563608240 0 0 17 0 0 0
/proc/15614/statm: 3068 364 274 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272

[startup+0.101685 s]
/proc/loadavg: 2.18 1.51 0.68 4/81 15614
/proc/meminfo: memFree=1493248/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=12544 CPUtime=0
/proc/15614/stat : 15614 (sugar++) R 15612 15614 15476 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 43744846 12845056 432 996147200 4194304 4206940 548682068528 18446744073709551615 236437541601 0 0 4224 0 0 0 0 17 0 0 0
/proc/15614/statm: 3136 432 289 3 0 236 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12544

[startup+0.301703 s]
/proc/loadavg: 2.18 1.51 0.68 4/81 15614
/proc/meminfo: memFree=1493248/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=16740 CPUtime=0.07
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1219 128 0 0 5 2 0 0 18 0 1 0 43744846 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15614/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.701799 s]
/proc/loadavg: 2.18 1.51 0.68 4/81 15614
/proc/meminfo: memFree=1493248/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=16740 CPUtime=0.07
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1219 128 0 0 5 2 0 0 18 0 1 0 43744846 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15614/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+1.50284 s]
/proc/loadavg: 2.18 1.51 0.68 3/92 15636
/proc/meminfo: memFree=1484968/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=16740 CPUtime=0.52
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1296 5402 0 1 5 2 41 4 15 0 1 0 43744846 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15614/statm: 4185 1104 409 3 0 764 0
[pid=15627] ppid=15614 vsize=5356 CPUtime=0
/proc/15627/stat : 15627 (sh) S 15614 15614 15476 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43744940 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15627/statm: 1339 233 193 169 0 50 0
[pid=15628] ppid=15627 vsize=865240 CPUtime=0.53
/proc/15628/stat : 15628 (java) S 15627 15614 15476 0 -1 0 4243 0 1 0 51 2 0 0 19 0 9 0 43744940 886005760 3688 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15628/statm: 216310 3688 1732 9 0 210885 0
[pid=15628/tid=15629] ppid=15627 vsize=865240 CPUtime=0.38
/proc/15628/task/15629/stat : 15629 (java) R 15627 15614 15476 0 -1 64 2650 0 1 0 37 1 0 0 19 0 9 0 43744941 886005760 3688 996147200 134512640 134550740 4294955920 18446744073709551615 4125981763 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15630] ppid=15627 vsize=865240 CPUtime=0.03
/proc/15628/task/15630/stat : 15630 (java) S 15627 15614 15476 0 -1 64 542 0 0 0 3 0 0 0 16 0 9 0 43744943 886005760 3688 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15631] ppid=15627 vsize=865240 CPUtime=0
/proc/15628/task/15631/stat : 15631 (java) S 15627 15614 15476 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43744943 886005760 3688 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15632] ppid=15627 vsize=865240 CPUtime=0
/proc/15628/task/15632/stat : 15632 (java) S 15627 15614 15476 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43744943 886005760 3688 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15633] ppid=15627 vsize=865240 CPUtime=0
/proc/15628/task/15633/stat : 15633 (java) S 15627 15614 15476 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43744945 886005760 3688 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15634] ppid=15627 vsize=865240 CPUtime=0.1
/proc/15628/task/15634/stat : 15634 (java) S 15627 15614 15476 0 -1 64 359 0 0 0 10 0 0 0 16 0 9 0 43744945 886005760 3688 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15635] ppid=15627 vsize=865240 CPUtime=0
/proc/15628/task/15635/stat : 15635 (java) S 15627 15614 15476 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43744945 886005760 3688 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15636] ppid=15627 vsize=865240 CPUtime=0
/proc/15628/task/15636/stat : 15636 (java) S 15627 15614 15476 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43744945 886005760 3688 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 887336

[startup+3.10202 s]
/proc/loadavg: 2.18 1.51 0.68 3/92 15636
/proc/meminfo: memFree=1475304/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=16740 CPUtime=0.52
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1296 5402 0 1 5 2 41 4 15 0 1 0 43744846 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15614/statm: 4185 1104 409 3 0 764 0
[pid=15627] ppid=15614 vsize=5356 CPUtime=0
/proc/15627/stat : 15627 (sh) S 15614 15614 15476 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43744940 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15627/statm: 1339 233 193 169 0 50 0
[pid=15628] ppid=15627 vsize=869408 CPUtime=2.11
/proc/15628/stat : 15628 (java) S 15627 15614 15476 0 -1 0 7233 0 1 0 206 5 0 0 19 0 9 0 43744940 890273792 6376 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15628/statm: 217352 6376 2540 9 0 211927 0
[pid=15628/tid=15629] ppid=15627 vsize=869408 CPUtime=1.73
/proc/15628/task/15629/stat : 15629 (java) R 15627 15614 15476 0 -1 64 2757 0 1 0 172 1 0 0 25 0 9 0 43744941 890273792 6376 996147200 134512640 134550740 4294955920 18446744073709551615 4126593221 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15630] ppid=15627 vsize=869408 CPUtime=0.14
/proc/15628/task/15630/stat : 15630 (java) S 15627 15614 15476 0 -1 64 2320 0 0 0 13 1 0 0 16 0 9 0 43744943 890273792 6376 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15631] ppid=15627 vsize=869408 CPUtime=0
/proc/15628/task/15631/stat : 15631 (java) S 15627 15614 15476 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43744943 890273792 6376 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15632] ppid=15627 vsize=869408 CPUtime=0
/proc/15628/task/15632/stat : 15632 (java) S 15627 15614 15476 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43744943 890273792 6376 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15633] ppid=15627 vsize=869408 CPUtime=0
/proc/15628/task/15633/stat : 15633 (java) S 15627 15614 15476 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43744945 890273792 6376 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15634] ppid=15627 vsize=869408 CPUtime=0.2
/proc/15628/task/15634/stat : 15634 (java) S 15627 15614 15476 0 -1 64 1463 0 0 0 20 0 0 0 15 0 9 0 43744945 890273792 6376 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15635] ppid=15627 vsize=869408 CPUtime=0
/proc/15628/task/15635/stat : 15635 (java) S 15627 15614 15476 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43744945 890273792 6376 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15636] ppid=15627 vsize=869408 CPUtime=0
/proc/15628/task/15636/stat : 15636 (java) S 15627 15614 15476 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43744945 890273792 6376 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 891504

[startup+6.30241 s]
/proc/loadavg: 2.40 1.57 0.71 3/92 15636
/proc/meminfo: memFree=1464808/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=16740 CPUtime=0.52
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1297 5402 0 1 5 2 41 4 15 0 1 0 43744846 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15614/statm: 4185 1104 409 3 0 764 0
[pid=15627] ppid=15614 vsize=5356 CPUtime=0
/proc/15627/stat : 15627 (sh) S 15614 15614 15476 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43744940 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15627/statm: 1339 233 193 169 0 50 0
[pid=15628] ppid=15627 vsize=869520 CPUtime=5.27
/proc/15628/stat : 15628 (java) S 15627 15614 15476 0 -1 0 9425 0 1 0 515 12 0 0 19 0 9 0 43744940 890388480 8247 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15628/statm: 217380 8247 2566 9 0 211927 0
[pid=15628/tid=15629] ppid=15627 vsize=869520 CPUtime=4.47
/proc/15628/task/15629/stat : 15629 (java) R 15627 15614 15476 0 -1 64 3126 0 1 0 442 5 0 0 25 0 9 0 43744941 890388480 8247 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15630] ppid=15627 vsize=869520 CPUtime=0.47
/proc/15628/task/15630/stat : 15630 (java) S 15627 15614 15476 0 -1 64 4082 0 0 0 42 5 0 0 15 0 9 0 43744943 890388480 8247 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15631] ppid=15627 vsize=869520 CPUtime=0
/proc/15628/task/15631/stat : 15631 (java) S 15627 15614 15476 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43744943 890388480 8247 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15632] ppid=15627 vsize=869520 CPUtime=0
/proc/15628/task/15632/stat : 15632 (java) S 15627 15614 15476 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43744943 890388480 8247 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15633] ppid=15627 vsize=869520 CPUtime=0
/proc/15628/task/15633/stat : 15633 (java) S 15627 15614 15476 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43744945 890388480 8247 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15634] ppid=15627 vsize=869520 CPUtime=0.3
/proc/15628/task/15634/stat : 15634 (java) S 15627 15614 15476 0 -1 64 1524 0 0 0 29 1 0 0 16 0 9 0 43744945 890388480 8247 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15635] ppid=15627 vsize=869520 CPUtime=0
/proc/15628/task/15635/stat : 15635 (java) S 15627 15614 15476 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43744945 890388480 8247 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15636] ppid=15627 vsize=869520 CPUtime=0
/proc/15628/task/15636/stat : 15636 (java) S 15627 15614 15476 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43744945 890388480 8247 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 891616

[startup+12.7011 s]
/proc/loadavg: 2.37 1.58 0.71 3/92 15636
/proc/meminfo: memFree=1415400/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=16740 CPUtime=0.53
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1297 5402 0 1 6 2 41 4 16 0 1 0 43744846 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15614/statm: 4185 1104 409 3 0 764 0
[pid=15627] ppid=15614 vsize=5356 CPUtime=0
/proc/15627/stat : 15627 (sh) S 15614 15614 15476 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43744940 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15627/statm: 1339 233 193 169 0 50 0
[pid=15628] ppid=15627 vsize=869520 CPUtime=11.55
/proc/15628/stat : 15628 (java) S 15627 15614 15476 0 -1 0 10627 0 1 0 1104 51 0 0 19 0 9 0 43744940 890388480 8253 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15628/statm: 217380 8253 2566 9 0 211927 0
[pid=15628/tid=15629] ppid=15627 vsize=869520 CPUtime=10.42
/proc/15628/task/15629/stat : 15629 (java) R 15627 15614 15476 0 -1 64 4323 0 1 0 1005 37 0 0 25 0 9 0 43744941 890388480 8253 996147200 134512640 134550740 4294955920 18446744073709551615 102064721 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15630] ppid=15627 vsize=869520 CPUtime=0.79
/proc/15628/task/15630/stat : 15630 (java) S 15627 15614 15476 0 -1 64 4082 0 0 0 68 11 0 0 16 0 9 0 43744943 890388480 8253 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15631] ppid=15627 vsize=869520 CPUtime=0
/proc/15628/task/15631/stat : 15631 (java) S 15627 15614 15476 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43744943 890388480 8253 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15632] ppid=15627 vsize=869520 CPUtime=0
/proc/15628/task/15632/stat : 15632 (java) S 15627 15614 15476 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43744943 890388480 8253 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15633] ppid=15627 vsize=869520 CPUtime=0
/proc/15628/task/15633/stat : 15633 (java) S 15627 15614 15476 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43744945 890388480 8253 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15634] ppid=15627 vsize=869520 CPUtime=0.31
/proc/15628/task/15634/stat : 15634 (java) S 15627 15614 15476 0 -1 64 1529 0 0 0 30 1 0 0 16 0 9 0 43744945 890388480 8253 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15635] ppid=15627 vsize=869520 CPUtime=0
/proc/15628/task/15635/stat : 15635 (java) S 15627 15614 15476 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43744945 890388480 8253 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15636] ppid=15627 vsize=869520 CPUtime=0
/proc/15628/task/15636/stat : 15636 (java) S 15627 15614 15476 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43744945 890388480 8253 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.08
Current children cumulated vsize (KiB) 891616

[startup+25.5026 s]
/proc/loadavg: 2.35 1.61 0.74 3/92 15636
/proc/meminfo: memFree=1278248/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=16740 CPUtime=0.53
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1297 5402 0 1 6 2 41 4 16 0 1 0 43744846 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15614/statm: 4185 1104 409 3 0 764 0
[pid=15627] ppid=15614 vsize=5356 CPUtime=0
/proc/15627/stat : 15627 (sh) S 15614 15614 15476 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43744940 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15627/statm: 1339 233 193 169 0 50 0
[pid=15628] ppid=15627 vsize=869520 CPUtime=24.16
/proc/15628/stat : 15628 (java) S 15627 15614 15476 0 -1 0 13658 0 1 0 2258 158 0 0 19 0 9 0 43744940 890388480 8253 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15628/statm: 217380 8253 2566 9 0 211927 0
[pid=15628/tid=15629] ppid=15627 vsize=869520 CPUtime=22.24
/proc/15628/task/15629/stat : 15629 (java) R 15627 15614 15476 0 -1 64 7354 0 1 0 2096 128 0 0 25 0 9 0 43744941 890388480 8253 996147200 134512640 134550740 4294955920 18446744073709551615 4127055216 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15630] ppid=15627 vsize=869520 CPUtime=1.58
/proc/15628/task/15630/stat : 15630 (java) S 15627 15614 15476 0 -1 64 4082 0 0 0 130 28 0 0 16 0 9 0 43744943 890388480 8253 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15631] ppid=15627 vsize=869520 CPUtime=0
/proc/15628/task/15631/stat : 15631 (java) S 15627 15614 15476 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43744943 890388480 8253 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15628/tid=15632] ppid=15627 vsize=869520 CPUtime=0
/proc/15628/task/15632/stat : 15632 (java) S 15627 15614 15476 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43744943 890388480 8253 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=15614] ppid=15612 vsize=17136 CPUtime=29.08
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1706 29053 0 4 8 3 2696 201 16 0 1 0 43744846 17547264 1198 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15614/statm: 4284 1198 414 3 0 863 0
[pid=15637] ppid=15614 vsize=532128 CPUtime=2864.96
/proc/15637/stat : 15637 (minisat-inc) R 15614 15614 15476 0 -1 4194304 131362 0 0 0 286394 102 0 0 25 0 1 0 43747761 544899072 131307 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15637/statm: 133032 131307 80 151 0 132878 0
Current children cumulated CPU time (s) 2894.04
Current children cumulated vsize (KiB) 549264

[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 15665
/proc/meminfo: memFree=729264/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=17136 CPUtime=29.08
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1706 29053 0 4 8 3 2696 201 16 0 1 0 43744846 17547264 1198 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15614/statm: 4284 1198 414 3 0 863 0
[pid=15637] ppid=15614 vsize=535964 CPUtime=2924.39
/proc/15637/stat : 15637 (minisat-inc) R 15614 15614 15476 0 -1 4194304 132307 0 0 0 292336 103 0 0 25 0 1 0 43747761 548827136 132252 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15637/statm: 133991 132252 80 151 0 133837 0
Current children cumulated CPU time (s) 2953.47
Current children cumulated vsize (KiB) 553100

[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 15665
/proc/meminfo: memFree=725232/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=17136 CPUtime=29.08
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1706 29053 0 4 8 3 2696 201 16 0 1 0 43744846 17547264 1198 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15614/statm: 4284 1198 414 3 0 863 0
[pid=15637] ppid=15614 vsize=540172 CPUtime=2983.83
/proc/15637/stat : 15637 (minisat-inc) R 15614 15614 15476 0 -1 4194304 133304 0 0 0 298279 104 0 0 25 0 1 0 43747761 553136128 133249 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15637/statm: 135043 133249 80 151 0 134889 0
Current children cumulated CPU time (s) 3012.91
Current children cumulated vsize (KiB) 557308

[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 15665
/proc/meminfo: memFree=721648/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=17136 CPUtime=29.08
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1706 29053 0 4 8 3 2696 201 16 0 1 0 43744846 17547264 1198 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15614/statm: 4284 1198 414 3 0 863 0
[pid=15637] ppid=15614 vsize=543512 CPUtime=3043.27
/proc/15637/stat : 15637 (minisat-inc) R 15614 15614 15476 0 -1 4194304 134172 0 0 0 304222 105 0 0 25 0 1 0 43747761 556556288 134117 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/15637/statm: 135878 134117 80 151 0 135724 0
Current children cumulated CPU time (s) 3072.35
Current children cumulated vsize (KiB) 560648

[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 15665
/proc/meminfo: memFree=718000/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=17136 CPUtime=29.08
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1706 29053 0 4 8 3 2696 201 16 0 1 0 43744846 17547264 1198 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15614/statm: 4284 1198 414 3 0 863 0
[pid=15637] ppid=15614 vsize=547240 CPUtime=3102.71
/proc/15637/stat : 15637 (minisat-inc) R 15614 15614 15476 0 -1 4194304 135075 0 0 0 310165 106 0 0 25 0 1 0 43747761 560373760 135020 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/15637/statm: 136810 135020 80 151 0 136656 0
Current children cumulated CPU time (s) 3131.79
Current children cumulated vsize (KiB) 564376

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 15665
/proc/meminfo: memFree=714288/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=17136 CPUtime=29.08
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1706 29053 0 4 8 3 2696 201 16 0 1 0 43744846 17547264 1198 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15614/statm: 4284 1198 414 3 0 863 0
[pid=15637] ppid=15614 vsize=550672 CPUtime=3162.15
/proc/15637/stat : 15637 (minisat-inc) R 15614 15614 15476 0 -1 4194304 135953 0 0 0 316107 108 0 0 25 0 1 0 43747761 563888128 135898 996147200 134512640 135134323 4294956192 18446744073709551615 134529607 0 0 4096 3 0 0 0 17 1 0 0
/proc/15637/statm: 137668 135898 80 151 0 137514 0
Current children cumulated CPU time (s) 3191.23
Current children cumulated vsize (KiB) 567808

[startup+3282.3 s]
/proc/loadavg: 1.95 1.98 1.91 3/82 15703
/proc/meminfo: memFree=1018176/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=17136 CPUtime=29.08
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1706 29053 0 4 8 3 2696 201 16 0 1 0 43744846 17547264 1198 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15614/statm: 4284 1198 414 3 0 863 0
[pid=15637] ppid=15614 vsize=554296 CPUtime=3221.81
/proc/15637/stat : 15637 (minisat-inc) R 15614 15614 15476 0 -1 4194304 136860 0 0 0 322069 112 0 0 25 0 1 0 43747761 567599104 136805 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15637/statm: 138574 136805 80 151 0 138420 0
Current children cumulated CPU time (s) 3250.89
Current children cumulated vsize (KiB) 571432

[startup+3342.3 s]
/proc/loadavg: 1.98 1.98 1.91 3/82 15703
/proc/meminfo: memFree=1012800/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=17136 CPUtime=29.08
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1706 29053 0 4 8 3 2696 201 16 0 1 0 43744846 17547264 1198 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15614/statm: 4284 1198 414 3 0 863 0
[pid=15637] ppid=15614 vsize=559484 CPUtime=3281.78
/proc/15637/stat : 15637 (minisat-inc) R 15614 15614 15476 0 -1 4194304 138176 0 0 0 328065 113 0 0 25 0 1 0 43747761 572911616 138121 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15637/statm: 139871 138121 80 151 0 139717 0
Current children cumulated CPU time (s) 3310.86
Current children cumulated vsize (KiB) 576620

[startup+3402.31 s]
/proc/loadavg: 1.99 1.98 1.91 3/82 15703
/proc/meminfo: memFree=1002368/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=17136 CPUtime=29.08
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1706 29053 0 4 8 3 2696 201 16 0 1 0 43744846 17547264 1198 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15614/statm: 4284 1198 414 3 0 863 0
[pid=15637] ppid=15614 vsize=569676 CPUtime=3341.76
/proc/15637/stat : 15637 (minisat-inc) R 15614 15614 15476 0 -1 4194304 140740 0 0 0 334059 117 0 0 25 0 1 0 43747761 583348224 140685 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15637/statm: 142419 140685 80 151 0 142265 0
Current children cumulated CPU time (s) 3370.84
Current children cumulated vsize (KiB) 586812

[startup+3462.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/82 15713
/proc/meminfo: memFree=999872/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=17136 CPUtime=29.51
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1778 33476 0 5 8 4 2735 204 16 0 1 0 43744846 17547264 1198 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15614/statm: 4284 1198 414 3 0 863 0
[pid=15637] ppid=15614 vsize=571848 CPUtime=3401.25
/proc/15637/stat : 15637 (minisat-inc) R 15614 15614 15476 0 -1 4194304 141275 0 0 0 340008 117 0 0 25 0 1 0 43747761 585572352 141218 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/15637/statm: 142962 141218 80 151 0 142808 0
Current children cumulated CPU time (s) 3430.76
Current children cumulated vsize (KiB) 588984

[startup+3522.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/82 15713
/proc/meminfo: memFree=999552/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=17136 CPUtime=29.51
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1778 33476 0 5 8 4 2735 204 16 0 1 0 43744846 17547264 1198 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15614/statm: 4284 1198 414 3 0 863 0
[pid=15637] ppid=15614 vsize=573536 CPUtime=3461.22
/proc/15637/stat : 15637 (minisat-inc) R 15614 15614 15476 0 -1 4194304 141349 0 0 0 346005 117 0 0 25 0 1 0 43747761 587300864 141292 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15637/statm: 143384 141292 80 151 0 143230 0
Current children cumulated CPU time (s) 3490.73
Current children cumulated vsize (KiB) 590672

[startup+3582.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/82 15713
/proc/meminfo: memFree=999360/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=17136 CPUtime=29.51
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1778 33476 0 5 8 4 2735 204 16 0 1 0 43744846 17547264 1198 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15614/statm: 4284 1198 414 3 0 863 0
[pid=15637] ppid=15614 vsize=573536 CPUtime=3521.2
/proc/15637/stat : 15637 (minisat-inc) R 15614 15614 15476 0 -1 4194304 141364 0 0 0 352002 118 0 0 25 0 1 0 43747761 587300864 141307 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15637/statm: 143384 141307 80 151 0 143230 0
Current children cumulated CPU time (s) 3550.71
Current children cumulated vsize (KiB) 590672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3631.7 s]
/proc/loadavg: 1.99 1.98 1.91 3/82 15713
/proc/meminfo: memFree=999168/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=17136 CPUtime=29.51
/proc/15614/stat : 15614 (sugar++) S 15612 15614 15476 0 -1 4194304 1778 33476 0 5 8 4 2735 204 16 0 1 0 43744846 17547264 1198 996147200 4194304 4206940 548682068528 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15614/statm: 4284 1198 414 3 0 863 0
[pid=15637] ppid=15614 vsize=573536 CPUtime=3570.58
/proc/15637/stat : 15637 (minisat-inc) R 15614 15614 15476 0 -1 4194304 141378 0 0 0 356940 118 0 0 25 0 1 0 43747761 587300864 141321 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15637/statm: 143384 141321 80 151 0 143230 0
Current children cumulated CPU time (s) 3600.09
Current children cumulated vsize (KiB) 590672

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

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

[startup+3631.82 s]
/proc/loadavg: 1.99 1.98 1.91 3/82 15713
/proc/meminfo: memFree=999168/2055920 swapFree=4192812/4192956
[pid=15614] ppid=15612 vsize=17136 CPUtime=3600.2
/proc/15614/stat : 15614 (sugar++) R 15612 15614 15476 0 -1 4194304 1802 174854 0 5 8 6 359676 330 16 0 1 0 43744846 17547264 1199 996147200 4194304 4206940 548682068528 18446744073709551615 236437869609 0 0 4224 16386 0 0 0 17 0 0 0
/proc/15614/statm: 4284 1199 415 3 0 863 0
Current children cumulated CPU time (s) 3600.2
Current children cumulated vsize (KiB) 17136

Child status: 0
Real time (s): 3631.9
CPU time (s): 3600.31
CPU user time (s): 3596.85
CPU system time (s): 3.45647
CPU usage (%): 99.1302
Max. virtual memory (cumulated for all children) (KiB): 891692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.85
system time used= 3.45647
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176711
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44617
involuntary context switches= 117940

runsolver used 4.88026 second user time and 11.4893 second system time

The end

Launcher Data (download as text)

Begin job on node62 at 2008-07-12 15:47:37
IDJOB=1112601
IDBENCH=61443
IDSOLVER=367
FILE ID=node62/1112601-1215870457
PBS_JOBID= 7903559
Free space on /tmp= 65256 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/rlfapScens/normalized-scen7.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-1112601-1215870457/watcher-1112601-1215870457 -o /tmp/evaluation-result-1112601-1215870457/solver-1112601-1215870457 -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-1112601-1215870457.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 4f1026eda97064116de2bf3bc78ace12
RANDOM SEED=1443389665

node62.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.232
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.232
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:       1493920 kB
Buffers:          1820 kB
Cached:          34016 kB
SwapCached:          0 kB
Active:         500960 kB
Inactive:         3540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1493920 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1388 kB
Writeback:           0 kB
Mapped:         488816 kB
Slab:            41652 kB
Committed_AS:   910108 kB
PageTables:       2824 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65252 MiB
End job on node62 at 2008-07-12 16:48:11