Trace number 1112728

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar v1.13+minisatOPTIMUM1 45.6201 47.4453

General information on the benchmark

Namecsp/os-gp/
normalized-gp10-10-1091.xml
MD5SUM9f54fd75280d694b49452e249c1f9968
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark16.0946
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints1000
Maximum constraint arity2
Maximum domain size1092
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1000
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.04	c 0	Sugar v1-13 + HOME/minisat
0.00/0.04	c 0	BEGIN Sat Jul 12 16:34:33 2008
0.00/0.04	c 0	PID 19317
0.00/0.05	c 0	HOST node70.alineos.net
0.00/0.05	c 0	CONVERTING HOME/instance-1112728-1215873272.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-1112728-1215873272.xml' 'HOME/temp.csp'
0.03/0.44	c 0	2 domains, 101 variables, 2 predicates, 0 relations, 1000 constraints
0.03/0.52	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.52	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.42/1.06	c 1	Parsing HOME/temp.csp
0.61/1.21	c 1	parsed 1105 expressions
0.61/1.21	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.61/1.24	c 1	MAX CSP: 1000 constraints
0.61/1.24	c 1	Converting to clausal form CSP
0.61/1.28	c 1	converted 211 (10%) expressions
0.70/1.32	c 1	converted 422 (20%) expressions
0.70/1.35	c 1	converted 633 (30%) expressions
0.81/1.43	c 1	converted 844 (40%) expressions
0.81/1.44	c 1	converted 1054 (50%) expressions
0.81/1.46	c 1	converted 1265 (60%) expressions
0.81/1.46	c 1	converted 1476 (70%) expressions
0.81/1.47	c 1	converted 1687 (80%) expressions
0.81/1.48	c 1	converted 1898 (90%) expressions
0.90/1.59	c 1	converted 2108 (100%) expressions
0.90/1.59	c 1	CSP : 2101 integers, 0 booleans, 2999 clauses, largest domain size 1501
0.90/1.59	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.90/1.59	c 1	Propagation in CSP
1.00/1.65	c 1	994 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.00/1.65	c 1	CSP : 2101 integers, 0 booleans, 2999 clauses, largest domain size 1092
1.00/1.65	c 1	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.00/1.65	c 1	Simplifing CSP by introducing new Boolean variables
1.00/1.67	c 1	CSP : 2101 integers, 1800 booleans, 4799 clauses, largest domain size 1092
1.00/1.67	c 1	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.10/1.71	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.20/1.87	c 2	211 (10%) CSP integer variables are encoded (109000 clauses, 1631059 bytes)
1.20/1.87	c 2	421 (20%) CSP integer variables are encoded (109000 clauses, 1631059 bytes)
1.20/1.87	c 2	631 (30%) CSP integer variables are encoded (109000 clauses, 1631059 bytes)
1.20/1.87	c 2	841 (40%) CSP integer variables are encoded (109000 clauses, 1631059 bytes)
1.20/1.87	c 2	1051 (50%) CSP integer variables are encoded (109000 clauses, 1631059 bytes)
1.20/1.88	c 2	1261 (60%) CSP integer variables are encoded (117637 clauses, 1777888 bytes)
1.20/1.89	c 2	1471 (70%) CSP integer variables are encoded (119763 clauses, 1814030 bytes)
1.20/1.89	c 2	1681 (80%) CSP integer variables are encoded (122360 clauses, 1858179 bytes)
1.20/1.90	c 2	1891 (90%) CSP integer variables are encoded (123887 clauses, 1884138 bytes)
1.30/1.90	c 2	2101 (100%) CSP integer variables are encoded (125983 clauses, 1919770 bytes)
1.79/2.43	c 2	480 (10%) CSP clauses are encoded (377825 clauses, 7364358 bytes)
2.38/3.05	c 3	960 (20%) CSP clauses are encoded (698922 clauses, 14762028 bytes)
2.97/3.69	c 3	1440 (30%) CSP clauses are encoded (1017934 clauses, 22118509 bytes)
3.57/4.29	c 4	1920 (40%) CSP clauses are encoded (1328092 clauses, 29274923 bytes)
4.25/4.94	c 5	2400 (50%) CSP clauses are encoded (1652475 clauses, 36767461 bytes)
4.76/5.46	c 5	2880 (60%) CSP clauses are encoded (1915811 clauses, 43000209 bytes)
5.93/6.65	c 6	3360 (70%) CSP clauses are encoded (2434121 clauses, 55555190 bytes)
6.92/7.65	c 7	3840 (80%) CSP clauses are encoded (2939781 clauses, 67897730 bytes)
7.02/7.79	c 7	4320 (90%) CSP clauses are encoded (3005749 clauses, 69484666 bytes)
7.40/8.17	c 8	4799 (100%) CSP clauses are encoded (3198349 clauses, 74162216 bytes)
7.40/8.17	c 8	4799 CSP clauses encoded
7.40/8.17	c 8	Writing map file : HOME/temp.map
7.40/8.19	c 8	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
7.40/8.19	c 8	SAT : 129883 SAT variables, 3198349 SAT clauses, 74162216 bytes
7.40/8.19	c 8	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
7.49/8.28	c 8	OBJECTIVE minimize _COST
7.49/8.28	c 8	OBJECTIVE BOUND: 0 <= _COST <= 
7.49/8.28	c 8	SEARCHING: _COST <= 500
7.49/8.28	c 8	SOLVING HOME/temp.cnf
7.49/8.28	c 8	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
7.49/8.28	c 8	This is MiniSat 2.0 beta
7.49/8.28	c 8	WARNING: for repeatability, setting FPU to use double precision
7.49/8.28	c 8	============================[ Problem Statistics ]=============================
7.49/8.28	c 8	|                                                                             |
7.49/8.28	c 8	|  Number of variables:  129883                                               |
7.49/8.28	c 8	|  Number of clauses:    3198350                                              |
9.14/9.96	c 10	|  Parsing time:         1.48         s                                       |
9.83/10.61	c 10	============================[ Search Statistics ]==============================
9.83/10.61	c 10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.83/10.61	c 10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.83/10.61	c 10	===============================================================================
9.83/10.61	c 10	|         0 |  124883  2725797  8027242 |   908599        0    nan |  0.000 % |
10.03/10.86	c 11	===============================================================================
10.03/10.87	c 11	restarts              : 1
10.03/10.87	c 11	conflicts             : 0              (0 /sec)
10.03/10.87	c 11	decisions             : 1297           (1.46 % random) (542 /sec)
10.03/10.87	c 11	propagations          : 129883         (54239 /sec)
10.03/10.87	c 11	conflict literals     : 0              ( nan % deleted)
10.03/10.87	c 11	Memory used           : 134.14 MB
10.03/10.87	c 11	CPU time              : 2.39464 s
10.03/10.87	c 11	
10.14/10.92	c 11	SATISFIABLE
10.14/10.94	c 11	FOUND: _COST <= 500
10.14/10.94	s SATISFIABLE
10.14/10.94	c 11	DECODING HOME/temp.out WITH HOME/temp.map
10.14/10.94	c 11	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
10.20/11.14	c 11	Decoding HOME/temp.out
10.20/11.57	c 11	OBJECTIVE _COST 500
10.20/11.57	o 500
10.20/11.57	v 1091 396 1033 55 3 713 141 162 581 9 22 113 11 12 673 20 21 1083 728 1091 23 1057 12 15 37 1085 532 28 30 527 36 395 412 1046 1082 1090 991 1090 930 1088 415 1085 1090 1090 913 46 999 1090 1090 1039 1090 774 1089 518 1072 1087 1050 1090 1090 1090 1016 1077 437 1003 1090 1090 1090 1089 896 990 1090 1088 1079 1086 1090 1090 990 1091 954 1000 1091 1086 709 1090 1090 1089 349 751 1087 944 1090 856 1035 906 851 1090 1090 1085 783 1090 1090
10.20/11.58	c 11	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
10.20/11.59	c 11	OBJECTIVE BOUND: 0 <= _COST <= 500
10.20/11.59	c 11	SEARCHING: _COST <= 250
10.20/11.59	c 11	SOLVING HOME/temp.cnf
10.72/11.85	c 11	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
10.72/11.85	c 11	This is MiniSat 2.0 beta
10.72/11.85	c 11	WARNING: for repeatability, setting FPU to use double precision
10.72/11.85	c 11	============================[ Problem Statistics ]=============================
10.72/11.85	c 11	|                                                                             |
10.72/11.85	c 11	|  Number of variables:  129883                                               |
10.72/11.85	c 11	|  Number of clauses:    3198350                                              |
12.44/13.67	c 13	|  Parsing time:         1.60         s                                       |
13.44/14.60	c 14	============================[ Search Statistics ]==============================
13.44/14.60	c 14	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.44/14.60	c 14	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
13.44/14.60	c 14	===============================================================================
13.44/14.60	c 14	|         0 |  122133  2436672  7167867 |   812224        0    nan |  0.000 % |
13.64/14.86	c 14	===============================================================================
13.64/14.86	c 15	restarts              : 1
13.64/14.86	c 15	conflicts             : 0              (0 /sec)
13.64/14.86	c 15	decisions             : 754            (1.46 % random) (271 /sec)
13.64/14.86	c 15	propagations          : 129883         (46660 /sec)
13.64/14.86	c 15	conflict literals     : 0              ( nan % deleted)
13.64/14.86	c 15	Memory used           : 134.82 MB
13.64/14.86	c 15	CPU time              : 2.78358 s
13.64/14.86	c 15	
13.73/14.91	c 15	SATISFIABLE
13.73/14.94	c 15	FOUND: _COST <= 250
13.73/14.94	c 15	DECODING HOME/temp.out WITH HOME/temp.map
13.73/14.94	c 15	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
13.78/15.02	c 15	Decoding HOME/temp.out
13.78/15.24	c 15	OBJECTIVE _COST 250
13.78/15.24	o 250
13.78/15.25	v 1091 893 7 807 1 15 570 336 591 1078 14 109 6 7 41 0 10 1 1032 391 96 16 0 36 597 1087 112 3 5 11 111 2 3 957 8 6 857 7 20 17 181 3 9 1002 157 335 12 10 11 104 156 1091 20 49 22 1012 630 671 723 1077 1016 879 495 1003 1090 1090 1090 1089 837 977 1090 1088 1079 1086 1090 1090 990 672 895 987 861 1086 767 1090 1090 1089 674 759 1087 244 1090 692 1035 622 357 1090 1090 1085 724 1077 1090
13.78/15.25	c 15	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
14.08/15.31	c 15	OBJECTIVE BOUND: 0 <= _COST <= 250
14.08/15.31	c 15	SEARCHING: _COST <= 125
14.08/15.31	c 15	SOLVING HOME/temp.cnf
14.08/15.31	c 15	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
14.08/15.31	c 15	This is MiniSat 2.0 beta
14.08/15.31	c 15	WARNING: for repeatability, setting FPU to use double precision
14.08/15.31	c 15	============================[ Problem Statistics ]=============================
14.08/15.31	c 15	|                                                                             |
14.08/15.31	c 15	|  Number of variables:  129883                                               |
14.08/15.31	c 15	|  Number of clauses:    3198350                                              |
15.87/17.13	c 17	|  Parsing time:         1.61         s                                       |
16.86/18.14	c 18	============================[ Search Statistics ]==============================
16.86/18.14	c 18	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.86/18.14	c 18	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
16.86/18.14	c 18	===============================================================================
16.86/18.14	c 18	|         0 |  120383  2205047  6478117 |   735015        0    nan |  0.000 % |
17.16/18.44	c 18	===============================================================================
17.16/18.45	c 18	restarts              : 1
17.16/18.45	c 18	conflicts             : 6              (2 /sec)
17.16/18.45	c 18	decisions             : 668            (1.05 % random) (228 /sec)
17.16/18.45	c 18	propagations          : 179988         (61544 /sec)
17.16/18.45	c 18	conflict literals     : 123            (10.22 % deleted)
17.16/18.45	c 18	Memory used           : 135.31 MB
17.16/18.45	c 18	CPU time              : 2.92455 s
17.16/18.45	c 18	
17.27/18.50	c 18	SATISFIABLE
17.27/18.52	c 18	FOUND: _COST <= 125
17.27/18.52	c 18	DECODING HOME/temp.out WITH HOME/temp.map
17.27/18.52	c 18	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
17.36/18.61	c 18	Decoding HOME/temp.out
17.75/19.03	c 19	OBJECTIVE _COST 125
17.75/19.03	o 125
17.75/19.03	v 1091 399 0 79 4 765 58 165 595 10 34 76 2 3 970 13 14 19 1025 358 35 28 3 6 49 19 539 21 1080 23 48 4 27 1045 32 41 82 42 864 43 182 5 30 42 792 98 997 996 1090 46 1089 785 197 199 1068 1087 16 59 61 106 107 11 1091 957 47 56 57 60 62 257 858 25 31 43 48 97 438 577 727 1000 859 1086 767 1090 1090 1085 356 664 1086 944 1090 584 1035 772 552 1086 1090 1085 287 1090 1090
17.75/19.04	c 19	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
17.75/19.06	c 19	OBJECTIVE BOUND: 0 <= _COST <= 125
17.75/19.06	c 19	SEARCHING: _COST <= 62
17.75/19.06	c 19	SOLVING HOME/temp.cnf
17.75/19.06	c 19	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
17.82/19.16	c 19	This is MiniSat 2.0 beta
17.82/19.16	c 19	WARNING: for repeatability, setting FPU to use double precision
17.82/19.16	c 19	============================[ Problem Statistics ]=============================
17.82/19.16	c 19	|                                                                             |
17.82/19.16	c 19	|  Number of variables:  129883                                               |
17.82/19.16	c 19	|  Number of clauses:    3198350                                              |
19.65/21.00	c 21	|  Parsing time:         1.62         s                                       |
20.55/22.00	c 22	============================[ Search Statistics ]==============================
20.55/22.00	c 22	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.55/22.00	c 22	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
20.55/22.00	c 22	===============================================================================
20.55/22.00	c 22	|         0 |  119052  2064982  6061852 |   688327        0    nan |  0.000 % |
20.95/22.34	c 22	===============================================================================
20.95/22.34	c 22	restarts              : 1
20.95/22.34	c 22	conflicts             : 17             (6 /sec)
20.95/22.34	c 22	decisions             : 461            (1.08 % random) (156 /sec)
20.95/22.34	c 22	propagations          : 234365         (79297 /sec)
20.95/22.34	c 22	conflict literals     : 344            (6.78 % deleted)
20.95/22.34	c 22	Memory used           : 135.32 MB
20.95/22.34	c 22	CPU time              : 2.95555 s
20.95/22.34	c 22	
21.04/22.40	c 22	SATISFIABLE
21.04/22.42	c 22	FOUND: _COST <= 62
21.04/22.42	c 22	DECODING HOME/temp.out WITH HOME/temp.map
21.04/22.42	c 22	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
21.07/22.50	c 22	Decoding HOME/temp.out
21.07/22.73	c 22	OBJECTIVE _COST 62
21.07/22.73	o 62
21.07/22.74	v 1091 400 368 990 1 7 721 756 589 1076 0 789 1072 3 8 6 63 0 726 65 1075 46 1060 66 570 1063 80 1078 0 8 79 0 1001 945 1060 1 845 2 6 3 167 7 1 0 148 329 996 4 1089 13 1088 87 370 372 1069 1065 955 1088 1090 1089 4 1071 374 91 1090 1085 1088 1086 179 970 1089 585 1073 1085 569 1090 742 5 432 651 843 1085 2 1 326 327 538 424 1081 823 1090 588 1004 187 329 1089 1090 1080 781 1090 1090
21.07/22.74	c 22	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
21.07/22.82	c 22	OBJECTIVE BOUND: 0 <= _COST <= 62
21.07/22.82	c 22	SEARCHING: _COST <= 31
21.07/22.82	c 22	SOLVING HOME/temp.cnf
21.07/22.82	c 22	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
21.07/22.82	c 22	This is MiniSat 2.0 beta
21.07/22.82	c 22	WARNING: for repeatability, setting FPU to use double precision
21.07/22.82	c 22	============================[ Problem Statistics ]=============================
21.07/22.82	c 22	|                                                                             |
21.07/22.82	c 22	|  Number of variables:  129883                                               |
21.07/22.82	c 22	|  Number of clauses:    3198350                                              |
23.16/24.68	c 24	|  Parsing time:         1.66         s                                       |
24.16/25.65	c 25	============================[ Search Statistics ]==============================
24.16/25.65	c 25	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.16/25.66	c 25	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
24.16/25.66	c 25	===============================================================================
24.16/25.66	c 25	|         0 |  117928  1989566  5838945 |   663188        0    nan |  0.000 % |
24.56/26.05	c 26	===============================================================================
24.56/26.06	c 26	restarts              : 1
24.56/26.06	c 26	conflicts             : 19             (6 /sec)
24.56/26.06	c 26	decisions             : 241            (0.41 % random) (80 /sec)
24.56/26.06	c 26	propagations          : 329576         (108823 /sec)
24.56/26.06	c 26	conflict literals     : 819            (15.57 % deleted)
24.56/26.06	c 26	Memory used           : 135.28 MB
24.56/26.06	c 26	CPU time              : 3.02854 s
24.56/26.06	c 26	
24.66/26.11	c 26	SATISFIABLE
24.66/26.13	c 26	FOUND: _COST <= 31
24.66/26.13	c 26	DECODING HOME/temp.out WITH HOME/temp.map
24.66/26.13	c 26	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
24.70/26.21	c 26	Decoding HOME/temp.out
25.15/26.64	c 26	OBJECTIVE _COST 31
25.15/26.64	o 31
25.15/26.64	v 1091 535 747 311 529 758 290 2 397 1078 1 720 5 1032 617 4 2 0 1035 6 1002 1039 6 9 33 1083 523 1079 23 981 22 1086 1083 1036 4 1087 190 1081 29 1 309 1078 1089 1090 672 5 986 1084 4 928 985 48 46 407 13 0 366 1014 1090 980 1015 1059 143 38 32 1085 1089 1082 840 739 29 1088 18 4 567 1086 422 568 260 987 30 1073 749 1087 1090 1088 7 236 232 592 6 331 70 126 850 1090 1090 1085 532 986 1090
25.15/26.64	c 26	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
25.15/26.66	c 26	OBJECTIVE BOUND: 0 <= _COST <= 31
25.15/26.66	c 26	SEARCHING: _COST <= 15
25.15/26.66	c 26	SOLVING HOME/temp.cnf
25.15/26.66	c 26	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
25.15/26.66	c 26	This is MiniSat 2.0 beta
25.15/26.66	c 26	WARNING: for repeatability, setting FPU to use double precision
25.15/26.66	c 26	============================[ Problem Statistics ]=============================
25.15/26.66	c 26	|                                                                             |
25.15/26.66	c 26	|  Number of variables:  129883                                               |
25.15/26.66	c 26	|  Number of clauses:    3198350                                              |
27.05/28.55	c 28	|  Parsing time:         1.66         s                                       |
27.96/29.48	c 29	============================[ Search Statistics ]==============================
27.96/29.48	c 29	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
27.96/29.48	c 29	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
27.96/29.48	c 29	===============================================================================
27.96/29.48	c 29	|         0 |  116816  1947438  5715881 |   649146        0    nan |  0.000 % |
28.36/29.88	c 30	===============================================================================
28.36/29.88	c 30	restarts              : 1
28.36/29.88	c 30	conflicts             : 18             (6 /sec)
28.36/29.88	c 30	decisions             : 280            (0.36 % random) (93 /sec)
28.36/29.88	c 30	propagations          : 324876         (108381 /sec)
28.36/29.88	c 30	conflict literals     : 809            (19.10 % deleted)
28.36/29.88	c 30	Memory used           : 135.48 MB
28.36/29.88	c 30	CPU time              : 2.99754 s
28.36/29.88	c 30	
28.46/29.94	c 30	SATISFIABLE
28.46/29.96	c 30	FOUND: _COST <= 15
28.46/29.96	c 30	DECODING HOME/temp.out WITH HOME/temp.map
28.46/29.96	c 30	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
28.53/30.04	c 30	Decoding HOME/temp.out
28.53/30.26	c 30	OBJECTIVE _COST 15
28.53/30.26	o 15
28.53/30.27	v 1091 382 380 732 567 60 711 855 579 0 848 100 406 1 450 422 4 85 6 505 87 25 3 96 573 6 115 1089 1079 110 109 1079 31 51 1063 50 797 49 902 118 121 4 2 158 246 424 10 102 3 194 120 789 0 159 1072 8 748 103 5 109 12 45 407 1003 4 406 9 59 61 256 11 585 1079 7 566 12 610 104 712 13 849 1080 34 31 5 32 897 523 1085 358 1089 588 1023 818 6 423 1090 0 271 357 1090
28.53/30.27	c 30	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
28.53/30.28	c 30	OBJECTIVE BOUND: 0 <= _COST <= 15
28.53/30.28	c 30	SEARCHING: _COST <= 7
28.53/30.28	c 30	SOLVING HOME/temp.cnf
28.53/30.28	c 30	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
28.84/30.46	c 30	This is MiniSat 2.0 beta
28.84/30.46	c 30	WARNING: for repeatability, setting FPU to use double precision
28.84/30.46	c 30	============================[ Problem Statistics ]=============================
28.84/30.46	c 30	|                                                                             |
28.84/30.46	c 30	|  Number of variables:  129883                                               |
28.84/30.46	c 30	|  Number of clauses:    3198350                                              |
30.55/32.29	c 32	|  Parsing time:         1.58         s                                       |
31.44/33.18	c 33	============================[ Search Statistics ]==============================
31.44/33.18	c 33	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
31.44/33.18	c 33	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
31.44/33.18	c 33	===============================================================================
31.44/33.18	c 33	|         0 |  115672  1924306  5649909 |   641435        0    nan |  0.000 % |
32.44/34.11	c 34	|       103 |  115672  1924306  5649909 |   705578      103     62 | 10.941 % |
32.63/34.31	c 34	===============================================================================
32.63/34.31	c 34	restarts              : 2
32.63/34.31	c 34	conflicts             : 108            (30 /sec)
32.63/34.31	c 34	decisions             : 413            (0.97 % random) (116 /sec)
32.63/34.31	c 34	propagations          : 1290991        (361070 /sec)
32.63/34.31	c 34	conflict literals     : 6426           (18.52 % deleted)
32.63/34.31	c 34	Memory used           : 135.02 MB
32.63/34.31	c 34	CPU time              : 3.57546 s
32.63/34.31	c 34	
32.63/34.36	c 34	SATISFIABLE
32.63/34.39	c 34	FOUND: _COST <= 7
32.63/34.39	c 34	DECODING HOME/temp.out WITH HOME/temp.map
32.63/34.39	c 34	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
32.73/34.46	c 34	Decoding HOME/temp.out
32.73/34.69	c 34	OBJECTIVE _COST 7
32.73/34.69	o 7
32.73/34.70	v 1091 583 1089 365 18 768 344 73 451 5 72 809 0 2 754 1 620 752 697 18 5 563 1085 9 24 1089 622 22 3 1080 1088 312 1067 320 7 100 131 319 906 1087 391 803 58 1088 894 101 711 1089 1090 842 1086 22 1070 497 1072 17 380 21 450 4 305 0 383 34 17 31 1090 32 188 979 1087 14 1073 29 842 50 231 332 51 751 843 17 59 1089 16 57 421 757 753 604 1090 313 2 122 514 1088 1087 307 779 1090 1089
32.73/34.70	c 34	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
32.73/34.76	c 34	OBJECTIVE BOUND: 0 <= _COST <= 7
32.73/34.76	c 34	SEARCHING: _COST <= 3
32.73/34.76	c 34	SOLVING HOME/temp.cnf
32.73/34.76	c 34	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
32.73/34.76	c 34	This is MiniSat 2.0 beta
32.73/34.76	c 34	WARNING: for repeatability, setting FPU to use double precision
32.73/34.76	c 34	============================[ Problem Statistics ]=============================
32.73/34.76	c 34	|                                                                             |
32.73/34.76	c 34	|  Number of variables:  129883                                               |
32.73/34.76	c 34	|  Number of clauses:    3198350                                              |
34.86/36.63	c 36	|  Parsing time:         1.64         s                                       |
35.77/37.53	c 37	============================[ Search Statistics ]==============================
35.77/37.53	c 37	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.77/37.53	c 37	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
35.77/37.53	c 37	===============================================================================
35.77/37.53	c 37	|         0 |  114412  1910684  5612819 |   636894        0    nan |  0.000 % |
36.57/38.31	c 38	|       102 |  114412  1910684  5612819 |   700584      102     60 | 11.911 % |
36.77/38.54	c 38	===============================================================================
36.77/38.55	c 38	restarts              : 2
36.77/38.55	c 38	conflicts             : 109            (31 /sec)
36.77/38.55	c 38	decisions             : 314            (1.59 % random) (88 /sec)
36.77/38.55	c 38	propagations          : 1169946        (329241 /sec)
36.77/38.55	c 38	conflict literals     : 6401           (18.72 % deleted)
36.77/38.55	c 38	Memory used           : 135.13 MB
36.77/38.55	c 38	CPU time              : 3.55346 s
36.77/38.55	c 38	
36.86/38.60	c 38	SATISFIABLE
36.86/38.62	c 38	FOUND: _COST <= 3
36.86/38.62	c 38	DECODING HOME/temp.out WITH HOME/temp.map
36.86/38.62	c 38	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
36.91/38.70	c 38	Decoding HOME/temp.out
36.91/38.93	c 39	OBJECTIVE _COST 3
36.91/38.93	o 3
36.91/38.94	v 1091 584 2 109 73 769 195 350 216 6 108 806 1090 106 738 97 104 1088 0 121 84 24 613 93 123 91 623 621 1081 1 109 0 1030 10 1 1090 239 339 55 1087 340 800 4 8 912 102 9 1090 807 860 101 147 1013 430 79 98 106 6 1015 0 1016 1 17 1003 706 16 0 667 808 707 15 1088 5 0 668 18 522 669 348 19 110 579 616 5 0 3 339 7 1087 940 6 44 1033 245 793 1089 8 0 485 1090 43
36.91/38.94	c 39	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
36.91/38.99	c 39	OBJECTIVE BOUND: 0 <= _COST <= 3
36.91/38.99	c 39	SEARCHING: _COST <= 1
36.91/38.99	c 39	SOLVING HOME/temp.cnf
36.91/38.99	c 39	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
36.91/38.99	c 39	This is MiniSat 2.0 beta
36.91/38.99	c 39	WARNING: for repeatability, setting FPU to use double precision
36.91/39.00	c 39	============================[ Problem Statistics ]=============================
36.91/39.00	c 39	|                                                                             |
37.22/39.00	c 39	|  Number of variables:  129883                                               |
37.22/39.00	c 39	|  Number of clauses:    3198350                                              |
39.01/40.87	c 41	|  Parsing time:         1.64         s                                       |
39.92/41.78	c 41	============================[ Search Statistics ]==============================
39.92/41.78	c 41	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.92/41.78	c 41	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
39.92/41.78	c 41	===============================================================================
39.92/41.78	c 41	|         0 |  112900  1901397  5589492 |   633799        0    nan |  0.000 % |
40.81/42.62	c 42	|       101 |  112900  1901397  5589492 |   697178      101     59 | 13.076 % |
40.91/42.79	c 42	===============================================================================
40.91/42.80	c 42	restarts              : 2
40.91/42.80	c 42	conflicts             : 105            (29 /sec)
40.91/42.80	c 42	decisions             : 275            (1.45 % random) (77 /sec)
40.91/42.80	c 42	propagations          : 1136716        (318724 /sec)
40.91/42.80	c 42	conflict literals     : 6019           (18.15 % deleted)
40.91/42.80	c 42	Memory used           : 135.18 MB
40.91/42.80	c 42	CPU time              : 3.56646 s
40.91/42.80	c 42	
41.02/42.85	c 42	SATISFIABLE
41.02/42.88	c 43	FOUND: _COST <= 1
41.02/42.88	c 43	DECODING HOME/temp.out WITH HOME/temp.map
41.02/42.88	c 43	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
41.10/42.96	c 43	Decoding HOME/temp.out
41.11/43.39	c 43	OBJECTIVE _COST 1
41.11/43.39	o 1
41.11/43.39	v 1091 375 753 989 369 1 560 755 621 1077 1090 93 92 1088 428 1072 0 1073 31 483 1075 22 93 1075 568 1067 102 1088 96 1069 1074 1 103 943 1058 0 2 1090 106 1074 267 87 1090 988 143 321 998 997 86 4 991 573 1088 0 1068 988 856 1067 1087 1090 992 42 157 804 1090 1087 803 2 892 56 1089 12 0 892 1067 1086 897 336 755 245 15 568 764 580 567 1089 581 4 0 336 1088 881 15 619 71 1088 1090 1082 311 3 2
41.11/43.40	c 43	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
41.11/43.41	c 43	OBJECTIVE BOUND: 0 <= _COST <= 1
41.11/43.41	c 43	SEARCHING: _COST <= 0
41.11/43.41	c 43	SOLVING HOME/temp.cnf
41.11/43.41	c 43	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
41.11/43.42	c 43	This is MiniSat 2.0 beta
41.11/43.42	c 43	WARNING: for repeatability, setting FPU to use double precision
41.11/43.42	c 43	============================[ Problem Statistics ]=============================
41.11/43.42	c 43	|                                                                             |
41.11/43.42	c 43	|  Number of variables:  129883                                               |
41.11/43.42	c 43	|  Number of clauses:    3198350                                              |
43.36/45.26	c 45	|  Parsing time:         1.61         s                                       |
44.27/46.13	c 46	============================[ Search Statistics ]==============================
44.27/46.13	c 46	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.27/46.13	c 46	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
44.27/46.13	c 46	===============================================================================
44.27/46.13	c 46	|         0 |  100900  1885500  5555700 |   628500        0    nan |  0.000 % |
45.06/46.92	c 47	|       100 |  100900  1885500  5555700 |   691350      100     10 | 22.315 % |
45.45/47.37	c 47	===============================================================================
45.45/47.37	c 47	restarts              : 2
45.45/47.37	c 47	conflicts             : 151            (41 /sec)
45.45/47.37	c 47	decisions             : 195            (2.05 % random) (53 /sec)
45.45/47.37	c 47	propagations          : 1655902        (447367 /sec)
45.45/47.37	c 47	conflict literals     : 1292           (33.26 % deleted)
45.45/47.37	c 47	Memory used           : 135.75 MB
45.45/47.37	c 47	CPU time              : 3.70144 s
45.45/47.37	c 47	
45.45/47.37	c 47	UNSATISFIABLE
45.45/47.40	c 47	NOT FOUND: _COST <= 0
45.45/47.40	c 47	OBJECTIVE _COST 1
45.45/47.40	s OPTIMUM FOUND
45.45/47.40	c 47	CPU 42.13 (0.05 0.03 42.08 3.4)
45.45/47.40	c 47	END Sat Jul 12 16:35:20 2008

