Trace number 3491918

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)-125 1800.06 1800.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_2.opb
MD5SUM1af848a7208b60f67c27d4022c7b5abe
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-125
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -151
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 constraint25
Maximum length of a constraint50
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)31544
Sum of products size (including duplicates)63088
Number of different products15772
Sum of products size31544

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

Verifier Data 

OK	-125

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-3491918-1307777348/watcher-3491918-1307777348 -o /tmp/evaluation-result-3491918-1307777348/solver-3491918-1307777348 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491918-1307777348.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.00 1.00 1.14 2/177 31012
/proc/meminfo: memFree=31678536/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=6236 CPUtime=0 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 1314 0 0 0 0 0 0 0 22 0 1 0 889335761 6385664 1137 33554432000 4194304 6245536 140735591680496 18446744073709551615 5418137 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31012/statm: 1559 1138 179 501 0 1055 0

[startup+0.0405921 s]
/proc/loadavg: 1.00 1.00 1.14 2/177 31012
/proc/meminfo: memFree=31678536/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=6912 CPUtime=0.03 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 1963 0 0 0 3 0 0 0 22 0 1 0 889335761 7077888 1412 33554432000 4194304 6245536 140735591680496 18446744073709551615 4628868 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31012/statm: 1728 1412 221 501 0 1224 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6912

[startup+0.100581 s]
/proc/loadavg: 1.00 1.00 1.14 2/177 31012
/proc/meminfo: memFree=31678536/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=12456 CPUtime=0.09 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 3330 0 0 0 9 0 0 0 22 0 1 0 889335761 12754944 2779 33554432000 4194304 6245536 140735591680496 18446744073709551615 4305292 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31012/statm: 3114 2779 221 501 0 2610 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12456

[startup+0.300557 s]
/proc/loadavg: 1.00 1.00 1.14 2/177 31012
/proc/meminfo: memFree=31678536/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=21700 CPUtime=0.29 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 5641 0 0 0 29 0 0 0 23 0 1 0 889335761 22220800 5090 33554432000 4194304 6245536 140735591680496 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31012/statm: 5425 5090 227 501 0 4921 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21700

[startup+0.700491 s]
/proc/loadavg: 1.00 1.00 1.14 2/177 31012
/proc/meminfo: memFree=31678536/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=31360 CPUtime=0.69 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 8070 0 0 0 69 0 0 0 25 0 1 0 889335761 32112640 7519 33554432000 4194304 6245536 140735591680496 18446744073709551615 4324208 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31012/statm: 7840 7519 229 501 0 7336 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31360

[startup+1.50034 s]
/proc/loadavg: 1.00 1.00 1.14 3/178 31013
/proc/meminfo: memFree=31645196/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=36916 CPUtime=1.49 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 9447 0 0 0 149 0 0 0 25 0 1 0 889335761 37801984 8896 33554432000 4194304 6245536 140735591680496 18446744073709551615 4305289 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31012/statm: 9229 8896 229 501 0 8725 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36916

[startup+3.10106 s]
/proc/loadavg: 1.08 1.02 1.14 3/178 31013
/proc/meminfo: memFree=31638920/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=45244 CPUtime=3.09 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 11519 0 0 0 309 0 0 0 25 0 1 0 889335761 46329856 10968 33554432000 4194304 6245536 140735591680496 18446744073709551615 4635762 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31012/statm: 11311 10968 229 501 0 10807 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45244

[startup+6.30048 s]
/proc/loadavg: 1.08 1.02 1.14 3/178 31013
/proc/meminfo: memFree=31628020/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=52968 CPUtime=6.29 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 13470 0 0 0 629 0 0 0 25 0 1 0 889335761 54239232 12919 33554432000 4194304 6245536 140735591680496 18446744073709551615 4324241 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31012/statm: 13242 12919 229 501 0 12738 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52968

[startup+12.7003 s]
/proc/loadavg: 1.15 1.03 1.14 3/178 31013
/proc/meminfo: memFree=31617788/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=62712 CPUtime=12.69 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 15872 0 0 0 1268 1 0 0 25 0 1 0 889335761 64217088 15321 33554432000 4194304 6245536 140735591680496 18446744073709551615 4324192 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31012/statm: 15678 15321 229 501 0 15174 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62712

