Trace number 1112418

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar v1.13+minisatMSAT (TO)85 3600.21 3615.45

General information on the benchmark

Namecsp/super-os/super-os-taillard-10/
normalized-super-os-taillard-10-24.xml
MD5SUM9306ef7954ddac95b00e0f57746494c3
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints33
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Maximum constraint arity2
Maximum domain size548
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2800
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.03/0.10	c 0	Sugar v1-13 + HOME/minisat
0.03/0.12	c 0	BEGIN Sat Jul 12 15:02:38 2008
0.03/0.12	c 0	PID 17453
0.03/0.13	c 0	HOST node7.alineos.net
0.03/0.13	c 0	CONVERTING HOME/instance-1112418-1215867758.xml TO HOME/temp.csp
0.03/0.13	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1112418-1215867758.xml' 'HOME/temp.csp'
0.03/0.94	c 1	65 domains, 200 variables, 3 predicates, 0 relations, 2800 constraints
0.03/0.95	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.95	c 1	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.77/1.04	c 1	Parsing HOME/temp.csp
0.96/1.24	c 1	parsed 3068 expressions
0.96/1.25	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.96/1.29	c 1	MAX CSP: 2800 constraints
0.96/1.29	c 1	Converting to clausal form CSP
1.06/1.37	c 1	converted 588 (10%) expressions
1.16/1.49	c 1	converted 1175 (20%) expressions
1.26/1.52	c 1	converted 1762 (30%) expressions
1.26/1.54	c 1	converted 2349 (40%) expressions
1.26/1.56	c 1	converted 2936 (50%) expressions
1.26/1.58	c 1	converted 3523 (60%) expressions
1.26/1.60	c 1	converted 4110 (70%) expressions
1.36/1.61	c 1	converted 4697 (80%) expressions
1.36/1.63	c 1	converted 5284 (90%) expressions
1.66/1.96	c 2	converted 5871 (100%) expressions
1.66/1.96	c 2	CSP : 5800 integers, 0 booleans, 8399 clauses, largest domain size 4201
1.66/1.96	c 2	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.66/1.96	c 2	Propagation in CSP
1.76/2.08	c 2	2794 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.76/2.09	c 2	CSP : 5800 integers, 0 booleans, 8399 clauses, largest domain size 2801
1.76/2.09	c 2	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.76/2.09	c 2	Simplifing CSP by introducing new Boolean variables
1.87/2.13	c 2	CSP : 5800 integers, 5600 booleans, 13999 clauses, largest domain size 2801
1.87/2.14	c 2	Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.87/2.20	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.06/2.35	c 2	580 (10%) CSP integer variables are encoded (99848 clauses, 1475715 bytes)
2.06/2.35	c 2	1160 (20%) CSP integer variables are encoded (99848 clauses, 1475715 bytes)
2.06/2.35	c 2	1740 (30%) CSP integer variables are encoded (99848 clauses, 1475715 bytes)
2.06/2.35	c 2	2320 (40%) CSP integer variables are encoded (99848 clauses, 1475715 bytes)
2.06/2.36	c 2	2900 (50%) CSP integer variables are encoded (99848 clauses, 1475715 bytes)
2.16/2.41	c 2	3480 (60%) CSP integer variables are encoded (130439 clauses, 1995762 bytes)
2.16/2.42	c 2	4060 (70%) CSP integer variables are encoded (137898 clauses, 2122565 bytes)
2.16/2.43	c 2	4640 (80%) CSP integer variables are encoded (145432 clauses, 2250643 bytes)
2.16/2.44	c 2	5220 (90%) CSP integer variables are encoded (150583 clauses, 2338210 bytes)
2.16/2.45	c 2	5800 (100%) CSP integer variables are encoded (157359 clauses, 2453402 bytes)
3.06/3.32	c 3	1400 (10%) CSP clauses are encoded (586329 clauses, 11740149 bytes)
3.86/4.14	c 4	2800 (20%) CSP clauses are encoded (997024 clauses, 21174547 bytes)
4.64/4.96	c 5	4200 (30%) CSP clauses are encoded (1420295 clauses, 30898167 bytes)
5.53/5.83	c 6	5600 (40%) CSP clauses are encoded (1858291 clauses, 40960497 bytes)
6.30/6.69	c 6	7000 (50%) CSP clauses are encoded (2292647 clauses, 50939211 bytes)
7.20/7.51	c 7	8400 (60%) CSP clauses are encoded (2714599 clauses, 60633173 bytes)
17.40/17.83	c 18	9800 (70%) CSP clauses are encoded (6701165 clauses, 157799196 bytes)
25.09/25.77	c 25	11200 (80%) CSP clauses are encoded (10640117 clauses, 254155780 bytes)
26.14/26.82	c 27	12600 (90%) CSP clauses are encoded (11142775 clauses, 266370731 bytes)
29.08/29.83	c 30	13999 (100%) CSP clauses are encoded (12629621 clauses, 302665448 bytes)
29.08/29.83	c 30	13999 CSP clauses encoded
29.08/29.83	c 30	Writing map file : HOME/temp.map
29.08/29.88	c 30	Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
29.08/29.88	c 30	SAT : 168759 SAT variables, 12629621 SAT clauses, 302665448 bytes
29.08/29.88	c 30	Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
29.16/29.93	c 30	OBJECTIVE minimize _COST
29.16/29.93	c 30	OBJECTIVE BOUND: 0 <= _COST <= 
29.16/29.93	c 30	SEARCHING: _COST <= 1400
29.16/29.93	c 30	SOLVING HOME/temp.cnf
29.16/29.93	c 30	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
29.16/29.94	c 30	This is MiniSat 2.0 beta
29.16/29.94	c 30	WARNING: for repeatability, setting FPU to use double precision
29.16/29.94	c 30	============================[ Problem Statistics ]=============================
29.16/29.94	c 30	|                                                                             |
29.16/29.94	c 30	|  Number of variables:  168759                                               |
29.16/29.94	c 30	|  Number of clauses:    12629622                                             |
36.00/36.82	c 37	|  Parsing time:         5.98         s                                       |
51.82/52.77	c 52	============================[ Search Statistics ]==============================
51.82/52.77	c 52	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
51.82/52.77	c 52	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
51.82/52.77	c 52	===============================================================================
51.82/52.77	c 52	|         0 |  151959  8988044 26726751 |  2996014        0    nan |  0.000 % |
52.91/53.87	c 54	|       100 |  151959  8988044 26726751 |  3295616      100     37 |  9.955 % |
54.50/55.40	c 55	|       251 |  151959  8988044 26726751 |  3625177      251     74 |  9.955 % |
54.90/55.90	c 56	===============================================================================
55.00/55.90	c 56	restarts              : 3
55.00/55.90	c 56	conflicts             : 267            (11 /sec)
55.00/55.90	c 56	decisions             : 6437           (1.13 % random) (258 /sec)
55.00/55.90	c 56	propagations          : 1234829        (49448 /sec)
55.00/55.90	c 56	conflict literals     : 18758          (10.42 % deleted)
55.00/55.90	c 56	Memory used           : 505.25 MB
55.00/55.90	c 56	CPU time              : 24.9722 s
55.00/55.90	c 56	
55.00/55.97	c 56	SATISFIABLE
55.10/56.06	c 56	FOUND: _COST <= 1400
55.10/56.06	s SATISFIABLE
55.10/56.06	c 56	DECODING HOME/temp.out WITH HOME/temp.map
55.10/56.06	c 56	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
55.17/56.14	c 56	Decoding HOME/temp.out
55.17/56.73	c 56	OBJECTIVE _COST 1208
55.17/56.73	o 1208
55.17/56.74	v 389 149 240 85 487 343 490 418 256 379 274 318 335 540 461 407 406 345 468 317 375 388 436 445 464 429 401 205 388 343 471 364 427 320 448 328 450 303 508 508 504 504 282 378 404 404 495 397 536 352 500 500 521 392 455 455 453 64 450 450 378 533 480 484 278 509 393 419 231 317 112 382 491 530 459 328 513 343 107 91 343 418 499 347 349 237 252 251 541 540 388 31 489 369 438 10 61 62 159 177 417 541 285 543 469 333 336 237 252 522 101 102 140 398 338 360 424 290 165 191 496 322 489 422 120 119 32 335 481 209 182 386 331 415 402 410 364 380 276 356 503 420 492 234 507 397 465 541 422 371 474 418 363 529 347 505 419 383 271 472 408 221 316 315 54 177 479 207 232 233 387 341 454 504 419 135 516 370 374 354 351 229 477 161 157 180 124 515 410 109 425 425 426 258 279 280 56 290 10 198
55.17/56.75	c 56	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
55.17/56.80	c 57	OBJECTIVE BOUND: 0 <= _COST <= 1208
55.17/56.80	c 57	SEARCHING: _COST <= 604
55.17/56.80	c 57	SOLVING HOME/temp.cnf
55.17/56.80	c 57	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
55.86/56.80	c 57	This is MiniSat 2.0 beta
55.86/56.80	c 57	WARNING: for repeatability, setting FPU to use double precision
55.86/56.80	c 57	============================[ Problem Statistics ]=============================
55.86/56.80	c 57	|                                                                             |
55.86/56.80	c 57	|  Number of variables:  168759                                               |
55.86/56.80	c 57	|  Number of clauses:    12629622                                             |
62.72/63.79	c 64	|  Parsing time:         6.15         s                                       |
84.50/85.69	c 85	============================[ Search Statistics ]==============================
84.50/85.69	c 85	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
84.50/85.69	c 85	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
84.50/85.69	c 85	===============================================================================
84.50/85.69	c 85	|         0 |  141323  6228554 18479393 |  2076184        0    nan |  0.000 % |
85.80/86.90	c 87	|       100 |  141323  6228554 18479393 |  2283803      100     18 | 16.258 % |
87.09/88.22	c 88	|       250 |  141323  6228554 18479393 |  2512183      250     55 | 16.258 % |
88.48/89.66	c 89	|       476 |  141323  6228554 18479393 |  2763401      476     79 | 16.258 % |
89.08/90.26	c 90	===============================================================================
89.08/90.27	c 90	restarts              : 4
89.08/90.27	c 90	conflicts             : 500            (15 /sec)
89.08/90.27	c 90	decisions             : 7921           (1.12 % random) (244 /sec)
89.08/90.27	c 90	propagations          : 2633583        (81043 /sec)
89.08/90.27	c 90	conflict literals     : 38096          (9.81 % deleted)
89.08/90.27	c 90	Memory used           : 511.88 MB
89.08/90.27	c 90	CPU time              : 32.4961 s
89.08/90.27	c 90	
89.18/90.34	c 90	SATISFIABLE
89.28/90.42	c 90	FOUND: _COST <= 604
89.28/90.42	c 90	DECODING HOME/temp.out WITH HOME/temp.map
89.28/90.42	c 90	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
89.31/90.51	c 90	Decoding HOME/temp.out
89.31/91.02	c 91	OBJECTIVE _COST 604
89.31/91.02	o 604
89.31/91.02	v 299 172 524 510 330 418 461 462 465 168 479 466 160 540 263 87 219 417 392 391 535 403 5 242 236 451 294 40 320 335 82 524 1 339 464 414 138 106 66 430 33 104 168 83 153 77 286 468 160 481 407 500 521 111 455 419 307 248 4 426 376 468 452 248 483 83 335 306 406 464 122 355 288 302 416 402 491 492 361 361 334 521 243 364 284 262 198 371 541 190 53 123 197 508 354 490 411 100 405 232 343 85 470 471 390 490 350 301 522 237 526 393 527 71 112 474 92 245 415 303 272 96 14 33 227 44 4 73 403 402 524 523 0 520 148 324 277 74 102 101 2 429 183 264 301 452 89 220 230 380 474 390 476 47 512 252 323 326 96 417 457 187 455 118 493 41 377 41 335 444 480 481 418 116 204 41 292 116 153 384 346 177 420 421 420 348 238 239 396 395 176 306 423 3 492 336 495 324 411 339
89.31/91.03	c 91	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
89.31/91.06	c 91	OBJECTIVE BOUND: 0 <= _COST <= 604
89.31/91.06	c 91	SEARCHING: _COST <= 302
89.31/91.06	c 91	SOLVING HOME/temp.cnf
89.31/91.06	c 91	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
89.31/91.06	c 91	This is MiniSat 2.0 beta
89.31/91.06	c 91	WARNING: for repeatability, setting FPU to use double precision
89.31/91.06	c 91	============================[ Problem Statistics ]=============================
89.31/91.06	c 91	|                                                                             |
89.31/91.06	c 91	|  Number of variables:  168759                                               |
89.31/91.06	c 91	|  Number of clauses:    12629622                                             |
96.89/98.16	c 98	|  Parsing time:         6.24         s                                       |
120.27/121.65	c 121	============================[ Search Statistics ]==============================
120.27/121.65	c 121	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
120.27/121.65	c 121	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
120.27/121.65	c 121	===============================================================================
120.27/121.65	c 121	|         0 |  136155  4637701 13722036 |  1545900        0    nan |  0.000 % |
121.56/122.92	c 123	|       100 |  136155  4637701 13722036 |  1700490      100     49 | 19.320 % |
122.26/123.62	c 123	|       251 |  136155  4637701 13722036 |  1870539      251     32 | 19.320 % |
122.96/124.33	c 124	===============================================================================
122.96/124.34	c 124	restarts              : 3
122.96/124.34	c 124	conflicts             : 346            (11 /sec)
122.96/124.34	c 124	decisions             : 3704           (1.35 % random) (115 /sec)
122.96/124.34	c 124	propagations          : 1484540        (45978 /sec)
122.96/124.34	c 124	conflict literals     : 13150          (5.38 % deleted)
122.96/124.34	c 124	Memory used           : 518.54 MB
122.96/124.34	c 124	CPU time              : 32.2881 s
122.96/124.34	c 124	
123.05/124.41	c 124	SATISFIABLE
123.05/124.49	c 124	FOUND: _COST <= 302
123.05/124.49	c 124	DECODING HOME/temp.out WITH HOME/temp.map
123.05/124.49	c 124	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
123.17/124.57	c 124	Decoding HOME/temp.out
123.17/125.16	c 125	OBJECTIVE _COST 266
123.17/125.16	o 266
123.17/125.17	v 403 402 188 105 226 434 498 71 121 120 204 52 180 395 287 22 351 350 3 102 534 533 133 132 168 1 186 95 342 50 504 109 256 2 277 73 435 337 435 59 504 431 478 15 85 84 495 252 320 319 451 427 521 227 332 382 381 409 475 514 210 239 494 104 454 44 492 493 409 37 396 398 287 530 359 90 495 252 305 89 222 223 503 181 387 388 409 88 174 180 243 242 349 348 8 70 406 59 273 274 526 527 543 542 523 130 156 109 151 57 347 346 288 482 199 198 425 36 247 248 492 101 323 75 499 431 294 225 256 32 527 528 544 522 177 4 526 111 476 446 1 38 140 46 254 253 301 302 83 46 404 403 523 524 0 47 309 401 177 178 440 123 212 86 263 78 171 74 318 2 196 67 134 133 451 37 5 51 369 100 332 71 0 14 394 382 153 154 367 84 547 186 187 186 276 491 99 100 466 72
123.17/125.18	c 125	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
123.17/125.23	c 125	OBJECTIVE BOUND: 0 <= _COST <= 266
123.17/125.23	c 125	SEARCHING: _COST <= 133
123.17/125.23	c 125	SOLVING HOME/temp.cnf
123.17/125.23	c 125	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
123.17/125.23	c 125	This is MiniSat 2.0 beta
123.17/125.23	c 125	WARNING: for repeatability, setting FPU to use double precision
123.17/125.23	c 125	============================[ Problem Statistics ]=============================
123.17/125.23	c 125	|                                                                             |
123.17/125.23	c 125	|  Number of variables:  168759                                               |
123.17/125.23	c 125	|  Number of clauses:    12629622                                             |
131.05/132.51	c 132	|  Parsing time:         6.42         s                                       |
154.14/155.75	c 155	============================[ Search Statistics ]==============================
154.14/155.75	c 155	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
154.14/155.75	c 155	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
154.14/155.75	c 155	===============================================================================
154.14/155.75	c 155	|         0 |  131638  3591583 10597064 |  1197194        0    nan |  0.000 % |
155.04/156.60	c 156	|       102 |  131638  3591583 10597064 |  1316913      102     31 | 21.996 % |
155.44/157.07	c 157	|       252 |  131638  3591583 10597064 |  1448605      252     27 | 21.996 % |
157.23/158.84	c 159	|       479 |  131638  3591583 10597064 |  1593465      479     61 | 21.996 % |
159.42/161.09	c 161	===============================================================================
159.42/161.09	c 161	restarts              : 4
159.42/161.09	c 161	conflicts             : 770            (22 /sec)
159.42/161.09	c 161	decisions             : 3943           (1.24 % random) (113 /sec)
159.42/161.09	c 161	propagations          : 3698425        (106101 /sec)
159.42/161.09	c 161	conflict literals     : 49425          (7.69 % deleted)
159.42/161.09	c 161	Memory used           : 515.18 MB
159.42/161.09	c 161	CPU time              : 34.8577 s
159.42/161.09	c 161	
159.52/161.16	c 161	SATISFIABLE
159.62/161.25	c 161	FOUND: _COST <= 133
159.62/161.25	c 161	DECODING HOME/temp.out WITH HOME/temp.map
159.62/161.25	c 161	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
159.67/161.33	c 161	Decoding HOME/temp.out
160.21/161.84	c 162	OBJECTIVE _COST 133
160.21/161.84	o 133
160.21/161.85	v 441 157 532 262 322 217 383 482 88 163 1 209 435 433 322 148 278 277 341 179 70 71 93 148 228 228 373 157 367 465 524 27 467 128 1 0 243 450 183 182 355 391 192 191 51 50 138 139 28 27 399 40 360 1 262 455 452 453 519 71 533 182 60 59 89 158 380 420 289 288 436 435 7 42 132 34 385 277 197 188 350 351 9 10 533 183 51 52 0 508 298 162 515 165 447 147 198 146 371 372 288 289 378 394 391 396 399 400 296 409 475 474 527 527 328 3 74 37 222 221 328 140 324 15 453 177 295 169 4 17 279 388 428 0 436 130 404 406 84 83 387 388 171 172 3 2 380 54 209 202 61 26 100 414 135 25 433 432 304 303 377 376 1 2 248 168 223 410 134 140 304 303 266 511 37 36 435 404 498 497 498 262 312 48 17 16 279 265 1 426 0 278 173 172 442 387 119 383 443 198
160.21/161.86	c 162	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
160.21/161.87	c 162	OBJECTIVE BOUND: 0 <= _COST <= 133
160.21/161.87	c 162	SEARCHING: _COST <= 66
160.21/161.87	c 162	SOLVING HOME/temp.cnf
160.21/161.87	c 162	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
160.21/161.88	c 162	This is MiniSat 2.0 beta
160.21/161.88	c 162	WARNING: for repeatability, setting FPU to use double precision
160.21/161.88	c 162	============================[ Problem Statistics ]=============================
160.21/161.88	c 162	|                                                                             |
160.21/161.88	c 162	|  Number of variables:  168759                                               |
160.21/161.88	c 162	|  Number of clauses:    12629622                                             |
167.56/169.27	c 169	|  Parsing time:         6.53         s                                       |
189.56/191.31	c 191	============================[ Search Statistics ]==============================
189.56/191.31	c 191	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.56/191.31	c 191	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
189.56/191.31	c 191	===============================================================================
189.56/191.31	c 191	|         0 |  128425  3151772  9287203 |  1050590        0    nan |  0.000 % |
190.35/192.16	c 192	|       101 |  128425  3151772  9287203 |  1155649      101     32 | 23.900 % |
190.75/192.57	c 192	|       253 |  128425  3151772  9287203 |  1271214      253     24 | 23.900 % |
191.35/193.19	c 193	|       479 |  128425  3151772  9287203 |  1398336      479     22 | 23.900 % |
192.84/194.67	c 194	|       816 |  128425  3151772  9287203 |  1538169      816     37 | 23.900 % |
194.23/196.04	c 196	|      1322 |  128425  3151772  9287203 |  1691986     1322     34 | 23.900 % |
198.01/199.84	c 200	|      2081 |  128425  3151772  9287203 |  1861185     2081     53 | 23.900 % |
201.89/203.79	c 204	|      3223 |  128425  3151772  9287203 |  2047303     3223     49 | 23.900 % |
205.97/207.90	c 208	|      4932 |  128425  3151772  9287203 |  2252034     4932     43 | 23.900 % |
211.84/213.77	c 213	|      7494 |  128425  3151772  9287203 |  2477237     7494     44 | 23.900 % |
231.15/233.18	c 233	|     11338 |  128425  3151772  9287203 |  2724961    11338     74 | 23.900 % |
240.41/242.42	c 242	|     17104 |  128425  3151772  9287203 |  2997457    17104     60 | 23.900 % |
265.77/268.07	c 268	|     25753 |  128425  3151772  9287203 |  3297203    25753     65 | 23.900 % |
296.52/298.93	c 299	|     38727 |  128425  3151772  9287203 |  3626923    38727     63 | 23.900 % |
328.65/331.29	c 331	|     58188 |  128425  3151772  9287203 |  3989616    58188     51 | 23.900 % |
399.61/402.57	c 402	|     87380 |  128425  3151772  9287203 |  4388577    87380     49 | 23.900 % |
501.90/505.38	c 505	|    131169 |  128425  3151772  9287203 |  4827435   131169     50 | 23.900 % |
677.63/681.92	c 682	|    196853 |  128425  3151772  9287203 |  5310179   196853     52 | 23.900 % |
1081.14/1087.49	c 1087	|    295379 |  128425  3151772  9287203 |  5841197   295379     63 | 23.900 % |
2309.43/2318.13	c 2318	|    443169 |  128425  3151772  9287203 |  6425316   443169    117 | 23.900 % |
3112.53/3125.20	c 3125	|    664852 |  128425  3151772  9287203 |  7067848   664852     99 | 23.900 % |
3600.07/3615.22	c ERROR INTERRUPTED
3600.07/3615.31	c 3615	CPU 154.12 (0.06 0.02 154.06 6.17)
3600.07/3615.31	c 3615	END Sat Jul 12 16:02:53 2008