Verifier Data (download as text)

OK	1	999
1 unsatisfied constraints, 999 satisfied constraints

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112728-1215873272/watcher-1112728-1215873272 -o /tmp/evaluation-result-1112728-1215873272/solver-1112728-1215873272 -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-1112728-1215873272.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.67 2.66 2.60 5/86 19317
/proc/meminfo: memFree=1759144/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=12268 CPUtime=0
/proc/19317/stat : 19317 (sugar) R 19315 19317 18244 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 44025056 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 233402235493 0 0 4224 0 0 0 0 17 1 0 0
/proc/19317/statm: 3067 316 241 3 0 167 0

[startup+0.0894661 s]
/proc/loadavg: 2.67 2.66 2.60 5/86 19317
/proc/meminfo: memFree=1759144/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13600 CPUtime=0.03
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 898 127 0 0 3 0 0 0 21 0 1 0 44025056 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19317/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.10774 s]
/proc/loadavg: 2.67 2.66 2.60 5/86 19317
/proc/meminfo: memFree=1759144/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13600 CPUtime=0.03
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 898 127 0 0 3 0 0 0 21 0 1 0 44025056 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19317/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301761 s]
/proc/loadavg: 2.67 2.66 2.60 5/86 19317
/proc/meminfo: memFree=1759144/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13600 CPUtime=0.03
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 898 127 0 0 3 0 0 0 21 0 1 0 44025056 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19317/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701799 s]
/proc/loadavg: 2.67 2.66 2.60 5/86 19317
/proc/meminfo: memFree=1759144/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13600 CPUtime=0.41
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 957 4797 0 1 3 0 35 3 16 0 1 0 44025056 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19317/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13600

