Trace number 3736835

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)94 1802.1 1802.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_5.opb
MD5SUMd79bd0f7d6fceec4ec599aa8716e2601
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark58
Best CPU time to get the best result obtained on this benchmark1796.82
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 74
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 constraint51
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)31590
Sum of products size (including duplicates)63180
Number of different products31590
Sum of products size63180

Quality of the solution as a function of time


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

Solver Data

3.77/3.83	o 108
5.06/5.14	o 107
6.25/6.37	o 106
7.96/8.08	o 104
9.66/9.78	o 102
11.75/11.85	o 101
13.42/13.57	o 100
15.10/15.20	o 99
17.28/17.46	o 98
19.80/19.99	o 97
22.01/22.12	o 96
24.50/24.68	o 95
51.08/51.22	o 94
1366.74/1367.15	sh: line 1:  9713 Done                    cat HOME/temp/instance-3736835-1338732593.opb.op
1366.74/1367.15	      9714 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736835-1338732593.opb.clasp
1800.04/1800.50	sh: line 1:  9744 Done                    cat HOME/temp/instance-3736835-1338732593.opb.op
1800.04/1800.50	      9745 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736835-1338732593.opb.clasp
1800.04/1800.51	c Somebody sent me a SIGTERM
1800.04/1800.51	s SATISFIABLE
1800.04/1800.51	v x274 x360 x427 x480 x494 x505 x519 x529 x539 x596 x600 x604 x608 x622 x624 x626 x632 x637 x656 x660 x661 x673 x674 x685 x686 x688 x690 x691 x693 x696 x698 x701 x703 x705 x708 x714 x717 x723 x729 x730 x743 x751 x765 x771 x772 x779 x782 x786 x789 x790 x791 x793 x800 x803 x804 x805 x819 x822 x825 x830 x842 x847 x850 x855 x859 x860 x874 x881 x888 x889 x895 x901 x902 x905 x907 x912 x913 x925 x930 x932 x934 x935 x937 x940 x941 x956 x959 x969 x970 x985 x986 x989 x993 x999 x1037 x1039 x1046 x1048 x1057 x1058 x1074 x1079 x1086 x1092 x1096 x1113 x1114 x1115 x1118 x1121 x1159 x1172 x1201 x1206 x1228 x1250 x1252 x1254 x1268 x1275 x1285 x1287 x1290 x1292 x1293 x1317 x1330 x1333 x1354 x1388 x1394 x1404 x1443 x1445 x1448 x1463 x1467 x1483 x1518 x1524 x1530 x1533 x1536 x1565 x1574 x1576 x1582 x1583 x1628 x1644 x1662 x1668 x1670 x1691 x1700 x1707 x1733 x1743 x1745 x1770 x1782 x1790 x1805 x1813 x1854 x1862 x1901 x1926 x1935 x1937 x1942 x1955 x1956 x1958 x1965 x1966 x1984 x1985 x1999 x2011 x2047 x2055 x2070 x2078 x2098 x2105 x2107 x2116 x2117 x2139 x2166 x2177 x2190 x2208 x2211 x2244 x2251 x2257 x2268 x2303 x2311 x2345 x2352 x2364 x2369 x2406 x2428 x2434 x2444 x2458 x2463 x2474 x2481 x2507 x2525 x2526 x2566 x2572 x2589 x2620 x2639 x2640 x2641 x2642 x2653 x2666 x2680 x2690 x2702 x2713 x2715 x2719 x2735 x2736 x2770 x2774 x2801 x2811 x2813 x2823 x2824 x2846 x2849 x2855 x2883 x2924 x2937 x2947 x2968 x2973 x2984 x3015 x3016 x3027 x3044 x3048 x3067 x3092 x3137 x3140 x3161 x3173 x3181 x3227 x3229 x3247 x3251 x3256 x3258 x3275 x3279 x3309 x3316 x3321 x3322 x3328 x3353 x3388 x3400 x3416 x3437 x3451 x3470 x3475 x3487 x3488 x3496 x3518 x3519 x3542 x3551 x3563 x3565 x3566 x3567 x3593 x3605 x3623 x3631 x3635 x3660 x3672 x3687 x3699 x3700 x3714 x3715 x3748 x3776 x3789 x3791 x3804 x3808 x3825 x3833 x3843 x3850 x3867 x3868 x3871 x3872 x3882 x3891 x3892 x3904 x3917 x3946 x3951 x3962 x3963 x3964 x3978 x3981 x3982 x4004 x4053 x4069 x4073 x4093 x4100 x4132 x4149 x4150 x4175 x4215 x4226 x4263 x4266 x4280 x4281 x4284 x4299 x4301 x4303 x4306 x4327 x4360 x4370 x4404 x4405 x4424 x4428 x4438 x4447 x4448 x4449 x4453 x4499 x4512 x4524 x4527 x4533 x4535 x4564 x4606 x4610 x4631 x4641 x4643 x4646 x4649 x4665 x4666 x4671 x4682 x4683 x4688 x4698 x4707 x4708 x4723 x4729 x4750 x4774 x4785 x4799 x4801 x4802 x4804 x4835 x4867 x4868 x4869 x4872 x4884 x4892 x4893 x4915 x4936 x4945 x4954 x4969 x4976 x4985 x4986 x4988 x5003 x5027 x5030 x5044 x5069 x5094 x5095 x5096 x5109 x5134 x5140 x5148 x5179 x5185 x5224 x5258 x5262 x5280 x5281 x5282 x5296 x5314 x5331 x5358 x5372 x5385 x5414 x5415 x5432 x5493 x5500 x5506 x5517 x5526 x5541 x5544 x5572 x5596 x5602 x5628 x5629 x5630 x5658 x5679 x5680 x5701 x5747 x5751 x5770 x5776 x5780 x5832 x5846 x5848 x5850 x5864 x5871 x5873 x5885 x5887 x5895 x5902 x5935 x5937 x5946 x5953 x5994 x5998 x6006 x6008 x6026 x6029 x6050 x6060 x6061 x6072 x6079 x6099 x6100 x6127 x6134 x6161 x6162 x6163 x6172 x6191 x6199 x6200 x6202 x6211 x6215 x6217 x6231 x6264 x6275 x6284 x6314 x6320 x6323 x6328 x6346 x6355 x6359 x6366 x6428 x6450 x6466 x6472 x6477 x6485 x6491 x6497 x6506 x6524 x6529 x6532 x6533 x6534 x6546 x6548 x6552 x6556 x6558 x6561 x6590 x6607 x6610 x6613 x6638 x6639 x6653 x6654 x6655 x6666 x6694 x6716 x6741 x6744 x6750 x6752 x6760 x6778 x6814 x6817 x6835 x6847 x6859 x6863 x6901 x6925 x6954 x6982 x6993 x7015 x7019 x7024 x7026 x7030 x7031 x7043 x7045 x7051 x7052 x7086 x7087 x7103 x7106 x7125 x7128 x7131 x7133 x7153 x7170 x7182 x7190 x7191 x7215 x7217 x7221 x7222 x7227 x7229 x7244 x7283 x7285 x7302 x7303 x7307 x7309 x7318 x7319 x7334 x7342 x7357 x7367 x7376 x7381 x7383 x7394 x7406 x7419 x7420 x7448 x7452 x7458 x7462 x7476 x7493 x7512 x7527 x7528 x7530 x7535 x7547 x7549 x7568 x7573 x7586 x7605 x7606 x7623 x7630 x7634 x7657 x7667 x7674 x7700 x7723 x7725 x7739 x7744 x7763 x7769 x7779 x7780 x7781 x7813 x7818 x7839 x7886 x7907 x7918 x7919 x7934 x7937 x7944 x7964 x7975 x7994 x8011 x8017 x8043 x8045 x8047 x8057 x8067 x8078 x8082 x8085 x8092 x8107 x8125 x8130 x8134 x8164 x8193 x8195 x8215 x8228 x8233 x8237 x8266 x8276 x8277 x8282 x8315 x8318 x8319 x8341 x8343 x8347 x8358 x8367 x8375 x8392 x8402 x8436 x8474 x8483 x8488 x8495 x8510 x8515 x8545 x8553 x8564 x8571 x8573 x8586 x8590 x8591 x8595 x8620 x8623 x8626 x8634 x8647 x8664 x8669 x8670 x8677 x8709 x8713 x8716 x8724 x8732 x8734 x8737 x8741 x8761 x8782 x8784 x8795 x8799 x8802 x8807 x8810 x8820 x8832 x8838 x8859 x8892 x8904 x8908 x8926 x8940 x8950 x8959 x8966 x8975 x8994 x9003 x9017 x9047 x9090 x9108 x9119 x9127 x9131 x9147 x9148 x9165 x9176 x9185 x9210 x9243 x9280 x9282 x9304 x9352 x9353 x9361 x9377 x9381 x9398 x9399 x9420 x9422 x9433 x9447 x9455 x9475 x9476 x9486 x9512 x9529 x9537 x9543 x9549 x9580 x9591 x9609 x9617 x9661 x9683 x9690 x9697 x9721 x9736 x9775 x9789 x9795 x9801 x9809 x9840 x9855 x9858 x9862 x9874 x9880 x9881 x9917 x9929 x9941 x9943 x9950 x9965 x9968 x9982 x9999 x10021 x10038 x10071 x10087 x10088 x10116 x10120 x10121 x10137 x10145 x10152 x10181 x10221 x10231 x10249 x10250 x10253 x10265 x10267 x10280 x10282 x10290 x10299 x10302 x10306 x10325 x10331 x10360 x10366 x10412 x10413 x10414 x10429 x10437 x10445 x10450 x10463 x10467 x10473 x10476 x10479 x10508 x10546 x10556 x10572 x10576 x10628 x10630 x10642 x10650 x10652 x10675 x10682 x10683 x10710 x10713 x10718 x10720 x10727 x10729 x10756 x10763 x10789 x10790 x10803 x10804 x10808 x10831 x10833 x10844 x10888 x10910 x10919 x10922 x10923 x10946 x10957 x10959 x10977 x10978 x10985 x11020 x11029 x11044 x11077 x11132 x11133 x11151 x11167 x11180 x11183 x11189 x11219 x11223 x11254 x11268 x11313 x11320 x11327 x11336 x11338 x11354 x11355 x11357 x11365 x11369 x11387 x11392 x11418 x11434 x11452 x11462 x11482 x11486 x11496 x11501 x11526 x11537 x11538 x11555 x11569 x11570 x11585 x11588 x11589 x11593 x11595 x11622 x11624 x11635 x11661 x11664 x11674 x11702 x11705 x11744 x11746 x11748 x11763 x11775 x11781 x11782 x11805 x11814 x11839 x11846 x11869 x11871 x11878 x11880 x11895 x11904 x11905 x11931 x11964 x11966 x11998 x12000 x12045 x12050 x12058 x12067 x12071 x12107 x12115 x12133 x12149 x12151 x12153 x12173 x12209 x12235 x12241 x12274 x12277 x12281 x12287 x12289 x12304 x12306 x12325 x12350 x12356 x12360 x12361 x12374 x12380 x12381 x12397 x12414 x12423 x12446 x12461 x12478 x12509 x12513 x12522 x12544 x12585 x12604 x12606 x12646 x12649 x12650 x12661 x12662 x12676 x12708 x12709 x12757 x12758 x12779 x12791 x12794 x12807 x12808 x12812 x12818 x12824 x12825 x12841 x12897 x12906 x12923 x12941 x12944 x12957 x12962 x12981 x12996 x12997 x13017 x13019 x13021 x13025 x13055 x13091 x13095 x13098 x13101 x13102 x13120 x13122 x13124 x13125 x13152 x13167 x13182 x13197 x13215 x13225 x13252 x13284 x13314 x13316 x13323 x13350 x13354 x13368 x13385 x13401 x13422 x13425 x13466 x13485 x13497 x13500 x13519 x13524 x13534 x13556 x13569 x13571 x13593 x13596 x13599 x13622 x13624 x13626 x13628 x13656 x13662 x13664 x13688 x13691 x13730 x13750 x13755 x13783 x13832 x13838 x13861 x13869 x13872 x13888 x13929 x13976 x13997 x14023 x14025 x14026 x14039 x14040 x14056 x14057 x14106 x14129 x14165 x14229 x14236 x14275 x14297 x14305 x14326 x14331 x14338 x14342 x14344 x14345 x14370 x14373 x14389 x14394 x14397 x14426 x14436 x14437 x14438 x14454 x14472 x14475 x14490 x14494 x14504 x14506 x14535 x14536 x14537 x14539 x14554 x14556 x14557 x14558 x14561 x14572 x14590 x14617 x14621 x14652 x14665 x14669 x14670 x14694 x14697 x14702 x14703 x14724 x14728 x14731 x14736 x14759 x14767 x14769 x14785 x14794 x14820 x14868 x14889 x14898 x14924 x14944 x14952 x14957 x14984 x15013 x15024 x15050 x15097 x15119 x15129 x15132 x15151 x15163 x15165 x15190 x15222 x15223 x15232 x15234 x15235 x15259 x15293 x15297 x15326 x15338 x15361 x15362 x15365 x15402 x15417 x15419 x15425 x15430 x15434 x15437 x15464 x15466 x15486 x15489 x15498 x15520 x15526 x15533 x15553 x15556 x15558 x15576 x15611 x15614 x15620 x15626 x15628 x15629 x15630 x15631 x15657 x15663 x15686 x15688 x15708 x15709 x15715 x15717 x15723 x15726 x15727 x15745 x15749 x15750 x15757 x15759 x15760 x15783 x15784 x15813 x15818 x15821 x15843 x15845 x15853 x15866 x15870 x15883 x15905 x15942 x15973 x15996 x15999 x16002 x16007 x16008 x16010 x16032 x16034 x16067 x16093 x16094 x16102 x16125 x16131 x16135 x16157 x16158 x16163 x16176 x16193 x16194 x16196 x16200 x16201 x16204 x16229 x16253 x16270 x16296 x16301 x16302 x16327 x16333 x16334 x16363 x16423 x16424 x16425 x16446 x16447 x16450 x16484 x16485 x16507 x16511 x16512 x16513 x16523 x16545 x16579 x16599 x16601 x16603 x16609 x16638 x16666 x16669 x16672 x16697 x16701 x16702 x16728 x16730 x16743 x16763 x16767 x16809 x16810 x16837 x16844 x16845 x16866 x16867 x16868 x16901 x16907 x16912 x16943 x16966 x17007 x17026 x17031 x17032 x17039 x17067 x17071 x17098 x17112 x17114 x17120 x17127 x17151 x17184 x17205 x17206 x17209 x17210 x17233 x17239 x17263 x17269 x17312 x17334 x17336 x17337 x17364 x17368 x17373 x17374 x17382 x17402 x17446 x17472 x17479 x17480 x17481 x17513 x17533 x17536 x17537 x17539 x17546 x17570 x17588 x17594 x17596 x17598 x17621 x17653 x17658 x17664 x17685 x17690 x17692 x17695 x17697 x17698 x17715 x17720 x17745 x17751 x17783 x17784 x17788 x17810 x17849 x17852 x17878 x17879 x17897 x17932 x17937 x17943 x17964 x17971 x17972 x17973 x17992 x18001 x18003 x18004 x18006 x18031 x18033 x18036 x18038 x18091 x18092 x18093 x18099 x18100 x18117 x18123 x18128 x18148 x18152 x18155 x18156 x18159 x18182 x18209 x18214 x18217 x18240 x18242 x18269 x18299 x18302 x18305 x18310 x18330 x18369 x18397 x18400 x18401 x18425 x18451 x18452 x18453 x18454 x18456 x18461 x18463 x18464 x18516 x18524 x18544 x18547 x18576 x18587 x18588 x18619 x18632 x18638 x18640 x18641 x18646 x18649 x18669 x18704 x18710 x18729 x18731 x18732 x18764 x18768 x18789 x18795 x18856 x18861 x18865 x18884 x18885 x18917 x18918 x18942 x18944 x18946 x18947 x18978 x18979 x18980 x18985 x19002 x19011 x19034 x19044 x19048 x19077 x19106 x19112 x19134 x19145 x19163 x19174 x19185 x19203 x19208 x19233 x19234 x19248 x19306 x19328 x19335 x19336 x19343 x19371 x19390 x19416 x19419 x19428 x19446 x19448 x19478 x19480 x19506 x19521 x19549 x19597 x19600 x19602 x19605 x19611 x19612 x19645 x19676 x19677 x19697 x19705 x19707 x19708 x19729 x19730 x19733 x19742 x19763 x19768 x19798 x19805 x19806 x19807 x19829 x19832 x19851 x19858 x19918 x19920 x19932 x19953 x19954 x19956 x19962 x19963 x19985 x19989 x20015 x20016 x20017 x20018 x20019 x20044 x20047 x20048 x20067 x20108 x20136 x20139 x20141 x20164 x20194 x20224 x20230 x20231 x20233 x20260 x20294 x20296 x20316 x20323 x20325 x20353 x20382 x20413 x20415 x20416 x20442 x20470 x20474 x20506 x20531 x20532 x20558 x20583 x20588 x20593 x20600 x20623 x20625 x20626 x20653 x20673 x20674 x20678 x20704 x20732 x20734 x20759 x20761 x20791 x20815 x20841 x20843 x20846 x20847 x20864 x20874 x20876 x20878 x20880 x20883 x20899 x20905 x20909 x20913 x20914 x20945 x20946 x20971 x20975 x20978 x20979 x21002 x21032 x21058 x21061 x21063 x21091 x21093 x21097 x21121 x21129 x21159 x21160 x21187 x21209 x21211 x21217 x21218 x21219 x21249 x21268 x21274 x21301 x21303 x21304 x21305 x21323 x21338 x21357 x21361 x21365 x21385 x21424 x21448 x21452 x21474 x21480 x21481 x21482 x21503 x21534 x21548 x21574 x21625 x21647 x21679 x21732 x21738 x21740 x21764 x21767 x21797 x21802 x21853 x21854 x21858 x21880 x21912 x21978 x21997 x21998 x22026 x22032 x22054 x22057 x22079 x22089 x22092 x22094 x22108 x22132 x22141 x22145 x22148 x22151 x22170 x22175 x22176 x22181 x22204 x22206 x22208 x22212 x22214 x22216 x22235 x22237 x22240 x22242 x22244 x22269 x22273 x22274 x22275 x22301 x22302 x22306 x22309 x22325 x22327 x22329 x22383 x22394 x22439 x22443 x22444 x22450 x22454 x22495 x22502 x22509 x22536 x22552 x22558 x22559 x22568 x22593 x22597 x22619 x22622 x22689 x22712 x22713 x22714 x22737 x22739 x22743 x22745 x22746 x22767 x22770 x22775 x22823 x22857 x22884 x22885 x22887 x22901 x22909 x22914 x22920 x22939 x22969 x22992 x23001 x23017 x23024 x23026 x23028 x23031 x23054 x23061 x23062 x23064 x23082 x23110 x23138 x23139 x23160 x23162 x23175 x23176 x23198 x23202 x23205 x23206 x23229 x23234 x23236 x23265 x23278 x23284 x23288 x23292 x23307 x23316 x23317 x23319 x23322 x23323 x23366 x23377 x23409 x23431 x23514 x23520 x23554 x23556 x23577 x23579 x23580 x23613 x23615 x23638 x23657 x23672 x23674 x23677 x23705 x23727 x23732 x23733 x23756 x23758 x23789 x23792 x23794 x23809 x23823 x23827 x23829 x23905 x23913 x23915 x23937 x23959 x23961 x23990 x23991 x23995 x23997 x24024 x24047 x24048 x24053 x24071 x24074 x24075 x24080 x24105 x24123 x24129 x24131 x24160 x24236 x24241 x24243 x24297 x24381 x24383 x24387 x24428 x24433 x24458 x24459 x24461 x24463 x24516 x24519 x24574 x24592 x24655 x24660 x24661 x24720 x24761 x24773 x24776 x24778 x24782 x24804 x24807 x24812 x24813 x24866 x24888 x24889 x24909 x24910 x24917 x24949 x24978 x24980 x24982 x25037 x25061 x25123 x25125 x25127 x25149 x25164 x25168 x25181 x25197 x25201 x25230 x25289 x25312 x25314 x25341 x25364 x25393 x25395 x25396 x25398 x25476 x25506 x25541 x25559 x25561 x25588 x25590 x25596 x25597 x25598 x25624 x25626 x25641 x25651 x25652 x25653 x25676 x25677 x25679 x25682 x25683 x25704 x25737 x25750 x25761 x25764 x25765 x25767 x25784 x25787 x25791 x25793 x25796 x25841 x25850 x25875 x25906 x25931 x25958 x25962 x25987 x26011 x26015 x26018 x26020 x26070 x26073 x26074 x26092 x26093 x26097 x26117 x26122 x26125 x26151 x26153 x26155 x26157 x26174 x26176 x26179 x26180 x26182 x26184 x26186 x26209 x26211 x26241 x26242 x26243 x26264 x26268 x26286 x26288 x26310 x26322 x26325 x26345 x26346 x26348 x26350 x26352 x26367 x26371 x26372 x26378 x26380 x26405 x26451 x26455 x26476 x26508 x26513 x26514 x26516 x26540 x26561 x26567 x26570 x26643 x26680 x26710 x26731 x26733 x26755 x26757 x26782 x26784 x26785 x26842 x26869 x26923 x26926 x26950 x26974 x26976 x26977 x27028 x27052 x27055 x27056 x27170 x27223 x27226 x27228 x27240 x27248 x27255 x27283 x27306 x27331 x27332 x27334 x27352 x27353 x27354 x27357 x27363 x27365 x27412 x27418 x27442 x27550 x27552 x27582 x27583 x27606 x27616 x27639 x27641 x27642 x27644 x27666 x27669 x27683 x27691 x27698 x27716 x27722 x27727 x27742 x27746 x27752 x27771 x27775 x27797 x27804 x27809 x27829 x27833 x27856 x27857 x27882 x27883 x27886 x27887 x27937 x27941 x27956 x27965 x28011 x28012 x28016 x28022 x28040 x28047 x28094 x28096 x28118 x28127 x28152 x28176 x28230 x28235 x28252 x28259 x28263 x28278 x28281 x28285 x28286 x28287 x28310 x28339 x28343 x28358 x28360 x28363 x28374 x28394 x28395 x28419 x28424 x28425 x28451 x28467 x28473 x28478 x28495 x28501 x28504 x28506 x28557 x28558 x28562 x28580 x28588 x28609 x28633 x28678 x28687 x28714 x28716 x28764 x28767 x28769 x28788 x28790 x28808 x28813 x28815 x28842 x28894 x28896 x28897 x28898 x28920 x28922 x28924 x28925 x28947 x29030 x29052 x29054 x29076 x29078 x29080 x29083 x29085 x29114 x29141 x29160 x29163 x29165 x29181 x29192 x29215 x29243 x29263 x29264 x29265 x29292 x29315 x29316 x29338 x29396 x29398 x29418 x29421 x29447 x29475 x29496 x29513 x29523 x29524 x29576 x29577 x29578 x29600 x29603 x29604 x29625 x29628 x29650 x29655 x29657 x29677 x29678 x29679 x29684 x29698 x29708 x29709 x29785 x29806 x29811 x29826 x29832 x29856 x29861 x29876 x29886 x29889 x29931 x29933 x29937 x29939 x29940 x29948 x29953 x29958 x29960 x29962 x29964 x29967 x29993 x30016 x30018 x30019 x30040 x30042 x30043 x30045 x30046 x30116 x30149 x30199 x30200 x30201 x30241 x30244 x30251 x30280 x30302 x30303 x30305 x30325 x30395 x30406 x30429 x30436 x30459 x30461 x30482 x30486 x30514 x30530 x30563 x30566 x30579 x30590 x30610 x30629 x30634 x30635 x30636 x30656 x30710 x30713 x30718 x30719 x30745 x30764 x30793 x30795 x30837 x30844 x30891 x30969 x30971 x31014 x31022 x31023 x31024 x31042 x31044 x31047 x31048 x31120 x31123 x31148 x31172 x31191 x31223 x31226 x31239 x31241 x31245 x31251 x31254 x31273 x31274 x31276 x31302 x31326 x31349 x31350 x31352 x31354 x31365 x31375 x31378 x31403 x31404 x31405 x31407 x31432 x31457 x31502 x31503 x31504 x31507 x31527 x31580 x31582 x31606 x31631 x31659 x31684 x31686 x31687 x31714 x31735 x31753 x31761 x31762 x31775 x31784 x31786 x31787 x31788 x31789 x31790 x31851 x31865 x31883 x31885 x31886 x31890 x31906 x31940 x31962 x31973 x32015 x32026 x32059 x32061 x32063 x32064 x32089 x32112 x32134 x32137 x32155 x32156 x32157 x32161 x32188 x32261 x32287 x32290 x32340 x32360 x32380 x32428 x32436 x32461 x32462 x32465 x32490 x32508 x32509 x32510 x32512 x32530 x32536 x32538 x32539 x32583 
1800.04/1800.52	pb2clasp1: no process killed
1802.05/1802.51	sh: line 1:  9879 Done                    cat HOME/temp/instance-3736835-1338732593.opb.op
1802.05/1802.51	      9880 Killed                  | clasp-1.0 --trans=no > HOME/temp/instance-3736835-1338732593.opb.clasp

