Trace number 3491881

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-R4191-patched (fixed)SAT (TO)-68 1800.08 1800.02

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

Verifier Data 

OK	-68

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.98 1.96 3/177 12215
/proc/meminfo: memFree=31578512/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=9884 CPUtime=0 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 1990 0 0 0 0 0 0 0 22 0 1 0 967736090 10121216 1777 33554432000 4194304 6245536 140735362605056 18446744073709551615 4642370 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12215/statm: 2471 1782 172 501 0 1967 0

[startup+0.018816 s]
/proc/loadavg: 1.99 1.98 1.96 3/177 12215
/proc/meminfo: memFree=31578512/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=11692 CPUtime=0.01 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 2836 0 0 0 1 0 0 0 22 0 1 0 967736090 11972608 2490 33554432000 4194304 6245536 140735362605056 18446744073709551615 5418137 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12215/statm: 2923 2492 179 501 0 2419 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11692

[startup+0.100815 s]
/proc/loadavg: 1.99 1.98 1.96 3/177 12215
/proc/meminfo: memFree=31578512/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=12660 CPUtime=0.09 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 4057 0 0 0 9 0 0 0 22 0 1 0 967736090 12963840 2845 33554432000 4194304 6245536 140735362605056 18446744073709551615 4324746 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12215/statm: 3165 2845 221 501 0 2661 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12660

[startup+0.300777 s]
/proc/loadavg: 1.99 1.98 1.96 3/177 12215
/proc/meminfo: memFree=31578512/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=23616 CPUtime=0.28 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 6782 0 0 0 28 0 0 0 23 0 1 0 967736090 24182784 5570 33554432000 4194304 6245536 140735362605056 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12215/statm: 5904 5570 227 501 0 5400 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23616

[startup+0.700698 s]
/proc/loadavg: 1.99 1.98 1.96 3/177 12215
/proc/meminfo: memFree=31578512/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=41624 CPUtime=0.69 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 11309 0 0 0 68 1 0 0 25 0 1 0 967736090 42622976 10059 33554432000 4194304 6245536 140735362605056 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12215/statm: 10406 10059 227 501 0 9902 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41624

[startup+1.50056 s]
/proc/loadavg: 1.99 1.98 1.96 3/178 12216
/proc/meminfo: memFree=31526448/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=68380 CPUtime=1.49 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 17954 0 0 0 147 2 0 0 25 0 1 0 967736090 70021120 16704 33554432000 4194304 6245536 140735362605056 18446744073709551615 4635135 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12215/statm: 17095 16704 229 501 0 16591 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68380

[startup+3.10026 s]
/proc/loadavg: 1.99 1.98 1.96 4/178 12216
/proc/meminfo: memFree=31511596/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=74720 CPUtime=3.09 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 19559 0 0 0 306 3 0 0 25 0 1 0 967736090 76513280 18309 33554432000 4194304 6245536 140735362605056 18446744073709551615 4646381 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12215/statm: 18680 18309 229 501 0 18176 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74720

[startup+6.30066 s]
/proc/loadavg: 1.99 1.98 1.96 3/178 12216
/proc/meminfo: memFree=31490284/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=89400 CPUtime=6.29 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 23229 0 0 0 626 3 0 0 25 0 1 0 967736090 91545600 21979 33554432000 4194304 6245536 140735362605056 18446744073709551615 4635664 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12215/statm: 22350 21979 229 501 0 21846 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89400

[startup+12.7005 s]
/proc/loadavg: 1.99 1.98 1.96 3/178 12216
/proc/meminfo: memFree=31469284/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=109772 CPUtime=12.69 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 28326 0 0 0 1265 4 0 0 25 0 1 0 967736090 112406528 27076 33554432000 4194304 6245536 140735362605056 18446744073709551615 4324469 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12215/statm: 27443 27076 229 501 0 26939 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 109772

