Trace number 3469390

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
clasp 2.0-R4191SAT (TO)-68 1800.09 1800.03

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_2.opb
MD5SUM9073bcbe60c862f7d64be630b0fdd227
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-69
Best CPU time to get the best result obtained on this benchmark1800.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
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 constraint60
Maximum length of a constraint109
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 products37643
Sum of products size75286

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

Verifier Data 

OK	-68

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3469390-1307095526/watcher-3469390-1307095526 -o /tmp/evaluation-result-3469390-1307095526/solver-3469390-1307095526 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469390-1307095526.opb --solu --heu=VSIDS 

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.05 2.03 2.00 2/461 13065
/proc/meminfo: memFree=28543156/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=20872 CPUtime=0 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 2745 0 0 0 0 0 0 0 25 0 1 0 821150585 21372928 2385 33554432000 4194304 4933572 140735573329968 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 5218 2386 318 181 0 2227 0

[startup+0.0563201 s]
/proc/loadavg: 2.05 2.03 2.00 2/461 13065
/proc/meminfo: memFree=28543156/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=24120 CPUtime=0.04 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 4184 0 0 0 4 0 0 0 25 0 1 0 821150585 24698880 3336 33554432000 4194304 4933572 140735573329968 18446744073709551615 4587802 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 6030 3336 342 181 0 3039 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 24120

[startup+0.10031 s]
/proc/loadavg: 2.05 2.03 2.00 2/461 13065
/proc/meminfo: memFree=28543156/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=22608 CPUtime=0.09 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 4233 0 0 0 9 0 0 0 25 0 1 0 821150585 23150592 3007 33554432000 4194304 4933572 140735573329968 18446744073709551615 4637266 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 5652 3007 366 181 0 2661 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22608

[startup+0.300277 s]
/proc/loadavg: 2.05 2.03 2.00 2/461 13065
/proc/meminfo: memFree=28543156/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=33172 CPUtime=0.29 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 6876 0 0 0 29 0 0 0 25 0 1 0 821150585 33968128 5650 33554432000 4194304 4933572 140735573329968 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 8293 5651 373 181 0 5302 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33172

[startup+0.700188 s]
/proc/loadavg: 2.05 2.03 2.00 2/461 13065
/proc/meminfo: memFree=28543156/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=50668 CPUtime=0.68 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 11248 0 0 0 68 0 0 0 25 0 1 0 821150585 51884032 9984 33554432000 4194304 4933572 140735573329968 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 12667 9984 373 181 0 9676 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 50668

[startup+1.50101 s]
/proc/loadavg: 2.05 2.03 2.00 3/462 13066
/proc/meminfo: memFree=28491696/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=78348 CPUtime=1.49 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 18129 0 0 0 148 1 0 0 25 0 1 0 821150585 80228352 16865 33554432000 4194304 4933572 140735573329968 18446744073709551615 4362004 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 19587 16865 374 181 0 16596 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78348

[startup+3.10075 s]
/proc/loadavg: 2.05 2.03 2.00 3/462 13066
/proc/meminfo: memFree=28475080/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=84584 CPUtime=3.09 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 19735 0 0 0 308 1 0 0 25 0 1 0 821150585 86614016 18471 33554432000 4194304 4933572 140735573329968 18446744073709551615 4362025 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 21146 18471 374 181 0 18155 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84584

[startup+6.30116 s]
/proc/loadavg: 2.04 2.03 2.00 3/462 13066
/proc/meminfo: memFree=28453792/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=99400 CPUtime=6.29 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 23417 0 0 0 627 2 0 0 25 0 1 0 821150585 101785600 22153 33554432000 4194304 4933572 140735573329968 18446744073709551615 4341559 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 24850 22153 374 181 0 21859 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99400

