Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-05-17 | ? (TO) | 1800.09 | 1800.41 |
Name | /OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/ 9orless/normalized-gtwitter.cudf.paranoid.opb |
MD5SUM | 58a624faf8162d1e3a54c1cee1cafdb3 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 141888 |
Best CPU time to get the best result obtained on this benchmark | 394.487 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 19770 |
Total number of constraints | 96417 |
Number of constraints which are clauses | 94852 |
Number of constraints which are cardinality constraints (but not clauses) | 1565 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2962 |
Number of terms in the objective function | 7254 |
Biggest coefficient in the objective function | 4296 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 12720454 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 4296 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 12720454 |
Number of bits of the biggest sum of numbers | 24 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
8.39/8.47 c 2012-05-27T19:39:05+0200 8.39/8.47 c arch = x86_64 8.39/8.47 c os = linux 8.39/8.47 c compiler = ghc 7.4 8.39/8.47 c packages: 8.39/8.47 c OptDir-0.0.1 8.39/8.47 c array-0.4.0.0 8.39/8.47 c base-4.5.0.0 8.39/8.47 c bytestring-0.9.2.1 8.39/8.47 c containers-0.4.2.1 8.39/8.47 c deepseq-1.3.0.0 8.39/8.47 c mtl-2.1.1 8.39/8.47 c old_locale-1.0.0.4 8.39/8.47 c parse_dimacs-1.2 8.39/8.47 c parsec-3.1.2 8.39/8.47 c queue-0.1.2 8.39/8.47 c stm-2.3 8.39/8.47 c time-1.4 8.39/8.47 c command line = ["--pb","HOME/instance-3706302-1338140345.opb"] 8.39/8.47 c #vars 19770 8.39/8.47 c #constraints 96417 8.39/8.47 c Solving starts ... 10.08/10.12 c solving time = 1.628s 10.08/10.12 c #decision = 120215 10.08/10.12 c #conflict = 80 10.08/10.12 c #restart = 0 10.08/10.12 o 180638 10.08/10.13 c Solving starts ... 10.58/10.66 c solving time = 0.509s 10.58/10.66 c #decision = 134009 10.58/10.66 c #conflict = 95 10.58/10.66 c #restart = 0 10.58/10.66 o 180635 10.58/10.67 c Solving starts ... 11.08/11.15 c solving time = 0.458s 11.08/11.15 c #decision = 141999 11.08/11.15 c #conflict = 98 11.08/11.15 c #restart = 0 11.08/11.15 o 180634 11.08/11.16 c Solving starts ... 11.58/11.63 c solving time = 0.455s 11.58/11.63 c #decision = 149166 11.58/11.63 c #conflict = 99 11.58/11.63 c #restart = 0 11.58/11.63 o 180632 11.58/11.65 c Solving starts ... 12.09/12.16 c solving time = 0.491s 12.09/12.16 c #decision = 155929 12.09/12.16 c #conflict = 100 12.09/12.16 c #restart = 0 12.09/12.16 o 180630 12.09/12.17 c Solving starts ... 13.19/13.24 c solving time = 1.051s 13.19/13.24 c #decision = 167344 13.19/13.24 c #conflict = 106 13.19/13.24 c #restart = 0 13.19/13.24 o 180628 13.19/13.25 c Solving starts ... 14.79/14.84 c solving time = 1.573s 14.79/14.84 c #decision = 172239 14.79/14.84 c #conflict = 119 14.79/14.84 c #restart = 0 14.79/14.84 o 180627 14.79/14.86 c Solving starts ... 24.39/24.49 c solving time = 9.616s 24.39/24.49 c #decision = 177453 24.39/24.49 c #conflict = 128 24.39/24.49 c #restart = 0 24.39/24.49 o 180624 24.49/24.50 c Solving starts ... 24.99/25.08 c solving time = 0.560s 24.99/25.08 c #decision = 180368 24.99/25.08 c #conflict = 128 24.99/25.08 c #restart = 0 24.99/25.08 o 180623 24.99/25.09 c Solving starts ... 33.28/33.34 c solving time = 8.227s 33.28/33.34 c #decision = 183286 33.28/33.34 c #conflict = 133 33.28/33.34 c #restart = 0 33.28/33.34 o 180622 33.28/33.35 c Solving starts ... 44.79/44.85 c solving time = 11.473s 44.79/44.85 c #decision = 188489 44.79/44.85 c #conflict = 141 44.79/44.85 c #restart = 0 44.79/44.85 o 180620 44.79/44.86 c Solving starts ... 67.18/67.21 c solving time = 22.332s 67.18/67.21 c #decision = 191463 67.18/67.21 c #conflict = 163 67.18/67.21 c #restart = 0 67.18/67.21 o 180619 67.28/67.31 c Solving starts ... 83.37/83.41 c solving time = 16.081s 83.37/83.41 c #decision = 194386 83.37/83.41 c #conflict = 176 83.37/83.41 c #restart = 0 83.37/83.41 o 180618 83.37/83.42 c Solving starts ... 90.57/90.63 c solving time = 7.194s 90.57/90.63 c #decision = 197302 90.57/90.63 c #conflict = 182 90.57/90.63 c #restart = 0 90.57/90.63 o 180617 90.57/90.65 c Solving starts ... 97.79/97.89 c solving time = 7.221s 97.79/97.89 c #decision = 200216 97.79/97.89 c #conflict = 188 97.79/97.89 c #restart = 0 97.79/97.89 o 180616 97.79/97.90 c Solving starts ... 124.77/124.85 c solving time = 26.929s 124.77/124.85 c #decision = 222661 124.77/124.85 c #conflict = 241 124.77/124.85 c #restart = 0 124.77/124.85 o 176364 124.77/124.86 c Solving starts ... 127.87/127.90 c solving time = 3.024s 127.87/127.90 c #decision = 227862 127.87/127.90 c #conflict = 242 127.87/127.90 c #restart = 0 127.87/127.91 o 176360 127.97/128.01 c Solving starts ... 131.27/131.35 c solving time = 3.324s 131.27/131.35 c #decision = 233091 131.27/131.35 c #conflict = 245 131.27/131.35 c #restart = 0 131.27/131.35 o 176358 131.27/131.36 c Solving starts ... 134.77/134.84 c solving time = 3.455s 134.77/134.84 c #decision = 236017 134.77/134.84 c #conflict = 249 134.77/134.84 c #restart = 0 134.77/134.84 o 176357 134.77/134.85 c Solving starts ... 142.17/142.21 c solving time = 7.337s 142.17/142.21 c #decision = 238961 142.17/142.21 c #conflict = 259 142.17/142.21 c #restart = 0 142.17/142.21 o 176356 142.17/142.22 c Solving starts ... 149.47/149.52 c solving time = 7.287s 149.47/149.52 c #decision = 241884 149.47/149.52 c #conflict = 262 149.47/149.52 c #restart = 0 149.47/149.52 o 176355 149.47/149.54 c Solving starts ... 156.77/156.88 c solving time = 7.324s 156.77/156.88 c #decision = 244805 156.77/156.88 c #conflict = 266 156.77/156.88 c #restart = 0 156.77/156.88 o 176354 156.77/156.89 c Solving starts ... 164.16/164.21 c solving time = 7.294s 164.16/164.21 c #decision = 247726 164.16/164.21 c #conflict = 270 164.16/164.21 c #restart = 0 164.16/164.21 o 176353 164.16/164.22 c Solving starts ... 171.56/171.61 c solving time = 7.367s 171.56/171.61 c #decision = 250650 171.56/171.61 c #conflict = 273 171.56/171.61 c #restart = 0 171.56/171.61 o 176352 171.56/171.62 c Solving starts ... 179.05/179.13 c solving time = 7.487s 179.05/179.13 c #decision = 253567 179.05/179.13 c #conflict = 276 179.05/179.13 c #restart = 0 179.05/179.13 o 176351 179.05/179.14 c Solving starts ... 186.65/186.70 c solving time = 7.536s 186.65/186.70 c #decision = 256482 186.65/186.70 c #conflict = 279 186.65/186.70 c #restart = 0 186.65/186.70 o 176350 186.65/186.71 c Solving starts ... 194.15/194.22 c solving time = 7.495s 194.15/194.22 c #decision = 259393 194.15/194.22 c #conflict = 282 194.15/194.22 c #restart = 0 194.15/194.22 o 176349 194.15/194.23 c Solving starts ... 201.75/201.84 c solving time = 7.588s 201.75/201.84 c #decision = 264575 201.75/201.84 c #conflict = 285 201.75/201.84 c #restart = 0 201.75/201.84 o 176347 201.75/201.85 c Solving starts ... 234.04/234.12 c solving time = 32.247s 234.04/234.12 c #decision = 267518 234.04/234.12 c #conflict = 306 234.04/234.12 c #restart = 0 234.04/234.12 o 176346 234.04/234.14 c Solving starts ... 251.94/252.08 c solving time = 17.916s 251.94/252.08 c #decision = 273203 251.94/252.08 c #conflict = 355 251.94/252.08 c #restart = 0 251.94/252.08 o 176345 251.94/252.09 c Solving starts ... 254.33/254.42 c solving time = 2.321s 254.33/254.42 c #decision = 276227 254.33/254.42 c #conflict = 360 254.33/254.42 c #restart = 0 254.33/254.42 o 176344 254.33/254.44 c Solving starts ... 257.24/257.33 c solving time = 2.874s 257.24/257.33 c #decision = 279251 257.24/257.33 c #conflict = 375 257.24/257.33 c #restart = 0 257.24/257.33 o 176343 257.24/257.34 c Solving starts ... 259.93/260.03 c solving time = 2.674s 259.93/260.03 c #decision = 282266 259.93/260.03 c #conflict = 382 259.93/260.03 c #restart = 0 259.93/260.03 o 176342 259.93/260.04 c Solving starts ... 262.84/262.97 c solving time = 2.919s 262.84/262.97 c #decision = 285281 262.84/262.97 c #conflict = 393 262.84/262.97 c #restart = 0 262.84/262.98 o 176341 262.84/262.99 c Solving starts ... 266.73/266.83 c solving time = 3.829s 266.73/266.83 c #decision = 288368 266.73/266.83 c #conflict = 402 266.73/266.83 c #restart = 0 266.73/266.83 o 176340 266.73/266.85 c Solving starts ... 269.83/269.93 c solving time = 3.065s 269.83/269.93 c #decision = 291374 269.83/269.93 c #conflict = 413 269.83/269.93 c #restart = 0 269.83/269.93 o 176339 269.83/269.94 c Solving starts ... 272.93/273.01 c solving time = 2.937s 272.93/273.01 c #decision = 296676 272.93/273.01 c #conflict = 423 272.93/273.01 c #restart = 0 272.93/273.01 o 176337 272.93/273.02 c Solving starts ... 275.63/275.72 c solving time = 2.685s 275.63/275.72 c #decision = 299681 275.63/275.72 c #conflict = 428 275.63/275.72 c #restart = 0 275.63/275.72 o 176336 275.63/275.74 c Solving starts ... 287.92/288.02 c solving time = 12.262s 287.92/288.02 c #decision = 303216 287.92/288.02 c #conflict = 455 287.92/288.02 c #restart = 0 287.92/288.02 o 176335 287.92/288.03 c Solving starts ... 298.22/298.32 c solving time = 10.279s 298.22/298.32 c #decision = 306561 298.22/298.32 c #conflict = 474 298.22/298.32 c #restart = 0 298.22/298.32 o 176334 298.22/298.34 c Solving starts ... 304.73/304.86 c solving time = 6.511s 304.73/304.86 c #decision = 309531 304.73/304.86 c #conflict = 482 304.73/304.86 c #restart = 0 304.73/304.86 o 176333 304.73/304.88 c Solving starts ... 311.83/311.90 c solving time = 7.006s 311.83/311.90 c #decision = 312448 311.83/311.90 c #conflict = 488 311.83/311.90 c #restart = 0 311.83/311.90 o 176332 311.83/311.91 c Solving starts ... 317.92/318.00 c solving time = 6.066s 317.92/318.00 c #decision = 317654 317.92/318.00 c #conflict = 492 317.92/318.00 c #restart = 0 317.92/318.00 o 176328 317.92/318.01 c Solving starts ... 324.02/324.14 c solving time = 6.114s 324.02/324.14 c #decision = 322868 324.02/324.14 c #conflict = 496 324.02/324.14 c #restart = 0 324.02/324.14 o 176326 324.02/324.16 c Solving starts ... 423.01/423.14 c solving time = 98.949s 423.01/423.14 c #decision = 327927 423.01/423.14 c #conflict = 703 423.01/423.14 c #restart = 1 423.01/423.14 o 176325 423.01/423.15 c Solving starts ... 428.51/428.66 c solving time = 5.496s 428.51/428.66 c #decision = 330928 428.51/428.66 c #conflict = 714 428.51/428.66 c #restart = 1 428.51/428.66 o 176324 428.51/428.68 c Solving starts ... 434.50/434.61 c solving time = 5.913s 434.50/434.61 c #decision = 333867 434.50/434.61 c #conflict = 717 434.50/434.61 c #restart = 1 434.50/434.61 o 176323 434.50/434.62 c Solving starts ... 441.20/441.38 c solving time = 6.746s 441.20/441.38 c #decision = 336800 441.20/441.38 c #conflict = 721 441.20/441.38 c #restart = 1 441.20/441.38 o 176322 441.20/441.40 c Solving starts ... 448.00/448.19 c solving time = 6.775s 448.00/448.19 c #decision = 339738 448.00/448.19 c #conflict = 725 448.00/448.19 c #restart = 1 448.00/448.19 o 176321 448.10/448.20 c Solving starts ... 454.91/455.09 c solving time = 6.873s 454.91/455.09 c #decision = 344972 454.91/455.09 c #conflict = 730 454.91/455.09 c #restart = 1 454.91/455.09 o 176317 455.01/455.10 c Solving starts ... 462.10/462.22 c solving time = 7.098s 462.10/462.22 c #decision = 347921 462.10/462.22 c #conflict = 735 462.10/462.22 c #restart = 1 462.10/462.22 o 176316 462.10/462.23 c Solving starts ... 469.30/469.48 c solving time = 7.237s 469.30/469.48 c #decision = 350866 469.30/469.48 c #conflict = 741 469.30/469.48 c #restart = 1 469.30/469.48 o 176315 469.51/469.61 c Solving starts ... 476.40/476.56 c solving time = 6.927s 476.40/476.56 c #decision = 353801 476.40/476.56 c #conflict = 745 476.40/476.56 c #restart = 1 476.40/476.56 o 176314 476.40/476.57 c Solving starts ... 483.59/483.71 c solving time = 7.123s 483.59/483.71 c #decision = 356731 483.59/483.71 c #conflict = 750 483.59/483.71 c #restart = 1 483.59/483.71 o 176313 483.59/483.72 c Solving starts ... 490.79/490.99 c solving time = 7.251s 490.79/490.99 c #decision = 359658 490.79/490.99 c #conflict = 754 490.79/490.99 c #restart = 1 490.79/490.99 o 176312 490.89/491.00 c Solving starts ... 497.90/498.07 c solving time = 7.047s 497.90/498.07 c #decision = 362582 497.90/498.07 c #conflict = 758 497.90/498.07 c #restart = 1 497.90/498.07 o 176311 497.90/498.08 c Solving starts ... 505.20/505.36 c solving time = 7.261s 505.20/505.36 c #decision = 365507 505.20/505.36 c #conflict = 762 505.20/505.36 c #restart = 1 505.20/505.36 o 176310 505.20/505.37 c Solving starts ... 512.50/512.63 c solving time = 7.242s 512.50/512.63 c #decision = 368427 512.50/512.63 c #conflict = 766 512.50/512.63 c #restart = 1 512.50/512.63 o 176309 512.50/512.64 c Solving starts ... 519.99/520.14 c solving time = 7.473s 519.99/520.14 c #decision = 371352 519.99/520.14 c #conflict = 770 519.99/520.14 c #restart = 1 519.99/520.14 o 176308 519.99/520.15 c Solving starts ... 527.29/527.41 c solving time = 7.241s 527.29/527.41 c #decision = 374273 527.29/527.41 c #conflict = 774 527.29/527.41 c #restart = 1 527.29/527.41 o 176307 527.29/527.42 c Solving starts ... 534.69/534.80 c solving time = 7.365s 534.69/534.80 c #decision = 379495 534.69/534.80 c #conflict = 780 534.69/534.80 c #restart = 1 534.69/534.80 o 176305 534.69/534.82 c Solving starts ... 543.19/543.39 c solving time = 8.552s 543.19/543.39 c #decision = 384794 543.19/543.39 c #conflict = 788 543.19/543.39 c #restart = 1 543.19/543.39 o 176303 543.19/543.40 c Solving starts ... 549.29/549.40 c solving time = 5.846s 549.29/549.40 c #decision = 387880 549.29/549.40 c #conflict = 798 549.29/549.40 c #restart = 1 549.29/549.40 o 176302 549.29/549.41 c Solving starts ... 559.89/560.04 c solving time = 10.603s 559.89/560.04 c #decision = 390881 559.89/560.04 c #conflict = 819 559.89/560.04 c #restart = 1 559.89/560.04 o 176301 559.89/560.05 c Solving starts ... 565.09/565.27 c solving time = 5.205s 565.09/565.27 c #decision = 393799 565.09/565.27 c #conflict = 822 565.09/565.27 c #restart = 1 565.09/565.27 o 176300 565.09/565.28 c Solving starts ... 570.89/571.05 c solving time = 5.744s 570.89/571.05 c #decision = 396721 570.89/571.05 c #conflict = 827 570.89/571.05 c #restart = 1 570.89/571.05 o 176299 570.89/571.06 c Solving starts ... 576.69/576.85 c solving time = 5.771s 576.69/576.85 c #decision = 399640 576.69/576.85 c #conflict = 832 576.69/576.85 c #restart = 1 576.69/576.85 o 176298 576.69/576.86 c Solving starts ... 582.39/582.58 c solving time = 5.696s 582.39/582.58 c #decision = 402557 582.39/582.58 c #conflict = 837 582.39/582.58 c #restart = 1 582.39/582.58 o 176297 582.39/582.59 c Solving starts ... 702.25/702.48 c solving time = 119.842s 702.25/702.48 c #decision = 409950 702.25/702.48 c #conflict = 1073 702.25/702.48 c #restart = 2 702.25/702.48 o 172079 702.25/702.49 c Solving starts ... 707.55/707.74 c solving time = 5.223s 707.55/707.74 c #decision = 412892 707.55/707.74 c #conflict = 1073 707.55/707.74 c #restart = 2 707.55/707.74 o 172078 707.55/707.75 c Solving starts ... 712.85/713.06 c solving time = 5.292s 712.85/713.06 c #decision = 415819 712.85/713.06 c #conflict = 1073 712.85/713.06 c #restart = 2 712.85/713.06 o 172077 712.85/713.07 c Solving starts ... 718.45/718.61 c solving time = 5.513s 718.45/718.61 c #decision = 418745 718.45/718.61 c #conflict = 1073 718.45/718.61 c #restart = 2 718.45/718.61 o 172076 718.45/718.62 c Solving starts ... 730.16/730.32 c solving time = 11.679s 730.16/730.32 c #decision = 421691 730.16/730.32 c #conflict = 1081 730.16/730.32 c #restart = 2 730.16/730.32 o 172075 730.16/730.33 c Solving starts ... 735.65/735.85 c solving time = 5.495s 735.65/735.85 c #decision = 424597 735.65/735.85 c #conflict = 1081 735.65/735.85 c #restart = 2 735.65/735.85 o 172074 735.65/735.86 c Solving starts ... 742.04/742.26 c solving time = 6.377s 742.04/742.26 c #decision = 429817 742.04/742.26 c #conflict = 1082 742.04/742.26 c #restart = 2 742.04/742.26 o 172072 742.04/742.27 c Solving starts ... 761.45/761.61 c solving time = 19.321s 761.45/761.61 c #decision = 435134 761.45/761.61 c #conflict = 1103 761.45/761.61 c #restart = 2 761.45/761.61 o 172069 761.45/761.63 c Solving starts ... 769.64/769.83 c solving time = 8.186s 769.64/769.83 c #decision = 438065 769.64/769.83 c #conflict = 1107 769.64/769.83 c #restart = 2 769.64/769.83 o 172068 769.64/769.84 c Solving starts ... 777.94/778.17 c solving time = 8.308s 777.94/778.17 c #decision = 443276 777.94/778.17 c #conflict = 1111 777.94/778.17 c #restart = 2 777.94/778.17 o 172066 777.94/778.19 c Solving starts ... 786.84/787.01 c solving time = 8.804s 786.84/787.01 c #decision = 446218 786.84/787.01 c #conflict = 1114 786.84/787.01 c #restart = 2 786.84/787.01 o 172065 786.84/787.02 c Solving starts ... 795.74/795.96 c solving time = 8.915s 795.74/795.96 c #decision = 451465 795.74/795.96 c #conflict = 1123 795.74/795.96 c #restart = 2 795.74/795.96 o 172046 795.74/795.97 c Solving starts ... 839.04/839.29 c solving time = 43.293s 839.04/839.29 c #decision = 454537 839.04/839.29 c #conflict = 1176 839.04/839.29 c #restart = 2 839.04/839.29 o 172045 839.23/839.43 c Solving starts ... 850.63/850.80 c solving time = 11.343s 850.63/850.80 c #decision = 457475 850.63/850.80 c #conflict = 1183 850.63/850.80 c #restart = 2 850.63/850.80 o 172044 850.63/850.81 c Solving starts ... 861.04/861.29 c solving time = 10.460s 861.04/861.29 c #decision = 460408 861.04/861.29 c #conflict = 1189 861.04/861.29 c #restart = 2 861.04/861.29 o 172043 861.14/861.30 c Solving starts ... 871.93/872.12 c solving time = 10.795s 871.93/872.12 c #decision = 463337 871.93/872.12 c #conflict = 1195 871.93/872.12 c #restart = 2 871.93/872.12 o 172042 871.93/872.13 c Solving starts ... 891.93/892.17 c solving time = 20.017s 891.93/892.17 c #decision = 466304 891.93/892.17 c #conflict = 1207 891.93/892.17 c #restart = 2 891.93/892.17 o 172041 891.93/892.18 c Solving starts ... 909.22/909.49 c solving time = 17.283s 909.22/909.49 c #decision = 469243 909.22/909.49 c #conflict = 1222 909.22/909.49 c #restart = 2 909.22/909.49 o 172040 909.32/909.50 c Solving starts ... 920.02/920.27 c solving time = 10.751s 920.02/920.27 c #decision = 472169 920.02/920.27 c #conflict = 1228 920.02/920.27 c #restart = 2 920.02/920.27 o 172039 920.02/920.28 c Solving starts ... 943.92/944.11 c solving time = 23.802s 943.92/944.11 c #decision = 475136 943.92/944.11 c #conflict = 1253 943.92/944.11 c #restart = 2 943.92/944.11 o 172038 943.92/944.12 c Solving starts ... 954.91/955.17 c solving time = 11.027s 954.91/955.17 c #decision = 480354 954.91/955.17 c #conflict = 1261 954.91/955.17 c #restart = 2 954.91/955.17 o 172034 954.91/955.18 c Solving starts ... 971.21/971.44 c solving time = 16.240s 971.21/971.44 c #decision = 485570 971.21/971.44 c #conflict = 1274 971.21/971.44 c #restart = 2 971.21/971.44 o 172032 971.21/971.46 c Solving starts ... 1064.60/1064.86 c solving time = 93.368s 1064.60/1064.86 c #decision = 489823 1064.60/1064.86 c #conflict = 1535 1064.60/1064.86 c #restart = 4 1064.60/1064.86 o 172031 1064.60/1064.87 c Solving starts ... 1071.10/1071.32 c solving time = 6.427s 1071.10/1071.32 c #decision = 492821 1071.10/1071.32 c #conflict = 1542 1071.10/1071.32 c #restart = 4 1071.10/1071.32 o 172030 1071.10/1071.33 c Solving starts ... 1087.09/1087.38 c solving time = 16.029s 1087.09/1087.38 c #decision = 495960 1087.09/1087.38 c #conflict = 1600 1087.09/1087.38 c #restart = 4 1087.09/1087.38 o 172029 1087.09/1087.39 c Solving starts ... 1097.29/1097.57 c solving time = 10.159s 1097.29/1097.57 c #decision = 499009 1097.29/1097.57 c #conflict = 1637 1097.29/1097.57 c #restart = 4 1097.29/1097.57 o 172028 1097.29/1097.58 c Solving starts ... 1103.99/1104.27 c solving time = 6.669s 1103.99/1104.27 c #decision = 502003 1103.99/1104.27 c #conflict = 1647 1103.99/1104.27 c #restart = 4 1103.99/1104.27 o 172027 1103.99/1104.28 c Solving starts ... 1115.49/1115.70 c solving time = 11.399s 1115.49/1115.70 c #decision = 505077 1115.49/1115.70 c #conflict = 1670 1115.49/1115.70 c #restart = 4 1115.49/1115.70 o 172026 1115.49/1115.71 c Solving starts ... 1132.49/1132.79 c solving time = 17.060s 1132.49/1132.79 c #decision = 508232 1132.49/1132.79 c #conflict = 1717 1132.49/1132.79 c #restart = 4 1132.49/1132.79 o 172025 1132.59/1132.80 c Solving starts ... 1140.50/1140.78 c solving time = 7.956s 1140.50/1140.78 c #decision = 511223 1140.50/1140.78 c #conflict = 1735 1140.50/1140.78 c #restart = 4 1140.50/1140.78 o 172024 1140.69/1140.94 c Solving starts ... 1152.08/1152.31 c solving time = 11.348s 1152.08/1152.31 c #decision = 514261 1152.08/1152.31 c #conflict = 1778 1152.08/1152.31 c #restart = 4 1152.08/1152.31 o 172023 1152.08/1152.32 c Solving starts ... 1166.58/1166.83 c solving time = 14.488s 1166.58/1166.83 c #decision = 517312 1166.58/1166.83 c #conflict = 1838 1166.58/1166.83 c #restart = 4 1166.58/1166.83 o 172022 1166.58/1166.84 c Solving starts ... 1174.98/1175.24 c solving time = 8.381s 1174.98/1175.24 c #decision = 520306 1174.98/1175.24 c #conflict = 1854 1174.98/1175.24 c #restart = 4 1174.98/1175.24 o 172021 1174.98/1175.25 c Solving starts ... 1180.68/1180.94 c solving time = 5.670s 1180.68/1180.94 c #decision = 523263 1180.68/1180.94 c #conflict = 1854 1180.68/1180.94 c #restart = 4 1180.68/1180.94 o 172020 1180.68/1180.95 c Solving starts ... 1190.88/1191.15 c solving time = 10.176s 1190.88/1191.15 c #decision = 526279 1190.88/1191.15 c #conflict = 1885 1190.88/1191.15 c #restart = 4 1190.88/1191.15 o 172019 1190.88/1191.16 c Solving starts ... 1202.97/1203.23 c solving time = 12.044s 1202.97/1203.23 c #decision = 529311 1202.97/1203.23 c #conflict = 1925 1202.97/1203.23 c #restart = 4 1202.97/1203.23 o 172018 1202.97/1203.24 c Solving starts ... 1210.07/1210.35 c solving time = 7.097s 1210.07/1210.35 c #decision = 532285 1210.07/1210.35 c #conflict = 1935 1210.07/1210.35 c #restart = 4 1210.07/1210.36 o 172017 1210.07/1210.37 c Solving starts ... 1222.17/1222.44 c solving time = 12.053s 1222.17/1222.44 c #decision = 535308 1222.17/1222.44 c #conflict = 1957 1222.17/1222.44 c #restart = 4 1222.17/1222.44 o 172016 1222.17/1222.45 c Solving starts ... 1230.27/1230.53 c solving time = 8.054s 1230.27/1230.53 c #decision = 538276 1230.27/1230.53 c #conflict = 1970 1230.27/1230.53 c #restart = 4 1230.27/1230.53 o 172015 1230.27/1230.54 c Solving starts ... 1237.77/1238.01 c solving time = 7.452s 1237.77/1238.01 c #decision = 541236 1237.77/1238.01 c #conflict = 1981 1237.77/1238.01 c #restart = 4 1237.77/1238.01 o 172014 1237.77/1238.02 c Solving starts ... 1247.08/1247.31 c solving time = 9.098s 1247.08/1247.31 c #decision = 544197 1247.08/1247.31 c #conflict = 1995 1247.08/1247.31 c #restart = 4 1247.08/1247.31 o 172013 1247.08/1247.32 c Solving starts ... 1262.37/1262.61 c solving time = 15.271s 1262.37/1262.61 c #decision = 547223 1262.37/1262.61 c #conflict = 2034 1262.37/1262.61 c #restart = 4 1262.37/1262.61 o 172012 1262.37/1262.63 c Solving starts ... 1276.06/1276.38 c solving time = 13.738s 1276.06/1276.38 c #decision = 550223 1276.06/1276.38 c #conflict = 2053 1276.06/1276.38 c #restart = 4 1276.06/1276.38 o 172011 1276.26/1276.55 c Solving starts ... 1284.76/1285.06 c solving time = 8.488s 1284.76/1285.06 c #decision = 553153 1284.76/1285.06 c #conflict = 2060 1284.76/1285.06 c #restart = 4 1284.76/1285.06 o 172010 1284.76/1285.07 c Solving starts ... 1301.86/1302.11 c solving time = 17.012s 1301.86/1302.11 c #decision = 556105 1301.86/1302.11 c #conflict = 2079 1301.86/1302.11 c #restart = 4 1301.86/1302.11 o 172009 1301.86/1302.12 c Solving starts ... 1310.97/1311.27 c solving time = 9.133s 1310.97/1311.27 c #decision = 559039 1310.97/1311.27 c #conflict = 2088 1310.97/1311.27 c #restart = 4 1310.97/1311.27 o 172008 1310.97/1311.28 c Solving starts ... 1321.16/1321.43 c solving time = 10.121s 1321.16/1321.43 c #decision = 561980 1321.16/1321.43 c #conflict = 2098 1321.16/1321.43 c #restart = 4 1321.16/1321.43 o 172007 1321.16/1321.44 c Solving starts ... 1331.46/1331.72 c solving time = 10.257s 1331.46/1331.72 c #decision = 564920 1331.46/1331.72 c #conflict = 2108 1331.46/1331.72 c #restart = 4 1331.46/1331.72 o 172006 1331.46/1331.73 c Solving starts ... 1341.85/1342.19 c solving time = 10.437s 1341.85/1342.19 c #decision = 567862 1341.85/1342.19 c #conflict = 2118 1341.85/1342.19 c #restart = 4 1341.85/1342.19 o 172005 1341.95/1342.20 c Solving starts ... 1353.25/1353.55 c solving time = 11.331s 1353.25/1353.55 c #decision = 570800 1353.25/1353.55 c #conflict = 2131 1353.25/1353.55 c #restart = 4 1353.25/1353.55 o 172004 1353.25/1353.56 c Solving starts ... 1363.55/1363.89 c solving time = 10.310s 1363.55/1363.89 c #decision = 573737 1363.55/1363.89 c #conflict = 2142 1363.55/1363.89 c #restart = 4 1363.55/1363.89 o 172003 1363.66/1363.91 c Solving starts ... 1421.84/1422.20 c solving time = 58.264s 1421.84/1422.20 c #decision = 579472 1421.84/1422.20 c #conflict = 2224 1421.84/1422.20 c #restart = 4 1421.84/1422.20 o 167746 1421.95/1422.21 c Solving starts ... 1429.34/1429.68 c solving time = 7.453s 1429.34/1429.68 c #decision = 582467 1429.34/1429.68 c #conflict = 2224 1429.34/1429.68 c #restart = 4 1429.34/1429.68 o 167745 1429.34/1429.70 c Solving starts ... 1436.94/1437.21 c solving time = 7.492s 1436.94/1437.21 c #decision = 585426 1436.94/1437.21 c #conflict = 2224 1436.94/1437.21 c #restart = 4 1436.94/1437.21 o 167744 1436.94/1437.22 c Solving starts ... 1447.83/1448.15 c solving time = 10.909s 1447.83/1448.15 c #decision = 588392 1447.83/1448.15 c #conflict = 2229 1447.83/1448.15 c #restart = 4 1447.83/1448.15 o 167743 1447.83/1448.16 c Solving starts ... 1465.24/1465.53 c solving time = 17.347s 1465.24/1465.53 c #decision = 591342 1465.24/1465.53 c #conflict = 2241 1465.24/1465.53 c #restart = 4 1465.24/1465.53 o 167742 1465.24/1465.55 c Solving starts ... 1485.33/1485.64 c solving time = 20.069s 1485.33/1485.64 c #decision = 594296 1485.33/1485.64 c #conflict = 2258 1485.33/1485.64 c #restart = 4 1485.33/1485.64 o 167741 1485.33/1485.65 c Solving starts ... 1501.63/1501.96 c solving time = 16.286s 1501.63/1501.96 c #decision = 597237 1501.63/1501.96 c #conflict = 2271 1501.63/1501.96 c #restart = 4 1501.63/1501.96 o 167740 1501.63/1501.97 c Solving starts ... 1516.22/1516.55 c solving time = 14.554s 1516.22/1516.55 c #decision = 600171 1516.22/1516.55 c #conflict = 2281 1516.22/1516.55 c #restart = 4 1516.22/1516.55 o 167739 1516.22/1516.56 c Solving starts ... 1528.52/1528.89 c solving time = 12.303s 1528.52/1528.89 c #decision = 603107 1528.52/1528.89 c #conflict = 2288 1528.52/1528.89 c #restart = 4 1528.52/1528.89 o 167738 1528.52/1528.90 c Solving starts ... 1541.02/1541.39 c solving time = 12.471s 1541.02/1541.39 c #decision = 606043 1541.02/1541.39 c #conflict = 2295 1541.02/1541.39 c #restart = 4 1541.02/1541.39 o 167737 1541.13/1541.40 c Solving starts ... 1553.93/1554.24 c solving time = 12.811s 1553.93/1554.24 c #decision = 608972 1553.93/1554.24 c #conflict = 2302 1553.93/1554.24 c #restart = 4 1553.93/1554.24 o 167736 1553.93/1554.25 c Solving starts ... 1566.62/1566.94 c solving time = 12.667s 1566.62/1566.94 c #decision = 611898 1566.62/1566.94 c #conflict = 2309 1566.62/1566.94 c #restart = 4 1566.62/1566.94 o 167735 1566.62/1566.95 c Solving starts ... 1703.49/1703.82 c solving time = 136.817s 1703.49/1703.82 c #decision = 617921 1703.49/1703.82 c #conflict = 2461 1703.49/1703.82 c #restart = 5 1703.49/1703.82 o 167733 1703.49/1703.83 c Solving starts ... 1714.08/1714.43 c solving time = 10.580s 1714.08/1714.43 c #decision = 620840 1714.08/1714.43 c #conflict = 2465 1714.08/1714.43 c #restart = 5 1714.08/1714.43 o 167732 1714.08/1714.44 c Solving starts ...
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706302-1338140345/watcher-3706302-1338140345 -o /tmp/evaluation-result-3706302-1338140345/solver-3706302-1338140345 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706302-1338140345.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 2.02 2.00 3/178 24261 /proc/meminfo: memFree=29717704/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=7232 CPUtime=0 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 829 0 0 0 0 0 0 0 20 0 1 0 280159265 7405568 750 33554432000 4194304 8973514 140734699879616 140735412582120 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 1808 750 411 1167 0 589 0 [startup+0.0640709 s] /proc/loadavg: 2.07 2.02 2.00 3/178 24261 /proc/meminfo: memFree=29717704/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=10304 CPUtime=0.05 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 1722 0 0 0 5 0 0 0 20 0 1 0 280159265 10551296 1643 33554432000 4194304 8973514 140734699879616 140734699879112 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 2576 1649 416 1167 0 1357 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10304 [startup+0.100297 s] /proc/loadavg: 2.07 2.02 2.00 3/178 24261 /proc/meminfo: memFree=29717704/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=12352 CPUtime=0.09 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 2355 0 0 0 9 0 0 0 20 0 1 0 280159265 12648448 2276 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 3088 2276 418 1167 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12352 [startup+0.300298 s] /proc/loadavg: 2.07 2.02 2.00 3/178 24261 /proc/meminfo: memFree=29717704/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=22592 CPUtime=0.29 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 4915 0 0 0 28 1 0 0 20 0 1 0 280159265 23134208 4836 33554432000 4194304 8973514 140734699879616 140734699879112 4209309 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 5648 4836 418 1167 0 4429 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22592 [startup+0.700295 s] /proc/loadavg: 2.07 2.02 2.00 3/178 24261 /proc/meminfo: memFree=29717704/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=47168 CPUtime=0.69 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 11059 0 0 0 66 3 0 0 20 0 1 0 280159265 48300032 10980 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 11792 10980 418 1167 0 10573 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47168 [startup+1.5003 s] /proc/loadavg: 2.07 2.02 2.00 3/179 24262 /proc/meminfo: memFree=29660152/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=109632 CPUtime=1.48 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 26675 0 0 0 142 6 0 0 20 0 1 0 280159265 112263168 26596 33554432000 4194304 8973514 140734699879616 140734699878880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 27408 26596 418 1167 0 26189 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 109632 [startup+3.10021 s] /proc/loadavg: 2.07 2.02 2.00 3/179 24262 /proc/meminfo: memFree=29583628/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=138304 CPUtime=3.09 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 33865 0 0 0 300 9 0 0 20 0 1 0 280159265 141623296 33786 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 34576 33786 434 1167 0 33357 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 138304 [startup+6.30022 s] /proc/loadavg: 2.07 2.02 2.00 3/179 24262 /proc/meminfo: memFree=29581776/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=139328 CPUtime=6.28 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 34121 0 0 0 618 10 0 0 20 0 1 0 280159265 142671872 34042 33554432000 4194304 8973514 140734699879616 140734699877632 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 34832 34042 434 1167 0 33613 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 139328 [startup+12.7003 s] /proc/loadavg: 2.06 2.02 2.00 3/179 24262 /proc/meminfo: memFree=29581388/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=139328 CPUtime=12.69 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 34144 0 0 0 1257 12 0 0 20 0 1 0 280159265 142671872 34065 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 34832 34065 457 1167 0 33613 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 139328 [startup+25.5003 s] /proc/loadavg: 2.05 2.01 2.00 3/179 24262 /proc/meminfo: memFree=29581628/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=139328 CPUtime=25.48 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 34144 0 0 0 2533 15 0 0 20 0 1 0 280159265 142671872 34065 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 34832 34065 457 1167 0 33613 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 139328 [startup+51.1003 s] /proc/loadavg: 2.03 2.01 2.00 3/179 24262 /proc/meminfo: memFree=29555060/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=147520 CPUtime=51.08 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 36192 0 0 0 5086 22 0 0 20 0 1 0 280159265 151060480 36113 33554432000 4194304 8973514 140734699879616 140734699877568 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 36880 36113 457 1167 0 35661 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 147520 [startup+102.307 s] /proc/loadavg: 2.01 2.01 2.00 3/180 24265 /proc/meminfo: memFree=29507216/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=157760 CPUtime=102.28 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 38752 0 0 0 10197 31 0 0 20 0 1 0 280159265 161546240 38673 33554432000 4194304 8973514 140734699879616 140734699878880 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 39440 38673 457 1167 0 38221 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 157760 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24265 /proc/meminfo: memFree=29455756/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=173120 CPUtime=162.26 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 42602 0 0 0 16176 50 0 0 20 0 1 0 280159265 177274880 42513 33554432000 4194304 8973514 140734699879616 140734699878880 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 43280 42513 457 1167 0 42061 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 173120 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24266 /proc/meminfo: memFree=29424156/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=187456 CPUtime=222.24 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 46198 0 0 0 22157 67 0 0 20 0 1 0 280159265 191954944 46097 33554432000 4194304 8973514 140734699879616 140734699878880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 46864 46097 457 1167 0 45645 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 187456 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24266 /proc/meminfo: memFree=29394724/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=207936 CPUtime=282.23 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 51323 0 0 0 28131 92 0 0 20 0 1 0 280159265 212926464 51217 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 51984 51217 457 1167 0 50765 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 207936 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24266 /proc/meminfo: memFree=29358640/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=225344 CPUtime=342.22 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 55675 0 0 0 34102 120 0 0 20 0 1 0 280159265 230752256 55569 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 56336 55569 457 1167 0 55117 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 225344 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24266 /proc/meminfo: memFree=29337924/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=225344 CPUtime=402.21 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 55675 0 0 0 40077 144 0 0 20 0 1 0 280159265 230752256 55569 33554432000 4194304 8973514 140734699879616 140734699879112 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 56336 55569 457 1167 0 55117 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 225344 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24266 /proc/meminfo: memFree=29297096/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=237632 CPUtime=462.2 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 58747 0 0 0 46051 169 0 0 20 0 1 0 280159265 243335168 58641 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 59408 58641 457 1167 0 58189 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 237632 [startup+522.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 24267 /proc/meminfo: memFree=29252208/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=258112 CPUtime=522.19 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 63867 0 0 0 52031 188 0 0 20 0 1 0 280159265 264306688 63761 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 64528 63761 457 1167 0 63309 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 258112 [startup+582.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24267 /proc/meminfo: memFree=29214016/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=277568 CPUtime=582.18 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 68731 0 0 0 58007 211 0 0 20 0 1 0 280159265 284229632 68625 33554432000 4194304 8973514 140734699879616 140734699878880 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 69392 68625 457 1167 0 68173 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 277568 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24271 /proc/meminfo: memFree=29160980/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=309312 CPUtime=822.14 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 76684 0 0 0 81884 330 0 0 20 0 1 0 280159265 316735488 76561 33554432000 4194304 8973514 140734699879616 140734699879112 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 77328 76561 457 1167 0 76109 0 Current children cumulated CPU time (s) 822.14 Current children cumulated vsize (KiB) 309312 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24271 /proc/meminfo: memFree=29152556/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=317504 CPUtime=882.12 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 78732 0 0 0 87863 349 0 0 20 0 1 0 280159265 325124096 78609 33554432000 4194304 8973514 140734699879616 140734699878880 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 79376 78609 457 1167 0 78157 0 Current children cumulated CPU time (s) 882.12 Current children cumulated vsize (KiB) 317504 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24271 /proc/meminfo: memFree=29128368/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=324672 CPUtime=942.12 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 80524 0 0 0 93842 370 0 0 20 0 1 0 280159265 332464128 80401 33554432000 4194304 8973514 140734699879616 140734699878880 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 81168 80401 457 1167 0 79949 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 324672 [startup+1002.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 24271 /proc/meminfo: memFree=29105800/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=331840 CPUtime=1002.11 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 82316 0 0 0 99814 397 0 0 20 0 1 0 280159265 339804160 82193 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 82960 82193 457 1167 0 81741 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 331840 [startup+1062.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24271 /proc/meminfo: memFree=29097492/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=332864 CPUtime=1062.1 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 82572 0 0 0 105785 425 0 0 20 0 1 0 280159265 340852736 82449 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 83216 82449 457 1167 0 81997 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 332864 [startup+1122.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 24272 /proc/meminfo: memFree=29075612/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=345152 CPUtime=1122.08 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 85645 0 0 0 111752 456 0 0 20 0 1 0 280159265 353435648 85521 33554432000 4194304 8973514 140734699879616 140734699877568 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 86288 85521 457 1167 0 85069 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 345152 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24272 /proc/meminfo: memFree=29049572/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=355392 CPUtime=1182.08 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 88205 0 0 0 117722 486 0 0 20 0 1 0 280159265 363921408 88081 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 88848 88081 457 1167 0 87629 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 355392 [startup+1242.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 24272 /proc/meminfo: memFree=29029236/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=369728 CPUtime=1242.07 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 91789 0 0 0 123690 517 0 0 20 0 1 0 280159265 378601472 91665 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 92432 91665 457 1167 0 91213 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 369728 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 2.00 3/180 24275 /proc/meminfo: memFree=29001204/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=383040 CPUtime=1302.07 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 95117 0 0 0 129662 545 0 0 20 0 1 0 280159265 392232960 94993 33554432000 4194304 8973514 140734699879616 140734699879112 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 95760 94993 457 1167 0 94541 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 383040 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 24298 /proc/meminfo: memFree=28973968/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=397376 CPUtime=1362.05 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 98701 0 0 0 135634 571 0 0 20 0 1 0 280159265 406913024 98577 33554432000 4194304 8973514 140734699879616 140734699879112 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 99344 98577 457 1167 0 98125 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 397376 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24299 /proc/meminfo: memFree=28953668/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=399424 CPUtime=1422.05 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 99213 0 0 0 141601 604 0 0 20 0 1 0 280159265 409010176 99089 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 99856 99089 457 1167 0 98637 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 399424 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24299 /proc/meminfo: memFree=28939592/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=411712 CPUtime=1482.04 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 102285 0 0 0 147570 634 0 0 20 0 1 0 280159265 421593088 102161 33554432000 4194304 8973514 140734699879616 140734699877568 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 102928 102161 457 1167 0 101709 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 411712 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24299 /proc/meminfo: memFree=28928308/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=421952 CPUtime=1542.02 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 104845 0 0 0 153544 658 0 0 20 0 1 0 280159265 432078848 104721 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 105488 104721 457 1167 0 104269 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 421952 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24299 /proc/meminfo: memFree=28922232/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=428096 CPUtime=1602.01 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 106381 0 0 0 159516 685 0 0 20 0 1 0 280159265 438370304 106257 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 107024 106257 457 1167 0 105805 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 428096 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24299 /proc/meminfo: memFree=28921940/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=428096 CPUtime=1662 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 106385 0 0 0 165480 720 0 0 20 0 1 0 280159265 438370304 106257 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 107024 106257 457 1167 0 105805 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 428096 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24300 /proc/meminfo: memFree=28920160/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=430144 CPUtime=1721.99 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 106908 0 0 0 171447 752 0 0 20 0 1 0 280159265 440467456 106769 33554432000 4194304 8973514 140734699879616 140734699879112 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 107536 106769 457 1167 0 106317 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 430144 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24339 /proc/meminfo: memFree=29304588/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=433216 CPUtime=1781.97 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 107676 0 0 0 177415 782 0 0 20 0 1 0 280159265 443613184 107537 33554432000 4194304 8973514 140734699879616 140734699878880 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 108304 107537 457 1167 0 107085 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 433216 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24339 /proc/meminfo: memFree=29303472/32873844 swapFree=7372/7372 [pid=24261] ppid=24259 vsize=433216 CPUtime=1800.09 cores=1,3,5,7 /proc/24261/stat : 24261 (toysat) R 24259 24261 21797 0 -1 4202496 107676 0 0 0 179217 792 0 0 20 0 1 0 280159265 443613184 107537 33554432000 4194304 8973514 140734699879616 140734699879112 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/24261/statm: 108304 107537 457 1167 0 107085 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 433216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.09 CPU user time (s): 1792.17 CPU system time (s): 7.92279 CPU usage (%): 99.9825 Max. virtual memory (cumulated for all children) (KiB): 433216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.17 system time used= 7.92279 maximum resident set size= 430148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107676 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 63 involuntary context switches= 1858 runsolver used 3.2625 second user time and 11.1933 second system time The end
Begin job on node133 at 2012-05-27 19:39:05 IDJOB=3706302 IDBENCH=72270 IDSOLVER=2285 FILE ID=node133/3706302-1338140345 RUNJOBID= node133-1338109544-21814 PBS_JOBID= 14624470 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-gtwitter.cudf.paranoid.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706302-1338140345/watcher-3706302-1338140345 -o /tmp/evaluation-result-3706302-1338140345/solver-3706302-1338140345 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706302-1338140345.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 58a624faf8162d1e3a54c1cee1cafdb3 RANDOM SEED=640023353 node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29718348 kB Buffers: 359180 kB Cached: 1795924 kB SwapCached: 104 kB Active: 797512 kB Inactive: 1532192 kB Active(anon): 165212 kB Inactive(anon): 11368 kB Active(file): 632300 kB Inactive(file): 1520824 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108752 kB Dirty: 10880 kB Writeback: 0 kB AnonPages: 180856 kB Mapped: 16196 kB Shmem: 212 kB Slab: 685868 kB SReclaimable: 128016 kB SUnreclaim: 557852 kB KernelStack: 1472 kB PageTables: 4324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 287960 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node133 at 2012-05-27 20:09:07