Trace number 453634

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PB-clasp 2007-04-10Wrong Cert. 1802.05 1802.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_4.opb
MD5SUM4c6ab7a9b1b11dc4bf8c6231156cc585
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark40.2319
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint41
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3070
Sum of products size (including duplicates)6140
Number of different products3070
Sum of products size6140

Quality of the solution as a function of time


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

Solver Data (download as text)

0.49/0.64	o 9
0.63/0.78	o 8
0.77/0.99	o 7
7.35/7.48	o 6
91.96/92.06	o 5
1800.06/1800.01	c Somebody sent me a SIGTERM
1800.06/1800.01	s SATISFIABLE
1800.06/1800.01	v x9 x20 x22 x28 x38 x106 x142 x162 x175 x182 x203 x236 x279 x300 x314 x351 x367 x376 x437 x442 x462 x499 x511 x519 x566 x587 x630
1800.06/1800.01	v x641 x646 x651 x656 x681 x724 x733 x754 x758 x764 x821 x825 x836 x890 x912 x921 x925 x947 x962 x997 x998 x1030 x1035 x1095 x1098
1800.06/1800.01	v x1108 x1129 x1131 x1146 x1158 x1191 x1195 x1211 x1217 x1220 x1240 x1261 x1292 x1323 x1324 x1373 x1425 x1431 x1435 x1462 x1467
1800.06/1800.01	v x1484 x1490 x1494 x1523 x1554 x1559 x1582 x1614 x1618 x1620 x1646 x1649 x1654 x1680 x1692 x1711 x1714 x1737 x1765 x1772 x1778
1800.06/1800.01	v x1805 x1831 x1857 x1861 x1885 x1912 x1917 x1918 x1945 x1973 x1974 x2002 x2009 x2011 x2013 x2031 x2036 x2063 x2067 x2095 x2097
1800.06/1800.01	v x2127 x2152 x2181 x2212 x2214 x2234 x2243 x2247 x2263 x2292 x2299 x2320 x2328 x2331 x2345 x2352 x2372 x2406 x2431 x2437 x2465
1800.06/1800.01	v x2489 x2493 x2508 x2514 x2540 x2567 x2591 x2598 x2624 x2646 x2650 x2654 x2674 x2678 x2681 x2703 x2732 x2755 x2782 x2787 x2816
1800.06/1800.01	v x2817 x2835 x2843 x2862 x2866 x2892 x2897 x2924 x2948 x2951 x2977 x2998 x3024 x3047 x3073 x3102 x3124 x3128 x3130 x3134 x3153
1800.06/1800.02	pb2clasp1: no process killed
1800.06/1800.02	clasp-1.0: no process killed
94.03/1802.02	sh: line 1:  1969 Done                    cat /tmp/evaluation/453634-1178144662/temp/instance-453634-1178144662.opb.op
94.03/1802.02	      1970 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/453634-1178144662/temp/instance-453634-1178144662.opb.clasp

Verifier Data (download as text)

FAILED
ERROR: unsatisfied constraint on line 0
	0>=1