[startup+1.50188 s]
/proc/loadavg: 2.67 2.66 2.60 4/90 19332
/proc/meminfo: memFree=1755336/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13600 CPUtime=0.41
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 974 4797 0 1 3 0 35 3 15 0 1 0 44025056 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19317/statm: 3400 797 370 3 0 500 0
[pid=19330] ppid=19317 vsize=5356 CPUtime=0
/proc/19330/stat : 19330 (sh) S 19317 19317 18244 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44025108 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19330/statm: 1339 233 193 169 0 50 0
[pid=19331] ppid=19330 vsize=868364 CPUtime=0.49
/proc/19331/stat : 19331 (java) S 19330 19317 18244 0 -1 0 5196 0 1 0 46 3 0 0 20 0 9 0 44025120 889204736 4626 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19331/statm: 217091 4626 1731 9 0 211666 0
[pid=19331/tid=19332] ppid=19330 vsize=868364 CPUtime=0.28
/proc/19331/task/19332/stat : 19332 (java) R 19330 19317 18244 0 -1 64 2635 0 1 0 27 1 0 0 21 0 9 0 44025121 889204736 4626 996147200 134512640 134550740 4294955936 18446744073709551615 4126585028 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 887320

[startup+3.10204 s]
/proc/loadavg: 2.70 2.67 2.60 4/97 19339
/proc/meminfo: memFree=1738768/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13600 CPUtime=0.41
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 974 4797 0 1 3 0 35 3 15 0 1 0 44025056 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19317/statm: 3400 797 370 3 0 500 0
[pid=19330] ppid=19317 vsize=5356 CPUtime=0
/proc/19330/stat : 19330 (sh) S 19317 19317 18244 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44025108 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19330/statm: 1339 233 193 169 0 50 0
[pid=19331] ppid=19330 vsize=868476 CPUtime=2.07
/proc/19331/stat : 19331 (java) S 19330 19317 18244 0 -1 0 7231 0 1 0 191 16 0 0 20 0 9 0 44025120 889319424 6058 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19331/statm: 217119 6058 2562 9 0 211666 0
[pid=19331/tid=19332] ppid=19330 vsize=868476 CPUtime=1.62
/proc/19331/task/19332/stat : 19332 (java) R 19330 19317 18244 0 -1 64 3112 0 1 0 151 11 0 0 25 0 9 0 44025121 889319424 6058 996147200 134512640 134550740 4294955936 18446744073709551615 4126963007 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19331/tid=19333] ppid=19330 vsize=868476 CPUtime=0.17
/proc/19331/task/19333/stat : 19333 (java) S 19330 19317 18244 0 -1 64 1934 0 0 0 14 3 0 0 16 0 9 0 44025157 889319424 6058 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19331/tid=19334] ppid=19330 vsize=868476 CPUtime=0
/proc/19331/task/19334/stat : 19334 (java) S 19330 19317 18244 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 44025157 889319424 6058 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19331/tid=19335] ppid=19330 vsize=868476 CPUtime=0
/proc/19331/task/19335/stat : 19335 (java) S 19330 19317 18244 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44025157 889319424 6058 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19331/tid=19336] ppid=19330 vsize=868476 CPUtime=0
/proc/19331/task/19336/stat : 19336 (java) S 19330 19317 18244 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44025159 889319424 6058 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19331/tid=19337] ppid=19330 vsize=868476 CPUtime=0.25
/proc/19331/task/19337/stat : 19337 (java) S 19330 19317 18244 0 -1 64 1492 0 0 0 25 0 0 0 16 0 9 0 44025159 889319424 6058 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19331/tid=19338] ppid=19330 vsize=868476 CPUtime=0
/proc/19331/task/19338/stat : 19338 (java) S 19330 19317 18244 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44025160 889319424 6058 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19331/tid=19339] ppid=19330 vsize=868476 CPUtime=0
/proc/19331/task/19339/stat : 19339 (java) S 19330 19317 18244 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44025160 889319424 6058 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 887432