Verifier Data

OK	94

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

running on 4 cores: 0,2,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): 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.04 2.01 2.00 3/178 9597
/proc/meminfo: memFree=26993204/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) R 9595 9597 29645 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 339384311 26206208 478 33554432000 4194304 4198148 140734279383648 140734279381096 223676784640 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/9597/statm: 6398 479 355 1 0 193 0

[startup+0.0131231 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9597
/proc/meminfo: memFree=26993204/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=26396 CPUtime=0 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) R 9595 9597 29645 0 -1 4202496 738 0 0 0 0 0 0 0 20 0 1 0 339384311 27029504 669 33554432000 4194304 4198148 140734279383648 140734279381096 223676696545 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/9597/statm: 6599 669 356 1 0 394 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26396

[startup+0.100254 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9597
/proc/meminfo: memFree=26993204/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=26792 CPUtime=0.02 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 888 0 0 0 2 0 0 0 20 0 1 0 339384311 27435008 802 33554432000 4194304 4198148 140734279383648 140734279382536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9597/statm: 6698 802 369 1 0 493 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26792

[startup+0.300221 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9597
/proc/meminfo: memFree=26993204/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=26792 CPUtime=0.02 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 888 0 0 0 2 0 0 0 20 0 1 0 339384311 27435008 802 33554432000 4194304 4198148 140734279383648 140734279382536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9597/statm: 6698 802 369 1 0 493 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26792

[startup+0.700222 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9597
/proc/meminfo: memFree=26993204/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=26792 CPUtime=0.02 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 888 0 0 0 2 0 0 0 20 0 1 0 339384311 27435008 802 33554432000 4194304 4198148 140734279383648 140734279382536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9597/statm: 6698 802 369 1 0 493 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26792

[startup+1.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 9600
/proc/meminfo: memFree=26989616/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=26792 CPUtime=0.02 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 888 0 0 0 2 0 0 0 20 0 1 0 339384311 27435008 802 33554432000 4194304 4198148 140734279383648 140734279382536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9597/statm: 6698 802 369 1 0 493 0
[pid=9599] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9599/stat : 9599 (sh) S 9597 9597 29645 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 339384313 9367552 267 33554432000 4194304 5064252 140736769090624 140736769089504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9599/statm: 2287 267 226 213 0 72 0
[pid=9600] ppid=9599 vsize=25592 CPUtime=1.46 cores=0,2,4,6
/proc/9600/stat : 9600 (pb2clasp1) R 9599 9597 29645 0 -1 4202496 604 0 0 0 146 0 0 0 20 0 1 0 339384314 26206208 513 33554432000 4194304 4198148 140737406320928 140737406311464 223655027952 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/9600/statm: 6398 513 378 1 0 193 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 61532

[startup+3.10023 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 9600
/proc/meminfo: memFree=26985376/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=26924 CPUtime=2.52 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 1011 2101 0 0 2 0 249 1 20 0 1 0 339384311 27570176 841 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9597/statm: 6731 841 387 1 0 526 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 26924

[startup+6.30033 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 9623
/proc/meminfo: memFree=26963148/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=5.12 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 1320 29016 0 0 8 0 498 6 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9621] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9621/stat : 9621 (sh) S 9597 9597 29645 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339384826 9367552 264 33554432000 4194304 5064252 140735948826688 140735948824944 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9621/statm: 2287 264 223 213 0 72 0
[pid=9623] ppid=9621 vsize=45500 CPUtime=1.13 cores=0,2,4,6
/proc/9623/stat : 9623 (clasp-1.0) R 9621 9597 29645 0 -1 4202496 12033 0 0 0 111 2 0 0 20 0 1 0 339384826 46592000 10607 33554432000 134512640 134847168 4294359152 4294357920 134617496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9623/statm: 11375 10607 270 82 0 10616 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 81704

[startup+12.7003 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 9658
/proc/meminfo: memFree=26962032/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=11.85 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 1970 84432 0 0 20 0 1143 22 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9656] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9656/stat : 9656 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339385498 9367552 263 33554432000 4194304 5064252 140735234993872 140735234992128 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9656/statm: 2287 263 223 213 0 72 0
[pid=9658] ppid=9656 vsize=45500 CPUtime=0.82 cores=0,2,4,6
/proc/9658/stat : 9658 (clasp-1.0) R 9656 9597 29645 0 -1 4202496 11521 0 0 0 81 1 0 0 20 0 1 0 339385498 46592000 10607 33554432000 134512640 134847168 4288051952 4288050688 134733890 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9658/statm: 11375 10607 270 82 0 10616 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 81704

[startup+25.5003 s]
/proc/loadavg: 2.09 2.03 2.00 3/182 9706
/proc/meminfo: memFree=26917436/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=24.6 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 2935 167811 0 0 37 1 2378 44 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9704] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9704/stat : 9704 (sh) S 9597 9597 29645 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339386780 9367552 264 33554432000 4194304 5064252 140734429811216 140734429809472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9704/statm: 2287 264 223 213 0 72 0
[pid=9706] ppid=9704 vsize=45500 CPUtime=0.79 cores=0,2,4,6
/proc/9706/stat : 9706 (clasp-1.0) R 9704 9597 29645 0 -1 4202496 11524 0 0 0 78 1 0 0 20 0 1 0 339386780 46592000 10608 33554432000 134512640 134847168 4291679552 4291678288 134733944 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9706/statm: 11375 10608 272 82 0 10616 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 81704

[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 9706
/proc/meminfo: memFree=26886204/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=24.6 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 2935 167811 0 0 37 1 2378 44 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9704] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9704/stat : 9704 (sh) S 9597 9597 29645 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339386780 9367552 264 33554432000 4194304 5064252 140734429811216 140734429809472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9704/statm: 2287 264 223 213 0 72 0
[pid=9706] ppid=9704 vsize=65804 CPUtime=26.38 cores=0,2,4,6
/proc/9706/stat : 9706 (clasp-1.0) R 9704 9597 29645 0 -1 4202496 16640 0 0 0 2635 3 0 0 20 0 1 0 339386780 67383296 15714 33554432000 134512640 134847168 4291679552 4291678320 134737976 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9706/statm: 16451 15714 272 82 0 15692 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 102008

[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 9714
/proc/meminfo: memFree=26852780/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=51.13 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3096 186417 0 0 39 1 5024 49 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9712] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9712/stat : 9712 (sh) S 9597 9597 29645 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339389435 9367552 264 33554432000 4194304 5064252 140733573387600 140733573385856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9712/statm: 2287 264 223 213 0 72 0
[pid=9714] ppid=9712 vsize=89216 CPUtime=51.04 cores=0,2,4,6
/proc/9714/stat : 9714 (clasp-1.0) R 9712 9597 29645 0 -1 4202496 23010 0 0 0 5100 4 0 0 20 0 1 0 339389435 91357184 21616 33554432000 134512640 134847168 4287080624 4287079316 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9714/statm: 22304 21616 272 82 0 21545 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 125420

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 9715
/proc/meminfo: memFree=26823468/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=51.13 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3096 186417 0 0 39 1 5024 49 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9712] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9712/stat : 9712 (sh) S 9597 9597 29645 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339389435 9367552 264 33554432000 4194304 5064252 140733573387600 140733573385856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9712/statm: 2287 264 223 213 0 72 0
[pid=9714] ppid=9712 vsize=111168 CPUtime=111.02 cores=0,2,4,6
/proc/9714/stat : 9714 (clasp-1.0) R 9712 9597 29645 0 -1 4202496 28430 0 0 0 11095 7 0 0 20 0 1 0 339389435 113836032 27046 33554432000 134512640 134847168 4287080624 4287079316 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9714/statm: 27792 27046 272 82 0 27033 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 147372

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 9715
/proc/meminfo: memFree=26792072/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=51.13 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3096 186417 0 0 39 1 5024 49 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9712] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9712/stat : 9712 (sh) S 9597 9597 29645 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339389435 9367552 264 33554432000 4194304 5064252 140733573387600 140733573385856 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9712/statm: 2287 264 223 213 0 72 0
[pid=9714] ppid=9712 vsize=136324 CPUtime=171.01 cores=0,2,4,6
/proc/9714/stat : 9714 (clasp-1.0) R 9712 9597 29645 0 -1 4202496 34662 0 0 0 17092 9 0 0 20 0 1 0 339389435 139595776 33309 33554432000 134512640 134847168 4287080624 4287079316 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9714/statm: 34081 33309 272 82 0 33322 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 172528

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9715
/proc/meminfo: memFree=26768980/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=51.13 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3096 186417 0 0 39 1 5024 49 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9712] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/9743/stat : 9743 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140737140165504 140737140163760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9743/statm: 2287 263 223 213 0 72 0
[pid=9745] ppid=9743 vsize=112684 CPUtime=115.09 cores=0,2,4,6
/proc/9745/stat : 9745 (clasp-1.0) R 9743 9597 29645 0 -1 4202496 28778 0 0 0 11501 8 0 0 20 0 1 0 339521028 115388416 27399 33554432000 134512640 134847168 4292758032 4292756724 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9745/statm: 28171 27399 270 82 0 27412 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 148888

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9860
/proc/meminfo: memFree=26833332/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1366.82 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3196 249590 0 0 39 1 136572 70 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9743] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9743/stat : 9743 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140737140165504 140737140163760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9743/statm: 2287 263 223 213 0 72 0
[pid=9745] ppid=9743 vsize=138068 CPUtime=175.07 cores=0,2,4,6
/proc/9745/stat : 9745 (clasp-1.0) R 9743 9597 29645 0 -1 4202496 35116 0 0 0 17498 9 0 0 20 0 1 0 339521028 141381632 33780 33554432000 134512640 134847168 4292758032 4292756724 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9745/statm: 34517 33780 270 82 0 33758 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 174272

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9860
/proc/meminfo: memFree=26804360/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1366.82 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3196 249590 0 0 39 1 136572 70 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9743] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9743/stat : 9743 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140737140165504 140737140163760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9743/statm: 2287 263 223 213 0 72 0
[pid=9745] ppid=9743 vsize=167024 CPUtime=235.06 cores=0,2,4,6
/proc/9745/stat : 9745 (clasp-1.0) R 9743 9597 29645 0 -1 4202496 42345 0 0 0 23495 11 0 0 20 0 1 0 339521028 171032576 40926 33554432000 134512640 134847168 4292758032 4292756724 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9745/statm: 41756 40926 270 82 0 40997 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 203228

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9861
/proc/meminfo: memFree=26787716/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1366.82 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3196 249590 0 0 39 1 136572 70 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9743] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9743/stat : 9743 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140737140165504 140737140163760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9743/statm: 2287 263 223 213 0 72 0
[pid=9745] ppid=9743 vsize=180964 CPUtime=295.05 cores=0,2,4,6
/proc/9745/stat : 9745 (clasp-1.0) R 9743 9597 29645 0 -1 4202496 45794 0 0 0 29492 13 0 0 20 0 1 0 339521028 185307136 44492 33554432000 134512640 134847168 4292758032 4292756660 134616350 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9745/statm: 45241 44492 270 82 0 44482 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 217168

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9861
/proc/meminfo: memFree=26777668/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1366.82 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3196 249590 0 0 39 1 136572 70 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9743] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9743/stat : 9743 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140737140165504 140737140163760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9743/statm: 2287 263 223 213 0 72 0
[pid=9745] ppid=9743 vsize=188952 CPUtime=355.03 cores=0,2,4,6
/proc/9745/stat : 9745 (clasp-1.0) R 9743 9597 29645 0 -1 4202496 47807 0 0 0 35490 13 0 0 20 0 1 0 339521028 193486848 46505 33554432000 134512640 134847168 4292758032 4292756656 134784711 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9745/statm: 47238 46505 270 82 0 46479 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 225156

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 9861
/proc/meminfo: memFree=26772260/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1366.82 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3196 249590 0 0 39 1 136572 70 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9743] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9743/stat : 9743 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140737140165504 140737140163760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9743/statm: 2287 263 223 213 0 72 0
[pid=9745] ppid=9743 vsize=188952 CPUtime=415.02 cores=0,2,4,6
/proc/9745/stat : 9745 (clasp-1.0) R 9743 9597 29645 0 -1 4202496 47812 0 0 0 41489 13 0 0 20 0 1 0 339521028 193486848 46536 33554432000 134512640 134847168 4292758032 4292756608 134714740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9745/statm: 47238 46536 270 82 0 46479 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 225156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 9861
/proc/meminfo: memFree=26770648/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1366.82 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3196 249590 0 0 39 1 136572 70 20 0 1 0 339384311 27705344 876 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 876 387 1 0 559 0
[pid=9743] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9743/stat : 9743 (sh) S 9597 9597 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140737140165504 140737140163760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9743/statm: 2287 263 223 213 0 72 0
[pid=9745] ppid=9743 vsize=188952 CPUtime=433.22 cores=0,2,4,6
/proc/9745/stat : 9745 (clasp-1.0) R 9743 9597 29645 0 -1 4202496 47812 0 0 0 43309 13 0 0 20 0 1 0 339521028 193486848 46536 33554432000 134512640 134847168 4292758032 4292756724 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9745/statm: 47238 46536 270 82 0 46479 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 225156

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9597

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

