Trace number 1108691

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)3 3600.11 3630.62

General information on the benchmark

Namecsp/rand-2-23/
normalized-rand-23-23-253-131-55021_ext.xml
MD5SUM257268572a51d25680fd6eaff15aac60
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark1457.77
Satisfiable
(Un)Satisfiability was proved
Number of variables23
Number of constraints253
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension253
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.05/0.35	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.05/0.35	c 0	BEGIN Fri Jul 11 16:17:06 2008
0.05/0.35	c 0	PID 14196
0.05/0.35	c 0	HOST node31.alineos.net
0.05/0.35	c 0	CONVERTING HOME/instance-1108691-1215785825.xml TO HOME/temp.csp
0.05/0.35	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1108691-1215785825.xml' 'HOME/temp.csp'
0.07/0.94	c 1	1 domains, 23 variables, 0 predicates, 253 relations, 253 constraints
0.07/0.95	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.95	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.55/1.07	c 1	Parsing HOME/temp.csp
0.83/1.34	c 1	parsed 530 expressions
0.83/1.34	c 1	Heap : 4 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.83/1.34	c 1	MAX CSP: 253 constraints
0.83/1.34	c 1	Converting to clausal form CSP
0.83/1.37	c 1	converted 79 (10%) expressions
0.83/1.37	c 1	converted 158 (20%) expressions
0.83/1.37	c 1	converted 236 (30%) expressions
0.93/1.44	c 1	converted 315 (40%) expressions
0.93/1.46	c 1	converted 393 (50%) expressions
0.93/1.47	c 1	converted 472 (60%) expressions
0.93/1.49	c 1	converted 551 (70%) expressions
1.02/1.51	c 1	converted 629 (80%) expressions
1.02/1.52	c 1	converted 708 (90%) expressions
1.13/1.68	c 1	converted 786 (100%) expressions
1.13/1.68	c 1	CSP : 529 integers, 0 booleans, 758 clauses, largest domain size 380
1.13/1.68	c 1	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.13/1.68	c 1	Propagation in CSP
1.22/1.76	c 1	246 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.22/1.76	c 1	CSP : 529 integers, 0 booleans, 758 clauses, largest domain size 254
1.22/1.76	c 1	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.22/1.76	c 1	Simplifing CSP by introducing new Boolean variables
1.22/1.76	c 1	CSP : 529 integers, 0 booleans, 758 clauses, largest domain size 254
1.22/1.76	c 1	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.32/1.80	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.32/1.82	c 1	53 (10%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.32/1.82	c 1	106 (20%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.32/1.82	c 1	159 (30%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.32/1.82	c 1	212 (40%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.32/1.82	c 1	265 (50%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.32/1.82	c 1	318 (60%) CSP integer variables are encoded (886 clauses, 9931 bytes)
1.32/1.82	c 1	371 (70%) CSP integer variables are encoded (1185 clauses, 13818 bytes)
1.32/1.83	c 1	424 (80%) CSP integer variables are encoded (1556 clauses, 18641 bytes)
1.32/1.83	c 1	477 (90%) CSP integer variables are encoded (3233 clauses, 40442 bytes)
1.32/1.83	c 1	529 (100%) CSP integer variables are encoded (3777 clauses, 47514 bytes)
1.42/1.91	c 2	76 (10%) CSP clauses are encoded (10479 clauses, 193062 bytes)
1.42/1.95	c 2	152 (20%) CSP clauses are encoded (17145 clauses, 350843 bytes)
1.42/1.99	c 2	228 (30%) CSP clauses are encoded (23850 clauses, 512047 bytes)
1.52/2.01	c 2	304 (40%) CSP clauses are encoded (26544 clauses, 572873 bytes)
1.52/2.02	c 2	379 (50%) CSP clauses are encoded (30841 clauses, 649070 bytes)
1.52/2.03	c 2	455 (60%) CSP clauses are encoded (32257 clauses, 673082 bytes)
1.52/2.05	c 2	531 (70%) CSP clauses are encoded (43979 clauses, 885821 bytes)
1.52/2.06	c 2	607 (80%) CSP clauses are encoded (45539 clauses, 912365 bytes)
1.63/2.12	c 2	683 (90%) CSP clauses are encoded (79755 clauses, 1525356 bytes)
1.63/2.17	c 2	758 (100%) CSP clauses are encoded (112514 clauses, 2124208 bytes)
1.63/2.17	c 2	758 CSP clauses encoded
1.63/2.17	c 2	Writing map file : HOME/temp.map
1.63/2.18	c 2	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.63/2.18	c 2	SAT : 4306 SAT variables, 112514 SAT clauses, 2124208 bytes
1.63/2.18	c 2	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.70/2.23	c 2	OBJECTIVE minimize _COST
1.70/2.23	c 2	SOLVING HOME/temp.cnf
1.70/2.23	c 2	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.70/2.26	c 2	This is MiniSat 2.0 beta incremental
1.70/2.26	c 2	WARNING: for repeatability, setting FPU to use double precision
1.70/2.26	c 2	============================[ Problem Statistics ]=============================
1.70/2.26	c 2	|                                                                             |
1.70/2.26	c 2	|  Number of variables:  4306                                                 |
1.70/2.26	c 2	|  Number of clauses:    112514                                               |
1.71/2.31	c 2	|  Parsing time:         0.05         s                                       |
1.71/2.31	c 2	OK
1.71/2.31	c 2	OBJECTIVE BOUND: 0 <= _COST <= 
1.71/2.31	c 2	SEARCHING: _COST <= 127
1.71/2.31	c 2	============================[ Search Statistics ]==============================
1.71/2.31	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.71/2.31	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.71/2.31	c 2	===============================================================================
1.71/2.31	c 2	|         0 |    4306   112514   366701 |    37504        0    nan |  0.000 % |
1.71/2.34	c 2	|       100 |    4306   112514   366701 |    41255      100     52 |  0.005 % |
1.71/2.36	c 2	===============================================================================
1.71/2.36	c 2	restarts              : 2
1.71/2.36	c 2	conflicts             : 189           (2124 /sec)
1.71/2.36	c 2	decisions             : 435           (0.92 % random) (4888 /sec)
1.71/2.36	c 2	propagations          : 39858          (447913 /sec)
1.71/2.36	c 2	conflict literals     : 8076           (11.40 % deleted)
1.71/2.36	c 2	Memory used           : 6.95 MB
1.71/2.36	c 2	CPU time              : 0.088986 s
1.71/2.36	c 2	
1.71/2.36	c 2	SATISFIABLE
1.71/2.36	c 2	OK
1.71/2.36	c 2	FOUND: _COST <= 127
1.71/2.36	s SATISFIABLE
1.71/2.36	c 2	DECODING HOME/temp.out WITH HOME/temp.map
1.71/2.36	c 2	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.71/2.78	c 2	Decoding HOME/temp.out
1.71/2.84	c 2	OBJECTIVE _COST 127
1.71/2.84	o 127
1.71/2.84	v 22 21 22 22 22 19 21 22 20 22 11 22 22 22 20 22 16 22 21 22 22 22 22
1.71/2.85	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.71/2.89	c 3	OK
1.71/2.89	c 3	OBJECTIVE BOUND: 0 <= _COST <= 127
1.71/2.89	c 3	SEARCHING: _COST <= 63
1.85/2.90	c 3	============================[ Search Statistics ]==============================
1.85/2.90	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.85/2.90	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.85/2.90	c 3	===============================================================================
1.85/2.90	c 3	|       189 |    4306   112514   366701 |    37504      189     43 |  0.005 % |
1.85/2.90	c 3	===============================================================================
1.85/2.90	c 3	restarts              : 3
1.85/2.90	c 3	conflicts             : 196           (2021 /sec)
1.85/2.90	c 3	decisions             : 501           (0.80 % random) (5166 /sec)
1.85/2.90	c 3	propagations          : 45429          (468413 /sec)
1.85/2.90	c 3	conflict literals     : 8175           (11.39 % deleted)
1.85/2.90	c 3	Memory used           : 6.95 MB
1.85/2.90	c 3	CPU time              : 0.096985 s
1.85/2.90	c 3	
1.85/2.90	c 3	SATISFIABLE
1.85/2.90	c 3	OK
1.85/2.90	c 3	FOUND: _COST <= 63
1.85/2.90	c 3	DECODING HOME/temp.out WITH HOME/temp.map
1.85/2.90	c 3	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.96/3.26	c 3	Decoding HOME/temp.out
2.05/3.32	c 3	OBJECTIVE _COST 63
2.05/3.32	o 63
2.05/3.32	v 14 21 22 22 22 22 7 17 11 15 2 0 22 8 22 0 16 22 10 22 22 12 22
2.05/3.33	c 3	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.05/3.35	c 3	OK
2.05/3.35	c 3	OBJECTIVE BOUND: 0 <= _COST <= 63
2.05/3.35	c 3	SEARCHING: _COST <= 31
2.05/3.37	c 3	============================[ Search Statistics ]==============================
2.05/3.37	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.05/3.37	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.05/3.37	c 3	===============================================================================
2.05/3.37	c 3	|       196 |    3298   112514   366701 |    37504      196     42 |  0.005 % |
2.05/3.37	c 3	|       296 |    3294   112514   366701 |    41255      296     37 | 36.811 % |
2.14/3.41	c 3	|       447 |    3294   112514   366701 |    45380      447     35 | 36.811 % |
2.14/3.44	c 3	|       673 |    3294   112514   366701 |    49918      673     33 | 36.811 % |
2.24/3.50	c 3	|      1014 |    3294   112514   366701 |    54910     1014     31 | 36.811 % |
2.24/3.59	c 3	|      1520 |    3294   112514   366701 |    60401     1520     29 | 36.811 % |
2.44/3.74	c 3	|      2280 |    2721    60720   215884 |    66441     2232     29 | 36.811 % |
2.64/3.94	c 4	|      3421 |    2721    60720   215884 |    73085     3373     28 | 36.811 % |
2.94/4.25	c 4	|      5129 |    2721    60720   215884 |    80394     5081     28 | 36.811 % |
3.44/4.74	c 4	|      7692 |    2721    60720   215884 |    88434     7644     28 | 36.811 % |
4.24/5.53	c 5	|     11536 |    2721    60720   215884 |    97277    11488     29 | 36.811 % |
5.73/7.06	c 7	|     17302 |    2721    60720   215884 |   107005    17254     29 | 36.811 % |
8.22/9.55	c 9	===============================================================================
8.22/9.55	c 9	restarts              : 15
8.22/9.55	c 9	conflicts             : 25606         (4085 /sec)
8.22/9.55	c 9	decisions             : 29113         (0.47 % random) (4645 /sec)
8.22/9.55	c 9	propagations          : 7335071        (1170232 /sec)
8.22/9.55	c 9	conflict literals     : 756874         (44.78 % deleted)
8.22/9.55	c 9	Memory used           : 9.54 MB
8.22/9.55	c 9	CPU time              : 6.26805 s
8.22/9.55	c 9	
8.22/9.55	c 9	SATISFIABLE
8.22/9.55	c 9	OK
8.22/9.55	c 9	FOUND: _COST <= 31
8.22/9.55	c 9	DECODING HOME/temp.out WITH HOME/temp.map
8.22/9.55	c 9	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
8.28/9.65	c 9	Decoding HOME/temp.out
8.28/9.72	c 9	OBJECTIVE _COST 31
8.28/9.72	o 31
8.28/9.72	v 10 22 22 12 22 22 22 22 20 22 2 1 22 0 18 22 3 21 3 22 19 19 22
8.28/9.72	c 9	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
8.28/9.75	c 9	OK
8.28/9.75	c 9	OBJECTIVE BOUND: 0 <= _COST <= 31
8.28/9.75	c 9	SEARCHING: _COST <= 15
8.28/9.75	c 9	============================[ Search Statistics ]==============================
8.28/9.75	c 9	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.28/9.75	c 9	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.28/9.75	c 9	===============================================================================
8.28/9.75	c 9	|     25606 |    2332    44821   169322 |    14940    25519     30 | 36.811 % |
8.50/9.83	c 9	|     25706 |    2332    44821   169322 |    16434    12182     29 | 45.845 % |
8.50/9.87	c 10	|     25858 |    2332    44821   169322 |    18077    12334     29 | 45.845 % |
8.60/9.92	c 10	|     26083 |    2332    44821   169322 |    19885    12559     29 | 45.845 % |
8.69/10.00	c 10	|     26421 |    2332    44821   169322 |    21874    12897     29 | 45.845 % |
8.79/10.12	c 10	|     26927 |    2332    44821   169322 |    24061    13403     29 | 45.845 % |
8.99/10.31	c 10	|     27687 |    2332    44821   169322 |    26467    14163     29 | 45.845 % |
9.19/10.59	c 10	|     28827 |    2332    44821   169322 |    29114    15303     28 | 45.845 % |
9.69/11.04	c 11	|     30536 |    2332    44821   169322 |    32025    17012     28 | 45.845 % |
10.28/11.67	c 11	|     33098 |    2332    44821   169322 |    35228    19574     29 | 45.845 % |
11.37/12.77	c 12	|     36942 |    2332    44821   169322 |    38751    23418     31 | 45.845 % |
13.05/14.41	c 14	|     42708 |    2332    44821   169322 |    42626    29184     33 | 45.845 % |
15.83/17.25	c 17	|     51358 |    2332    44821   169322 |    46889    37834     33 | 45.845 % |
21.28/22.73	c 22	|     64332 |    2332    44821   169322 |    51578    13222     32 | 45.845 % |
28.62/30.19	c 30	|     83793 |    2332    44821   169322 |    56735    32683     32 | 45.845 % |
44.58/46.22	c 46	|    112985 |    2332    44821   169322 |    62409    15338     35 | 45.845 % |
64.30/66.13	c 66	|    156775 |    2332    44821   169322 |    68650    59128     36 | 45.845 % |
99.30/101.44	c 101	|    222460 |    2332    44821   169322 |    75515    65902     38 | 45.845 % |
167.81/170.52	c 170	|    320988 |    2332    44821   169322 |    83067    38592     30 | 45.845 % |
256.54/260.06	c 260	|    468777 |    2332    44821   169322 |    91373    44088     32 | 45.845 % |
402.11/406.54	c 406	|    690462 |    2332    44821   169322 |   100511    29109     31 | 45.845 % |
475.06/479.59	c 479	===============================================================================
475.06/479.59	c 479	restarts              : 36
475.06/479.59	c 479	conflicts             : 788272        (1667 /sec)
475.06/479.59	c 479	decisions             : 858701        (0.55 % random) (1816 /sec)
475.06/479.59	c 479	propagations          : 213905105      (452468 /sec)
475.06/479.59	c 479	conflict literals     : 27789089       (36.09 % deleted)
475.06/479.59	c 479	Memory used           : 29.53 MB
475.06/479.59	c 479	CPU time              : 472.752 s
475.06/479.59	c 479	
475.06/479.59	c 479	SATISFIABLE
475.06/479.59	c 479	OK
475.06/479.59	c 479	FOUND: _COST <= 15
475.06/479.59	c 479	DECODING HOME/temp.out WITH HOME/temp.map
475.06/479.59	c 479	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
475.15/479.71	c 479	Decoding HOME/temp.out
475.15/479.78	c 479	OBJECTIVE _COST 15
475.15/479.78	o 15
475.15/479.78	v 7 21 11 16 17 11 11 22 11 22 9 0 22 2 22 2 22 12 22 2 17 22 22
475.15/479.79	c 479	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
475.31/479.82	c 479	OK
475.31/479.82	c 479	OBJECTIVE BOUND: 0 <= _COST <= 15
475.31/479.82	c 479	SEARCHING: _COST <= 7
475.31/479.82	c 479	============================[ Search Statistics ]==============================
475.31/479.82	c 479	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
475.31/479.82	c 479	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
475.31/479.82	c 479	===============================================================================
475.31/479.82	c 479	|    788272 |    2015    35102   141100 |    11700    38907     46 | 45.845 % |
475.71/480.27	c 480	|    788372 |    2015    35102   141100 |    12870    13714     38 | 53.206 % |
475.81/480.31	c 480	|    788522 |    2015    35102   141100 |    14157    13864     38 | 53.206 % |
475.81/480.37	c 480	|    788748 |    2015    35102   141100 |    15573    14090     38 | 53.206 % |
475.91/480.47	c 480	|    789086 |    2015    35102   141100 |    17130    14428     38 | 53.206 % |
476.01/480.60	c 480	|    789594 |    2015    35102   141100 |    18844    14936     37 | 53.206 % |
476.21/480.78	c 480	|    790353 |    2015    35102   141100 |    20728    15695     37 | 53.206 % |
476.50/481.09	c 481	|    791492 |    2015    35102   141100 |    22801    16834     37 | 53.206 % |
477.00/481.58	c 481	|    793202 |    2015    35102   141100 |    25081    18544     37 | 53.206 % |
477.79/482.38	c 482	|    795764 |    2015    35102   141100 |    27589    21106     39 | 53.206 % |
479.27/483.84	c 483	|    799609 |    2015    35102   141100 |    30348    24951     39 | 53.206 % |
481.65/486.24	c 486	|    805375 |    2015    35102   141100 |    33383    30717     39 | 53.206 % |
485.43/490.08	c 490	|    814024 |    2015    35102   141100 |    36721    16086     38 | 53.206 % |
491.43/496.07	c 496	|    826998 |    2015    35102   141100 |    40393    29060     36 | 53.206 % |
500.83/505.47	c 505	|    846459 |    2015    35102   141100 |    44433    18183     44 | 53.206 % |
515.32/519.94	c 520	|    875651 |    2015    35102   141100 |    48876    47375     41 | 53.206 % |
540.20/544.87	c 545	|    919440 |    2015    35102   141100 |    53764    16584     38 | 53.206 % |
571.49/576.19	c 576	|    985125 |    2015    35102   141100 |    59140    41413     35 | 53.206 % |
625.76/630.40	c 630	|   1083651 |    2015    35102   141100 |    65054    46295     32 | 53.206 % |
677.85/682.54	c 682	===============================================================================
677.85/682.55	c 682	restarts              : 55
677.85/682.55	c 682	conflicts             : 1172456       (1736 /sec)
677.85/682.55	c 682	decisions             : 1268443       (0.55 % random) (1878 /sec)
677.85/682.55	c 682	propagations          : 324989861      (481238 /sec)
677.85/682.55	c 682	conflict literals     : 41762944       (35.46 % deleted)
677.85/682.55	c 682	Memory used           : 29.53 MB
677.85/682.55	c 682	CPU time              : 675.32 s
677.85/682.55	c 682	
677.85/682.55	c 682	SATISFIABLE
677.85/682.55	c 682	OK
677.85/682.55	c 682	FOUND: _COST <= 7
677.85/682.55	c 682	DECODING HOME/temp.out WITH HOME/temp.map
677.85/682.55	c 682	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
677.90/682.66	c 682	Decoding HOME/temp.out
677.90/682.73	c 682	OBJECTIVE _COST 7
677.90/682.73	o 7
677.90/682.73	v 22 5 15 16 11 7 6 22 22 6 12 5 22 21 21 22 10 13 22 11 17 22 6
677.90/682.74	c 682	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
678.10/682.80	c 682	OK
678.10/682.80	c 682	OBJECTIVE BOUND: 0 <= _COST <= 7
678.10/682.80	c 682	SEARCHING: _COST <= 3
678.10/682.80	c 682	============================[ Search Statistics ]==============================
678.10/682.80	c 682	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
678.10/682.80	c 682	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
678.10/682.80	c 682	===============================================================================
678.10/682.80	c 682	|   1172456 |    1714    29475   125114 |     9825    33406     32 | 53.206 % |
678.20/682.92	c 683	|   1172556 |    1714    29475   125114 |    10807     7559     28 | 60.197 % |
678.20/682.96	c 683	|   1172706 |    1714    29475   125114 |    11888     7709     28 | 60.197 % |
678.30/683.03	c 683	|   1172933 |    1714    29475   125114 |    13077     7936     28 | 60.197 % |
678.40/683.11	c 683	|   1173271 |    1714    29475   125114 |    14384     8274     28 | 60.197 % |
678.50/683.22	c 683	|   1173777 |    1714    29475   125114 |    15823     8780     28 | 60.197 % |
678.70/683.43	c 683	|   1174537 |    1714    29475   125114 |    17405     9540     29 | 60.197 % |
679.00/683.73	c 683	|   1175676 |    1714    29475   125114 |    19146    10679     30 | 60.197 % |
679.40/684.15	c 684	|   1177384 |    1714    29475   125114 |    21060    12387     29 | 60.197 % |
680.09/684.81	c 684	|   1179947 |    1714    29475   125114 |    23166    14950     31 | 60.197 % |
681.07/685.86	c 686	|   1183791 |    1714    29475   125114 |    25483    18794     31 | 60.197 % |
682.76/687.58	c 687	|   1189557 |    1714    29475   125114 |    28031    24560     31 | 60.197 % |
685.63/690.44	c 690	|   1198206 |    1714    29475   125114 |    30835    13764     35 | 60.197 % |
689.99/694.90	c 695	|   1211180 |    1714    29475   125114 |    33918    26738     36 | 60.197 % |
697.12/702.06	c 702	|   1230641 |    1714    29475   125114 |    37310    21876     33 | 60.197 % |
709.11/714.11	c 714	|   1259833 |    1714    29475   125114 |    41041    23438     51 | 60.197 % |
730.51/735.73	c 735	|   1303622 |    1714    29475   125114 |    45145    36724     47 | 60.197 % |
766.66/772.25	c 772	|   1369308 |    1714    29475   125114 |    49660    33319     42 | 60.197 % |
811.72/817.79	c 817	|   1467836 |    1714    29475   125114 |    54626    52287     37 | 60.197 % |
880.97/887.63	c 887	|   1615625 |    1714    29475   125114 |    60088    27669     31 | 60.197 % |
986.96/994.64	c 994	|   1837308 |    1714    29475   125114 |    66097    53160     30 | 60.197 % |
1038.28/1046.48	c 1046	===============================================================================
1038.28/1046.48	c 1046	restarts              : 76
1038.28/1046.48	c 1046	conflicts             : 1933223       (1867 /sec)
1038.28/1046.48	c 1046	decisions             : 2113123       (0.57 % random) (2041 /sec)
1038.28/1046.48	c 1046	propagations          : 507600571      (490160 /sec)
1038.28/1046.48	c 1046	conflict literals     : 70438665       (33.56 % deleted)
1038.28/1046.48	c 1046	Memory used           : 31.34 MB
1038.28/1046.48	c 1046	CPU time              : 1035.58 s
1038.28/1046.48	c 1046	
1038.28/1046.48	c 1046	SATISFIABLE
1038.28/1046.48	c 1046	OK
1038.28/1046.48	c 1046	FOUND: _COST <= 3
1038.28/1046.48	c 1046	DECODING HOME/temp.out WITH HOME/temp.map
1038.28/1046.48	c 1046	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1038.37/1046.60	c 1046	Decoding HOME/temp.out
1038.37/1046.68	c 1046	OBJECTIVE _COST 3
1038.37/1046.68	o 3
1038.37/1046.68	v 22 13 19 7 19 11 4 22 8 10 15 10 14 21 6 22 1 7 17 22 18 2 6
1038.37/1046.68	c 1046	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1038.37/1046.75	c 1046	OK
1038.37/1046.75	c 1046	OBJECTIVE BOUND: 0 <= _COST <= 3
1038.37/1046.75	c 1046	SEARCHING: _COST <= 1
1038.37/1046.75	c 1046	============================[ Search Statistics ]==============================
1038.37/1046.75	c 1046	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1038.37/1046.75	c 1046	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1038.37/1046.75	c 1046	===============================================================================
1038.37/1046.75	c 1046	|   1933223 |    1393    26086   115906 |     8695    38399     37 | 60.197 % |
1038.71/1046.92	c 1047	|   1933323 |    1393    26086   115906 |     9564     6918     29 | 67.652 % |
1038.71/1046.96	c 1047	|   1933473 |    1393    26086   115906 |    10521     7068     29 | 67.652 % |
1038.81/1047.02	c 1047	|   1933698 |    1393    26086   115906 |    11573     7293     29 | 67.652 % |
1038.81/1047.08	c 1047	|   1934036 |    1393    26086   115906 |    12730     7631     30 | 67.652 % |
1038.91/1047.20	c 1047	|   1934542 |    1393    26086   115906 |    14003     8137     30 | 67.652 % |
1039.11/1047.36	c 1047	|   1935301 |    1393    26086   115906 |    15404     8896     30 | 67.652 % |
1039.40/1047.63	c 1047	|   1936441 |    1393    26086   115906 |    16944    10036     30 | 67.652 % |
1039.80/1048.02	c 1048	|   1938149 |    1393    26086   115906 |    18639    11744     32 | 67.652 % |
1040.39/1048.66	c 1048	|   1940713 |    1393    26086   115906 |    20503    14308     34 | 67.652 % |
1041.68/1049.95	c 1050	|   1944557 |    1393    26086   115906 |    22553    18152     40 | 67.652 % |
1043.46/1051.78	c 1051	|   1950323 |    1393    26086   115906 |    24808    23918     43 | 67.652 % |
1046.34/1054.68	c 1054	|   1958972 |    1393    26086   115906 |    27289    16375     56 | 67.652 % |
1051.69/1060.03	c 1060	|   1971946 |    1393    26086   115906 |    30018    29349     61 | 67.652 % |
1058.22/1066.64	c 1066	|   1991407 |    1393    26086   115906 |    33020    27733     55 | 67.652 % |
1070.51/1079.01	c 1079	|   2020599 |    1393    26086   115906 |    36322    33522     58 | 67.652 % |
1089.82/1098.55	c 1098	|   2064390 |    1393    26086   115906 |    39954    25652     50 | 67.652 % |
1115.18/1124.12	c 1124	|   2130074 |    1393    26086   115906 |    43950    31461     46 | 67.652 % |
1157.18/1166.60	c 1166	|   2228600 |    1393    26086   115906 |    48345    29799     35 | 67.652 % |
1222.18/1232.13	c 1232	|   2376389 |    1393    26086   115906 |    53179    24136     34 | 67.652 % |
1317.29/1328.10	c 1328	|   2598072 |    1393    26086   115906 |    58497    34360     33 | 67.652 % |
1469.17/1481.37	c 1481	|   2930597 |    1393    26086   115906 |    64347    36564     33 | 67.652 % |
1707.03/1721.21	c 1721	|   3429385 |    1393    26086   115906 |    70782    60622     32 | 67.652 % |
2092.90/2110.41	c 2110	|   4177568 |    1393    26086   115906 |    77860    37263     28 | 67.652 % |
2705.29/2728.20	c 2728	|   5299842 |    1393    26086   115906 |    85646    30786     32 | 67.652 % |
3600.06/3630.61	c ERROR INTERRUPTED
3600.06/3630.62	c 3630	CPU 3599.4 (0.07 0.03 3599.33 0.65)
3600.06/3630.62	c 3630	END Fri Jul 11 17:17:36 2008

Verifier Data (download as text)

OK	3	250
3 unsatisfied constraints, 250 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-1108691-1215785825/watcher-1108691-1215785825 -o /tmp/evaluation-result-1108691-1215785825/solver-1108691-1215785825 -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-1108691-1215785825.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.88 2.70 2.64 4/80 14196
/proc/meminfo: memFree=1704376/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=18572 CPUtime=0
/proc/14196/stat : 14196 (runsolver) D 14194 14196 13347 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 35284641 19017728 292 996147200 4194304 4296836 548682068192 18446744073709551615 225612197159 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/14196/statm: 4643 292 257 25 0 2626 0

[startup+0.041591 s]
/proc/loadavg: 2.88 2.70 2.64 4/80 14196
/proc/meminfo: memFree=1704376/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=12268 CPUtime=0
/proc/14196/stat : 14196 (sugar++) R 14194 14196 13347 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 35284641 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 225632603936 0 0 4224 0 0 0 0 17 0 0 0
/proc/14196/statm: 3067 316 241 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.163445 s]
/proc/loadavg: 2.88 2.70 2.64 4/80 14196
/proc/meminfo: memFree=1704376/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=12676 CPUtime=0.02
/proc/14196/stat : 14196 (sugar++) R 14194 14196 13347 0 -1 4194304 551 0 0 0 1 1 0 0 18 0 1 0 35284641 12980224 519 996147200 4194304 4206940 548682068528 18446744073709551615 225631948201 0 0 4224 0 0 0 0 17 1 0 0
/proc/14196/statm: 3169 519 316 3 0 269 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12676

[startup+0.301457 s]
/proc/loadavg: 2.88 2.70 2.64 4/80 14196
/proc/meminfo: memFree=1704376/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=15948 CPUtime=0.05
/proc/14196/stat : 14196 (sugar++) R 14194 14196 13347 0 -1 4194304 906 0 2 0 3 2 0 0 18 0 1 0 35284641 16330752 876 996147200 4194304 4206940 548682068528 18446744073709551615 225632131546 0 0 4224 0 0 0 0 17 0 0 0
/proc/14196/statm: 3987 876 380 3 0 566 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15948

[startup+0.701492 s]
/proc/loadavg: 2.88 2.70 2.64 4/80 14196
/proc/meminfo: memFree=1704376/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16740 CPUtime=0.07
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1217 128 2 0 5 2 0 0 18 0 1 0 35284641 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+1.50257 s]
/proc/loadavg: 2.88 2.70 2.64 3/84 14211
/proc/meminfo: memFree=1699152/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16740 CPUtime=0.54
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1294 4703 2 1 6 2 42 4 15 0 1 0 35284641 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14196/statm: 4185 1104 409 3 0 764 0
[pid=14209] ppid=14196 vsize=5356 CPUtime=0
/proc/14209/stat : 14209 (sh) S 14196 14196 13347 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 35284737 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14209/statm: 1339 233 193 169 0 50 0
[pid=14210] ppid=14209 vsize=864136 CPUtime=0.48
/proc/14210/stat : 14210 (java) S 14209 14196 13347 0 -1 0 6365 0 1 0 45 3 0 0 18 0 9 0 35284737 884875264 5630 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14210/statm: 216034 5630 2539 9 0 210609 0
[pid=14210/tid=14211] ppid=14209 vsize=864136 CPUtime=0.29
/proc/14210/task/14211/stat : 14211 (java) R 14209 14196 13347 0 -1 64 2641 0 1 0 28 1 0 0 21 0 9 0 35284738 884875264 5630 996147200 134512640 134550740 4294955920 18446744073709551615 4125975201 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 886232

[startup+3.10169 s]
/proc/loadavg: 2.88 2.70 2.64 3/91 14218
/proc/meminfo: memFree=1680024/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=1.85
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1586 16892 2 3 6 2 163 14 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 16872

[startup+6.30198 s]
/proc/loadavg: 2.89 2.71 2.64 3/82 14239
/proc/meminfo: memFree=1691424/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1619 20655 2 4 6 2 176 16 15 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=8032 CPUtime=3.04
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 1942 0 1 0 303 1 0 0 25 0 1 0 35284865 8224768 1889 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 2008 1889 79 151 0 1854 0
Current children cumulated CPU time (s) 5.04
Current children cumulated vsize (KiB) 24904

[startup+12.7015 s]
/proc/loadavg: 2.90 2.71 2.64 4/82 14249
/proc/meminfo: memFree=1689000/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.16
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1689 24416 2 5 7 2 189 18 15 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=9768 CPUtime=9.21
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 2380 0 1 0 920 1 0 0 25 0 1 0 35284865 10002432 2325 996147200 134512640 135134323 4294956192 18446744073709551615 134528262 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 2442 2325 79 151 0 2288 0
Current children cumulated CPU time (s) 11.37
Current children cumulated vsize (KiB) 26640

[startup+25.5016 s]
/proc/loadavg: 2.85 2.71 2.64 4/82 14249
/proc/meminfo: memFree=1685032/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.16
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1689 24416 2 5 7 2 189 18 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=14020 CPUtime=21.89
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 3404 0 1 0 2187 2 0 0 25 0 1 0 35284865 14356480 3349 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 3505 3349 79 151 0 3351 0
Current children cumulated CPU time (s) 24.05
Current children cumulated vsize (KiB) 30892

[startup+51.1018 s]
/proc/loadavg: 2.83 2.71 2.64 4/82 14249
/proc/meminfo: memFree=1682920/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.16
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1689 24416 2 5 7 2 189 18 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=16140 CPUtime=47.28
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 3964 0 1 0 4725 3 0 0 25 0 1 0 35284865 16527360 3909 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 4035 3909 79 151 0 3881 0
Current children cumulated CPU time (s) 49.44
Current children cumulated vsize (KiB) 33012

[startup+102.306 s]
/proc/loadavg: 2.63 2.68 2.63 3/82 14251
/proc/meminfo: memFree=1679208/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.16
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1689 24416 2 5 7 2 189 18 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=19976 CPUtime=98.04
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 4882 0 1 0 9800 4 0 0 25 0 1 0 35284865 20455424 4827 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 4994 4827 79 151 0 4840 0
Current children cumulated CPU time (s) 100.2
Current children cumulated vsize (KiB) 36848

[startup+162.301 s]
/proc/loadavg: 2.63 2.67 2.63 4/82 14251
/proc/meminfo: memFree=1676904/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.16
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1689 24416 2 5 7 2 189 18 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=22152 CPUtime=157.52
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 5422 0 1 0 15747 5 0 0 25 0 1 0 35284865 22683648 5367 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 5538 5367 79 151 0 5384 0
Current children cumulated CPU time (s) 159.68
Current children cumulated vsize (KiB) 39024

[startup+222.302 s]
/proc/loadavg: 2.70 2.68 2.64 4/82 14251
/proc/meminfo: memFree=1675176/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.16
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1689 24416 2 5 7 2 189 18 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=23908 CPUtime=217
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 5855 0 1 0 21694 6 0 0 25 0 1 0 35284865 24481792 5800 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 5977 5800 79 151 0 5823 0
Current children cumulated CPU time (s) 219.16
Current children cumulated vsize (KiB) 40780

[startup+282.302 s]
/proc/loadavg: 2.70 2.68 2.64 3/82 14251
/proc/meminfo: memFree=1674472/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.16
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1689 24416 2 5 7 2 189 18 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=24696 CPUtime=276.49
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 6041 0 1 0 27643 6 0 0 25 0 1 0 35284865 25288704 5986 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 6174 5986 79 151 0 6020 0
Current children cumulated CPU time (s) 278.65
Current children cumulated vsize (KiB) 41568

[startup+342.302 s]
/proc/loadavg: 2.66 2.67 2.64 4/82 14251
/proc/meminfo: memFree=1673384/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.16
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1689 24416 2 5 7 2 189 18 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=25820 CPUtime=335.97
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 6300 0 1 0 33591 6 0 0 25 0 1 0 35284865 26439680 6245 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 6455 6245 79 151 0 6301 0
Current children cumulated CPU time (s) 338.13
Current children cumulated vsize (KiB) 42692

[startup+402.301 s]
/proc/loadavg: 2.44 2.62 2.62 3/71 14257
/proc/meminfo: memFree=1464000/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.16
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1689 24416 2 5 7 2 189 18 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=27416 CPUtime=395.75
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 6665 0 1 0 39568 7 0 0 25 0 1 0 35284865 28073984 6610 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14219/statm: 6854 6610 79 151 0 6700 0
Current children cumulated CPU time (s) 397.91

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

[pid=14219] ppid=14196 vsize=43256 CPUtime=2835.63
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 10595 0 1 0 283529 34 0 0 25 0 1 0 35284865 44294144 10534 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 10814 10534 79 151 0 10660 0
Current children cumulated CPU time (s) 2838.33
Current children cumulated vsize (KiB) 60128

[startup+2922.3 s]
/proc/loadavg: 2.73 2.71 2.58 3/82 14471
/proc/meminfo: memFree=1808992/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.7
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1899 35697 2 8 7 3 235 25 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=54568 CPUtime=2895.13
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 13434 0 1 0 289476 37 0 0 25 0 1 0 35284865 55877632 13373 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 13642 13373 79 151 0 13488 0
Current children cumulated CPU time (s) 2897.83
Current children cumulated vsize (KiB) 71440

[startup+2982.3 s]
/proc/loadavg: 2.65 2.68 2.58 4/82 14471
/proc/meminfo: memFree=1808744/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.7
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1899 35697 2 8 7 3 235 25 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=54656 CPUtime=2954.61
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 13464 0 1 0 295424 37 0 0 25 0 1 0 35284865 55967744 13384 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 13664 13384 79 151 0 13510 0
Current children cumulated CPU time (s) 2957.31
Current children cumulated vsize (KiB) 71528

[startup+3042.3 s]
/proc/loadavg: 2.72 2.69 2.58 4/82 14471
/proc/meminfo: memFree=1804392/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.7
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1899 35697 2 8 7 3 235 25 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=59144 CPUtime=3014.09
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 14580 0 1 0 301371 38 0 0 25 0 1 0 35284865 60563456 14500 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 14786 14500 79 151 0 14632 0
Current children cumulated CPU time (s) 3016.79
Current children cumulated vsize (KiB) 76016

[startup+3102.3 s]
/proc/loadavg: 2.73 2.70 2.59 3/82 14471
/proc/meminfo: memFree=1804072/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.7
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1899 35697 2 8 7 3 235 25 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=59388 CPUtime=3073.59
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 14626 0 1 0 307321 38 0 0 25 0 1 0 35284865 60813312 14546 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 14847 14546 79 151 0 14693 0
Current children cumulated CPU time (s) 3076.29
Current children cumulated vsize (KiB) 76260

[startup+3162.3 s]
/proc/loadavg: 2.68 2.69 2.59 4/82 14471
/proc/meminfo: memFree=1804008/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.7
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1899 35697 2 8 7 3 235 25 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=59388 CPUtime=3133.07
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 14626 0 1 0 313269 38 0 0 25 0 1 0 35284865 60813312 14546 996147200 134512640 135134323 4294956192 18446744073709551615 134532004 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 14847 14546 79 151 0 14693 0
Current children cumulated CPU time (s) 3135.77
Current children cumulated vsize (KiB) 76260

[startup+3222.3 s]
/proc/loadavg: 2.67 2.68 2.60 4/82 14471
/proc/meminfo: memFree=1804008/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.7
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1899 35697 2 8 7 3 235 25 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=59388 CPUtime=3192.55
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 14626 0 1 0 319217 38 0 0 25 0 1 0 35284865 60813312 14546 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 14847 14546 79 151 0 14693 0
Current children cumulated CPU time (s) 3195.25
Current children cumulated vsize (KiB) 76260

[startup+3282.3 s]
/proc/loadavg: 2.75 2.71 2.61 4/82 14471
/proc/meminfo: memFree=1804008/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.7
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1899 35697 2 8 7 3 235 25 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=59388 CPUtime=3252.03
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 14626 0 1 0 325165 38 0 0 25 0 1 0 35284865 60813312 14546 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 14847 14546 79 151 0 14693 0
Current children cumulated CPU time (s) 3254.73
Current children cumulated vsize (KiB) 76260

[startup+3342.3 s]
/proc/loadavg: 2.68 2.70 2.61 3/82 14471
/proc/meminfo: memFree=1804008/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.7
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1899 35697 2 8 7 3 235 25 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=59360 CPUtime=3311.51
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 14626 0 1 0 331113 38 0 0 25 0 1 0 35284865 60784640 14543 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 14840 14543 79 151 0 14686 0
Current children cumulated CPU time (s) 3314.21
Current children cumulated vsize (KiB) 76232

[startup+3402.31 s]
/proc/loadavg: 2.71 2.70 2.62 4/82 14471
/proc/meminfo: memFree=1803944/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.7
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1899 35697 2 8 7 3 235 25 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=59360 CPUtime=3371
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 14627 0 1 0 337062 38 0 0 25 0 1 0 35284865 60784640 14544 996147200 134512640 135134323 4294956192 18446744073709551615 134532135 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 14840 14544 79 151 0 14686 0
Current children cumulated CPU time (s) 3373.7
Current children cumulated vsize (KiB) 76232

[startup+3462.3 s]
/proc/loadavg: 2.72 2.71 2.62 4/82 14471
/proc/meminfo: memFree=1803816/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.7
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1899 35697 2 8 7 3 235 25 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=59360 CPUtime=3430.49
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 14627 0 1 0 343011 38 0 0 25 0 1 0 35284865 60784640 14544 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 14840 14544 79 151 0 14686 0
Current children cumulated CPU time (s) 3433.19
Current children cumulated vsize (KiB) 76232

[startup+3522.3 s]
/proc/loadavg: 2.57 2.67 2.62 3/82 14471
/proc/meminfo: memFree=1803752/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.7
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1899 35697 2 8 7 3 235 25 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=59360 CPUtime=3489.97
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 14627 0 1 0 348959 38 0 0 25 0 1 0 35284865 60784640 14544 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 14840 14544 79 151 0 14686 0
Current children cumulated CPU time (s) 3492.67
Current children cumulated vsize (KiB) 76232

[startup+3582.3 s]
/proc/loadavg: 2.73 2.69 2.63 3/82 14471
/proc/meminfo: memFree=1803688/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.7
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1899 35697 2 8 7 3 235 25 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=59360 CPUtime=3549.47
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 14628 0 1 0 354908 39 0 0 25 0 1 0 35284865 60784640 14545 996147200 134512640 135134323 4294956192 18446744073709551615 134529140 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 14840 14545 79 151 0 14686 0
Current children cumulated CPU time (s) 3552.17
Current children cumulated vsize (KiB) 76232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3630.6 s]
/proc/loadavg: 2.75 2.69 2.63 3/82 14471
/proc/meminfo: memFree=1803624/2055920 swapFree=4177576/4192956
[pid=14196] ppid=14194 vsize=16872 CPUtime=2.7
/proc/14196/stat : 14196 (sugar++) S 14194 14196 13347 0 -1 4194304 1899 35697 2 8 7 3 235 25 16 0 1 0 35284641 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14196/statm: 4218 1120 414 3 0 797 0
[pid=14219] ppid=14196 vsize=59360 CPUtime=3597.36
/proc/14219/stat : 14219 (minisat-inc) R 14196 14196 13347 0 -1 4194304 14628 0 1 0 359697 39 0 0 25 0 1 0 35284865 60784640 14545 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/14219/statm: 14840 14545 79 151 0 14686 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 76232

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

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

Child status: 0
Real time (s): 3630.62
CPU time (s): 3600.11
CPU user time (s): 3599.42
CPU system time (s): 0.691894
CPU usage (%): 99.1596
Max. virtual memory (cumulated for all children) (KiB): 890580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.42
system time used= 0.691894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52304
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= 3915
involuntary context switches= 76780

runsolver used 4.03539 second user time and 10.3174 second system time

The end

Launcher Data (download as text)

Begin job on node31 at 2008-07-11 16:17:06
IDJOB=1108691
IDBENCH=60751
IDSOLVER=367
FILE ID=node31/1108691-1215785825
PBS_JOBID= 7903133
Free space on /tmp= 66428 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/rand-2-23/normalized-rand-23-23-253-131-55021_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1108691-1215785825/watcher-1108691-1215785825 -o /tmp/evaluation-result-1108691-1215785825/solver-1108691-1215785825 -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-1108691-1215785825.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 257268572a51d25680fd6eaff15aac60
RANDOM SEED=1738404584

node31.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1704984 kB
Buffers:          6168 kB
Cached:         111240 kB
SwapCached:       8392 kB
Active:         289456 kB
Inactive:        17412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1704984 kB
SwapTotal:     4192956 kB
SwapFree:      4177576 kB
Dirty:            1124 kB
Writeback:           0 kB
Mapped:         205096 kB
Slab:            28836 kB
Committed_AS:   957648 kB
PageTables:       2240 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= 66488 MiB
End job on node31 at 2008-07-11 17:17:38