Trace number 3469432

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)-67 1800.09 1800.04

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_4.opb
MD5SUM33f66c46bd2eace76f5fa6a5916a23ec
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-70
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -81
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 constraint107
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)75484
Sum of products size (including duplicates)150968
Number of different products37742
Sum of products size75484

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

Verifier Data 

OK	-67

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-3469432-1307098220/watcher-3469432-1307098220 -o /tmp/evaluation-result-3469432-1307098220/solver-3469432-1307098220 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469432-1307098220.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.00 2.01 2.00 2/526 23944
/proc/meminfo: memFree=23058976/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=21292 CPUtime=0.01 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 2900 0 0 0 1 0 0 0 25 0 1 0 802237914 21803008 2539 33554432000 4194304 4933572 140735373119632 18446744073709551615 233509958341 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 5323 2540 318 181 0 2332 0

[startup+0.109565 s]
/proc/loadavg: 2.00 2.01 2.00 2/526 23944
/proc/meminfo: memFree=23058976/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=22632 CPUtime=0.1 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 4243 0 0 0 10 0 0 0 25 0 1 0 802237914 23175168 3014 33554432000 4194304 4933572 140735373119632 18446744073709551615 4648408 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 5658 3014 366 181 0 2667 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 22632

[startup+0.200551 s]
/proc/loadavg: 2.00 2.01 2.00 2/526 23944
/proc/meminfo: memFree=23058976/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=28836 CPUtime=0.19 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 5795 0 0 0 19 0 0 0 25 0 1 0 802237914 29528064 4566 33554432000 4194304 4933572 140735373119632 18446744073709551615 4320067 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 7209 4566 372 181 0 4218 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28836

[startup+0.300544 s]
/proc/loadavg: 2.00 2.01 2.00 2/526 23944
/proc/meminfo: memFree=23058976/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=33324 CPUtime=0.28 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 6899 0 0 0 28 0 0 0 25 0 1 0 802237914 34123776 5670 33554432000 4194304 4933572 140735373119632 18446744073709551615 233509958341 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 8331 5671 373 181 0 5340 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 33324

[startup+0.700476 s]
/proc/loadavg: 2.00 2.01 2.00 2/526 23944
/proc/meminfo: memFree=23058976/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=50948 CPUtime=0.69 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 11314 0 0 0 67 2 0 0 25 0 1 0 802237914 52170752 10085 33554432000 4194304 4933572 140735373119632 18446744073709551615 233509958341 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 12737 10085 373 181 0 9746 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50948