[startup+25.5011 s]
/proc/loadavg: 1.34 1.08 1.16 3/178 31013
/proc/meminfo: memFree=31605248/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=70272 CPUtime=25.49 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 17757 0 0 0 2548 1 0 0 25 0 1 0 889335761 71958528 17206 33554432000 4194304 6245536 140735591680496 18446744073709551615 4320343 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31012/statm: 17568 17206 229 501 0 17064 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70272

[startup+51.1006 s]
/proc/loadavg: 1.56 1.15 1.18 3/178 31014
/proc/meminfo: memFree=31585096/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=88984 CPUtime=51.09 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 22378 0 0 0 5108 1 0 0 25 0 1 0 889335761 91119616 21827 33554432000 4194304 6245536 140735591680496 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 22246 21827 229 501 0 21742 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 88984

[startup+102.306 s]
/proc/loadavg: 1.82 1.29 1.22 3/178 31015
/proc/meminfo: memFree=31562500/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=109672 CPUtime=102.3 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 27590 0 0 0 10228 2 0 0 25 0 1 0 889335761 112304128 27039 33554432000 4194304 6245536 140735591680496 18446744073709551615 4646368 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 27418 27039 229 501 0 26914 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 109672

[startup+162.301 s]
/proc/loadavg: 1.93 1.41 1.27 3/178 31017
/proc/meminfo: memFree=31549076/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=122852 CPUtime=162.3 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 30853 0 0 0 16227 3 0 0 25 0 1 0 889335761 125800448 30302 33554432000 4194304 6245536 140735591680496 18446744073709551615 4408704 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 30713 30302 229 501 0 30209 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 122852

[startup+222.3 s]
/proc/loadavg: 1.97 1.52 1.31 3/178 31019
/proc/meminfo: memFree=31537380/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=135128 CPUtime=222.29 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 33938 0 0 0 22226 3 0 0 25 0 1 0 889335761 138371072 33387 33554432000 4194304 6245536 140735591680496 18446744073709551615 5419301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 33782 33387 229 501 0 33278 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 135128

[startup+282.301 s]
/proc/loadavg: 1.99 1.60 1.35 3/178 31020
/proc/meminfo: memFree=31531400/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=139892 CPUtime=282.3 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 35144 0 0 0 28226 4 0 0 25 0 1 0 889335761 143249408 34593 33554432000 4194304 6245536 140735591680496 18446744073709551615 4408704 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 34973 34593 229 501 0 34469 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 139892

[startup+342.301 s]
/proc/loadavg: 2.07 1.69 1.39 3/178 31022
/proc/meminfo: memFree=31519364/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=151716 CPUtime=342.3 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 38118 0 0 0 34226 4 0 0 25 0 1 0 889335761 155357184 37567 33554432000 4194304 6245536 140735591680496 18446744073709551615 4635664 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 37929 37567 229 501 0 37425 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 151716

[startup+402.3 s]
/proc/loadavg: 2.03 1.74 1.43 3/178 31023
/proc/meminfo: memFree=31513596/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=157524 CPUtime=402.3 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 39532 0 0 0 40226 4 0 0 25 0 1 0 889335761 161304576 38981 33554432000 4194304 6245536 140735591680496 18446744073709551615 4635764 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 39381 38981 229 501 0 38877 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 157524

[startup+462.301 s]
/proc/loadavg: 2.01 1.79 1.46 3/178 31025
/proc/meminfo: memFree=31511588/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=158976 CPUtime=462.3 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 39886 0 0 0 46226 4 0 0 25 0 1 0 889335761 162791424 39335 33554432000 4194304 6245536 140735591680496 18446744073709551615 4304813 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 39744 39335 229 501 0 39240 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 158976

[startup+522.3 s]
/proc/loadavg: 2.00 1.82 1.49 3/178 31027
/proc/meminfo: memFree=31496684/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=173924 CPUtime=522.31 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 43634 0 0 0 52226 5 0 0 25 0 1 0 889335761 178098176 43083 33554432000 4194304 6245536 140735591680496 18446744073709551615 4323152 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 43481 43083 229 501 0 42977 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 173924