Verifier Data (download as text)

OK	85	2715
85 unsatisfied constraints, 2715 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-1112418-1215867758/watcher-1112418-1215867758 -o /tmp/evaluation-result-1112418-1215867758/solver-1112418-1215867758 -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-1112418-1215867758.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.25 2.14 2.05 4/81 17453
/proc/meminfo: memFree=1935088/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=18572 CPUtime=0
/proc/17453/stat : 17453 (runsolver) R 17451 17453 16399 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 43478990 19017728 292 996147200 4194304 4296836 548682068256 18446744073709551615 244671114535 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17453/statm: 4643 292 257 25 0 2626 0

[startup+0.0162901 s]
/proc/loadavg: 2.25 2.14 2.05 4/81 17453
/proc/meminfo: memFree=1935088/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=124 CPUtime=0
/proc/17453/stat : 17453 (sugar) D 17451 17453 16399 0 -1 4194304 38 0 0 0 0 0 0 0 20 0 1 0 43478990 126976 23 996147200 4194304 4206940 548682068592 18446744073709551615 244668495337 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/17453/statm: 31 23 17 3 0 3 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 124

[startup+0.10131 s]
/proc/loadavg: 2.25 2.14 2.05 4/81 17453
/proc/meminfo: memFree=1935088/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13600 CPUtime=0.03
/proc/17453/stat : 17453 (sugar) R 17451 17453 16399 0 -1 4194304 779 0 0 0 3 0 0 0 18 0 1 0 43478990 13926400 747 996147200 4194304 4206940 548682068592 18446744073709551615 244670968005 0 0 4224 0 0 0 0 17 1 0 0
/proc/17453/statm: 3400 747 338 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.30135 s]
/proc/loadavg: 2.25 2.14 2.05 4/81 17453
/proc/meminfo: memFree=1935088/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13600 CPUtime=0.03
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 898 127 0 0 3 0 0 0 18 0 1 0 43478990 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17453/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.70143 s]
/proc/loadavg: 2.25 2.14 2.05 4/81 17453
/proc/meminfo: memFree=1935088/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13600 CPUtime=0.03
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 898 127 0 0 3 0 0 0 18 0 1 0 43478990 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17453/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+1.50257 s]
/proc/loadavg: 2.25 2.14 2.05 4/90 17473
/proc/meminfo: memFree=1928744/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13600 CPUtime=0.74
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 974 5397 0 1 3 0 68 3 15 0 1 0 43478990 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17453/statm: 3400 797 370 3 0 500 0
[pid=17466] ppid=17453 vsize=5356 CPUtime=0
/proc/17466/stat : 17466 (sh) S 17453 17453 16399 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43479086 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17466/statm: 1339 233 193 169 0 50 0
[pid=17467] ppid=17466 vsize=868368 CPUtime=0.52
/proc/17467/stat : 17467 (java) S 17466 17453 16399 0 -1 0 5352 0 1 0 48 4 0 0 18 0 9 0 43479086 889208832 4774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17467/statm: 217092 4774 1733 9 0 211667 0
[pid=17467/tid=17468] ppid=17466 vsize=868368 CPUtime=0.3
/proc/17467/task/17468/stat : 17468 (java) R 17466 17453 16399 0 -1 64 2642 0 1 0 29 1 0 0 18 0 9 0 43479087 889208832 4774 996147200 134512640 134550740 4294955936 18446744073709551615 4126622463 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17469] ppid=17466 vsize=868368 CPUtime=0.02
/proc/17467/task/17469/stat : 17469 (java) S 17466 17453 16399 0 -1 64 564 0 0 0 2 0 0 0 16 0 9 0 43479088 889208832 4774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17470] ppid=17466 vsize=868368 CPUtime=0
/proc/17467/task/17470/stat : 17470 (java) S 17466 17453 16399 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43479089 889208832 4774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17471] ppid=17466 vsize=868368 CPUtime=0
/proc/17467/task/17471/stat : 17471 (java) S 17466 17453 16399 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43479089 889208832 4774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17472] ppid=17466 vsize=868368 CPUtime=0
/proc/17467/task/17472/stat : 17472 (java) S 17466 17453 16399 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43479091 889208832 4774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17473] ppid=17466 vsize=868368 CPUtime=0.17
/proc/17467/task/17473/stat : 17473 (java) S 17466 17453 16399 0 -1 64 1454 0 0 0 16 1 0 0 16 0 9 0 43479091 889208832 4774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 887324

