Trace number 1113885

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-incOPTIMUM4 210.432 213.228

General information on the benchmark

Namecsp/os-taillard-10/
normalized-os-taillard-10-95-1.xml
MD5SUMc4bee948f28d4254d98dcb202c49f529
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints4
Best CPU time to get the best result obtained on this benchmark210.432
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size558
Number of constraints which are defined in extension0
Number of constraints which are defined in intension900
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.22	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.05/0.22	c 0	BEGIN Sat Jul 12 22:04:37 2008
0.05/0.22	c 0	PID 14758
0.05/0.23	c 0	HOST node87.alineos.net
0.05/0.23	c 0	CONVERTING HOME/instance-1113885-1215893077.xml TO HOME/temp.csp
0.05/0.23	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1113885-1215893077.xml' 'HOME/temp.csp'
0.06/0.64	c 1	100 domains, 100 variables, 1 predicates, 0 relations, 900 constraints
0.06/0.65	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.65	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.45/0.72	c 1	Parsing HOME/temp.csp
0.45/0.98	c 1	parsed 1101 expressions
0.45/0.98	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.45/1.00	c 1	MAX CSP: 900 constraints
0.45/1.00	c 1	Converting to clausal form CSP
0.79/1.02	c 1	converted 201 (10%) expressions
0.79/1.07	c 1	converted 401 (20%) expressions
0.79/1.10	c 1	converted 602 (30%) expressions
0.89/1.18	c 1	converted 802 (40%) expressions
0.89/1.19	c 1	converted 1002 (50%) expressions
0.99/1.20	c 1	converted 1203 (60%) expressions
0.99/1.21	c 1	converted 1403 (70%) expressions
0.99/1.21	c 1	converted 1604 (80%) expressions
0.99/1.22	c 1	converted 1804 (90%) expressions
1.08/1.32	c 1	converted 2004 (100%) expressions
1.08/1.32	c 1	CSP : 1900 integers, 0 booleans, 2699 clauses, largest domain size 1351
1.08/1.32	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.08/1.32	c 1	Propagation in CSP
1.08/1.37	c 1	896 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.08/1.37	c 1	CSP : 1900 integers, 0 booleans, 2699 clauses, largest domain size 901
1.08/1.37	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.08/1.38	c 1	Simplifing CSP by introducing new Boolean variables
1.08/1.40	c 2	CSP : 1900 integers, 1800 booleans, 4499 clauses, largest domain size 901
1.08/1.40	c 2	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.18/1.43	c 2	Encoding CSP to SAT : HOME/temp.cnf
1.28/1.51	c 2	190 (10%) CSP integer variables are encoded (50899 clauses, 741383 bytes)
1.28/1.51	c 2	380 (20%) CSP integer variables are encoded (50899 clauses, 741383 bytes)
1.28/1.51	c 2	570 (30%) CSP integer variables are encoded (50899 clauses, 741383 bytes)
1.28/1.51	c 2	760 (40%) CSP integer variables are encoded (50899 clauses, 741383 bytes)
1.28/1.51	c 2	950 (50%) CSP integer variables are encoded (50899 clauses, 741383 bytes)
1.28/1.52	c 2	1140 (60%) CSP integer variables are encoded (56119 clauses, 819683 bytes)
1.28/1.52	c 2	1330 (70%) CSP integer variables are encoded (60542 clauses, 886028 bytes)
1.28/1.53	c 2	1520 (80%) CSP integer variables are encoded (62861 clauses, 920813 bytes)
1.28/1.53	c 2	1710 (90%) CSP integer variables are encoded (64215 clauses, 941123 bytes)
1.28/1.54	c 2	1900 (100%) CSP integer variables are encoded (66080 clauses, 969098 bytes)
1.47/1.79	c 2	450 (10%) CSP clauses are encoded (200356 clauses, 3694771 bytes)
1.77/2.04	c 2	900 (20%) CSP clauses are encoded (339616 clauses, 6620046 bytes)
1.97/2.29	c 2	1350 (30%) CSP clauses are encoded (478294 clauses, 9666912 bytes)
2.27/2.53	c 3	1800 (40%) CSP clauses are encoded (619032 clauses, 12759098 bytes)
2.46/2.79	c 3	2250 (50%) CSP clauses are encoded (757724 clauses, 15806272 bytes)
2.76/3.04	c 3	2700 (60%) CSP clauses are encoded (900344 clauses, 18939862 bytes)
3.46/3.76	c 4	3150 (70%) CSP clauses are encoded (1322392 clauses, 27901508 bytes)
4.15/4.46	c 5	3600 (80%) CSP clauses are encoded (1732730 clauses, 36687503 bytes)
4.25/4.56	c 5	4050 (90%) CSP clauses are encoded (1786674 clauses, 37824276 bytes)
4.55/4.83	c 5	4499 (100%) CSP clauses are encoded (1943206 clauses, 41157518 bytes)
4.55/4.83	c 5	4499 CSP clauses encoded
4.55/4.83	c 5	Writing map file : HOME/temp.map
4.55/4.86	c 5	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.55/4.86	c 5	SAT : 69780 SAT variables, 1943206 SAT clauses, 41157518 bytes
4.55/4.86	c 5	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.61/4.92	c 5	OBJECTIVE minimize _COST
4.61/4.92	c 5	SOLVING HOME/temp.cnf
4.61/4.92	c 5	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
4.63/6.04	c 6	This is MiniSat 2.0 beta incremental
4.63/6.04	c 6	WARNING: for repeatability, setting FPU to use double precision
4.63/6.04	c 6	============================[ Problem Statistics ]=============================
4.63/6.04	c 6	|                                                                             |
4.63/6.04	c 6	|  Number of variables:  69780                                                |
4.63/6.04	c 6	|  Number of clauses:    1943206                                              |
5.47/6.94	c 7	|  Parsing time:         0.77         s                                       |
5.47/6.99	c 7	OK
5.47/6.99	c 7	OBJECTIVE BOUND: 0 <= _COST <= 
5.47/6.99	c 7	SEARCHING: _COST <= 450
5.47/6.99	c 7	============================[ Search Statistics ]==============================
5.47/6.99	c 7	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.47/6.99	c 7	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.47/6.99	c 7	===============================================================================
5.47/6.99	c 7	|         0 |   69780  1943206  5728676 |   647735        0    nan |  0.000 % |
5.78/7.24	c 7	|       101 |   69780  1943206  5728676 |   712508      101     34 |  0.000 % |
5.87/7.36	c 7	===============================================================================
5.87/7.37	c 7	restarts              : 2
5.87/7.37	c 7	conflicts             : 104           (88 /sec)
5.87/7.37	c 7	decisions             : 2037          (1.47 % random) (1731 /sec)
5.87/7.37	c 7	propagations          : 271440         (230655 /sec)
5.87/7.37	c 7	conflict literals     : 3414           (3.75 % deleted)
5.87/7.37	c 7	Memory used           : 88.77 MB
5.87/7.37	c 7	CPU time              : 1.17682 s
5.87/7.37	c 7	
5.87/7.37	c 7	SATISFIABLE
5.87/7.39	c 7	OK
5.87/7.39	c 7	FOUND: _COST <= 450
5.87/7.39	s SATISFIABLE
5.87/7.39	c 7	DECODING HOME/temp.out WITH HOME/temp.map
5.87/7.39	c 7	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
5.97/7.47	c 8	Decoding HOME/temp.out
6.16/7.63	c 8	OBJECTIVE _COST 360
6.16/7.63	o 360
6.16/7.63	v 446 462 523 541 517 482 485 529 508 373 333 431 386 457 462 556 545 341 451 472 446 398 550 519 66 419 366 470 120 159 555 60 117 470 210 22 288 444 538 536 447 183 359 210 224 301 492 418 484 246 517 165 178 375 64 418 324 355 253 214 140 477 112 23 512 224 553 234 556 224 199 48 83 116 309 198 464 285 535 549 157 422 174 557 254 197 258 400 317 543 418 540 471 330 312 485 487 257 372 251
6.16/7.64	c 8	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
6.16/7.66	c 8	OK
6.16/7.66	c 8	OBJECTIVE BOUND: 0 <= _COST <= 360
6.16/7.66	c 8	SEARCHING: _COST <= 180
6.16/7.66	c 8	============================[ Search Statistics ]==============================
6.16/7.66	c 8	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.16/7.66	c 8	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.16/7.66	c 8	===============================================================================
6.16/7.66	c 8	|       104 |   69780  1943206  5728676 |   647735      104     33 |  0.000 % |
6.46/7.92	c 8	|       207 |   66524  1943206  5728676 |   712508      207     38 |  7.868 % |
6.56/8.02	c 8	===============================================================================
6.56/8.02	c 8	restarts              : 4
6.56/8.02	c 8	conflicts             : 214           (137 /sec)
6.56/8.02	c 8	decisions             : 3682          (1.17 % random) (2358 /sec)
6.56/8.02	c 8	propagations          : 535588         (342938 /sec)
6.56/8.02	c 8	conflict literals     : 8092           (11.16 % deleted)
6.56/8.02	c 8	Memory used           : 89.80 MB
6.56/8.02	c 8	CPU time              : 1.56176 s
6.56/8.02	c 8	
6.56/8.02	c 8	SATISFIABLE
6.56/8.04	c 8	OK
6.56/8.04	c 8	FOUND: _COST <= 180
6.56/8.04	c 8	DECODING HOME/temp.out WITH HOME/temp.map
6.56/8.04	c 8	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
6.61/8.12	c 8	Decoding HOME/temp.out
6.61/8.30	c 8	OBJECTIVE _COST 180
6.61/8.30	o 180
6.61/8.30	v 353 256 510 448 519 482 509 527 508 351 283 247 395 471 478 157 446 273 440 495 42 250 363 473 425 516 372 510 160 199 273 489 417 178 482 286 402 546 381 557 468 207 380 366 222 293 492 244 481 151 517 433 247 337 382 175 286 555 458 119 115 277 204 470 244 402 374 412 463 466 288 47 526 206 115 430 221 343 23 37 487 509 407 291 359 232 163 363 383 147 511 540 417 452 486 504 379 431 432 318
6.61/8.30	c 8	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
6.61/8.36	c 8	OK
6.61/8.36	c 8	OBJECTIVE BOUND: 0 <= _COST <= 180
6.61/8.36	c 8	SEARCHING: _COST <= 90
6.61/8.37	c 8	============================[ Search Statistics ]==============================
6.61/8.38	c 8	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.61/8.38	c 8	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.61/8.38	c 8	===============================================================================
6.61/8.38	c 8	|       214 |   64290  1943206  5728676 |   647735      214     38 |  7.868 % |
6.92/8.46	c 9	===============================================================================
6.92/8.47	c 9	restarts              : 5
6.92/8.47	c 9	conflicts             : 225           (133 /sec)
6.92/8.47	c 9	decisions             : 4256          (1.06 % random) (2514 /sec)
6.92/8.47	c 9	propagations          : 620657         (366658 /sec)
6.92/8.47	c 9	conflict literals     : 8264           (11.17 % deleted)
6.92/8.47	c 9	Memory used           : 90.05 MB
6.92/8.47	c 9	CPU time              : 1.69274 s
6.92/8.47	c 9	
6.92/8.47	c 9	SATISFIABLE
6.92/8.49	c 9	OK
6.92/8.49	c 9	FOUND: _COST <= 90
6.92/8.49	c 9	DECODING HOME/temp.out WITH HOME/temp.map
6.92/8.49	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'
7.01/8.56	c 9	Decoding HOME/temp.out
7.20/8.74	c 9	OBJECTIVE _COST 90
7.20/8.74	o 90
7.20/8.74	v 308 139 236 541 272 58 353 109 381 403 313 332 420 471 478 417 237 147 465 249 330 195 550 519 410 403 282 456 141 58 407 484 3 337 262 167 96 458 411 1 468 126 358 338 49 179 446 366 494 283 521 13 432 71 420 283 185 496 500 388 165 268 22 50 344 155 553 395 550 448 10 352 102 140 222 434 329 135 315 424 479 509 118 335 505 352 406 204 19 102 511 540 339 180 377 217 395 436 513 119
7.20/8.74	c 9	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
7.20/8.75	c 9	OK
7.20/8.75	c 9	OBJECTIVE BOUND: 0 <= _COST <= 90
7.20/8.75	c 9	SEARCHING: _COST <= 45
7.20/8.76	c 9	============================[ Search Statistics ]==============================
7.20/8.77	c 9	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.20/8.77	c 9	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.20/8.77	c 9	===============================================================================
7.20/8.77	c 9	|       225 |   62175  1943206  5728676 |   647735      225     37 |  7.868 % |
7.41/8.98	c 9	===============================================================================
7.41/8.98	c 9	restarts              : 6
7.41/8.98	c 9	conflicts             : 280           (144 /sec)
7.41/8.98	c 9	decisions             : 4813          (1.00 % random) (2475 /sec)
7.41/8.98	c 9	propagations          : 836530         (430158 /sec)
7.41/8.98	c 9	conflict literals     : 11451          (10.08 % deleted)
7.41/8.98	c 9	Memory used           : 90.18 MB
7.41/8.98	c 9	CPU time              : 1.9447 s
7.41/8.98	c 9	
7.41/8.98	c 9	SATISFIABLE
7.50/9.01	c 9	OK
7.50/9.01	c 9	FOUND: _COST <= 45
7.50/9.01	c 9	DECODING HOME/temp.out WITH HOME/temp.map
7.50/9.01	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'
7.50/9.08	c 9	Decoding HOME/temp.out
7.51/9.24	c 9	OBJECTIVE _COST 45
7.51/9.24	o 45
7.51/9.26	v 445 232 470 54 99 329 506 202 275 135 157 22 345 390 478 119 123 255 48 54 95 214 550 354 168 435 301 501 56 3 540 400 23 416 325 119 228 546 2 1 453 544 385 342 320 14 171 356 255 116 379 110 417 9 263 209 339 173 482 177 118 297 67 208 373 56 202 406 556 457 473 258 72 419 326 122 31 238 105 228 211 509 422 413 415 13 447 257 72 155 66 522 408 209 541 299 156 422 495 95
7.51/9.26	c 9	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
7.51/9.27	c 9	OK
7.51/9.27	c 9	OBJECTIVE BOUND: 0 <= _COST <= 45
7.51/9.27	c 9	SEARCHING: _COST <= 22
7.51/9.27	c 9	============================[ Search Statistics ]==============================
7.51/9.27	c 9	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.51/9.27	c 9	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.51/9.27	c 9	===============================================================================
7.51/9.27	c 9	|       280 |   60757  1943206  5728676 |   647735      280     41 |  7.868 % |
7.88/9.46	c 10	|       381 |   60757  1943206  5728676 |   712508      381     39 | 14.527 % |
8.08/9.61	c 10	|       532 |   60757  1943206  5728676 |   783759      532     33 | 14.527 % |
8.18/9.71	c 10	|       758 |   60757  1943206  5728676 |   862135      758     27 | 14.527 % |
8.29/9.88	c 10	|      1095 |   60757  1943206  5728676 |   948349     1095     23 | 14.527 % |
8.58/10.17	c 10	|      1603 |   60757  1943206  5728676 |  1043184     1603     23 | 14.527 % |
9.07/10.64	c 11	|      2364 |   60757  1943206  5728676 |  1147502     2364     22 | 14.527 % |
9.57/11.15	c 11	|      3504 |   60757  1943206  5728676 |  1262252     3504     22 | 14.527 % |
10.26/11.82	c 12	|      5212 |   60757  1943206  5728676 |  1388478     5212     20 | 14.527 % |
11.35/12.98	c 13	|      7774 |   60757  1943206  5728676 |  1527326     7774     19 | 14.527 % |
14.84/16.46	c 17	|     11618 |   59643   996206  2917232 |  1680058    11547     22 | 14.527 % |
17.42/19.01	c 19	|     17385 |   59643   996206  2917232 |  1848064    17314     23 | 14.527 % |
23.08/24.71	c 25	|     26035 |   59643   996206  2917232 |  2032870    25964     24 | 14.527 % |
33.43/35.13	c 35	|     39010 |   59643   996206  2917232 |  2236158    38939     26 | 14.527 % |
56.68/58.53	c 59	|     58472 |   59643   996206  2917232 |  2459773    58401     32 | 14.527 % |
84.42/86.49	c 87	|     87664 |   59643   996206  2917232 |  2705751    87593     34 | 14.527 % |
127.46/129.72	c 130	|    131453 |   59643   996206  2917232 |  2976326   131382     32 | 14.527 % |
167.82/170.38	c 170	===============================================================================
167.82/170.38	c 170	restarts              : 23
167.82/170.38	c 170	conflicts             : 173498        (1070 /sec)
167.82/170.38	c 170	decisions             : 220082        (1.59 % random) (1358 /sec)
167.82/170.38	c 170	propagations          : 151931381      (937337 /sec)
167.82/170.38	c 170	conflict literals     : 5431682        (15.39 % deleted)
167.82/170.38	c 170	Memory used           : 95.50 MB
167.82/170.38	c 170	CPU time              : 162.088 s
167.82/170.38	c 170	
167.82/170.38	c 170	SATISFIABLE
167.92/170.41	c 171	OK
167.92/170.41	c 171	FOUND: _COST <= 22
167.92/170.41	c 171	DECODING HOME/temp.out WITH HOME/temp.map
167.92/170.41	c 171	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
167.92/170.49	c 171	Decoding HOME/temp.out
167.92/170.66	c 171	OBJECTIVE _COST 22
167.92/170.66	o 22
167.92/170.66	v 163 365 33 5 70 258 109 335 395 462 3 524 465 219 126 556 207 307 550 397 137 255 215 106 342 404 2 510 471 55 1 502 183 83 5 369 298 152 481 181 304 134 210 545 523 149 447 418 69 14 346 514 101 159 259 23 459 510 400 69 461 38 5 276 367 546 418 207 556 114 424 113 268 101 210 384 90 301 76 549 148 5 533 365 1 165 464 446 224 388 511 540 355 258 62 7 449 185 80 388
167.92/170.67	c 171	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
168.20/170.74	c 171	OK
168.20/170.74	c 171	OBJECTIVE BOUND: 0 <= _COST <= 22
168.20/170.74	c 171	SEARCHING: _COST <= 11
168.20/170.74	c 171	============================[ Search Statistics ]==============================
168.20/170.74	c 171	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
168.20/170.74	c 171	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
168.20/170.74	c 171	===============================================================================
168.20/170.74	c 171	|    173498 |   58625   945651  2768598 |   315217   173413     31 | 14.527 % |
168.40/170.96	c 171	|    173599 |   58625   945651  2768598 |   346738   173514     31 | 15.986 % |
168.90/171.40	c 172	|    173749 |   58625   945651  2768598 |   381412   173664     31 | 15.986 % |
169.39/171.98	c 172	|    173974 |   58625   945651  2768598 |   419553   173889     31 | 15.986 % |
169.89/172.47	c 173	|    174311 |   58625   945651  2768598 |   461509   174226     31 | 15.986 % |
170.98/173.54	c 174	|    174817 |   58625   945651  2768598 |   507660   174732     31 | 15.986 % |
172.08/174.61	c 175	|    175576 |   58625   945651  2768598 |   558426   175491     31 | 15.986 % |
173.87/176.48	c 177	|    176715 |   58625   945651  2768598 |   614268   176630     31 | 15.986 % |
176.05/178.67	c 179	|    178424 |   58625   945651  2768598 |   675695   178339     32 | 15.986 % |
180.72/183.32	c 183	|    180986 |   58625   945651  2768598 |   743265   180901     32 | 15.986 % |
185.39/188.05	c 188	|    184831 |   58625   945651  2768598 |   817591   184746     32 | 15.986 % |
187.08/189.78	c 190	===============================================================================
187.08/189.78	c 190	restarts              : 34
187.08/189.78	c 190	conflicts             : 186079        (1027 /sec)
187.08/189.79	c 190	decisions             : 235696        (1.58 % random) (1301 /sec)
187.08/189.79	c 190	propagations          : 164006681      (905607 /sec)
187.08/189.79	c 190	conflict literals     : 5947497        (15.83 % deleted)
187.08/189.79	c 190	Memory used           : 97.46 MB
187.08/189.79	c 190	CPU time              : 181.101 s
187.08/189.79	c 190	
187.08/189.79	c 190	SATISFIABLE
187.18/189.81	c 190	OK
187.18/189.81	c 190	FOUND: _COST <= 11
187.18/189.81	c 190	DECODING HOME/temp.out WITH HOME/temp.map
187.18/189.81	c 190	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
187.18/189.88	c 190	Decoding HOME/temp.out
187.19/190.05	c 190	OBJECTIVE _COST 11
187.19/190.05	o 11
187.19/190.05	v 2 255 408 444 358 148 394 225 97 462 276 469 121 188 388 174 376 7 115 495 486 145 232 438 9 300 247 385 106 55 555 97 434 308 225 2 154 395 374 0 395 375 270 211 122 8 144 241 494 66 489 343 29 247 413 186 65 16 127 527 256 390 359 166 94 84 10 19 387 466 20 106 214 352 174 265 421 472 458 448 253 5 466 442 1 284 500 156 338 128 0 47 486 177 444 504 285 340 70 116
187.19/190.05	c 190	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
187.46/190.14	c 190	OK
187.46/190.14	c 190	OBJECTIVE BOUND: 0 <= _COST <= 11
187.46/190.14	c 190	SEARCHING: _COST <= 5
187.46/190.14	c 190	============================[ Search Statistics ]==============================
187.46/190.14	c 190	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.46/190.14	c 190	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
187.46/190.14	c 190	===============================================================================
187.46/190.14	c 190	|    186079 |   57695   919547  2693065 |   306515   185857     32 | 15.986 % |
187.67/190.31	c 190	|    186180 |   57695   919547  2693065 |   337167   185958     32 | 17.319 % |
187.96/190.66	c 191	|    186330 |   57695   919547  2693065 |   370883   186108     32 | 17.319 % |
188.06/190.76	c 191	|    186555 |   57695   919547  2693065 |   407972   186333     32 | 17.319 % |
188.45/191.14	c 191	|    186892 |   57695   919547  2693065 |   448769   186670     32 | 17.319 % |
188.55/191.27	c 191	|    187398 |   57695   919547  2693065 |   493646   187176     32 | 17.319 % |
189.25/191.99	c 192	|    188157 |   57695   919547  2693065 |   543011   187935     32 | 17.319 % |
189.65/192.37	c 192	===============================================================================
189.65/192.37	c 192	restarts              : 41
189.65/192.37	c 192	conflicts             : 188717        (1029 /sec)
189.65/192.37	c 192	decisions             : 239189        (1.58 % random) (1304 /sec)
189.65/192.37	c 192	propagations          : 166205854      (906213 /sec)
189.65/192.37	c 192	conflict literals     : 6039847        (15.95 % deleted)
189.65/192.37	c 192	Memory used           : 97.46 MB
189.65/192.37	c 192	CPU time              : 183.407 s
189.65/192.37	c 192	
189.65/192.37	c 192	SATISFIABLE
189.65/192.39	c 192	OK
189.65/192.39	c 192	FOUND: _COST <= 5
189.65/192.39	c 192	DECODING HOME/temp.out WITH HOME/temp.map
189.65/192.39	c 192	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
189.75/192.48	c 193	Decoding HOME/temp.out
189.93/192.66	c 193	OBJECTIVE _COST 5
189.93/192.66	o 5
189.93/192.66	v 176 0 505 541 271 97 455 511 404 307 117 91 372 417 227 556 215 1 517 308 219 6 532 339 120 370 471 417 300 166 18 326 192 27 413 93 488 313 383 306 292 22 383 545 523 157 225 474 37 102 343 514 52 247 435 389 196 32 98 160 4 98 326 470 437 88 227 174 430 233 131 217 526 285 468 381 503 10 367 110 471 385 74 524 466 259 188 34 97 354 5 447 433 468 415 36 180 93 308 354
189.93/192.66	c 193	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
190.01/192.71	c 193	OK
190.01/192.71	c 193	OBJECTIVE BOUND: 0 <= _COST <= 5
190.01/192.71	c 193	SEARCHING: _COST <= 2
190.01/192.71	c 193	============================[ Search Statistics ]==============================
190.01/192.71	c 193	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.01/192.71	c 193	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
190.01/192.71	c 193	===============================================================================
190.01/192.71	c 193	|    188717 |   57695   919547  2693065 |   306515   188495     32 | 17.319 % |
190.01/192.75	c 193	|    188818 |   57695   919547  2693065 |   337167   188596     32 | 18.806 % |
190.01/192.79	c 193	|    188968 |   57695   919547  2693065 |   370883   188746     32 | 18.806 % |
190.12/192.83	c 193	|    189193 |   57695   919547  2693065 |   407972   188971     32 | 18.806 % |
190.12/192.84	c 193	===============================================================================
190.12/192.84	c 193	restarts              : 45
190.12/192.84	c 193	conflicts             : 189247        (1031 /sec)
190.12/192.84	c 193	decisions             : 239753        (1.58 % random) (1306 /sec)
190.12/192.84	c 193	propagations          : 166537312      (907278 /sec)
190.12/192.84	c 193	conflict literals     : 6059023        (15.99 % deleted)
190.12/192.84	c 193	Memory used           : 97.46 MB
190.12/192.84	c 193	CPU time              : 183.557 s
190.12/192.84	c 193	
190.12/192.84	c 193	UNSATISFIABLE
190.12/192.85	c 193	OK
190.12/192.85	c 193	NOT FOUND: _COST <= 2
190.12/192.85	c 193	OK
190.12/192.85	c 193	OBJECTIVE BOUND: 3 <= _COST <= 5
190.12/192.85	c 193	SEARCHING: _COST <= 4
190.12/192.85	c 193	============================[ Search Statistics ]==============================
190.12/192.85	c 193	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.12/192.85	c 193	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
190.12/192.85	c 193	===============================================================================
190.12/192.85	c 193	|    189247 |   57695   919547  2693065 |   306515   189024     32 | 18.806 % |
190.41/193.17	c 193	|    189347 |   57693   919547  2693065 |   337167   189124     32 | 18.819 % |
190.51/193.23	c 193	|    189497 |   57693   919547  2693065 |   370883   189274     32 | 18.819 % |
190.81/193.52	c 194	|    189724 |   57693   919547  2693065 |   407972   189501     32 | 18.819 % |
190.91/193.64	c 194	|    190061 |   57693   919547  2693065 |   448769   189838     32 | 18.819 % |
191.40/194.17	c 194	|    190569 |   57693   919547  2693065 |   493646   190346     32 | 18.819 % |
192.30/195.01	c 195	===============================================================================
192.30/195.01	c 195	restarts              : 51
192.30/195.01	c 195	conflicts             : 191164        (1029 /sec)
192.30/195.01	c 195	decisions             : 242414        (1.58 % random) (1305 /sec)
192.30/195.01	c 195	propagations          : 168429045      (906948 /sec)
192.30/195.01	c 195	conflict literals     : 6126103        (16.09 % deleted)
192.30/195.02	c 195	Memory used           : 97.87 MB
192.30/195.02	c 195	CPU time              : 185.71 s
192.30/195.02	c 195	
192.30/195.02	c 195	SATISFIABLE
192.30/195.04	c 195	OK
192.30/195.04	c 195	FOUND: _COST <= 4
192.30/195.04	c 195	DECODING HOME/temp.out WITH HOME/temp.map
192.30/195.04	c 195	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
192.33/195.11	c 195	Decoding HOME/temp.out
192.33/195.28	c 195	OBJECTIVE _COST 4
192.33/195.28	o 4
192.33/195.29	v 3 183 473 294 356 98 509 392 422 0 307 278 113 190 17 187 165 405 107 495 477 390 550 304 144 55 197 335 105 4 446 27 466 97 329 234 163 453 6 2 160 145 471 131 26 346 404 251 66 280 396 226 271 130 316 84 15 392 467 434 228 450 422 24 526 412 18 175 127 312 73 159 250 384 68 283 227 472 370 5 399 445 536 443 20 301 48 253 144 1 29 158 483 195 177 416 497 58 283 355
192.33/195.29	c 195	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
192.33/195.30	c 195	OK
192.33/195.30	c 195	OBJECTIVE BOUND: 3 <= _COST <= 4
192.33/195.30	c 195	SEARCHING: _COST <= 3
192.33/195.30	c 195	============================[ Search Statistics ]==============================
192.33/195.30	c 195	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.33/195.30	c 195	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
192.33/195.30	c 195	===============================================================================
192.33/195.30	c 195	|    191164 |   56648   919547  2693065 |   306515   190941     32 | 18.819 % |
192.33/195.36	c 195	|    191264 |   56648   919547  2693065 |   337167   191041     32 | 19.189 % |
192.99/195.79	c 196	|    191414 |   56648   919547  2693065 |   370883   191191     32 | 19.189 % |
193.09/195.88	c 196	|    191639 |   56648   919547  2693065 |   407972   191416     32 | 19.189 % |
193.48/196.26	c 196	|    191977 |   56648   919547  2693065 |   448769   191754     32 | 19.189 % |
193.77/196.52	c 197	|    192483 |   56648   919547  2693065 |   493646   192260     32 | 19.189 % |
194.47/197.21	c 197	|    193243 |   56648   919547  2693065 |   543011   193020     32 | 19.189 % |
195.76/198.53	c 199	|    194383 |   56648   919547  2693065 |   597312   194160     32 | 19.189 % |
197.15/199.99	c 200	|    196092 |   56648   919547  2693065 |   657043   195869     32 | 19.189 % |
200.13/202.93	c 203	|    198654 |   56648   919547  2693065 |   722747   198431     32 | 19.189 % |
205.31/208.10	c 208	|    202498 |   56390   900646  2640272 |   795022   201638     32 | 19.189 % |
209.19/212.06	c 212	|    208265 |   56390   900646  2640272 |   874524   207405     32 | 19.189 % |
210.28/213.19	c 213	===============================================================================
210.28/213.19	c 213	restarts              : 63
210.28/213.19	c 213	conflicts             : 212363        (1044 /sec)
210.28/213.19	c 213	decisions             : 266226        (1.60 % random) (1308 /sec)
210.28/213.19	c 213	propagations          : 183722786      (902814 /sec)
210.28/213.19	c 213	conflict literals     : 6900993        (17.58 % deleted)
210.28/213.19	c 213	Memory used           : 101.40 MB
210.28/213.19	c 213	CPU time              : 203.5 s
210.28/213.19	c 213	
210.28/213.19	c 213	UNSATISFIABLE
210.28/213.19	c 213	OK
210.28/213.19	c 213	NOT FOUND: _COST <= 3
210.28/213.19	c 213	OK
210.28/213.19	c 213	OBJECTIVE _COST 4
210.28/213.19	s OPTIMUM FOUND
210.38/213.22	c 213	CPU 209.55 (0.07 0.03 209.48 0.81)
210.38/213.22	c 213	END Sat Jul 12 22:08:10 2008