[startup+6.30236 s]
/proc/loadavg: 2.70 2.67 2.60 4/97 19339
/proc/meminfo: memFree=1700304/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13600 CPUtime=0.41
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 974 4797 0 1 3 0 35 3 15 0 1 0 44025056 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19317/statm: 3400 797 370 3 0 500 0
[pid=19330] ppid=19317 vsize=5356 CPUtime=0
/proc/19330/stat : 19330 (sh) S 19317 19317 18244 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44025108 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19330/statm: 1339 233 193 169 0 50 0
[pid=19331] ppid=19330 vsize=868476 CPUtime=5.22
/proc/19331/stat : 19331 (java) S 19330 19317 18244 0 -1 0 8178 0 1 0 477 45 0 0 20 0 9 0 44025120 889319424 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19331/statm: 217119 6061 2562 9 0 211666 0
[pid=19331/tid=19332] ppid=19330 vsize=868476 CPUtime=4.52
/proc/19331/task/19332/stat : 19332 (java) R 19330 19317 18244 0 -1 64 4056 0 1 0 418 34 0 0 25 0 9 0 44025121 889319424 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4126964330 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19331/tid=19333] ppid=19330 vsize=868476 CPUtime=0.41
/proc/19331/task/19333/stat : 19333 (java) S 19330 19317 18244 0 -1 64 1934 0 0 0 32 9 0 0 16 0 9 0 44025157 889319424 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19331/tid=19334] ppid=19330 vsize=868476 CPUtime=0
/proc/19331/task/19334/stat : 19334 (java) S 19330 19317 18244 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 44025157 889319424 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19331/tid=19335] ppid=19330 vsize=868476 CPUtime=0
/proc/19331/task/19335/stat : 19335 (java) S 19330 19317 18244 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44025157 889319424 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19331/tid=19336] ppid=19330 vsize=868476 CPUtime=0
/proc/19331/task/19336/stat : 19336 (java) S 19330 19317 18244 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44025159 889319424 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19331/tid=19337] ppid=19330 vsize=868476 CPUtime=0.25
/proc/19331/task/19337/stat : 19337 (java) S 19330 19317 18244 0 -1 64 1495 0 0 0 25 0 0 0 16 0 9 0 44025159 889319424 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19331/tid=19338] ppid=19330 vsize=868476 CPUtime=0
/proc/19331/task/19338/stat : 19338 (java) S 19330 19317 18244 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44025160 889319424 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19331/tid=19339] ppid=19330 vsize=868476 CPUtime=0
/proc/19331/task/19339/stat : 19339 (java) S 19330 19317 18244 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44025160 889319424 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 887432