[startup+3.10287 s]
/proc/loadavg: 2.25 2.14 2.05 3/92 17475
/proc/meminfo: memFree=1912408/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13600 CPUtime=0.75
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 974 5397 0 1 3 1 68 3 15 0 1 0 43478990 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17453/statm: 3400 797 370 3 0 500 0
[pid=17466] ppid=17453 vsize=5356 CPUtime=0
/proc/17466/stat : 17466 (sh) S 17453 17453 16399 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43479086 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17466/statm: 1339 233 193 169 0 50 0
[pid=17467] ppid=17466 vsize=868480 CPUtime=2.11
/proc/17467/stat : 17467 (java) S 17466 17453 16399 0 -1 0 8744 0 1 0 198 13 0 0 18 0 9 0 43479086 889323520 7655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17467/statm: 217120 7655 2565 9 0 211667 0
[pid=17467/tid=17468] ppid=17466 vsize=868480 CPUtime=1.49
/proc/17467/task/17468/stat : 17468 (java) R 17466 17453 16399 0 -1 64 3004 0 1 0 141 8 0 0 24 0 9 0 43479087 889323520 7655 996147200 134512640 134550740 4294955936 18446744073709551615 4127027553 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17469] ppid=17466 vsize=868480 CPUtime=0.31
/proc/17467/task/17469/stat : 17469 (java) S 17466 17453 16399 0 -1 64 3528 0 0 0 29 2 0 0 16 0 9 0 43479088 889323520 7655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17470] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17470/stat : 17470 (java) S 17466 17453 16399 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43479089 889323520 7655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17471] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17471/stat : 17471 (java) S 17466 17453 16399 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43479089 889323520 7655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17472] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17472/stat : 17472 (java) S 17466 17453 16399 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43479091 889323520 7655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17473] ppid=17466 vsize=868480 CPUtime=0.26
/proc/17467/task/17473/stat : 17473 (java) S 17466 17453 16399 0 -1 64 1519 0 0 0 25 1 0 0 16 0 9 0 43479091 889323520 7655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17474] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17474/stat : 17474 (java) S 17466 17453 16399 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43479091 889323520 7655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17475] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17475/stat : 17475 (java) S 17466 17453 16399 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43479091 889323520 7655 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 887436