[startup+1801.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 9880
/proc/meminfo: memFree=26998496/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1800.1 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3369 300174 0 0 40 2 179882 86 20 0 1 0 339384311 27705344 879 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 879 387 1 0 559 0
[pid=9878] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (sh) S 9597 9597 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339564364 9367552 264 33554432000 4194304 5064252 140735895634272 140735895632528 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9878/statm: 2287 264 223 213 0 72 0
[pid=9880] ppid=9878 vsize=45500 CPUtime=0.85 cores=0,2,4,6
/proc/9880/stat : 9880 (clasp-1.0) R 9878 9597 29645 0 -1 4202496 12032 0 0 0 83 2 0 0 20 0 1 0 339564364 46592000 10607 33554432000 134512640 134847168 4291978800 4291977568 134617496 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9880/statm: 11375 10607 270 82 0 10616 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 81704

[startup+1802.2 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 9880
/proc/meminfo: memFree=26956716/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1800.1 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3369 300174 0 0 40 2 179882 86 20 0 1 0 339384311 27705344 879 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 879 387 1 0 559 0
[pid=9878] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (sh) S 9597 9597 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339564364 9367552 264 33554432000 4194304 5064252 140735895634272 140735895632528 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9878/statm: 2287 264 223 213 0 72 0
[pid=9880] ppid=9878 vsize=45500 CPUtime=1.65 cores=0,2,4,6
/proc/9880/stat : 9880 (clasp-1.0) R 9878 9597 29645 0 -1 4202496 12032 0 0 0 163 2 0 0 20 0 1 0 339564364 46592000 10607 33554432000 134512640 134847168 4291978800 4291977568 134617496 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9880/statm: 11375 10607 270 82 0 10616 0
Current children cumulated CPU time (s) 1801.75
Current children cumulated vsize (KiB) 81704

[startup+1802.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 9880
/proc/meminfo: memFree=26956716/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1800.1 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3369 300174 0 0 40 2 179882 86 20 0 1 0 339384311 27705344 879 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 879 387 1 0 559 0
[pid=9878] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (sh) S 9597 9597 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339564364 9367552 264 33554432000 4194304 5064252 140735895634272 140735895632528 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9878/statm: 2287 264 223 213 0 72 0
[pid=9880] ppid=9878 vsize=45500 CPUtime=1.85 cores=0,2,4,6
/proc/9880/stat : 9880 (clasp-1.0) R 9878 9597 29645 0 -1 4202496 12032 0 0 0 183 2 0 0 20 0 1 0 339564364 46592000 10607 33554432000 134512640 134847168 4291978800 4291977568 134617496 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9880/statm: 11375 10607 270 82 0 10616 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 81704

[startup+1802.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 9880
/proc/meminfo: memFree=26956716/32873844 swapFree=7628/7628
[pid=9597] ppid=9595 vsize=27056 CPUtime=1800.1 cores=0,2,4,6
/proc/9597/stat : 9597 (pbclasp) S 9595 9597 29645 0 -1 4202496 3369 300174 0 0 40 2 179882 86 20 0 1 0 339384311 27705344 879 33554432000 4194304 4198148 140734279383648 140734279382576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9597/statm: 6764 879 387 1 0 559 0
[pid=9878] ppid=9597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (sh) S 9597 9597 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339564364 9367552 264 33554432000 4194304 5064252 140735895634272 140735895632528 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9878/statm: 2287 264 223 213 0 72 0
[pid=9880] ppid=9878 vsize=45500 CPUtime=1.95 cores=0,2,4,6
/proc/9880/stat : 9880 (clasp-1.0) R 9878 9597 29645 0 -1 4202496 12032 0 0 0 193 2 0 0 20 0 1 0 339564364 46592000 10607 33554432000 134512640 134847168 4291978800 4291977568 134617496 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9880/statm: 11375 10607 270 82 0 10616 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 81704

Child status: 0
Real time (s): 1802.52
CPU time (s): 1802.1
CPU user time (s): 1801.19
CPU system time (s): 0.91686
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 279316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.19
system time used= 0.91686
maximum resident set size= 239484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 105496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12532
involuntary context switches= 2227

runsolver used 3.62345 second user time and 8.04478 second system time

The end

Launcher Data

Begin job on node144 at 2012-06-03 16:09:53
IDJOB=3736835
IDBENCH=48133
IDSOLVER=2317
FILE ID=node144/3736835-1338732593
RUNJOBID= node144-1338704721-29661
PBS_JOBID= 14636720
Free space on /tmp= 70832 MiB

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

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

MD5SUM BENCH= d79bd0f7d6fceec4ec599aa8716e2601
RANDOM SEED=427553484

node144.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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	: 5332.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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		: 2666.196
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26995616 kB
Buffers:         1297368 kB
Cached:          3662620 kB
SwapCached:          464 kB
Active:          3115536 kB
Inactive:        1889500 kB
Active(anon):      26708 kB
Inactive(anon):    11188 kB
Active(file):    3088828 kB
Inactive(file):  1878312 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108384 kB
Dirty:              2428 kB
Writeback:             0 kB
AnonPages:         42204 kB
Mapped:            16484 kB
Shmem:               172 kB
Slab:             733316 kB
SReclaimable:     175116 kB
SUnreclaim:       558200 kB
KernelStack:        1512 kB
PageTables:         4412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     150864 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-3736835-1338732593.opb

Free space on /tmp at the end= 70828 MiB
End job on node144 at 2012-06-03 16:39:57