Trace number 373053

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-03-23SAT (TO)30 1801.98 1802.93

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
MD5SUMd90f6236f870e45ceb3cd4a6e4593f30
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables14352
Total number of constraints53247
Number of constraints which are clauses53237
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints9
Minimum length of a constraint1
Maximum length of a constraint1036
Number of terms in the objective function 1036
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 1036
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1068
Number of bits of the biggest sum of numbers11
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)

246.98/247.10	o 32
1332.23/1332.96	o 31
1363.52/1364.28	o 30
1800.06/1800.91	c Somebody sent me a SIGTERM
1800.06/1800.91	s SATISFIABLE
1800.06/1800.91	v x1 x5 x12 x18 x24 x39 x81 x83 x96 x97 x98 x131 x153 x156 x168 x173 x180 x224 x310 x369 x384 x402 x783 x821 x873 x874 x888 x908 x910
1800.06/1800.91	v x911 x979 x1226 x1405 x1406 x1607 x1608 x1613 x1669 x1674 x1689 x1709 x1712 x1719 x1725 x1727 x1733 x1735 x1739 x1743 x1747
1800.06/1800.91	v x1749 x1753 x1754 x1755 x1757 x1759 x2001 x2485 x2487 x2905 x2906 x3138 x3892 x4936 x4994 x5081 x5110 x5139 x5168 x5197 x5226
1800.06/1800.91	v x5227 x5228 x5232 x5255 x5284 x5313 x5342 x5458 x5487 x5516 x5545 x5574 x5603 x5632 x5777 x5864 x5893 x5922 x5951 x6009 x6038
1800.06/1800.91	v x6066 x6067 x6096 x6125 x6181 x6210 x6239 x6268 x6270 x6271 x6297 x6326 x6355 x6384 x6500 x6529 x6558 x6587 x6616 x6644 x6645
1800.06/1800.91	v x6674 x6789 x6790 x6819 x6848 x6877 x6906 x6935 x6963 x6964 x7080 x7109 x7138 x7167 x7196 x7225 x7254 x7283 x7312 x7387 x7389
1800.06/1800.91	v x7426 x7432 x7438 x7440 x7443 x7449 x7455 x7457 x7511 x7518 x7545 x7551 x7557 x7681 x7698 x7703 x7727 x7728 x7744 x7745 x7812
1800.06/1800.91	v x7813 x7829 x7830 x7834 x7837 x7846 x7847 x7863 x7864 x7880 x7881 x7897 x7898 x7914 x7915 x7936 x7938 x7940 x7953 x7957 x7982
1800.06/1800.91	v x8004 x8008 x8084 x8123 x8125 x8407 x8492 x8531 x8577 x8579 x8611 x8614 x8628 x8631 x8662 x8665 x8679 x8682 x8747 x8748 x8764
1800.06/1800.91	v x8765 x8767 x8781 x8782 x8784 x8798 x8801 x8803 x8804 x8815 x8818 x8832 x8834 x8835 x8849 x8852 x8866 x8869 x8883 x8885 x8886
1800.06/1800.91	v x8905 x8906 x8917 x9002 x9019 x9104 x9189 x9223 x9257 x9258 x9259 x9274 x9275 x9276 x9290 x9291 x9292 x9293 x9376 x9393 x9415
1800.06/1800.91	v x9417 x9427 x9429 x9430 x9444 x9446 x9447 x9461 x9463 x9464 x9512 x9517 x9524 x9534 x9548 x9550 x9584 x9585 x9589 x9594 x9614
1800.06/1800.91	v x9615 x9619 x9624 x9649 x9654 x9656 x9662 x9665 x9666 x9670 x9672 x9678 x9680 x9682 x9684 x9742 x9747 x10032 x10148 x10282
1800.06/1800.91	v x10283 x10337 x10341 x10445 x10906 x10946 x10960 x10961 x10962 x10966 x10988 x11016 x11030 x11032 x11044 x11070 x11110
1800.06/1800.91	v x11136 x11150 x11164 x11178 x11192 x11208 x11211 x11220 x11236 x11248 x11250 x11254 x11262 x11276 x11290 x11318 x11346
1800.06/1800.91	v x11374 x11402 x11416 x11430 x11444 x11458 x11486 x11500 x11526 x11600 x11614 x11640 x11654 x11683 x11685 x11693 x11695
1800.06/1800.91	v x11708 x11711 x11738 x11740 x11741 x11758 x11761 x11768 x11769 x11771 x11778 x11780 x11788 x11789 x11791 x11808 x11809
1800.06/1800.91	v x11811 x11823 x11826 x11833 x11836 x11868 x11883 x11886 x11893 x11895 x11903 x11905 x11908 x11913 x11916 x11938 x11940
1800.06/1800.91	v x11941 x11948 x11968 x11971 x11978 x11980 x11988 x11990 x11998 x12000 x12414 x12425 x12553 x12578 x12769 x12796 x13201
1800.06/1800.91	v x13256 x13284 x13326 x13328 x13333 x13380 x13394 x13436 x13450 x13464 x13466 x13470 x13562 x13604 x13618 x13686 x13713
1800.06/1800.91	v x13714 x13717 x13740 x13742 x13864 x13906 x13920 x14104 x14106 x14109 x14119 x14144 x14149 x14159 x14164 x14169 x14199
1800.06/1800.91	v x14219 x14222 x14254 x14256 x14259 x14339
1800.06/1800.92	pb2clasp1: no process killed