[startup+6.30245 s]
/proc/loadavg: 2.23 2.14 2.05 3/92 17475
/proc/meminfo: memFree=1875096/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13600 CPUtime=0.75
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 974 5397 0 1 3 1 68 3 16 0 1 0 43478990 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17453/statm: 3400 797 370 3 0 500 0
[pid=17466] ppid=17453 vsize=5356 CPUtime=0
/proc/17466/stat : 17466 (sh) S 17453 17453 16399 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43479086 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17466/statm: 1339 233 193 169 0 50 0
[pid=17467] ppid=17466 vsize=868480 CPUtime=5.27
/proc/17467/stat : 17467 (java) S 17466 17453 16399 0 -1 0 9727 0 1 0 487 40 0 0 18 0 9 0 43479086 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17467/statm: 217120 7659 2565 9 0 211667 0
[pid=17467/tid=17468] ppid=17466 vsize=868480 CPUtime=4.4
/proc/17467/task/17468/stat : 17468 (java) R 17466 17453 16399 0 -1 64 3983 0 1 0 411 29 0 0 25 0 9 0 43479087 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4126564337 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17469] ppid=17466 vsize=868480 CPUtime=0.56
/proc/17467/task/17469/stat : 17469 (java) S 17466 17453 16399 0 -1 64 3528 0 0 0 48 8 0 0 16 0 9 0 43479088 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17470] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17470/stat : 17470 (java) S 17466 17453 16399 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43479089 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17471] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17471/stat : 17471 (java) S 17466 17453 16399 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43479089 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17472] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17472/stat : 17472 (java) S 17466 17453 16399 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43479091 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17473] ppid=17466 vsize=868480 CPUtime=0.27
/proc/17467/task/17473/stat : 17473 (java) S 17466 17453 16399 0 -1 64 1523 0 0 0 26 1 0 0 16 0 9 0 43479091 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17474] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17474/stat : 17474 (java) S 17466 17453 16399 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43479091 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17475] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17475/stat : 17475 (java) S 17466 17453 16399 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43479091 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 887436

