Trace number 373095

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)34 1801.95 1802.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
MD5SUMa7af672db5daf9bd21f1768f531add6b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables21320
Total number of constraints79746
Number of constraints which are clauses79734
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint1407
Number of terms in the objective function 1407
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 1407
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 35
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1442
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)

723.41/723.78	o 35
1122.28/1122.73	o 34
1800.03/1800.72	c Somebody sent me a SIGTERM
1800.03/1800.72	s SATISFIABLE
1800.03/1800.72	v x1 x13 x36 x37 x38 x43 x46 x49 x82 x176 x188 x196 x197 x198 x200 x206 x253 x262 x296 x297 x298 x340 x362 x423 x426 x616 x617 x618
1800.03/1800.72	v x811 x922 x1071 x1119 x1163 x1164 x1165 x1271 x1422 x2059 x2060 x2061 x2132 x2136 x2159 x2267 x2321 x2369 x2428 x2429 x2573
1800.03/1800.72	v x2589 x2591 x2594 x2595 x2596 x2598 x2608 x2615 x2617 x2619 x2622 x2629 x2650 x2652 x2655 x2666 x2669 x2678 x2685 x2692 x2713
1800.03/1800.72	v x2720 x2727 x2729 x2730 x2741 x2748 x2755 x2762 x2769 x2776 x2783 x2797 x2799 x2801 x2804 x2818 x2826 x2872 x2876 x2926 x2933
1800.03/1800.72	v x2953 x2955 x3019 x3054 x3055 x3067 x3074 x3091 x3103 x3163 x3167 x3175 x3179 x3187 x3195 x3199 x3207 x3223 x3231 x3247 x3249
1800.03/1800.72	v x3259 x3266 x3280 x3286 x3287 x3289 x3296 x3303 x3304 x3305 x3310 x3312 x3324 x3331 x3338 x3345 x3347 x3349 x3352 x3354 x3356
1800.03/1800.72	v x3359 x3366 x3373 x3386 x3387 x3388 x3389 x3392 x3394 x3396 x3399 x3401 x3403 x3406 x3410 x3413 x3417 x3420 x3429 x3434 x3439
1800.03/1800.72	v x3446 x3449 x3451 x3453 x3456 x3458 x3460 x3465 x3486 x3488 x4217 x4233 x5334 x5378 x5566 x5624 x6320 x6697 x6726 x6784 x6813
1800.03/1800.72	v x6871 x6927 x6956 x6958 x6970 x7014 x7043 x7099 x7128 x7157 x7215 x7217 x7226 x7244 x7273 x7302 x7360 x7389 x7418 x7420 x7427
1800.03/1800.72	v x7505 x7534 x7592 x7621 x7650 x7679 x7737 x7795 x7824 x7853 x7882 x7940 x7969 x7998 x8000 x8008 x8056 x8085 x8114 x8201 x8230
1800.03/1800.72	v x8259 x8288 x8317 x8319 x8323 x8345 x8346 x8347 x8348 x8356 x8375 x8460 x8489 x8518 x8576 x8605 x8634 x8663 x8692 x8837 x8866
1800.03/1800.72	v x8895 x8924 x8953 x9011 x9040 x9200 x9202 x9251 x9253 x9256 x9263 x9273 x9280 x9302 x9305 x9404 x9406 x9455 x9457 x9472 x9474
1800.03/1800.72	v x9523 x9525 x9557 x9560 x9562 x9596 x9608 x9611 x9676 x9678 x9681 x9744 x9745 x9760 x9761 x9762 x9766 x9770 x9778 x9781 x9812
1800.03/1800.72	v x9813 x9868 x9870 x9931 x9933 x9948 x9950 x9953 x9999 x10001 x10135 x10137 x10169 x10172 x10186 x10188 x10203 x10208 x10220
1800.03/1800.72	v x10223 x10225 x10259 x10288 x10290 x10305 x10307 x10389 x10390 x10393 x10509 x10510 x10560 x10562 x10565 x10567 x10582
1800.03/1800.72	v x10611 x10613 x10645 x10647 x10713 x10747 x10750 x10815 x10832 x10834 x10849 x10850 x10851 x10888 x10900 x10903 x10917
1800.03/1800.72	v x10922 x10934 x11002 x11004 x11019 x11021 x11189 x11191 x11298 x11303 x11704 x11839 x12001 x12271 x12290 x12515 x12516
1800.03/1800.72	v x12517 x12518 x12525 x12532 x12539 x12544 x12572 x12586 x12614 x12642 x12656 x12684 x12712 x12740 x12754 x12782 x12850
1800.03/1800.72	v x12864 x12866 x12870 x12962 x12976 x12990 x13004 x13017 x13018 x13020 x13029 x13060 x13074 x13076 x13084 x13102 x13116
1800.03/1800.72	v x13130 x13132 x13140 x13144 x13158 x13200 x13208 x13270 x13310 x13315 x13325 x13340 x13345 x13347 x13355 x13357 x13360
1800.03/1800.72	v x13380 x13385 x13388 x13410 x13413 x13430 x13460 x13463 x13500 x13503 x13540 x13542 x13545 x15781 x15797 x16013 x16039
1800.03/1800.72	v x16187 x16201 x16303 x16316 x16881 x16939 x16947 x16966 x17024 x17082 x17111 x17140 x17169 x17198 x17227 x17256 x17260
1800.03/1800.72	v x17283 x17370 x17457 x17515 x17544 x17631 x17660 x17689 x17805 x17807 x17812 x17917 x18060 x18089 x18118 x18120 x18122
1800.03/1800.72	v x18205 x18261 x18319 x18321 x18377 x18379 x18435 x18464 x18466 x18493 x18522 x18580 x18609 x18638 x18725 x18783 x18812
1800.03/1800.72	v x18841 x18899 x18928 x18930 x19100 x19270 x19321 x19323 x19326 x19355 x19418 x19469 x19503 x19506 x19508 x19520 x19554
1800.03/1800.72	v x19556 x19588 x19590 x19724 x19727 x19775 x19778 x19792 x19793 x19894 x19895 x19928 x19931 x19933 x19996 x19999 x20285
1800.03/1800.72	v x20288 x20336 x20338 x20528 x20557 x20560 x20676 x20678 x20795 x20797 x20846 x20849 x20851 x20859 x20913 x20914 x20917
1800.03/1800.72	v x20918 x20919 x20927 x21033 x21035 x21067 x21070 x21072 x21080 x21123 x21131 x21186 x21188
1800.03/1800.72	pb2clasp1: no process killed

