Trace number 357194

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, and are wall clock time (not CPU 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
oree 0.1.2 alphaSAT (TO)-32 1800.32 1800.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
MD5SUMe1b2be59a127acc8d929395698929541
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -45
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58549
Number of constraints which are clauses58549
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
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 945
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 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.39/0.41	c ...done
0.39/0.41	c #vars=945 #constraints=58550 hasObjective=yes
0.59/0.65	c res. mode=mod
0.59/0.65	c VSIDS like heuristics
0.59/0.65	c complete search running
0.59/0.69	c nbDecision=31 #constraints=58550
0.59/0.69	c linear search for optimum
0.59/0.69	o -31
3.89/3.91	c nbDecision=387 #constraints=58877
3.89/3.91	o -32
3.99/4.08	c restart after 401 decisions
5.09/5.19	c nbDecision=500 #constraints=58966
8.69/8.74	c restart after 801 decisions
11.09/11.13	c nbDecision=1000 #constraints=59378
18.39/18.47	c nbDecision=1500 #constraints=59814
20.28/20.33	c restart after 1601 decisions
27.88/27.97	c nbDecision=2000 #constraints=60252
39.18/39.21	c nbDecision=2500 #constraints=60736
51.17/51.28	c nbDecision=3000 #constraints=61183
56.07/56.11	c restart after 3201 decisions
67.87/67.95	c nbDecision=3500 #constraints=61611
84.87/84.92	c nbDecision=4000 #constraints=62043
99.97/100.08	c nbDecision=4500 #constraints=62458
117.86/117.96	c nbDecision=5000 #constraints=62854
137.25/137.36	c nbDecision=5500 #constraints=63266
163.94/164.09	c nbDecision=6000 #constraints=63720
189.34/189.40	c restart after 6401 decisions
199.23/199.39	c nbDecision=6500 #constraints=64164
228.73/228.86	c nbDecision=7000 #constraints=64622
259.01/259.15	c nbDecision=7500 #constraints=65089
290.00/290.18	c nbDecision=8000 #constraints=65570
322.00/322.12	c nbDecision=8500 #constraints=66022
354.38/354.55	c nbDecision=9000 #constraints=66492
392.97/393.10	c nbDecision=9500 #constraints=66962
441.86/442.08	c nbDecision=10000 #constraints=67452
488.94/489.10	c nbDecision=10500 #constraints=67933
540.13/540.31	c nbDecision=11000 #constraints=68419
588.95/589.28	c nbDecision=11500 #constraints=68894
635.90/636.25	c nbDecision=12000 #constraints=69383
688.18/688.57	c nbDecision=12500 #constraints=69864
720.66/721.02	c restart after 12801 decisions
750.56/750.90	c nbDecision=13000 #constraints=70325
806.44/806.88	c nbDecision=13500 #constraints=70799
861.23/861.67	c nbDecision=14000 #constraints=71258
907.22/907.60	c nbDecision=14500 #constraints=71691
964.30/964.78	c nbDecision=15000 #constraints=72174
1023.38/1023.87	c nbDecision=15500 #constraints=72644
1087.26/1087.74	c nbDecision=16000 #constraints=73117
1148.94/1149.44	c nbDecision=16500 #constraints=73581
1207.33/1207.81	c nbDecision=17000 #constraints=74040
1272.11/1272.61	c nbDecision=17500 #constraints=74524
1345.19/1345.77	c nbDecision=18000 #constraints=75013
1417.27/1417.88	c nbDecision=18500 #constraints=75481
1492.94/1493.56	c nbDecision=19000 #constraints=75976
1566.52/1567.12	c nbDecision=19500 #constraints=76468
1637.10/1637.76	c nbDecision=20000 #constraints=76889
1720.68/1721.34	c nbDecision=20500 #constraints=77359
1800.06/1800.70	Received signal 15
1800.15/1800.80	
1800.15/1800.80	s SATISFIABLE
1800.15/1800.80	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.15/1800.80	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.15/1800.80	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1800.15/1800.80	v -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.15/1800.80	v -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.15/1800.80	v -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.15/1800.80	v -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.15/1800.80	v -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.15/1800.80	v -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.15/1800.80	v x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.15/1800.80	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.15/1800.80	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.15/1800.80	v -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.15/1800.80	v -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.15/1800.80	v x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.15/1800.80	v -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.15/1800.80	v x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.15/1800.80	v -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.15/1800.80	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.15/1800.80	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.15/1800.80	v -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.15/1800.80	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.15/1800.80	v -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.15/1800.80	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.15/1800.80	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.15/1800.80	v x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.15/1800.80	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.15/1800.80	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.15/1800.80	v -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.15/1800.80	v x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.15/1800.80	v -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.15/1800.80	v -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.15/1800.80	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714
1800.15/1800.80	v -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.15/1800.80	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.15/1800.80	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.15/1800.80	v -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
1800.15/1800.80	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819
1800.15/1800.80	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.15/1800.80	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.15/1800.80	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
1800.15/1800.80	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1800.15/1800.80	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1800.15/1800.80	v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.15/1800.80	
1800.15/1800.80	c user time= 1799.05 s
1800.15/1800.80	c system time= 1.11783 s
1800.15/1800.80	c wall clock time=1800.81

Verifier Data (download as text)

OK	-32

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node6/watcher-357194-1176990695 -o ROOT/results/node6/solver-357194-1176990695 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357194-1176990695/instance-357194-1176990695.opb mod 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 5894
/proc/meminfo: memFree=1282680/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=1468 CPUtime=0
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 175107182 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134987055 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 367 163 130 317 0 46 0

[startup+0.0878711 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 5894
/proc/meminfo: memFree=1282680/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=3352 CPUtime=0.08
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 635 0 0 0 8 0 0 0 18 0 1 0 175107182 3432448 617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 838 617 130 317 0 517 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3352

[startup+0.101872 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 5894
/proc/meminfo: memFree=1282680/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=3616 CPUtime=0.09
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 711 0 0 0 9 0 0 0 18 0 1 0 175107182 3702784 693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 904 693 130 317 0 583 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3616

[startup+0.301896 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 5894
/proc/meminfo: memFree=1282680/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=7968 CPUtime=0.29
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 1818 0 0 0 29 0 0 0 19 0 1 0 175107182 8159232 1767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 1992 1767 130 317 0 1671 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7968

[startup+0.701943 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 5894
/proc/meminfo: memFree=1282680/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=19536 CPUtime=0.69
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 4140 0 0 0 68 1 0 0 23 0 1 0 175107182 20004864 4089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 4884 4091 139 317 0 4563 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19536

[startup+1.50104 s]
/proc/loadavg: 0.91 0.95 0.90 2/78 5895
/proc/meminfo: memFree=1266672/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=20752 CPUtime=1.49
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 5081 0 0 0 147 2 0 0 25 0 1 0 175107182 21250048 4629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 5188 4629 170 317 0 4867 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20752

[startup+3.10122 s]
/proc/loadavg: 0.91 0.95 0.90 2/78 5895
/proc/meminfo: memFree=1261616/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=27188 CPUtime=3.09
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 6687 0 0 0 306 3 0 0 25 0 1 0 175107182 27840512 6235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 6797 6235 170 317 0 6476 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27188

[startup+6.3016 s]
/proc/loadavg: 0.92 0.95 0.90 2/78 5895
/proc/meminfo: memFree=1249904/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=37892 CPUtime=6.29
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 9343 0 0 0 626 3 0 0 25 0 1 0 175107182 38801408 8891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 9473 8891 170 317 0 9152 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37892

[startup+12.7013 s]
/proc/loadavg: 0.93 0.95 0.90 2/78 5895
/proc/meminfo: memFree=1230960/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=55748 CPUtime=12.68
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 13831 0 0 0 1262 6 0 0 25 0 1 0 175107182 57085952 13379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 13937 13379 170 317 0 13616 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 55748

[startup+25.5018 s]
/proc/loadavg: 0.94 0.96 0.91 2/78 5895
/proc/meminfo: memFree=1200432/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=85184 CPUtime=25.49
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 21195 0 0 0 2540 9 0 0 25 0 1 0 175107182 87228416 20743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 21296 20743 170 317 0 20975 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85184

[startup+51.1018 s]
/proc/loadavg: 0.96 0.96 0.91 2/78 5895
/proc/meminfo: memFree=1154096/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=135120 CPUtime=51.07
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 32834 0 0 0 5093 14 0 0 25 0 1 0 175107182 138362880 32382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 33780 32382 170 317 0 33459 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 135120

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.91 2/78 5895
/proc/meminfo: memFree=1104368/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=180632 CPUtime=102.27
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 45061 0 0 0 10207 20 0 0 25 0 1 0 175107182 184967168 44609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 45158 44609 170 317 0 44837 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 180632

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5895
/proc/meminfo: memFree=1045040/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=249536 CPUtime=162.24
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 59969 0 0 0 16196 28 0 0 25 0 1 0 175107182 255524864 59517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 62384 59517 170 317 0 62063 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 249536

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5895
/proc/meminfo: memFree=1013552/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=277684 CPUtime=222.22
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 67730 0 0 0 22189 33 0 0 25 0 1 0 175107182 284348416 67278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 69421 67278 170 317 0 69100 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 277684

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5895
/proc/meminfo: memFree=978672/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=309672 CPUtime=282.21
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 76530 0 0 0 28183 38 0 0 25 0 1 0 175107182 317104128 76078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 77418 76078 170 317 0 77097 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 309672

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5895
/proc/meminfo: memFree=946672/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=338692 CPUtime=342.19
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 84460 0 0 0 34178 41 0 0 25 0 1 0 175107182 346820608 83943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 84673 83943 170 317 0 84352 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 338692

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5895
/proc/meminfo: memFree=891696/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=421812 CPUtime=402.17
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 98197 0 0 0 40170 47 0 0 25 0 1 0 175107182 431935488 97680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 105453 97680 170 317 0 105132 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 421812

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5895
/proc/meminfo: memFree=869104/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=443084 CPUtime=462.15
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 103818 0 0 0 46165 50 0 0 25 0 1 0 175107182 453718016 103301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 110771 103301 170 317 0 110450 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 443084

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5895
/proc/meminfo: memFree=847280/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=463444 CPUtime=522.13
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 109311 0 0 0 52160 53 0 0 25 0 1 0 175107182 474566656 108794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 115861 108794 170 317 0 115540 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 463444

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/84 6003
/proc/meminfo: memFree=822528/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=483340 CPUtime=582.06
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 115134 0 0 0 58149 57 0 0 25 0 1 0 175107182 494940160 114617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 120835 114617 170 317 0 120514 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 483340

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=800816/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=504728 CPUtime=641.99
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 120799 0 0 0 64139 60 0 0 25 0 1 0 175107182 516841472 120282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 126182 120282 170 317 0 125861 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 504728


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=704304/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=592504 CPUtime=941.9
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 144934 0 0 0 94115 75 0 0 25 0 1 0 175107182 606724096 144417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 148126 144417 170 317 0 147805 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 592504

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=686000/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=608936 CPUtime=1001.89
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 149471 0 0 0 100112 77 0 0 25 0 1 0 175107182 623550464 148954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711020 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 152234 148954 170 317 0 151913 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 608936

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=668848/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=624420 CPUtime=1061.87
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 153785 0 0 0 106108 79 0 0 25 0 1 0 175107182 639406080 153268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 156105 153268 170 317 0 155784 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 624420

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=653424/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=639692 CPUtime=1121.85
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 157635 0 0 0 112104 81 0 0 25 0 1 0 175107182 655044608 157118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 159923 157118 170 317 0 159602 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 639692

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=636272/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=655000 CPUtime=1181.84
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 161920 0 0 0 118100 84 0 0 25 0 1 0 175107182 670720000 161403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 163750 161403 170 317 0 163429 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 655000

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=617968/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=671404 CPUtime=1241.81
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 166464 0 0 0 124095 86 0 0 25 0 1 0 175107182 687517696 165947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 167851 165947 170 317 0 167530 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 671404

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=601392/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=686044 CPUtime=1301.8
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 170593 0 0 0 130092 88 0 0 25 0 1 0 175107182 702509056 170076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 171511 170076 170 317 0 171190 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 686044

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=559664/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=810004 CPUtime=1361.78
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 195462 0 0 0 136081 97 0 0 25 0 1 0 175107182 829444096 180458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 202501 180458 170 317 0 202180 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 810004

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=543344/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=823704 CPUtime=1421.76
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 199550 0 0 0 142077 99 0 0 25 0 1 0 175107182 843472896 184480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 205926 184480 170 317 0 205605 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 823704

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=530224/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=837668 CPUtime=1481.74
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 203033 0 0 0 148073 101 0 0 25 0 1 0 175107182 857772032 187798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 209417 187798 170 317 0 209096 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 837668

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=513008/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=852288 CPUtime=1541.72
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 207364 0 0 0 154069 103 0 0 25 0 1 0 175107182 872742912 192096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 213072 192096 170 317 0 212751 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 852288

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=497840/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=864904 CPUtime=1601.71
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 211190 0 0 0 160066 105 0 0 25 0 1 0 175107182 885661696 195889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 216226 195889 170 317 0 215905 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 864904

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=483184/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=876992 CPUtime=1661.69
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 214887 0 0 0 166062 107 0 0 25 0 1 0 175107182 898039808 199553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 219248 199553 170 317 0 218927 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 876992

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=471856/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=888536 CPUtime=1721.68
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 217796 0 0 0 172059 109 0 0 25 0 1 0 175107182 909860864 202396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718454 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 222134 202396 170 317 0 221813 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 888536

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=458864/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=898724 CPUtime=1781.65
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 220979 0 0 0 178055 110 0 0 25 0 1 0 175107182 920293376 205579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 224681 205579 170 317 0 224360 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 898724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=456048/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=901784 CPUtime=1800.06
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 221737 0 0 0 179895 111 0 0 25 0 1 0 175107182 923426816 206271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 225446 206271 170 317 0 225125 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 901784

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=456048/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=901784 CPUtime=1800.15
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194304 221738 0 0 0 179904 111 0 0 25 0 1 0 175107182 923426816 206272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277002 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 225446 206272 170 317 0 225125 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 901784

[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 6093
/proc/meminfo: memFree=456048/2055924 swapFree=4146716/4192956
[pid=5894] ppid=5892 vsize=0 CPUtime=1800.25
/proc/5894/stat : 5894 (oree) R 5892 5894 5792 0 -1 4194308 221754 0 0 0 179906 119 0 0 25 0 1 0 175107182 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5894/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.96
CPU time (s): 1800.32
CPU user time (s): 1799.06
CPU system time (s): 1.25281
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 901784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.25281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221754
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= 8
involuntary context switches= 3001

runsolver used 2.11768 second user time and 4.42133 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Thu Apr 19 13:51:35 UTC 2007

IDJOB= 357194
IDBENCH= 2253
IDSOLVER= 172
FILE ID= node6/357194-1176990695

PBS_JOBID= 4630457

Free space on /tmp= 66417 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
COMMAND LINE= oree /tmp/evaluation/357194-1176990695/instance-357194-1176990695.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-357194-1176990695 -o ROOT/results/node6/solver-357194-1176990695 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357194-1176990695/instance-357194-1176990695.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  e1b2be59a127acc8d929395698929541

RANDOM SEED= 163983215

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1283152 kB
Buffers:         37692 kB
Cached:         669780 kB
SwapCached:      13600 kB
Active:         267296 kB
Inactive:       462936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1283152 kB
SwapTotal:     4192956 kB
SwapFree:      4146716 kB
Dirty:            2752 kB
Writeback:           0 kB
Mapped:          29824 kB
Slab:            28172 kB
Committed_AS:  6940772 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66417 MiB

End job on node6 on Thu Apr 19 14:21:38 UTC 2007