Trace number 1112417

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar++ v1.13+minisat-incMSAT (TO)120 3600.33 3634.87

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.00/0.08	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08	c 0	BEGIN Sat Jul 12 15:02:12 2008
0.00/0.08	c 0	PID 17454
0.07/0.08	c 0	HOST node5.alineos.net
0.07/0.08	c 0	CONVERTING HOME/instance-1112417-1215867732.xml TO HOME/temp.csp
0.07/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1112417-1215867732.xml' 'HOME/temp.csp'
0.07/0.78	c 1	65 domains, 200 variables, 3 predicates, 0 relations, 2800 constraints
0.07/0.82	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.82	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.75/0.90	c 1	Parsing HOME/temp.csp
1.01/1.11	c 1	parsed 3068 expressions
1.01/1.12	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.01/1.15	c 1	MAX CSP: 2800 constraints
1.01/1.15	c 1	Converting to clausal form CSP
1.11/1.25	c 1	converted 588 (10%) expressions
1.20/1.36	c 1	converted 1175 (20%) expressions
1.20/1.40	c 1	converted 1762 (30%) expressions
1.29/1.42	c 1	converted 2349 (40%) expressions
1.29/1.44	c 1	converted 2936 (50%) expressions
1.29/1.46	c 1	converted 3523 (60%) expressions
1.29/1.48	c 1	converted 4110 (70%) expressions
1.29/1.49	c 2	converted 4697 (80%) expressions
1.40/1.51	c 2	converted 5284 (90%) expressions
1.69/1.84	c 2	converted 5871 (100%) expressions
1.69/1.84	c 2	CSP : 5800 integers, 0 booleans, 8399 clauses, largest domain size 4201
1.69/1.84	c 2	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.69/1.84	c 2	Propagation in CSP
1.79/1.97	c 2	2794 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.79/1.97	c 2	CSP : 5800 integers, 0 booleans, 8399 clauses, largest domain size 2801
1.79/1.97	c 2	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.79/1.98	c 2	Simplifing CSP by introducing new Boolean variables
1.90/2.01	c 2	CSP : 5800 integers, 5600 booleans, 13999 clauses, largest domain size 2801
1.90/2.01	c 2	Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.90/2.08	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.09/2.23	c 2	580 (10%) CSP integer variables are encoded (99848 clauses, 1475715 bytes)
2.09/2.23	c 2	1160 (20%) CSP integer variables are encoded (99848 clauses, 1475715 bytes)
2.09/2.24	c 2	1740 (30%) CSP integer variables are encoded (99848 clauses, 1475715 bytes)
2.09/2.24	c 2	2320 (40%) CSP integer variables are encoded (99848 clauses, 1475715 bytes)
2.09/2.25	c 2	2900 (50%) CSP integer variables are encoded (99848 clauses, 1475715 bytes)
2.09/2.29	c 2	3480 (60%) CSP integer variables are encoded (130439 clauses, 1995762 bytes)
2.19/2.30	c 2	4060 (70%) CSP integer variables are encoded (137898 clauses, 2122565 bytes)
2.19/2.31	c 2	4640 (80%) CSP integer variables are encoded (145432 clauses, 2250643 bytes)
2.19/2.32	c 2	5220 (90%) CSP integer variables are encoded (150583 clauses, 2338210 bytes)
2.19/2.33	c 2	5800 (100%) CSP integer variables are encoded (157359 clauses, 2453402 bytes)
3.08/3.22	c 3	1400 (10%) CSP clauses are encoded (586329 clauses, 11740149 bytes)
3.86/4.05	c 4	2800 (20%) CSP clauses are encoded (997024 clauses, 21174547 bytes)
4.64/4.89	c 5	4200 (30%) CSP clauses are encoded (1420295 clauses, 30898167 bytes)
5.54/5.75	c 6	5600 (40%) CSP clauses are encoded (1858291 clauses, 40960497 bytes)
6.33/6.60	c 7	7000 (50%) CSP clauses are encoded (2292647 clauses, 50939211 bytes)
7.23/7.42	c 7	8400 (60%) CSP clauses are encoded (2714599 clauses, 60633173 bytes)
17.56/17.99	c 18	9800 (70%) CSP clauses are encoded (6701165 clauses, 157799196 bytes)
25.42/25.96	c 26	11200 (80%) CSP clauses are encoded (10640117 clauses, 254155780 bytes)
26.40/26.98	c 27	12600 (90%) CSP clauses are encoded (11142775 clauses, 266370731 bytes)
29.42/30.24	c 30	13999 (100%) CSP clauses are encoded (12629621 clauses, 302665448 bytes)
29.42/30.24	c 30	13999 CSP clauses encoded
29.42/30.24	c 30	Writing map file : HOME/temp.map
29.42/30.29	c 30	Heap : 7 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
29.42/30.29	c 30	SAT : 168759 SAT variables, 12629621 SAT clauses, 302665448 bytes
29.42/30.29	c 30	Heap : 7 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
29.51/30.31	c 30	OBJECTIVE minimize _COST
29.51/30.31	c 30	SOLVING HOME/temp.cnf
29.51/30.31	c 30	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
29.51/30.32	c 30	This is MiniSat 2.0 beta incremental
29.51/30.32	c 30	WARNING: for repeatability, setting FPU to use double precision
29.51/30.32	c 30	============================[ Problem Statistics ]=============================
29.51/30.32	c 30	|                                                                             |
29.51/30.32	c 30	|  Number of variables:  168759                                               |
29.51/30.32	c 30	|  Number of clauses:    12629621                                             |
35.94/36.84	c 37	|  Parsing time:         5.59         s                                       |
36.24/37.10	c 37	OK
36.24/37.10	c 37	OBJECTIVE BOUND: 0 <= _COST <= 
36.24/37.10	c 37	SEARCHING: _COST <= 1400
36.24/37.11	c 37	============================[ Search Statistics ]==============================
36.24/37.11	c 37	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.24/37.11	c 37	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
36.24/37.11	c 37	===============================================================================
36.24/37.11	c 37	|         0 |  168759 12629621 37602482 |  4209873        0    nan |  0.000 % |
37.82/38.79	c 39	|       100 |  168759 12629621 37602482 |  4630861      100     28 |  0.000 % |
38.72/39.65	c 40	===============================================================================
38.72/39.66	c 40	restarts              : 2
38.72/39.66	c 40	conflicts             : 160           (19 /sec)
38.72/39.66	c 40	decisions             : 6295          (1.25 % random) (754 /sec)
38.72/39.66	c 40	propagations          : 672036         (80534 /sec)
38.72/39.66	c 40	conflict literals     : 4411           (5.81 % deleted)
38.72/39.66	c 40	Memory used           : 532.33 MB
38.72/39.66	c 40	CPU time              : 8.34473 s
38.72/39.66	c 40	
38.72/39.66	c 40	SATISFIABLE
38.81/39.72	c 40	OK
38.81/39.72	c 40	FOUND: _COST <= 1400
38.81/39.72	s SATISFIABLE
38.81/39.72	c 40	DECODING HOME/temp.out WITH HOME/temp.map
38.81/39.72	c 40	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
38.83/39.80	c 40	Decoding HOME/temp.out
38.83/40.13	c 40	OBJECTIVE _COST 1354
38.83/40.13	o 1354
38.83/40.14	v 61 62 387 389 0 403 198 197 469 470 309 310 379 378 248 404 153 154 529 528 380 410 271 272 464 463 367 206 86 85 433 399 1 2 307 306 169 170 423 393 504 351 405 198 268 322 495 326 492 492 421 319 477 477 455 312 453 214 519 475 154 514 165 441 465 115 493 493 283 70 296 326 530 530 498 498 368 429 457 288 528 528 362 423 533 533 462 462 541 541 518 518 318 471 232 418 431 432 473 473 541 541 543 543 545 545 486 487 478 439 526 526 382 443 500 500 450 450 30 429 496 496 26 489 238 424 499 500 481 481 532 532 399 460 169 386 470 471 499 500 7 8 157 156 489 490 0 127 395 371 53 60 134 376 512 511 277 301 194 195 367 373 35 115 493 492 8 9 184 185 425 426 384 385 268 267 83 118 150 234 233 232 88 89 160 161 512 513 18 19 546 547 422 423 365 366 34 35 284 283
38.83/40.14	c 40	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
38.83/40.16	c 40	OK
38.83/40.16	c 40	OBJECTIVE BOUND: 0 <= _COST <= 1354
38.83/40.16	c 40	SEARCHING: _COST <= 677
38.83/40.16	c 40	============================[ Search Statistics ]==============================
38.83/40.16	c 40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.83/40.16	c 40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
38.83/40.16	c 40	===============================================================================
38.83/40.16	c 40	|       160 |  168759 12629621 37602482 |  4209873      160     28 |  0.000 % |
40.19/41.17	c 41	===============================================================================
40.19/41.18	c 41	restarts              : 3
40.19/41.18	c 41	conflicts             : 181           (19 /sec)
40.19/41.18	c 41	decisions             : 8242          (1.09 % random) (875 /sec)
40.19/41.18	c 41	propagations          : 962714         (102236 /sec)
40.19/41.18	c 41	conflict literals     : 4831           (6.23 % deleted)
40.19/41.18	c 41	Memory used           : 536.71 MB
40.19/41.18	c 41	CPU time              : 9.41657 s
40.19/41.18	c 41	
40.19/41.18	c 41	SATISFIABLE
40.29/41.24	c 41	OK
40.29/41.24	c 41	FOUND: _COST <= 677
40.29/41.24	c 41	DECODING HOME/temp.out WITH HOME/temp.map
40.29/41.24	c 41	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
40.34/41.32	c 41	Decoding HOME/temp.out
40.34/41.64	c 42	OBJECTIVE _COST 677
40.34/41.64	o 677
40.34/41.65	v 247 85 532 418 487 443 364 150 456 183 479 312 434 368 442 471 504 165 49 415 491 535 513 348 464 141 515 216 406 300 524 467 383 216 472 320 437 68 508 507 503 504 402 249 319 117 293 266 491 486 408 152 346 476 200 109 381 79 50 49 223 23 9 462 38 238 183 168 242 99 295 335 277 182 392 331 3 190 77 457 412 487 507 207 447 159 381 88 541 167 55 51 5 134 0 123 249 249 174 174 49 249 0 1 6 173 373 304 199 141 380 242 56 443 11 465 202 102 59 159 81 85 489 482 376 14 20 31 209 164 60 61 77 133 297 304 137 467 421 335 180 219 442 504 415 414 541 540 50 86 264 325 485 276 14 144 225 154 338 339 513 512 288 141 176 175 231 142 360 84 256 100 323 414 451 69 167 144 17 133 326 326 248 427 225 176 399 133 498 497 12 325 13 111 166 167 432 113 376 300
40.34/41.65	c 42	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
40.34/41.68	c 42	OK
40.34/41.68	c 42	OBJECTIVE BOUND: 0 <= _COST <= 677
40.34/41.68	c 42	SEARCHING: _COST <= 338
40.34/41.68	c 42	============================[ Search Statistics ]==============================
40.34/41.68	c 42	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.34/41.68	c 42	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
40.34/41.68	c 42	===============================================================================
40.34/41.68	c 42	|       181 |  151361 12629621 37602482 |  4209873      181     27 |  0.000 % |
42.15/43.16	c 43	|       282 |  151360 12629621 37602482 |  4630861      282     37 | 15.565 % |
42.75/43.72	c 44	===============================================================================
42.75/43.73	c 44	restarts              : 5
42.75/43.73	c 44	conflicts             : 324           (28 /sec)
42.75/43.73	c 44	decisions             : 10847         (1.14 % random) (942 /sec)
42.75/43.73	c 44	propagations          : 1728302        (150101 /sec)
42.75/43.73	c 44	conflict literals     : 11219          (10.80 % deleted)
42.75/43.73	c 44	Memory used           : 541.23 MB
42.75/43.73	c 44	CPU time              : 11.5142 s
42.75/43.73	c 44	
42.75/43.73	c 44	SATISFIABLE
42.75/43.79	c 44	OK
42.75/43.79	c 44	FOUND: _COST <= 338
42.75/43.79	c 44	DECODING HOME/temp.out WITH HOME/temp.map
42.75/43.79	c 44	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
42.84/43.87	c 44	Decoding HOME/temp.out
43.13/44.19	c 44	OBJECTIVE _COST 338
43.13/44.19	o 338
43.23/44.20	v 175 175 463 140 479 402 410 106 390 78 470 479 540 539 310 402 484 266 156 371 259 260 354 26 438 103 522 111 465 90 504 399 273 159 403 119 409 58 464 463 504 131 179 178 355 95 451 273 77 314 449 89 492 129 178 262 384 356 326 48 533 95 146 469 201 465 302 301 217 53 366 13 271 392 498 316 357 463 110 36 122 528 352 146 61 62 454 244 83 166 330 149 471 142 2 497 233 255 379 158 252 287 247 361 522 521 480 85 175 454 525 526 64 63 127 432 294 325 177 87 249 120 460 489 172 330 26 519 259 55 228 328 22 348 375 381 0 332 74 329 344 378 121 307 507 211 465 500 7 371 45 47 168 529 289 308 187 195 389 389 528 333 137 355 91 299 523 66 394 393 173 312 423 46 426 273 240 241 11 360 472 340 477 281 59 101 12 140 266 339 1 369 173 281 370 353 2 370 423 46
43.23/44.21	c 44	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
43.23/44.26	c 44	OK
43.23/44.26	c 44	OBJECTIVE BOUND: 0 <= _COST <= 338
43.23/44.26	c 44	SEARCHING: _COST <= 169
43.23/44.26	c 44	============================[ Search Statistics ]==============================
43.23/44.26	c 44	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
43.23/44.26	c 44	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
43.23/44.26	c 44	===============================================================================
43.23/44.26	c 44	|       324 |  142491 12629621 37602482 |  4209873      324     35 | 15.565 % |
44.64/45.62	c 46	|       425 |  142491 12629621 37602482 |  4630861      425     56 | 18.829 % |
45.93/46.97	c 47	|       575 |  142491 12629621 37602482 |  5093947      575     54 | 18.829 % |
48.30/49.32	c 49	|       800 |  142491 12629621 37602482 |  5603341      800     56 | 18.829 % |
49.29/50.36	c 50	===============================================================================
49.29/50.37	c 50	restarts              : 9
49.29/50.37	c 50	conflicts             : 892           (51 /sec)
49.29/50.37	c 50	decisions             : 14419         (1.05 % random) (817 /sec)
49.29/50.37	c 50	propagations          : 5669661        (321094 /sec)
49.29/50.37	c 50	conflict literals     : 52057          (11.73 % deleted)
49.29/50.37	c 50	Memory used           : 542.39 MB
49.29/50.37	c 50	CPU time              : 17.6573 s
49.29/50.37	c 50	
49.29/50.37	c 50	SATISFIABLE
49.39/50.42	c 50	OK
49.39/50.42	c 50	FOUND: _COST <= 169
49.39/50.42	c 50	DECODING HOME/temp.out WITH HOME/temp.map
49.39/50.42	c 50	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
49.48/50.51	c 51	Decoding HOME/temp.out
49.77/50.83	c 51	OBJECTIVE _COST 169
49.77/50.83	o 169
49.77/50.84	v 398 341 313 382 180 337 88 498 138 489 242 241 329 366 26 25 197 347 432 7 440 193 206 205 241 440 414 180 5 4 524 350 407 121 488 464 309 108 254 351 276 409 339 418 96 97 14 193 326 194 2 228 359 202 246 182 453 386 68 67 414 470 93 177 508 509 122 123 290 280 411 294 391 198 230 192 419 195 2 374 391 121 39 284 1 296 198 218 141 191 7 421 515 165 50 80 451 101 311 316 3 223 249 359 338 361 485 187 290 176 316 463 527 464 99 476 364 148 10 209 70 496 216 187 444 503 400 187 0 1 304 508 92 523 321 320 470 282 141 170 148 147 94 104 287 207 131 541 6 193 213 474 100 529 462 512 325 454 16 17 465 482 446 52 493 492 153 119 325 326 481 20 409 511 229 212 87 121 178 179 364 498 21 456 202 203 37 455 128 129 19 20 275 459 344 429 144 143 374 443
49.77/50.85	c 51	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
49.84/50.96	c 51	OK
49.84/50.96	c 51	OBJECTIVE BOUND: 0 <= _COST <= 169
49.84/50.96	c 51	SEARCHING: _COST <= 84
49.84/50.96	c 51	============================[ Search Statistics ]==============================
49.84/50.96	c 51	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.84/50.96	c 51	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
49.84/50.96	c 51	===============================================================================
49.84/50.96	c 51	|       892 |  136983 12629621 37602482 |  4209873      892     58 | 18.829 % |
51.03/52.13	c 52	|       993 |  136983 12629621 37602482 |  4630861      993     57 | 21.186 % |
52.11/53.27	c 53	|      1144 |  136983 12629621 37602482 |  5093947     1144     59 | 21.186 % |
53.40/54.56	c 55	|      1370 |  136983 12629621 37602482 |  5603341     1370     55 | 21.186 % |
55.38/56.59	c 57	|      1707 |  136983 12629621 37602482 |  6163676     1707     59 | 21.186 % |
56.18/57.31	c 57	|      2213 |  136983 12629621 37602482 |  6780043     2213     49 | 21.186 % |
57.46/58.63	c 59	|      2972 |  136983 12629621 37602482 |  7458048     2972     44 | 21.186 % |
59.15/60.39	c 60	|      4112 |  136983 12629621 37602482 |  8203852     4112     38 | 21.186 % |
63.02/64.28	c 64	|      5820 |  136983 12629621 37602482 |  9024238     5820     37 | 21.186 % |
67.27/68.57	c 69	|      8382 |  136983 12629621 37602482 |  9926661     8382     33 | 21.186 % |
73.52/74.87	c 75	|     12226 |  136983 12629621 37602482 | 10919328    12226     31 | 21.186 % |
81.64/83.06	c 83	|     17993 |  136983 12629621 37602482 | 12011260    17993     30 | 21.186 % |
102.54/104.14	c 104	|     26643 |  136983 12629621 37602482 | 13212386    26643     34 | 21.186 % |
156.77/159.04	c 159	|     39619 |  133006  3849505 11366762 | 14533625    39604     41 | 21.186 % |
196.10/198.79	c 199	|     59080 |  133006  3849505 11366762 | 15986988    59065     40 | 21.186 % |
253.16/256.36	c 256	|     88272 |  133006  3849505 11366762 | 17585687    88257     38 | 21.186 % |
457.03/462.16	c 462	|    132061 |  133006  3849505 11366762 | 19344255   132046     53 | 21.186 % |
849.82/858.61	c 859	|    197746 |  133006  3849505 11366762 | 21278681   197731     78 | 21.186 % |
1225.67/1238.03	c 1238	|    296275 |  133006  3849505 11366762 | 23406549   296260     71 | 21.186 % |
1986.69/2006.25	c 2006	|    444064 |  133006  3849505 11366762 | 25747204   444049     77 | 21.186 % |
2791.77/2818.90	c 2819	|    665748 |  133006  3849505 11366762 | 28321924   665733     84 | 21.186 % |
3600.05/3634.61	c ERROR INTERRUPTED
3600.19/3634.74	c 3635	CPU 3596.24 (0.08 0.02 3596.16 3.9)
3600.19/3634.74	c 3635	END Sat Jul 12 16:02:47 2008