Verifier Data (download as text)

OK	34

Conversion Script Data (download as text)

/tmp/evaluation/373095-1177164790/instance-373095-1177164790.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/node59/watcher-373095-1177164790 -o ROOT/results/node59/solver-373095-1177164790 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373095-1177164790.opb /tmp/evaluation/373095-1177164790/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.99 0.97 0.97 3/64 12836
/proc/meminfo: memFree=1728624/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=12268 CPUtime=0
/proc/12836/stat : 12836 (pbclasp) D 12834 12836 11817 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 164388614 12562432 317 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217051789925 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/12836/statm: 3067 317 242 3 0 167 0

[startup+0.0843741 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 12836
/proc/meminfo: memFree=1728624/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13460 CPUtime=0.05
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 765 0 0 0 5 0 0 0 16 0 1 0 164388614 13783040 717 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060520034 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/12836/statm: 3365 717 324 3 0 465 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13460

[startup+0.102375 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 12836
/proc/meminfo: memFree=1728624/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13460 CPUtime=0.05
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 765 0 0 0 5 0 0 0 16 0 1 0 164388614 13783040 717 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060520034 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/12836/statm: 3365 717 324 3 0 465 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13460

[startup+0.301413 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 12836
/proc/meminfo: memFree=1728624/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13460 CPUtime=0.05
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 765 0 0 0 5 0 0 0 16 0 1 0 164388614 13783040 717 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060520034 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/12836/statm: 3365 717 324 3 0 465 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13460

[startup+0.702488 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 12836
/proc/meminfo: memFree=1728624/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13460 CPUtime=0.05
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 765 0 0 0 5 0 0 0 16 0 1 0 164388614 13783040 717 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060520034 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/12836/statm: 3365 717 324 3 0 465 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13460

[startup+1.50164 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12839
/proc/meminfo: memFree=1725656/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13460 CPUtime=0.05
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 765 0 0 0 5 0 0 0 16 0 1 0 164388614 13783040 717 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060520034 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/12836/statm: 3365 717 324 3 0 465 0
[pid=12838] ppid=12836 vsize=5352 CPUtime=0
/proc/12838/stat : 12838 (sh) S 12836 12836 11817 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 164388620 5480448 230 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12838/statm: 1338 230 193 169 0 49 0
[pid=12839] ppid=12838 vsize=12532 CPUtime=1.43
/proc/12839/stat : 12839 (pb2clasp1) R 12838 12836 11817 0 -1 4194304 519 0 0 0 143 0 0 0 25 0 1 0 164388620 12832768 481 18446744073709551615 4194304 4206940 548682069296 18446744073709551615 217071641736 0 0 4224 0 0 0 0 17 1 0 0
/proc/12839/statm: 3133 481 340 3 0 233 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31344

[startup+3.10195 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12839
/proc/meminfo: memFree=1725016/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13460 CPUtime=0.05
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 765 0 0 0 5 0 0 0 16 0 1 0 164388614 13783040 717 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060520034 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/12836/statm: 3365 717 324 3 0 465 0
[pid=12838] ppid=12836 vsize=5352 CPUtime=0
/proc/12838/stat : 12838 (sh) S 12836 12836 11817 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 164388620 5480448 230 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12838/statm: 1338 230 193 169 0 49 0
[pid=12839] ppid=12838 vsize=12532 CPUtime=3.03
/proc/12839/stat : 12839 (pb2clasp1) R 12838 12836 11817 0 -1 4194304 519 0 0 0 303 0 0 0 25 0 1 0 164388620 12832768 481 18446744073709551615 4194304 4206940 548682069296 18446744073709551615 217071423152 0 0 4224 0 0 0 0 17 1 0 0
/proc/12839/statm: 3133 481 340 3 0 233 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31344

[startup+6.30156 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12839
/proc/meminfo: memFree=1723416/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13592 CPUtime=5.63
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 902 1690 0 0 5 0 555 3 16 0 1 0 164388614 13918208 769 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12836/statm: 3398 769 343 3 0 498 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 13592

[startup+12.7018 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12846
/proc/meminfo: memFree=1624664/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13592 CPUtime=5.63
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 902 1690 0 0 5 0 555 3 16 0 1 0 164388614 13918208 769 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12836/statm: 3398 769 343 3 0 498 0
[pid=12844] ppid=12836 vsize=5356 CPUtime=0.01
/proc/12844/stat : 12844 (sh) S 12836 12836 11817 0 -1 4194304 287 122 0 0 0 0 0 1 16 0 1 0 164389180 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12844/statm: 1339 225 188 169 0 50 0
[pid=12846] ppid=12844 vsize=99792 CPUtime=7.02
/proc/12846/stat : 12846 (clasp) R 12844 12836 11817 0 -1 4194304 27542 0 0 0 691 11 0 0 25 0 1 0 164389180 102187008 24022 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134716725 0 0 4096 0 0 0 0 17 1 0 0
/proc/12846/statm: 24948 24022 196 154 0 24418 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 118740

[startup+25.5022 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12846
/proc/meminfo: memFree=1624728/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13592 CPUtime=5.63
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 902 1690 0 0 5 0 555 3 16 0 1 0 164388614 13918208 769 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12836/statm: 3398 769 343 3 0 498 0
[pid=12844] ppid=12836 vsize=5356 CPUtime=0.01
/proc/12844/stat : 12844 (sh) S 12836 12836 11817 0 -1 4194304 287 122 0 0 0 0 0 1 16 0 1 0 164389180 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12844/statm: 1339 225 188 169 0 50 0
[pid=12846] ppid=12844 vsize=99792 CPUtime=19.81
/proc/12846/stat : 12846 (clasp) R 12844 12836 11817 0 -1 4194304 27542 0 0 0 1970 11 0 0 25 0 1 0 164389180 102187008 24022 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740583 0 0 4096 0 0 0 0 17 1 0 0
/proc/12846/statm: 24948 24022 196 154 0 24418 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 118740

[startup+51.1021 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12846
/proc/meminfo: memFree=1624920/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13592 CPUtime=5.63
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 902 1690 0 0 5 0 555 3 16 0 1 0 164388614 13918208 769 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12836/statm: 3398 769 343 3 0 498 0
[pid=12844] ppid=12836 vsize=5356 CPUtime=0.01
/proc/12844/stat : 12844 (sh) S 12836 12836 11817 0 -1 4194304 287 122 0 0 0 0 0 1 16 0 1 0 164389180 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12844/statm: 1339 225 188 169 0 50 0
[pid=12846] ppid=12844 vsize=99792 CPUtime=45.39
/proc/12846/stat : 12846 (clasp) R 12844 12836 11817 0 -1 4194304 27542 0 0 0 4528 11 0 0 25 0 1 0 164389180 102187008 24022 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740536 0 0 4096 0 0 0 0 17 1 0 0
/proc/12846/statm: 24948 24022 196 154 0 24418 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 118740

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12846
/proc/meminfo: memFree=1619800/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13592 CPUtime=5.63
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 902 1690 0 0 5 0 555 3 16 0 1 0 164388614 13918208 769 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12836/statm: 3398 769 343 3 0 498 0
[pid=12844] ppid=12836 vsize=5356 CPUtime=0.01
/proc/12844/stat : 12844 (sh) S 12836 12836 11817 0 -1 4194304 287 122 0 0 0 0 0 1 16 0 1 0 164389180 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12844/statm: 1339 225 188 169 0 50 0
[pid=12846] ppid=12844 vsize=105004 CPUtime=96.59
/proc/12846/stat : 12846 (clasp) R 12844 12836 11817 0 -1 4194304 28824 0 0 0 9646 13 0 0 25 0 1 0 164389180 107524096 25304 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740536 0 0 4096 0 0 0 0 17 1 0 0
/proc/12846/statm: 26251 25304 196 154 0 25721 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 123952

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12846
/proc/meminfo: memFree=1601176/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13592 CPUtime=5.63
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 902 1690 0 0 5 0 555 3 16 0 1 0 164388614 13918208 769 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12836/statm: 3398 769 343 3 0 498 0
[pid=12844] ppid=12836 vsize=5356 CPUtime=0.01
/proc/12844/stat : 12844 (sh) S 12836 12836 11817 0 -1 4194304 287 122 0 0 0 0 0 1 16 0 1 0 164389180 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12844/statm: 1339 225 188 169 0 50 0
[pid=12846] ppid=12844 vsize=123632 CPUtime=156.56
/proc/12846/stat : 12846 (clasp) R 12844 12836 11817 0 -1 4194304 33485 0 0 0 15638 18 0 0 25 0 1 0 164389180 126599168 29965 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740810 0 0 4096 0 0 0 0 17 1 0 0
/proc/12846/statm: 30908 29965 196 154 0 30378 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 142580

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12846
/proc/meminfo: memFree=1573272/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13592 CPUtime=5.63
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 902 1690 0 0 5 0 555 3 16 0 1 0 164388614 13918208 769 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12836/statm: 3398 769 343 3 0 498 0
[pid=12844] ppid=12836 vsize=5356 CPUtime=0.01
/proc/12844/stat : 12844 (sh) S 12836 12836 11817 0 -1 4194304 287 122 0 0 0 0 0 1 16 0 1 0 164389180 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12844/statm: 1339 225 188 169 0 50 0
[pid=12846] ppid=12844 vsize=151556 CPUtime=216.54
/proc/12846/stat : 12846 (clasp) R 12844 12836 11817 0 -1 4194304 40455 0 0 0 21631 23 0 0 25 0 1 0 164389180 155193344 36935 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134769198 0 0 4096 0 0 0 0 17 1 0 0
/proc/12846/statm: 37889 36935 196 154 0 37359 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 170504

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12846
/proc/meminfo: memFree=1551512/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13592 CPUtime=5.63
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 902 1690 0 0 5 0 555 3 16 0 1 0 164388614 13918208 769 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12836/statm: 3398 769 343 3 0 498 0
[pid=12844] ppid=12836 vsize=5356 CPUtime=0.01
/proc/12844/stat : 12844 (sh) S 12836 12836 11817 0 -1 4194304 287 122 0 0 0 0 0 1 16 0 1 0 164389180 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12844/statm: 1339 225 188 169 0 50 0
[pid=12846] ppid=12844 vsize=173200 CPUtime=276.52
/proc/12846/stat : 12846 (clasp) R 12844 12836 11817 0 -1 4194304 45859 0 0 0 27625 27 0 0 25 0 1 0 164389180 177356800 42339 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134769196 0 0 4096 0 0 0 0 17 1 0 0
/proc/12846/statm: 43300 42339 196 154 0 42770 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 192148


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

/proc/loadavg: 0.99 0.97 0.97 2/67 12864
/proc/meminfo: memFree=1476952/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13724 CPUtime=1122.34
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 1200 129399 0 0 6 0 112125 103 18 0 1 0 164388614 14053376 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12836/statm: 3431 778 343 3 0 531 0
[pid=12860] ppid=12836 vsize=5356 CPUtime=0
/proc/12860/stat : 12860 (sh) S 12836 12836 11817 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 164500891 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12860/statm: 1339 225 188 169 0 50 0
[pid=12862] ppid=12860 vsize=248556 CPUtime=599.31
/proc/12862/stat : 12862 (clasp) R 12860 12836 11817 0 -1 4194304 66039 0 0 0 59892 39 0 0 25 0 1 0 164500891 254521344 60912 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0
/proc/12862/statm: 62139 60912 196 154 0 61609 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 267636

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12864
/proc/meminfo: memFree=1458392/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13724 CPUtime=1122.34
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 1200 129399 0 0 6 0 112125 103 18 0 1 0 164388614 14053376 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12836/statm: 3431 778 343 3 0 531 0
[pid=12860] ppid=12836 vsize=5356 CPUtime=0
/proc/12860/stat : 12860 (sh) S 12836 12836 11817 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 164500891 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12860/statm: 1339 225 188 169 0 50 0
[pid=12862] ppid=12860 vsize=267172 CPUtime=659.29
/proc/12862/stat : 12862 (clasp) R 12860 12836 11817 0 -1 4194304 70717 0 0 0 65887 42 0 0 25 0 1 0 164500891 273584128 65529 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740633 0 0 4096 0 0 0 0 17 1 0 0
/proc/12862/statm: 66793 65529 196 154 0 66263 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 286252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12864
/proc/meminfo: memFree=1449304/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13724 CPUtime=1122.34
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 1200 129399 0 0 6 0 112125 103 18 0 1 0 164388614 14053376 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12836/statm: 3431 778 343 3 0 531 0
[pid=12860] ppid=12836 vsize=5356 CPUtime=0
/proc/12860/stat : 12860 (sh) S 12836 12836 11817 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 164500891 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12860/statm: 1339 225 188 169 0 50 0
[pid=12862] ppid=12860 vsize=276304 CPUtime=677.69
/proc/12862/stat : 12862 (clasp) R 12860 12836 11817 0 -1 4194304 72987 0 0 0 67726 43 0 0 25 0 1 0 164500891 282935296 67799 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134741339 0 0 4096 0 0 0 0 17 1 0 0
/proc/12862/statm: 69076 67799 196 154 0 68546 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 295384

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12864
/proc/meminfo: memFree=1449304/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13724 CPUtime=1122.34
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 1200 129399 0 0 6 0 112125 103 18 0 1 0 164388614 14053376 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12836/statm: 3431 778 343 3 0 531 0
[pid=12860] ppid=12836 vsize=5356 CPUtime=0
/proc/12860/stat : 12860 (sh) S 12836 12836 11817 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 164500891 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12860/statm: 1339 225 188 169 0 50 0
[pid=12862] ppid=12860 vsize=276304 CPUtime=677.69
/proc/12862/stat : 12862 (clasp) R 12860 12836 11817 0 -1 4194304 72987 0 0 0 67726 43 0 0 25 0 1 0 164500891 282935296 67799 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134741339 0 0 4096 0 0 0 0 17 1 0 0
/proc/12862/statm: 69076 67799 196 154 0 68546 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 295384

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

[startup+1800.82 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12864
/proc/meminfo: memFree=1449304/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13724 CPUtime=1122.39
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 1372 131181 0 0 6 0 112126 107 17 0 1 0 164388614 14053376 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12836/statm: 3431 778 343 3 0 531 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 13724

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 12864
/proc/meminfo: memFree=1449304/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13724 CPUtime=1122.39
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 1372 131181 0 0 6 0 112126 107 17 0 1 0 164388614 14053376 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12836/statm: 3431 778 343 3 0 531 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 13724

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.97 2/69 12875
/proc/meminfo: memFree=1699144/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13724 CPUtime=1122.39
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 1372 131181 0 0 6 0 112126 107 17 0 1 0 164388614 14053376 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12836/statm: 3431 778 343 3 0 531 0
[pid=12873] ppid=12836 vsize=5356 CPUtime=0
/proc/12873/stat : 12873 (sh) S 12836 12836 11817 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 164568690 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12873/statm: 1339 225 188 169 0 50 0
[pid=12874] ppid=12873 vsize=2520 CPUtime=0
/proc/12874/stat : 12874 (cat) S 12873 12836 11817 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 164568691 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 217051791586 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/12874/statm: 630 87 71 4 0 42 0
[pid=12875] ppid=12873 vsize=34008 CPUtime=1.42
/proc/12875/stat : 12875 (clasp) R 12873 12836 11817 0 -1 4194304 8176 0 0 0 139 3 0 0 25 0 1 0 164568691 34824192 8105 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134855493 0 0 4096 0 0 0 0 17 1 0 0
/proc/12875/statm: 8502 8105 173 154 0 7972 0
Current children cumulated CPU time (s) 1123.81
Current children cumulated vsize (KiB) 55608

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/69 12875
/proc/meminfo: memFree=1699144/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13724 CPUtime=1122.39
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 1372 131181 0 0 6 0 112126 107 17 0 1 0 164388614 14053376 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12836/statm: 3431 778 343 3 0 531 0
[pid=12873] ppid=12836 vsize=5356 CPUtime=0
/proc/12873/stat : 12873 (sh) S 12836 12836 11817 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 164568690 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12873/statm: 1339 225 188 169 0 50 0
[pid=12874] ppid=12873 vsize=2520 CPUtime=0
/proc/12874/stat : 12874 (cat) S 12873 12836 11817 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 164568691 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 217051791586 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/12874/statm: 630 87 71 4 0 42 0
[pid=12875] ppid=12873 vsize=42488 CPUtime=1.82
/proc/12875/stat : 12875 (clasp) R 12873 12836 11817 0 -1 4194304 10318 0 0 0 178 4 0 0 25 0 1 0 164568691 43507712 10247 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 9658945 0 0 4096 0 0 0 0 17 1 0 0
/proc/12875/statm: 10622 10247 173 154 0 10092 0
Current children cumulated CPU time (s) 1124.21
Current children cumulated vsize (KiB) 64088

[startup+1802.7 s]
/proc/loadavg: 0.99 0.97 0.97 2/69 12875
/proc/meminfo: memFree=1699144/2055920 swapFree=4184568/4192956
[pid=12836] ppid=12834 vsize=13724 CPUtime=1122.39
/proc/12836/stat : 12836 (pbclasp) S 12834 12836 11817 0 -1 4194304 1372 131181 0 0 6 0 112126 107 17 0 1 0 164388614 14053376 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12836/statm: 3431 778 343 3 0 531 0
[pid=12873] ppid=12836 vsize=5356 CPUtime=0
/proc/12873/stat : 12873 (sh) S 12836 12836 11817 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 164568690 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12873/statm: 1339 225 188 169 0 50 0
[pid=12874] ppid=12873 vsize=2520 CPUtime=0
/proc/12874/stat : 12874 (cat) S 12873 12836 11817 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 164568691 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 217051791586 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/12874/statm: 630 87 71 4 0 42 0
[pid=12875] ppid=12873 vsize=44708 CPUtime=1.92
/proc/12875/stat : 12875 (clasp) R 12873 12836 11817 0 -1 4194304 10854 0 0 0 188 4 0 0 25 0 1 0 164568691 45780992 10783 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134937477 0 0 4096 0 0 0 0 17 1 0 0
/proc/12875/statm: 11177 10783 173 154 0 10647 0
Current children cumulated CPU time (s) 1124.31
Current children cumulated vsize (KiB) 66308

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12836 and gives
#  childrusage.ru_utime.tv_sec=1121
#  childrusage.ru_utime.tv_usec=329532
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=97833
# CPU time returned by wait4() is 1122.43
# while last known CPU time is 1124.31
#
# 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): 677.64
#  lost CPU user time (s): 677.25
#  lost CPU system time (s): 0.39

Real time (s): 1802.73
CPU time (s): 1801.95
CPU user time (s): 1800.45
CPU system time (s): 1.5
CPU usage (%): 99.9566
Max. virtual memory (cumulated for all children) (KiB): 314228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1121.33
system time used= 1.09783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133306
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= 2930
involuntary context switches= 2589

runsolver used 2.20267 second user time and 4.27435 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Sat Apr 21 14:13:10 UTC 2007

IDJOB= 373095
IDBENCH= 25019
IDSOLVER= 158
FILE ID= node59/373095-1177164790

PBS_JOBID= 4648923

Free space on /tmp= 66328 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_1.opb
COMMAND LINE= pbclasp instance-373095-1177164790.opb /tmp/evaluation/373095-1177164790/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-373095-1177164790 -o ROOT/results/node59/conversion-373095-1177164790 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373095-1177164790/instance-373095-1177164790.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  a7af672db5daf9bd21f1768f531add6b

RANDOM SEED= 836411213

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1728968 kB
Buffers:         28532 kB
Cached:         236672 kB
SwapCached:       2104 kB
Active:          55120 kB
Inactive:       220224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1728968 kB
SwapTotal:     4192956 kB
SwapFree:      4184568 kB
Dirty:            3412 kB
Writeback:           0 kB
Mapped:          16900 kB
Slab:            37528 kB
Committed_AS:  2976120 kB
PageTables:       1476 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= 66323 MiB

End job on node59 on Sat Apr 21 14:43:13 UTC 2007