Trace number 3736725

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 NameAnswerobjective functionCPU timeWall clock time
PB07: PB-clasp 2007-04-10SAT (TO)93 1802.1 1802.42

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_1.opb
MD5SUM0c93b84d697c3c1b68cbcf423dabc710
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark57
Best CPU time to get the best result obtained on this benchmark1798.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 72
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint26
Maximum length of a constraint52
Number of terms in the objective function 1000
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 1000
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 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31640
Sum of products size (including duplicates)63280
Number of different products31640
Sum of products size63280

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3.78/3.87	o 106
5.07/5.16	o 105
6.76/6.83	o 103
8.76/8.88	o 96
10.87/10.97	o 95
23.45/23.57	o 94
1210.77/1211.09	o 93
1800.04/1800.40	sh: line 1: 28985 Done                    cat HOME/temp/instance-3736725-1338732048.opb.op
1800.04/1800.40	     28986 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736725-1338732048.opb.clasp
1800.04/1800.41	c Somebody sent me a SIGTERM
1800.04/1800.41	s SATISFIABLE
1800.04/1800.41	v x40 x166 x215 x225 x255 x262 x271 x407 x500 x517 x544 x559 x597 x600 x601 x614 x623 x631 x636 x661 x667 x684 x697 x698 x702 x710 x715 x724 x727 x729 x735 x742 x745 x746 x751 x753 x756 x757 x768 x780 x782 x784 x787 x800 x804 x809 x810 x818 x835 x841 x842 x851 x854 x867 x869 x873 x877 x878 x882 x883 x884 x897 x905 x909 x913 x915 x920 x922 x926 x927 x928 x934 x935 x936 x939 x945 x948 x952 x953 x961 x963 x965 x966 x968 x971 x973 x975 x982 x984 x989 x994 x997 x999 x1016 x1027 x1041 x1061 x1079 x1090 x1093 x1126 x1128 x1170 x1203 x1204 x1210 x1212 x1221 x1239 x1242 x1247 x1253 x1259 x1277 x1310 x1321 x1324 x1325 x1331 x1337 x1356 x1357 x1358 x1360 x1362 x1373 x1414 x1437 x1438 x1443 x1445 x1447 x1450 x1452 x1459 x1481 x1508 x1510 x1511 x1516 x1518 x1530 x1535 x1538 x1545 x1550 x1557 x1598 x1604 x1609 x1614 x1620 x1637 x1638 x1642 x1675 x1685 x1693 x1701 x1719 x1725 x1728 x1746 x1757 x1777 x1790 x1799 x1813 x1842 x1851 x1860 x1913 x1914 x1919 x1925 x1957 x1966 x1970 x1972 x1978 x1994 x1995 x2018 x2025 x2041 x2042 x2043 x2044 x2050 x2051 x2064 x2081 x2087 x2090 x2101 x2112 x2128 x2133 x2145 x2155 x2169 x2180 x2187 x2191 x2204 x2209 x2222 x2254 x2271 x2284 x2287 x2301 x2304 x2307 x2333 x2335 x2354 x2385 x2388 x2433 x2448 x2449 x2450 x2493 x2494 x2496 x2516 x2518 x2535 x2563 x2581 x2582 x2641 x2645 x2653 x2682 x2732 x2735 x2736 x2739 x2766 x2768 x2769 x2775 x2785 x2786 x2811 x2814 x2816 x2827 x2839 x2841 x2850 x2851 x2854 x2855 x2859 x2873 x2881 x2897 x2898 x2905 x2937 x2938 x2946 x2949 x2989 x3014 x3048 x3050 x3055 x3056 x3061 x3071 x3093 x3109 x3137 x3145 x3150 x3151 x3177 x3182 x3194 x3221 x3259 x3265 x3271 x3277 x3293 x3305 x3315 x3319 x3330 x3335 x3337 x3342 x3376 x3387 x3398 x3404 x3418 x3429 x3435 x3461 x3467 x3469 x3471 x3476 x3493 x3496 x3534 x3538 x3549 x3558 x3574 x3590 x3593 x3594 x3619 x3621 x3624 x3635 x3655 x3691 x3698 x3699 x3714 x3715 x3736 x3738 x3741 x3790 x3791 x3804 x3812 x3841 x3842 x3875 x3887 x3933 x3941 x3956 x3960 x3983 x4019 x4023 x4036 x4043 x4046 x4088 x4098 x4102 x4140 x4149 x4161 x4171 x4201 x4226 x4237 x4263 x4265 x4289 x4300 x4306 x4328 x4336 x4355 x4367 x4368 x4382 x4390 x4403 x4405 x4413 x4434 x4447 x4448 x4456 x4457 x4492 x4502 x4520 x4524 x4539 x4542 x4577 x4579 x4591 x4603 x4620 x4633 x4635 x4636 x4662 x4706 x4717 x4763 x4779 x4780 x4783 x4794 x4808 x4819 x4820 x4836 x4881 x4882 x4889 x4902 x4908 x4909 x4930 x4934 x4968 x4971 x4983 x4995 x5002 x5012 x5022 x5023 x5030 x5031 x5036 x5084 x5086 x5097 x5104 x5106 x5110 x5120 x5121 x5143 x5145 x5159 x5161 x5170 x5179 x5180 x5202 x5209 x5212 x5248 x5250 x5251 x5281 x5287 x5292 x5298 x5300 x5303 x5318 x5328 x5341 x5350 x5374 x5389 x5428 x5451 x5454 x5463 x5475 x5497 x5515 x5552 x5555 x5567 x5577 x5581 x5590 x5607 x5621 x5629 x5660 x5674 x5691 x5719 x5721 x5730 x5736 x5737 x5760 x5763 x5776 x5810 x5814 x5817 x5825 x5842 x5851 x5857 x5870 x5876 x5886 x5899 x5915 x5926 x5935 x5942 x5946 x5955 x5975 x5976 x5988 x6005 x6010 x6014 x6022 x6026 x6041 x6046 x6067 x6070 x6078 x6094 x6110 x6116 x6119 x6133 x6145 x6177 x6189 x6199 x6206 x6237 x6258 x6259 x6260 x6278 x6305 x6310 x6312 x6316 x6333 x6334 x6354 x6379 x6392 x6397 x6417 x6423 x6449 x6480 x6483 x6493 x6505 x6537 x6551 x6566 x6588 x6596 x6598 x6638 x6658 x6659 x6665 x6679 x6681 x6694 x6696 x6704 x6734 x6737 x6750 x6761 x6778 x6786 x6799 x6836 x6840 x6861 x6864 x6873 x6887 x6913 x6930 x6933 x6937 x6954 x6962 x6965 x6972 x6973 x6978 x6982 x6993 x7033 x7043 x7045 x7071 x7074 x7082 x7083 x7088 x7099 x7110 x7128 x7169 x7182 x7199 x7202 x7203 x7218 x7236 x7245 x7259 x7279 x7301 x7312 x7346 x7357 x7385 x7388 x7390 x7411 x7468 x7505 x7523 x7535 x7539 x7543 x7551 x7562 x7576 x7595 x7604 x7605 x7652 x7668 x7683 x7686 x7712 x7714 x7715 x7727 x7736 x7739 x7765 x7807 x7821 x7823 x7824 x7825 x7835 x7838 x7846 x7857 x7873 x7877 x7934 x7970 x8010 x8043 x8055 x8062 x8064 x8083 x8084 x8091 x8093 x8107 x8109 x8123 x8139 x8140 x8145 x8176 x8219 x8221 x8252 x8260 x8265 x8266 x8267 x8268 x8270 x8278 x8285 x8287 x8289 x8291 x8298 x8315 x8326 x8327 x8335 x8352 x8369 x8385 x8387 x8390 x8408 x8409 x8410 x8427 x8432 x8437 x8438 x8481 x8482 x8496 x8517 x8519 x8571 x8574 x8595 x8605 x8613 x8617 x8618 x8627 x8632 x8638 x8642 x8650 x8654 x8657 x8661 x8681 x8684 x8686 x8692 x8724 x8728 x8745 x8763 x8778 x8804 x8816 x8830 x8850 x8853 x8855 x8856 x8878 x8898 x8938 x8940 x8943 x8964 x8966 x8977 x8983 x8999 x9000 x9008 x9010 x9016 x9034 x9036 x9048 x9060 x9062 x9075 x9079 x9080 x9093 x9095 x9114 x9127 x9131 x9138 x9160 x9166 x9177 x9194 x9207 x9218 x9219 x9221 x9278 x9288 x9294 x9301 x9317 x9325 x9329 x9343 x9346 x9349 x9352 x9356 x9362 x9363 x9379 x9417 x9457 x9470 x9485 x9494 x9506 x9539 x9541 x9561 x9575 x9578 x9582 x9644 x9660 x9661 x9662 x9663 x9674 x9675 x9680 x9712 x9726 x9769 x9786 x9790 x9805 x9822 x9824 x9828 x9862 x9864 x9868 x9871 x9891 x9894 x9905 x9918 x9946 x9948 x9975 x10004 x10007 x10011 x10024 x10032 x10072 x10116 x10137 x10139 x10154 x10157 x10167 x10174 x10186 x10200 x10212 x10214 x10226 x10230 x10235 x10249 x10266 x10276 x10282 x10292 x10300 x10303 x10308 x10327 x10336 x10342 x10352 x10361 x10372 x10378 x10398 x10400 x10414 x10416 x10417 x10418 x10419 x10433 x10437 x10454 x10467 x10468 x10469 x10475 x10491 x10496 x10504 x10542 x10546 x10585 x10590 x10600 x10601 x10635 x10646 x10650 x10735 x10762 x10793 x10822 x10830 x10835 x10836 x10862 x10867 x10882 x10897 x10907 x10969 x10980 x10987 x10998 x11003 x11028 x11039 x11040 x11041 x11067 x11072 x11077 x11089 x11091 x11096 x11100 x11105 x11129 x11144 x11178 x11181 x11182 x11189 x11190 x11195 x11196 x11198 x11214 x11218 x11237 x11285 x11293 x11312 x11333 x11344 x11345 x11360 x11361 x11362 x11363 x11364 x11368 x11381 x11382 x11383 x11393 x11398 x11400 x11401 x11404 x11405 x11416 x11422 x11435 x11470 x11486 x11488 x11501 x11510 x11522 x11526 x11538 x11539 x11542 x11549 x11571 x11574 x11576 x11586 x11587 x11612 x11614 x11618 x11619 x11640 x11651 x11670 x11711 x11714 x11718 x11735 x11776 x11782 x11785 x11822 x11823 x11834 x11847 x11863 x11874 x11876 x11877 x11885 x11901 x11905 x11909 x11910 x11928 x11940 x11986 x12001 x12026 x12033 x12040 x12068 x12072 x12073 x12090 x12113 x12134 x12140 x12174 x12189 x12191 x12193 x12204 x12209 x12220 x12223 x12224 x12244 x12257 x12258 x12275 x12292 x12304 x12307 x12357 x12359 x12379 x12383 x12384 x12394 x12406 x12427 x12444 x12447 x12459 x12476 x12478 x12483 x12487 x12489 x12517 x12531 x12554 x12564 x12582 x12586 x12587 x12588 x12599 x12617 x12656 x12698 x12700 x12714 x12720 x12729 x12750 x12781 x12792 x12816 x12817 x12837 x12839 x12853 x12882 x12908 x12916 x12946 x12951 x12953 x12973 x12982 x12992 x13009 x13031 x13036 x13037 x13049 x13054 x13075 x13082 x13084 x13088 x13116 x13156 x13179 x13191 x13210 x13246 x13270 x13272 x13277 x13278 x13279 x13283 x13300 x13318 x13321 x13323 x13332 x13342 x13347 x13352 x13354 x13388 x13425 x13438 x13439 x13440 x13442 x13461 x13474 x13493 x13511 x13513 x13514 x13527 x13550 x13551 x13552 x13562 x13563 x13579 x13585 x13618 x13625 x13630 x13643 x13658 x13660 x13677 x13684 x13701 x13722 x13730 x13735 x13751 x13755 x13782 x13796 x13804 x13816 x13820 x13827 x13852 x13862 x13867 x13868 x13883 x13884 x13887 x13889 x13917 x13930 x13950 x13974 x13996 x14026 x14051 x14057 x14078 x14079 x14095 x14096 x14113 x14128 x14142 x14146 x14148 x14176 x14177 x14224 x14246 x14274 x14276 x14280 x14290 x14313 x14322 x14323 x14355 x14378 x14383 x14415 x14439 x14445 x14446 x14473 x14513 x14520 x14531 x14536 x14537 x14546 x14559 x14566 x14569 x14575 x14576 x14588 x14594 x14609 x14630 x14632 x14639 x14664 x14692 x14704 x14715 x14722 x14738 x14740 x14755 x14756 x14761 x14762 x14764 x14767 x14775 x14793 x14794 x14803 x14804 x14825 x14826 x14829 x14857 x14859 x14863 x14865 x14877 x14932 x14952 x14964 x15000 x15015 x15018 x15033 x15046 x15055 x15060 x15079 x15081 x15084 x15095 x15116 x15129 x15142 x15152 x15155 x15184 x15217 x15218 x15219 x15249 x15280 x15288 x15289 x15296 x15314 x15315 x15320 x15321 x15330 x15333 x15350 x15356 x15366 x15393 x15396 x15398 x15431 x15438 x15454 x15455 x15466 x15475 x15484 x15496 x15500 x15525 x15532 x15534 x15539 x15561 x15598 x15616 x15650 x15658 x15663 x15695 x15716 x15718 x15745 x15759 x15813 x15814 x15840 x15869 x15870 x15874 x15884 x15900 x15903 x15904 x15907 x15910 x15917 x15924 x15939 x15942 x15956 x15972 x15981 x15987 x16008 x16049 x16052 x16076 x16078 x16079 x16088 x16112 x16115 x16151 x16168 x16172 x16187 x16204 x16211 x16229 x16231 x16270 x16291 x16295 x16302 x16306 x16325 x16328 x16336 x16337 x16353 x16386 x16390 x16393 x16423 x16431 x16436 x16452 x16453 x16459 x16472 x16500 x16534 x16558 x16565 x16566 x16568 x16578 x16588 x16591 x16603 x16604 x16619 x16624 x16625 x16660 x16661 x16683 x16689 x16693 x16697 x16698 x16732 x16733 x16752 x16753 x16762 x16767 x16781 x16790 x16796 x16805 x16836 x16851 x16876 x16904 x16937 x16938 x16941 x16945 x16967 x16977 x17001 x17003 x17004 x17008 x17011 x17016 x17062 x17108 x17109 x17132 x17133 x17136 x17141 x17152 x17164 x17185 x17188 x17192 x17212 x17213 x17229 x17239 x17245 x17248 x17253 x17260 x17282 x17304 x17309 x17320 x17321 x17324 x17325 x17344 x17346 x17356 x17357 x17363 x17371 x17372 x17375 x17381 x17388 x17414 x17415 x17450 x17471 x17473 x17481 x17491 x17494 x17504 x17514 x17520 x17542 x17549 x17554 x17556 x17573 x17576 x17577 x17588 x17609 x17615 x17616 x17626 x17634 x17635 x17637 x17639 x17640 x17641 x17680 x17689 x17703 x17730 x17754 x17764 x17770 x17773 x17775 x17778 x17796 x17826 x17834 x17861 x17880 x17893 x17895 x17902 x17933 x17934 x17943 x17955 x17960 x17986 x18012 x18014 x18017 x18025 x18045 x18058 x18067 x18082 x18089 x18110 x18112 x18116 x18140 x18143 x18146 x18152 x18177 x18203 x18204 x18205 x18232 x18266 x18268 x18271 x18294 x18311 x18333 x18346 x18360 x18365 x18389 x18412 x18421 x18422 x18440 x18462 x18465 x18484 x18507 x18508 x18509 x18510 x18511 x18516 x18528 x18535 x18538 x18559 x18567 x18570 x18606 x18610 x18642 x18650 x18696 x18699 x18702 x18761 x18767 x18790 x18795 x18807 x18821 x18830 x18833 x18834 x18842 x18855 x18861 x18904 x18922 x18927 x18930 x18933 x18967 x18985 x18988 x18989 x19006 x19017 x19020 x19021 x19023 x19034 x19048 x19071 x19087 x19110 x19113 x19137 x19142 x19163 x19169 x19190 x19193 x19195 x19202 x19228 x19269 x19280 x19290 x19292 x19293 x19313 x19318 x19324 x19341 x19360 x19375 x19402 x19406 x19408 x19414 x19435 x19438 x19447 x19471 x19472 x19497 x19499 x19503 x19506 x19516 x19529 x19530 x19531 x19533 x19543 x19566 x19568 x19595 x19599 x19604 x19608 x19613 x19631 x19633 x19653 x19662 x19664 x19687 x19690 x19720 x19731 x19744 x19746 x19749 x19753 x19764 x19777 x19781 x19799 x19805 x19821 x19830 x19843 x19847 x19866 x19880 x19882 x19892 x19895 x19903 x19932 x19933 x19963 x19991 x19994 x20016 x20031 x20052 x20114 x20120 x20122 x20145 x20175 x20177 x20186 x20195 x20232 x20242 x20244 x20265 x20292 x20323 x20328 x20329 x20333 x20359 x20380 x20384 x20411 x20420 x20421 x20424 x20428 x20446 x20477 x20484 x20489 x20511 x20513 x20557 x20571 x20606 x20626 x20631 x20654 x20656 x20659 x20666 x20675 x20725 x20753 x20754 x20778 x20783 x20794 x20810 x20811 x20835 x20864 x20867 x20869 x20895 x20897 x20929 x20947 x20948 x20950 x20952 x20958 x20985 x20986 x20988 x20995 x21009 x21037 x21038 x21052 x21058 x21065 x21066 x21093 x21098 x21099 x21102 x21120 x21163 x21181 x21217 x21247 x21249 x21280 x21304 x21307 x21309 x21312 x21315 x21317 x21318 x21341 x21342 x21343 x21344 x21346 x21371 x21374 x21386 x21399 x21408 x21421 x21425 x21452 x21455 x21459 x21472 x21480 x21481 x21483 x21485 x21486 x21513 x21515 x21541 x21549 x21567 x21596 x21600 x21627 x21630 x21688 x21689 x21692 x21723 x21797 x21799 x21812 x21828 x21831 x21861 x21865 x21894 x21895 x21920 x21949 x21953 x21954 x21982 x22008 x22023 x22058 x22064 x22067 x22068 x22075 x22093 x22096 x22101 x22124 x22126 x22186 x22189 x22207 x22210 x22212 x22217 x22242 x22244 x22248 x22270 x22298 x22299 x22304 x22325 x22330 x22332 x22335 x22336 x22358 x22386 x22387 x22392 x22448 x22474 x22479 x22502 x22508 x22531 x22533 x22536 x22538 x22542 x22560 x22569 x22597 x22609 x22620 x22621 x22623 x22685 x22692 x22709 x22710 x22734 x22742 x22760 x22762 x22765 x22825 x22850 x22858 x22859 x22878 x22880 x22881 x22890 x22907 x22919 x22923 x22952 x22961 x22967 x22983 x23018 x23039 x23040 x23043 x23056 x23065 x23094 x23102 x23108 x23130 x23134 x23169 x23186 x23189 x23191 x23194 x23198 x23221 x23224 x23229 x23249 x23254 x23271 x23275 x23303 x23311 x23325 x23337 x23342 x23359 x23374 x23376 x23394 x23418 x23420 x23424 x23450 x23453 x23456 x23475 x23498 x23508 x23560 x23594 x23609 x23621 x23629 x23630 x23634 x23654 x23656 x23663 x23664 x23665 x23685 x23687 x23751 x23753 x23776 x23779 x23780 x23812 x23842 x23843 x23858 x23868 x23869 x23870 x23871 x23875 x23882 x23926 x23931 x23960 x23974 x23979 x23987 x24006 x24015 x24043 x24048 x24063 x24074 x24095 x24102 x24103 x24128 x24130 x24132 x24145 x24163 x24180 x24186 x24188 x24189 x24229 x24245 x24257 x24266 x24267 x24291 x24312 x24324 x24325 x24328 x24357 x24381 x24385 x24387 x24412 x24418 x24445 x24449 x24468 x24471 x24475 x24498 x24502 x24503 x24526 x24527 x24554 x24626 x24634 x24641 x24660 x24693 x24694 x24697 x24752 x24785 x24804 x24830 x24842 x24875 x24886 x24898 x24923 x24981 x24998 x25020 x25042 x25064 x25125 x25151 x25177 x25179 x25197 x25210 x25240 x25248 x25292 x25294 x25320 x25379 x25382 x25398 x25411 x25412 x25460 x25461 x25466 x25467 x25522 x25523 x25548 x25551 x25565 x25578 x25603 x25609 x25626 x25630 x25631 x25665 x25716 x25717 x25746 x25770 x25771 x25772 x25794 x25802 x25833 x25872 x25888 x25889 x25892 x25913 x25917 x25920 x25997 x26021 x26026 x26047 x26048 x26049 x26054 x26060 x26081 x26084 x26138 x26181 x26192 x26195 x26209 x26221 x26285 x26304 x26307 x26326 x26333 x26348 x26383 x26390 x26416 x26433 x26439 x26440 x26464 x26495 x26496 x26523 x26524 x26548 x26552 x26599 x26604 x26605 x26606 x26607 x26631 x26632 x26634 x26643 x26659 x26662 x26663 x26664 x26684 x26686 x26690 x26699 x26708 x26718 x26739 x26741 x26742 x26745 x26762 x26770 x26790 x26792 x26797 x26804 x26812 x26816 x26849 x26870 x26873 x26878 x26879 x26930 x26964 x26985 x27038 x27058 x27067 x27116 x27118 x27123 x27130 x27176 x27199 x27200 x27224 x27249 x27253 x27279 x27281 x27305 x27322 x27329 x27333 x27355 x27388 x27392 x27397 x27406 x27457 x27459 x27484 x27485 x27489 x27498 x27501 x27517 x27563 x27571 x27578 x27599 x27623 x27625 x27627 x27647 x27650 x27712 x27727 x27729 x27732 x27745 x27755 x27757 x27765 x27780 x27782 x27785 x27812 x27824 x27866 x27867 x27892 x27935 x27968 x27972 x27998 x28001 x28019 x28047 x28048 x28057 x28062 x28084 x28105 x28108 x28135 x28160 x28189 x28212 x28226 x28234 x28264 x28267 x28273 x28274 x28281 x28289 x28290 x28317 x28318 x28348 x28350 x28388 x28400 x28402 x28406 x28428 x28431 x28433 x28454 x28477 x28485 x28486 x28512 x28574 x28585 x28607 x28611 x28612 x28617 x28641 x28642 x28674 x28688 x28696 x28726 x28747 x28748 x28775 x28809 x28815 x28818 x28826 x28851 x28900 x28907 x28928 x28930 x28931 x28933 x28934 x28935 x28944 x28960 x28988 x28989 x29014 x29015 x29017 x29019 x29042 x29045 x29046 x29073 x29092 x29095 x29096 x29117 x29147 x29158 x29171 x29183 x29193 x29201 x29202 x29203 x29232 x29253 x29254 x29255 x29300 x29335 x29356 x29361 x29407 x29415 x29417 x29436 x29437 x29464 x29465 x29539 x29543 x29570 x29571 x29593 x29597 x29706 x29724 x29725 x29731 x29732 x29754 x29757 x29778 x29782 x29809 x29828 x29830 x29832 x29834 x29858 x29859 x29860 x29881 x29896 x29930 x29935 x29956 x29961 x29962 x29963 x29964 x29979 x29987 x29990 x30035 x30056 x30060 x30066 x30083 x30090 x30092 x30112 x30134 x30166 x30167 x30169 x30194 x30241 x30246 x30269 x30274 x30275 x30289 x30296 x30299 x30339 x30342 x30349 x30351 x30369 x30371 x30378 x30405 x30453 x30456 x30508 x30525 x30555 x30559 x30584 x30631 x30682 x30685 x30708 x30719 x30720 x30732 x30836 x30839 x30856 x30858 x30861 x30868 x30916 x30941 x30942 x30944 x31038 x31043 x31054 x31059 x31066 x31068 x31116 x31120 x31146 x31166 x31167 x31170 x31171 x31190 x31194 x31196 x31223 x31268 x31272 x31273 x31289 x31299 x31331 x31332 x31348 x31375 x31401 x31403 x31461 x31471 x31477 x31483 x31501 x31504 x31508 x31526 x31548 x31549 x31553 x31581 x31604 x31605 x31607 x31618 x31632 x31633 x31675 x31676 x31679 x31721 x31733 x31802 x31810 x31851 x31859 x31884 x31928 x31977 x32028 x32050 x32059 x32061 x32085 x32086 x32087 x32112 x32134 x32160 x32210 x32255 x32287 x32304 x32314 x32339 x32388 x32399 x32415 x32430 x32436 x32461 x32463 x32464 x32465 x32513 x32533 x32534 x32535 x32538 x32539 x32540 x32566 x32640 
1800.04/1800.42	pb2clasp1: no process killed
1802.04/1802.42	sh: line 1: 29009 Done                    cat HOME/temp/instance-3736725-1338732048.opb.op
1802.04/1802.42	     29010 Killed                  | clasp-1.0 --trans=no > HOME/temp/instance-3736725-1338732048.opb.clasp