Verifier Data (download as text)

OK	4	896
4 unsatisfied constraints, 896 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-1113885-1215893077/watcher-1113885-1215893077 -o /tmp/evaluation-result-1113885-1215893077/solver-1113885-1215893077 -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-1113885-1215893077.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.01 2.06 2.01 4/106 14758
/proc/meminfo: memFree=1891008/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=12272 CPUtime=0
/proc/14758/stat : 14758 (sugar++) R 14756 14758 13930 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 46004487 12566528 327 996147200 4194304 4206940 548682068528 18446744073709551615 254613879397 0 0 4224 0 0 0 0 17 1 0 0
/proc/14758/statm: 3068 327 246 3 0 168 0

[startup+0.011102 s]
/proc/loadavg: 2.01 2.06 2.01 4/106 14758
/proc/meminfo: memFree=1891008/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=12272 CPUtime=0
/proc/14758/stat : 14758 (sugar++) R 14756 14758 13930 0 -1 4194304 410 0 0 0 0 0 0 0 18 0 1 0 46004487 12566528 378 996147200 4194304 4206940 548682068528 18446744073709551615 254622612478 0 0 4224 0 0 0 0 17 1 0 0
/proc/14758/statm: 3068 378 275 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272

[startup+0.101118 s]
/proc/loadavg: 2.01 2.06 2.01 4/106 14758
/proc/meminfo: memFree=1891008/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=13468 CPUtime=0.02
/proc/14758/stat : 14758 (sugar++) D 14756 14758 13930 0 -1 4194304 760 0 0 0 2 0 0 0 18 0 1 0 46004487 13791232 728 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/14758/statm: 3367 728 338 3 0 467 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13468