[startup+12.7026 s]
/proc/loadavg: 2.21 2.14 2.05 3/92 17475
/proc/meminfo: memFree=1825880/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13600 CPUtime=0.75
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 974 5397 0 1 3 1 68 3 15 0 1 0 43478990 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17453/statm: 3400 797 370 3 0 500 0
[pid=17466] ppid=17453 vsize=5356 CPUtime=0
/proc/17466/stat : 17466 (sh) S 17453 17453 16399 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43479086 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17466/statm: 1339 233 193 169 0 50 0
[pid=17467] ppid=17466 vsize=868480 CPUtime=11.61
/proc/17467/stat : 17467 (java) S 17466 17453 16399 0 -1 0 11192 0 1 0 1083 78 0 0 18 0 9 0 43479086 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17467/statm: 217120 7659 2565 9 0 211667 0
[pid=17467/tid=17468] ppid=17466 vsize=868480 CPUtime=10.36
/proc/17467/task/17468/stat : 17468 (java) R 17466 17453 16399 0 -1 64 5448 0 1 0 976 60 0 0 25 0 9 0 43479087 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4126874776 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17469] ppid=17466 vsize=868480 CPUtime=0.94
/proc/17467/task/17469/stat : 17469 (java) S 17466 17453 16399 0 -1 64 3528 0 0 0 79 15 0 0 16 0 9 0 43479088 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17470] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17470/stat : 17470 (java) S 17466 17453 16399 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43479089 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17471] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17471/stat : 17471 (java) S 17466 17453 16399 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43479089 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17472] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17472/stat : 17472 (java) S 17466 17453 16399 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43479091 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17473] ppid=17466 vsize=868480 CPUtime=0.27
/proc/17467/task/17473/stat : 17473 (java) S 17466 17453 16399 0 -1 64 1523 0 0 0 26 1 0 0 16 0 9 0 43479091 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17474] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17474/stat : 17474 (java) S 17466 17453 16399 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43479091 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17475] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17475/stat : 17475 (java) S 17466 17453 16399 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43479091 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 887436

