Trace number 2699232

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedMSAT (TO) 1800.11 1800.41

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM72248c5a2862af1e3cf852420a7ca986
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.168973
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2800
Total number of constraints150
Number of soft constraints150
Number of constraints which are clauses80
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint40
Top cost 7477
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7476
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 0/70 clauses 0/80 units 0
0.00/0.00	c vars 2800
0.09/0.11	c 0.090986 23.5156 83 7328
0.09/0.11	o 1328
0.09/0.11	c 0.092985 24.0156 86 8592
0.09/0.11	o 761
0.09/0.12	c 0.097985 24.0156 87 9407
0.09/0.12	o 566
0.09/0.13	c 0.108983 24.0156 190 10386
0.09/0.13	o 561
0.09/0.14	c 0.111982 24.0156 191 11015
0.09/0.14	o 559
0.09/0.14	c 0.114982 24.0156 191 11669
0.09/0.14	o 557
0.09/0.15	c 0.116982 24.0156 193 12378
0.09/0.15	o 556
0.09/0.15	c 0.118981 24.0156 193 13186
0.09/0.15	o 543
0.09/0.16	c 0.121981 24.0156 193 14008
0.09/0.16	o 537
0.09/0.16	c 0.123981 24.0156 193 14705
0.09/0.16	o 532
0.09/0.17	c 0.12698 24.0156 194 15380
0.09/0.17	o 525
0.09/0.17	c 0.13098 24.0156 194 16177
0.09/0.17	o 514
0.09/0.18	c 0.133979 24.0156 195 16807
0.09/0.18	o 510
0.09/0.19	c 0.135979 24.0156 195 17527
0.09/0.19	o 492
0.09/0.19	c 0.140978 24.0156 197 18439
0.09/0.19	o 478
0.19/0.20	c 0.144977 24.0156 197 19110
0.19/0.20	o 475
0.19/0.20	c 0.145977 24.0156 199 19824
0.19/0.20	o 468
0.19/0.21	c 0.148977 24.0156 199 20482
0.19/0.21	o 465
0.19/0.21	c 0.152976 24.0156 200 21221
0.19/0.21	o 464
0.19/0.22	c 0.156976 24.0156 200 21846
0.19/0.22	o 462
0.19/0.22	c 0.160975 24.0156 201 22561
0.19/0.22	o 451
0.19/0.23	c 0.165974 24.0156 203 23185
0.19/0.23	o 442
0.19/0.23	c 0.169974 24.0156 204 23852
0.19/0.23	o 436
0.19/0.24	c 0.171973 24.0156 204 24629
0.19/0.24	o 296
0.19/0.24	c 0.175973 24.0156 205 25173
0.19/0.24	o 286
0.19/0.25	c 0.178972 24.0156 205 25671
0.19/0.25	o 279
0.19/0.26	c 0.181972 24.0156 207 26300
0.19/0.26	o 278
0.19/0.26	c 0.186971 24.0156 207 26891
0.19/0.26	o 274
0.19/0.27	c 0.19197 24.0156 207 27359
0.19/0.27	o 272
0.19/0.27	c 0.19397 24.0156 208 27923
0.19/0.27	o 260
0.19/0.28	c 0.197969 24.0156 208 28379
0.19/0.28	o 257
0.19/0.28	c 0.201969 24.0156 208 28909
0.19/0.28	o 253
0.19/0.29	c 0.206968 24.0156 209 29398
0.19/0.29	o 247
0.19/0.29	c 0.209968 24.0156 210 29944
0.19/0.29	o 240
0.29/0.30	c 0.213967 24.0156 210 30490
0.29/0.30	o 237
0.29/0.30	c 0.216967 24.0156 211 31127
0.29/0.30	o 236
0.29/0.31	c 0.219966 24.0156 211 31583
0.29/0.31	o 228
0.29/0.31	c 0.224965 24.0156 212 32085
0.29/0.31	o 227
0.29/0.32	c 0.228965 24.0156 213 32577
0.29/0.32	o 225
0.29/0.32	c 0.232964 24.0156 214 33038
0.29/0.32	o 223
0.29/0.33	c 0.235964 24.0156 214 33545
0.29/0.33	o 216
0.29/0.33	c 0.239963 24.0156 214 34013
0.29/0.33	o 210
0.29/0.34	c 0.241963 24.0156 215 34533
0.29/0.34	o 206
0.29/0.34	c 0.244962 24.0156 216 34997
0.29/0.34	o 204
0.29/0.35	c 0.246962 24.0156 216 35540
0.29/0.35	o 199
0.29/0.35	c 0.248962 24.0156 216 36064
0.29/0.35	o 197
0.29/0.36	c 0.251961 24.0156 217 36523
0.29/0.36	o 196
0.29/0.37	c 0.25796 24.0156 217 36982
0.29/0.37	o 193
0.29/0.37	c 0.26196 24.0156 219 37509
0.29/0.37	o 191
0.29/0.38	c 0.265959 24.0156 220 37909
0.29/0.38	o 189
0.29/0.38	c 0.267959 24.0156 220 38315
0.29/0.38	o 187
0.29/0.39	c 0.269958 24.0156 220 38800
0.29/0.39	o 173
0.29/0.39	c 0.273958 24.0156 220 39269
0.29/0.39	o 162
0.39/0.40	c 0.277957 24.0156 220 39682
0.39/0.40	o 153
0.39/0.40	c 0.280957 24.0156 220 40111
0.39/0.40	o 150
0.39/0.41	c 0.282956 24.0156 220 40456
0.39/0.41	o 149
0.39/0.41	c 0.285956 24.0156 220 40855
0.39/0.41	o 144
0.39/0.42	c 0.288956 24.0156 221 41292
0.39/0.42	o 142
0.39/0.42	c 0.290955 24.0156 221 41752
0.39/0.42	o 139
0.39/0.43	c 0.293955 24.0156 222 42223
0.39/0.43	o 112
0.39/0.43	c 0.297954 24.0156 222 42599
0.39/0.43	o 110
0.39/0.44	c 0.300954 24.0156 222 42988
0.39/0.44	o 106
0.39/0.44	c 0.306953 24.0156 224 43405
0.39/0.44	o 105
0.39/0.45	c 0.308953 24.0156 224 43798
0.39/0.45	o 104
0.39/0.45	c 0.313952 24.0156 224 44288
0.39/0.45	o 100
0.39/0.46	c 0.316951 24.1445 224 44745
0.39/0.46	o 97
0.39/0.46	c 0.319951 24.1445 224 45195
0.39/0.46	o 94
0.39/0.47	c 0.32395 24.1445 224 45611
0.39/0.47	o 90
0.39/0.49	c 0.338948 24.1445 325 46614
0.39/0.49	o 78
0.49/0.51	c 0.358945 24.2734 526 48820
0.49/0.51	o 77
0.49/0.53	c 0.369943 24.2734 627 50647
0.49/0.53	o 76
0.49/0.54	c 0.374943 24.2734 641 51797
0.49/0.54	o 59
0.59/0.62	c 0.442932 25.0469 1550 57727
0.59/0.62	o 43
0.59/0.64	c 0.45793 25.1758 1655 60975
0.59/0.64	o 34
0.59/0.65	c 0.463929 25.1758 1658 62290
0.59/0.65	o 25
0.59/0.66	c 0.476927 25.3047 1760 64816
0.59/0.66	o 24
0.59/0.67	c 0.480926 25.3047 1222 66199
0.59/0.67	o 20
0.69/0.74	c 0.542917 25.3047 1953 75363
0.69/0.74	o 18
0.69/0.75	c 0.548916 25.3047 1955 76953
0.69/0.75	o 17
0.89/0.90	c 0.667898 26.7227 1842 83225
0.89/0.90	o 12
0.89/1.00	c 0.742887 26.7227 1826 93048
0.89/1.00	o 11
1.00/1.02	c 0.751885 26.7227 1928 95307
1.00/1.02	o 10
1.10/1.14	c 0.85487 26.7227 1187 104504
1.10/1.14	o 9
1.10/1.15	c 0.858869 26.7227 1200 105720
1.10/1.15	o 8
1800.10/1800.40	s SATISFIABLE
1800.10/1800.40	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 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800

