Trace number 373025

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)26 1801.97 1802.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
MD5SUM7da351a6b3346c83b923d96056c07b3e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables12935
Total number of constraints47889
Number of constraints which are clauses47870
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint1
Maximum length of a constraint953
Number of terms in the objective function 953
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 953
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 984
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

33.25/33.35	o 31
132.49/132.69	o 30
200.67/200.89	o 29
210.46/210.66	o 28
436.30/436.55	o 27
588.86/589.14	o 26
1800.04/1800.62	c Somebody sent me a SIGTERM
1800.04/1800.62	s SATISFIABLE
1800.04/1800.62	v x1 x8 x11 x22 x23 x24 x37 x46 x92 x102 x113 x114 x115 x191 x208 x255 x387 x419 x420 x421 x501 x588 x943 x960 x961 x988 x1240 x1286
1800.04/1800.62	v x1299 x1300 x1359 x1447 x1457 x1462 x1464 x1469 x1473 x1476 x1477 x1479 x1481 x1483 x1485 x1568 x1586 x1622 x1623 x1676 x1682
1800.04/1800.62	v x1724 x1784 x1808 x1817 x1868 x1869 x1928 x1930 x1932 x1935 x1937 x1942 x1948 x1949 x1950 x1951 x1956 x1998 x2000 x2019 x2026
1800.04/1800.62	v x2068 x2070 x2094 x2103 x2104 x2108 x2110 x2111 x2117 x2128 x2129 x2131 x2132 x2136 x2143 x2150 x2152 x2157 x2164 x2171 x2207
1800.04/1800.62	v x2292 x2307 x3260 x3268 x3782 x3785 x3898 x4536 x5348 x5379 x5435 x5437 x5493 x5609 x5696 x5754 x5756 x5870 x5928 x5930 x5950
1800.04/1800.62	v x6013 x6041 x6042 x6071 x6129 x6158 x6187 x6216 x6245 x6274 x6303 x6360 x6361 x6362 x6363 x6419 x6535 x6622 x6680 x6738 x6796
1800.04/1800.62	v x6883 x6970 x6999 x7086 x7115 x7143 x7144 x7200 x7258 x7316 x7345 x7374 x7403 x7461 x7519 x7577 x7635 x7664 x7722 x7751 x7814
1800.04/1800.62	v x7817 x7899 x7903 x7904 x7910 x8006 x8011 x8052 x8054 x8069 x8244 x8254 x8278 x8288 x8324 x8326 x8358 x8363 x8372 x8397 x8400
1800.04/1800.62	v x8494 x8579 x8581 x8596 x8618 x8625 x8664 x8665 x8681 x8698 x8699 x8737 x8745 x8749 x8750 x8771 x8777 x8851 x8852 x8936 x8937
1800.04/1800.62	v x8953 x8970 x8971 x8972 x8987 x9026 x9028 x9055 x9072 x9075 x9089 x9349 x9355 x9429 x9432 x9463 x9565 x9582 x9585 x9616 x9650
1800.04/1800.62	v x9653 x9684 x9686 x9723 x9728 x9769 x9770 x9803 x9804 x9922 x10154 x10466 x10467 x10474 x10764 x10767 x10791 x10794 x11142
1800.04/1800.62	v x11156 x11170 x11184 x11198 x11212 x11226 x11240 x11242 x11254 x11256 x11296 x11310 x11324 x11338 x11352 x11364 x11378
1800.04/1800.62	v x11392 x11432 x11448 x11454 x11460 x11474 x11542 x11570 x11572 x11577 x11598 x11638 x11640 x11646 x11652 x11666 x11692
1800.04/1800.62	v x11694 x11734 x11748 x11790 x11804 x11818 x11832 x11846 x11860 x11902 x11916 x11917 x11931 x11934 x11936 x11937 x11986
1800.04/1800.62	v x11987 x11996 x11997 x12016 x12018 x12021 x12023 x12031 x12032 x12033 x12036 x12037 x12038 x12046 x12066 x12069 x12076
1800.04/1800.62	v x12079 x12106 x12108 x12110 x12111 x12113 x12146 x12176 x12178 x12186 x12188 x12191 x12194 x12196 x12198 x12206 x12208
1800.04/1800.62	v x12226 x12227 x12236 x12241 x12244 x12256 x12266 x12320 x12322 x12347 x12467 x12478 x12479 x12587 x12623 x12625 x12714
1800.04/1800.62	v x12728 x12742 x12743 x12744 x12765 x12770 x12772 x12779 x12781 x12800 x12816 x12817 x12838 x12885 x12899 x12901 x12923
1800.04/1800.62	v x12930
1800.04/1800.62	pb2clasp1: no process killed

