Trace number 426056

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 NameAnswerCPU timeWall clock time
MiraXT v3? (TO) 5000.07 2506.53

General information on the benchmark

Namerandom/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf
MD5SUMbd3636480ccd2ac89b0fc1e6396aab86
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark839.076
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node18/watcher-426056-1178981639 -o ROOT/results/node18/solver-426056-1178981639 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426056-1178981639/MiraXTv3_dyn /tmp/evaluation/426056-1178981639/instance-426056-1178981639.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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: 1.99 1.97 1.70 3/77 19964
/proc/meminfo: memFree=1677040/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=3788 CPUtime=0
/proc/19964/stat : 19964 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 346081255 3878912 263 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8296059 0 0 4096 0 0 0 0 17 0 0 0
/proc/19964/statm: 947 264 206 20 0 305 0

[startup+0.061145 s]
/proc/loadavg: 1.99 1.97 1.70 3/77 19964
/proc/meminfo: memFree=1677040/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=6544 CPUtime=0.1
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 571 0 0 0 10 0 0 0 18 0 3 0 346081255 6701056 546 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 1636 546 218 20 0 994 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6544

[startup+0.118398 s]
/proc/loadavg: 1.99 1.97 1.70 3/77 19964
/proc/meminfo: memFree=1677040/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=6848 CPUtime=0.21
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 744 0 0 0 21 0 0 0 18 0 3 0 346081255 7012352 719 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 1712 719 218 20 0 1070 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 6848

[startup+0.301418 s]
/proc/loadavg: 1.99 1.97 1.70 3/77 19964
/proc/meminfo: memFree=1677040/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=8940 CPUtime=0.58
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 1193 0 0 0 58 0 0 0 18 0 3 0 346081255 9154560 1168 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 2235 1168 218 20 0 1593 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 8940

[startup+0.701457 s]
/proc/loadavg: 1.99 1.97 1.70 3/77 19964
/proc/meminfo: memFree=1677040/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=11528 CPUtime=1.37
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 1920 0 0 0 137 0 0 0 18 0 3 0 346081255 11804672 1895 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 2882 1895 218 20 0 2240 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 11528

[startup+1.50154 s]
/proc/loadavg: 1.99 1.97 1.70 3/80 19967
/proc/meminfo: memFree=1668440/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=14832 CPUtime=2.97
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 2530 0 0 0 296 1 0 0 18 0 3 0 346081255 15187968 2505 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 3708 2505 218 20 0 3066 0
[pid=19964/tid=19966] ppid=19962 vsize=14832 CPUtime=1.47
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 1108 0 0 0 147 0 0 0 21 0 3 0 346081256 15187968 2505 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19962 vsize=14832 CPUtime=1.47
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 1074 0 0 0 147 0 0 0 19 0 3 0 346081256 15187968 2505 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 14832

[startup+3.10169 s]
/proc/loadavg: 1.99 1.97 1.70 3/80 19967
/proc/meminfo: memFree=1666520/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=18972 CPUtime=6.16
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 3584 0 0 0 615 1 0 0 18 0 3 0 346081255 19427328 3487 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 4743 3487 218 20 0 4101 0
[pid=19964/tid=19966] ppid=19962 vsize=18972 CPUtime=3.07
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 1551 0 0 0 307 0 0 0 19 0 3 0 346081256 19427328 3487 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19962 vsize=18972 CPUtime=3.08
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 1685 0 0 0 307 1 0 0 19 0 3 0 346081256 19427328 3487 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 18972

[startup+6.30201 s]
/proc/loadavg: 1.99 1.97 1.70 3/80 19967
/proc/meminfo: memFree=1657688/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=26160 CPUtime=12.55
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 5594 0 0 0 1252 3 0 0 18 0 3 0 346081255 26787840 5419 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 6540 5419 218 20 0 5898 0
[pid=19964/tid=19966] ppid=19962 vsize=26160 CPUtime=6.25
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 2568 0 0 0 624 1 0 0 25 0 3 0 346081256 26787840 5419 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19962 vsize=26160 CPUtime=6.27
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 2678 0 0 0 626 1 0 0 25 0 3 0 346081256 26787840 5419 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 26160