[startup+25.5011 s]
/proc/loadavg: 1.99 1.98 1.96 3/178 12217
/proc/meminfo: memFree=31444724/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=133880 CPUtime=25.49 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 34341 0 0 0 2545 4 0 0 25 0 1 0 967736090 137093120 33091 33554432000 4194304 6245536 140735362605056 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12215/statm: 33470 33091 229 501 0 32966 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 133880

[startup+51.1004 s]
/proc/loadavg: 1.99 1.98 1.96 3/178 12218
/proc/meminfo: memFree=31428884/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=164436 CPUtime=51.09 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 41701 0 0 0 5104 5 0 0 25 0 1 0 967736090 168382464 40451 33554432000 4194304 6245536 140735362605056 18446744073709551615 5419260 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 41109 40451 229 501 0 40605 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 164436

[startup+102.307 s]
/proc/loadavg: 1.99 1.98 1.96 3/178 12219
/proc/meminfo: memFree=31388792/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=186664 CPUtime=102.3 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 47389 0 0 0 10224 6 0 0 25 0 1 0 967736090 191143936 46139 33554432000 4194304 6245536 140735362605056 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 46666 46139 229 501 0 46162 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 186664

[startup+162.301 s]
/proc/loadavg: 2.07 2.00 1.96 3/178 12220
/proc/meminfo: memFree=31364696/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=209764 CPUtime=162.3 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 53175 0 0 0 16223 7 0 0 25 0 1 0 967736090 214798336 51925 33554432000 4194304 6245536 140735362605056 18446744073709551615 4323486 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 52441 51925 229 501 0 51937 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 209764

[startup+222.301 s]
/proc/loadavg: 2.03 2.00 1.96 3/178 12222
/proc/meminfo: memFree=31339872/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=232096 CPUtime=222.29 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 58740 0 0 0 22222 7 0 0 25 0 1 0 967736090 237666304 57490 33554432000 4194304 6245536 140735362605056 18446744073709551615 4324241 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 58024 57490 229 501 0 57520 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 232096

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 12224
/proc/meminfo: memFree=31334644/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=236056 CPUtime=282.3 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 59769 0 0 0 28222 8 0 0 25 0 1 0 967736090 241721344 58519 33554432000 4194304 6245536 140735362605056 18446744073709551615 4324251 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 59014 58519 229 501 0 58510 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 236056

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 12225
/proc/meminfo: memFree=31312156/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=258504 CPUtime=342.3 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 65329 0 0 0 34221 9 0 0 25 0 1 0 967736090 264708096 64079 33554432000 4194304 6245536 140735362605056 18446744073709551615 4304926 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 64626 64079 229 501 0 64122 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 258504

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 12227
/proc/meminfo: memFree=31307404/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=262992 CPUtime=402.3 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 66468 0 0 0 40221 9 0 0 25 0 1 0 967736090 269303808 65218 33554432000 4194304 6245536 140735362605056 18446744073709551615 4634509 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 65748 65218 229 501 0 65244 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 262992

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 12228
/proc/meminfo: memFree=31303768/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=264504 CPUtime=462.3 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 66849 0 0 0 46221 9 0 0 25 0 1 0 967736090 270852096 65599 33554432000 4194304 6245536 140735362605056 18446744073709551615 4344648 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 66126 65599 229 501 0 65622 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 264504

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 12230
/proc/meminfo: memFree=31277688/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=289880 CPUtime=522.31 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 73202 0 0 0 52221 10 0 0 25 0 1 0 967736090 296837120 71952 33554432000 4194304 6245536 140735362605056 18446744073709551615 4608188 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 72470 71952 229 501 0 71966 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 289880

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 12232
/proc/meminfo: memFree=31272196/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=295360 CPUtime=582.31 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 74525 0 0 0 58221 10 0 0 25 0 1 0 967736090 302448640 73275 33554432000 4194304 6245536 140735362605056 18446744073709551615 4323200 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 73840 73275 229 501 0 73336 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 295360

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 12247
/proc/meminfo: memFree=31234040/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=329036 CPUtime=822.32 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 83043 0 0 0 82221 11 0 0 25 0 1 0 967736090 336932864 81793 33554432000 4194304 6245536 140735362605056 18446744073709551615 4324241 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 82259 81793 229 501 0 81755 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 329036