Verifier Data (download as text)

OK	120	2680
120 unsatisfied constraints, 2680 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-1112417-1215867732/watcher-1112417-1215867732 -o /tmp/evaluation-result-1112417-1215867732/solver-1112417-1215867732 -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-1112417-1215867732.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.00 2.04 2.05 4/81 17454
/proc/meminfo: memFree=1600080/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=12000 CPUtime=0
/proc/17454/stat : 17454 (sugar++) R 17452 17454 15152 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 43476503 12288000 173 996147200 4194304 4206940 548682068528 18446744073709551615 226913352675 0 0 4224 0 0 0 0 17 1 0 0
/proc/17454/statm: 3000 173 134 3 0 100 0

[startup+0.0821221 s]
/proc/loadavg: 2.00 2.04 2.05 4/81 17454
/proc/meminfo: memFree=1600080/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=16740 CPUtime=0.07
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1143 0 0 0 6 1 0 0 18 0 1 0 43476503 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.101531 s]
/proc/loadavg: 2.00 2.04 2.05 4/81 17454
/proc/meminfo: memFree=1600080/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=16740 CPUtime=0.07
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1219 128 0 0 6 1 0 0 19 0 1 0 43476503 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.301549 s]
/proc/loadavg: 2.00 2.04 2.05 4/81 17454
/proc/meminfo: memFree=1600080/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=16740 CPUtime=0.07
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1219 128 0 0 6 1 0 0 19 0 1 0 43476503 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.701598 s]
/proc/loadavg: 2.00 2.04 2.05 4/81 17454
/proc/meminfo: memFree=1600080/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=16740 CPUtime=0.07
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1219 128 0 0 6 1 0 0 19 0 1 0 43476503 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+1.50269 s]
/proc/loadavg: 2.00 2.04 2.05 3/92 17476
/proc/meminfo: memFree=1591352/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=16740 CPUtime=0.75
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1297 5400 0 1 6 1 65 3 15 0 1 0 43476503 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4185 1104 409 3 0 764 0
[pid=17467] ppid=17454 vsize=5356 CPUtime=0
/proc/17467/stat : 17467 (sh) S 17454 17454 15152 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43476585 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17467/statm: 1339 233 193 169 0 50 0
[pid=17468] ppid=17467 vsize=868364 CPUtime=0.65
/proc/17468/stat : 17468 (java) S 17467 17454 15152 0 -1 0 5796 0 1 0 61 4 0 0 18 0 9 0 43476585 889204736 5208 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17468/statm: 217091 5208 1734 9 0 211666 0
[pid=17468/tid=17469] ppid=17467 vsize=868364 CPUtime=0.38
/proc/17468/task/17469/stat : 17469 (java) R 17467 17454 15152 0 -1 64 2652 0 1 0 37 1 0 0 22 0 9 0 43476586 889204736 5208 996147200 134512640 134550740 4294955920 18446744073709551615 4126586618 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17470] ppid=17467 vsize=868364 CPUtime=0.04
/proc/17468/task/17470/stat : 17470 (java) S 17467 17454 15152 0 -1 64 991 0 0 0 4 0 0 0 16 0 9 0 43476588 889204736 5208 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17471] ppid=17467 vsize=868364 CPUtime=0
/proc/17468/task/17471/stat : 17471 (java) S 17467 17454 15152 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 43476588 889204736 5208 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17472] ppid=17467 vsize=868364 CPUtime=0
/proc/17468/task/17472/stat : 17472 (java) S 17467 17454 15152 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43476588 889204736 5208 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17473] ppid=17467 vsize=868364 CPUtime=0
/proc/17468/task/17473/stat : 17473 (java) S 17467 17454 15152 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43476590 889204736 5208 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17474] ppid=17467 vsize=868364 CPUtime=0.2
/proc/17468/task/17474/stat : 17474 (java) S 17467 17454 15152 0 -1 64 1462 0 0 0 19 1 0 0 16 0 9 0 43476590 889204736 5208 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17475] ppid=17467 vsize=868364 CPUtime=0
/proc/17468/task/17475/stat : 17475 (java) S 17467 17454 15152 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43476590 889204736 5208 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17476] ppid=17467 vsize=868364 CPUtime=0
/proc/17468/task/17476/stat : 17476 (java) S 17467 17454 15152 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43476590 889204736 5208 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 890460