[startup+12.7026 s]
/proc/loadavg: 1.99 1.97 1.70 3/80 19967
/proc/meminfo: memFree=1648096/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=34072 CPUtime=25.32
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 7718 0 0 0 2527 5 0 0 18 0 3 0 346081255 34889728 7291 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 8518 7291 218 20 0 7876 0
[pid=19964/tid=19966] ppid=19962 vsize=34072 CPUtime=12.62
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 3707 0 0 0 1261 1 0 0 25 0 3 0 346081256 34889728 7291 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19962 vsize=34072 CPUtime=12.67
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 3663 0 0 0 1264 3 0 0 25 0 3 0 346081256 34889728 7291 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 34072

[startup+25.5019 s]
/proc/loadavg: 1.99 1.97 1.71 3/80 19967
/proc/meminfo: memFree=1639648/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=43488 CPUtime=50.85
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 10415 0 0 0 5078 7 0 0 18 0 3 0 346081255 44531712 9562 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 10872 9562 218 20 0 10230 0
[pid=19964/tid=19966] ppid=19962 vsize=43488 CPUtime=25.36
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 4869 0 0 0 2534 2 0 0 25 0 3 0 346081256 44531712 9562 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134542705 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19962 vsize=43488 CPUtime=25.47
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 5198 0 0 0 2543 4 0 0 25 0 3 0 346081256 44531712 9562 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 43488

[startup+51.1013 s]
/proc/loadavg: 1.99 1.97 1.72 3/80 19967
/proc/meminfo: memFree=1634336/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=47336 CPUtime=101.9
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 12529 0 0 0 10181 9 0 0 18 0 3 0 346081255 48472064 10712 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 11834 10712 218 20 0 11192 0
[pid=19964/tid=19966] ppid=19962 vsize=47336 CPUtime=50.83
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 5870 0 0 0 5080 3 0 0 25 0 3 0 346081256 48472064 10712 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520099 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19962 vsize=47336 CPUtime=51.05
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 6311 0 0 0 5100 5 0 0 25 0 3 0 346081256 48472064 10712 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 47336