[startup+0.301162 s]
/proc/loadavg: 2.01 2.06 2.01 4/106 14758
/proc/meminfo: memFree=1891008/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16740 CPUtime=0.06
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 1217 128 2 0 5 1 0 0 16 0 1 0 46004487 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.701235 s]
/proc/loadavg: 2.01 2.06 2.01 4/106 14758
/proc/meminfo: memFree=1891008/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16740 CPUtime=0.45
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 1277 4797 2 1 5 1 36 3 16 0 1 0 46004487 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14758/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 16740

[startup+1.50239 s]
/proc/loadavg: 2.01 2.06 2.01 3/117 14780
/proc/meminfo: memFree=1881320/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16740 CPUtime=0.45
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 1295 4797 2 1 5 1 36 3 15 0 1 0 46004487 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4185 1104 409 3 0 764 0
[pid=14771] ppid=14758 vsize=5356 CPUtime=0
/proc/14771/stat : 14771 (sh) S 14758 14758 13930 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 46004552 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14771/statm: 1339 233 193 169 0 50 0
[pid=14772] ppid=14771 vsize=868484 CPUtime=0.83
/proc/14772/stat : 14772 (java) S 14771 14758 13930 0 -1 0 6873 0 1 0 79 4 0 0 19 0 9 0 46004552 889327616 6095 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14772/statm: 217121 6095 2561 9 0 211668 0
[pid=14772/tid=14773] ppid=14771 vsize=868484 CPUtime=0.53
/proc/14772/task/14773/stat : 14773 (java) R 14771 14758 13930 0 -1 64 2729 0 1 0 51 2 0 0 18 0 9 0 46004553 889327616 6095 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14772/tid=14774] ppid=14771 vsize=868484 CPUtime=0.06
/proc/14772/task/14774/stat : 14774 (java) S 14771 14758 13930 0 -1 64 1983 0 0 0 6 0 0 0 16 0 9 0 46004554 889327616 6095 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14772/tid=14775] ppid=14771 vsize=868484 CPUtime=0
/proc/14772/task/14775/stat : 14775 (java) S 14771 14758 13930 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 46004554 889327616 6095 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14772/tid=14776] ppid=14771 vsize=868484 CPUtime=0
/proc/14772/task/14776/stat : 14776 (java) S 14771 14758 13930 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46004554 889327616 6095 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14772/tid=14777] ppid=14771 vsize=868484 CPUtime=0
/proc/14772/task/14777/stat : 14777 (java) S 14771 14758 13930 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46004556 889327616 6095 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14772/tid=14778] ppid=14771 vsize=868484 CPUtime=0.21
/proc/14772/task/14778/stat : 14778 (java) S 14771 14758 13930 0 -1 64 1469 0 0 0 21 0 0 0 16 0 9 0 46004556 889327616 6095 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14772/tid=14779] ppid=14771 vsize=868484 CPUtime=0
/proc/14772/task/14779/stat : 14779 (java) S 14771 14758 13930 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46004556 889327616 6095 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14772/tid=14780] ppid=14771 vsize=868484 CPUtime=0
/proc/14772/task/14780/stat : 14780 (java) S 14771 14758 13930 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46004556 889327616 6095 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 890580