[startup+882.3 s]
/proc/loadavg: 2.05 2.02 1.98 3/178 12249
/proc/meminfo: memFree=31230412/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=332580 CPUtime=882.32 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 83912 0 0 0 88221 11 0 0 25 0 1 0 967736090 340561920 82662 33554432000 4194304 6245536 140735362605056 18446744073709551615 4324712 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 83145 82662 229 501 0 82641 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 332580

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 12250
/proc/meminfo: memFree=31227648/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=335220 CPUtime=942.32 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 84589 0 0 0 94221 11 0 0 25 0 1 0 967736090 343265280 83339 33554432000 4194304 6245536 140735362605056 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 83805 83339 229 501 0 83301 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 335220

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/178 12252
/proc/meminfo: memFree=31226368/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=336408 CPUtime=1002.32 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 84879 0 0 0 100221 11 0 0 25 0 1 0 967736090 344481792 83629 33554432000 4194304 6245536 140735362605056 18446744073709551615 4324339 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 84102 83629 229 501 0 83598 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 336408

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12253
/proc/meminfo: memFree=31225460/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=337068 CPUtime=1062.32 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 85038 0 0 0 106221 11 0 0 25 0 1 0 967736090 345157632 83788 33554432000 4194304 6245536 140735362605056 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 84267 83788 229 501 0 83763 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 337068

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12255
/proc/meminfo: memFree=31224576/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=338124 CPUtime=1122.32 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 85306 0 0 0 112221 11 0 0 25 0 1 0 967736090 346238976 84056 33554432000 4194304 6245536 140735362605056 18446744073709551615 4605200 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 84531 84056 229 501 0 84027 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 338124

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12257
/proc/meminfo: memFree=31195272/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=368564 CPUtime=1182.33 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 92372 0 0 0 118221 12 0 0 25 0 1 0 967736090 377409536 91122 33554432000 4194304 6245536 140735362605056 18446744073709551615 4324199 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 92141 91122 229 501 0 91637 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 368564

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12258
/proc/meminfo: memFree=31190160/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=372788 CPUtime=1242.33 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 93444 0 0 0 124221 12 0 0 25 0 1 0 967736090 381734912 92194 33554432000 4194304 6245536 140735362605056 18446744073709551615 4304926 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 93197 92194 229 501 0 92693 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 372788

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12260
/proc/meminfo: memFree=31187656/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=375580 CPUtime=1302.33 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 94088 0 0 0 130221 12 0 0 25 0 1 0 967736090 384593920 92838 33554432000 4194304 6245536 140735362605056 18446744073709551615 5419316 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 93895 92838 229 501 0 93391 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 375580

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12261
/proc/meminfo: memFree=31184520/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=378708 CPUtime=1362.33 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 94766 0 0 0 136221 12 0 0 25 0 1 0 967736090 387796992 93516 33554432000 4194304 6245536 140735362605056 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 94677 93516 229 501 0 94173 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 378708

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12263
/proc/meminfo: memFree=31184364/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=378708 CPUtime=1422.34 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 94766 0 0 0 142222 12 0 0 25 0 1 0 967736090 387796992 93516 33554432000 4194304 6245536 140735362605056 18446744073709551615 4304903 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 94677 93516 229 501 0 94173 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 378708

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12265
/proc/meminfo: memFree=31184088/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=378708 CPUtime=1482.33 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 94769 0 0 0 148221 12 0 0 25 0 1 0 967736090 387796992 93519 33554432000 4194304 6245536 140735362605056 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 94677 93519 229 501 0 94173 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 378708

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12266
/proc/meminfo: memFree=31181324/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=381480 CPUtime=1542.34 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 95485 0 0 0 154222 12 0 0 25 0 1 0 967736090 390635520 94235 33554432000 4194304 6245536 140735362605056 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 95370 94235 229 501 0 94866 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 381480

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12268
/proc/meminfo: memFree=31181044/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=381744 CPUtime=1602.34 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 95550 0 0 0 160222 12 0 0 25 0 1 0 967736090 390905856 94300 33554432000 4194304 6245536 140735362605056 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 95436 94300 229 501 0 94932 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 381744