[startup+25.502 s]
/proc/loadavg: 2.25 2.14 2.05 3/92 17475
/proc/meminfo: memFree=1664216/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13600 CPUtime=0.75
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 974 5397 0 1 3 1 68 3 16 0 1 0 43478990 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17453/statm: 3400 797 370 3 0 500 0
[pid=17466] ppid=17453 vsize=5356 CPUtime=0
/proc/17466/stat : 17466 (sh) S 17453 17453 16399 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43479086 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17466/statm: 1339 233 193 169 0 50 0
[pid=17467] ppid=17466 vsize=868480 CPUtime=24.14
/proc/17467/stat : 17467 (java) S 17466 17453 16399 0 -1 0 15139 0 1 0 2219 195 0 0 18 0 9 0 43479086 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17467/statm: 217120 7659 2565 9 0 211667 0
[pid=17467/tid=17468] ppid=17466 vsize=868480 CPUtime=21.92
/proc/17467/task/17468/stat : 17468 (java) R 17466 17453 16399 0 -1 64 9395 0 1 0 2037 155 0 0 25 0 9 0 43479087 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4127028994 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17469] ppid=17466 vsize=868480 CPUtime=1.91
/proc/17467/task/17469/stat : 17469 (java) S 17466 17453 16399 0 -1 64 3528 0 0 0 154 37 0 0 16 0 9 0 43479088 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17470] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17470/stat : 17470 (java) S 17466 17453 16399 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43479089 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17471] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17471/stat : 17471 (java) S 17466 17453 16399 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43479089 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17472] ppid=17466 vsize=868480 CPUtime=0
/proc/17467/task/17472/stat : 17472 (java) S 17466 17453 16399 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43479091 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17467/tid=17473] ppid=17466 vsize=868480 CPUtime=0.27
/proc/17467/task/17473/stat : 17473 (java) S 17466 17453 16399 0 -1 64 1523 0 0 0 26 1 0 0 16 0 9 0 43479091 889323520 7659 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=17524] ppid=17453 vsize=5356 CPUtime=0
/proc/17524/stat : 17524 (sh) S 17453 17453 16399 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43495178 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17524/statm: 1339 232 193 169 0 50 0
[pid=17525] ppid=17524 vsize=609024 CPUtime=3048.85
/proc/17525/stat : 17525 (minisat) R 17524 17453 16399 0 -1 4194304 146098 0 0 0 304766 119 0 0 25 0 1 0 43495178 623640576 146084 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/17525/statm: 152256 146084 76 150 0 152103 0
Current children cumulated CPU time (s) 3209.15
Current children cumulated vsize (KiB) 628376

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17883
/proc/meminfo: memFree=1030488/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13996 CPUtime=160.3
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 1607 540664 0 6 6 2 15406 616 16 0 1 0 43478990 14331904 885 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17453/statm: 3499 885 374 3 0 599 0
[pid=17524] ppid=17453 vsize=5356 CPUtime=0
/proc/17524/stat : 17524 (sh) S 17453 17453 16399 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43495178 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17524/statm: 1339 232 193 169 0 50 0
[pid=17525] ppid=17524 vsize=612828 CPUtime=3108.55
/proc/17525/stat : 17525 (minisat) R 17524 17453 16399 0 -1 4194304 146732 0 0 0 310735 120 0 0 25 0 1 0 43495178 627535872 146718 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/17525/statm: 153207 146718 76 150 0 153054 0
Current children cumulated CPU time (s) 3268.85
Current children cumulated vsize (KiB) 632180

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17883
/proc/meminfo: memFree=1027480/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13996 CPUtime=160.3
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 1607 540664 0 6 6 2 15406 616 16 0 1 0 43478990 14331904 885 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17453/statm: 3499 885 374 3 0 599 0
[pid=17524] ppid=17453 vsize=5356 CPUtime=0
/proc/17524/stat : 17524 (sh) S 17453 17453 16399 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43495178 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17524/statm: 1339 232 193 169 0 50 0
[pid=17525] ppid=17524 vsize=615848 CPUtime=3168.25
/proc/17525/stat : 17525 (minisat) R 17524 17453 16399 0 -1 4194304 147481 0 0 0 316704 121 0 0 25 0 1 0 43495178 630628352 147467 996147200 134512640 135127466 4294956256 18446744073709551615 134530679 0 0 4096 3 0 0 0 17 0 0 0
/proc/17525/statm: 153962 147467 76 150 0 153809 0
Current children cumulated CPU time (s) 3328.55
Current children cumulated vsize (KiB) 635200

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17883
/proc/meminfo: memFree=1023768/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13996 CPUtime=160.3
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 1607 540664 0 6 6 2 15406 616 16 0 1 0 43478990 14331904 885 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17453/statm: 3499 885 374 3 0 599 0
[pid=17524] ppid=17453 vsize=5356 CPUtime=0
/proc/17524/stat : 17524 (sh) S 17453 17453 16399 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43495178 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17524/statm: 1339 232 193 169 0 50 0
[pid=17525] ppid=17524 vsize=619576 CPUtime=3227.96
/proc/17525/stat : 17525 (minisat) R 17524 17453 16399 0 -1 4194304 148376 0 0 0 322674 122 0 0 25 0 1 0 43495178 634445824 148362 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/17525/statm: 154894 148362 76 150 0 154741 0
Current children cumulated CPU time (s) 3388.26
Current children cumulated vsize (KiB) 638928

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17883
/proc/meminfo: memFree=1020376/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13996 CPUtime=160.3
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 1607 540664 0 6 6 2 15406 616 16 0 1 0 43478990 14331904 885 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17453/statm: 3499 885 374 3 0 599 0
[pid=17524] ppid=17453 vsize=5356 CPUtime=0
/proc/17524/stat : 17524 (sh) S 17453 17453 16399 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43495178 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17524/statm: 1339 232 193 169 0 50 0
[pid=17525] ppid=17524 vsize=623124 CPUtime=3287.65
/proc/17525/stat : 17525 (minisat) R 17524 17453 16399 0 -1 4194304 149197 0 0 0 328642 123 0 0 25 0 1 0 43495178 638078976 149183 996147200 134512640 135127466 4294956256 18446744073709551615 134530768 0 0 4096 3 0 0 0 17 0 0 0
/proc/17525/statm: 155781 149183 76 150 0 155628 0
Current children cumulated CPU time (s) 3447.95
Current children cumulated vsize (KiB) 642476

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17889
/proc/meminfo: memFree=1016152/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13996 CPUtime=160.3
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 1607 540664 0 6 6 2 15406 616 16 0 1 0 43478990 14331904 885 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17453/statm: 3499 885 374 3 0 599 0
[pid=17524] ppid=17453 vsize=5356 CPUtime=0
/proc/17524/stat : 17524 (sh) S 17453 17453 16399 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43495178 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17524/statm: 1339 232 193 169 0 50 0
[pid=17525] ppid=17524 vsize=626664 CPUtime=3347.33
/proc/17525/stat : 17525 (minisat) R 17524 17453 16399 0 -1 4194304 150072 0 0 0 334609 124 0 0 25 0 1 0 43495178 641703936 150058 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/17525/statm: 156666 150058 76 150 0 156513 0
Current children cumulated CPU time (s) 3507.63
Current children cumulated vsize (KiB) 646016

