Trace number 3495461

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
OptimuS x100_sourceUNSAT 37.9922 37.9943

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E13N10.cnf
MD5SUM24b68353f542825626827e24a24f7240
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.62575
Satisfiable
(Un)Satisfiability was proved
Number of variables1610
Number of clauses6923
Sum of the clauses size18987
Maximum clause length15
Minimum clause length1
Number of clauses of size 112
Number of clauses of size 23901
Number of clauses of size 32400
Number of clauses of size 4230
Number of clauses of size 5140
Number of clauses of size over 5240

Solver Data 

37.89/37.99	c - Reading the instance.. OK! Totally clauses:     6923; Vars:     1610; Time: 0.01
37.89/37.99	c - Unit propagation..     OK! Removed clauses:      442;                 Time: 0.00
37.89/37.99	c - Delete by resolution.. OK! Removed clauses:      584;                 Time: 0.00
37.89/37.99	c   - Solving the original instance..
37.89/37.99	c     - OK - UNSAT! Continue to clause elimination..
37.89/37.99	c   - round:    1;   Skips in previous round:    0
37.89/37.99	c     - clauses done:  1%; among them skipped: 1.43%;
37.89/37.99	c     - clauses done: 10%; among them skipped: 3.03%;
37.89/37.99	c     - clauses done: 20%; among them skipped: 3.75%;
37.89/37.99	c     - clauses done: 30%; among them skipped: 6.45%;
37.89/37.99	c   - round:    2;   Skips in previous round:  145
37.89/37.99	c     - clauses done:  1%; among them skipped: 0.00%;
37.89/37.99	c     - clauses done: 10%; among them skipped: 0.00%;
37.89/37.99	c     - clauses done: 20%; among them skipped: 0.00%;
37.89/37.99	c     - clauses done: 30%; among them skipped: 0.00%;
37.89/37.99	c - Finish! Unsat core size: 1146 / 6923; Time: 37.97 s
37.89/37.99	c - ---------------------------------------------------------------------------
37.89/37.99	c - Statistics: |    unit   |    BCE    | sat-saved | sat-check | unsat-check |
37.89/37.99	c -             |     442   |    3849   |     395   |     751   |    1486     |
37.89/37.99	c - ---------------------------------------------------------------------------
37.89/37.99	s UNSATISFIABLE
37.89/37.99	v 24 26 30 32 40 44 46 56 58 60 473 474 482 488 489 490 494 495 499 508 510 512 513 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 541 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 750 751 752 759 760 761 763 767 768 769 770 771 772 774 775 776 777 778 780 781 782 783 785 786 787 788 789 790 792 793 796 797 798 799 800 801 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 841 842 843 844 845 847 848 849 850 851 852 855 856 857 858 861 862 863 865 866 867 870 872 874 879 884 889 890 897 902 903 904 909 910 911 912 913 922 923 924 929 931 932 933 934 938 941 944 945 949 952 955 956 957 2579 2582 2585 2587 2588 2590 2591 2593 2594 2596 2597 2599 2602 2605 2608 2609 2611 2612 2614 2615 2617 2618 2620 2621 2623 2624 2626 2627 2629 2630 2632 2633 2635 2636 2639 2641 2644 2647 2650 2651 2653 2656 2657 2659 2662 2666 2668 2669 2671 2672 2674 2675 2677 2678 2680 2681 2683 2684 2686 2687 2689 2690 2692 2693 2695 2696 2699 2701 2704 2707 2710 2711 2713 2716 2717 2719 2722 2726 2733 2736 2739 2742 2745 2748 2759 2761 2765 2768 2770 2774 2776 2779 2783 2786 2789 2792 2795 2797 2800 2803 2806 2809 2812 2816 2998 2999 3001 3002 3004 3005 3007 3008 3010 3011 3013 3014 3016 3017 3019 3020 3022 3023 3025 3026 3028 3029 3031 3032 3034 3035 3036 3037 3038 3040 3041 3042 3043 3044 3046 3047 3048 3049 3050 3051 3052 3053 3055 3056 3088 3089 3091 3092 3094 3095 3096 3097 3098 3100 3101 3102 3103 3104 3106 3107 3108 3109 3110 3111 3112 3113 3115 3116 3178 3179 3181 3182 3184 3185 3187 3188 3190 3191 3193 3194 3196 3197 3199 3200 3202 3203 3205 3206 3208 3209 3211 3212 3214 3215 3216 3217 3218 3220 3221 3222 3223 3224 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236 3238 3239 3241 3242 3244 3245 3247 3248 3250 3251 3253 3254 3256 3257 3259 3260 3262 3263 3265 3266 3268 3269 3271 3272 3274 3275 3277 3278 3280 3281 3283 3284 3286 3287 3289 3290 3292 3293 3295 3296 3328 3329 3331 3332 3334 3335 3337 3338 3340 3341 3343 3344 3346 3347 3349 3350 3352 3353 3355 3356 3358 3359 3361 3362 3364 3365 3366 3367 3368 3370 3371 3372 3373 3374 3375 3376 3377 3379 3380 3381 3382 3383 3384 3385 3386 3405 3448 3449 3451 3452 3454 3455 3457 3458 3460 3461 3463 3464 3466 3467 3469 3470 3472 3473 3475 3476 3478 3479 3481 3482 3484 3485 3487 3488 3490 3491 3493 3494 3496 3497 3499 3500 3502 3503 3505 3506 3538 3539 3541 3542 3544 3545 3547 3548 3550 3551 3553 3554 3556 3557 3559 3560 3562 3563 3565 3566 3568 3571 3575 3578 3580 3584 3586 3589 3593 3596 3598 3601 3603 3604 3606 3607 3608 3609 3610 3611 3612 3613 3614 3615 3617 3618 3620 3621 3623 3624 3626 4262 4273 4284 4295 4306 4308 4309 4310 4311 4312 4313 4328 4339 4416 4419 4421 4423 4424 4427 4441 4443 4445 4446 4449 4482 4485 4487 4489 4490 4491 4493 4504 4515 4537 4540 4542 4543 4545 4546 4548 4554 4581 4592 4614 4625 4627 4628 4629 4630 4631 4632 4633 4634 4636 5229 5233 5238 5239 5241 5244 5245 5247 5248 5250 5251 5253 5254 5256 5257 5259 5260 5263 5265 5269 5271 5272 5281 5288 5290 5291 5296 5297 5299 5302 5303 5305 5308 5309 5311 5314 5315 5317 5320 5321 5323 5327 5329 5338 5345 5348 5354 5355 5357 5360 5361 5363 5366 5367 5369 5373 5375 5379 5381 5385 5387 5397 5403 5404 5407 5412 5413 5415 5418 5419 5421 5422 5424 5425 5427 5428 5430 5431 5433 5434 5436 5437 5439 5440 5442 5443 5445 5446 5454 5455 5461 5462 5465 5470 5471 5473 5474 5476 5477 5479 5480 5482 5483 5485 5486 5488 5489 5491 5492 5494 5495 5497 5498 5500 5501 5503 5504 5512 5513 5519 5520 5523 5528 5529 5531 5534 5535 5537 5538 5540 5541 5543 5544 5546 5547 5549 5550 5552 5553 5555 5556 5558 5559 5561 5562 5570 5571 5577 5578 5581 5586 5587 5589 5590 5592 5593 5595 5596 5598 5599 5601 5602 5604 5605 5607 5608 5610 5611 5613 5614 5616 5617 5619 5620 5628 5629 5635 5639 5644 5645 5648 5650 5651 5653 5654 5656 5657 5659 5660 5662 5663 5665 5666 5669 5671 5675 5677 5678 5687 5693 5696 5697 5702 5703 5705 5706 5708 5709 5711 5712 5714 5715 5717 5718 5720 5721 5723 5724 5726 5727 5729 5730 5732 5733 5735 5736 5745 5751 5754 5755 5760 5761 5763 5764 5766 5767 5769 5770 5772 5773 5775 5776 5778 5779 5781 5782 5784 5785 5787 5788 5790 5793 5794 5802 5803 5948 5961 5974 5987 6000 6013 6026 6039 6044 6046 6052 6057 6059 6085 6086 6087 6089 6090 6091 6092 6093 6094 6095 6096 6097 6098 6100 6101 6624 6625 6627 6629 6630 6633 6634 6635 6636 6637 6638 6639 6640 6641 6642 6643 6674 6675 6676 6683 6684 6685 6686 6693 6754 6755 6757 6759 6762 6763 6764 6765 6766 6767 6768 6769 6770 6771 6772 6773 6804 6805 6806 6809 6813 6814 6815 6816 6819 6823 6824 6826 6828 6830 6833 6874 6875 6876 6877 6878 6879 6880 6881 6882 6883 6884 6885 6886 6887 6888 6889 6890 6891 6892 6893 6895 6896 6897 6898 6904 6906 6907 6913 6914 6915 6916 6923 0