Verifier Data 

OK	93

Watcher Data 

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-3736725-1338732048/watcher-3736725-1338732048 -o /tmp/evaluation-result-3736725-1338732048/solver-3736725-1338732048 -C 1800 -W 1900 -M 15500 pbclasp instance-3736725-1338732048.opb HOME/temp 

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.00 2.00 2.00 3/179 28695
/proc/meminfo: memFree=29797992/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) R 28693 28695 32725 0 -1 4202496 556 0 0 0 0 0 0 0 20 0 1 0 339333395 26206208 487 33554432000 4194304 4198148 140736202144592 140736202142040 245319216840 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/28695/statm: 6398 487 355 1 0 193 0

[startup+0.0192501 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28695
/proc/meminfo: memFree=29797992/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=26660 CPUtime=0.01 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) R 28693 28695 32725 0 -1 4202496 824 0 0 0 1 0 0 0 20 0 1 0 339333395 27299840 755 33554432000 4194304 4198148 140736202144592 140736202142040 245293879188 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/28695/statm: 6665 755 362 1 0 460 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26660

[startup+0.100216 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28695
/proc/meminfo: memFree=29797992/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=26792 CPUtime=0.02 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 888 0 0 0 2 0 0 0 20 0 1 0 339333395 27435008 802 33554432000 4194304 4198148 140736202144592 140736202143480 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28695/statm: 6698 802 369 1 0 493 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26792

[startup+0.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28695
/proc/meminfo: memFree=29797992/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=26792 CPUtime=0.02 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 888 0 0 0 2 0 0 0 20 0 1 0 339333395 27435008 802 33554432000 4194304 4198148 140736202144592 140736202143480 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28695/statm: 6698 802 369 1 0 493 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26792

[startup+0.700182 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28695
/proc/meminfo: memFree=29797992/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=26792 CPUtime=0.02 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 888 0 0 0 2 0 0 0 20 0 1 0 339333395 27435008 802 33554432000 4194304 4198148 140736202144592 140736202143480 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28695/statm: 6698 802 369 1 0 493 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26792

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28698
/proc/meminfo: memFree=29794876/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=26792 CPUtime=0.02 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 888 0 0 0 2 0 0 0 20 0 1 0 339333395 27435008 802 33554432000 4194304 4198148 140736202144592 140736202143480 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28695/statm: 6698 802 369 1 0 493 0
[pid=28697] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28697/stat : 28697 (sh) S 28695 28695 32725 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 339333398 9367552 266 33554432000 4194304 5064252 140733841440272 140733841439152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28697/statm: 2287 266 226 213 0 72 0
[pid=28698] ppid=28697 vsize=25592 CPUtime=1.46 cores=1,3,5,7
/proc/28698/stat : 28698 (pb2clasp1) R 28697 28695 32725 0 -1 4202496 603 0 0 0 146 0 0 0 20 0 1 0 339333398 26206208 513 33554432000 4194304 4198148 140733630258944 140733630257928 245297636496 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/28698/statm: 6398 513 378 1 0 193 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 61532

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28698
/proc/meminfo: memFree=29793388/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=26924 CPUtime=2.58 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 1007 2095 0 0 2 0 254 2 20 0 1 0 339333395 27570176 841 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28695/statm: 6731 841 387 1 0 526 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 26924

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28721
/proc/meminfo: memFree=29776888/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=5.16 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 1304 30052 0 0 7 0 499 10 20 0 1 0 339333395 27705344 875 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 875 387 1 0 559 0
[pid=28719] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28719/stat : 28719 (sh) S 28695 28695 32725 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339333913 9367552 264 33554432000 4194304 5064252 140734701186848 140734701185104 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28719/statm: 2287 264 223 213 0 72 0
[pid=28721] ppid=28719 vsize=45548 CPUtime=1.1 cores=1,3,5,7
/proc/28721/stat : 28721 (clasp-1.0) R 28719 28695 32725 0 -1 4202496 11536 0 0 0 108 2 0 0 20 0 1 0 339333913 46641152 10623 33554432000 134512640 134847168 4288780192 4288778960 134617536 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28721/statm: 11387 10623 272 82 0 10628 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 81752

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28745
/proc/meminfo: memFree=29746036/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=10.96 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 1780 71161 0 0 16 0 1058 22 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=28743] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28743/stat : 28743 (sh) S 28695 28695 32725 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 339334493 9367552 263 33554432000 4194304 5064252 140733532971056 140733532969312 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28743/statm: 2287 263 223 213 0 72 0
[pid=28745] ppid=28743 vsize=45548 CPUtime=1.7 cores=1,3,5,7
/proc/28745/stat : 28745 (clasp-1.0) R 28743 28695 32725 0 -1 4202496 12045 0 0 0 169 1 0 0 20 0 1 0 339334493 46641152 10621 33554432000 134512640 134847168 4291766112 4291764880 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28745/statm: 11387 10621 270 82 0 10628 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 81752

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28776
/proc/meminfo: memFree=29746484/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=23.57 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 1946 85992 0 0 19 0 2312 26 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=28774] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28774/stat : 28774 (sh) S 28695 28695 32725 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 339335754 9367552 264 33554432000 4194304 5064252 140734241699904 140734241698160 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28774/statm: 2287 264 223 213 0 72 0
[pid=28776] ppid=28774 vsize=45548 CPUtime=1.9 cores=1,3,5,7
/proc/28776/stat : 28776 (clasp-1.0) R 28774 28695 32725 0 -1 4202496 12046 0 0 0 188 2 0 0 20 0 1 0 339335754 46641152 10621 33554432000 134512640 134847168 4292319888 4292318656 134617501 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28776/statm: 11387 10621 270 82 0 10628 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 81752

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28776
/proc/meminfo: memFree=29725448/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=23.57 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 1946 85992 0 0 19 0 2312 26 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=28774] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28774/stat : 28774 (sh) S 28695 28695 32725 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 339335754 9367552 264 33554432000 4194304 5064252 140734241699904 140734241698160 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28774/statm: 2287 264 223 213 0 72 0
[pid=28776] ppid=28774 vsize=66592 CPUtime=27.49 cores=1,3,5,7
/proc/28776/stat : 28776 (clasp-1.0) R 28774 28695 32725 0 -1 4202496 17283 0 0 0 2745 4 0 0 20 0 1 0 339335754 68190208 15948 33554432000 134512640 134847168 4292319888 4292318656 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28776/statm: 16648 15948 270 82 0 15889 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 102796