Verifier Data 

OK	8

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699232-1278462861/watcher-2699232-1278462861 -o /tmp/evaluation-result-2699232-1278462861/solver-2699232-1278462861 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699232-1278462861.wbo 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.93 4/176 12257
/proc/meminfo: memFree=29447664/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=2136 CPUtime=0
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 260 0 0 0 0 0 0 0 24 0 1 0 14499537 2187264 179 4089446400 134512640 136422188 4290710224 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/12257/statm: 534 179 144 467 0 65 0

[startup+0.0462711 s]
/proc/loadavg: 1.92 1.98 1.93 4/176 12257
/proc/meminfo: memFree=29447664/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=14300 CPUtime=0.04
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 3264 0 0 0 4 0 0 0 24 0 1 0 14499537 14643200 3183 4089446400 134512640 136422188 4290710224 18446744073709551615 134640656 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12257/statm: 3608 3192 193 467 0 3139 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14300

[startup+0.101255 s]
/proc/loadavg: 1.92 1.98 1.93 4/176 12257
/proc/meminfo: memFree=29447664/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=24076 CPUtime=0.09
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 5728 0 0 0 8 1 0 0 24 0 1 0 14499537 24653824 5511 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12257/statm: 6019 5511 213 467 0 5550 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24076

[startup+0.300233 s]
/proc/loadavg: 1.92 1.98 1.93 4/176 12257
/proc/meminfo: memFree=29447664/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=24588 CPUtime=0.29
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 5876 0 0 0 21 8 0 0 25 0 1 0 14499537 25178112 5625 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12257/statm: 6147 5625 237 467 0 5678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24588