Verifier Data 

OK	1146

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3495461-1307806555/watcher-3495461-1307806555 -o /tmp/evaluation-result-3495461-1307806555/solver-3495461-1307806555 -C 1800 -W 1850 -M 7680 OptimuS_release HOME/instance-3495461-1307806555.cnf 

running on 2 cores: 4,6

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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.24 1.57 2.59 4/189 23393
/proc/meminfo: memFree=31780460/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=20680 CPUtime=0 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 742 0 0 0 0 0 0 0 25 0 1 0 624846738 21176320 677 33554432000 4194304 4280283 140733253995312 18446744073709551615 4223297 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 5170 677 240 21 0 1807 0

[startup+0.0764551 s]
/proc/loadavg: 1.24 1.57 2.59 4/189 23393
/proc/meminfo: memFree=31780460/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=21488 CPUtime=0.07 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 1404 0 0 0 7 0 0 0 25 0 1 0 624846738 22003712 1337 33554432000 4194304 4280283 140733253995312 18446744073709551615 4256616 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 5372 1337 270 21 0 2009 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21488

[startup+0.100459 s]
/proc/loadavg: 1.24 1.57 2.59 4/189 23393
/proc/meminfo: memFree=31780460/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=21488 CPUtime=0.09 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 1563 0 0 0 9 0 0 0 25 0 1 0 624846738 22003712 1496 33554432000 4194304 4280283 140733253995312 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 5372 1496 270 21 0 2009 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21488

