Trace number 2668067

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
PB/CT 0.1SAT (MO)46 1061.29 1061.59

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_2.opb
MD5SUMcb610107b772b4f0726736eafa902b12
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark44
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
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 constraint61
Maximum length of a constraint110
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)75286
Sum of products size (including duplicates)150572
Number of different products75286
Sum of products size150572

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
1.49/1.56	c constraints 75286/0 clauses 76286/0 units 0
1.49/1.56	c vars 1000
1.49/1.56	c objective 1000 + 0
23.58/23.61	c 21.7607 1624.39 1 75563
23.58/23.61	o 66
140.56/140.60	c 138.3 1654.84 605 82735
140.56/140.60	o 65
141.76/141.82	c 139.508 1654.84 619 83721
141.76/141.82	o 64
142.86/142.93	c 140.609 1654.84 619 84679
142.86/142.93	o 50
144.06/144.15	c 141.833 1654.84 641 85674
144.06/144.15	o 49
145.16/145.26	c 142.937 1654.84 641 86633
145.16/145.26	o 48
147.85/147.92	c 145.592 1654.84 741 88672
147.85/147.92	o 47
256.63/256.70	c 253.758 1669.43 10657 139235
256.63/256.70	o 46
1061.11/1061.41	s SATISFIABLE
1061.11/1061.41	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000

Verifier Data 

OK	46

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668067-1276656877/watcher-2668067-1276656877 -o /tmp/evaluation-result-2668067-1276656877/solver-2668067-1276656877 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668067-1276656877.opb 

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


[startup+0 s]
/proc/loadavg: 1.07 1.03 1.00 3/106 6875
/proc/meminfo: memFree=1749176/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=2208 CPUtime=0
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 276 0 0 0 0 0 0 0 25 0 1 0 41291439 2260992 198 1992294400 134512640 136485738 4288680640 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6875/statm: 552 198 156 482 0 68 0

[startup+0.0169521 s]
/proc/loadavg: 1.07 1.03 1.00 3/106 6875
/proc/meminfo: memFree=1749176/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=2336 CPUtime=0.01
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 287 0 0 0 1 0 0 0 25 0 1 0 41291439 2392064 209 1992294400 134512640 136485738 4288680640 18446744073709551615 135411146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6875/statm: 584 209 156 482 0 100 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2336

[startup+0.100962 s]
/proc/loadavg: 1.07 1.03 1.00 3/106 6875
/proc/meminfo: memFree=1749176/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=2848 CPUtime=0.09
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 409 0 0 0 9 0 0 0 25 0 1 0 41291439 2916352 331 1992294400 134512640 136485738 4288680640 18446744073709551615 135415700 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6875/statm: 712 331 156 482 0 228 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2848

[startup+0.300984 s]
/proc/loadavg: 1.07 1.03 1.00 3/106 6875
/proc/meminfo: memFree=1749176/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=3872 CPUtime=0.29
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 694 0 0 0 29 0 0 0 25 0 1 0 41291439 3964928 616 1992294400 134512640 136485738 4288680640 18446744073709551615 135849807 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6875/statm: 968 616 156 482 0 484 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3872

[startup+0.701028 s]
/proc/loadavg: 1.07 1.03 1.00 3/106 6875
/proc/meminfo: memFree=1749176/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=14196 CPUtime=0.69
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 3257 0 0 0 68 1 0 0 25 0 1 0 41291439 14536704 3179 1992294400 134512640 136485738 4288680640 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6875/statm: 3549 3180 156 482 0 3065 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14196

