Trace number 456303

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.22 2546.53

General information on the benchmark

Namecrafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
MD5SUMcc16a72221b8e1efdfd6127b2f238bcd
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables161
Number of clauses802
Sum of the clauses size3204
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22
Number of clauses of size 30
Number of clauses of size 4800
Number of clauses of size 50
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/node25/watcher-456303-1179022104 -o ROOT/results/node25/solver-456303-1179022104 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456303-1179022104/MiraXTv3_dyn /tmp/evaluation/456303-1179022104/instance-456303-1179022104.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.93 2.31 2.16 3/64 18535
/proc/meminfo: memFree=1523528/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=3788 CPUtime=0
/proc/18535/stat : 18535 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194304 270 0 0 0 0 0 0 0 18 0 1 0 350127528 3878912 245 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 10462843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18535/statm: 947 246 205 20 0 305 0

[startup+0.064466 s]
/proc/loadavg: 1.93 2.31 2.16 3/64 18535
/proc/meminfo: memFree=1523528/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=6536 CPUtime=0.1
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 565 0 0 0 10 0 0 0 18 0 3 0 350127528 6692864 540 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 1634 541 218 20 0 992 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6536

[startup+0.101192 s]
/proc/loadavg: 1.93 2.31 2.16 3/64 18535
/proc/meminfo: memFree=1523528/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=6696 CPUtime=0.18
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 664 0 0 0 18 0 0 0 18 0 3 0 350127528 6856704 639 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 1674 639 218 20 0 1032 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6696

[startup+0.301227 s]
/proc/loadavg: 1.93 2.31 2.16 3/64 18535
/proc/meminfo: memFree=1523528/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=8768 CPUtime=0.58
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 1173 0 0 0 58 0 0 0 18 0 3 0 350127528 8978432 1148 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 2192 1148 218 20 0 1550 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 8768

[startup+0.701298 s]
/proc/loadavg: 1.93 2.31 2.16 3/64 18535
/proc/meminfo: memFree=1523528/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=11388 CPUtime=1.38
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 1966 0 0 0 137 1 0 0 18 0 3 0 350127528 11661312 1941 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 2847 1941 218 20 0 2205 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 11388

[startup+1.50144 s]
/proc/loadavg: 1.93 2.31 2.16 3/67 18538
/proc/meminfo: memFree=1514672/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=14168 CPUtime=2.97
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 2600 0 0 0 296 1 0 0 18 0 3 0 350127528 14508032 2575 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 3542 2575 218 20 0 2900 0
[pid=18535/tid=18537] ppid=18533 vsize=14168 CPUtime=1.48
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 830 0 0 0 148 0 0 0 23 0 3 0 350127529 14508032 2575 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=14168 CPUtime=1.48
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 1458 0 0 0 147 1 0 0 19 0 3 0 350127529 14508032 2575 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 14168

[startup+3.10171 s]
/proc/loadavg: 1.93 2.31 2.16 3/67 18538
/proc/meminfo: memFree=1512368/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=18452 CPUtime=6.17
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 3744 0 0 0 614 3 0 0 18 0 3 0 350127528 18894848 3645 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 4613 3645 218 20 0 3971 0
[pid=18535/tid=18537] ppid=18533 vsize=18452 CPUtime=3.07
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 1223 0 0 0 307 0 0 0 25 0 3 0 350127529 18894848 3645 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4160576690 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=18452 CPUtime=3.08
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 2209 0 0 0 306 2 0 0 24 0 3 0 350127529 18894848 3645 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565735 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 18452

[startup+6.30126 s]
/proc/loadavg: 1.94 2.31 2.16 3/67 18538
/proc/meminfo: memFree=1501808/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=29016 CPUtime=12.54
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 6472 0 0 0 1249 5 0 0 18 0 3 0 350127528 29712384 6246 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 7254 6246 218 20 0 6612 0
[pid=18535/tid=18537] ppid=18533 vsize=29016 CPUtime=6.25
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 2523 0 0 0 624 1 0 0 18 0 3 0 350127529 29712384 6246 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=29016 CPUtime=6.27
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 3637 0 0 0 624 3 0 0 25 0 3 0 350127529 29712384 6246 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 29016