[startup+102.307 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 28776
/proc/meminfo: memFree=29693684/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=23.57 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 1946 85992 0 0 19 0 2312 26 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=28774] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28774/stat : 28774 (sh) S 28695 28695 32725 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 339335754 9367552 264 33554432000 4194304 5064252 140734241699904 140734241698160 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28774/statm: 2287 264 223 213 0 72 0
[pid=28776] ppid=28774 vsize=97208 CPUtime=78.68 cores=1,3,5,7
/proc/28776/stat : 28776 (clasp-1.0) R 28774 28695 32725 0 -1 4202496 24858 0 0 0 7861 7 0 0 20 0 1 0 339335754 99540992 23543 33554432000 134512640 134847168 4292319888 4292318644 134737608 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28776/statm: 24302 23543 270 82 0 23543 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 133412

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 28776
/proc/meminfo: memFree=29662044/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=23.57 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 1946 85992 0 0 19 0 2312 26 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=28774] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28774/stat : 28774 (sh) S 28695 28695 32725 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 339335754 9367552 264 33554432000 4194304 5064252 140734241699904 140734241698160 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28774/statm: 2287 264 223 213 0 72 0
[pid=28776] ppid=28774 vsize=128188 CPUtime=138.66 cores=1,3,5,7
/proc/28776/stat : 28776 (clasp-1.0) R 28774 28695 32725 0 -1 4202496 32583 0 0 0 13854 12 0 0 20 0 1 0 339335754 131264512 31297 33554432000 134512640 134847168 4292319888 4292318516 134616350 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28776/statm: 32047 31297 270 82 0 31288 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 164392

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 28776
/proc/meminfo: memFree=29646880/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=23.57 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 1946 85992 0 0 19 0 2312 26 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=28774] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28774/stat : 28774 (sh) S 28695 28695 32725 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 339335754 9367552 264 33554432000 4194304 5064252 140734241699904 140734241698160 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28774/statm: 2287 264 223 213 0 72 0
[pid=28776] ppid=28774 vsize=142736 CPUtime=198.65 cores=1,3,5,7
/proc/28776/stat : 28776 (clasp-1.0) R 28774 28695 32725 0 -1 4202496 36231 0 0 0 19852 13 0 0 20 0 1 0 339335754 146161664 34981 33554432000 134512640 134847168 4292319888 4292318580 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28776/statm: 35684 34981 270 82 0 34925 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 178940

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28777
/proc/meminfo: memFree=29624684/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=23.57 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 1946 85992 0 0 19 0 2312 26 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=28774] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/28984/stat : 28984 (sh) S 28695 28695 32725 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339454506 9367552 264 33554432000 4194304 5064252 140736540489136 140736540487392 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28984/statm: 2287 264 223 213 0 72 0
[pid=28986] ppid=28984 vsize=125012 CPUtime=211.13 cores=1,3,5,7
/proc/28986/stat : 28986 (clasp-1.0) R 28984 28695 32725 0 -1 4202496 31522 0 0 0 21103 10 0 0 20 0 1 0 339454506 128012288 30708 33554432000 134512640 134847168 4286862624 4286861264 134715353 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28986/statm: 31253 30708 272 82 0 30494 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 161216

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 28987
/proc/meminfo: memFree=29590024/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=1210.88 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 2110 153640 0 0 21 0 121014 53 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=28984] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28984/stat : 28984 (sh) S 28695 28695 32725 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339454506 9367552 264 33554432000 4194304 5064252 140736540489136 140736540487392 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28984/statm: 2287 264 223 213 0 72 0
[pid=28986] ppid=28984 vsize=135364 CPUtime=271.12 cores=1,3,5,7
/proc/28986/stat : 28986 (clasp-1.0) R 28984 28695 32725 0 -1 4202496 34126 0 0 0 27100 12 0 0 20 0 1 0 339454506 138612736 33310 33554432000 134512640 134847168 4286862624 4286861328 134741915 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28986/statm: 33841 33310 272 82 0 33082 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 171568

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28987
/proc/meminfo: memFree=29564040/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=1210.88 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 2110 153640 0 0 21 0 121014 53 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=28984] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28984/stat : 28984 (sh) S 28695 28695 32725 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339454506 9367552 264 33554432000 4194304 5064252 140736540489136 140736540487392 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28984/statm: 2287 264 223 213 0 72 0
[pid=28986] ppid=28984 vsize=157356 CPUtime=331.1 cores=1,3,5,7
/proc/28986/stat : 28986 (clasp-1.0) R 28984 28695 32725 0 -1 4202496 39644 0 0 0 33097 13 0 0 20 0 1 0 339454506 161132544 38692 33554432000 134512640 134847168 4286862624 4286861248 134784526 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28986/statm: 39339 38692 272 82 0 38580 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 193560

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 28987
/proc/meminfo: memFree=29553464/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=1210.88 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 2110 153640 0 0 21 0 121014 53 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=28984] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28984/stat : 28984 (sh) S 28695 28695 32725 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339454506 9367552 264 33554432000 4194304 5064252 140736540489136 140736540487392 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28984/statm: 2287 264 223 213 0 72 0
[pid=28986] ppid=28984 vsize=164300 CPUtime=391.09 cores=1,3,5,7
/proc/28986/stat : 28986 (clasp-1.0) R 28984 28695 32725 0 -1 4202496 41354 0 0 0 39095 14 0 0 20 0 1 0 339454506 168243200 40504 33554432000 134512640 134847168 4286862624 4286861316 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28986/statm: 41075 40504 272 82 0 40316 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 200504

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 28987
/proc/meminfo: memFree=29546144/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=1210.88 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 2110 153640 0 0 21 0 121014 53 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=28984] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28984/stat : 28984 (sh) S 28695 28695 32725 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339454506 9367552 264 33554432000 4194304 5064252 140736540489136 140736540487392 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28984/statm: 2287 264 223 213 0 72 0
[pid=28986] ppid=28984 vsize=171108 CPUtime=451.08 cores=1,3,5,7
/proc/28986/stat : 28986 (clasp-1.0) R 28984 28695 32725 0 -1 4202496 43064 0 0 0 45093 15 0 0 20 0 1 0 339454506 175214592 42214 33554432000 134512640 134847168 4286862624 4286861252 134616350 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28986/statm: 42777 42214 272 82 0 42018 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 207312

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 28987
/proc/meminfo: memFree=29538332/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=1210.88 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 2110 153640 0 0 21 0 121014 53 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=28984] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28984/stat : 28984 (sh) S 28695 28695 32725 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339454506 9367552 264 33554432000 4194304 5064252 140736540489136 140736540487392 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28984/statm: 2287 264 223 213 0 72 0
[pid=28986] ppid=28984 vsize=178940 CPUtime=511.07 cores=1,3,5,7
/proc/28986/stat : 28986 (clasp-1.0) R 28984 28695 32725 0 -1 4202496 45002 0 0 0 51090 17 0 0 20 0 1 0 339454506 183234560 44152 33554432000 134512640 134847168 4286862624 4286861252 134616350 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28986/statm: 44735 44152 272 82 0 43976 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 215144

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28991
/proc/meminfo: memFree=29534584/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=1210.88 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 2110 153640 0 0 21 0 121014 53 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=28984] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28984/stat : 28984 (sh) S 28695 28695 32725 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339454506 9367552 264 33554432000 4194304 5064252 140736540489136 140736540487392 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28984/statm: 2287 264 223 213 0 72 0
[pid=28986] ppid=28984 vsize=181840 CPUtime=571.06 cores=1,3,5,7
/proc/28986/stat : 28986 (clasp-1.0) R 28984 28695 32725 0 -1 4202496 45734 0 0 0 57089 17 0 0 20 0 1 0 339454506 186204160 44922 33554432000 134512640 134847168 4286862624 4286861248 134784610 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28986/statm: 45460 44922 272 82 0 44701 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 218044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28991
/proc/meminfo: memFree=29534584/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=1210.88 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 2110 153640 0 0 21 0 121014 53 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=28984] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28984/stat : 28984 (sh) S 28695 28695 32725 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339454506 9367552 264 33554432000 4194304 5064252 140736540489136 140736540487392 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28984/statm: 2287 264 223 213 0 72 0
[pid=28986] ppid=28984 vsize=181840 CPUtime=589.16 cores=1,3,5,7
/proc/28986/stat : 28986 (clasp-1.0) R 28984 28695 32725 0 -1 4202496 45734 0 0 0 58899 17 0 0 20 0 1 0 339454506 186204160 44922 33554432000 134512640 134847168 4286862624 4286861248 134784694 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28986/statm: 45460 44922 272 82 0 44701 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 218044

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -28695

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 29010
/proc/meminfo: memFree=29770108/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=1800.09 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 2281 202147 0 0 21 0 179915 73 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=29005] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29005/stat : 29005 (sh) S 28695 28695 32725 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339513438 9367552 264 33554432000 4194304 5064252 140734189099072 140734189097328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29005/statm: 2287 264 223 213 0 72 0
[pid=29010] ppid=29005 vsize=45548 CPUtime=0.95 cores=1,3,5,7
/proc/29010/stat : 29010 (clasp-1.0) R 29005 28695 32725 0 -1 4202496 11537 0 0 0 93 2 0 0 20 0 1 0 339513439 46641152 10623 33554432000 134512640 134847168 4291463040 4291461776 134733950 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29010/statm: 11387 10623 272 82 0 10628 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 81752

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29010
/proc/meminfo: memFree=29737812/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=1800.09 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 2281 202147 0 0 21 0 179915 73 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=29005] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29005/stat : 29005 (sh) S 28695 28695 32725 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339513438 9367552 264 33554432000 4194304 5064252 140734189099072 140734189097328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29005/statm: 2287 264 223 213 0 72 0
[pid=29010] ppid=29005 vsize=45548 CPUtime=1.75 cores=1,3,5,7
/proc/29010/stat : 29010 (clasp-1.0) R 29005 28695 32725 0 -1 4202496 11537 0 0 0 173 2 0 0 20 0 1 0 339513439 46641152 10623 33554432000 134512640 134847168 4291463040 4291461808 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29010/statm: 11387 10623 272 82 0 10628 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 81752

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29010
/proc/meminfo: memFree=29737812/32873844 swapFree=7372/7372
[pid=28695] ppid=28693 vsize=27056 CPUtime=1800.09 cores=1,3,5,7
/proc/28695/stat : 28695 (pbclasp) S 28693 28695 32725 0 -1 4202496 2281 202147 0 0 21 0 179915 73 20 0 1 0 339333395 27705344 884 33554432000 4194304 4198148 140736202144592 140736202143520 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28695/statm: 6764 884 387 1 0 559 0
[pid=29005] ppid=28695 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29005/stat : 29005 (sh) S 28695 28695 32725 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339513438 9367552 264 33554432000 4194304 5064252 140734189099072 140734189097328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29005/statm: 2287 264 223 213 0 72 0
[pid=29010] ppid=29005 vsize=45548 CPUtime=1.95 cores=1,3,5,7
/proc/29010/stat : 29010 (clasp-1.0) R 29005 28695 32725 0 -1 4202496 11537 0 0 0 193 2 0 0 20 0 1 0 339513439 46641152 10623 33554432000 134512640 134847168 4291463040 4291461796 134737608 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29010/statm: 11387 10623 272 82 0 10628 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 81752

Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.1
CPU user time (s): 1801.33
CPU system time (s): 0.768883
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 296564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.33
system time used= 0.768883
maximum resident set size= 257196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216981
page faults= 0
swaps= 0
block input operations= 0
block output operations= 62160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7132
involuntary context switches= 4305