[startup+1.50112 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 6876
/proc/meminfo: memFree=1729204/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=35160 CPUtime=1.49
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 8575 0 0 0 146 3 0 0 25 0 1 0 41291439 36003840 8301 1992294400 134512640 136485738 4288680640 18446744073709551615 135173314 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6875/statm: 8790 8302 156 482 0 8306 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35160

[startup+3.1003 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 6876
/proc/meminfo: memFree=1648356/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=213232 CPUtime=3.09
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 54314 0 0 0 284 25 0 0 25 0 1 0 41291439 218349568 52114 1992294400 134512640 136485738 4288680640 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 53308 52114 194 482 0 52824 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 213232

[startup+6.30065 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 6876
/proc/meminfo: memFree=1392544/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=415940 CPUtime=6.29
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 109344 0 0 0 578 51 0 0 25 0 1 0 41291439 425922560 102641 1992294400 134512640 136485738 4288680640 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 103985 102642 198 482 0 103501 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 415940

[startup+12.7004 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 6876
/proc/meminfo: memFree=967852/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=832420 CPUtime=12.68
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 220463 0 0 0 1165 103 0 0 25 0 1 0 41291439 852398080 206934 1992294400 134512640 136485738 4288680640 18446744073709551615 135840126 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 208105 206935 198 482 0 207621 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 832420

[startup+25.5008 s]
/proc/loadavg: 1.11 1.05 1.01 2/107 6878
/proc/meminfo: memFree=141516/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1693864 CPUtime=25.48
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 444066 0 0 0 2360 188 0 0 25 0 1 0 41291439 1734516736 401082 1992294400 134512640 136485738 4288680640 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 423466 401082 243 482 0 422982 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1693864

[startup+51.1016 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 6878
/proc/meminfo: memFree=141516/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1693864 CPUtime=51.08
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 444067 0 0 0 4911 197 0 0 25 0 1 0 41291439 1734516736 401083 1992294400 134512640 136485738 4288680640 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 423466 401083 244 482 0 422982 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1693864

[startup+102.308 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 6880
/proc/meminfo: memFree=141392/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1693864 CPUtime=102.28
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 444067 0 0 0 10013 215 0 0 25 0 1 0 41291439 1734516736 401083 1992294400 134512640 136485738 4288680640 18446744073709551615 134612528 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 423466 401083 244 482 0 422982 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1693864

[startup+162.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 6880
/proc/meminfo: memFree=137920/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1696400 CPUtime=162.25
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 445106 0 0 0 15988 237 0 0 25 0 1 0 41291439 1737113600 402116 1992294400 134512640 136485738 4288680640 18446744073709551615 135047017 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 424100 402116 244 482 0 423616 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1696400

[startup+222.302 s]
/proc/loadavg: 1.13 1.07 1.01 2/107 6882
/proc/meminfo: memFree=129364/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1704856 CPUtime=222.24
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 447215 0 0 0 21953 271 0 0 25 0 1 0 41291439 1745772544 404225 1992294400 134512640 136485738 4288680640 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 426214 404225 244 482 0 425730 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1704856

[startup+282.301 s]
/proc/loadavg: 1.15 1.09 1.01 2/107 6884
/proc/meminfo: memFree=121304/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1713084 CPUtime=282.22
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 449274 0 0 0 27921 301 0 0 25 0 1 0 41291439 1754198016 406283 1992294400 134512640 136485738 4288680640 18446744073709551615 135047012 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 428271 406283 244 482 0 427787 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1713084

[startup+342.301 s]
/proc/loadavg: 1.13 1.10 1.02 2/107 6886
/proc/meminfo: memFree=111508/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1722644 CPUtime=342.2
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 451673 0 0 0 33887 333 0 0 25 0 1 0 41291439 1763987456 408682 1992294400 134512640 136485738 4288680640 18446744073709551615 134882833 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 430661 408682 244 482 0 430177 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1722644

[startup+402.302 s]
/proc/loadavg: 1.08 1.09 1.02 2/107 6897
/proc/meminfo: memFree=102208/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1731620 CPUtime=402.17
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 453913 0 0 0 39851 366 0 0 25 0 1 0 41291439 1773178880 410922 1992294400 134512640 136485738 4288680640 18446744073709551615 135047017 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 432905 410922 244 482 0 432421 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1731620

[startup+462.301 s]
/proc/loadavg: 1.03 1.07 1.01 2/107 6897
/proc/meminfo: memFree=93776/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1739856 CPUtime=462.15
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 455953 0 0 0 45814 401 0 0 25 0 1 0 41291439 1781612544 412962 1992294400 134512640 136485738 4288680640 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 434964 412962 244 482 0 434480 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1739856

[startup+522.301 s]
/proc/loadavg: 1.01 1.06 1.01 2/107 6899
/proc/meminfo: memFree=83112/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1750700 CPUtime=522.13
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 458698 0 0 0 51779 434 0 0 25 0 1 0 41291439 1792716800 415707 1992294400 134512640 136485738 4288680640 18446744073709551615 135040541 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 437675 415707 244 482 0 437191 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1750700

[startup+582.302 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 6901
/proc/meminfo: memFree=69968/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1763676 CPUtime=582.12
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 461901 0 0 0 57743 469 0 0 25 0 1 0 41291439 1806004224 418910 1992294400 134512640 136485738 4288680640 18446744073709551615 134880468 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 440919 418910 244 482 0 440435 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1763676

[startup+642.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 6903
/proc/meminfo: memFree=61040/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1772536 CPUtime=642.11
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 464147 0 0 0 63710 501 0 0 25 0 1 0 41291439 1815076864 421156 1992294400 134512640 136485738 4288680640 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 443134 421156 244 482 0 442650 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1772536

[startup+702.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 6905
/proc/meminfo: memFree=52980/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1780604 CPUtime=702.09
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 466170 0 0 0 69673 536 0 0 25 0 1 0 41291439 1823338496 423179 1992294400 134512640 136485738 4288680640 18446744073709551615 135050967 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 445151 423179 244 482 0 444667 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 1780604

[startup+762.309 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 6905
/proc/meminfo: memFree=43680/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1790020 CPUtime=762.08
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 468500 0 0 0 75643 565 0 0 25 0 1 0 41291439 1832980480 425509 1992294400 134512640 136485738 4288680640 18446744073709551615 134623193 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 447505 425509 244 482 0 447021 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 1790020

[startup+822.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 6907
/proc/meminfo: memFree=36488/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1797280 CPUtime=822.05
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 470314 0 0 0 81609 596 0 0 25 0 1 0 41291439 1840414720 427323 1992294400 134512640 136485738 4288680640 18446744073709551615 134638729 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 449320 427323 244 482 0 448836 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 1797280

[startup+882.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 6909
/proc/meminfo: memFree=28676/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1804940 CPUtime=882.04
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 472225 0 0 0 87572 632 0 0 25 0 1 0 41291439 1848258560 429234 1992294400 134512640 136485738 4288680640 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 451235 429234 244 482 0 450751 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1804940

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6911
/proc/meminfo: memFree=19996/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1813800 CPUtime=942.02
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 474446 0 0 0 93538 664 0 0 25 0 1 0 41291439 1857331200 431455 1992294400 134512640 136485738 4288680640 18446744073709551615 135050800 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 453450 431455 244 482 0 452966 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1813800

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6913
/proc/meminfo: memFree=9424/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1828772 CPUtime=1002.01
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 478198 0 0 0 99503 698 0 0 25 0 1 0 41291439 1872662528 435207 1992294400 134512640 136485738 4288680640 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 457193 435207 244 482 0 456709 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1828772



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1061.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6913
/proc/meminfo: memFree=9868/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=1843208 CPUtime=1061.11
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4202496 481754 0 0 0 105380 731 0 0 25 0 1 0 41291439 1887444992 438763 1992294400 134512640 136485738 4288680640 18446744073709551615 135725429 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6875/statm: 460802 438763 244 482 0 460318 0
Current children cumulated CPU time (s) 1061.11
Current children cumulated vsize (KiB) 1843208

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

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

[startup+1061.52 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6913
/proc/meminfo: memFree=9868/2059040 swapFree=4140468/4192956
[pid=6875] ppid=6873 vsize=0 CPUtime=1061.21
/proc/6875/stat : 6875 (pbct) R 6873 6875 5355 0 -1 4194308 481754 0 0 0 105380 741 0 0 25 0 1 0 41291439 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6875/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1061.21
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1061.59
CPU time (s): 1061.29
CPU user time (s): 1053.8
CPU system time (s): 7.48586
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1843208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1053.8
system time used= 7.48586
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 481754
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 1030

runsolver used 1.68974 second user time and 5.08923 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-16 04:54:37
IDJOB=2668067
IDBENCH=48150
IDSOLVER=1170
FILE ID=node005/2668067-1276656877
PBS_JOBID= 11172453
Free space on /tmp= 62564 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_2.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668067-1276656877/watcher-2668067-1276656877 -o /tmp/evaluation-result-2668067-1276656877/solver-2668067-1276656877 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2668067-1276656877.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= cb610107b772b4f0726736eafa902b12
RANDOM SEED=225275673

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.246
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.246
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1749828 kB
Buffers:         84464 kB
Cached:         130088 kB
SwapCached:       6320 kB
Active:         100840 kB
Inactive:       127388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1749828 kB
SwapTotal:     4192956 kB
SwapFree:      4140468 kB
Dirty:            3008 kB
Writeback:           0 kB
AnonPages:       11608 kB
Mapped:          13184 kB
Slab:            59332 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181264 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62564 MiB
End job on node005 at 2010-06-16 05:12:21