[startup+12.7014 s]
/proc/loadavg: 1.94 2.30 2.16 3/67 18538
/proc/meminfo: memFree=1492280/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=36648 CPUtime=25.3
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 8374 0 0 0 2523 7 0 0 18 0 3 0 350127528 37527552 7881 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 9162 7881 218 20 0 8520 0
[pid=18535/tid=18537] ppid=18533 vsize=36648 CPUtime=12.62
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 3541 0 0 0 1260 2 0 0 25 0 3 0 350127529 37527552 7881 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526565 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=36648 CPUtime=12.66
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 4521 0 0 0 1262 4 0 0 25 0 3 0 350127529 37527552 7881 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 36648

[startup+25.5015 s]
/proc/loadavg: 1.95 2.29 2.16 3/67 18538
/proc/meminfo: memFree=1480888/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=47764 CPUtime=50.81
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 11794 0 0 0 5072 9 0 0 18 0 3 0 350127528 48910336 10723 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 11941 10723 218 20 0 11299 0
[pid=18535/tid=18537] ppid=18533 vsize=47764 CPUtime=25.35
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 5081 0 0 0 2532 3 0 0 25 0 3 0 350127529 48910336 10723 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=47764 CPUtime=25.46
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 6401 0 0 0 2540 6 0 0 25 0 3 0 350127529 48910336 10723 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526508 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 47764

[startup+51.1019 s]
/proc/loadavg: 1.97 2.26 2.15 3/67 18538
/proc/meminfo: memFree=1476408/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=53608 CPUtime=101.88
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 13995 0 0 0 10176 12 0 0 18 0 3 0 350127528 54894592 11929 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 13402 11929 218 20 0 12760 0
[pid=18535/tid=18537] ppid=18533 vsize=53608 CPUtime=50.83
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 6041 0 0 0 5079 4 0 0 25 0 3 0 350127529 54894592 11929 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=53608 CPUtime=51.03
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 7642 0 0 0 5096 7 0 0 25 0 3 0 350127529 54894592 11929 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 53608

[startup+102.306 s]
/proc/loadavg: 1.98 2.22 2.14 3/67 18538
/proc/meminfo: memFree=1469304/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=59468 CPUtime=203.96
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 17513 0 0 0 20381 15 0 0 18 0 3 0 350127528 60895232 13638 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 14867 13638 218 20 0 14225 0
[pid=18535/tid=18537] ppid=18533 vsize=59468 CPUtime=101.79
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 7904 0 0 0 10174 5 0 0 25 0 3 0 350127529 60895232 13638 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=59468 CPUtime=102.16
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 9297 0 0 0 10207 9 0 0 25 0 3 0 350127529 60895232 13638 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 59468

[startup+162.303 s]
/proc/loadavg: 1.99 2.18 2.13 3/67 18538
/proc/meminfo: memFree=1460408/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=68192 CPUtime=323.62
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 21794 0 0 0 32344 18 0 0 18 0 3 0 350127528 69828608 15797 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 17048 15797 218 20 0 16406 0
[pid=18535/tid=18537] ppid=18533 vsize=68192 CPUtime=161.52
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 10191 0 0 0 16145 7 0 0 25 0 3 0 350127529 69828608 15797 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=68192 CPUtime=162.09
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 11291 0 0 0 16198 11 0 0 25 0 3 0 350127529 69828608 15797 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565724 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.62
Current children cumulated vsize (KiB) 68192

[startup+222.302 s]
/proc/loadavg: 1.99 2.14 2.12 3/67 18538
/proc/meminfo: memFree=1455096/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=73888 CPUtime=443.31
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 25093 0 0 0 44310 21 0 0 18 0 3 0 350127528 75661312 17136 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 18472 17136 218 20 0 17830 0
[pid=18535/tid=18537] ppid=18533 vsize=73888 CPUtime=221.26
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 11818 0 0 0 22118 8 0 0 25 0 3 0 350127529 75661312 17136 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=73888 CPUtime=222.04
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 12963 0 0 0 22192 12 0 0 25 0 3 0 350127529 75661312 17136 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526524 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.31
Current children cumulated vsize (KiB) 73888