[startup+3.10287 s]
/proc/loadavg: 2.00 2.04 2.05 3/92 17476
/proc/meminfo: memFree=1576120/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=16740 CPUtime=0.75
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1297 5400 0 1 6 1 65 3 15 0 1 0 43476503 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4185 1104 409 3 0 764 0
[pid=17467] ppid=17454 vsize=5356 CPUtime=0
/proc/17467/stat : 17467 (sh) S 17454 17454 15152 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43476585 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17467/statm: 1339 233 193 169 0 50 0
[pid=17468] ppid=17467 vsize=868476 CPUtime=2.23
/proc/17468/stat : 17468 (java) S 17467 17454 15152 0 -1 0 8772 0 1 0 209 14 0 0 18 0 9 0 43476585 889319424 7652 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17468/statm: 217119 7652 2565 9 0 211666 0
[pid=17468/tid=17469] ppid=17467 vsize=868476 CPUtime=1.57
/proc/17468/task/17469/stat : 17469 (java) R 17467 17454 15152 0 -1 64 3034 0 1 0 149 8 0 0 25 0 9 0 43476586 889319424 7652 996147200 134512640 134550740 4294955920 18446744073709551615 4127031646 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17470] ppid=17467 vsize=868476 CPUtime=0.35
/proc/17468/task/17470/stat : 17470 (java) S 17467 17454 15152 0 -1 64 3529 0 0 0 32 3 0 0 16 0 9 0 43476588 889319424 7652 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17471] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17471/stat : 17471 (java) S 17467 17454 15152 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43476588 889319424 7652 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17472] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17472/stat : 17472 (java) S 17467 17454 15152 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43476588 889319424 7652 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17473] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17473/stat : 17473 (java) S 17467 17454 15152 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43476590 889319424 7652 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17474] ppid=17467 vsize=868476 CPUtime=0.28
/proc/17468/task/17474/stat : 17474 (java) S 17467 17454 15152 0 -1 64 1517 0 0 0 27 1 0 0 15 0 9 0 43476590 889319424 7652 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17475] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17475/stat : 17475 (java) S 17467 17454 15152 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43476590 889319424 7652 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17476] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17476/stat : 17476 (java) S 17467 17454 15152 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43476590 889319424 7652 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 890572