[startup+3.10269 s]
/proc/loadavg: 2.01 2.06 2.01 3/117 14780
/proc/meminfo: memFree=1865320/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16740 CPUtime=0.45
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 1295 4797 2 1 5 1 36 3 15 0 1 0 46004487 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4185 1104 409 3 0 764 0
[pid=14771] ppid=14758 vsize=5356 CPUtime=0
/proc/14771/stat : 14771 (sh) S 14758 14758 13930 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 46004552 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14771/statm: 1339 233 193 169 0 50 0
[pid=14772] ppid=14771 vsize=868484 CPUtime=2.41
/proc/14772/stat : 14772 (java) S 14771 14758 13930 0 -1 0 7408 0 1 0 224 17 0 0 19 0 9 0 46004552 889327616 6116 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14772/statm: 217121 6116 2562 9 0 211668 0
[pid=14772/tid=14773] ppid=14771 vsize=868484 CPUtime=1.98
/proc/14772/task/14773/stat : 14773 (java) R 14771 14758 13930 0 -1 64 3247 0 1 0 186 12 0 0 25 0 9 0 46004553 889327616 6116 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14772/tid=14774] ppid=14771 vsize=868484 CPUtime=0.16
/proc/14772/task/14774/stat : 14774 (java) R 14771 14758 13930 0 -1 64 1983 0 0 0 13 3 0 0 15 0 9 0 46004554 889327616 6116 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14772/tid=14775] ppid=14771 vsize=868484 CPUtime=0
/proc/14772/task/14775/stat : 14775 (java) S 14771 14758 13930 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 46004554 889327616 6116 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14772/tid=14776] ppid=14771 vsize=868484 CPUtime=0
/proc/14772/task/14776/stat : 14776 (java) S 14771 14758 13930 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46004554 889327616 6116 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14772/tid=14777] ppid=14771 vsize=868484 CPUtime=0
/proc/14772/task/14777/stat : 14777 (java) S 14771 14758 13930 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46004556 889327616 6116 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14772/tid=14778] ppid=14771 vsize=868484 CPUtime=0.24
/proc/14772/task/14778/stat : 14778 (java) S 14771 14758 13930 0 -1 64 1486 0 0 0 24 0 0 0 16 0 9 0 46004556 889327616 6116 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14772/tid=14779] ppid=14771 vsize=868484 CPUtime=0
/proc/14772/task/14779/stat : 14779 (java) S 14771 14758 13930 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46004556 889327616 6116 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14772/tid=14780] ppid=14771 vsize=868484 CPUtime=0
/proc/14772/task/14780/stat : 14780 (java) S 14771 14758 13930 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46004556 889327616 6116 996147200 134512640 134550740 4294955920 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) 890580