[startup+282.301 s]
/proc/loadavg: 1.99 2.11 2.11 3/67 18538
/proc/meminfo: memFree=1451832/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=77828 CPUtime=563
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 27666 0 0 0 56277 23 0 0 18 0 3 0 350127528 79695872 17959 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 19457 17959 218 20 0 18815 0
[pid=18535/tid=18537] ppid=18533 vsize=77828 CPUtime=281.01
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 12884 0 0 0 28092 9 0 0 25 0 3 0 350127529 79695872 17959 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=77828 CPUtime=281.98
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 14470 0 0 0 28185 13 0 0 25 0 3 0 350127529 79695872 17959 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563
Current children cumulated vsize (KiB) 77828

[startup+342.302 s]
/proc/loadavg: 1.99 2.09 2.10 3/67 18538
/proc/meminfo: memFree=1450552/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=78788 CPUtime=682.67
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 29666 0 0 0 68243 24 0 0 18 0 3 0 350127528 80678912 18265 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 19697 18265 218 20 0 19055 0
[pid=18535/tid=18537] ppid=18533 vsize=78788 CPUtime=340.73
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 14045 0 0 0 34064 9 0 0 25 0 3 0 350127529 80678912 18265 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18535/tid=18538] ppid=18533 vsize=78788 CPUtime=341.92
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 15309 0 0 0 34178 14 0 0 25 0 3 0 350127529 80678912 18265 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.67
Current children cumulated vsize (KiB) 78788

[startup+402.302 s]

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

/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 36051 0 0 0 186023 45 0 0 25 0 3 0 350127529 106217472 24488 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18535/tid=18538] ppid=18533 vsize=103728 CPUtime=1854.41
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 37602 0 0 0 185396 45 0 0 25 0 3 0 350127529 106217472 24488 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3715.11
Current children cumulated vsize (KiB) 103728

[startup+1962.3 s]
/proc/loadavg: 2.08 2.15 2.20 3/67 20802
/proc/meminfo: memFree=1384184/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=103728 CPUtime=3834.8
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 75332 0 0 0 383388 92 0 0 18 0 3 0 350127528 106217472 24563 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 25932 24563 218 20 0 25290 0
[pid=18535/tid=18537] ppid=18533 vsize=103728 CPUtime=1920.39
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 36808 0 0 0 191994 45 0 0 25 0 3 0 350127529 106217472 24563 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18535/tid=18538] ppid=18533 vsize=103728 CPUtime=1914.39
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 38212 0 0 0 191393 46 0 0 25 0 3 0 350127529 106217472 24563 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3834.8
Current children cumulated vsize (KiB) 103728

[startup+2022.3 s]
/proc/loadavg: 2.03 2.12 2.19 3/67 20802
/proc/meminfo: memFree=1382008/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=106120 CPUtime=3954.48
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 77248 0 0 0 395354 94 0 0 18 0 3 0 350127528 108666880 25075 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 26530 25075 218 20 0 25888 0
[pid=18535/tid=18537] ppid=18533 vsize=106120 CPUtime=1980.12
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 37622 0 0 0 197966 46 0 0 25 0 3 0 350127529 108666880 25075 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18535/tid=18538] ppid=18533 vsize=106120 CPUtime=1974.34
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 39314 0 0 0 197387 47 0 0 25 0 3 0 350127529 108666880 25075 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3954.48
Current children cumulated vsize (KiB) 106120

[startup+2082.31 s]
/proc/loadavg: 2.01 2.10 2.17 3/67 20804
/proc/meminfo: memFree=1377784/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=110404 CPUtime=4074.17
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 79689 0 0 0 407320 97 0 0 18 0 3 0 350127528 113053696 26112 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 27601 26112 218 20 0 26959 0
[pid=18535/tid=18537] ppid=18533 vsize=110404 CPUtime=2039.85
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 38426 0 0 0 203938 47 0 0 25 0 3 0 350127529 113053696 26112 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18535/tid=18538] ppid=18533 vsize=110404 CPUtime=2034.3
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 40951 0 0 0 203381 49 0 0 25 0 3 0 350127529 113053696 26112 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4074.17
Current children cumulated vsize (KiB) 110404