[startup+12.702 s]
/proc/loadavg: 2.89 2.71 2.62 4/89 19353
/proc/meminfo: memFree=1664592/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13732 CPUtime=10.72
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 1201 51736 0 3 4 1 974 93 15 0 1 0 44025056 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19317/statm: 3433 830 374 3 0 533 0
[pid=19352] ppid=19317 vsize=5356 CPUtime=0
/proc/19352/stat : 19352 (sh) S 19317 19317 18244 0 -1 4194304 277 0 0 0 0 0 0 0 17 0 1 0 44026241 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19352/statm: 1339 232 193 169 0 50 0
[pid=19353] ppid=19352 vsize=68012 CPUtime=0.83
/proc/19353/stat : 19353 (minisat) R 19352 19317 18244 0 -1 4194304 16585 0 0 0 73 10 0 0 25 0 1 0 44026242 69644288 16571 996147200 134512640 135127466 4294956256 18446744073709551615 134514041 0 0 4096 3 0 0 0 17 1 0 0
/proc/19353/statm: 17003 16571 62 150 0 16850 0
Current children cumulated CPU time (s) 11.55
Current children cumulated vsize (KiB) 87100

[startup+25.5021 s]
/proc/loadavg: 2.83 2.70 2.62 3/89 19389
/proc/meminfo: memFree=1548176/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13732 CPUtime=21.39
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 1544 166150 0 6 4 1 1960 174 16 0 1 0 44025056 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19317/statm: 3433 830 374 3 0 533 0
[pid=19388] ppid=19317 vsize=5356 CPUtime=0
/proc/19388/stat : 19388 (sh) S 19317 19317 18244 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44027338 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19388/statm: 1339 232 193 169 0 50 0
[pid=19389] ppid=19388 vsize=137872 CPUtime=2.67
/proc/19389/stat : 19389 (minisat) R 19388 19317 18244 0 -1 4194304 33846 0 0 0 247 20 0 0 25 0 1 0 44027339 141180928 33832 996147200 134512640 135127466 4294956256 18446744073709551615 134523542 0 0 4096 3 0 0 0 17 1 0 0
/proc/19389/statm: 34468 33832 71 150 0 34315 0
Current children cumulated CPU time (s) 24.06
Current children cumulated vsize (KiB) 156960

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