[startup+6.30132 s]
/proc/loadavg: 2.09 2.08 2.02 2/107 14780
/proc/meminfo: memFree=1845496/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=4.64
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 1474 13084 3 2 5 2 418 39 16 0 1 0 46004487 17276928 1135 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4218 1135 413 3 0 797 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 16872

[startup+12.7015 s]
/proc/loadavg: 2.24 2.11 2.03 3/108 14821
/proc/meminfo: memFree=1755752/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=5.65
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 1781 28622 3 6 6 2 508 49 15 0 1 0 46004487 17276928 1138 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4218 1138 414 3 0 797 0
[pid=14781] ppid=14758 vsize=92888 CPUtime=5.5
/proc/14781/stat : 14781 (minisat-inc) R 14758 14758 13930 0 -1 4194304 22407 0 0 0 536 14 0 0 25 0 1 0 46005091 95117312 22349 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14781/statm: 23222 22349 80 151 0 23068 0
Current children cumulated CPU time (s) 11.15
Current children cumulated vsize (KiB) 109760

[startup+25.502 s]
/proc/loadavg: 2.40 2.15 2.04 3/108 14821
/proc/meminfo: memFree=1756976/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=5.65
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 1781 28622 3 6 6 2 508 49 16 0 1 0 46004487 17276928 1138 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4218 1138 414 3 0 797 0
[pid=14781] ppid=14758 vsize=93032 CPUtime=18.23
/proc/14781/stat : 14781 (minisat-inc) R 14758 14758 13930 0 -1 4194304 22435 0 0 0 1808 15 0 0 25 0 1 0 46005091 95264768 22377 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14781/statm: 23258 22377 80 151 0 23104 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 109904