[startup+2142.3 s]
/proc/loadavg: 2.00 2.08 2.16 3/67 20804
/proc/meminfo: memFree=1377720/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=110404 CPUtime=4193.84
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 81223 0 0 0 419286 98 0 0 18 0 3 0 350127528 113053696 26134 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 27601 26134 218 20 0 26959 0
[pid=18535/tid=18537] ppid=18533 vsize=110404 CPUtime=2099.55
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 39185 0 0 0 209908 47 0 0 25 0 3 0 350127529 113053696 26134 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18535/tid=18538] ppid=18533 vsize=110404 CPUtime=2094.27
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 41726 0 0 0 209377 50 0 0 25 0 3 0 350127529 113053696 26134 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4193.84
Current children cumulated vsize (KiB) 110404

[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.15 3/67 20804
/proc/meminfo: memFree=1377592/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=112292 CPUtime=4313.54
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 82773 0 0 0 431256 98 0 0 18 0 3 0 350127528 114987008 26160 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 28073 26160 218 20 0 27431 0
[pid=18535/tid=18537] ppid=18533 vsize=112292 CPUtime=2159.28
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 39952 0 0 0 215880 48 0 0 25 0 3 0 350127529 114987008 26160 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18535/tid=18538] ppid=18533 vsize=112292 CPUtime=2154.25
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 42509 0 0 0 215375 50 0 0 25 0 3 0 350127529 114987008 26160 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4313.54
Current children cumulated vsize (KiB) 112292

[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.14 3/67 20804
/proc/meminfo: memFree=1377272/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=112624 CPUtime=4433.24
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 84430 0 0 0 443225 99 0 0 18 0 3 0 350127528 115326976 26277 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 28156 26277 218 20 0 27514 0
[pid=18535/tid=18537] ppid=18533 vsize=112624 CPUtime=2219
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 40925 0 0 0 221852 48 0 0 25 0 3 0 350127529 115326976 26277 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18535/tid=18538] ppid=18533 vsize=112624 CPUtime=2214.22
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 43193 0 0 0 221372 50 0 0 25 0 3 0 350127529 115326976 26277 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4433.24
Current children cumulated vsize (KiB) 112624

[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.13 3/67 20804
/proc/meminfo: memFree=1376696/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=112756 CPUtime=4552.89
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 85985 0 0 0 455189 100 0 0 18 0 3 0 350127528 115462144 26387 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 28189 26387 218 20 0 27547 0
[pid=18535/tid=18537] ppid=18533 vsize=112756 CPUtime=2278.71
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 41621 0 0 0 227822 49 0 0 25 0 3 0 350127529 115462144 26387 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18535/tid=18538] ppid=18533 vsize=112756 CPUtime=2274.17
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 44052 0 0 0 227366 51 0 0 25 0 3 0 350127529 115462144 26387 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520993 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4552.89
Current children cumulated vsize (KiB) 112756