[startup+0.300435 s]
/proc/loadavg: 1.24 1.57 2.59 4/189 23393
/proc/meminfo: memFree=31780460/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=21632 CPUtime=0.29 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 3767 0 0 0 29 0 0 0 25 0 1 0 624846738 22151168 1871 33554432000 4194304 4280283 140733253995312 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 5408 1871 270 21 0 2045 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21632

[startup+0.700368 s]
/proc/loadavg: 1.24 1.57 2.59 4/189 23393
/proc/meminfo: memFree=31780460/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=28780 CPUtime=0.69 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 6914 0 0 0 68 1 0 0 25 0 1 0 624846738 29470720 3791 33554432000 4194304 4280283 140733253995312 18446744073709551615 4260048 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 7195 3791 270 21 0 3832 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28780

[startup+1.50023 s]
/proc/loadavg: 1.24 1.57 2.59 5/190 23394
/proc/meminfo: memFree=31739928/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=28780 CPUtime=1.49 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 6914 0 0 0 148 1 0 0 25 0 1 0 624846738 29470720 3791 33554432000 4194304 4280283 140733253995312 18446744073709551615 4243157 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 7195 3791 270 21 0 3832 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28780

[startup+3.10094 s]
/proc/loadavg: 1.46 1.61 2.60 5/190 23394
/proc/meminfo: memFree=31734476/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=33176 CPUtime=3.09 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 8019 0 0 0 308 1 0 0 25 0 1 0 624846738 33972224 4889 33554432000 4194304 4280283 140733253995312 18446744073709551615 4243363 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 8294 4889 270 21 0 4931 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33176

[startup+6.30036 s]
/proc/loadavg: 1.46 1.61 2.60 5/190 23394
/proc/meminfo: memFree=31690928/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=33176 CPUtime=6.29 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 8019 0 0 0 628 1 0 0 25 0 1 0 624846738 33972224 4889 33554432000 4194304 4280283 140733253995312 18446744073709551615 4243379 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 8294 4889 270 21 0 4931 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33176

[startup+12.7002 s]
/proc/loadavg: 1.85 1.69 2.61 5/190 23394
/proc/meminfo: memFree=31587276/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=33176 CPUtime=12.69 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 8019 0 0 0 1268 1 0 0 25 0 1 0 624846738 33972224 4889 33554432000 4194304 4280283 140733253995312 18446744073709551615 4243136 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 8294 4889 270 21 0 4931 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33176