[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 23945
/proc/meminfo: memFree=23002680/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=78100 CPUtime=1.48 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 18099 0 0 0 146 2 0 0 25 0 1 0 802237914 79974400 16832 33554432000 4194304 4933572 140735373119632 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 19525 16832 374 181 0 16534 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 78100

[startup+3.10105 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 23945
/proc/meminfo: memFree=22990032/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=85096 CPUtime=3.09 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 19839 0 0 0 306 3 0 0 25 0 1 0 802237914 87138304 18572 33554432000 4194304 4933572 140735373119632 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 21274 18572 374 181 0 18283 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85096

[startup+6.30044 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 23946
/proc/meminfo: memFree=22969284/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=99196 CPUtime=6.29 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 23372 0 0 0 625 4 0 0 25 0 1 0 802237914 101576704 22105 33554432000 4194304 4933572 140735373119632 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 24799 22105 374 181 0 21808 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99196

[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.01 3/527 23946
/proc/meminfo: memFree=22948208/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=119396 CPUtime=12.69 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 28419 0 0 0 1265 4 0 0 25 0 1 0 802237914 122261504 27152 33554432000 4194304 4933572 140735373119632 18446744073709551615 4341559 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 29849 27152 374 181 0 26858 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 119396

[startup+25.501 s]
/proc/loadavg: 1.99 2.01 2.00 3/527 23974
/proc/meminfo: memFree=22919824/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=143016 CPUtime=25.49 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 34340 0 0 0 2543 6 0 0 25 0 1 0 802237914 146448384 33073 33554432000 4194304 4933572 140735373119632 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 35754 33073 374 181 0 32763 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 143016

[startup+51.1004 s]
/proc/loadavg: 1.99 2.00 2.00 3/527 23975
/proc/meminfo: memFree=22890292/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=159296 CPUtime=51.09 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 38380 0 0 0 5102 7 0 0 25 0 1 0 802237914 163119104 37113 33554432000 4194304 4933572 140735373119632 18446744073709551615 4341552 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 39824 37113 374 181 0 36833 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 159296

[startup+102.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/527 23976
/proc/meminfo: memFree=22840020/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=196712 CPUtime=102.31 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 47676 0 0 0 10223 8 0 0 25 0 1 0 802237914 201433088 46409 33554432000 4194304 4933572 140735373119632 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 49178 46409 374 181 0 46187 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 196712

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/527 23978
/proc/meminfo: memFree=22810956/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=219096 CPUtime=162.3 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 53276 0 0 0 16221 9 0 0 25 0 1 0 802237914 224354304 52009 33554432000 4194304 4933572 140735373119632 18446744073709551615 4342106 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 54774 52009 374 181 0 51783 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 219096

[startup+222.32 s]
/proc/loadavg: 1.99 2.00 2.00 3/527 23979
/proc/meminfo: memFree=22778296/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=245364 CPUtime=222.31 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 59864 0 0 0 22222 9 0 0 25 0 1 0 802237914 251252736 58597 33554432000 4194304 4933572 140735373119632 18446744073709551615 4341578 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 61341 58597 374 181 0 58350 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 245364

[startup+282.301 s]
/proc/loadavg: 2.24 2.07 2.02 3/527 23981
/proc/meminfo: memFree=22773660/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=248268 CPUtime=282.3 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 60609 0 0 0 28220 10 0 0 25 0 1 0 802237914 254226432 59342 33554432000 4194304 4933572 140735373119632 18446744073709551615 4622134 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 62067 59342 374 181 0 59076 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 248268

[startup+342.301 s]
/proc/loadavg: 2.17 2.08 2.03 3/527 23983
/proc/meminfo: memFree=22741616/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=273860 CPUtime=342.3 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 66979 0 0 0 34220 10 0 0 25 0 1 0 802237914 280432640 65712 33554432000 4194304 4933572 140735373119632 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 68465 65712 374 181 0 65474 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 273860

[startup+402.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/527 23984
/proc/meminfo: memFree=22735736/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=278040 CPUtime=402.3 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 68011 0 0 0 40220 10 0 0 25 0 1 0 802237914 284712960 66744 33554432000 4194304 4933572 140735373119632 18446744073709551615 4359769 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 69510 66744 374 181 0 66519 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 278040

[startup+462.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/527 23986
/proc/meminfo: memFree=22734820/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=278040 CPUtime=462.3 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 68044 0 0 0 46220 10 0 0 25 0 1 0 802237914 284712960 66777 33554432000 4194304 4933572 140735373119632 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 69510 66777 374 181 0 66519 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 278040

[startup+522.301 s]
/proc/loadavg: 2.01 2.04 2.01 3/527 23987
/proc/meminfo: memFree=22702776/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=305172 CPUtime=522.3 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 74829 0 0 0 52219 11 0 0 25 0 1 0 802237914 312496128 73562 33554432000 4194304 4933572 140735373119632 18446744073709551615 4622150 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 76293 73562 374 181 0 73302 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 305172

[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 23989
/proc/meminfo: memFree=22698900/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=307020 CPUtime=582.3 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 75280 0 0 0 58219 11 0 0 25 0 1 0 802237914 314388480 74013 33554432000 4194304 4933572 140735373119632 18446744073709551615 4341568 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 76755 74013 374 181 0 73764 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 307020

[startup+642.3 s]

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

[startup+882.32 s]
/proc/loadavg: 2.18 2.09 2.02 3/527 24006
/proc/meminfo: memFree=22654588/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=341976 CPUtime=882.34 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 84042 0 0 0 88221 13 0 0 25 0 1 0 802237914 350183424 82775 33554432000 4194304 4933572 140735373119632 18446744073709551615 4342106 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 85494 82775 374 181 0 82503 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 341976

[startup+942.3 s]
/proc/loadavg: 2.07 2.07 2.02 3/527 24008
/proc/meminfo: memFree=22652932/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=343296 CPUtime=942.32 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 84366 0 0 0 94219 13 0 0 25 0 1 0 802237914 351535104 83099 33554432000 4194304 4933572 140735373119632 18446744073709551615 4341613 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 85824 83099 374 181 0 82833 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 343296

[startup+1002.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/527 24009
/proc/meminfo: memFree=22652148/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=343560 CPUtime=1002.32 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 84461 0 0 0 100219 13 0 0 25 0 1 0 802237914 351805440 83194 33554432000 4194304 4933572 140735373119632 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 85890 83194 374 181 0 82899 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 343560

[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/527 24011
/proc/meminfo: memFree=22649256/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=346464 CPUtime=1062.32 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 85164 0 0 0 106219 13 0 0 25 0 1 0 802237914 354779136 83897 33554432000 4194304 4933572 140735373119632 18446744073709551615 4328783 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 86616 83897 374 181 0 83625 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 346464

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 24012
/proc/meminfo: memFree=22642504/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=346728 CPUtime=1122.32 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 85252 0 0 0 112219 13 0 0 25 0 1 0 802237914 355049472 83985 33554432000 4194304 4933572 140735373119632 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 86682 83985 374 181 0 83691 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 346728

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 24014
/proc/meminfo: memFree=22608220/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=380984 CPUtime=1182.32 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 93182 0 0 0 118218 14 0 0 25 0 1 0 802237914 390127616 91915 33554432000 4194304 4933572 140735373119632 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 95246 91915 374 181 0 92255 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 380984

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24016
/proc/meminfo: memFree=22604444/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=382832 CPUtime=1242.32 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 93662 0 0 0 124218 14 0 0 25 0 1 0 802237914 392019968 92395 33554432000 4194304 4933572 140735373119632 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 95708 92395 374 181 0 92717 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 382832

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 24017
/proc/meminfo: memFree=22600288/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=387716 CPUtime=1302.32 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 94875 0 0 0 130218 14 0 0 25 0 1 0 802237914 397021184 93608 33554432000 4194304 4933572 140735373119632 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 96929 93608 374 181 0 93938 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 387716

[startup+1362.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/527 24019
/proc/meminfo: memFree=22598120/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=389036 CPUtime=1362.32 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 95196 0 0 0 136218 14 0 0 25 0 1 0 802237914 398372864 93929 33554432000 4194304 4933572 140735373119632 18446744073709551615 4330736 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 97259 93929 374 181 0 94268 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 389036

[startup+1422.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/527 24020
/proc/meminfo: memFree=22598192/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=389960 CPUtime=1422.34 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 95424 0 0 0 142220 14 0 0 25 0 1 0 802237914 399319040 94157 33554432000 4194304 4933572 140735373119632 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 97490 94157 374 181 0 94499 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 389960

[startup+1482.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/527 24022
/proc/meminfo: memFree=22596532/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=389960 CPUtime=1482.33 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 95436 0 0 0 148219 14 0 0 25 0 1 0 802237914 399319040 94169 33554432000 4194304 4933572 140735373119632 18446744073709551615 4622154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 97490 94169 374 181 0 94499 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 389960

[startup+1542.32 s]
/proc/loadavg: 2.03 2.06 2.01 3/527 24024
/proc/meminfo: memFree=22595100/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=392072 CPUtime=1542.35 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 95963 0 0 0 154221 14 0 0 25 0 1 0 802237914 401481728 94696 33554432000 4194304 4933572 140735373119632 18446744073709551615 4341648 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 98018 94696 374 181 0 95027 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 392072

[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/527 24025
/proc/meminfo: memFree=22594928/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=392468 CPUtime=1602.33 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 96056 0 0 0 160219 14 0 0 25 0 1 0 802237914 401887232 94789 33554432000 4194304 4933572 140735373119632 18446744073709551615 4361992 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 98117 94789 374 181 0 95126 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 392468

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 24027
/proc/meminfo: memFree=22592900/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=394052 CPUtime=1662.34 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 96460 0 0 0 166219 15 0 0 25 0 1 0 802237914 403509248 95193 33554432000 4194304 4933572 140735373119632 18446744073709551615 4341648 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 98513 95193 374 181 0 95522 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 394052

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24028
/proc/meminfo: memFree=22586032/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=394052 CPUtime=1722.34 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 96460 0 0 0 172219 15 0 0 25 0 1 0 802237914 403509248 95193 33554432000 4194304 4933572 140735373119632 18446744073709551615 4632764 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 98513 95193 374 181 0 95522 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 394052

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24030
/proc/meminfo: memFree=22582132/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=395240 CPUtime=1782.34 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 96753 0 0 0 178219 15 0 0 25 0 1 0 802237914 404725760 95486 33554432000 4194304 4933572 140735373119632 18446744073709551615 233509958341 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 98810 95486 374 181 0 95819 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 395240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24030
/proc/meminfo: memFree=22552600/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=423100 CPUtime=1800.06 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 103706 0 0 0 179990 16 0 0 25 0 1 0 802237914 433254400 102439 33554432000 4194304 4933572 140735373119632 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 105775 102439 374 181 0 102784 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 423100

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

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

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24030
/proc/meminfo: memFree=22552600/32951124 swapFree=64303760/67111528
[pid=23944] ppid=23942 vsize=423100 CPUtime=1800.06 cores=0,2,4,6
/proc/23944/stat : 23944 (clasp) R 23942 23944 23633 0 -1 4202496 103706 0 0 0 179990 16 0 0 25 0 1 0 802237914 433254400 102439 33554432000 4194304 4933572 140735373119632 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23944/statm: 105775 102439 374 181 0 102784 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 423100

Child status: 10
Real time (s): 1800.04
CPU time (s): 1800.09
CPU user time (s): 1799.91
CPU system time (s): 0.179972
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 423100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103718
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= 10
involuntary context switches= 2885

runsolver used 10.0555 second user time and 21.0608 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-03 12:50:21
IDJOB=3469432
IDBENCH=48214
IDSOLVER=1959
FILE ID=node145/3469432-1307098220
RUNJOBID= node145-1307094604-23651
PBS_JOBID= 13498004
Free space on /tmp= 73956 MiB

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

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

MD5SUM BENCH= 33f66c46bd2eace76f5fa6a5916a23ec
RANDOM SEED=775395253

node145.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.786
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.57
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.786
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.786
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.786
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.83
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.786
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.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23059256 kB
Buffers:        225276 kB
Cached:         390616 kB
SwapCached:        944 kB
Active:        9331316 kB
Inactive:       292424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23059256 kB
SwapTotal:    67111528 kB
SwapFree:     64303760 kB
Dirty:            1620 kB
Writeback:           0 kB
AnonPages:     9006480 kB
Mapped:          34832 kB
Slab:           132784 kB
PageTables:      65932 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 153246508 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= 73956 MiB
End job on node145 at 2011-06-03 13:20:23