Verifier Data (download as text)

OK	26

Conversion Script Data (download as text)

/tmp/evaluation/373025-1177158257/instance-373025-1177158257.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/node62/watcher-373025-1177158257 -o ROOT/results/node62/solver-373025-1177158257 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373025-1177158257.opb /tmp/evaluation/373025-1177158257/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.92 3/64 9511
/proc/meminfo: memFree=1777448/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=12268 CPUtime=0
/proc/9511/stat : 9511 (pbclasp) D 9509 9511 8752 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 34401670 12562432 317 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236437863013 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/9511/statm: 3067 317 242 3 0 167 0

[startup+0.0805011 s]
/proc/loadavg: 0.92 0.98 0.92 3/64 9511
/proc/meminfo: memFree=1777448/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13060 CPUtime=0.02
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 651 0 0 0 2 0 0 0 16 0 1 0 34401670 13373440 603 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/9511/statm: 3265 603 324 3 0 365 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13060

[startup+0.101503 s]
/proc/loadavg: 0.92 0.98 0.92 3/64 9511
/proc/meminfo: memFree=1777448/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13060 CPUtime=0.02
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 651 0 0 0 2 0 0 0 16 0 1 0 34401670 13373440 603 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/9511/statm: 3265 603 324 3 0 365 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13060

[startup+0.301524 s]
/proc/loadavg: 0.92 0.98 0.92 3/64 9511
/proc/meminfo: memFree=1777448/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13060 CPUtime=0.02
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 651 0 0 0 2 0 0 0 16 0 1 0 34401670 13373440 603 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/9511/statm: 3265 603 324 3 0 365 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13060

[startup+0.701571 s]
/proc/loadavg: 0.92 0.98 0.92 3/64 9511
/proc/meminfo: memFree=1777448/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13060 CPUtime=0.02
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 651 0 0 0 2 0 0 0 16 0 1 0 34401670 13373440 603 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/9511/statm: 3265 603 324 3 0 365 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13060

[startup+1.50166 s]
/proc/loadavg: 0.92 0.98 0.92 2/67 9514
/proc/meminfo: memFree=1774928/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13060 CPUtime=0.02
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 651 0 0 0 2 0 0 0 16 0 1 0 34401670 13373440 603 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/9511/statm: 3265 603 324 3 0 365 0
[pid=9513] ppid=9511 vsize=5352 CPUtime=0
/proc/9513/stat : 9513 (sh) S 9511 9511 8752 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 34401673 5480448 230 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9513/statm: 1338 230 193 169 0 49 0
[pid=9514] ppid=9513 vsize=12532 CPUtime=1.45
/proc/9514/stat : 9514 (pb2clasp1) R 9513 9511 8752 0 -1 4194304 517 0 0 0 145 0 0 0 25 0 1 0 34401673 12832768 479 18446744073709551615 4194304 4206940 548682069296 18446744073709551615 236437390916 0 0 4224 0 0 0 0 17 1 0 0
/proc/9514/statm: 3133 479 340 3 0 233 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30944

[startup+3.10285 s]
/proc/loadavg: 0.92 0.98 0.92 2/67 9514
/proc/meminfo: memFree=1774352/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13060 CPUtime=0.02
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 651 0 0 0 2 0 0 0 16 0 1 0 34401670 13373440 603 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/9511/statm: 3265 603 324 3 0 365 0
[pid=9513] ppid=9511 vsize=5352 CPUtime=0
/proc/9513/stat : 9513 (sh) S 9511 9511 8752 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 34401673 5480448 230 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9513/statm: 1338 230 193 169 0 49 0
[pid=9514] ppid=9513 vsize=12532 CPUtime=3.05
/proc/9514/stat : 9514 (pb2clasp1) R 9513 9511 8752 0 -1 4194304 517 0 0 0 305 0 0 0 25 0 1 0 34401673 12832768 479 18446744073709551615 4194304 4206940 548682069296 18446744073709551615 236437389541 0 0 4224 0 0 0 0 17 1 0 0
/proc/9514/statm: 3133 479 340 3 0 233 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 30944