Falsified constraint is:
+1*~x1[=0]*x2[=0]+1*~x1[=0]*x84[=0]+1*~x1[=0]*x75[=0]+1*~x1[=0]*x27[=0]+1*~x1[=0]*x64[=0]+1*~x1[=0]*x38[=1]+1*~x1[=0]*x26[=0]+1*~x1[=0]*x29[=0]+1*~x1[=0]*x86[=0]+1*~x1[=0]*x45[=0]+1*~x1[=0]*x55[=0]+1*~x1[=0]*x15[=0]+1*~x1[=0]*x65[=0]+1*~x1[=0]*x4[=0]+1*~x1[=0]*x3[=0]+1*~x1[=0]*x42[=0]+1*~x1[=0]*x50[=0]+1*~x1[=0]*x18[=0]+1*~x1[=0]*x5[=0]+1*~x1[=0]*x69[=0]+1*~x1[=0]*x80[=0]+1*~x1[=0]*x74[=0]+1*~x1[=0]*x19[=0]+1*~x1[=0]*x23[=0]+1*~x1[=0]*x83[=0]+1*~x1[=0]*x6[=0]+1*~x1[=0]*x14[=0]+1*~x1[=0]*x37[=0]+1*~x1[=0]*x41[=0]+1*~x1[=0]*x47[=0]+1*~x1[=0]*x57[=0]+1*~x1[=0]*x68[=0]+1*~x1[=0]*x92[=0]+1*~x1[=0]*x99[=0]+1*x1[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453634-1178144662/instance-453634-1178144662.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node16/watcher-453634-1178144662 -o ROOT/results/node16/solver-453634-1178144662 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453634-1178144662.opb /tmp/evaluation/453634-1178144662/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 1.00 1.00 3/77 1903
/proc/meminfo: memFree=1813296/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12268 CPUtime=0
/proc/1903/stat : 1903 (pbclasp) R 1901 1903 305 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 262383893 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971273726 0 0 4224 0 0 0 0 17 1 0 0
/proc/1903/statm: 3067 317 242 3 0 167 0

[startup+0.0821161 s]
/proc/loadavg: 0.99 1.00 1.00 3/77 1903
/proc/meminfo: memFree=1813296/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=0
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 517 0 0 0 0 0 0 0 16 0 1 0 262383893 12832768 470 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1903/statm: 3133 470 324 3 0 233 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12532

[startup+0.101097 s]
/proc/loadavg: 0.99 1.00 1.00 3/77 1903
/proc/meminfo: memFree=1813296/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=0
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 517 0 0 0 0 0 0 0 16 0 1 0 262383893 12832768 470 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1903/statm: 3133 470 324 3 0 233 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12532

[startup+0.301056 s]
/proc/loadavg: 0.99 1.00 1.00 3/77 1903
/proc/meminfo: memFree=1813296/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=0
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 517 0 0 0 0 0 0 0 16 0 1 0 262383893 12832768 470 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1903/statm: 3133 470 324 3 0 233 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12532

[startup+0.701988 s]
/proc/loadavg: 0.99 1.00 1.00 3/77 1903
/proc/meminfo: memFree=1813296/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=0.63
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 723 4318 0 0 0 0 61 2 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 12532

[startup+1.5018 s]
/proc/loadavg: 0.99 1.00 1.00 2/79 1935
/proc/meminfo: memFree=1812000/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=0.97
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 962 9806 0 0 0 0 91 6 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 12532

[startup+3.10147 s]
/proc/loadavg: 0.99 1.00 1.00 2/80 1939
/proc/meminfo: memFree=1807256/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=0.97
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 962 9806 0 0 0 0 91 6 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1937] ppid=1903 vsize=5356 CPUtime=0
/proc/1937/stat : 1937 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262383993 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1937/statm: 1339 225 188 169 0 50 0
[pid=1939] ppid=1937 vsize=7192 CPUtime=2.08
/proc/1939/stat : 1939 (clasp-1.0) R 1937 1903 305 0 -1 4194304 1456 0 0 0 208 0 0 0 25 0 1 0 262383994 7364608 1396 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134713939 0 0 4096 0 0 0 0 17 1 0 0
/proc/1939/statm: 1798 1396 249 81 0 1172 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 25080

[startup+6.30279 s]
/proc/loadavg: 0.99 1.00 1.00 2/80 1939
/proc/meminfo: memFree=1805784/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=0.97
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 962 9806 0 0 0 0 91 6 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1937] ppid=1903 vsize=5356 CPUtime=0
/proc/1937/stat : 1937 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262383993 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1937/statm: 1339 225 188 169 0 50 0
[pid=1939] ppid=1937 vsize=8564 CPUtime=5.28
/proc/1939/stat : 1939 (clasp-1.0) R 1937 1903 305 0 -1 4194304 1822 0 0 0 528 0 0 0 25 0 1 0 262383994 8769536 1762 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134782470 0 0 4096 0 0 0 0 17 1 0 0
/proc/1939/statm: 2141 1762 249 81 0 1515 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 26452

[startup+12.7014 s]
/proc/loadavg: 0.99 1.00 1.00 2/80 1948
/proc/meminfo: memFree=1805920/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=7.46
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1081 13020 0 0 1 0 737 8 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1945] ppid=1903 vsize=5356 CPUtime=0
/proc/1945/stat : 1945 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262384642 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1945/statm: 1339 225 188 169 0 50 0
[pid=1948] ppid=1945 vsize=8392 CPUtime=5.2
/proc/1948/stat : 1948 (clasp-1.0) R 1945 1903 305 0 -1 4194304 1755 0 0 0 519 1 0 0 25 0 1 0 262384643 8593408 1695 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737608 0 0 4096 0 0 0 0 17 1 0 0
/proc/1948/statm: 2098 1695 249 81 0 1472 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 26280