[startup+6.30224 s]
/proc/loadavg: 2.00 2.04 2.05 3/92 17476
/proc/meminfo: memFree=1539000/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=16740 CPUtime=0.75
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1297 5400 0 1 6 1 65 3 16 0 1 0 43476503 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4185 1104 409 3 0 764 0
[pid=17467] ppid=17454 vsize=5356 CPUtime=0
/proc/17467/stat : 17467 (sh) S 17454 17454 15152 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43476585 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17467/statm: 1339 233 193 169 0 50 0
[pid=17468] ppid=17467 vsize=868476 CPUtime=5.39
/proc/17468/stat : 17468 (java) S 17467 17454 15152 0 -1 0 9747 0 1 0 497 42 0 0 18 0 9 0 43476585 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17468/statm: 217119 7656 2565 9 0 211666 0
[pid=17468/tid=17469] ppid=17467 vsize=868476 CPUtime=4.48
/proc/17468/task/17469/stat : 17469 (java) R 17467 17454 15152 0 -1 64 4005 0 1 0 417 31 0 0 25 0 9 0 43476586 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4127027616 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17470] ppid=17467 vsize=868476 CPUtime=0.58
/proc/17468/task/17470/stat : 17470 (java) S 17467 17454 15152 0 -1 64 3529 0 0 0 51 7 0 0 16 0 9 0 43476588 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17471] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17471/stat : 17471 (java) S 17467 17454 15152 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43476588 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17472] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17472/stat : 17472 (java) S 17467 17454 15152 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43476588 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17473] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17473/stat : 17473 (java) S 17467 17454 15152 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43476590 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17474] ppid=17467 vsize=868476 CPUtime=0.29
/proc/17468/task/17474/stat : 17474 (java) S 17467 17454 15152 0 -1 64 1521 0 0 0 28 1 0 0 16 0 9 0 43476590 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17475] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17475/stat : 17475 (java) S 17467 17454 15152 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43476590 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17476] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17476/stat : 17476 (java) S 17467 17454 15152 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43476590 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 890572