[startup+6.30123 s]
/proc/loadavg: 0.93 0.98 0.92 2/68 9521
/proc/meminfo: memFree=1737608/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=3.32
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 783 1656 0 0 2 0 328 2 16 0 1 0 34401670 13504512 644 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9511/statm: 3297 644 343 3 0 397 0
[pid=9519] ppid=9511 vsize=5356 CPUtime=0
/proc/9519/stat : 9519 (sh) S 9511 9511 8752 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 34402005 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9519/statm: 1339 225 188 169 0 50 0
[pid=9521] ppid=9519 vsize=63540 CPUtime=2.94
/proc/9521/stat : 9521 (clasp) R 9519 9511 8752 0 -1 4194304 16809 0 0 0 287 7 0 0 25 0 1 0 34402005 65064960 15340 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134682899 0 0 4096 0 0 0 0 17 1 0 0
/proc/9521/statm: 15885 15340 196 154 0 15355 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 82084

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.92 2/67 9521
/proc/meminfo: memFree=1711320/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=3.32
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 783 1656 0 0 2 0 328 2 16 0 1 0 34401670 13504512 644 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9511/statm: 3297 644 343 3 0 397 0
[pid=9519] ppid=9511 vsize=5356 CPUtime=0
/proc/9519/stat : 9519 (sh) S 9511 9511 8752 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 34402005 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9519/statm: 1339 225 188 169 0 50 0
[pid=9521] ppid=9519 vsize=63540 CPUtime=9.34
/proc/9521/stat : 9521 (clasp) R 9519 9511 8752 0 -1 4194304 16823 0 0 0 927 7 0 0 25 0 1 0 34402005 65064960 15354 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0
/proc/9521/statm: 15885 15354 196 154 0 15355 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 82084

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.92 2/67 9521
/proc/meminfo: memFree=1711192/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=3.32
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 783 1656 0 0 2 0 328 2 16 0 1 0 34401670 13504512 644 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9511/statm: 3297 644 343 3 0 397 0
[pid=9519] ppid=9511 vsize=5356 CPUtime=0
/proc/9519/stat : 9519 (sh) S 9511 9511 8752 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 34402005 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9519/statm: 1339 225 188 169 0 50 0
[pid=9521] ppid=9519 vsize=63540 CPUtime=22.13
/proc/9521/stat : 9521 (clasp) R 9519 9511 8752 0 -1 4194304 16867 0 0 0 2206 7 0 0 25 0 1 0 34402005 65064960 15398 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134746407 0 0 4096 0 0 0 0 17 1 0 0
/proc/9521/statm: 15885 15398 196 154 0 15355 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 82084

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.92 2/67 9529
/proc/meminfo: memFree=1691416/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=33.34
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 920 19938 0 0 2 1 3319 12 16 0 1 0 34401670 13504512 648 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9511/statm: 3297 648 343 3 0 397 0
[pid=9527] ppid=9511 vsize=5356 CPUtime=0
/proc/9527/stat : 9527 (sh) S 9511 9511 8752 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 34405011 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9527/statm: 1339 225 188 169 0 50 0
[pid=9529] ppid=9527 vsize=83948 CPUtime=17.67
/proc/9529/stat : 9529 (clasp) R 9527 9511 8752 0 -1 4194304 24017 0 0 0 1757 10 0 0 25 0 1 0 34405011 85962752 20312 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740536 0 0 4096 0 0 0 0 17 1 0 0
/proc/9529/statm: 20987 20312 196 154 0 20457 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 102492

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.92 2/67 9529
/proc/meminfo: memFree=1691160/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=33.34
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 920 19938 0 0 2 1 3319 12 16 0 1 0 34401670 13504512 648 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9511/statm: 3297 648 343 3 0 397 0
[pid=9527] ppid=9511 vsize=5356 CPUtime=0
/proc/9527/stat : 9527 (sh) S 9511 9511 8752 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 34405011 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9527/statm: 1339 225 188 169 0 50 0
[pid=9529] ppid=9527 vsize=83948 CPUtime=68.86
/proc/9529/stat : 9529 (clasp) R 9527 9511 8752 0 -1 4194304 24102 0 0 0 6876 10 0 0 25 0 1 0 34405011 85962752 20397 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134769212 0 0 4096 0 0 0 0 17 1 0 0
/proc/9529/statm: 20987 20397 196 154 0 20457 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 102492

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/67 9537
/proc/meminfo: memFree=1693080/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=132.63
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 1067 45499 0 0 3 1 13232 27 17 0 1 0 34401670 13504512 651 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9511/statm: 3297 651 343 3 0 397 0
[pid=9535] ppid=9511 vsize=5356 CPUtime=0
/proc/9535/stat : 9535 (sh) S 9511 9511 8752 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 34414942 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9535/statm: 1339 225 188 169 0 50 0
[pid=9537] ppid=9535 vsize=82572 CPUtime=29.55
/proc/9537/stat : 9537 (clasp) R 9535 9511 8752 0 -1 4194304 22323 0 0 0 2945 10 0 0 25 0 1 0 34414942 84553728 19892 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0
/proc/9537/statm: 20643 19892 196 154 0 20113 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 101116

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/67 9553
/proc/meminfo: memFree=1688528/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=210.56
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 1336 93730 0 0 3 1 20997 55 16 0 1 0 34401670 13504512 651 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9511/statm: 3297 651 343 3 0 397 0
[pid=9551] ppid=9511 vsize=5356 CPUtime=0
/proc/9551/stat : 9551 (sh) S 9511 9511 8752 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 34422738 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9551/statm: 1339 225 188 169 0 50 0
[pid=9553] ppid=9551 vsize=87888 CPUtime=11.6
/proc/9553/stat : 9553 (clasp) R 9551 9511 8752 0 -1 4194304 24864 0 0 0 1150 10 0 0 25 0 1 0 34422739 89997312 20980 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740840 0 0 4096 0 0 0 0 17 1 0 0
/proc/9553/statm: 21972 20980 196 154 0 21442 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 106432

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/67 9553
/proc/meminfo: memFree=1688080/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=210.56
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 1336 93730 0 0 3 1 20997 55 16 0 1 0 34401670 13504512 651 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9511/statm: 3297 651 343 3 0 397 0
[pid=9551] ppid=9511 vsize=5356 CPUtime=0
/proc/9551/stat : 9551 (sh) S 9511 9511 8752 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 34422738 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9551/statm: 1339 225 188 169 0 50 0

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