[startup+25.5018 s]
/proc/loadavg: 0.99 1.00 1.00 2/80 1948
/proc/meminfo: memFree=1803616/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=7.46
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1081 13020 0 0 1 0 737 8 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1945] ppid=1903 vsize=5356 CPUtime=0
/proc/1945/stat : 1945 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262384642 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1945/statm: 1339 225 188 169 0 50 0
[pid=1948] ppid=1945 vsize=10424 CPUtime=18
/proc/1948/stat : 1948 (clasp-1.0) R 1945 1903 305 0 -1 4194304 2254 0 0 0 1798 2 0 0 25 0 1 0 262384643 10674176 2194 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134714241 0 0 4096 0 0 0 0 17 1 0 0
/proc/1948/statm: 2606 2194 249 81 0 1980 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 28312

[startup+51.1014 s]
/proc/loadavg: 0.99 1.00 1.00 2/80 1948
/proc/meminfo: memFree=1798816/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=7.46
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1081 13020 0 0 1 0 737 8 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1945] ppid=1903 vsize=5356 CPUtime=0
/proc/1945/stat : 1945 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262384642 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1945/statm: 1339 225 188 169 0 50 0
[pid=1948] ppid=1945 vsize=15264 CPUtime=43.6
/proc/1948/stat : 1948 (clasp-1.0) R 1945 1903 305 0 -1 4194304 3451 0 0 0 4357 3 0 0 25 0 1 0 262384643 15630336 3391 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/1948/statm: 3816 3391 249 81 0 3190 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 33152

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/80 1957
/proc/meminfo: memFree=1804256/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=92.06
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1199 18559 0 0 1 1 9190 14 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1954] ppid=1903 vsize=5356 CPUtime=0
/proc/1954/stat : 1954 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262393101 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1954/statm: 1339 225 188 169 0 50 0
[pid=1957] ppid=1954 vsize=9620 CPUtime=10.21
/proc/1957/stat : 1957 (clasp-1.0) R 1954 1903 305 0 -1 4194304 2059 0 0 0 1020 1 0 0 25 0 1 0 262393101 9850880 1999 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784634 0 0 4096 0 0 0 0 17 1 0 0
/proc/1957/statm: 2405 1999 249 81 0 1779 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27508

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/80 1957
/proc/meminfo: memFree=1799712/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=92.06
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1199 18559 0 0 1 1 9190 14 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1954] ppid=1903 vsize=5356 CPUtime=0
/proc/1954/stat : 1954 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262393101 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1954/statm: 1339 225 188 169 0 50 0
[pid=1957] ppid=1954 vsize=14568 CPUtime=70.21
/proc/1957/stat : 1957 (clasp-1.0) R 1954 1903 305 0 -1 4194304 3294 0 0 0 7019 2 0 0 25 0 1 0 262393101 14917632 3234 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134782339 0 0 4096 0 0 0 0 17 1 0 0
/proc/1957/statm: 3642 3234 249 81 0 3016 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 32456

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/80 1957
/proc/meminfo: memFree=1796576/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=92.06
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1199 18559 0 0 1 1 9190 14 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1954] ppid=1903 vsize=5356 CPUtime=0
/proc/1954/stat : 1954 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262393101 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1954/statm: 1339 225 188 169 0 50 0
[pid=1957] ppid=1954 vsize=17272 CPUtime=130.22
/proc/1957/stat : 1957 (clasp-1.0) R 1954 1903 305 0 -1 4194304 3969 0 0 0 13018 4 0 0 25 0 1 0 262393101 17686528 3909 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0
/proc/1957/statm: 4318 3909 249 81 0 3692 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 35160

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/80 1957
/proc/meminfo: memFree=1794016/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=92.06
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1199 18559 0 0 1 1 9190 14 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1954] ppid=1903 vsize=5356 CPUtime=0
/proc/1954/stat : 1954 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262393101 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1954/statm: 1339 225 188 169 0 50 0
[pid=1957] ppid=1954 vsize=19856 CPUtime=190.21
/proc/1957/stat : 1957 (clasp-1.0) R 1954 1903 305 0 -1 4194304 4599 0 0 0 19017 4 0 0 25 0 1 0 262393101 20332544 4539 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134715031 0 0 4096 0 0 0 0 17 1 0 0
/proc/1957/statm: 4964 4539 249 81 0 4338 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 37744


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