[startup+582.301 s]
/proc/loadavg: 2.00 1.85 1.52 4/178 31028
/proc/meminfo: memFree=31492308/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=178352 CPUtime=582.31 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 44745 0 0 0 58226 5 0 0 25 0 1 0 889335761 182632448 44194 33554432000 4194304 6245536 140735591680496 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 44588 44194 229 501 0 44084 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 178352

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 1.92 1.62 3/178 31035
/proc/meminfo: memFree=31469728/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=200468 CPUtime=822.31 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 50262 0 0 0 82226 5 0 0 25 0 1 0 889335761 205279232 49711 33554432000 4194304 6245536 140735591680496 18446744073709551615 4324247 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 50117 49711 229 501 0 49613 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 200468

[startup+882.3 s]
/proc/loadavg: 2.00 1.94 1.64 3/178 31036
/proc/meminfo: memFree=31467964/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=202316 CPUtime=882.32 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 50712 0 0 0 88226 6 0 0 25 0 1 0 889335761 207171584 50161 33554432000 4194304 6245536 140735591680496 18446744073709551615 4635087 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 50579 50161 229 501 0 50075 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 202316

[startup+942.301 s]
/proc/loadavg: 2.04 1.96 1.66 3/178 31038
/proc/meminfo: memFree=31465816/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=204296 CPUtime=942.32 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 51213 0 0 0 94226 6 0 0 25 0 1 0 889335761 209199104 50662 33554432000 4194304 6245536 140735591680496 18446744073709551615 4635116 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 51074 50662 229 501 0 50570 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 204296

[startup+1002.3 s]
/proc/loadavg: 2.01 1.97 1.68 3/178 31039
/proc/meminfo: memFree=31465168/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=204956 CPUtime=1002.32 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 51398 0 0 0 100226 6 0 0 25 0 1 0 889335761 209874944 50847 33554432000 4194304 6245536 140735591680496 18446744073709551615 4635710 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 51239 50847 229 501 0 50735 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 204956