/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 1592 151924 0 0 4 1 58797 92 18 0 1 0 34401670 13504512 651 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9511/statm: 3297 651 343 3 0 397 0
[pid=9567] ppid=9511 vsize=5356 CPUtime=0
/proc/9567/stat : 9567 (sh) S 9511 9511 8752 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 34460587 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9567/statm: 1339 225 188 169 0 50 0
[pid=9569] ppid=9567 vsize=227048 CPUtime=1072.83
/proc/9569/stat : 9569 (clasp) R 9567 9511 8752 0 -1 4194304 58495 0 0 0 107237 46 0 0 25 0 1 0 34460587 232497152 55711 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134768773 0 0 4096 0 0 0 0 17 1 0 0
/proc/9569/statm: 56762 55711 196 154 0 56232 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 245592

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/67 9571
/proc/meminfo: memFree=1540760/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=588.94
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 1592 151924 0 0 4 1 58797 92 18 0 1 0 34401670 13504512 651 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9511/statm: 3297 651 343 3 0 397 0
[pid=9567] ppid=9511 vsize=5356 CPUtime=0
/proc/9567/stat : 9567 (sh) S 9511 9511 8752 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 34460587 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9567/statm: 1339 225 188 169 0 50 0
[pid=9569] ppid=9567 vsize=235472 CPUtime=1132.81
/proc/9569/stat : 9569 (clasp) R 9567 9511 8752 0 -1 4194304 60600 0 0 0 113234 47 0 0 25 0 1 0 34460587 241123328 57816 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740840 0 0 4096 0 0 0 0 17 1 0 0
/proc/9569/statm: 58868 57816 196 154 0 58338 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 254016

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/67 9571
/proc/meminfo: memFree=1535000/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=588.94
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 1592 151924 0 0 4 1 58797 92 18 0 1 0 34401670 13504512 651 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9511/statm: 3297 651 343 3 0 397 0
[pid=9567] ppid=9511 vsize=5356 CPUtime=0
/proc/9567/stat : 9567 (sh) S 9511 9511 8752 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 34460587 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9567/statm: 1339 225 188 169 0 50 0
[pid=9569] ppid=9567 vsize=241340 CPUtime=1192.8
/proc/9569/stat : 9569 (clasp) R 9567 9511 8752 0 -1 4194304 62115 0 0 0 119231 49 0 0 25 0 1 0 34460587 247132160 59240 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740536 0 0 4096 0 0 0 0 17 1 0 0
/proc/9569/statm: 60335 59240 196 154 0 59805 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 259884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.92 2/67 9571
/proc/meminfo: memFree=1531928/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=588.94
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 1592 151924 0 0 4 1 58797 92 18 0 1 0 34401670 13504512 651 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9511/statm: 3297 651 343 3 0 397 0
[pid=9567] ppid=9511 vsize=5356 CPUtime=0
/proc/9567/stat : 9567 (sh) S 9511 9511 8752 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 34460587 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9567/statm: 1339 225 188 169 0 50 0
[pid=9569] ppid=9567 vsize=244268 CPUtime=1211.1
/proc/9569/stat : 9569 (clasp) R 9567 9511 8752 0 -1 4194304 62858 0 0 0 121061 49 0 0 25 0 1 0 34460587 250130432 59983 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134746407 0 0 4096 0 0 0 0 17 1 0 0
/proc/9569/statm: 61067 59983 196 154 0 60537 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 262812

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

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.92 2/67 9571
/proc/meminfo: memFree=1531928/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=588.94
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 1592 151924 0 0 4 1 58797 92 18 0 1 0 34401670 13504512 651 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9511/statm: 3297 651 343 3 0 397 0
[pid=9567] ppid=9511 vsize=5356 CPUtime=0
/proc/9567/stat : 9567 (sh) S 9511 9511 8752 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 34460587 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9567/statm: 1339 225 188 169 0 50 0
[pid=9569] ppid=9567 vsize=244268 CPUtime=1211.1
/proc/9569/stat : 9569 (clasp) R 9567 9511 8752 0 -1 4194304 62858 0 0 0 121061 49 0 0 25 0 1 0 34460587 250130432 59983 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134746407 0 0 4096 0 0 0 0 17 1 0 0
/proc/9569/statm: 61067 59983 196 154 0 60537 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 262812

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