[startup+102.305 s]
/proc/loadavg: 1.99 1.97 1.73 3/80 19967
/proc/meminfo: memFree=1630560/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=52244 CPUtime=204.06
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 15206 0 0 0 20393 13 0 0 18 0 3 0 346081255 53497856 11615 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 13061 11615 218 20 0 12419 0
[pid=19964/tid=19966] ppid=19962 vsize=52244 CPUtime=101.8
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 7158 0 0 0 10175 5 0 0 25 0 3 0 346081256 53497856 11615 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19962 vsize=52244 CPUtime=102.23
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 7700 0 0 0 10216 7 0 0 25 0 3 0 346081256 53497856 11615 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 52244

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.74 4/80 19967
/proc/meminfo: memFree=1627744/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=54968 CPUtime=323.73
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 17927 0 0 0 32358 15 0 0 18 0 3 0 346081255 56287232 12314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 13742 12314 218 20 0 13100 0
[pid=19964/tid=19966] ppid=19962 vsize=54968 CPUtime=161.5
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 8527 0 0 0 16144 6 0 0 25 0 3 0 346081256 56287232 12314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19962 vsize=54968 CPUtime=162.21
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 9052 0 0 0 16212 9 0 0 25 0 3 0 346081256 56287232 12314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.73
Current children cumulated vsize (KiB) 54968

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.75 3/80 19967
/proc/meminfo: memFree=1625632/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=57604 CPUtime=443.42
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 20432 0 0 0 44324 18 0 0 18 0 3 0 346081255 58986496 12874 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 14401 12874 218 20 0 13759 0
[pid=19964/tid=19966] ppid=19962 vsize=57604 CPUtime=221.23
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 9716 0 0 0 22116 7 0 0 25 0 3 0 346081256 58986496 12874 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19962 vsize=57604 CPUtime=222.17
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 10368 0 0 0 22207 10 0 0 25 0 3 0 346081256 58986496 12874 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.42
Current children cumulated vsize (KiB) 57604

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.76 3/80 19967
/proc/meminfo: memFree=1623008/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=60284 CPUtime=563.13
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 22937 0 0 0 56293 20 0 0 18 0 3 0 346081255 61730816 13539 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 15071 13539 218 20 0 14429 0
[pid=19964/tid=19966] ppid=19962 vsize=60284 CPUtime=280.95
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 11049 0 0 0 28087 8 0 0 25 0 3 0 346081256 61730816 13539 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19962 vsize=60284 CPUtime=282.15
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 11540 0 0 0 28204 11 0 0 25 0 3 0 346081256 61730816 13539 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.13
Current children cumulated vsize (KiB) 60284

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.78 3/80 19967
/proc/meminfo: memFree=1621280/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=61068 CPUtime=682.82
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 25165 0 0 0 68260 22 0 0 18 0 3 0 346081255 62533632 13969 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 15267 13969 218 20 0 14625 0
[pid=19964/tid=19966] ppid=19962 vsize=61068 CPUtime=340.67
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 12305 0 0 0 34058 9 0 0 25 0 3 0 346081256 62533632 13969 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19964/tid=19967] ppid=19962 vsize=61068 CPUtime=342.13
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 12512 0 0 0 34201 12 0 0 25 0 3 0 346081256 62533632 13969 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.82
Current children cumulated vsize (KiB) 61068

[startup+402.301 s]

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