[startup+3582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/84 17889
/proc/meminfo: memFree=1012824/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13996 CPUtime=160.3
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 1607 540664 0 6 6 2 15406 616 16 0 1 0 43478990 14331904 885 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17453/statm: 3499 885 374 3 0 599 0
[pid=17524] ppid=17453 vsize=5356 CPUtime=0
/proc/17524/stat : 17524 (sh) S 17453 17453 16399 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43495178 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17524/statm: 1339 232 193 169 0 50 0
[pid=17525] ppid=17524 vsize=629984 CPUtime=3407.03
/proc/17525/stat : 17525 (minisat) R 17524 17453 16399 0 -1 4194304 150892 0 0 0 340578 125 0 0 25 0 1 0 43495178 645103616 150878 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 0 0 0
/proc/17525/statm: 157496 150878 76 150 0 157343 0
Current children cumulated CPU time (s) 3567.33
Current children cumulated vsize (KiB) 649336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.2 s]
/proc/loadavg: 2.03 2.01 2.00 3/84 17889
/proc/meminfo: memFree=1011032/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13996 CPUtime=160.3
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 1607 540664 0 6 6 2 15406 616 16 0 1 0 43478990 14331904 885 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17453/statm: 3499 885 374 3 0 599 0
[pid=17524] ppid=17453 vsize=5356 CPUtime=0
/proc/17524/stat : 17524 (sh) S 17453 17453 16399 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43495178 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17524/statm: 1339 232 193 169 0 50 0
[pid=17525] ppid=17524 vsize=631740 CPUtime=3439.77
/proc/17525/stat : 17525 (minisat) R 17524 17453 16399 0 -1 4194304 151319 0 0 0 343852 125 0 0 25 0 1 0 43495178 646901760 151305 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/17525/statm: 157935 151305 76 150 0 157782 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 651092

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