[startup+1800.72 s]
/proc/loadavg: 0.99 0.98 0.92 2/67 9571
/proc/meminfo: memFree=1531928/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=588.98
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 1752 153590 0 0 4 2 58798 94 18 0 1 0 34401670 13504512 651 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9511/statm: 3297 651 343 3 0 397 0
Current children cumulated CPU time (s) 588.98
Current children cumulated vsize (KiB) 13188

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.98 0.92 2/67 9571
/proc/meminfo: memFree=1531928/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=588.98
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 1752 153590 0 0 4 2 58798 94 18 0 1 0 34401670 13504512 651 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9511/statm: 3297 651 343 3 0 397 0
Current children cumulated CPU time (s) 588.98
Current children cumulated vsize (KiB) 13188

[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.92 2/70 9582
/proc/meminfo: memFree=1747832/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=588.98
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 1752 153590 0 0 4 2 58798 94 18 0 1 0 34401670 13504512 651 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9511/statm: 3297 651 343 3 0 397 0
[pid=9572] ppid=9511 vsize=0 CPUtime=0
/proc/9572/stat : 9572 (rm) Z 9511 9511 8752 0 -1 4194316 115 0 0 0 0 0 0 0 18 0 1 0 34581732 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/9572/statm: 0 0 0 0 0 0 0
[pid=9580] ppid=9511 vsize=5356 CPUtime=0
/proc/9580/stat : 9580 (sh) S 9511 9511 8752 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 34581735 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9580/statm: 1339 225 188 169 0 50 0
[pid=9581] ppid=9580 vsize=2520 CPUtime=0
/proc/9581/stat : 9581 (cat) S 9580 9511 8752 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 34581736 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 236437864674 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/9581/statm: 630 87 71 4 0 42 0
[pid=9582] ppid=9580 vsize=35040 CPUtime=1.53
/proc/9582/stat : 9582 (clasp) R 9580 9511 8752 0 -1 4194304 8450 0 0 0 149 4 0 0 25 0 1 0 34581736 35880960 8379 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 8573905 0 0 4096 0 0 0 0 17 1 0 0
/proc/9582/statm: 8760 8379 176 154 0 8230 0
Current children cumulated CPU time (s) 590.51
Current children cumulated vsize (KiB) 56104

[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.92 2/70 9582
/proc/meminfo: memFree=1747832/2055920 swapFree=4184556/4192956
[pid=9511] ppid=9509 vsize=13188 CPUtime=588.98
/proc/9511/stat : 9511 (pbclasp) S 9509 9511 8752 0 -1 4194304 1752 153590 0 0 4 2 58798 94 18 0 1 0 34401670 13504512 651 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 236446597012 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/9511/statm: 3297 651 343 3 0 397 0
[pid=9572] ppid=9511 vsize=0 CPUtime=0
/proc/9572/stat : 9572 (rm) Z 9511 9511 8752 0 -1 4194316 115 0 0 0 0 0 0 0 18 0 1 0 34581732 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/9572/statm: 0 0 0 0 0 0 0
[pid=9580] ppid=9511 vsize=5356 CPUtime=0
/proc/9580/stat : 9580 (sh) S 9511 9511 8752 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 34581735 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9580/statm: 1339 225 188 169 0 50 0
[pid=9581] ppid=9580 vsize=2520 CPUtime=0
/proc/9581/stat : 9581 (cat) S 9580 9511 8752 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 34581736 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 236437864674 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/9581/statm: 630 87 71 4 0 42 0
[pid=9582] ppid=9580 vsize=48064 CPUtime=1.93
/proc/9582/stat : 9582 (clasp) R 9580 9511 8752 0 -1 4194304 11738 0 0 0 188 5 0 0 25 0 1 0 34581736 49217536 11616 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 1 0 0
/proc/9582/statm: 12016 11616 184 154 0 11486 0
Current children cumulated CPU time (s) 590.91
Current children cumulated vsize (KiB) 69128

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9511 and gives
#  childrusage.ru_utime.tv_sec=588
#  childrusage.ru_utime.tv_usec=31605
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=977851
# CPU time returned by wait4() is 589.009
# while last known CPU time is 590.91
#
# 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): 1211.06
#  lost CPU user time (s): 1210.6
#  lost CPU system time (s): 0.46

Real time (s): 1802.63
CPU time (s): 1801.97
CPU user time (s): 1800.5
CPU system time (s): 1.47
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 262812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 588.032
system time used= 0.977851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155991
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= 3848
involuntary context switches= 3324

runsolver used 1.84072 second user time and 4.27535 second system time

The end

Launcher Data (download as text)

Begin job on node62 on Sat Apr 21 12:24:17 UTC 2007

IDJOB= 373025
IDBENCH= 25014
IDSOLVER= 158
FILE ID= node62/373025-1177158257

PBS_JOBID= 4648894

Free space on /tmp= 66496 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_7.opb
COMMAND LINE= pbclasp instance-373025-1177158257.opb /tmp/evaluation/373025-1177158257/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node62/convwatcher-373025-1177158257 -o ROOT/results/node62/conversion-373025-1177158257 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373025-1177158257/instance-373025-1177158257.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  7da351a6b3346c83b923d96056c07b3e

RANDOM SEED= 466494730

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node62.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.216
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.216
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:       1777920 kB
Buffers:         24556 kB
Cached:         183688 kB
SwapCached:       2148 kB
Active:          59420 kB
Inactive:       158364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1777920 kB
SwapTotal:     4192956 kB
SwapFree:      4184556 kB
Dirty:            2428 kB
Writeback:           0 kB
Mapped:          16040 kB
Slab:            46256 kB
Committed_AS:  1091172 kB
PageTables:       1460 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= 66493 MiB

End job on node62 on Sat Apr 21 12:54:20 UTC 2007