[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.70 3/178 31041
/proc/meminfo: memFree=31464772/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=205220 CPUtime=1062.32 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 51444 0 0 0 106226 6 0 0 25 0 1 0 889335761 210145280 50893 33554432000 4194304 6245536 140735591680496 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 51305 50893 229 501 0 50801 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 205220

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.72 3/178 31043
/proc/meminfo: memFree=31462636/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=207464 CPUtime=1122.32 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 51994 0 0 0 112226 6 0 0 25 0 1 0 889335761 212443136 51443 33554432000 4194304 6245536 140735591680496 18446744073709551615 4408698 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 51866 51443 229 501 0 51362 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 207464

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/178 31044
/proc/meminfo: memFree=31462844/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=207168 CPUtime=1182.32 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 52229 0 0 0 118226 6 0 0 25 0 1 0 889335761 212140032 51371 33554432000 4194304 6245536 140735591680496 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 51792 51371 229 501 0 51288 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 207168

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/178 31046
/proc/meminfo: memFree=31444844/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=226612 CPUtime=1242.32 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 56592 0 0 0 124225 7 0 0 25 0 1 0 889335761 232050688 55734 33554432000 4194304 6245536 140735591680496 18446744073709551615 4408684 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 56653 55734 229 501 0 56149 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 226612

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/178 31047
/proc/meminfo: memFree=31443792/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=227536 CPUtime=1302.33 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 56847 0 0 0 130226 7 0 0 25 0 1 0 889335761 232996864 55989 33554432000 4194304 6245536 140735591680496 18446744073709551615 4637451 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 56884 55989 229 501 0 56380 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 227536

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/178 31049
/proc/meminfo: memFree=31442400/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=229120 CPUtime=1362.33 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 57223 0 0 0 136226 7 0 0 25 0 1 0 889335761 234618880 56365 33554432000 4194304 6245536 140735591680496 18446744073709551615 4633913 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 57280 56365 229 501 0 56776 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 229120

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.78 3/178 31051
/proc/meminfo: memFree=31441260/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=230308 CPUtime=1422.33 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 57522 0 0 0 142226 7 0 0 25 0 1 0 889335761 235835392 56664 33554432000 4194304 6245536 140735591680496 18446744073709551615 4344686 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 57577 56664 229 501 0 57073 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 230308

[startup+1482.3 s]
/proc/loadavg: 2.06 1.99 1.80 3/178 31052
/proc/meminfo: memFree=31439992/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=231496 CPUtime=1482.33 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 57830 0 0 0 148226 7 0 0 25 0 1 0 889335761 237051904 56972 33554432000 4194304 6245536 140735591680496 18446744073709551615 4608192 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 57874 56972 229 501 0 57370 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 231496

[startup+1542.3 s]
/proc/loadavg: 2.02 1.99 1.81 3/178 31054
/proc/meminfo: memFree=31439352/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=232156 CPUtime=1542.33 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 58327 0 0 0 154226 7 0 0 25 0 1 0 889335761 237727744 57146 33554432000 4194304 6245536 140735591680496 18446744073709551615 4392207 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 58039 57146 229 501 0 57535 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 232156

[startup+1602.3 s]
/proc/loadavg: 2.01 1.99 1.82 3/178 31055
/proc/meminfo: memFree=31438948/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=232684 CPUtime=1602.33 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 58445 0 0 0 160226 7 0 0 25 0 1 0 889335761 238268416 57264 33554432000 4194304 6245536 140735591680496 18446744073709551615 4324981 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 58171 57264 229 501 0 57667 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 232684

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/178 31057
/proc/meminfo: memFree=31437916/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=233476 CPUtime=1662.33 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 58645 0 0 0 166226 7 0 0 25 0 1 0 889335761 239079424 57464 33554432000 4194304 6245536 140735591680496 18446744073709551615 4635135 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 58369 57464 229 501 0 57865 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 233476

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/178 31059
/proc/meminfo: memFree=31438256/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=233320 CPUtime=1722.34 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 59026 0 0 0 172227 7 0 0 25 0 1 0 889335761 238919680 57431 33554432000 4194304 6245536 140735591680496 18446744073709551615 4409816 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 58330 57431 229 501 0 57826 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 233320

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/178 31060
/proc/meminfo: memFree=31437488/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=233716 CPUtime=1782.34 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 59121 0 0 0 178227 7 0 0 25 0 1 0 889335761 239325184 57526 33554432000 4194304 6245536 140735591680496 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 58429 57526 229 501 0 57925 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 233716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.84 2/177 31062
/proc/meminfo: memFree=31446916/32951124 swapFree=67052292/67111528
[pid=31012] ppid=31010 vsize=233848 CPUtime=1800.04 cores=1,3,5,7
/proc/31012/stat : 31012 (clasp) R 31010 31012 26964 0 -1 4202496 59145 0 0 0 179997 7 0 0 25 0 1 0 889335761 239460352 57550 33554432000 4194304 6245536 140735591680496 18446744073709551615 4635064 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31012/statm: 58462 57550 229 501 0 57958 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 233848

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.06
CPU user time (s): 1799.98
CPU system time (s): 0.080987
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 233848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59155
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= 3
involuntary context switches= 2732

runsolver used 2.29465 second user time and 5.8981 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-11 09:29:08
IDJOB=3491918
IDBENCH=48209
IDSOLVER=1981
FILE ID=node108/3491918-1307777348
RUNJOBID= node108-1307777348-30985
PBS_JOBID= 13550852
Free space on /tmp= 74100 MiB

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

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

MD5SUM BENCH= 1af848a7208b60f67c27d4022c7b5abe
RANDOM SEED=1605726127

node108.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.820
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.64
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.820
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	: 5226.15
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.820
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.820
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.77
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.820
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.82
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.820
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.820
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.75
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.820
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31679312 kB
Buffers:        277740 kB
Cached:         747516 kB
SwapCached:      25932 kB
Active:         518648 kB
Inactive:       539900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31679312 kB
SwapTotal:    67111528 kB
SwapFree:     67052292 kB
Dirty:            4308 kB
Writeback:          16 kB
AnonPages:       27748 kB
Mapped:           9836 kB
Slab:           148964 kB
PageTables:       4620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   200256 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= 74096 MiB
End job on node108 at 2011-06-11 09:59:10