[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.11 3/67 20804
/proc/meminfo: memFree=1376440/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=112928 CPUtime=4672.6
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 87523 0 0 0 467159 101 0 0 18 0 3 0 350127528 115638272 26469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 28232 26469 218 20 0 27590 0
[pid=18535/tid=18537] ppid=18533 vsize=112928 CPUtime=2338.44
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 42314 0 0 0 233795 49 0 0 25 0 3 0 350127529 115638272 26469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18535/tid=18538] ppid=18533 vsize=112928 CPUtime=2334.15
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 44897 0 0 0 233363 52 0 0 25 0 3 0 350127529 115638272 26469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4672.6
Current children cumulated vsize (KiB) 112928

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.10 3/67 20804
/proc/meminfo: memFree=1375992/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=113076 CPUtime=4792.31
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 88948 0 0 0 479129 102 0 0 18 0 3 0 350127528 115789824 26543 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 28269 26543 218 20 0 27627 0
[pid=18535/tid=18537] ppid=18533 vsize=113076 CPUtime=2398.17
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 43046 0 0 0 239768 49 0 0 25 0 3 0 350127529 115789824 26543 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18535/tid=18538] ppid=18533 vsize=113076 CPUtime=2394.12
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 45590 0 0 0 239360 52 0 0 25 0 3 0 350127529 115789824 26543 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520099 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4792.31
Current children cumulated vsize (KiB) 113076

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/67 20804
/proc/meminfo: memFree=1375608/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=114248 CPUtime=4912
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 90559 0 0 0 491097 103 0 0 18 0 3 0 350127528 116989952 26685 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 28562 26685 218 20 0 27920 0
[pid=18535/tid=18537] ppid=18533 vsize=114248 CPUtime=2457.89
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 43874 0 0 0 245739 50 0 0 25 0 3 0 350127529 116989952 26685 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18535/tid=18538] ppid=18533 vsize=114248 CPUtime=2454.11
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 46373 0 0 0 245358 53 0 0 25 0 3 0 350127529 116989952 26685 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4912
Current children cumulated vsize (KiB) 114248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2546.51 s]
/proc/loadavg: 2.00 2.01 2.09 3/67 20804
/proc/meminfo: memFree=1375160/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=114400 CPUtime=5000.19
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 91790 0 0 0 499915 104 0 0 18 0 3 0 350127528 117145600 26777 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 28600 26777 218 20 0 27958 0
[pid=18535/tid=18537] ppid=18533 vsize=114400 CPUtime=2501.89
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 44491 0 0 0 250139 50 0 0 25 0 3 0 350127529 117145600 26777 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18535/tid=18538] ppid=18533 vsize=114400 CPUtime=2498.28
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 46987 0 0 0 249775 53 0 0 25 0 3 0 350127529 117145600 26777 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.19
Current children cumulated vsize (KiB) 114400

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

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

[startup+2546.51 s]
/proc/loadavg: 2.00 2.01 2.09 3/67 20804
/proc/meminfo: memFree=1375160/2055920 swapFree=4183116/4192956
[pid=18535] ppid=18533 vsize=114400 CPUtime=5000.19
/proc/18535/stat : 18535 (MiraXTv3_dyn) S 18533 18535 17453 0 -1 4194304 91790 0 0 0 499915 104 0 0 18 0 3 0 350127528 117145600 26777 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18535/statm: 28600 26777 218 20 0 27958 0
[pid=18535/tid=18537] ppid=18533 vsize=114400 CPUtime=2501.89
/proc/18535/task/18537/stat : 18537 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 44491 0 0 0 250139 50 0 0 25 0 3 0 350127529 117145600 26777 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18535/tid=18538] ppid=18533 vsize=114400 CPUtime=2498.28
/proc/18535/task/18538/stat : 18538 (MiraXTv3_dyn) R 18533 18535 17453 0 -1 4194368 46987 0 0 0 249775 53 0 0 25 0 3 0 350127529 117145600 26777 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.19
Current children cumulated vsize (KiB) 114400

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2546.53
CPU time (s): 5000.22
CPU user time (s): 4999.16
CPU system time (s): 1.05984
CPU usage (%): 196.354
Max. virtual memory (cumulated for all children) (KiB): 114400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.16
system time used= 1.05984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91790
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= 669
involuntary context switches= 57681

runsolver used 2.48362 second user time and 7.03793 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Sun May 13 02:08:24 UTC 2007

IDJOB= 456303
IDBENCH= 24666
IDSOLVER= 196
FILE ID= node25/456303-1179022104

PBS_JOBID= 5253214

Free space on /tmp= 66546 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/others/eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456303-1179022104/MiraXTv3_dyn /tmp/evaluation/456303-1179022104/instance-456303-1179022104.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-456303-1179022104 -o ROOT/results/node25/solver-456303-1179022104 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456303-1179022104/MiraXTv3_dyn /tmp/evaluation/456303-1179022104/instance-456303-1179022104.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  cc16a72221b8e1efdfd6127b2f238bcd

RANDOM SEED= 568174164

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1523808 kB
Buffers:         46580 kB
Cached:         374972 kB
SwapCached:       3924 kB
Active:         239496 kB
Inactive:       192068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1523808 kB
SwapTotal:     4192956 kB
SwapFree:      4183116 kB
Dirty:            3908 kB
Writeback:           0 kB
Mapped:          15960 kB
Slab:            86604 kB
Committed_AS:  8393928 kB
PageTables:       1472 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= 66546 MiB

End job on node25 on Sun May 13 02:50:53 UTC 2007