[startup+51.1019 s]
/proc/loadavg: 2.26 2.14 2.04 3/108 14821
/proc/meminfo: memFree=1757040/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=5.65
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 1781 28622 3 6 6 2 508 49 16 0 1 0 46004487 17276928 1138 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4218 1138 414 3 0 797 0
[pid=14781] ppid=14758 vsize=93168 CPUtime=43.67
/proc/14781/stat : 14781 (minisat-inc) R 14758 14758 13930 0 -1 4194304 22500 0 0 0 4352 15 0 0 25 0 1 0 46005091 95404032 22433 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14781/statm: 23292 22433 80 151 0 23138 0
Current children cumulated CPU time (s) 49.32
Current children cumulated vsize (KiB) 110040

[startup+102.308 s]
/proc/loadavg: 2.11 2.12 2.04 3/108 14821
/proc/meminfo: memFree=1756848/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=5.65
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 1781 28622 3 6 6 2 508 49 16 0 1 0 46004487 17276928 1138 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4218 1138 414 3 0 797 0
[pid=14781] ppid=14758 vsize=93644 CPUtime=94.58
/proc/14781/stat : 14781 (minisat-inc) R 14758 14758 13930 0 -1 4194304 22563 0 0 0 9442 16 0 0 25 0 1 0 46005091 95891456 22496 996147200 134512640 135134323 4294956192 18446744073709551615 134528273 0 0 4096 3 0 0 0 17 1 0 0
/proc/14781/statm: 23411 22496 80 151 0 23257 0
Current children cumulated CPU time (s) 100.23
Current children cumulated vsize (KiB) 110516