[startup+12.7029 s]
/proc/loadavg: 2.00 2.04 2.05 3/92 17476
/proc/meminfo: memFree=1491576/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=16740 CPUtime=0.75
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1297 5400 0 1 6 1 65 3 15 0 1 0 43476503 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4185 1104 409 3 0 764 0
[pid=17467] ppid=17454 vsize=5356 CPUtime=0
/proc/17467/stat : 17467 (sh) S 17454 17454 15152 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43476585 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17467/statm: 1339 233 193 169 0 50 0
[pid=17468] ppid=17467 vsize=868476 CPUtime=11.68
/proc/17468/stat : 17468 (java) S 17467 17454 15152 0 -1 0 11179 0 1 0 1086 82 0 0 18 0 9 0 43476585 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17468/statm: 217119 7656 2565 9 0 211666 0
[pid=17468/tid=17469] ppid=17467 vsize=868476 CPUtime=10.41
/proc/17468/task/17469/stat : 17469 (java) R 17467 17454 15152 0 -1 64 5437 0 1 0 978 63 0 0 25 0 9 0 43476586 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4126564392 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17470] ppid=17467 vsize=868476 CPUtime=0.94
/proc/17468/task/17470/stat : 17470 (java) S 17467 17454 15152 0 -1 64 3529 0 0 0 78 16 0 0 16 0 9 0 43476588 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17471] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17471/stat : 17471 (java) S 17467 17454 15152 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43476588 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17472] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17472/stat : 17472 (java) S 17467 17454 15152 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43476588 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17473] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17473/stat : 17473 (java) S 17467 17454 15152 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43476590 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17474] ppid=17467 vsize=868476 CPUtime=0.29
/proc/17468/task/17474/stat : 17474 (java) S 17467 17454 15152 0 -1 64 1521 0 0 0 28 1 0 0 16 0 9 0 43476590 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17475] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17475/stat : 17475 (java) S 17467 17454 15152 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43476590 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17476] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17476/stat : 17476 (java) S 17467 17454 15152 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43476590 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 890572