[startup+12.701 s]
/proc/loadavg: 2.04 2.03 2.00 3/462 13066
/proc/meminfo: memFree=28416852/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=119664 CPUtime=12.69 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 28493 0 0 0 1266 3 0 0 25 0 1 0 821150585 122535936 27229 33554432000 4194304 4933572 140735573329968 18446744073709551615 4341592 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 29916 27229 374 181 0 26925 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 119664

[startup+25.5007 s]
/proc/loadavg: 2.03 2.03 2.00 3/462 13067
/proc/meminfo: memFree=28389192/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=143912 CPUtime=25.49 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 34550 0 0 0 2545 4 0 0 25 0 1 0 821150585 147365888 33286 33554432000 4194304 4933572 140735573329968 18446744073709551615 4319413 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 35978 33286 374 181 0 32987 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 143912

[startup+51.1011 s]
/proc/loadavg: 2.02 2.02 2.00 3/462 13067
/proc/meminfo: memFree=28356176/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=159388 CPUtime=51.09 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 38361 0 0 0 5105 4 0 0 25 0 1 0 821150585 163213312 37097 33554432000 4194304 4933572 140735573329968 18446744073709551615 4631761 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 39847 37097 374 181 0 36856 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 159388

[startup+102.317 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 13069
/proc/meminfo: memFree=28280016/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=196660 CPUtime=102.31 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 47576 0 0 0 10226 5 0 0 25 0 1 0 821150585 201379840 46312 33554432000 4194304 4933572 140735573329968 18446744073709551615 4340890 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 49165 46312 374 181 0 46174 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 196660

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13070
/proc/meminfo: memFree=28249844/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=218860 CPUtime=162.3 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 53148 0 0 0 16224 6 0 0 25 0 1 0 821150585 224112640 51884 33554432000 4194304 4933572 140735573329968 18446744073709551615 4637271 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 54715 51884 374 181 0 51724 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 218860

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13072
/proc/meminfo: memFree=28203168/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=241980 CPUtime=222.29 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 58908 0 0 0 22223 6 0 0 25 0 1 0 821150585 247787520 57644 33554432000 4194304 4933572 140735573329968 18446744073709551615 228122411658 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 60495 57644 374 181 0 57504 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 241980

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 13074
/proc/meminfo: memFree=28172736/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=246072 CPUtime=282.3 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 59947 0 0 0 28223 7 0 0 25 0 1 0 821150585 251977728 58683 33554432000 4194304 4933572 140735573329968 18446744073709551615 4330736 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 61518 58683 374 181 0 58527 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 246072

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 13075
/proc/meminfo: memFree=28143180/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=268576 CPUtime=342.3 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 65527 0 0 0 34223 7 0 0 25 0 1 0 821150585 275021824 64263 33554432000 4194304 4933572 140735573329968 18446744073709551615 4649437 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 67144 64263 374 181 0 64153 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 268576

[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/462 13077
/proc/meminfo: memFree=28137304/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=272932 CPUtime=402.3 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 66645 0 0 0 40222 8 0 0 25 0 1 0 821150585 279482368 65381 33554432000 4194304 4933572 140735573329968 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 68233 65381 374 181 0 65242 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 272932

[startup+462.3 s]
/proc/loadavg: 2.21 2.06 2.02 3/462 13078
/proc/meminfo: memFree=28110976/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=274532 CPUtime=462.3 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 67027 0 0 0 46222 8 0 0 25 0 1 0 821150585 281120768 65763 33554432000 4194304 4933572 140735573329968 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 68633 65763 374 181 0 65642 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 274532

[startup+522.301 s]
/proc/loadavg: 2.12 2.06 2.02 3/462 13080
/proc/meminfo: memFree=28082528/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=299040 CPUtime=522.3 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 73181 0 0 0 52222 8 0 0 25 0 1 0 821150585 306216960 71917 33554432000 4194304 4933572 140735573329968 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 74760 71917 374 181 0 71769 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 299040

[startup+582.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/462 13082
/proc/meminfo: memFree=28071072/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=304716 CPUtime=582.31 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 74563 0 0 0 58222 9 0 0 25 0 1 0 821150585 312029184 73299 33554432000 4194304 4933572 140735573329968 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 76179 73299 374 181 0 73188 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 304716

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13088
/proc/meminfo: memFree=27998484/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=337336 CPUtime=822.32 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 82798 0 0 0 82222 10 0 0 25 0 1 0 821150585 345432064 81534 33554432000 4194304 4933572 140735573329968 18446744073709551615 4428010 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 84334 81534 374 181 0 81343 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 337336

[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13090
/proc/meminfo: memFree=27992856/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=342604 CPUtime=882.31 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 84107 0 0 0 88221 10 0 0 25 0 1 0 821150585 350826496 82843 33554432000 4194304 4933572 140735573329968 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 85651 82843 374 181 0 82660 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 342604

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 13091
/proc/meminfo: memFree=27990476/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=342604 CPUtime=942.32 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 84107 0 0 0 94222 10 0 0 25 0 1 0 821150585 350826496 82843 33554432000 4194304 4933572 140735573329968 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 85651 82843 374 181 0 82660 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 342604

[startup+1002.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/462 13093
/proc/meminfo: memFree=27985088/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=345508 CPUtime=1002.32 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 84828 0 0 0 100222 10 0 0 25 0 1 0 821150585 353800192 83564 33554432000 4194304 4933572 140735573329968 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 86377 83564 374 181 0 83386 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 345508

[startup+1062.3 s]
/proc/loadavg: 2.16 2.06 2.02 3/462 13094
/proc/meminfo: memFree=27982196/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=346960 CPUtime=1062.32 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 85190 0 0 0 106222 10 0 0 25 0 1 0 821150585 355287040 83926 33554432000 4194304 4933572 140735573329968 18446744073709551615 4319404 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 86740 83926 374 181 0 83749 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 346960

[startup+1122.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/462 13096
/proc/meminfo: memFree=27981048/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=347884 CPUtime=1122.32 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 85449 0 0 0 112222 10 0 0 25 0 1 0 821150585 356233216 84185 33554432000 4194304 4933572 140735573329968 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 86971 84185 374 181 0 83980 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 347884

[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/462 13098
/proc/meminfo: memFree=27947528/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=348808 CPUtime=1182.32 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 85675 0 0 0 118222 10 0 0 25 0 1 0 821150585 357179392 84411 33554432000 4194304 4933572 140735573329968 18446744073709551615 4318087 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 87202 84411 374 181 0 84211 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 348808

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/462 13099
/proc/meminfo: memFree=27914384/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=382548 CPUtime=1242.33 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 93524 0 0 0 124221 12 0 0 25 0 1 0 821150585 391729152 92260 33554432000 4194304 4933572 140735573329968 18446744073709551615 4330726 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 95637 92260 374 181 0 92646 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 382548

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13101
/proc/meminfo: memFree=27911728/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=382944 CPUtime=1302.34 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 93605 0 0 0 130222 12 0 0 25 0 1 0 821150585 392134656 92341 33554432000 4194304 4933572 140735573329968 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 95736 92341 374 181 0 92745 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 382944

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13102
/proc/meminfo: memFree=27905852/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=388048 CPUtime=1362.33 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 94801 0 0 0 136221 12 0 0 25 0 1 0 821150585 397361152 93537 33554432000 4194304 4933572 140735573329968 18446744073709551615 4330726 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 97012 93537 374 181 0 94021 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 388048

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13104
/proc/meminfo: memFree=27905068/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=388180 CPUtime=1422.35 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 94850 0 0 0 142223 12 0 0 25 0 1 0 821150585 397496320 93586 33554432000 4194304 4933572 140735573329968 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 97045 93586 374 181 0 94054 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 388180

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 13106
/proc/meminfo: memFree=27903404/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=388444 CPUtime=1482.33 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 94892 0 0 0 148221 12 0 0 25 0 1 0 821150585 397766656 93628 33554432000 4194304 4933572 140735573329968 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 97111 93628 374 181 0 94120 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 388444

[startup+1542.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/462 13107
/proc/meminfo: memFree=27899892/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=390952 CPUtime=1542.33 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 95526 0 0 0 154221 12 0 0 25 0 1 0 821150585 400334848 94262 33554432000 4194304 4933572 140735573329968 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 97738 94262 374 181 0 94747 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 390952

[startup+1602.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/462 13109
/proc/meminfo: memFree=27898724/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=391480 CPUtime=1602.34 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 95646 0 0 0 160222 12 0 0 25 0 1 0 821150585 400875520 94382 33554432000 4194304 4933572 140735573329968 18446744073709551615 4663948 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 97870 94382 374 181 0 94879 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 391480

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/462 13110
/proc/meminfo: memFree=27899052/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=392008 CPUtime=1662.34 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 95804 0 0 0 166222 12 0 0 25 0 1 0 821150585 401416192 94540 33554432000 4194304 4933572 140735573329968 18446744073709551615 4362110 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 98002 94540 374 181 0 95011 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 392008

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 13112
/proc/meminfo: memFree=27897540/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=392008 CPUtime=1722.34 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 95804 0 0 0 172222 12 0 0 25 0 1 0 821150585 401416192 94540 33554432000 4194304 4933572 140735573329968 18446744073709551615 228122410763 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 98002 94540 374 181 0 95011 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 392008

[startup+1782.3 s]
/proc/loadavg: 1.93 2.00 1.99 3/462 13142
/proc/meminfo: memFree=28301824/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=393724 CPUtime=1782.34 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 96210 0 0 0 178222 12 0 0 25 0 1 0 821150585 403173376 94946 33554432000 4194304 4933572 140735573329968 18446744073709551615 4342099 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 98431 94946 374 181 0 95440 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 393724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.95 2.00 1.99 3/462 13142
/proc/meminfo: memFree=28299748/32951124 swapFree=41830676/67111528
[pid=13065] ppid=13063 vsize=393724 CPUtime=1800.05 cores=0,2,4,6
/proc/13065/stat : 13065 (clasp) R 13063 13065 12829 0 -1 4202496 96210 0 0 0 179993 12 0 0 25 0 1 0 821150585 403173376 94946 33554432000 4194304 4933572 140735573329968 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13065/statm: 98431 94946 374 181 0 95440 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 393724

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

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

Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.09
CPU user time (s): 1799.94
CPU system time (s): 0.143978
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 393724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96221
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2563

runsolver used 8.44072 second user time and 17.7653 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-03 12:05:26
IDJOB=3469390
IDBENCH=48172
IDSOLVER=1959
FILE ID=node138/3469390-1307095526
RUNJOBID= node138-1307093695-12847
PBS_JOBID= 13497998
Free space on /tmp= 73656 MiB

SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_2.opb
COMMAND LINE= HOME/clasp BENCHNAME --solu --heu=VSIDS
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3469390-1307095526/watcher-3469390-1307095526 -o /tmp/evaluation-result-3469390-1307095526/solver-3469390-1307095526 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3469390-1307095526.opb --solu --heu=VSIDS

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

MD5SUM BENCH= 9073bcbe60c862f7d64be630b0fdd227
RANDOM SEED=813279871

node138.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.854
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.70
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.854
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.854
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.82
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.854
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.854
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.80
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.854
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.75
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.854
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.82
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.854
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28543436 kB
Buffers:        290004 kB
Cached:        1062164 kB
SwapCached:      44568 kB
Active:        2328956 kB
Inactive:      1790788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28543436 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:            3504 kB
Writeback:           0 kB
AnonPages:     2734084 kB
Mapped:          16984 kB
Slab:           127140 kB
PageTables:      92940 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 130804188 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73656 MiB
End job on node138 at 2011-06-03 12:35:28