[startup+0.701149 s]
/proc/loadavg: 1.92 1.98 1.93 4/176 12257
/proc/meminfo: memFree=29447664/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=25908 CPUtime=0.69
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 6230 0 0 0 50 19 0 0 25 0 1 0 14499537 26529792 5936 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12257/statm: 6477 5936 237 467 0 6008 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25908

[startup+1.50101 s]
/proc/loadavg: 1.92 1.98 1.93 3/177 12258
/proc/meminfo: memFree=29422360/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=27360 CPUtime=1.49
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 6621 0 0 0 114 35 0 0 25 0 1 0 14499537 28016640 6320 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12257/statm: 6840 6320 237 467 0 6371 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27360

[startup+3.10074 s]
/proc/loadavg: 1.92 1.98 1.93 3/177 12258
/proc/meminfo: memFree=29418020/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=31320 CPUtime=3.1
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 7608 0 0 0 250 60 0 0 25 0 1 0 14499537 32071680 7307 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12257/statm: 7830 7307 237 467 0 7361 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 31320

[startup+6.30118 s]
/proc/loadavg: 1.93 1.98 1.93 3/177 12258
/proc/meminfo: memFree=29414676/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=31320 CPUtime=5.97
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 7608 0 0 0 484 113 0 0 25 0 1 0 14499537 32071680 7307 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12257/statm: 7830 7307 237 467 0 7361 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 31320

[startup+12.7011 s]
/proc/loadavg: 1.93 1.98 1.93 3/177 12258
/proc/meminfo: memFree=29406480/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=34896 CPUtime=12.37
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 8503 0 0 0 1038 199 0 0 25 0 1 0 14499537 35733504 8202 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12257/statm: 8724 8202 237 467 0 8255 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 34896

[startup+25.5009 s]
/proc/loadavg: 1.95 1.98 1.93 3/177 12258
/proc/meminfo: memFree=29392236/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=38856 CPUtime=25.16
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 9492 0 0 0 2166 350 0 0 25 0 1 0 14499537 39788544 9191 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12257/statm: 9714 9191 237 467 0 9245 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 38856