[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 1959
/proc/meminfo: memFree=1775648/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=92.06
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1199 18559 0 0 1 1 9190 14 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1954] ppid=1903 vsize=5356 CPUtime=0
/proc/1954/stat : 1954 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262393101 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1954/statm: 1339 225 188 169 0 50 0
[pid=1957] ppid=1954 vsize=38416 CPUtime=1510.29
/proc/1957/stat : 1957 (clasp-1.0) R 1954 1903 305 0 -1 4194304 9261 0 0 0 151010 19 0 0 25 0 1 0 262393101 39337984 9074 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784670 0 0 4096 0 0 0 0 17 1 0 0
/proc/1957/statm: 9604 9074 249 81 0 8978 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 56304

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 1959
/proc/meminfo: memFree=1775456/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=92.06
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1199 18559 0 0 1 1 9190 14 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1954] ppid=1903 vsize=5356 CPUtime=0
/proc/1954/stat : 1954 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262393101 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1954/statm: 1339 225 188 169 0 50 0
[pid=1957] ppid=1954 vsize=38560 CPUtime=1570.3
/proc/1957/stat : 1957 (clasp-1.0) R 1954 1903 305 0 -1 4194304 9305 0 0 0 157010 20 0 0 25 0 1 0 262393101 39485440 9118 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784617 0 0 4096 0 0 0 0 17 1 0 0
/proc/1957/statm: 9640 9118 249 81 0 9014 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 56448

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 1959
/proc/meminfo: memFree=1775200/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=92.06
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1199 18559 0 0 1 1 9190 14 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1954] ppid=1903 vsize=5356 CPUtime=0
/proc/1954/stat : 1954 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262393101 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1954/statm: 1339 225 188 169 0 50 0
[pid=1957] ppid=1954 vsize=38956 CPUtime=1630.3
/proc/1957/stat : 1957 (clasp-1.0) R 1954 1903 305 0 -1 4194304 9375 0 0 0 163009 21 0 0 25 0 1 0 262393101 39890944 9188 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/1957/statm: 9739 9188 249 81 0 9113 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 56844

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 1959
/proc/meminfo: memFree=1774688/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=92.06
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1199 18559 0 0 1 1 9190 14 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1954] ppid=1903 vsize=5356 CPUtime=0
/proc/1954/stat : 1954 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262393101 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1954/statm: 1339 225 188 169 0 50 0
[pid=1957] ppid=1954 vsize=39316 CPUtime=1690.3
/proc/1957/stat : 1957 (clasp-1.0) R 1954 1903 305 0 -1 4194304 9506 0 0 0 169009 21 0 0 25 0 1 0 262393101 40259584 9283 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784677 0 0 4096 0 0 0 0 17 1 0 0
/proc/1957/statm: 9829 9283 249 81 0 9203 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 57204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 1959
/proc/meminfo: memFree=1774688/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=92.06
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1199 18559 0 0 1 1 9190 14 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1954] ppid=1903 vsize=5356 CPUtime=0
/proc/1954/stat : 1954 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262393101 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1954/statm: 1339 225 188 169 0 50 0
[pid=1957] ppid=1954 vsize=39316 CPUtime=1708
/proc/1957/stat : 1957 (clasp-1.0) R 1954 1903 305 0 -1 4194304 9506 0 0 0 170779 21 0 0 25 0 1 0 262393101 40259584 9283 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134741030 0 0 4096 0 0 0 0 17 1 0 0
/proc/1957/statm: 9829 9283 249 81 0 9203 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 57204

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

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 1959
/proc/meminfo: memFree=1774688/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=92.06
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1199 18559 0 0 1 1 9190 14 16 0 1 0 262383893 12832768 496 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1903/statm: 3133 496 343 3 0 233 0
[pid=1954] ppid=1903 vsize=5356 CPUtime=0
/proc/1954/stat : 1954 (sh) S 1903 1903 305 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 262393101 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1954/statm: 1339 225 188 169 0 50 0
[pid=1957] ppid=1954 vsize=39316 CPUtime=1708
/proc/1957/stat : 1957 (clasp-1.0) R 1954 1903 305 0 -1 4194304 9506 0 0 0 170779 21 0 0 25 0 1 0 262393101 40259584 9283 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134741030 0 0 4096 0 0 0 0 17 1 0 0
/proc/1957/statm: 9829 9283 249 81 0 9203 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 57204

# WARNING:
# current cumulated CPU time (92.09 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 (1707.97 s) to the 'lost time'.