[startup+25.501 s]
/proc/loadavg: 2.18 1.76 2.63 5/190 23394
/proc/meminfo: memFree=31637032/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=35920 CPUtime=25.49 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 8709 0 0 0 2548 1 0 0 25 0 1 0 624846738 36782080 5575 33554432000 4194304 4280283 140733253995312 18446744073709551615 4242806 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 8980 5575 270 21 0 5617 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35920

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

[startup+31.9068 s]
/proc/loadavg: 2.54 1.85 2.65 5/190 23394
/proc/meminfo: memFree=31592124/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=35920 CPUtime=31.89 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 8709 0 0 0 3188 1 0 0 25 0 1 0 624846738 36782080 5575 33554432000 4194304 4280283 140733253995312 18446744073709551615 4243136 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 8980 5575 270 21 0 5617 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 35920

[startup+35.1003 s]
/proc/loadavg: 2.54 1.85 2.65 5/190 23395
/proc/meminfo: memFree=31613572/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=44668 CPUtime=35.09 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 10872 0 0 0 3508 1 0 0 25 0 1 0 624846738 45740032 7730 33554432000 4194304 4280283 140733253995312 18446744073709551615 4243352 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 11167 7730 270 21 0 7804 0
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (KiB) 44668

[startup+36.701 s]
/proc/loadavg: 2.66 1.89 2.65 5/190 23395
/proc/meminfo: memFree=31676436/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=44668 CPUtime=36.69 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 10905 0 0 0 3668 1 0 0 25 0 1 0 624846738 45740032 7762 33554432000 4194304 4280283 140733253995312 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 11167 7762 270 21 0 7804 0
Current children cumulated CPU time (s) 36.69
Current children cumulated vsize (KiB) 44668

[startup+37.5009 s]
/proc/loadavg: 2.66 1.89 2.65 5/190 23395
/proc/meminfo: memFree=31581824/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=44668 CPUtime=37.49 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 10905 0 0 0 3748 1 0 0 25 0 1 0 624846738 45740032 7762 33554432000 4194304 4280283 140733253995312 18446744073709551615 4243157 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 11167 7762 270 21 0 7804 0
Current children cumulated CPU time (s) 37.49
Current children cumulated vsize (KiB) 44668

[startup+37.9008 s]
/proc/loadavg: 2.66 1.89 2.65 5/190 23395
/proc/meminfo: memFree=31581824/32951124 swapFree=67055708/67111528
[pid=23393] ppid=23391 vsize=44668 CPUtime=37.89 cores=4,6
/proc/23393/stat : 23393 (OptimuS_release) R 23391 23393 22467 0 -1 4202496 10905 0 0 0 3788 1 0 0 25 0 1 0 624846738 45740032 7762 33554432000 4194304 4280283 140733253995312 18446744073709551615 268664067624 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23393/statm: 11167 7762 270 21 0 7804 0
Current children cumulated CPU time (s) 37.89
Current children cumulated vsize (KiB) 44668

Child status: 20
Real time (s): 37.9943
CPU time (s): 37.9922
CPU user time (s): 37.9722
CPU system time (s): 0.019996
CPU usage (%): 99.9945
Max. virtual memory (cumulated for all children) (KiB): 44668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.9722
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10906
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= 5
involuntary context switches= 104

runsolver used 0.079987 second user time and 0.13098 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-11 17:35:55
IDJOB=3495461
IDBENCH=83444
IDSOLVER=1988
FILE ID=node107/3495461-1307806555
RUNJOBID= node107-1307806548-23259
PBS_JOBID= 13551069
Free space on /tmp= 74128 MiB

SOLVER NAME= OptimuS x100_source
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E13N10.cnf
COMMAND LINE= OptimuS_release BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495461-1307806555/watcher-3495461-1307806555 -o /tmp/evaluation-result-3495461-1307806555/solver-3495461-1307806555 -C 1800 -W 1850 -M 7680  OptimuS_release HOME/instance-3495461-1307806555.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 24b68353f542825626827e24a24f7240
RANDOM SEED=1157841011

node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5359.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31781120 kB
Buffers:        171036 kB
Cached:         626516 kB
SwapCached:      19468 kB
Active:         418200 kB
Inactive:       562944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31781120 kB
SwapTotal:    67111528 kB
SwapFree:     67055708 kB
Dirty:            6000 kB
Writeback:           0 kB
AnonPages:      181604 kB
Mapped:          12816 kB
Slab:           123236 kB
PageTables:       5576 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   416508 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74124 MiB
End job on node107 at 2011-06-11 17:36:33