[startup+1662.3 s]
/proc/loadavg: 1.56 1.89 1.94 2/172 12294
/proc/meminfo: memFree=31235260/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=382140 CPUtime=1662.34 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 95631 0 0 0 166222 12 0 0 25 0 1 0 967736090 391311360 94381 33554432000 4194304 6245536 140735362605056 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 95535 94381 229 501 0 95031 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 382140

[startup+1722.3 s]
/proc/loadavg: 1.20 1.72 1.88 2/172 12296
/proc/meminfo: memFree=31234984/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=382536 CPUtime=1722.34 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 95749 0 0 0 172222 12 0 0 25 0 1 0 967736090 391716864 94499 33554432000 4194304 6245536 140735362605056 18446744073709551615 4608168 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 95634 94499 229 501 0 95130 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 382536

[startup+1782.3 s]
/proc/loadavg: 1.07 1.59 1.82 2/172 12298
/proc/meminfo: memFree=31234096/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=383592 CPUtime=1782.35 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 96008 0 0 0 178222 13 0 0 25 0 1 0 967736090 392798208 94758 33554432000 4194304 6245536 140735362605056 18446744073709551615 4634509 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 95898 94758 229 501 0 95394 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 383592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.12 1.58 1.81 2/172 12298
/proc/meminfo: memFree=31207424/32950928 swapFree=67051096/67111528
[pid=12215] ppid=12213 vsize=410256 CPUtime=1800.05 cores=1,3,5,7
/proc/12215/stat : 12215 (clasp) R 12213 12215 6496 0 -1 4202496 102678 0 0 0 179992 13 0 0 25 0 1 0 967736090 420102144 101428 33554432000 4194304 6245536 140735362605056 18446744073709551615 4397820 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12215/statm: 102564 101428 229 501 0 102060 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 410256

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.02
CPU time (s): 1800.08
CPU user time (s): 1799.92
CPU system time (s): 0.155976
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 410256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102689
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= 4
involuntary context switches= 2780

runsolver used 2.58361 second user time and 5.8991 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-11 08:50:54
IDJOB=3491881
IDBENCH=48172
IDSOLVER=1981
FILE ID=node113/3491881-1307775054
RUNJOBID= node113-1307767053-9964
PBS_JOBID= 13550849
Free space on /tmp= 74108 MiB

SOLVER NAME= clasp 2.0-R4191-patched (fixed)
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-3491881-1307775054/watcher-3491881-1307775054 -o /tmp/evaluation-result-3491881-1307775054/solver-3491881-1307775054 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3491881-1307775054.opb --solu --heu=VSIDS

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

MD5SUM BENCH= 9073bcbe60c862f7d64be630b0fdd227
RANDOM SEED=271342846

node113.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.846
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.69
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.846
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.76
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.846
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.74
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.846
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.846
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.74
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.846
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.846
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.83
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.846
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31578808 kB
Buffers:        255396 kB
Cached:         860948 kB
SwapCached:      14384 kB
Active:         500344 kB
Inactive:       669680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31578808 kB
SwapTotal:    67111528 kB
SwapFree:     67051096 kB
Dirty:            3156 kB
Writeback:           0 kB
AnonPages:       51396 kB
Mapped:          10284 kB
Slab:           138252 kB
PageTables:       4752 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   241260 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= 74108 MiB
End job on node113 at 2011-06-11 09:20:56