Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-03-23 | OPT | 35 | 1017.02 | 1021.66 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir09_area_partials.opb |
MD5SUM | 267e112b52309c055e255eac2f43ef33 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 35 |
Best CPU time to get the best result obtained on this benchmark | 3.85141 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 35 |
Optimality of the best value was proved | YES |
Number of variables | 5060 |
Total number of constraints | 20188 |
Number of constraints which are clauses | 20188 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 250 |
Number of terms in the objective function | 537 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 537 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 537 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
2.57/2.64 o 523 3.90/4.08 o 515 5.40/5.57 o 514 6.90/7.06 o 513 8.39/8.57 o 512 9.88/10.10 o 511 11.48/11.61 o 510 12.98/13.15 o 509 14.51/14.76 o 508 16.10/16.32 o 507 17.60/17.98 o 506 19.20/19.57 o 505 20.80/21.17 o 504 22.39/22.79 o 503 24.10/24.41 o 502 25.62/26.07 o 501 27.31/27.73 o 500 28.90/29.34 o 499 30.60/31.01 o 498 32.20/32.64 o 497 33.90/34.32 o 496 35.59/36.03 o 495 37.28/37.74 o 494 38.98/39.42 o 493 40.69/41.15 o 492 42.47/42.91 o 491 44.17/44.67 o 490 45.97/46.45 o 489 47.76/48.23 o 488 49.56/50.03 o 487 51.36/51.82 o 486 53.16/53.61 o 485 54.95/55.42 o 484 56.76/57.25 o 483 58.55/59.08 o 482 60.45/60.94 o 481 62.26/62.79 o 480 64.15/64.67 o 479 66.04/66.54 o 478 67.96/69.11 o 477 69.86/71.01 o 476 71.76/72.90 o 475 73.65/74.81 o 474 75.56/76.71 o 473 77.40/78.67 o 472 79.31/80.60 o 471 81.31/82.55 o 470 83.30/84.51 o 469 85.20/86.48 o 468 87.20/88.46 o 467 89.19/90.45 o 466 91.20/92.43 o 465 93.18/94.42 o 464 95.19/96.42 o 463 97.18/98.42 o 462 99.18/100.44 o 461 101.20/102.54 o 460 103.21/104.59 o 459 105.30/106.64 o 458 107.30/108.70 o 457 109.40/110.76 o 456 111.49/112.81 o 455 113.49/114.87 o 454 115.59/116.91 o 453 117.59/118.99 o 452 119.68/121.09 o 451 121.88/123.21 o 450 123.99/125.32 o 449 126.08/127.44 o 448 128.18/129.56 o 447 130.26/131.69 o 446 132.46/133.80 o 445 134.57/135.93 o 444 136.66/138.07 o 443 138.86/140.21 o 442 140.97/142.38 o 441 143.16/144.55 o 440 145.35/146.73 o 439 147.56/148.91 o 438 149.76/151.10 o 437 151.86/153.28 o 436 154.05/155.45 o 435 156.26/157.64 o 434 158.46/159.84 o 433 160.65/162.05 o 432 162.85/164.27 o 431 165.15/166.50 o 430 167.34/168.74 o 429 169.55/170.97 o 428 171.74/173.20 o 427 174.04/175.42 o 426 176.24/177.66 o 425 178.53/179.90 o 424 180.73/182.16 o 423 183.02/184.44 o 422 185.32/186.71 o 421 187.52/189.00 o 420 189.82/191.27 o 419 192.12/193.55 o 418 194.40/195.84 o 417 196.70/198.12 o 416 199.02/200.42 o 415 201.31/202.73 o 414 203.59/205.05 o 413 205.90/207.37 o 412 208.19/209.67 o 411 210.49/211.98 o 410 212.89/214.30 o 409 215.20/216.62 o 408 217.48/218.95 o 407 219.79/221.29 o 406 222.09/223.58 o 405 224.47/225.94 o 404 226.87/228.30 o 403 229.18/230.66 o 402 231.58/233.04 o 401 233.98/235.41 o 400 236.27/237.77 o 399 238.66/240.13 o 398 241.02/242.56 o 397 243.42/244.96 o 396 245.83/247.36 o 395 248.23/249.76 o 394 250.62/252.15 o 393 253.02/254.54 o 392 255.41/256.93 o 391 257.81/259.32 o 390 260.22/261.74 o 389 262.62/264.16 o 388 265.01/266.58 o 387 267.51/269.01 o 386 269.91/271.43 o 385 272.31/273.85 o 384 274.70/276.26 o 383 277.10/278.69 o 382 279.60/281.12 o 381 281.99/283.57 o 380 284.49/286.03 o 379 286.99/288.53 o 378 289.39/290.97 o 377 291.88/293.41 o 376 294.28/295.85 o 375 296.68/298.29 o 374 299.17/300.74 o 373 301.67/303.21 o 372 304.08/305.68 o 371 306.57/308.15 o 370 309.06/310.62 o 369 311.46/313.07 o 368 313.96/315.53 o 367 316.39/318.17 o 366 318.89/320.64 o 365 321.38/323.12 o 364 323.88/325.62 o 363 326.39/328.10 o 362 328.80/330.59 o 361 331.29/333.06 o 360 333.79/335.59 o 359 336.29/338.06 o 358 338.78/340.55 o 357 341.27/343.05 o 356 343.78/345.56 o 355 346.28/348.06 o 354 348.77/350.57 o 353 351.33/353.12 o 352 353.83/355.60 o 351 356.22/358.09 o 350 358.73/360.52 o 349 361.11/362.93 o 348 363.60/365.40 o 347 366.00/367.85 o 346 368.49/370.30 o 345 370.89/372.73 o 344 373.32/375.28 o 343 375.72/377.69 o 342 378.21/380.15 o 341 380.60/382.57 o 340 382.99/384.98 o 339 385.49/387.46 o 338 387.99/389.92 o 337 390.38/392.37 o 336 392.88/394.81 o 335 395.25/397.30 o 334 397.76/399.77 o 333 400.26/402.22 o 332 402.66/404.73 o 331 405.18/407.30 o 330 407.57/409.76 o 329 410.06/412.22 o 328 412.47/414.67 o 327 415.07/417.20 o 326 417.46/419.67 o 325 419.96/422.12 o 324 422.36/424.55 o 323 424.84/427.04 o 322 427.33/429.51 o 321 429.73/431.98 o 320 432.24/434.50 o 319 434.62/436.99 o 318 437.15/439.47 o 317 439.63/441.95 o 316 442.03/444.38 o 315 444.52/446.87 o 314 447.01/449.34 o 313 449.51/451.82 o 312 451.90/454.28 o 311 454.40/456.74 o 310 456.80/459.30 o 309 459.27/461.76 o 308 461.67/464.18 o 307 464.18/466.62 o 306 466.56/469.09 o 305 469.06/471.56 o 304 471.55/474.01 o 303 474.04/476.51 o 302 476.42/478.99 o 301 478.93/481.44 o 300 481.33/483.87 o 299 483.71/486.28 o 298 486.09/488.69 o 297 488.70/491.24 o 296 491.20/493.75 o 295 493.68/496.24 o 294 496.15/498.78 o 293 498.76/501.32 o 292 501.16/503.73 o 291 503.64/506.22 o 290 506.02/508.68 o 289 508.54/511.16 o 288 511.03/513.63 o 287 513.52/516.11 o 286 515.90/518.58 o 285 518.50/521.11 o 284 520.91/523.54 o 283 523.40/526.02 o 282 525.77/528.47 o 281 528.28/530.91 o 280 530.67/533.34 o 279 533.07/535.75 o 278 535.56/538.22 o 277 537.95/540.67 o 276 540.46/543.12 o 275 542.86/545.53 o 274 545.23/547.99 o 273 547.74/550.45 o 272 550.11/552.89 o 271 552.61/555.33 o 270 555.03/557.76 o 269 557.51/560.21 o 268 559.90/562.65 o 267 562.30/565.06 o 266 564.68/567.46 o 265 567.08/569.83 o 264 569.46/572.28 o 263 571.97/574.71 o 262 574.37/577.12 o 261 576.76/579.55 o 260 579.16/581.92 o 259 581.56/584.35 o 258 583.93/586.79 o 257 586.34/589.18 o 256 588.72/591.57 o 255 591.15/593.95 o 254 593.52/596.37 o 253 596.02/598.83 o 252 598.41/601.21 o 251 600.69/603.58 o 250 603.20/606.00 o 249 605.58/608.41 o 248 607.98/610.81 o 247 610.37/613.20 o 246 612.77/615.64 o 245 615.05/617.99 o 244 617.47/620.34 o 243 619.85/622.73 o 242 622.24/625.11 o 241 624.51/627.47 o 240 626.94/629.82 o 239 629.34/632.20 o 238 631.62/634.53 o 237 633.91/636.88 o 236 636.29/639.26 o 235 638.69/641.67 o 234 641.11/644.01 o 233 643.40/646.34 o 232 645.69/648.65 o 231 648.08/651.00 o 230 650.38/653.30 o 229 652.76/655.71 o 228 655.07/658.04 o 227 657.35/660.37 o 226 659.73/662.71 o 225 662.02/665.01 o 224 664.21/667.29 o 223 666.49/669.57 o 222 668.79/671.85 o 221 671.09/674.13 o 220 673.36/676.46 o 219 675.77/678.80 o 218 678.07/681.10 o 217 680.24/683.39 o 216 682.54/685.67 o 215 684.85/687.94 o 214 687.15/690.21 o 213 689.43/692.53 o 212 691.62/694.79 o 211 693.90/697.06 o 210 696.22/699.30 o 209 698.50/701.64 o 208 700.77/703.98 o 207 702.98/706.17 o 206 705.37/708.50 o 205 707.55/710.76 o 204 709.90/713.12 o 203 712.07/715.36 o 202 714.36/717.68 o 201 716.67/719.90 o 200 718.86/722.10 o 199 721.03/724.37 o 198 723.23/726.56 o 197 725.42/728.76 o 196 727.62/730.96 o 195 729.81/733.15 o 194 732.11/735.40 o 193 734.19/737.58 o 192 736.38/739.77 o 191 738.59/741.93 o 190 740.78/744.10 o 189 742.87/746.26 o 188 745.05/748.44 o 187 747.27/750.60 o 186 749.46/752.82 o 185 751.56/754.98 o 184 753.84/757.20 o 183 755.92/759.36 o 182 758.01/761.49 o 181 760.21/763.65 o 180 762.32/765.79 o 179 764.49/767.95 o 178 766.59/770.09 o 177 768.80/772.26 o 176 771.01/774.40 o 175 773.08/776.57 o 174 775.29/778.70 o 173 777.39/780.83 o 172 779.35/782.88 o 171 781.46/784.97 o 170 783.55/787.03 o 169 785.65/789.16 o 168 787.75/791.24 o 167 789.86/793.32 o 166 791.94/795.41 o 165 793.93/797.50 o 164 796.14/799.62 o 163 798.23/801.70 o 162 800.23/803.71 o 161 802.20/805.73 o 160 804.20/807.77 o 159 806.31/809.80 o 158 808.29/811.86 o 157 810.38/813.94 o 156 812.37/815.93 o 155 814.40/817.92 o 154 816.38/819.93 o 153 818.37/822.03 o 152 820.36/824.03 o 151 822.38/826.04 o 150 824.27/827.98 o 149 826.26/829.93 o 148 828.27/831.92 o 147 830.27/833.90 o 146 832.17/835.97 o 145 834.15/837.99 o 144 836.16/839.91 o 143 838.06/841.85 o 142 840.06/843.80 o 141 841.94/845.77 o 140 843.84/847.66 o 139 845.74/849.57 o 138 847.72/851.56 o 137 849.72/853.53 o 136 851.62/855.47 o 135 853.50/857.36 o 134 855.50/859.32 o 133 857.40/861.24 o 132 859.28/863.15 o 131 861.20/865.01 o 130 862.98/866.88 o 129 864.87/868.77 o 128 866.77/870.60 o 127 868.65/872.52 o 126 870.43/874.39 o 125 872.34/876.29 o 124 874.24/878.19 o 123 876.12/880.08 o 122 878.02/881.94 o 121 879.81/883.72 o 120 881.62/885.54 o 119 883.41/887.44 o 118 885.22/889.29 o 117 887.01/891.09 o 116 888.92/892.90 o 115 890.61/894.67 o 114 892.39/896.48 o 112 894.19/898.27 o 111 895.98/900.02 o 110 897.68/901.78 o 109 899.44/903.55 o 108 901.15/905.29 o 107 902.94/907.05 o 106 904.63/908.77 o 105 906.43/910.51 o 104 908.14/912.21 o 103 909.84/914.04 o 102 911.50/915.72 o 101 913.23/917.41 o 100 914.89/919.13 o 99 916.61/920.81 o 98 918.30/922.51 o 97 919.88/924.16 o 96 921.57/925.84 o 95 923.17/927.47 o 94 924.87/929.14 o 93 926.47/930.76 o 92 928.16/932.42 o 91 929.75/934.03 o 90 931.35/935.67 o 89 932.94/937.28 o 88 934.64/938.93 o 87 936.24/940.58 o 86 937.94/942.20 o 85 939.41/943.77 o 84 941.02/945.39 o 83 942.61/946.92 o 82 944.10/948.48 o 81 945.70/950.06 o 80 947.29/951.61 o 79 948.78/953.19 o 78 950.39/954.74 o 77 951.99/956.31 o 76 953.47/957.84 o 75 954.96/959.35 o 74 956.46/960.84 o 73 957.96/962.36 o 72 959.45/963.84 o 71 960.95/965.37 o 70 962.44/966.86 o 69 964.03/968.41 o 68 965.52/969.91 o 67 966.92/971.40 o 66 968.51/972.91 o 65 969.90/974.39 o 64 971.40/975.85 o 63 972.90/977.34 o 62 974.30/978.79 o 61 975.71/980.18 o 60 977.19/981.64 o 59 978.58/983.07 o 58 979.96/984.47 o 57 981.37/985.88 o 56 982.86/987.31 o 55 984.27/988.70 o 54 985.55/990.07 o 53 986.96/991.44 o 52 988.35/992.83 o 51 989.65/994.16 o 50 991.04/995.51 o 49 992.44/996.90 o 48 993.71/998.28 o 47 995.19/999.76 o 46 996.48/1001.04 o 45 997.77/1002.38 o 44 999.17/1003.70 o 43 1000.77/1005.33 o 42 1002.25/1006.84 o 41 1003.84/1008.49 o 40 1005.44/1010.09 o 39 1007.44/1012.08 o 38 1009.53/1014.17 o 37 1011.12/1015.75 o 36 1013.42/1018.05 o 35 1016.92/1021.66 s OPTIMUM FOUND 1016.92/1021.66 v x1 x2 x3 x4 x5 x6 x9 x10 x11 x12 x13 x31 x39 x40 x43 x47 x70 x77 x92 x93 x96 x97 x98 x99 x114 x330 x434 x435 x475 x476 x525 x526 x527 1016.92/1021.66 v x534 x535 x536 x537 x549 x565 x568 x582 x595 x599 x602 x605 x625 x631 x636 x639 x651 x652 x656 x661 x664 x667 x670 x673 x678 x681 1016.92/1021.66 v x685 x696 x713 x716 x768 x777 x783 x790 x804 x806 x812 x815 x822 x830 x833 x846 x872 x904 x985 x1006 x1053 x1062 x1153 x1201 1016.92/1021.66 v x1205 x1208 x1209 x1251 x1276 x1283 x1285 x1306 x1309 x1315 x1320 x1335 x1338 x1392 x1409 x1426 x1438 x1476 x1581 x1588 x1592 1016.92/1021.66 v x1726 x1763 x1816 x1819 x1832 x1835 x1862 x1866 x1910 x1913 x1943 x1987 x2076 x2126 x2153 x2206 x2223 x2243 x2260 x2321 x2345 1016.92/1021.66 v x2354 x2432 x2437 x2474 x2492 x2507 x2527 x2559 x2591 x2665 x2775 x2816 x2841 x2845 x3017 x3063 x3139 x3196 x3199 x3202 x3273 1016.92/1021.66 v x3284 x3314 x3420 x3438 x3455 x3496 x3508 x3541 x3575 x3598 x3624 x3638 x3645 x3655 x3678 x3690 x3698 x3705 x3728 x3766 x3774 1016.92/1021.66 v x3793 x3804 x3860 x3944 x3965 x4001 x4014 x4024 x4084 x4088 x4132 x4141 x4160 x4176 x4181 x4233 x4265 x4361 x4362 x4373 x4379 1016.92/1021.66 v x4438 x4562 x4609 x4659 x4683 x4714 x4726 x4812 x4864 x4868 x4898 x4950 x4964 x4982 x5011 x5014 x5056 x5060
OK 35
/tmp/evaluation/373249-1177365122/instance-373249-1177365122.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-373249-1177365122 -o ROOT/results/node26/solver-373249-1177365122 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373249-1177365122.opb /tmp/evaluation/373249-1177365122/temp 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 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: 0.31 0.77 0.86 3/77 13707 /proc/meminfo: memFree=1679304/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12268 CPUtime=0 /proc/13707/stat : 13707 (pbclasp) D 13705 13707 13116 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 184429085 12562432 317 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269028653669 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/13707/statm: 3067 317 242 3 0 167 0 [startup+0.00991292 s] /proc/loadavg: 0.31 0.77 0.86 3/77 13707 /proc/meminfo: memFree=1679304/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12400 CPUtime=0 /proc/13707/stat : 13707 (pbclasp) R 13705 13707 13116 0 -1 4194304 441 0 0 0 0 0 0 0 18 0 1 0 184429085 12697600 409 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037386750 0 0 4224 16384 0 0 0 17 1 0 0 /proc/13707/statm: 3100 410 296 3 0 200 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12400 [startup+0.101923 s] /proc/loadavg: 0.31 0.77 0.86 3/77 13707 /proc/meminfo: memFree=1679304/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12664 CPUtime=0.01 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 565 0 0 0 1 0 0 0 16 0 1 0 184429085 12967936 518 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037383778 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13707/statm: 3166 518 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.301937 s] /proc/loadavg: 0.31 0.77 0.86 3/77 13707 /proc/meminfo: memFree=1679304/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12664 CPUtime=0.01 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 565 0 0 0 1 0 0 0 16 0 1 0 184429085 12967936 518 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037383778 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13707/statm: 3166 518 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.701976 s] /proc/loadavg: 0.31 0.77 0.86 3/77 13707 /proc/meminfo: memFree=1679304/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12664 CPUtime=0.01 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 565 0 0 0 1 0 0 0 16 0 1 0 184429085 12967936 518 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037383778 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13707/statm: 3166 518 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+1.50106 s] /proc/loadavg: 0.36 0.77 0.86 2/80 13710 /proc/meminfo: memFree=1677168/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12796 CPUtime=1.43 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 669 1604 0 0 1 0 141 1 16 0 1 0 184429085 13103104 550 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13707/statm: 3199 550 343 3 0 299 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 12796 [startup+3.1012 s] /proc/loadavg: 0.36 0.77 0.86 2/81 13717 /proc/meminfo: memFree=1662488/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=2.63 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 881 7626 0 0 16 0 243 4 16 0 1 0 184429085 13262848 599 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13707/statm: 3238 599 343 3 0 338 0 Current children cumulated CPU time (s) 2.63 Current children cumulated vsize (KiB) 12952 [startup+6.3015 s] /proc/loadavg: 0.36 0.77 0.86 2/80 13733 /proc/meminfo: memFree=1649168/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=5.49 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 1227 24819 0 0 47 1 485 16 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 Current children cumulated CPU time (s) 5.49 Current children cumulated vsize (KiB) 12952 [startup+12.7011 s] /proc/loadavg: 0.46 0.78 0.86 2/81 13773 /proc/meminfo: memFree=1667720/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=11.51 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 1916 61711 0 0 108 1 1001 41 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=13771] ppid=13707 vsize=5356 CPUtime=0 /proc/13771/stat : 13771 (sh) S 13707 13707 13116 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184430248 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13771/statm: 1339 227 188 169 0 50 0 [pid=13773] ppid=13771 vsize=30732 CPUtime=1.05 /proc/13773/stat : 13773 (clasp) R 13771 13707 13116 0 -1 4194304 7908 0 0 0 102 3 0 0 25 0 1 0 184430248 31469568 7296 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134657133 0 0 4096 0 0 0 0 17 1 0 0 /proc/13773/statm: 7683 7296 194 154 0 7153 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 49040 [startup+25.5013 s] /proc/loadavg: 0.54 0.78 0.86 2/81 13837 /proc/meminfo: memFree=1653496/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=24.12 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 3279 140583 0 0 229 3 2091 89 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=13835] ppid=13707 vsize=5356 CPUtime=0 /proc/13835/stat : 13835 (sh) S 13707 13707 13116 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184431531 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13835/statm: 1339 227 188 169 0 50 0 [pid=13837] ppid=13835 vsize=34876 CPUtime=1.02 /proc/13837/stat : 13837 (clasp) R 13835 13707 13116 0 -1 4194304 9013 0 0 0 98 4 0 0 25 0 1 0 184431531 35713024 8044 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0 /proc/13837/statm: 8719 8045 194 154 0 8189 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 53184 [startup+51.1017 s] /proc/loadavg: 0.70 0.80 0.87 2/81 13957 /proc/meminfo: memFree=1665520/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=49.62 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 5829 312649 0 0 453 6 4311 192 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=13955] ppid=13707 vsize=5356 CPUtime=0 /proc/13955/stat : 13955 (sh) S 13707 13707 13116 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184434089 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13955/statm: 1339 227 188 169 0 50 0 [pid=13957] ppid=13955 vsize=37852 CPUtime=1.03 /proc/13957/stat : 13957 (clasp) R 13955 13707 13116 0 -1 4194304 9961 0 0 0 100 3 0 0 25 0 1 0 184434090 38760448 9000 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134753555 0 0 4096 0 0 0 0 17 1 0 0 /proc/13957/statm: 9463 9000 194 154 0 8933 0 Current children cumulated CPU time (s) 50.65 Current children cumulated vsize (KiB) 56160 [startup+102.305 s] /proc/loadavg: 0.88 0.83 0.87 2/80 14165 /proc/meminfo: memFree=1628784/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=99.24 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 10249 679242 0 0 826 10 8688 400 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=14163] ppid=13707 vsize=5356 CPUtime=0 /proc/14163/stat : 14163 (sh) S 13707 13707 13116 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184439138 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14163/statm: 1339 227 188 169 0 50 0 [pid=14165] ppid=14163 vsize=50048 CPUtime=1.76 /proc/14165/stat : 14165 (clasp) R 14163 13707 13116 0 -1 4194304 14106 0 0 0 170 6 0 0 25 0 1 0 184439138 51249152 11715 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0 /proc/14165/statm: 12512 11715 196 154 0 11982 0 Current children cumulated CPU time (s) 101 Current children cumulated vsize (KiB) 68356 [startup+162.302 s] /proc/loadavg: 1.02 0.88 0.88 2/80 14389 /proc/meminfo: memFree=1617264/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=160.72 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 15179 1172295 0 0 1221 14 14165 672 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 Current children cumulated CPU time (s) 160.72 Current children cumulated vsize (KiB) 12952 [startup+222.302 s] /proc/loadavg: 1.00 0.89 0.89 2/81 14605 /proc/meminfo: memFree=1644080/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=219.89 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 19599 1667692 0 0 1553 18 19474 944 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=14603] ppid=13707 vsize=5356 CPUtime=0 /proc/14603/stat : 14603 (sh) S 13707 13707 13116 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 184451215 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14603/statm: 1339 227 188 169 0 50 0 [pid=14604] ppid=14603 vsize=2520 CPUtime=0 /proc/14604/stat : 14604 (cat) S 14603 13707 13116 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 184451215 2580480 87 18446744073709551615 4194304 4211220 548682069312 18446744073709551615 269028655330 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/14604/statm: 630 87 71 4 0 42 0 [pid=14605] ppid=14603 vsize=39384 CPUtime=0.98 /proc/14605/stat : 14605 (clasp) R 14603 13707 13116 0 -1 4194304 9954 0 0 0 93 5 0 0 25 0 1 0 184451215 40329216 9456 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 135088139 0 0 4096 0 0 0 0 17 1 0 0 /proc/14605/statm: 9846 9456 184 154 0 9316 0 Current children cumulated CPU time (s) 220.87 Current children cumulated vsize (KiB) 60212 [startup+282.301 s] /proc/loadavg: 1.00 0.91 0.89 2/81 14805 /proc/meminfo: memFree=1667016/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=279.63 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 23849 2200408 0 0 1851 22 24848 1242 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=14803] ppid=13707 vsize=5356 CPUtime=0 /proc/14803/stat : 14803 (sh) S 13707 13707 13116 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184457199 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14803/statm: 1339 227 188 169 0 50 0 [pid=14805] ppid=14803 vsize=44968 CPUtime=1.14 /proc/14805/stat : 14805 (clasp) R 14803 13707 13116 0 -1 4194304 11880 0 0 0 110 4 0 0 25 0 1 0 184457199 46047232 10793 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0 /proc/14805/statm: 11242 10794 188 154 0 10712 0 Current children cumulated CPU time (s) 280.77 Current children cumulated vsize (KiB) 63276 [startup+342.302 s] /proc/loadavg: 1.00 0.92 0.90 2/80 14997 /proc/meminfo: memFree=1609512/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=338.85 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 27736 2741912 0 0 2115 26 30206 1538 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=14995] ppid=13707 vsize=5356 CPUtime=0 /proc/14995/stat : 14995 (sh) S 13707 13707 13116 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184463142 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14995/statm: 1339 227 188 169 0 50 0 [pid=14997] ppid=14995 vsize=80236 CPUtime=1.71 /proc/14997/stat : 14997 (clasp) R 14995 13707 13116 0 -1 4194304 21465 0 0 0 164 7 0 0 25 0 1 0 184463142 82161664 19038 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 13021273 0 0 4096 0 0 0 0 17 1 0 0 /proc/14997/statm: 20059 19038 194 154 0 19529 0 Current children cumulated CPU time (s) 340.56 Current children cumulated vsize (KiB) 98544 ################ # More data... # ################ /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=16601] ppid=13707 vsize=5356 CPUtime=0 /proc/16601/stat : 16601 (sh) S 13707 13707 13116 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 184505236 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16601/statm: 1339 227 188 169 0 50 0 [pid=16602] ppid=16601 vsize=2520 CPUtime=0 /proc/16602/stat : 16602 (cat) S 16601 13707 13116 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 184505236 2580480 87 18446744073709551615 4194304 4211220 548682069312 18446744073709551615 269028655330 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/16602/statm: 630 87 71 4 0 42 0 [pid=16603] ppid=16601 vsize=27656 CPUtime=0.78 /proc/16603/stat : 16603 (clasp) R 16601 13707 13116 0 -1 4194304 6541 0 0 0 75 3 0 0 24 0 1 0 184505236 28319744 6463 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 0 0 0 /proc/16603/statm: 6914 6464 184 154 0 6384 0 Current children cumulated CPU time (s) 758.92 Current children cumulated vsize (KiB) 48484 [startup+822.301 s] /proc/loadavg: 1.00 0.97 0.91 2/80 16827 /proc/meminfo: memFree=1601456/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=818.43 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 58856 7649354 0 0 3390 58 74268 4127 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 Current children cumulated CPU time (s) 818.43 Current children cumulated vsize (KiB) 12952 [startup+882.302 s] /proc/loadavg: 1.00 0.97 0.91 2/81 17083 /proc/meminfo: memFree=1669160/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=878.09 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 63155 8291843 0 0 3464 64 79819 4462 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=17081] ppid=13707 vsize=5356 CPUtime=0 /proc/17081/stat : 17081 (sh) S 13707 13707 13116 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 184517280 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17081/statm: 1339 227 188 169 0 50 0 [pid=17082] ppid=17081 vsize=2520 CPUtime=0 /proc/17082/stat : 17082 (cat) S 17081 13707 13116 0 -1 4194304 119 0 0 0 0 0 0 0 16 0 1 0 184517281 2580480 87 18446744073709551615 4194304 4211220 548682069312 18446744073709551615 269028655330 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/17082/statm: 630 87 71 4 0 42 0 [pid=17083] ppid=17081 vsize=9784 CPUtime=0.32 /proc/17083/stat : 17083 (clasp) R 17081 13707 13116 0 -1 4194304 2098 0 0 0 32 0 0 0 20 0 1 0 184517281 10018816 2060 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 13026939 0 0 4096 0 0 0 0 17 0 0 0 /proc/17083/statm: 2446 2060 173 154 0 1916 0 Current children cumulated CPU time (s) 878.41 Current children cumulated vsize (KiB) 30612 [startup+942.302 s] /proc/loadavg: 1.00 0.97 0.91 2/81 17355 /proc/meminfo: memFree=1641568/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=937.95 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 67874 8912226 0 0 3521 68 85412 4794 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 Current children cumulated CPU time (s) 937.95 Current children cumulated vsize (KiB) 12952 [startup+1002.3 s] /proc/loadavg: 1.00 0.97 0.91 2/80 17683 /proc/meminfo: memFree=1637672/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=996.55 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 73000 9481562 0 0 3545 75 90921 5114 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=17681] ppid=13707 vsize=5356 CPUtime=0 /proc/17681/stat : 17681 (sh) S 13707 13707 13116 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184529191 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17681/statm: 1339 227 188 169 0 50 0 [pid=17683] ppid=17681 vsize=37024 CPUtime=1.22 /proc/17683/stat : 17683 (clasp) R 17681 13707 13116 0 -1 4194304 10279 0 0 0 118 4 0 0 25 0 1 0 184529191 37912576 8659 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134629605 0 0 4096 0 0 0 0 17 0 0 0 /proc/17683/statm: 9256 8659 196 154 0 8726 0 Current children cumulated CPU time (s) 997.77 Current children cumulated vsize (KiB) 55332 Solver just ended. Dumping a history of the last processes samples [startup+1011.1 s] /proc/loadavg: 1.00 0.97 0.91 2/81 17731 /proc/meminfo: memFree=1657056/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=1005.56 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 73745 9549316 0 0 3547 75 91781 5153 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=17729] ppid=13707 vsize=5356 CPUtime=0 /proc/17729/stat : 17729 (sh) S 13707 13707 13116 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184530096 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17729/statm: 1339 227 188 169 0 50 0 [pid=17731] ppid=17729 vsize=34444 CPUtime=0.97 /proc/17731/stat : 17731 (clasp) R 17729 13707 13116 0 -1 4194304 8809 0 0 0 93 4 0 0 25 0 1 0 184530096 35270656 8104 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134663912 0 0 4096 0 0 0 0 17 0 0 0 /proc/17731/statm: 8611 8104 194 154 0 8081 0 Current children cumulated CPU time (s) 1006.53 Current children cumulated vsize (KiB) 52752 [startup+1017.51 s] /proc/loadavg: 1.00 0.97 0.91 2/80 17755 /proc/meminfo: memFree=1641584/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=1011.2 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 74115 9581559 0 0 3547 76 92324 5173 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=17753] ppid=13707 vsize=5356 CPUtime=0 /proc/17753/stat : 17753 (sh) S 13707 13707 13116 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184530661 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17753/statm: 1339 227 188 169 0 50 0 [pid=17755] ppid=17753 vsize=33108 CPUtime=1.72 /proc/17755/stat : 17755 (clasp) R 17753 13707 13116 0 -1 4194304 9086 0 0 0 169 3 0 0 25 0 1 0 184530662 33902592 7659 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134740633 0 0 4096 0 0 0 0 17 0 0 0 /proc/17755/statm: 8277 7659 196 154 0 7747 0 Current children cumulated CPU time (s) 1012.92 Current children cumulated vsize (KiB) 51416 [startup+1019.1 s] /proc/loadavg: 1.00 0.97 0.91 2/81 17763 /proc/meminfo: memFree=1663848/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=1013.49 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 74238 9592012 0 0 3547 76 92548 5178 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=17761] ppid=13707 vsize=5356 CPUtime=0 /proc/17761/stat : 17761 (sh) S 13707 13707 13116 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184530899 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17761/statm: 1339 227 188 169 0 50 0 [pid=17763] ppid=17761 vsize=33392 CPUtime=0.94 /proc/17763/stat : 17763 (clasp) R 17761 13707 13116 0 -1 4194304 8505 0 0 0 90 4 0 0 25 0 1 0 184530900 34193408 7800 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134664310 0 0 4096 0 0 0 0 17 0 0 0 /proc/17763/statm: 8348 7800 194 154 0 7818 0 Current children cumulated CPU time (s) 1014.43 Current children cumulated vsize (KiB) 51700 [startup+1020.7 s] /proc/loadavg: 1.00 0.97 0.91 2/80 17763 /proc/meminfo: memFree=1642032/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=1013.49 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 74238 9592012 0 0 3547 76 92548 5178 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=17761] ppid=13707 vsize=5356 CPUtime=0 /proc/17761/stat : 17761 (sh) S 13707 13707 13116 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184530899 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17761/statm: 1339 227 188 169 0 50 0 [pid=17763] ppid=17761 vsize=32976 CPUtime=2.54 /proc/17763/stat : 17763 (clasp) R 17761 13707 13116 0 -1 4194304 8984 0 0 0 250 4 0 0 25 0 1 0 184530900 33767424 7579 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 0 0 0 /proc/17763/statm: 8244 7579 196 154 0 7714 0 Current children cumulated CPU time (s) 1016.03 Current children cumulated vsize (KiB) 51284 [startup+1021.1 s] /proc/loadavg: 1.00 0.97 0.91 2/80 17763 /proc/meminfo: memFree=1642032/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=1013.49 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 74238 9592012 0 0 3547 76 92548 5178 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=17761] ppid=13707 vsize=5356 CPUtime=0 /proc/17761/stat : 17761 (sh) S 13707 13707 13116 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184530899 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17761/statm: 1339 227 188 169 0 50 0 [pid=17763] ppid=17761 vsize=32976 CPUtime=2.93 /proc/17763/stat : 17763 (clasp) R 17761 13707 13116 0 -1 4194304 8984 0 0 0 289 4 0 0 25 0 1 0 184530900 33767424 7579 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134740604 0 0 4096 0 0 0 0 17 0 0 0 /proc/17763/statm: 8244 7579 196 154 0 7714 0 Current children cumulated CPU time (s) 1016.42 Current children cumulated vsize (KiB) 51284 [startup+1021.5 s] /proc/loadavg: 1.00 0.97 0.91 2/80 17763 /proc/meminfo: memFree=1642032/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=1013.49 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 74238 9592012 0 0 3547 76 92548 5178 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=17761] ppid=13707 vsize=5356 CPUtime=0 /proc/17761/stat : 17761 (sh) S 13707 13707 13116 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184530899 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17761/statm: 1339 227 188 169 0 50 0 [pid=17763] ppid=17761 vsize=32976 CPUtime=3.33 /proc/17763/stat : 17763 (clasp) R 17761 13707 13116 0 -1 4194304 8985 0 0 0 329 4 0 0 25 0 1 0 184530900 33767424 7580 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134740536 0 0 4096 0 0 0 0 17 0 0 0 /proc/17763/statm: 8244 7580 196 154 0 7714 0 Current children cumulated CPU time (s) 1016.82 Current children cumulated vsize (KiB) 51284 [startup+1021.6 s] /proc/loadavg: 1.00 0.97 0.91 2/80 17763 /proc/meminfo: memFree=1642032/2055920 swapFree=4170240/4192956 [pid=13707] ppid=13705 vsize=12952 CPUtime=1013.49 /proc/13707/stat : 13707 (pbclasp) S 13705 13707 13116 0 -1 4194304 74238 9592012 0 0 3547 76 92548 5178 16 0 1 0 184429085 13262848 607 18446744073709551615 4194304 4206940 548682069120 18446744073709551615 269037387668 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13707/statm: 3238 607 343 3 0 338 0 [pid=17761] ppid=13707 vsize=5356 CPUtime=0 /proc/17761/stat : 17761 (sh) S 13707 13707 13116 0 -1 4194304 289 121 0 0 0 0 0 0 16 0 1 0 184530899 5484544 227 18446744073709551615 4194304 4889804 548682069136 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17761/statm: 1339 227 188 169 0 50 0 [pid=17763] ppid=17761 vsize=32976 CPUtime=3.43 /proc/17763/stat : 17763 (clasp) R 17761 13707 13116 0 -1 4194304 8985 0 0 0 339 4 0 0 25 0 1 0 184530900 33767424 7580 18446744073709551615 134512640 135144128 4294956704 18446744073709551615 134741339 0 0 4096 0 0 0 0 17 0 0 0 /proc/17763/statm: 8244 7580 196 154 0 7714 0 Current children cumulated CPU time (s) 1016.92 Current children cumulated vsize (KiB) 51284 Child status: 0 Real time (s): 1021.66 CPU time (s): 1017.02 CPU user time (s): 964.414 CPU system time (s): 52.606 CPU usage (%): 99.5457 Max. virtual memory (cumulated for all children) (KiB): 106216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 964.414 system time used= 52.606 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9675991 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= 107392 involuntary context switches= 79693 runsolver used 1.05984 second user time and 2.73258 second system time The end
Begin job on node26 on Mon Apr 23 21:52:02 UTC 2007 IDJOB= 373249 IDBENCH= 25030 IDSOLVER= 158 FILE ID= node26/373249-1177365122 PBS_JOBID= 4675257 Free space on /tmp= 66435 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb COMMAND LINE= pbclasp instance-373249-1177365122.opb /tmp/evaluation/373249-1177365122/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node26/convwatcher-373249-1177365122 -o ROOT/results/node26/conversion-373249-1177365122 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373249-1177365122/instance-373249-1177365122.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-373249-1177365122 -o ROOT/results/node26/solver-373249-1177365122 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373249-1177365122.opb /tmp/evaluation/373249-1177365122/temp META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e MD5SUM BENCH= 267e112b52309c055e255eac2f43ef33 RANDOM SEED= 394329047 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.213 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.213 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: 1679776 kB Buffers: 44880 kB Cached: 239448 kB SwapCached: 3516 kB Active: 172104 kB Inactive: 135728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1679776 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 1696 kB Writeback: 0 kB Mapped: 30692 kB Slab: 53928 kB Committed_AS: 1169532 kB PageTables: 1716 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= 66434 MiB End job on node26 on Mon Apr 23 22:09:05 UTC 2007