[startup+162.301 s]
/proc/loadavg: 2.04 2.09 2.03 3/108 14821
/proc/meminfo: memFree=1753712/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=5.65
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 1781 28622 3 6 6 2 508 49 16 0 1 0 46004487 17276928 1138 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4218 1138 414 3 0 797 0
[pid=14781] ppid=14758 vsize=96712 CPUtime=154.21
/proc/14781/stat : 14781 (minisat-inc) R 14758 14758 13930 0 -1 4194304 23343 0 0 0 15404 17 0 0 25 0 1 0 46005091 99033088 23276 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 1 0 0
/proc/14781/statm: 24178 23276 80 151 0 24024 0
Current children cumulated CPU time (s) 159.86
Current children cumulated vsize (KiB) 113584

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

[startup+179.101 s]
/proc/loadavg: 2.03 2.08 2.03 3/108 14831
/proc/meminfo: memFree=1751984/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=5.9
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 1851 32507 3 7 6 2 530 52 16 0 1 0 46004487 17276928 1138 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14758/statm: 4218 1138 414 3 0 797 0
[pid=14781] ppid=14758 vsize=98332 CPUtime=170.65
/proc/14781/stat : 14781 (minisat-inc) R 14758 14758 13930 0 -1 4194304 23727 0 0 0 17048 17 0 0 25 0 1 0 46005091 100691968 23658 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14781/statm: 24583 23658 80 151 0 24429 0
Current children cumulated CPU time (s) 176.55
Current children cumulated vsize (KiB) 115204

[startup+191.903 s]
/proc/loadavg: 2.02 2.08 2.03 3/108 14841
/proc/meminfo: memFree=1750376/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=6.15
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 1921 36391 3 8 6 2 552 55 15 0 1 0 46004487 17276928 1138 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4218 1138 414 3 0 797 0
[pid=14781] ppid=14758 vsize=99800 CPUtime=183.1
/proc/14781/stat : 14781 (minisat-inc) R 14758 14758 13930 0 -1 4194304 24103 0 0 0 18293 17 0 0 25 0 1 0 46005091 102195200 24032 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14781/statm: 24950 24032 80 151 0 24796 0
Current children cumulated CPU time (s) 189.25
Current children cumulated vsize (KiB) 116672

[startup+204.701 s]
/proc/loadavg: 2.02 2.08 2.02 3/108 14861
/proc/meminfo: memFree=1748656/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=6.68
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 2063 44163 3 10 7 3 598 60 16 0 1 0 46004487 17276928 1138 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4218 1138 414 3 0 797 0
[pid=14781] ppid=14758 vsize=101404 CPUtime=195.24
/proc/14781/stat : 14781 (minisat-inc) R 14758 14758 13930 0 -1 4194304 24495 0 0 0 19506 18 0 0 25 0 1 0 46005091 103837696 24418 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14781/statm: 25351 24418 80 151 0 25197 0
Current children cumulated CPU time (s) 201.92
Current children cumulated vsize (KiB) 118276