/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 34789 0 0 0 189808 47 0 0 25 0 3 0 346081256 80437248 18304 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526414 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19962 vsize=78552 CPUtime=1896.08
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 34874 0 0 0 189579 29 0 0 25 0 3 0 346081256 80437248 18304 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.65
Current children cumulated vsize (KiB) 78552

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/80 20165
/proc/meminfo: memFree=1603424/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=79756 CPUtime=3914.34
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 71574 0 0 0 391356 78 0 0 18 0 3 0 346081255 81670144 18400 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 19939 18400 218 20 0 19297 0
[pid=19964/tid=19966] ppid=19962 vsize=79756 CPUtime=1958.52
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 35534 0 0 0 195805 47 0 0 25 0 3 0 346081256 81670144 18400 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19962 vsize=79756 CPUtime=1955.8
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 35692 0 0 0 195550 30 0 0 25 0 3 0 346081256 81670144 18400 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3914.34
Current children cumulated vsize (KiB) 79756

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/80 20165
/proc/meminfo: memFree=1603168/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=79756 CPUtime=4034.02
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 72868 0 0 0 403323 79 0 0 18 0 3 0 346081255 81670144 18451 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 19939 18451 218 20 0 19297 0
[pid=19964/tid=19966] ppid=19962 vsize=79756 CPUtime=2018.49
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 36101 0 0 0 201801 48 0 0 25 0 3 0 346081256 81670144 18451 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19962 vsize=79756 CPUtime=2015.52
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 36419 0 0 0 201521 31 0 0 25 0 3 0 346081256 81670144 18451 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4034.02
Current children cumulated vsize (KiB) 79756

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20165
/proc/meminfo: memFree=1602848/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=79888 CPUtime=4153.73
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 74436 0 0 0 415293 80 0 0 18 0 3 0 346081255 81805312 18538 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 19972 18538 218 20 0 19330 0
[pid=19964/tid=19966] ppid=19962 vsize=79888 CPUtime=2078.45
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 36932 0 0 0 207797 48 0 0 25 0 3 0 346081256 81805312 18538 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19962 vsize=79888 CPUtime=2075.25
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 37156 0 0 0 207494 31 0 0 25 0 3 0 346081256 81805312 18538 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.73
Current children cumulated vsize (KiB) 79888

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20165
/proc/meminfo: memFree=1601632/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=81936 CPUtime=4273.42
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 76295 0 0 0 427259 83 0 0 18 0 3 0 346081255 83902464 18915 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 20484 18915 218 20 0 19842 0
[pid=19964/tid=19966] ppid=19962 vsize=81936 CPUtime=2138.42
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 37621 0 0 0 213793 49 0 0 25 0 3 0 346081256 83902464 18915 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19962 vsize=81936 CPUtime=2134.97
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 38326 0 0 0 213464 33 0 0 25 0 3 0 346081256 83902464 18915 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134519942 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4273.42
Current children cumulated vsize (KiB) 81936

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20165
/proc/meminfo: memFree=1600096/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=83168 CPUtime=4393.13
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 77976 0 0 0 439228 85 0 0 18 0 3 0 346081255 85164032 19216 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 20792 19216 218 20 0 20150 0
[pid=19964/tid=19966] ppid=19962 vsize=83168 CPUtime=2198.39
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 38335 0 0 0 219789 50 0 0 25 0 3 0 346081256 85164032 19216 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19962 vsize=83168 CPUtime=2194.71
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 39293 0 0 0 219437 34 0 0 25 0 3 0 346081256 85164032 19216 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4393.13
Current children cumulated vsize (KiB) 83168

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20165
/proc/meminfo: memFree=1599904/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=83168 CPUtime=4512.82
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 79649 0 0 0 451196 86 0 0 18 0 3 0 346081255 85164032 19274 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 20792 19274 218 20 0 20150 0
[pid=19964/tid=19966] ppid=19962 vsize=83168 CPUtime=2258.38
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 39171 0 0 0 225787 51 0 0 25 0 3 0 346081256 85164032 19274 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19962 vsize=83168 CPUtime=2254.42
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 40130 0 0 0 225407 35 0 0 25 0 3 0 346081256 85164032 19274 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512.82
Current children cumulated vsize (KiB) 83168

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20165
/proc/meminfo: memFree=1599456/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=83432 CPUtime=4632.53
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 81146 0 0 0 463165 88 0 0 18 0 3 0 346081255 85434368 19379 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 20858 19379 218 20 0 20216 0
[pid=19964/tid=19966] ppid=19962 vsize=83432 CPUtime=2318.36
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 39924 0 0 0 231784 52 0 0 25 0 3 0 346081256 85434368 19379 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19962 vsize=83432 CPUtime=2314.15
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 40874 0 0 0 231379 36 0 0 25 0 3 0 346081256 85434368 19379 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4632.53
Current children cumulated vsize (KiB) 83432

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20165
/proc/meminfo: memFree=1599200/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=84660 CPUtime=4752.24
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 82617 0 0 0 475135 89 0 0 18 0 3 0 346081255 86691840 19449 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 21165 19449 218 20 0 20523 0
[pid=19964/tid=19966] ppid=19962 vsize=84660 CPUtime=2378.34
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 40690 0 0 0 237782 52 0 0 25 0 3 0 346081256 86691840 19449 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19962 vsize=84660 CPUtime=2373.88
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 41579 0 0 0 237352 36 0 0 25 0 3 0 346081256 86691840 19449 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4752.24
Current children cumulated vsize (KiB) 84660

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20165
/proc/meminfo: memFree=1598752/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=84884 CPUtime=4871.95
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 84220 0 0 0 487105 90 0 0 18 0 3 0 346081255 86921216 19530 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 21221 19530 218 20 0 20579 0
[pid=19964/tid=19966] ppid=19962 vsize=84884 CPUtime=2438.32
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 41441 0 0 0 243779 53 0 0 25 0 3 0 346081256 86921216 19530 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19962 vsize=84884 CPUtime=2433.6
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 42431 0 0 0 243324 36 0 0 25 0 3 0 346081256 86921216 19530 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871.95
Current children cumulated vsize (KiB) 84884

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20165
/proc/meminfo: memFree=1598624/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=84884 CPUtime=4991.65
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 85688 0 0 0 499073 92 0 0 18 0 3 0 346081255 86921216 19582 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 21221 19582 218 20 0 20579 0
[pid=19964/tid=19966] ppid=19962 vsize=84884 CPUtime=2498.31
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 42180 0 0 0 249777 54 0 0 25 0 3 0 346081256 86921216 19582 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19962 vsize=84884 CPUtime=2493.31
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 43160 0 0 0 249294 37 0 0 25 0 3 0 346081256 86921216 19582 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4991.65
Current children cumulated vsize (KiB) 84884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20165
/proc/meminfo: memFree=1598624/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=84884 CPUtime=5000.03
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 85806 0 0 0 499911 92 0 0 18 0 3 0 346081255 86921216 19582 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 21221 19582 218 20 0 20579 0
[pid=19964/tid=19966] ppid=19962 vsize=84884 CPUtime=2502.51
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 42298 0 0 0 250197 54 0 0 25 0 3 0 346081256 86921216 19582 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19962 vsize=84884 CPUtime=2497.49
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 43160 0 0 0 249712 37 0 0 25 0 3 0 346081256 86921216 19582 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 84884

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

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