[startup+38.3014 s]
/proc/loadavg: 2.86 2.72 2.62 3/89 19425
/proc/meminfo: memFree=1548496/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13732 CPUtime=33.04
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 1886 280724 0 9 5 2 3039 258 16 0 1 0 44025056 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19317/statm: 3433 830 374 3 0 533 0
[pid=19424] ppid=19317 vsize=5356 CPUtime=0
/proc/19424/stat : 19424 (sh) S 19317 19317 18244 0 -1 4194304 277 0 0 0 0 0 0 0 19 0 1 0 44028533 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19424/statm: 1339 232 193 169 0 50 0
[pid=19425] ppid=19424 vsize=138188 CPUtime=3.53
/proc/19425/stat : 19425 (minisat) R 19424 19317 18244 0 -1 4194304 33915 0 0 0 330 23 0 0 25 0 1 0 44028533 141504512 33893 996147200 134512640 135127466 4294956256 18446744073709551615 134522687 0 0 4096 3 0 0 0 17 1 0 0
/proc/19425/statm: 34547 33893 72 150 0 34394 0
Current children cumulated CPU time (s) 36.57
Current children cumulated vsize (KiB) 157276

[startup+41.5017 s]
/proc/loadavg: 2.86 2.72 2.62 3/89 19437
/proc/meminfo: memFree=1563088/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13732 CPUtime=37.22
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 2000 318885 0 10 5 2 3428 287 16 0 1 0 44025056 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19317/statm: 3433 830 374 3 0 533 0
[pid=19436] ppid=19317 vsize=5356 CPUtime=0
/proc/19436/stat : 19436 (sh) S 19317 19317 18244 0 -1 4194304 277 0 0 0 0 0 0 0 19 0 1 0 44028956 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19436/statm: 1339 232 193 169 0 50 0
[pid=19437] ppid=19436 vsize=137812 CPUtime=2.49
/proc/19437/stat : 19437 (minisat) R 19436 19317 18244 0 -1 4194304 33820 0 0 0 226 23 0 0 25 0 1 0 44028956 141119488 33806 996147200 134512640 135127466 4294956256 18446744073709551615 134523430 0 0 4096 3 0 0 0 17 1 0 0
/proc/19437/statm: 34453 33806 71 150 0 34300 0
Current children cumulated CPU time (s) 39.71
Current children cumulated vsize (KiB) 156900