Verifier Data (download as text)

OK	30

Conversion Script Data (download as text)

/tmp/evaluation/373053-1177160202/instance-373053-1177160202.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/node40/watcher-373053-1177160202 -o ROOT/results/node40/solver-373053-1177160202 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373053-1177160202.opb /tmp/evaluation/373053-1177160202/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 0.98 0.99 3/77 23922
/proc/meminfo: memFree=1751408/2055920 swapFree=4130736/4192956
[pid=23922] ppid=23920 vsize=12268 CPUtime=0
/proc/23922/stat : 23922 (pbclasp) R 23920 23922 23361 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 44899740 12562432 317 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528509950 0 0 4224 0 0 0 0 17 1 0 0
/proc/23922/statm: 3067 317 242 3 0 167 0

[startup+0.0615591 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23922
/proc/meminfo: memFree=1751408/2055920 swapFree=4130736/4192956
[pid=23922] ppid=23920 vsize=13064 CPUtime=0.03
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 671 0 0 0 3 0 0 0 16 0 1 0 44899740 13377536 622 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528506978 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23922/statm: 3266 622 324 3 0 366 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13064

[startup+0.102567 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23922
/proc/meminfo: memFree=1751408/2055920 swapFree=4130736/4192956
[pid=23922] ppid=23920 vsize=13064 CPUtime=0.03
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 671 0 0 0 3 0 0 0 16 0 1 0 44899740 13377536 622 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528506978 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23922/statm: 3266 622 324 3 0 366 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13064

[startup+0.301608 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23922
/proc/meminfo: memFree=1751408/2055920 swapFree=4130736/4192956
[pid=23922] ppid=23920 vsize=13064 CPUtime=0.03
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 671 0 0 0 3 0 0 0 16 0 1 0 44899740 13377536 622 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528506978 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23922/statm: 3266 622 324 3 0 366 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13064

[startup+0.702692 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23922
/proc/meminfo: memFree=1751408/2055920 swapFree=4130736/4192956
[pid=23922] ppid=23920 vsize=13064 CPUtime=0.03
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 671 0 0 0 3 0 0 0 16 0 1 0 44899740 13377536 622 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528506978 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23922/statm: 3266 622 324 3 0 366 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13064

[startup+1.50186 s]
/proc/loadavg: 0.92 0.98 0.99 2/80 23925
/proc/meminfo: memFree=1748824/2055920 swapFree=4130736/4192956
[pid=23922] ppid=23920 vsize=13064 CPUtime=0.03
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 671 0 0 0 3 0 0 0 16 0 1 0 44899740 13377536 622 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528506978 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23922/statm: 3266 622 324 3 0 366 0
[pid=23924] ppid=23922 vsize=5352 CPUtime=0
/proc/23924/stat : 23924 (sh) S 23922 23922 23361 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44899744 5480448 230 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23924/statm: 1338 230 193 169 0 49 0
[pid=23925] ppid=23924 vsize=12532 CPUtime=1.45
/proc/23925/stat : 23925 (pb2clasp1) R 23924 23922 23361 0 -1 4194304 517 0 0 0 144 1 0 0 25 0 1 0 44899744 12832768 479 18446744073709551615 4194304 4206940 548682069296 18446744073709551615 264539711109 0 0 4224 0 0 0 0 17 1 0 0
/proc/23925/statm: 3133 479 340 3 0 233 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30948

[startup+3.1012 s]
/proc/loadavg: 0.92 0.98 0.99 2/80 23925
/proc/meminfo: memFree=1748248/2055920 swapFree=4130736/4192956
[pid=23922] ppid=23920 vsize=13064 CPUtime=0.03
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 671 0 0 0 3 0 0 0 16 0 1 0 44899740 13377536 622 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528506978 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23922/statm: 3266 622 324 3 0 366 0
[pid=23924] ppid=23922 vsize=5352 CPUtime=0
/proc/23924/stat : 23924 (sh) S 23922 23922 23361 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44899744 5480448 230 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23924/statm: 1338 230 193 169 0 49 0
[pid=23925] ppid=23924 vsize=12532 CPUtime=3.05
/proc/23925/stat : 23925 (pb2clasp1) R 23924 23922 23361 0 -1 4194304 517 0 0 0 304 1 0 0 25 0 1 0 44899744 12832768 479 18446744073709551615 4194304 4206940 548682069296 18446744073709551615 264539509537 0 0 4224 0 0 0 0 17 1 0 0
/proc/23925/statm: 3133 479 340 3 0 233 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 30948

[startup+6.30187 s]
/proc/loadavg: 0.93 0.98 0.99 2/81 23932
/proc/meminfo: memFree=1709320/2055920 swapFree=4130736/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=3.73
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 810 1669 0 0 3 0 367 3 16 0 1 0 44899740 13512704 665 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 665 343 3 0 399 0
[pid=23930] ppid=23922 vsize=5356 CPUtime=0
/proc/23930/stat : 23930 (sh) S 23922 23922 23361 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 44900116 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23930/statm: 1339 225 188 169 0 50 0
[pid=23932] ppid=23930 vsize=61756 CPUtime=2.53
/proc/23932/stat : 23932 (clasp) R 23930 23922 23361 0 -1 4194304 16705 0 0 0 246 7 0 0 25 0 1 0 44900116 63238144 14548 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 7376482 0 0 4096 0 0 0 0 17 1 0 0
/proc/23932/statm: 15439 14548 194 154 0 14909 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 80308

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/80 23932
/proc/meminfo: memFree=1680664/2055920 swapFree=4130736/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=3.73
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 810 1669 0 0 3 0 367 3 16 0 1 0 44899740 13512704 665 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 665 343 3 0 399 0
[pid=23930] ppid=23922 vsize=5356 CPUtime=0
/proc/23930/stat : 23930 (sh) S 23922 23922 23361 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 44900116 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23930/statm: 1339 225 188 169 0 50 0
[pid=23932] ppid=23930 vsize=69188 CPUtime=8.92
/proc/23932/stat : 23932 (clasp) R 23930 23922 23361 0 -1 4194304 18737 0 0 0 885 7 0 0 25 0 1 0 44900116 70848512 16351 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0
/proc/23932/statm: 17297 16351 196 154 0 16767 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 87740

[startup+25.5029 s]
/proc/loadavg: 0.95 0.98 0.99 2/80 23932
/proc/meminfo: memFree=1680664/2055920 swapFree=4130736/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=3.73
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 810 1669 0 0 3 0 367 3 16 0 1 0 44899740 13512704 665 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 665 343 3 0 399 0
[pid=23930] ppid=23922 vsize=5356 CPUtime=0
/proc/23930/stat : 23930 (sh) S 23922 23922 23361 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 44900116 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23930/statm: 1339 225 188 169 0 50 0
[pid=23932] ppid=23930 vsize=69188 CPUtime=21.73
/proc/23932/stat : 23932 (clasp) R 23930 23922 23361 0 -1 4194304 18769 0 0 0 2165 8 0 0 25 0 1 0 44900116 70848512 16383 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134741259 0 0 4096 0 0 0 0 17 1 0 0
/proc/23932/statm: 17297 16383 196 154 0 16767 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 87740

[startup+51.1022 s]
/proc/loadavg: 0.96 0.98 0.99 2/80 23932
/proc/meminfo: memFree=1680344/2055920 swapFree=4130736/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=3.73
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 810 1669 0 0 3 0 367 3 16 0 1 0 44899740 13512704 665 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 665 343 3 0 399 0
[pid=23930] ppid=23922 vsize=5356 CPUtime=0
/proc/23930/stat : 23930 (sh) S 23922 23922 23361 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 44900116 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23930/statm: 1339 225 188 169 0 50 0
[pid=23932] ppid=23930 vsize=69188 CPUtime=47.31
/proc/23932/stat : 23932 (clasp) R 23930 23922 23361 0 -1 4194304 18854 0 0 0 4723 8 0 0 25 0 1 0 44900116 70848512 16468 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134768773 0 0 4096 0 0 0 0 17 1 0 0
/proc/23932/statm: 17297 16468 196 154 0 16767 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 87740

[startup+102.307 s]
/proc/loadavg: 0.98 0.98 0.99 2/80 23932
/proc/meminfo: memFree=1670936/2055920 swapFree=4130736/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=3.73
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 810 1669 0 0 3 0 367 3 16 0 1 0 44899740 13512704 665 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 665 343 3 0 399 0
[pid=23930] ppid=23922 vsize=5356 CPUtime=0
/proc/23930/stat : 23930 (sh) S 23922 23922 23361 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 44900116 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23930/statm: 1339 225 188 169 0 50 0
[pid=23932] ppid=23930 vsize=78496 CPUtime=98.5
/proc/23932/stat : 23932 (clasp) R 23930 23922 23361 0 -1 4194304 21199 0 0 0 9839 11 0 0 25 0 1 0 44900116 80379904 18813 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134768762 0 0 4096 0 0 0 0 17 1 0 0
/proc/23932/statm: 19624 18813 196 154 0 19094 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 97048

[startup+162.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/80 23932
/proc/meminfo: memFree=1658648/2055920 swapFree=4130800/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=3.73
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 810 1669 0 0 3 0 367 3 16 0 1 0 44899740 13512704 665 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 665 343 3 0 399 0
[pid=23930] ppid=23922 vsize=5356 CPUtime=0
/proc/23930/stat : 23930 (sh) S 23922 23922 23361 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 44900116 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23930/statm: 1339 225 188 169 0 50 0
[pid=23932] ppid=23930 vsize=90776 CPUtime=158.47
/proc/23932/stat : 23932 (clasp) R 23930 23922 23361 0 -1 4194304 24263 0 0 0 15833 14 0 0 25 0 1 0 44900116 92954624 21877 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740633 0 0 4096 0 0 0 0 17 1 0 0
/proc/23932/statm: 22694 21877 196 154 0 22164 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 109328

[startup+222.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/80 23932
/proc/meminfo: memFree=1652888/2055920 swapFree=4130800/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=3.73
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 810 1669 0 0 3 0 367 3 16 0 1 0 44899740 13512704 665 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 665 343 3 0 399 0
[pid=23930] ppid=23922 vsize=5356 CPUtime=0
/proc/23930/stat : 23930 (sh) S 23922 23922 23361 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 44900116 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23930/statm: 1339 225 188 169 0 50 0
[pid=23932] ppid=23930 vsize=96496 CPUtime=218.45
/proc/23932/stat : 23932 (clasp) R 23930 23922 23361 0 -1 4194304 25690 0 0 0 21829 16 0 0 25 0 1 0 44900116 98811904 23304 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134798193 0 0 4096 0 0 0 0 17 1 0 0
/proc/23932/statm: 24124 23304 196 154 0 23594 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 115048

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 24062
/proc/meminfo: memFree=1652832/2055920 swapFree=4130864/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=247
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 952 30142 0 0 3 0 24672 25 16 0 1 0 44899740 13512704 671 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 671 343 3 0 399 0
[pid=23938] ppid=23922 vsize=5356 CPUtime=0
/proc/23938/stat : 23938 (sh) S 23922 23922 23361 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 44924453 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23938/statm: 1339 225 188 169 0 50 0

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

/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 1233 127927 0 0 4 0 136254 106 16 0 1 0 44899740 13512704 671 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 671 343 3 0 399 0
[pid=24154] ppid=23922 vsize=5356 CPUtime=0
/proc/24154/stat : 24154 (sh) S 23922 23922 23361 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 45036171 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24154/statm: 1339 225 188 169 0 50 0
[pid=24156] ppid=24154 vsize=136852 CPUtime=417.81
/proc/24156/stat : 24156 (clasp) R 24154 23922 23361 0 -1 4194304 37064 0 0 0 41758 23 0 0 25 0 1 0 45036171 140136448 33522 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0
/proc/24156/statm: 34213 33522 196 154 0 33683 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (KiB) 155404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 24156
/proc/meminfo: memFree=1606488/2055920 swapFree=4131440/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=1363.64
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 1233 127927 0 0 4 0 136254 106 16 0 1 0 44899740 13512704 671 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 671 343 3 0 399 0
[pid=24154] ppid=23922 vsize=5356 CPUtime=0
/proc/24154/stat : 24154 (sh) S 23922 23922 23361 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 45036171 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24154/statm: 1339 225 188 169 0 50 0
[pid=24156] ppid=24154 vsize=142168 CPUtime=436.42
/proc/24156/stat : 24156 (clasp) R 24154 23922 23361 0 -1 4194304 38377 0 0 0 43617 25 0 0 25 0 1 0 45036171 145580032 34835 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134769192 0 0 4096 0 0 0 0 17 1 0 0
/proc/24156/statm: 35542 34835 196 154 0 35012 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 160720

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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 24156
/proc/meminfo: memFree=1606488/2055920 swapFree=4131440/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=1363.64
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 1233 127927 0 0 4 0 136254 106 16 0 1 0 44899740 13512704 671 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 671 343 3 0 399 0
[pid=24154] ppid=23922 vsize=5356 CPUtime=0
/proc/24154/stat : 24154 (sh) S 23922 23922 23361 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 45036171 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24154/statm: 1339 225 188 169 0 50 0
[pid=24156] ppid=24154 vsize=142168 CPUtime=436.42
/proc/24156/stat : 24156 (clasp) R 24154 23922 23361 0 -1 4194304 38377 0 0 0 43617 25 0 0 25 0 1 0 45036171 145580032 34835 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134769192 0 0 4096 0 0 0 0 17 1 0 0
/proc/24156/statm: 35542 34835 196 154 0 35012 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 160720

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

[startup+1801.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 24156
/proc/meminfo: memFree=1606488/2055920 swapFree=4131440/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=1363.69
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 1394 129712 0 0 4 0 136255 110 16 0 1 0 44899740 13512704 673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 673 343 3 0 399 0
Current children cumulated CPU time (s) 1363.69
Current children cumulated vsize (KiB) 13196

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.00 1.00 2/80 24156
/proc/meminfo: memFree=1606488/2055920 swapFree=4131440/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=1363.69
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 1394 129712 0 0 4 0 136255 110 16 0 1 0 44899740 13512704 673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 673 343 3 0 399 0
Current children cumulated CPU time (s) 1363.69
Current children cumulated vsize (KiB) 13196

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 24167
/proc/meminfo: memFree=1728712/2055920 swapFree=4131440/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=1363.69
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 1394 129712 0 0 4 0 136255 110 16 0 1 0 44899740 13512704 673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 673 343 3 0 399 0
[pid=24165] ppid=23922 vsize=5356 CPUtime=0
/proc/24165/stat : 24165 (sh) S 23922 23922 23361 0 -1 4194304 288 0 0 0 0 0 0 0 17 0 1 0 45079837 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24165/statm: 1339 225 188 169 0 50 0
[pid=24166] ppid=24165 vsize=2520 CPUtime=0
/proc/24166/stat : 24166 (cat) S 24165 23922 23361 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 45079838 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 264519778530 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/24166/statm: 630 87 71 4 0 42 0
[pid=24167] ppid=24165 vsize=29828 CPUtime=1.22
/proc/24167/stat : 24167 (clasp) R 24165 23922 23361 0 -1 4194304 7128 0 0 0 118 4 0 0 25 0 1 0 45079838 30543872 7057 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 7377873 0 0 4096 0 0 0 0 17 1 0 0
/proc/24167/statm: 7457 7057 173 154 0 6927 0
Current children cumulated CPU time (s) 1364.91
Current children cumulated vsize (KiB) 50900

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 24167
/proc/meminfo: memFree=1728712/2055920 swapFree=4131440/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=1363.69
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 1394 129712 0 0 4 0 136255 110 16 0 1 0 44899740 13512704 673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 673 343 3 0 399 0
[pid=24165] ppid=23922 vsize=5356 CPUtime=0
/proc/24165/stat : 24165 (sh) S 23922 23922 23361 0 -1 4194304 288 0 0 0 0 0 0 0 17 0 1 0 45079837 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24165/statm: 1339 225 188 169 0 50 0
[pid=24166] ppid=24165 vsize=2520 CPUtime=0
/proc/24166/stat : 24166 (cat) S 24165 23922 23361 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 45079838 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 264519778530 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/24166/statm: 630 87 71 4 0 42 0
[pid=24167] ppid=24165 vsize=38300 CPUtime=1.61
/proc/24167/stat : 24167 (clasp) R 24165 23922 23361 0 -1 4194304 9224 0 0 0 157 4 0 0 25 0 1 0 45079838 39219200 9153 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 7327582 0 0 4096 0 0 0 0 17 1 0 0
/proc/24167/statm: 9575 9153 176 154 0 9045 0
Current children cumulated CPU time (s) 1365.3
Current children cumulated vsize (KiB) 59372

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 24167
/proc/meminfo: memFree=1706888/2055920 swapFree=4131440/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=1363.69
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 1394 129712 0 0 4 0 136255 110 16 0 1 0 44899740 13512704 673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 673 343 3 0 399 0
[pid=24165] ppid=23922 vsize=5356 CPUtime=0
/proc/24165/stat : 24165 (sh) S 23922 23922 23361 0 -1 4194304 288 0 0 0 0 0 0 0 17 0 1 0 45079837 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24165/statm: 1339 225 188 169 0 50 0
[pid=24166] ppid=24165 vsize=2520 CPUtime=0
/proc/24166/stat : 24166 (cat) S 24165 23922 23361 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 45079838 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 264519778530 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/24166/statm: 630 87 71 4 0 42 0
[pid=24167] ppid=24165 vsize=41368 CPUtime=1.81
/proc/24167/stat : 24167 (clasp) R 24165 23922 23361 0 -1 4194304 9972 0 0 0 177 4 0 0 25 0 1 0 45079838 42360832 9836 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 7345787 0 0 4096 0 0 0 0 17 1 0 0
/proc/24167/statm: 10342 9837 184 154 0 9812 0
Current children cumulated CPU time (s) 1365.5
Current children cumulated vsize (KiB) 62440

[startup+1802.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 24167
/proc/meminfo: memFree=1706888/2055920 swapFree=4131440/4192956
[pid=23922] ppid=23920 vsize=13196 CPUtime=1363.69
/proc/23922/stat : 23922 (pbclasp) S 23920 23922 23361 0 -1 4194304 1394 129712 0 0 4 0 136255 110 16 0 1 0 44899740 13512704 673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 264528510868 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23922/statm: 3299 673 343 3 0 399 0
[pid=24165] ppid=23922 vsize=5356 CPUtime=0
/proc/24165/stat : 24165 (sh) S 23922 23922 23361 0 -1 4194304 288 0 0 0 0 0 0 0 17 0 1 0 45079837 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24165/statm: 1339 225 188 169 0 50 0
[pid=24166] ppid=24165 vsize=2520 CPUtime=0
/proc/24166/stat : 24166 (cat) S 24165 23922 23361 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 45079838 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 264519778530 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/24166/statm: 630 87 71 4 0 42 0
[pid=24167] ppid=24165 vsize=51404 CPUtime=1.92
/proc/24167/stat : 24167 (clasp) R 24165 23922 23361 0 -1 4194304 12553 0 0 0 186 6 0 0 25 0 1 0 45079838 52637696 12319 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0
/proc/24167/statm: 12851 12319 184 154 0 12321 0
Current children cumulated CPU time (s) 1365.61
Current children cumulated vsize (KiB) 72476

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23922 and gives
#  childrusage.ru_utime.tv_sec=1362
#  childrusage.ru_utime.tv_usec=598853
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=123829
# CPU time returned by wait4() is 1363.72
# while last known CPU time is 1365.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# 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): 436.37
#  lost CPU user time (s): 436.16
#  lost CPU system time (s): 0.21

Real time (s): 1802.93
CPU time (s): 1801.98
CPU user time (s): 1800.61
CPU system time (s): 1.37
CPU usage (%): 99.9474
Max. virtual memory (cumulated for all children) (KiB): 284748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1362.6
system time used= 1.12383
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131777
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= 2671
involuntary context switches= 4260

runsolver used 1.71474 second user time and 4.85326 second system time

The end

Launcher Data (download as text)

Begin job on node40 on Sat Apr 21 12:56:42 UTC 2007

IDJOB= 373053
IDBENCH= 25016
IDSOLVER= 158
FILE ID= node40/373053-1177160202

PBS_JOBID= 4648911

Free space on /tmp= 66527 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_9.opb
COMMAND LINE= pbclasp instance-373053-1177160202.opb /tmp/evaluation/373053-1177160202/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node40/convwatcher-373053-1177160202 -o ROOT/results/node40/conversion-373053-1177160202 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373053-1177160202/instance-373053-1177160202.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  d90f6236f870e45ceb3cd4a6e4593f30

RANDOM SEED= 560504308

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node40.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.283
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.283
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:       1751816 kB
Buffers:         62652 kB
Cached:         162684 kB
SwapCached:       2328 kB
Active:         156812 kB
Inactive:        93984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1751816 kB
SwapTotal:     4192956 kB
SwapFree:      4130736 kB
Dirty:            2632 kB
Writeback:           0 kB
Mapped:          34152 kB
Slab:            38672 kB
Committed_AS:   952552 kB
PageTables:       1932 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= 66523 MiB

End job on node40 on Sat Apr 21 13:26:45 UTC 2007