[startup+25.5024 s]
/proc/loadavg: 2.00 2.04 2.05 3/92 17476
/proc/meminfo: memFree=1329464/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=16740 CPUtime=0.75
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1297 5400 0 1 6 1 65 3 16 0 1 0 43476503 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4185 1104 409 3 0 764 0
[pid=17467] ppid=17454 vsize=5356 CPUtime=0
/proc/17467/stat : 17467 (sh) S 17454 17454 15152 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43476585 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17467/statm: 1339 233 193 169 0 50 0
[pid=17468] ppid=17467 vsize=868476 CPUtime=24.28
/proc/17468/stat : 17468 (java) S 17467 17454 15152 0 -1 0 15082 0 1 0 2232 196 0 0 18 0 9 0 43476585 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17468/statm: 217119 7656 2565 9 0 211666 0
[pid=17468/tid=17469] ppid=17467 vsize=868476 CPUtime=22.01
/proc/17468/task/17469/stat : 17469 (java) R 17467 17454 15152 0 -1 64 9340 0 1 0 2046 155 0 0 25 0 9 0 43476586 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4127027788 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17470] ppid=17467 vsize=868476 CPUtime=1.95
/proc/17468/task/17470/stat : 17470 (java) S 17467 17454 15152 0 -1 64 3529 0 0 0 156 39 0 0 16 0 9 0 43476588 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17471] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17471/stat : 17471 (java) S 17467 17454 15152 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43476588 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17468/tid=17472] ppid=17467 vsize=868476 CPUtime=0
/proc/17468/task/17472/stat : 17472 (java) S 17467 17454 15152 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43476588 889319424 7656 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=17454] ppid=17452 vsize=17136 CPUtime=31.21
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1843 38334 0 6 8 2 2853 258 16 0 1 0 43476503 17547264 1196 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4284 1196 414 3 0 863 0
[pid=17477] ppid=17454 vsize=604916 CPUtime=2863
/proc/17477/stat : 17477 (minisat-inc) R 17454 17454 15152 0 -1 4194304 144959 0 0 0 286192 108 0 0 25 0 1 0 43479535 619433984 144900 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 1 0 0
/proc/17477/statm: 151229 144900 80 151 0 151075 0
Current children cumulated CPU time (s) 2894.21
Current children cumulated vsize (KiB) 622052