[startup+207.908 s]
/proc/loadavg: 2.02 2.08 2.02 3/108 14861
/proc/meminfo: memFree=1748656/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=6.68
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 2063 44163 3 10 7 3 598 60 16 0 1 0 46004487 17276928 1138 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4218 1138 414 3 0 797 0
[pid=14781] ppid=14758 vsize=101536 CPUtime=198.44
/proc/14781/stat : 14781 (minisat-inc) R 14758 14758 13930 0 -1 4194304 24534 0 0 0 19825 19 0 0 25 0 1 0 46005091 103972864 24457 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14781/statm: 25384 24457 80 151 0 25230 0
Current children cumulated CPU time (s) 205.12
Current children cumulated vsize (KiB) 118408

[startup+211.102 s]
/proc/loadavg: 2.02 2.08 2.02 3/108 14861
/proc/meminfo: memFree=1748144/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=6.68
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 2063 44163 3 10 7 3 598 60 16 0 1 0 46004487 17276928 1138 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4218 1138 414 3 0 797 0
[pid=14781] ppid=14758 vsize=101840 CPUtime=201.62
/proc/14781/stat : 14781 (minisat-inc) R 14758 14758 13930 0 -1 4194304 24634 0 0 0 20143 19 0 0 25 0 1 0 46005091 104284160 24557 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14781/statm: 25460 24557 80 151 0 25306 0
Current children cumulated CPU time (s) 208.3
Current children cumulated vsize (KiB) 118712

[startup+211.903 s]
/proc/loadavg: 2.02 2.08 2.02 3/108 14861
/proc/meminfo: memFree=1748144/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=6.68
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 2063 44163 3 10 7 3 598 60 16 0 1 0 46004487 17276928 1138 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4218 1138 414 3 0 797 0
[pid=14781] ppid=14758 vsize=102368 CPUtime=202.41
/proc/14781/stat : 14781 (minisat-inc) R 14758 14758 13930 0 -1 4194304 24751 0 0 0 20222 19 0 0 25 0 1 0 46005091 104824832 24674 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14781/statm: 25592 24674 80 151 0 25438 0
Current children cumulated CPU time (s) 209.09
Current children cumulated vsize (KiB) 119240

[startup+212.702 s]
/proc/loadavg: 2.02 2.08 2.02 3/108 14861
/proc/meminfo: memFree=1747440/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=6.68
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 2063 44163 3 10 7 3 598 60 16 0 1 0 46004487 17276928 1138 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4218 1138 414 3 0 797 0
[pid=14781] ppid=14758 vsize=103300 CPUtime=203.2
/proc/14781/stat : 14781 (minisat-inc) R 14758 14758 13930 0 -1 4194304 24905 0 0 0 20301 19 0 0 25 0 1 0 46005091 105779200 24828 996147200 134512640 135134323 4294956192 18446744073709551615 134528277 0 0 4096 3 0 0 0 17 1 0 0
/proc/14781/statm: 25825 24828 80 151 0 25671 0
Current children cumulated CPU time (s) 209.88
Current children cumulated vsize (KiB) 120172

[startup+213.101 s]
/proc/loadavg: 2.02 2.08 2.02 3/108 14861
/proc/meminfo: memFree=1747440/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=6.68
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 2063 44163 3 10 7 3 598 60 16 0 1 0 46004487 17276928 1138 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14758/statm: 4218 1138 414 3 0 797 0
[pid=14781] ppid=14758 vsize=103696 CPUtime=203.6
/proc/14781/stat : 14781 (minisat-inc) R 14758 14758 13930 0 -1 4194304 24984 0 0 0 20341 19 0 0 25 0 1 0 46005091 106184704 24907 996147200 134512640 135134323 4294956192 18446744073709551615 134531980 0 0 4096 3 0 0 0 17 1 0 0
/proc/14781/statm: 25924 24907 80 151 0 25770 0
Current children cumulated CPU time (s) 210.28
Current children cumulated vsize (KiB) 120568

[startup+213.202 s]
/proc/loadavg: 2.02 2.08 2.02 3/108 14861
/proc/meminfo: memFree=1747440/2055920 swapFree=4192812/4192956
[pid=14758] ppid=14756 vsize=16872 CPUtime=6.68
/proc/14758/stat : 14758 (sugar++) S 14756 14758 13930 0 -1 4194304 2078 44163 3 10 7 3 598 60 16 0 1 0 46004487 17276928 1138 996147200 4194304 4206940 548682068528 18446744073709551615 254622613396 0 0 4224 16386 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 4218 1138 414 3 0 797 0
[pid=14781] ppid=14758 vsize=0 CPUtime=203.7
/proc/14781/stat : 14781 (minisat-inc) R 14758 14758 13930 0 -1 4194308 25012 0 0 0 20350 20 0 0 25 0 1 0 46005091 0 0 996147200 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/14781/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 210.38
Current children cumulated vsize (KiB) 16872

Child status: 0
Real time (s): 213.228
CPU time (s): 210.432
CPU user time (s): 209.557
CPU system time (s): 0.874867
CPU usage (%): 98.6887
Max. virtual memory (cumulated for all children) (KiB): 890580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 209.557
system time used= 0.874867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71318
page faults= 13
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12961
involuntary context switches= 15431

runsolver used 0.312952 second user time and 0.879866 second system time

The end

Launcher Data (download as text)

Begin job on node87 at 2008-07-12 22:04:37
IDJOB=1113885
IDBENCH=61657
IDSOLVER=367
FILE ID=node87/1113885-1215893077
PBS_JOBID= 7903607
Free space on /tmp= 66484 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/os-taillard-10/normalized-os-taillard-10-95-1.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-1113885-1215893077/watcher-1113885-1215893077 -o /tmp/evaluation-result-1113885-1215893077/solver-1113885-1215893077 -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-1113885-1215893077.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= c4bee948f28d4254d98dcb202c49f529
RANDOM SEED=301762018

node87.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.263
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	: 5931.00
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.263
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1891424 kB
Buffers:         10800 kB
Cached:          49992 kB
SwapCached:          0 kB
Active:          86660 kB
Inactive:        23720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1891424 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             948 kB
Writeback:           0 kB
Mapped:          70976 kB
Slab:            36276 kB
Committed_AS:   322388 kB
PageTables:       4176 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= 66484 MiB
End job on node87 at 2008-07-12 22:08:10