[startup+3615.2 s]
/proc/loadavg: 2.03 2.01 2.00 3/84 17889
/proc/meminfo: memFree=1011032/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13996 CPUtime=160.3
/proc/17453/stat : 17453 (sugar) S 17451 17453 16399 0 -1 4194304 1607 540664 0 6 6 2 15406 616 16 0 1 0 43478990 14331904 885 996147200 4194304 4206940 548682068592 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17453/statm: 3499 885 374 3 0 599 0
[pid=17524] ppid=17453 vsize=5356 CPUtime=0
/proc/17524/stat : 17524 (sh) S 17453 17453 16399 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43495178 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17524/statm: 1339 232 193 169 0 50 0
[pid=17525] ppid=17524 vsize=631740 CPUtime=3439.77
/proc/17525/stat : 17525 (minisat) R 17524 17453 16399 0 -1 4194304 151319 0 0 0 343852 125 0 0 25 0 1 0 43495178 646901760 151305 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/17525/statm: 157935 151305 76 150 0 157782 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 651092

# WARNING:
# current cumulated CPU time (160.32 s) is less than in the last sample (3600.07 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (3439.75 s) to the 'lost time'.

[startup+3615.32 s]
/proc/loadavg: 2.03 2.01 2.00 3/84 17889
/proc/meminfo: memFree=1011032/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13996 CPUtime=160.32
/proc/17453/stat : 17453 (sugar) R 17451 17453 16399 0 -1 4194304 1640 540941 0 6 6 3 15406 617 17 0 1 0 43478990 14331904 886 996147200 4194304 4206940 548682068592 18446744073709551615 244671288361 0 0 4224 16386 0 0 0 17 0 0 0
/proc/17453/statm: 3499 886 375 3 0 599 0
Current children cumulated CPU time (s) 160.32
Current children cumulated vsize (KiB) 13996

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

[startup+3615.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/84 17889
/proc/meminfo: memFree=1011032/2055920 swapFree=4192812/4192956
[pid=17453] ppid=17451 vsize=13996 CPUtime=160.41
/proc/17453/stat : 17453 (sugar) R 17451 17453 16399 0 -1 4194304 1640 540941 0 6 6 12 15406 617 17 0 1 0 43478990 14331904 886 996147200 4194304 4206940 548682068592 18446744073709551615 244671288361 0 0 4224 16386 0 0 0 17 0 0 0
/proc/17453/statm: 3499 886 375 3 0 599 0
Current children cumulated CPU time (s) 160.41
Current children cumulated vsize (KiB) 13996

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3439.75
#  lost CPU user time (s): 3438.52
#  lost CPU system time (s): 1.23

Real time (s): 3615.45
CPU time (s): 3600.21
CPU user time (s): 3592.64
CPU system time (s): 7.56904
CPU usage (%): 99.5785
Max. virtual memory (cumulated for all children) (KiB): 887436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 154.124
system time used= 6.33904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 542612
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60318
involuntary context switches= 61686

runsolver used 4.02939 second user time and 10.8793 second system time

The end

Launcher Data (download as text)

Begin job on node7 at 2008-07-12 15:02:38
IDJOB=1112418
IDBENCH=61414
IDSOLVER=368
FILE ID=node7/1112418-1215867758
PBS_JOBID= 7903466
Free space on /tmp= 66524 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-10/normalized-super-os-taillard-10-24.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-1112418-1215867758/watcher-1112418-1215867758 -o /tmp/evaluation-result-1112418-1215867758/solver-1112418-1215867758 -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-1112418-1215867758.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9306ef7954ddac95b00e0f57746494c3
RANDOM SEED=452100753

node7.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.259
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.259
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:       1935760 kB
Buffers:          2788 kB
Cached:          35700 kB
SwapCached:          0 kB
Active:          62628 kB
Inactive:         3756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1935760 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1920 kB
Writeback:           0 kB
Mapped:          48068 kB
Slab:            38996 kB
Committed_AS:   264332 kB
PageTables:       1964 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= 66524 MiB
End job on node7 at 2008-07-12 16:02:55