[startup+1800.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 1959
/proc/meminfo: memFree=1774688/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=92.09
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1366 20341 0 0 1 1 9191 16 16 0 1 0 262383893 12832768 497 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1903/statm: 3133 497 343 3 0 233 0
Current children cumulated CPU time (s) 92.09
Current children cumulated vsize (KiB) 12532

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/81 1970
/proc/meminfo: memFree=1806608/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=92.09
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1366 20341 0 0 1 1 9191 16 16 0 1 0 262383893 12832768 497 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1903/statm: 3133 497 343 3 0 233 0
[pid=1968] ppid=1903 vsize=5356 CPUtime=0
/proc/1968/stat : 1968 (sh) S 1903 1903 305 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 262563897 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1968/statm: 1339 225 188 169 0 50 0
[pid=1970] ppid=1968 vsize=6992 CPUtime=1.34
/proc/1970/stat : 1970 (clasp-1.0) R 1968 1903 305 0 -1 4194304 1390 0 0 0 134 0 0 0 25 0 1 0 262563897 7159808 1330 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737597 0 0 4096 0 0 0 0 17 1 0 0
/proc/1970/statm: 1748 1330 249 81 0 1122 0
Current children cumulated CPU time (s) 93.43
Current children cumulated vsize (KiB) 24880

[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 1970
/proc/meminfo: memFree=1806544/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=92.09
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1366 20341 0 0 1 1 9191 16 16 0 1 0 262383893 12832768 497 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1903/statm: 3133 497 343 3 0 233 0
[pid=1968] ppid=1903 vsize=5356 CPUtime=0
/proc/1968/stat : 1968 (sh) S 1903 1903 305 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 262563897 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1968/statm: 1339 225 188 169 0 50 0
[pid=1970] ppid=1968 vsize=6992 CPUtime=1.75
/proc/1970/stat : 1970 (clasp-1.0) R 1968 1903 305 0 -1 4194304 1393 0 0 0 175 0 0 0 25 0 1 0 262563897 7159808 1333 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737408 0 0 4096 0 0 0 0 17 1 0 0
/proc/1970/statm: 1748 1333 249 81 0 1122 0
Current children cumulated CPU time (s) 93.84
Current children cumulated vsize (KiB) 24880

[startup+1802 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 1970
/proc/meminfo: memFree=1806544/2055920 swapFree=4148560/4192956
[pid=1903] ppid=1901 vsize=12532 CPUtime=92.09
/proc/1903/stat : 1903 (pbclasp) S 1901 1903 305 0 -1 4194304 1366 20341 0 0 1 1 9191 16 16 0 1 0 262383893 12832768 497 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1903/statm: 3133 497 343 3 0 233 0
[pid=1968] ppid=1903 vsize=5356 CPUtime=0
/proc/1968/stat : 1968 (sh) S 1903 1903 305 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 262563897 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1968/statm: 1339 225 188 169 0 50 0
[pid=1970] ppid=1968 vsize=6992 CPUtime=1.94
/proc/1970/stat : 1970 (clasp-1.0) R 1968 1903 305 0 -1 4194304 1395 0 0 0 194 0 0 0 25 0 1 0 262563897 7159808 1335 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134715812 0 0 4096 0 0 0 0 17 1 0 0
/proc/1970/statm: 1748 1335 249 81 0 1122 0
Current children cumulated CPU time (s) 94.03
Current children cumulated vsize (KiB) 24880

Child status: 0

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

Real time (s): 1802.02
CPU time (s): 1802.05
CPU user time (s): 1801.67
CPU system time (s): 0.38097
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 57204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.8937
system time used= 0.19097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23630
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= 918
involuntary context switches= 471

runsolver used 1.59776 second user time and 4.96924 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Wed May  2 22:24:22 UTC 2007

IDJOB= 453634
IDBENCH= 48143
IDSOLVER= 167
FILE ID= node16/453634-1178144662

PBS_JOBID= 4751069

Free space on /tmp= 66564 MiB

SOLVER NAME= PB-clasp 2007-04-10
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_4.opb
COMMAND LINE= pbclasp instance-453634-1178144662.opb /tmp/evaluation/453634-1178144662/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-453634-1178144662 -o ROOT/results/node16/conversion-453634-1178144662 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453634-1178144662/instance-453634-1178144662.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  4c6ab7a9b1b11dc4bf8c6231156cc585

RANDOM SEED= 330271649

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1813768 kB
Buffers:         87056 kB
Cached:          75072 kB
SwapCached:      12496 kB
Active:         104452 kB
Inactive:        86936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1813768 kB
SwapTotal:     4192956 kB
SwapFree:      4148560 kB
Dirty:             712 kB
Writeback:           0 kB
Mapped:          32632 kB
Slab:            36288 kB
Committed_AS: 13936948 kB
PageTables:       1844 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= 66563 MiB

End job on node16 on Wed May  2 22:54:25 UTC 2007