Trace number 351477

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
PB-clasp 2007-04-10SAT (TO)493 1801.99 1803.03

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-gesa2.opb
MD5SUM1f57d7f7253e44124d4d26029bd38b8a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark493
Best CPU time to get the best result obtained on this benchmark1801.99
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 424
Optimality of the best value was proved NO
Number of variables19344
Total number of constraints1824
Number of constraints which are clauses48
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1776
Minimum length of a constraint2
Maximum length of a constraint309
Number of terms in the objective function 13488
Biggest coefficient in the objective function 1219
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 535560
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 535560
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

10.75/10.90	o 493
1800.01/1801.01	c Somebody sent me a SIGTERM
1800.01/1801.01	s SATISFIABLE
1800.01/1801.01	v x1398 x3405 x4060 x4061 x4062 x4063 x4066 x4351 x4382 x4385 x4386 x4389 x4390 x4423 x4424 x4427 x4428 x4431 x4440 x4442 x4443
1800.01/1801.01	v x4444 x4462 x4465 x4466 x4469 x4470 x4488 x4504 x4505 x4507 x4508 x4511 x4526 x4527 x4528 x4529 x4542 x4545 x4546 x4549 x4550
1800.01/1801.01	v x4583 x4584 x4587 x4588 x4591 x4622 x4625 x4626 x4629 x4630 x4693 x4694 x4697 x4698 x4701 x4732 x4735 x4736 x4739 x4740 x4757
1800.01/1801.01	v x4773 x4774 x4852 x4882 x4940 x4941 x4973 x5004 x5025 x5026 x5027 x5029 x5030 x5031 x5033 x5034 x5182 x5272 x5302 x5390 x5391
1800.01/1801.01	v x5423 x5445 x5446 x5447 x5449 x5450 x5451 x5453 x5454 x5602 x5722 x5752 x5810 x5811 x5843 x5865 x5866 x5867 x5869 x5870 x5871
1800.01/1801.01	v x5873 x5874 x6052 x6142 x6172 x6230 x6231 x6263 x6288 x6290 x6291 x6292 x6293 x6294 x6558 x6560 x6562 x6592 x6680 x6681 x6713
1800.01/1801.01	v x6740 x6741 x6742 x6743 x6744 x6892 x7012 x7042 x7100 x7101 x7133 x7160 x7161 x7162 x7163 x7164 x7372 x7462 x7492 x7550 x7551
1800.01/1801.01	v x7583 x7610 x7611 x7612 x7613 x7614 x7672 x7792 x7882 x7912 x7970 x7971 x8033 x8058 x8060 x8061 x8062 x8063 x8064 x8212 x8300
1800.01/1801.01	v x8302 x8362 x8393 x8414 x8415 x8416 x8417 x8453 x8478 x8480 x8481 x8482 x8483 x8484 x8632 x8660 x8661 x8750 x8752 x8782 x8813
1800.01/1801.01	v x8839 x8840 x8841 x8873 x8895 x8896 x8897 x8899 x8900 x8901 x8903 x8904 x9082 x9172 x9202 x9233 x9259 x9260 x9261 x9293 x9323
1800.01/1801.01	v x9324 x9348 x9350 x9351 x9352 x9353 x9354 x9502 x9592 x9622 x9709 x9710 x9711 x9743 x9764 x9765 x9766 x9767 x9769 x9770 x9771
1800.01/1801.01	v x9773 x9774 x9922 x10042 x10072 x10129 x10130 x10131 x10163 x10185 x10186 x10187 x10189 x10190 x10191 x10193 x10194 x10458
1800.01/1801.01	v x10460 x10462 x10492 x10550 x10551 x10583 x10608 x10610 x10611 x10612 x10613 x10614 x10910 x10912 x10942 x11028 x11029
1800.01/1801.01	v x11030 x11063 x11092 x11093 x11094 x11115 x11148 x11149 x11150 x11157 x11198 x11199 x11205 x11208 x11225 x11249 x11250
1800.01/1801.01	v x11253 x11256 x11288 x11298 x11301 x11317 x11334 x11337 x11339 x11359 x11360 x11379 x11382 x11385 x11388 x11390 x11430
1800.01/1801.01	v x11433 x11436 x11439 x11452 x11453 x11454 x11455 x11456 x11457 x11471 x11481 x11483 x11484 x11547 x11550 x11553 x11556
1800.01/1801.01	v x11558 x11561 x11592 x11595 x11604 x11642 x11645 x11646 x11651 x11653 x11655 x11690 x11696 x11697 x11698 x11699 x11733
1800.01/1801.01	v x11734 x11736 x11741 x11777 x11778 x11779 x11780 x11784 x11785 x11787 x11806 x11822 x11828 x11829 x11830 x11831 x11835
1800.01/1801.01	v x11836 x11838 x11853 x11854 x11873 x11879 x11880 x11881 x11882 x11886 x11917 x11919 x11930 x11931 x11947 x11962 x11963
1800.01/1801.01	v x11967 x11968 x11970 x11975 x12019 x12020 x12041 x12042 x12043 x12044 x12048 x12049 x12051 x12086 x12092 x12093 x12094
1800.01/1801.01	v x12095 x12099 x12100 x12112 x12113 x12114 x12115 x12116 x12117 x12132 x12137 x12143 x12144 x12145 x12146 x12180 x12181
1800.01/1801.01	v x12183 x12188 x12224 x12225 x12226 x12227 x12229 x12230 x12232 x12234 x12269 x12275 x12276 x12277 x12278 x12280 x12282
1800.01/1801.01	v x12283 x12285 x12320 x12326 x12327 x12328 x12329 x12331 x12363 x12364 x12366 x12371 x12407 x12408 x12409 x12410 x12414
1800.01/1801.01	v x12415 x12417 x12436 x12452 x12458 x12459 x12460 x12461 x12465 x12466 x12468 x12513 x12514 x12539 x12540 x12541 x12542
1800.01/1801.01	v x12546 x12577 x12579 x12590 x12591 x12607 x12622 x12623 x12626 x12628 x12630 x12699 x12700 x12740 x12933 x12969 x12992
1800.01/1801.01	v x12993 x12994 x12995 x12996 x12997 x13168 x13313 x13717 x13718 x13719 x13720 x13723 x13724 x13725 x13928 x13987 x14020
1800.01/1801.01	v x14046 x14072 x14085 x14192 x14193 x14194 x14290 x14326 x14367 x14434 x14487 x14512 x14513 x14537 x14629 x14630 x14922
1800.01/1801.01	v x14923 x14924 x14925 x14926 x14927 x15214 x15215 x15216 x15429 x15976 x16063 x16123 x16125 x16256 x16417 x16559 x16560
1800.01/1801.01	v x16707 x16709 x16886 x16887 x16888 x17379 x18040 x18368 x18369 x18688 x18689 x18690 x18691 x18692 x18693 x18694 x18695
1800.01/1801.01	v x18696 x18697 x19029
1800.01/1801.02	pb2clasp1: no process killed
12.87/1803.02	sh: line 1:  8178 Done                    cat /tmp/evaluation/351477-1176602709/temp/instance-351477-1176602709.opb.op
12.87/1803.02	      8179 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/351477-1176602709/temp/instance-351477-1176602709.opb.clasp