runsolver used 3.87541 second user time and 10.3914 second system time

The end

Launcher Data 

Begin job on node109 at 2012-06-03 16:00:48
IDJOB=3736725
IDBENCH=48110
IDSOLVER=2317
FILE ID=node109/3736725-1338732048
RUNJOBID= node109-1338713403-32742
PBS_JOBID= 14636733
Free space on /tmp= 70712 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_1.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736725-1338732048/watcher-3736725-1338732048 -o /tmp/evaluation-result-3736725-1338732048/solver-3736725-1338732048 -C 1800 -W 1900 -M 15500  pbclasp instance-3736725-1338732048.opb HOME/temp

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0c93b84d697c3c1b68cbcf423dabc710
RANDOM SEED=1758102539

node109.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		: 2667.264
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	: 5334.52
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		: 2667.264
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.91
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		: 2667.264
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.91
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		: 2667.264
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		: 2667.264
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		: 2667.264
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.91
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		: 2667.264
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		: 2667.264
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29800536 kB
Buffers:          608924 kB
Cached:          1573888 kB
SwapCached:          964 kB
Active:          1167816 kB
Inactive:        1029304 kB
Active(anon):       7260 kB
Inactive(anon):     7844 kB
Active(file):    1160556 kB
Inactive(file):  1021460 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105532 kB
Dirty:               956 kB
Writeback:             0 kB
AnonPages:         18688 kB
Mapped:            12276 kB
Shmem:                 4 kB
Slab:             737260 kB
SReclaimable:     179420 kB
SUnreclaim:       557840 kB
KernelStack:        1520 kB
PageTables:         4008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     128960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3736725-1338732048.opb

Free space on /tmp at the end= 70704 MiB
End job on node109 at 2012-06-03 16:30:51