[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 17519
/proc/meminfo: memFree=710656/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=17136 CPUtime=31.21
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1843 38334 0 6 8 2 2853 258 16 0 1 0 43476503 17547264 1196 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4284 1196 414 3 0 863 0
[pid=17477] ppid=17454 vsize=607164 CPUtime=2922.44
/proc/17477/stat : 17477 (minisat-inc) R 17454 17454 15152 0 -1 4194304 145526 0 0 0 292136 108 0 0 25 0 1 0 43479535 621735936 145467 996147200 134512640 135134323 4294956192 18446744073709551615 134532123 0 0 4096 3 0 0 0 17 1 0 0
/proc/17477/statm: 151791 145467 80 151 0 151637 0
Current children cumulated CPU time (s) 2953.65
Current children cumulated vsize (KiB) 624300

[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 17519
/proc/meminfo: memFree=708224/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=17136 CPUtime=31.21
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1843 38334 0 6 8 2 2853 258 16 0 1 0 43476503 17547264 1196 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4284 1196 414 3 0 863 0
[pid=17477] ppid=17454 vsize=611156 CPUtime=2981.88
/proc/17477/stat : 17477 (minisat-inc) R 17454 17454 15152 0 -1 4194304 146137 0 0 0 298079 109 0 0 25 0 1 0 43479535 625823744 146078 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17477/statm: 152789 146078 80 151 0 152635 0
Current children cumulated CPU time (s) 3013.09
Current children cumulated vsize (KiB) 628292

[startup+3102.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/83 17519
/proc/meminfo: memFree=705856/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=17136 CPUtime=31.21
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1843 38334 0 6 8 2 2853 258 16 0 1 0 43476503 17547264 1196 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4284 1196 414 3 0 863 0
[pid=17477] ppid=17454 vsize=613300 CPUtime=3041.31
/proc/17477/stat : 17477 (minisat-inc) R 17454 17454 15152 0 -1 4194304 146688 0 0 0 304022 109 0 0 25 0 1 0 43479535 628019200 146629 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17477/statm: 153325 146629 80 151 0 153171 0
Current children cumulated CPU time (s) 3072.52
Current children cumulated vsize (KiB) 630436

[startup+3162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 17519
/proc/meminfo: memFree=703360/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=17136 CPUtime=31.21
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1843 38334 0 6 8 2 2853 258 16 0 1 0 43476503 17547264 1196 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4284 1196 414 3 0 863 0
[pid=17477] ppid=17454 vsize=615912 CPUtime=3100.76
/proc/17477/stat : 17477 (minisat-inc) R 17454 17454 15152 0 -1 4194304 147328 0 0 0 309966 110 0 0 25 0 1 0 43479535 630693888 147269 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 1 0 0
/proc/17477/statm: 153978 147269 80 151 0 153824 0
Current children cumulated CPU time (s) 3131.97
Current children cumulated vsize (KiB) 633048

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 17519
/proc/meminfo: memFree=700160/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=17136 CPUtime=31.21
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1843 38334 0 6 8 2 2853 258 16 0 1 0 43476503 17547264 1196 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4284 1196 414 3 0 863 0
[pid=17477] ppid=17454 vsize=619200 CPUtime=3160.19
/proc/17477/stat : 17477 (minisat-inc) R 17454 17454 15152 0 -1 4194304 148138 0 0 0 315908 111 0 0 25 0 1 0 43479535 634060800 148079 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17477/statm: 154800 148079 80 151 0 154646 0
Current children cumulated CPU time (s) 3191.4
Current children cumulated vsize (KiB) 636336

[startup+3282.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 17557
/proc/meminfo: memFree=884304/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=17136 CPUtime=31.21
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1843 38334 0 6 8 2 2853 258 16 0 1 0 43476503 17547264 1196 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4284 1196 414 3 0 863 0
[pid=17477] ppid=17454 vsize=623548 CPUtime=3219.66
/proc/17477/stat : 17477 (minisat-inc) R 17454 17454 15152 0 -1 4194304 149237 0 0 0 321853 113 0 0 25 0 1 0 43479535 638513152 149178 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 1 0 0
/proc/17477/statm: 155887 149178 80 151 0 155733 0
Current children cumulated CPU time (s) 3250.87
Current children cumulated vsize (KiB) 640684

[startup+3342.3 s]
/proc/loadavg: 2.26 2.05 2.02 4/82 17557
/proc/meminfo: memFree=778448/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=17136 CPUtime=31.21
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1843 38334 0 6 8 2 2853 258 16 0 1 0 43476503 17547264 1196 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4284 1196 414 3 0 863 0
[pid=17477] ppid=17454 vsize=626976 CPUtime=3279.12
/proc/17477/stat : 17477 (minisat-inc) R 17454 17454 15152 0 -1 4194304 150075 0 0 0 327798 114 0 0 25 0 1 0 43479535 642023424 150016 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 1 0 0
/proc/17477/statm: 156744 150016 80 151 0 156590 0
Current children cumulated CPU time (s) 3310.33
Current children cumulated vsize (KiB) 644112

[startup+3402.31 s]
/proc/loadavg: 2.34 2.11 2.04 3/82 17557
/proc/meminfo: memFree=771920/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=17136 CPUtime=31.21
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1843 38334 0 6 8 2 2853 258 16 0 1 0 43476503 17547264 1196 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4284 1196 414 3 0 863 0
[pid=17477] ppid=17454 vsize=632228 CPUtime=3338.6
/proc/17477/stat : 17477 (minisat-inc) R 17454 17454 15152 0 -1 4194304 151310 0 0 0 333744 116 0 0 25 0 1 0 43479535 647401472 151251 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17477/statm: 158057 151251 80 151 0 157903 0
Current children cumulated CPU time (s) 3369.81
Current children cumulated vsize (KiB) 649364

[startup+3462.3 s]
/proc/loadavg: 2.39 2.18 2.06 4/82 17557
/proc/meminfo: memFree=767632/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=17136 CPUtime=31.21
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1843 38334 0 6 8 2 2853 258 16 0 1 0 43476503 17547264 1196 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4284 1196 414 3 0 863 0
[pid=17477] ppid=17454 vsize=636800 CPUtime=3398.07
/proc/17477/stat : 17477 (minisat-inc) R 17454 17454 15152 0 -1 4194304 152399 0 0 0 339690 117 0 0 25 0 1 0 43479535 652083200 152340 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17477/statm: 159200 152340 80 151 0 159046 0
Current children cumulated CPU time (s) 3429.28
Current children cumulated vsize (KiB) 653936

[startup+3522.3 s]
/proc/loadavg: 2.61 2.28 2.10 3/82 17557
/proc/meminfo: memFree=762704/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=17136 CPUtime=31.21
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1843 38334 0 6 8 2 2853 258 16 0 1 0 43476503 17547264 1196 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4284 1196 414 3 0 863 0
[pid=17477] ppid=17454 vsize=641836 CPUtime=3457.54
/proc/17477/stat : 17477 (minisat-inc) R 17454 17454 15152 0 -1 4194304 153633 0 0 0 345636 118 0 0 25 0 1 0 43479535 657240064 153574 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 1 0 0
/proc/17477/statm: 160459 153574 80 151 0 160305 0
Current children cumulated CPU time (s) 3488.75
Current children cumulated vsize (KiB) 658972

[startup+3582.3 s]
/proc/loadavg: 2.50 2.30 2.12 3/82 17563
/proc/meminfo: memFree=758160/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=17136 CPUtime=31.21
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1843 38334 0 6 8 2 2853 258 16 0 1 0 43476503 17547264 1196 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4284 1196 414 3 0 863 0
[pid=17477] ppid=17454 vsize=646340 CPUtime=3516.99
/proc/17477/stat : 17477 (minisat-inc) R 17454 17454 15152 0 -1 4194304 154724 0 0 0 351579 120 0 0 25 0 1 0 43479535 661852160 154665 996147200 134512640 135134323 4294956192 18446744073709551615 134531958 0 0 4096 3 0 0 0 17 1 0 0
/proc/17477/statm: 161585 154665 80 151 0 161431 0
Current children cumulated CPU time (s) 3548.2
Current children cumulated vsize (KiB) 663476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3634.6 s]
/proc/loadavg: 2.76 2.40 2.16 4/82 17563
/proc/meminfo: memFree=754320/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=17136 CPUtime=31.21
/proc/17454/stat : 17454 (sugar++) S 17452 17454 15152 0 -1 4194304 1843 38334 0 6 8 2 2853 258 16 0 1 0 43476503 17547264 1196 996147200 4194304 4206940 548682068528 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17454/statm: 4284 1196 414 3 0 863 0
[pid=17477] ppid=17454 vsize=650156 CPUtime=3568.84
/proc/17477/stat : 17477 (minisat-inc) R 17454 17454 15152 0 -1 4194304 155670 0 0 0 356762 122 0 0 25 0 1 0 43479535 665759744 155611 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 1 0 0
/proc/17477/statm: 162539 155611 80 151 0 162385 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 667292

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

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

[startup+3634.8 s]
/proc/loadavg: 2.76 2.40 2.16 4/82 17563
/proc/meminfo: memFree=754320/2055920 swapFree=4181128/4192956
[pid=17454] ppid=17452 vsize=17136 CPUtime=3600.25
/proc/17454/stat : 17454 (sugar++) R 17452 17454 15152 0 -1 4194304 1867 194004 0 6 8 11 359616 390 18 0 1 0 43476503 17547264 1197 996147200 4194304 4206940 548682068528 18446744073709551615 226913653801 0 0 4224 16386 0 0 0 17 1 0 0
/proc/17454/statm: 4284 1197 415 3 0 863 0
Current children cumulated CPU time (s) 3600.25
Current children cumulated vsize (KiB) 17136

Child status: 0
Real time (s): 3634.87
CPU time (s): 3600.33
CPU user time (s): 3596.25
CPU system time (s): 4.08738
CPU usage (%): 99.0498
Max. virtual memory (cumulated for all children) (KiB): 890572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.25
system time used= 4.08738
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195925
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= 61527
involuntary context switches= 198584

runsolver used 4.92825 second user time and 11.4023 second system time

The end

Launcher Data (download as text)

Begin job on node5 at 2008-07-12 15:02:12
IDJOB=1112417
IDBENCH=61414
IDSOLVER=367
FILE ID=node5/1112417-1215867732
PBS_JOBID= 7903418
Free space on /tmp= 66532 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9306ef7954ddac95b00e0f57746494c3
RANDOM SEED=1649598566

node5.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.212
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.212
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:       1600624 kB
Buffers:         49704 kB
Cached:          85508 kB
SwapCached:       5616 kB
Active:         326644 kB
Inactive:        68140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1600624 kB
SwapTotal:     4192956 kB
SwapFree:      4181128 kB
Dirty:            1192 kB
Writeback:           0 kB
Mapped:         275636 kB
Slab:            45184 kB
Committed_AS:   646312 kB
PageTables:       2380 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= 66532 MiB
End job on node5 at 2008-07-12 16:02:49