Verifier Data (download as text)

OK	493

Conversion Script Data (download as text)

/tmp/evaluation/351477-1176602709/instance-351477-1176602709.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node29/watcher-351477-1176602709 -o ROOT/results/node29/solver-351477-1176602709 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351477-1176602709.opb /tmp/evaluation/351477-1176602709/temp 

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.92 1.00 0.99 3/77 5875
/proc/meminfo: memFree=1802672/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=12268 CPUtime=0
/proc/5875/stat : 5875 (pbclasp) D 5873 5875 4606 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 108186692 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780867685 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/5875/statm: 3067 317 242 3 0 167 0

[startup+0.035391 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 5875
/proc/meminfo: memFree=1802672/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=13980 CPUtime=0.03
/proc/5875/stat : 5875 (pbclasp) R 5873 5875 4606 0 -1 4194304 1757 0 0 0 2 1 0 0 18 0 1 0 108186692 14315520 832 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579754 0 0 4224 16384 0 0 0 17 1 0 0
/proc/5875/statm: 3495 832 332 3 0 595 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13980

[startup+0.101396 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 5875
/proc/meminfo: memFree=1802672/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=14044 CPUtime=0.09
/proc/5875/stat : 5875 (pbclasp) R 5873 5875 4606 0 -1 4194304 4270 0 0 0 8 1 0 0 18 0 1 0 108186692 14381056 838 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221794733832 0 0 4224 16384 0 0 0 17 1 0 0
/proc/5875/statm: 3511 838 320 3 0 611 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14044

[startup+0.301408 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 5875
/proc/meminfo: memFree=1802672/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=14176 CPUtime=0.29
/proc/5875/stat : 5875 (pbclasp) R 5873 5875 4606 0 -1 4194304 4298 0 0 0 28 1 0 0 19 0 1 0 108186692 14516224 866 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780580224 0 0 4224 16384 0 0 0 17 1 0 0
/proc/5875/statm: 3544 866 320 3 0 644 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14176

[startup+0.701432 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 5875
/proc/meminfo: memFree=1802672/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=14440 CPUtime=0.69
/proc/5875/stat : 5875 (pbclasp) R 5873 5875 4606 0 -1 4194304 4367 0 0 0 68 1 0 0 22 0 1 0 108186692 14786560 935 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221794733832 0 0 4224 16384 0 0 0 17 1 0 0
/proc/5875/statm: 3610 935 320 3 0 710 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14440

[startup+1.50148 s]
/proc/loadavg: 0.92 1.00 0.99 2/78 5876
/proc/meminfo: memFree=1799912/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=15132 CPUtime=1.49
/proc/5875/stat : 5875 (pbclasp) R 5873 5875 4606 0 -1 4194304 4559 0 0 0 148 1 0 0 25 0 1 0 108186692 15495168 1127 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780546273 0 0 4224 16384 0 0 0 17 1 0 0
/proc/5875/statm: 3783 1127 320 3 0 883 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15132

[startup+3.10259 s]
/proc/loadavg: 0.92 1.00 0.99 3/80 5878
/proc/meminfo: memFree=1796888/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=2.76
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 5655 1641 0 0 198 2 74 2 18 0 1 0 108186692 17928192 1739 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1739 343 3 0 1477 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 17508

[startup+6.30178 s]
/proc/loadavg: 0.93 1.00 0.99 2/80 5885
/proc/meminfo: memFree=1784984/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=2.76
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 5655 1641 0 0 198 2 74 2 18 0 1 0 108186692 17928192 1739 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1739 343 3 0 1477 0
[pid=5883] ppid=5875 vsize=5352 CPUtime=0
/proc/5883/stat : 5883 (sh) S 5875 5875 4606 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 108186970 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5883/statm: 1338 224 188 169 0 49 0
[pid=5885] ppid=5883 vsize=10984 CPUtime=3.49
/proc/5885/stat : 5885 (clasp-1.0) R 5883 5875 4606 0 -1 4194304 2499 0 3 0 348 1 0 0 25 0 1 0 108186970 11247616 2285 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617536 0 0 4096 0 0 0 0 17 1 0 0
/proc/5885/statm: 2746 2285 249 81 0 2120 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 33844

[startup+12.7012 s]
/proc/loadavg: 0.94 1.00 0.99 2/80 5893
/proc/meminfo: memFree=1784536/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.89
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6005 5517 0 4 200 2 881 6 16 0 1 0 108186692 17928192 1746 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1746 343 3 0 1477 0
[pid=5891] ppid=5875 vsize=5352 CPUtime=0
/proc/5891/stat : 5891 (sh) S 5875 5875 4606 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 108187786 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5891/statm: 1338 224 188 169 0 49 0
[pid=5893] ppid=5891 vsize=11136 CPUtime=1.75
/proc/5893/stat : 5893 (clasp-1.0) R 5891 5875 4606 0 -1 4194304 2592 0 0 0 174 1 0 0 25 0 1 0 108187786 11403264 2323 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/5893/statm: 2784 2323 249 81 0 2158 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 33996

[startup+25.502 s]
/proc/loadavg: 0.95 1.00 0.99 2/80 5893
/proc/meminfo: memFree=1784600/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.89
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6005 5517 0 4 200 2 881 6 16 0 1 0 108186692 17928192 1746 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1746 343 3 0 1477 0
[pid=5891] ppid=5875 vsize=5352 CPUtime=0
/proc/5891/stat : 5891 (sh) S 5875 5875 4606 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 108187786 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5891/statm: 1338 224 188 169 0 49 0
[pid=5893] ppid=5891 vsize=11136 CPUtime=14.55
/proc/5893/stat : 5893 (clasp-1.0) R 5891 5875 4606 0 -1 4194304 2636 0 0 0 1454 1 0 0 25 0 1 0 108187786 11403264 2367 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/5893/statm: 2784 2367 249 81 0 2158 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 33996

[startup+51.1016 s]
/proc/loadavg: 0.97 1.00 0.99 2/80 5893
/proc/meminfo: memFree=1767000/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.89
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6005 5517 0 4 200 2 881 6 16 0 1 0 108186692 17928192 1746 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1746 343 3 0 1477 0
[pid=5891] ppid=5875 vsize=5352 CPUtime=0
/proc/5891/stat : 5891 (sh) S 5875 5875 4606 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 108187786 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5891/statm: 1338 224 188 169 0 49 0
[pid=5893] ppid=5891 vsize=29724 CPUtime=40.14
/proc/5893/stat : 5893 (clasp-1.0) R 5891 5875 4606 0 -1 4194304 7250 0 0 0 4009 5 0 0 25 0 1 0 108187786 30437376 6981 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715844 0 0 4096 0 0 0 0 17 1 0 0
/proc/5893/statm: 7431 6981 249 81 0 6805 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 52584

[startup+102.306 s]
/proc/loadavg: 0.98 1.00 0.99 2/80 5893
/proc/meminfo: memFree=1745752/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.89
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6005 5517 0 4 200 2 881 6 16 0 1 0 108186692 17928192 1746 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1746 343 3 0 1477 0
[pid=5891] ppid=5875 vsize=5352 CPUtime=0
/proc/5891/stat : 5891 (sh) S 5875 5875 4606 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 108187786 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5891/statm: 1338 224 188 169 0 49 0
[pid=5893] ppid=5891 vsize=50308 CPUtime=91.33
/proc/5893/stat : 5893 (clasp-1.0) R 5891 5875 4606 0 -1 4194304 12374 0 0 0 9125 8 0 0 25 0 1 0 108187786 51515392 12105 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784651 0 0 4096 0 0 0 0 17 1 0 0
/proc/5893/statm: 12577 12105 249 81 0 11951 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 73168

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 5893
/proc/meminfo: memFree=1734176/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.89
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6005 5517 0 4 200 2 881 6 16 0 1 0 108186692 17928192 1746 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1746 343 3 0 1477 0
[pid=5891] ppid=5875 vsize=5352 CPUtime=0
/proc/5891/stat : 5891 (sh) S 5875 5875 4606 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 108187786 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5891/statm: 1338 224 188 169 0 49 0
[pid=5893] ppid=5891 vsize=61576 CPUtime=151.32
/proc/5893/stat : 5893 (clasp-1.0) R 5891 5875 4606 0 -1 4194304 15416 0 0 0 15121 11 0 0 25 0 1 0 108187786 63053824 14911 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134791735 0 0 4096 0 0 0 0 17 1 0 0
/proc/5893/statm: 15394 14911 249 81 0 14768 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 84436

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 5893
/proc/meminfo: memFree=1732896/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.89
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6005 5517 0 4 200 2 881 6 16 0 1 0 108186692 17928192 1746 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1746 343 3 0 1477 0
[pid=5891] ppid=5875 vsize=5352 CPUtime=0
/proc/5891/stat : 5891 (sh) S 5875 5875 4606 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 108187786 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5891/statm: 1338 224 188 169 0 49 0
[pid=5893] ppid=5891 vsize=63128 CPUtime=211.31
/proc/5893/stat : 5893 (clasp-1.0) R 5891 5875 4606 0 -1 4194304 15780 0 0 0 21119 12 0 0 25 0 1 0 108187786 64643072 15275 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/5893/statm: 15782 15275 249 81 0 15156 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 85988

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 5893
/proc/meminfo: memFree=1727840/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.89
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6005 5517 0 4 200 2 881 6 16 0 1 0 108186692 17928192 1746 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1746 343 3 0 1477 0
[pid=5891] ppid=5875 vsize=5352 CPUtime=0
/proc/5891/stat : 5891 (sh) S 5875 5875 4606 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 108187786 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5891/statm: 1338 224 188 169 0 49 0
[pid=5893] ppid=5891 vsize=68108 CPUtime=271.29
/proc/5893/stat : 5893 (clasp-1.0) R 5891 5875 4606 0 -1 4194304 17041 0 0 0 27116 13 0 0 25 0 1 0 108187786 69742592 16536 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715257 0 0 4096 0 0 0 0 17 1 0 0
/proc/5893/statm: 17027 16536 249 81 0 16401 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 90968

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/80 5893
/proc/meminfo: memFree=1727776/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.89
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6005 5517 0 4 200 2 881 6 16 0 1 0 108186692 17928192 1746 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1746 343 3 0 1477 0

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

/proc/5891/statm: 1338 224 188 169 0 49 0
[pid=5893] ppid=5891 vsize=136348 CPUtime=1590.46
/proc/5893/stat : 5893 (clasp-1.0) R 5891 5875 4606 0 -1 4194304 34780 0 0 0 158994 52 0 0 25 0 1 0 108187786 139620352 33513 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715264 0 0 4096 0 0 0 0 17 1 0 0
/proc/5893/statm: 34087 33513 249 81 0 33461 0
Current children cumulated CPU time (s) 1601.35
Current children cumulated vsize (KiB) 159208

[startup+1662.3 s]
/proc/loadavg: 1.00 1.05 1.05 3/80 8168
/proc/meminfo: memFree=1610400/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.89
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6005 5517 0 4 200 2 881 6 16 0 1 0 108186692 17928192 1746 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1746 343 3 0 1477 0
[pid=5891] ppid=5875 vsize=5352 CPUtime=0
/proc/5891/stat : 5891 (sh) S 5875 5875 4606 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 108187786 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5891/statm: 1338 224 188 169 0 49 0
[pid=5893] ppid=5891 vsize=144068 CPUtime=1650.44
/proc/5893/stat : 5893 (clasp-1.0) R 5891 5875 4606 0 -1 4194304 36700 0 0 0 164990 54 0 0 25 0 1 0 108187786 147525632 35433 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134777587 0 0 4096 0 0 0 0 17 1 0 0
/proc/5893/statm: 36017 35433 249 81 0 35391 0
Current children cumulated CPU time (s) 1661.33
Current children cumulated vsize (KiB) 166928

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.05 2/80 8168
/proc/meminfo: memFree=1610400/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.89
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6005 5517 0 4 200 2 881 6 16 0 1 0 108186692 17928192 1746 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1746 343 3 0 1477 0
[pid=5891] ppid=5875 vsize=5352 CPUtime=0
/proc/5891/stat : 5891 (sh) S 5875 5875 4606 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 108187786 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5891/statm: 1338 224 188 169 0 49 0
[pid=5893] ppid=5891 vsize=144068 CPUtime=1710.44
/proc/5893/stat : 5893 (clasp-1.0) R 5891 5875 4606 0 -1 4194304 36700 0 0 0 170989 55 0 0 25 0 1 0 108187786 147525632 35433 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134713671 0 0 4096 0 0 0 0 17 1 0 0
/proc/5893/statm: 36017 35433 249 81 0 35391 0
Current children cumulated CPU time (s) 1721.33
Current children cumulated vsize (KiB) 166928

[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.04 2/80 8168
/proc/meminfo: memFree=1610400/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.89
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6005 5517 0 4 200 2 881 6 16 0 1 0 108186692 17928192 1746 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1746 343 3 0 1477 0
[pid=5891] ppid=5875 vsize=5352 CPUtime=0
/proc/5891/stat : 5891 (sh) S 5875 5875 4606 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 108187786 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5891/statm: 1338 224 188 169 0 49 0
[pid=5893] ppid=5891 vsize=144068 CPUtime=1770.42
/proc/5893/stat : 5893 (clasp-1.0) R 5891 5875 4606 0 -1 4194304 36700 0 0 0 176987 55 0 0 25 0 1 0 108187786 147525632 35433 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/5893/statm: 36017 35433 249 81 0 35391 0
Current children cumulated CPU time (s) 1781.31
Current children cumulated vsize (KiB) 166928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 1.00 1.02 1.04 2/80 8168
/proc/meminfo: memFree=1607456/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.89
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6005 5517 0 4 200 2 881 6 16 0 1 0 108186692 17928192 1746 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1746 343 3 0 1477 0
[pid=5891] ppid=5875 vsize=5352 CPUtime=0
/proc/5891/stat : 5891 (sh) S 5875 5875 4606 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 108187786 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5891/statm: 1338 224 188 169 0 49 0
[pid=5893] ppid=5891 vsize=147016 CPUtime=1789.12
/proc/5893/stat : 5893 (clasp-1.0) R 5891 5875 4606 0 -1 4194304 37437 0 0 0 178856 56 0 0 25 0 1 0 108187786 150544384 36170 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/5893/statm: 36754 36170 249 81 0 36128 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 169876

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

[startup+1801 s]
/proc/loadavg: 1.00 1.02 1.04 2/80 8168
/proc/meminfo: memFree=1607456/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.89
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6005 5517 0 4 200 2 881 6 16 0 1 0 108186692 17928192 1746 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1746 343 3 0 1477 0
[pid=5891] ppid=5875 vsize=5352 CPUtime=0
/proc/5891/stat : 5891 (sh) S 5875 5875 4606 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 108187786 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5891/statm: 1338 224 188 169 0 49 0
[pid=5893] ppid=5891 vsize=147016 CPUtime=1789.12
/proc/5893/stat : 5893 (clasp-1.0) R 5891 5875 4606 0 -1 4194304 37437 0 0 0 178856 56 0 0 25 0 1 0 108187786 150544384 36170 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/5893/statm: 36754 36170 249 81 0 36128 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 169876

# WARNING:
# current cumulated CPU time (10.94 s) is less than in the last sample (1800.01 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (1789.07 s) to the 'lost time'.

[startup+1801.12 s]
/proc/loadavg: 1.00 1.02 1.04 2/80 8168
/proc/meminfo: memFree=1607456/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.94
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6170 7299 0 4 201 3 882 8 16 0 1 0 108186692 17928192 1748 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1748 343 3 0 1477 0
Current children cumulated CPU time (s) 10.94
Current children cumulated vsize (KiB) 17508

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.02 1.04 2/80 8168
/proc/meminfo: memFree=1607456/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.94
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6170 7299 0 4 201 3 882 8 16 0 1 0 108186692 17928192 1748 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1748 343 3 0 1477 0
Current children cumulated CPU time (s) 10.94
Current children cumulated vsize (KiB) 17508

[startup+1802.2 s]
/proc/loadavg: 1.00 1.02 1.04 2/81 8179
/proc/meminfo: memFree=1742680/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.94
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6170 7299 0 4 201 3 882 8 16 0 1 0 108186692 17928192 1748 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1748 343 3 0 1477 0
[pid=8177] ppid=5875 vsize=5352 CPUtime=0
/proc/8177/stat : 8177 (sh) S 5875 5875 4606 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 108366798 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8177/statm: 1338 224 188 169 0 49 0
[pid=8179] ppid=8177 vsize=11136 CPUtime=1.13
/proc/8179/stat : 8179 (clasp-1.0) R 8177 5875 4606 0 -1 4194304 2591 0 0 0 112 1 0 0 25 0 1 0 108366798 11403264 2322 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617539 0 0 4096 0 0 0 0 17 1 0 0
/proc/8179/statm: 2784 2322 249 81 0 2158 0
Current children cumulated CPU time (s) 12.07
Current children cumulated vsize (KiB) 33996

[startup+1802.6 s]
/proc/loadavg: 1.00 1.02 1.04 2/81 8179
/proc/meminfo: memFree=1742680/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.94
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6170 7299 0 4 201 3 882 8 16 0 1 0 108186692 17928192 1748 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1748 343 3 0 1477 0
[pid=8177] ppid=5875 vsize=5352 CPUtime=0
/proc/8177/stat : 8177 (sh) S 5875 5875 4606 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 108366798 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8177/statm: 1338 224 188 169 0 49 0
[pid=8179] ppid=8177 vsize=11136 CPUtime=1.53
/proc/8179/stat : 8179 (clasp-1.0) R 8177 5875 4606 0 -1 4194304 2592 0 0 0 152 1 0 0 25 0 1 0 108366798 11403264 2323 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617536 0 0 4096 0 0 0 0 17 1 0 0
/proc/8179/statm: 2784 2323 249 81 0 2158 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 33996

[startup+1803 s]
/proc/loadavg: 1.00 1.02 1.04 2/81 8179
/proc/meminfo: memFree=1742680/2055920 swapFree=4190416/4192956
[pid=5875] ppid=5873 vsize=17508 CPUtime=10.94
/proc/5875/stat : 5875 (pbclasp) S 5873 5875 4606 0 -1 4194304 6170 7299 0 4 201 3 882 8 16 0 1 0 108186692 17928192 1748 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5875/statm: 4377 1748 343 3 0 1477 0
[pid=8177] ppid=5875 vsize=5352 CPUtime=0
/proc/8177/stat : 8177 (sh) S 5875 5875 4606 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 108366798 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8177/statm: 1338 224 188 169 0 49 0
[pid=8179] ppid=8177 vsize=11136 CPUtime=1.93
/proc/8179/stat : 8179 (clasp-1.0) R 8177 5875 4606 0 -1 4194304 2592 0 0 0 192 1 0 0 25 0 1 0 108366798 11403264 2323 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617549 0 0 4096 0 0 0 0 17 1 0 0
/proc/8179/statm: 2784 2323 249 81 0 2158 0
Current children cumulated CPU time (s) 12.87
Current children cumulated vsize (KiB) 33996

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1789.07
#  lost CPU user time (s): 1788.54
#  lost CPU system time (s): 0.53

Real time (s): 1803.03
CPU time (s): 1801.99
CPU user time (s): 1801.32
CPU system time (s): 0.672978
CPU usage (%): 99.9425
Max. virtual memory (cumulated for all children) (KiB): 169876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.7811
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17628
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1088
involuntary context switches= 360

runsolver used 1.78673 second user time and 4.81927 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Sun Apr 15 02:05:09 UTC 2007

IDJOB= 351477
IDBENCH= 1768
IDSOLVER= 167
FILE ID= node29/351477-1176602709

PBS_JOBID= 4557016

Free space on /tmp= 66563 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-gesa2.opb
COMMAND LINE= pbclasp instance-351477-1176602709.opb /tmp/evaluation/351477-1176602709/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node29/convwatcher-351477-1176602709 -o ROOT/results/node29/conversion-351477-1176602709 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351477-1176602709/instance-351477-1176602709.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-351477-1176602709 -o ROOT/results/node29/solver-351477-1176602709 -C 1800 -W 3600 -M 1800 --output-limit 1,15  pbclasp instance-351477-1176602709.opb /tmp/evaluation/351477-1176602709/temp

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  1f57d7f7253e44124d4d26029bd38b8a

RANDOM SEED= 689240113

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node29.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.224
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.224
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:      2055920 kB
MemFree:       1803144 kB
Buffers:         17428 kB
Cached:          97676 kB
SwapCached:        496 kB
Active:          51412 kB
Inactive:       120000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1803144 kB
SwapTotal:     4192956 kB
SwapFree:      4190416 kB
Dirty:            1300 kB
Writeback:           0 kB
Mapped:          73352 kB
Slab:            66880 kB
Committed_AS:   633360 kB
PageTables:       1872 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= 66561 MiB

End job on node29 on Sun Apr 15 02:35:13 UTC 2007