[startup+44.702 s]
/proc/loadavg: 2.87 2.72 2.62 4/89 19449
/proc/meminfo: memFree=1640656/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13732 CPUtime=41.62
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 2114 357057 0 11 5 3 3838 316 17 0 1 0 44025056 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19317/statm: 3433 830 374 3 0 533 0
[pid=19448] ppid=19317 vsize=5356 CPUtime=0
/proc/19448/stat : 19448 (sh) S 19317 19317 18244 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44029398 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19448/statm: 1339 232 193 169 0 50 0
[pid=19449] ppid=19448 vsize=102372 CPUtime=1.25
/proc/19449/stat : 19449 (minisat) R 19448 19317 18244 0 -1 4194304 25290 0 0 0 109 16 0 0 25 0 1 0 44029398 104828928 25276 996147200 134512640 135127466 4294956256 18446744073709551615 134532720 0 0 4096 3 0 0 0 17 0 0 0
/proc/19449/statm: 25593 25276 62 150 0 25440 0
Current children cumulated CPU time (s) 42.87
Current children cumulated vsize (KiB) 121460

[startup+46.3012 s]
/proc/loadavg: 2.87 2.72 2.62 4/89 19449
/proc/meminfo: memFree=1547600/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13732 CPUtime=41.62
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 2114 357057 0 11 5 3 3838 316 16 0 1 0 44025056 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19317/statm: 3433 830 374 3 0 533 0
[pid=19448] ppid=19317 vsize=5356 CPUtime=0
/proc/19448/stat : 19448 (sh) S 19317 19317 18244 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44029398 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19448/statm: 1339 232 193 169 0 50 0
[pid=19449] ppid=19448 vsize=138880 CPUtime=2.84
/proc/19449/stat : 19449 (minisat) R 19448 19317 18244 0 -1 4194304 34078 0 0 0 263 21 0 0 25 0 1 0 44029398 142213120 34064 996147200 134512640 135127466 4294956256 18446744073709551615 134531123 0 0 4096 3 0 0 0 17 0 0 0
/proc/19449/statm: 34720 34064 72 150 0 34567 0
Current children cumulated CPU time (s) 44.46
Current children cumulated vsize (KiB) 157968