[startup+2506.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20165
/proc/meminfo: memFree=1598624/2055920 swapFree=4144420/4192956
[pid=19964] ppid=19962 vsize=84884 CPUtime=5000.03
/proc/19964/stat : 19964 (MiraXTv3_dyn) S 19962 19964 19834 0 -1 4194304 85806 0 0 0 499911 92 0 0 18 0 3 0 346081255 86921216 19582 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19964/statm: 21221 19582 218 20 0 20579 0
[pid=19964/tid=19966] ppid=19962 vsize=84884 CPUtime=2502.51
/proc/19964/task/19966/stat : 19966 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 42298 0 0 0 250197 54 0 0 25 0 3 0 346081256 86921216 19582 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19964/tid=19967] ppid=19962 vsize=84884 CPUtime=2497.49
/proc/19964/task/19967/stat : 19967 (MiraXTv3_dyn) R 19962 19964 19834 0 -1 4194368 43160 0 0 0 249712 37 0 0 25 0 3 0 346081256 86921216 19582 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 84884

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.53
CPU time (s): 5000.07
CPU user time (s): 4999.13
CPU system time (s): 0.934857
CPU usage (%): 199.482
Max. virtual memory (cumulated for all children) (KiB): 85356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.13
system time used= 0.934857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85806
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= 541
involuntary context switches= 93356

runsolver used 2.45463 second user time and 6.71198 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Sat May 12 14:53:59 UTC 2007

IDJOB= 426056
IDBENCH= 19854
IDSOLVER= 196
FILE ID= node18/426056-1178981639

PBS_JOBID= 5252796

Free space on /tmp= 66542 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v100/unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426056-1178981639/MiraXTv3_dyn /tmp/evaluation/426056-1178981639/instance-426056-1178981639.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-426056-1178981639 -o ROOT/results/node18/solver-426056-1178981639 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426056-1178981639/MiraXTv3_dyn /tmp/evaluation/426056-1178981639/instance-426056-1178981639.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  bd3636480ccd2ac89b0fc1e6396aab86

RANDOM SEED= 684395080

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.234
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.234
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:       1677256 kB
Buffers:         49228 kB
Cached:         237908 kB
SwapCached:      18592 kB
Active:         137084 kB
Inactive:       178436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1677256 kB
SwapTotal:     4192956 kB
SwapFree:      4144420 kB
Dirty:            4020 kB
Writeback:           0 kB
Mapped:          30160 kB
Slab:            48680 kB
Committed_AS:  8822376 kB
PageTables:       1776 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= 66542 MiB

End job on node18 on Sat May 12 15:35:47 UTC 2007