[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.93 3/177 12259
/proc/meminfo: memFree=29371500/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=43068 CPUtime=50.77
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 10549 0 0 0 4361 716 0 0 25 0 1 0 14499537 44101632 10232 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 10767 10232 237 467 0 10298 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 43068

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.93 3/177 12260
/proc/meminfo: memFree=29321132/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=47480 CPUtime=101.97
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 11637 0 0 0 8833 1364 0 0 25 0 1 0 14499537 48619520 11320 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 11870 11320 237 467 0 11401 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 47480

[startup+162.301 s]
/proc/loadavg: 2.07 2.00 1.94 3/177 12262
/proc/meminfo: memFree=29252788/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=57964 CPUtime=161.97
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 14297 0 0 0 14215 1982 0 0 25 0 1 0 14499537 59355136 13958 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 14491 13958 237 467 0 14022 0
Current children cumulated CPU time (s) 161.97
Current children cumulated vsize (KiB) 57964

[startup+222.301 s]
/proc/loadavg: 2.02 2.00 1.94 3/177 12264
/proc/meminfo: memFree=29215672/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=57964 CPUtime=221.97
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 14297 0 0 0 19500 2697 0 0 25 0 1 0 14499537 59355136 13958 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 14491 13958 237 467 0 14022 0
Current children cumulated CPU time (s) 221.97
Current children cumulated vsize (KiB) 57964

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/177 12265
/proc/meminfo: memFree=29213528/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=61444 CPUtime=281.97
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 15139 0 0 0 24833 3364 0 0 25 0 1 0 14499537 62918656 14800 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 15361 14800 237 467 0 14892 0
Current children cumulated CPU time (s) 281.97
Current children cumulated vsize (KiB) 61444

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12267
/proc/meminfo: memFree=29205072/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=68312 CPUtime=341.98
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 16871 0 0 0 30336 3862 0 0 25 0 1 0 14499537 69951488 16532 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 17078 16532 237 467 0 16609 0
Current children cumulated CPU time (s) 341.98
Current children cumulated vsize (KiB) 68312

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12268
/proc/meminfo: memFree=29205288/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=68312 CPUtime=401.97
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 16871 0 0 0 35653 4544 0 0 25 0 1 0 14499537 69951488 16532 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 17078 16532 237 467 0 16609 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 68312

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12270
/proc/meminfo: memFree=29204888/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=68848 CPUtime=461.98
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 16990 0 0 0 40931 5267 0 0 25 0 1 0 14499537 70500352 16651 4089446400 134512640 136422188 4290710224 18446744073709551615 134857841 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 17212 16651 237 467 0 16743 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 68848

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12272
/proc/meminfo: memFree=29196300/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=77200 CPUtime=521.98
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 19087 0 0 0 46309 5889 0 0 25 0 1 0 14499537 79052800 18748 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 19300 18748 237 467 0 18831 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 77200

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12273
/proc/meminfo: memFree=29196280/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=77200 CPUtime=581.98
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 19087 0 0 0 51631 6567 0 0 25 0 1 0 14499537 79052800 18748 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 19300 18748 237 467 0 18831 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 77200

[startup+642.301 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 12275
/proc/meminfo: memFree=29195140/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=78400 CPUtime=641.98
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 19358 0 0 0 57067 7131 0 0 25 0 1 0 14499537 80281600 19019 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 19600 19019 237 467 0 19131 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 78400

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 12280
/proc/meminfo: memFree=29180892/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=92420 CPUtime=821.98
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 23143 0 0 0 73532 8666 0 0 25 0 1 0 14499537 94638080 22526 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 23105 22526 237 467 0 22636 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 92420

[startup+882.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 12281
/proc/meminfo: memFree=29180736/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=92420 CPUtime=881.98
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 23145 0 0 0 78889 9309 0 0 25 0 1 0 14499537 94638080 22528 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 23105 22528 237 467 0 22636 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 92420

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12283
/proc/meminfo: memFree=29180460/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=92420 CPUtime=941.99
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 23145 0 0 0 84238 9961 0 0 25 0 1 0 14499537 94638080 22528 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 23105 22528 237 467 0 22636 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 92420

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12284
/proc/meminfo: memFree=29180312/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=92420 CPUtime=1001.99
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 23146 0 0 0 89642 10557 0 0 25 0 1 0 14499537 94638080 22529 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 23105 22529 237 467 0 22636 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 92420

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12286
/proc/meminfo: memFree=29180656/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=92420 CPUtime=1061.99
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 23146 0 0 0 94944 11255 0 0 25 0 1 0 14499537 94638080 22529 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 23105 22529 237 467 0 22636 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 92420

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12288
/proc/meminfo: memFree=29180496/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=92420 CPUtime=1122
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 23146 0 0 0 100367 11833 0 0 25 0 1 0 14499537 94638080 22529 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 23105 22529 237 467 0 22636 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 92420

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12289
/proc/meminfo: memFree=29180344/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=92420 CPUtime=1181.99
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 23146 0 0 0 105778 12421 0 0 25 0 1 0 14499537 94638080 22529 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 23105 22529 237 467 0 22636 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 92420

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12291
/proc/meminfo: memFree=29179688/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=92420 CPUtime=1241.99
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 23146 0 0 0 111100 13099 0 0 25 0 1 0 14499537 94638080 22529 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 23105 22529 237 467 0 22636 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 92420

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12292
/proc/meminfo: memFree=29179408/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=92420 CPUtime=1302
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 23147 0 0 0 116482 13718 0 0 25 0 1 0 14499537 94638080 22530 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 23105 22530 237 467 0 22636 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 92420

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12294
/proc/meminfo: memFree=29179620/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=92684 CPUtime=1361.99
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 23230 0 0 0 121835 14364 0 0 25 0 1 0 14499537 94908416 22613 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 23171 22613 237 467 0 22702 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 92684

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12296
/proc/meminfo: memFree=29177480/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=94664 CPUtime=1422
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 23725 0 0 0 127191 15009 0 0 25 0 1 0 14499537 96935936 23108 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 23666 23108 237 467 0 23197 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 94664

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12297
/proc/meminfo: memFree=29177072/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=94952 CPUtime=1482
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 23776 0 0 0 132623 15577 0 0 25 0 1 0 14499537 97230848 23159 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12257/statm: 23738 23159 237 467 0 23269 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 94952

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12327
/proc/meminfo: memFree=30210620/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=95168 CPUtime=1542
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 23965 0 0 0 137804 16396 0 0 25 0 1 0 14499537 97452032 23236 4089446400 134512640 136422188 4290710224 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12257/statm: 23792 23236 237 467 0 23323 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 95168

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12337
/proc/meminfo: memFree=30201508/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=103620 CPUtime=1601.99
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 26056 0 0 0 142797 17402 0 0 25 0 1 0 14499537 106106880 25327 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12257/statm: 25905 25327 237 467 0 25436 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 103620

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12366
/proc/meminfo: memFree=30187704/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=103404 CPUtime=1662
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 26057 0 0 0 147923 18277 0 0 25 0 1 0 14499537 105885696 25296 4089446400 134512640 136422188 4290710224 18446744073709551615 134862616 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12257/statm: 25851 25296 237 467 0 25382 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 103404

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12368
/proc/meminfo: memFree=30187296/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=103404 CPUtime=1722
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 26057 0 0 0 153227 18973 0 0 25 0 1 0 14499537 105885696 25296 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12257/statm: 25851 25296 237 467 0 25382 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 103404

[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/177 12369
/proc/meminfo: memFree=30184660/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=105912 CPUtime=1781.99
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 26654 0 0 0 158459 19740 0 0 25 0 1 0 14499537 108453888 25893 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12257/statm: 26478 25893 237 467 0 26009 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 105912



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.01 1.95 3/177 12370
/proc/meminfo: memFree=30184656/32951132 swapFree=67111528/67111528
[pid=12257] ppid=12255 vsize=105912 CPUtime=1800.1
/proc/12257/stat : 12257 (pbct) R 12255 12257 11769 0 -1 4202496 26654 0 0 0 160009 20001 0 0 25 0 1 0 14499537 108453888 25893 4089446400 134512640 136422188 4290710224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12257/statm: 26478 25893 237 467 0 26009 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 105912

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

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1600.1
CPU system time (s): 200.015
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 105912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1600.1
system time used= 200.015
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26655
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= 2
involuntary context switches= 4464

runsolver used 2.78758 second user time and 5.98509 second system time

The end

Launcher Data 

Begin job on node128 at 2010-07-07 02:34:21
IDJOB=2699232
IDBENCH=79150
IDSOLVER=1212
FILE ID=node128/2699232-1278462861
PBS_JOBID= 11233736
Free space on /tmp= 73420 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699232-1278462861/watcher-2699232-1278462861 -o /tmp/evaluation-result-2699232-1278462861/solver-2699232-1278462861 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699232-1278462861.wbo

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

MD5SUM BENCH= 72248c5a2862af1e3cf852420a7ca986
RANDOM SEED=1968728919

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.816
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.816
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.816
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.816
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.816
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.816
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.816
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.816
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29448316 kB
Buffers:        100360 kB
Cached:        2336176 kB
SwapCached:          0 kB
Active:        1777100 kB
Inactive:      1582308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29448316 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2000 kB
Writeback:           0 kB
AnonPages:      922832 kB
Mapped:          15744 kB
Slab:            80588 kB
PageTables:       6508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1108980 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73420 MiB
End job on node128 at 2010-07-07 03:04:24