[startup+47.1012 s]
/proc/loadavg: 2.87 2.72 2.62 4/89 19449
/proc/meminfo: memFree=1547600/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13732 CPUtime=41.62
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 2114 357057 0 11 5 3 3838 316 15 0 1 0 44025056 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19317/statm: 3433 830 374 3 0 533 0
[pid=19448] ppid=19317 vsize=5356 CPUtime=0
/proc/19448/stat : 19448 (sh) S 19317 19317 18244 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44029398 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19448/statm: 1339 232 193 169 0 50 0
[pid=19449] ppid=19448 vsize=139000 CPUtime=3.63
/proc/19449/stat : 19449 (minisat) R 19448 19317 18244 0 -1 4194304 34096 0 0 0 342 21 0 0 25 0 1 0 44029398 142336000 34082 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19449/statm: 34750 34082 75 150 0 34597 0
Current children cumulated CPU time (s) 45.25
Current children cumulated vsize (KiB) 158088

[startup+47.3063 s]
/proc/loadavg: 2.88 2.73 2.62 3/89 19449
/proc/meminfo: memFree=1547408/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13732 CPUtime=41.62
/proc/19317/stat : 19317 (sugar) S 19315 19317 18244 0 -1 4194304 2114 357057 0 11 5 3 3838 316 15 0 1 0 44025056 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19317/statm: 3433 830 374 3 0 533 0
[pid=19448] ppid=19317 vsize=5356 CPUtime=0
/proc/19448/stat : 19448 (sh) S 19317 19317 18244 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44029398 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19448/statm: 1339 232 193 169 0 50 0
[pid=19449] ppid=19448 vsize=139000 CPUtime=3.83
/proc/19449/stat : 19449 (minisat) R 19448 19317 18244 0 -1 4194304 34101 0 0 0 362 21 0 0 25 0 1 0 44029398 142336000 34087 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 0 0 0
/proc/19449/statm: 34750 34087 75 150 0 34597 0
Current children cumulated CPU time (s) 45.45
Current children cumulated vsize (KiB) 158088

[startup+47.4034 s]
/proc/loadavg: 2.88 2.73 2.62 3/89 19449
/proc/meminfo: memFree=1547408/2055920 swapFree=4176484/4192956
[pid=19317] ppid=19315 vsize=13732 CPUtime=45.56
/proc/19317/stat : 19317 (sugar) R 19315 19317 18244 0 -1 4194304 2155 391452 0 11 5 3 4208 340 16 0 1 0 44025056 14061568 831 996147200 4194304 4206940 548682068592 18446744073709551615 233402242089 0 0 4224 16386 0 0 0 17 0 0 0
/proc/19317/statm: 3433 831 375 3 0 533 0
Current children cumulated CPU time (s) 45.56
Current children cumulated vsize (KiB) 13732

Child status: 0
Real time (s): 47.4453
CPU time (s): 45.6201
CPU user time (s): 42.1456
CPU system time (s): 3.47447
CPU usage (%): 96.1529
Max. virtual memory (cumulated for all children) (KiB): 887432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.1456
system time used= 3.47447
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 393637
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18691
involuntary context switches= 20925

runsolver used 0.06099 second user time and 0.19097 second system time

The end

Launcher Data (download as text)

Begin job on node70 at 2008-07-12 16:34:33
IDJOB=1112728
IDBENCH=61464
IDSOLVER=368
FILE ID=node70/1112728-1215873272
PBS_JOBID= 7903487
Free space on /tmp= 66436 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-10-1091.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-1112728-1215873272/watcher-1112728-1215873272 -o /tmp/evaluation-result-1112728-1215873272/solver-1112728-1215873272 -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-1112728-1215873272.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9f54fd75280d694b49452e249c1f9968
RANDOM SEED=1566895950

node70.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.221
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.221
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:       1759624 kB
Buffers:         33228 kB
Cached:          52892 kB
SwapCached:       5816 kB
Active:         202556 kB
Inactive:        40732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1759624 kB
SwapTotal:     4192956 kB
SwapFree:      4176484 kB
Dirty:            1760 kB
Writeback:           0 kB
Mapped:         173336 kB
Slab:            37320 kB
Committed_AS:  1032152 kB
PageTables:       2704 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 node70 at 2008-07-12 16:35:20