Trace number 426357

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.2 2507.37

General information on the benchmark

Namerandom/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S56884336-05.cnf
MD5SUM9aef0bbcf7983db9bd08e85ce30f9d09
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark322.93
Satisfiable
(Un)Satisfiability was proved
Number of variables7000
Number of clauses29400
Sum of the clauses size88200
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 329400
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.01	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/node38/watcher-426357-1179012137 -o ROOT/results/node38/solver-426357-1179012137 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426357-1179012137/MiraXTv3_dyn /tmp/evaluation/426357-1179012137/instance-426357-1179012137.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: 0.92 0.98 1.12 3/77 7059
/proc/meminfo: memFree=1113384/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=2624 CPUtime=0
/proc/7059/stat : 7059 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194304 177 0 1 0 0 0 0 0 18 0 1 0 333380408 2686976 154 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4159852912 0 0 4096 0 0 0 0 17 1 0 0
/proc/7059/statm: 656 154 128 20 0 14 0

[startup+0.052742 s]
/proc/loadavg: 0.92 0.98 1.12 3/77 7059
/proc/meminfo: memFree=1113384/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=6140 CPUtime=0.03
/proc/7059/stat : 7059 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194304 977 0 3 0 3 0 0 0 18 0 1 0 333380408 6287360 955 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 9041531 0 0 4096 0 0 0 0 17 1 0 0
/proc/7059/statm: 1535 956 206 20 0 893 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6140

[startup+0.102834 s]
/proc/loadavg: 0.92 0.98 1.12 3/77 7059
/proc/meminfo: memFree=1113384/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=6676 CPUtime=0.08
/proc/7059/stat : 7059 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194304 1090 0 3 0 8 0 0 0 18 0 1 0 333380408 6836224 1068 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583664 0 0 4096 0 0 0 0 17 1 0 0
/proc/7059/statm: 1669 1068 207 20 0 1027 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6676

[startup+0.302809 s]
/proc/loadavg: 0.92 0.98 1.12 3/77 7059
/proc/meminfo: memFree=1113384/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=19576 CPUtime=0.45
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 2537 0 3 0 43 2 0 0 18 0 3 0 333380408 20045824 2414 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 4894 2414 218 20 0 4252 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 19576

[startup+0.701876 s]
/proc/loadavg: 0.92 0.98 1.12 3/77 7059
/proc/meminfo: memFree=1113384/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=21260 CPUtime=1.24
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 3037 0 3 0 122 2 0 0 18 0 3 0 333380408 21770240 2914 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 5315 2914 218 20 0 4673 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 21260

[startup+1.50203 s]
/proc/loadavg: 0.92 0.98 1.12 3/80 7062
/proc/meminfo: memFree=1099984/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=25552 CPUtime=2.83
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 4255 0 3 0 280 3 0 0 18 0 3 0 333380408 26165248 4132 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 6388 4132 218 20 0 5746 0
[pid=7059/tid=7061] ppid=7057 vsize=25552 CPUtime=1.37
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 1556 0 0 0 136 1 0 0 25 0 3 0 333380419 26165248 4132 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7059/tid=7062] ppid=7057 vsize=25552 CPUtime=1.34
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 1473 0 0 0 133 1 0 0 20 0 3 0 333380419 26165248 4132 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565656 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 25552

[startup+3.10134 s]
/proc/loadavg: 0.92 0.98 1.12 3/80 7062
/proc/meminfo: memFree=1092816/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=35820 CPUtime=6.03
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 6820 0 3 0 596 7 0 0 18 0 3 0 333380408 36679680 6697 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 8955 6697 218 20 0 8313 0
[pid=7059/tid=7061] ppid=7057 vsize=35820 CPUtime=2.97
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 2902 0 0 0 294 3 0 0 25 0 3 0 333380419 36679680 6697 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 9041531 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7059/tid=7062] ppid=7057 vsize=35820 CPUtime=2.94
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 2692 0 0 0 291 3 0 0 17 0 3 0 333380419 36679680 6697 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 35820

[startup+6.30195 s]
/proc/loadavg: 1.01 1.00 1.13 3/80 7062
/proc/meminfo: memFree=1074192/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=52484 CPUtime=12.41
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 11010 0 3 0 1230 11 0 0 18 0 3 0 333380408 53743616 10887 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 13121 10887 218 20 0 12479 0
[pid=7059/tid=7061] ppid=7057 vsize=52484 CPUtime=6.17
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 4902 0 0 0 613 4 0 0 25 0 3 0 333380419 53743616 10887 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7059/tid=7062] ppid=7057 vsize=52484 CPUtime=6.13
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 4882 0 0 0 607 6 0 0 22 0 3 0 333380419 53743616 10887 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134522143 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 52484

[startup+12.7012 s]
/proc/loadavg: 1.09 1.02 1.13 3/80 7062
/proc/meminfo: memFree=1063384/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=61216 CPUtime=25.18
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 12974 0 3 0 2505 13 0 0 18 0 3 0 333380408 62685184 12851 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 15304 12851 218 20 0 14662 0
[pid=7059/tid=7061] ppid=7057 vsize=61216 CPUtime=12.57
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 6040 0 0 0 1252 5 0 0 25 0 3 0 333380419 62685184 12851 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7059/tid=7062] ppid=7057 vsize=61216 CPUtime=12.49
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 5708 0 0 0 1242 7 0 0 17 0 3 0 333380419 62685184 12851 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 61216

[startup+25.5026 s]
/proc/loadavg: 1.29 1.06 1.15 3/80 7062
/proc/meminfo: memFree=1007264/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=116176 CPUtime=50.72
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 27143 0 3 0 5044 28 0 0 18 0 3 0 333380408 118964224 26870 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 29044 26870 218 20 0 28402 0
[pid=7059/tid=7061] ppid=7057 vsize=116176 CPUtime=25.36
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 12952 0 0 0 2525 11 0 0 25 0 3 0 333380419 118964224 26870 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7059/tid=7062] ppid=7057 vsize=116176 CPUtime=25.23
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 12965 0 0 0 2508 15 0 0 25 0 3 0 333380419 118964224 26870 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565749 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 116176

[startup+51.1026 s]
/proc/loadavg: 1.53 1.14 1.17 3/80 7062
/proc/meminfo: memFree=970976/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=149608 CPUtime=101.76
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 36105 0 3 0 10138 38 0 0 18 0 3 0 333380408 153198592 35528 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 37402 35528 218 20 0 36760 0
[pid=7059/tid=7061] ppid=7057 vsize=149608 CPUtime=50.94
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 17601 0 0 0 5078 16 0 0 25 0 3 0 333380419 153198592 35528 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565445 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7059/tid=7062] ppid=7057 vsize=149608 CPUtime=50.71
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 17278 0 0 0 5050 21 0 0 25 0 3 0 333380419 153198592 35528 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 149608

[startup+102.305 s]
/proc/loadavg: 1.79 1.27 1.21 3/80 7062
/proc/meminfo: memFree=912352/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=208968 CPUtime=203.86
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 51461 0 3 0 20325 61 0 0 18 0 3 0 333380408 213983232 50134 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 52242 50134 218 20 0 51600 0
[pid=7059/tid=7061] ppid=7057 vsize=208968 CPUtime=101.99
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 24801 0 0 0 10174 25 0 0 25 0 3 0 333380419 213983232 50134 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7059/tid=7062] ppid=7057 vsize=208968 CPUtime=101.75
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 25434 0 0 0 10140 35 0 0 25 0 3 0 333380419 213983232 50134 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520556 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 208968

[startup+162.303 s]
/proc/loadavg: 1.92 1.40 1.26 3/80 7062
/proc/meminfo: memFree=887648/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=233276 CPUtime=323.54
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 58422 0 3 0 32284 70 0 0 18 0 3 0 333380408 238874624 56287 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 58319 56287 218 20 0 57677 0
[pid=7059/tid=7061] ppid=7057 vsize=233276 CPUtime=161.71
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 29234 0 0 0 16141 30 0 0 25 0 3 0 333380419 238874624 56287 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7059/tid=7062] ppid=7057 vsize=233276 CPUtime=161.71
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 27962 0 0 0 16132 39 0 0 25 0 3 0 333380419 238874624 56287 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.54
Current children cumulated vsize (KiB) 233276

[startup+222.301 s]
/proc/loadavg: 1.97 1.51 1.30 3/80 7062
/proc/meminfo: memFree=857376/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=262820 CPUtime=443.2
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 66739 0 3 0 44239 81 0 0 18 0 3 0 333380408 269127680 63844 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 65705 63844 218 20 0 65063 0
[pid=7059/tid=7061] ppid=7057 vsize=262820 CPUtime=221.42
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 34887 0 0 0 22105 37 0 0 25 0 3 0 333380419 269127680 63844 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7059/tid=7062] ppid=7057 vsize=262820 CPUtime=221.67
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 30626 0 0 0 22124 43 0 0 25 0 3 0 333380419 269127680 63844 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565500 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.2
Current children cumulated vsize (KiB) 262820

[startup+282.302 s]
/proc/loadavg: 1.99 1.59 1.34 3/80 7062
/proc/meminfo: memFree=850720/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=268964 CPUtime=562.89
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 69094 0 3 0 56204 85 0 0 18 0 3 0 333380408 275419136 65499 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 67241 65499 218 20 0 66599 0
[pid=7059/tid=7061] ppid=7057 vsize=268964 CPUtime=281.14
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 35306 0 0 0 28077 37 0 0 25 0 3 0 333380419 275419136 65499 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7059/tid=7062] ppid=7057 vsize=268964 CPUtime=281.63
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 32562 0 0 0 28116 47 0 0 25 0 3 0 333380419 275419136 65499 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565845 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.89
Current children cumulated vsize (KiB) 268964

[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.38 3/80 7062
/proc/meminfo: memFree=830880/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=289444 CPUtime=682.51
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 74753 0 3 0 68156 95 0 0 18 0 3 0 333380408 296390656 70448 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 72361 70448 218 20 0 71719 0
[pid=7059/tid=7061] ppid=7057 vsize=289444 CPUtime=340.85
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 35819 0 0 0 34047 38 0 0 25 0 3 0 333380419 296390656 70448 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526625 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7059/tid=7062] ppid=7057 vsize=289444 CPUtime=341.54
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 37708 0 0 0 34098 56 0 0 25 0 3 0 333380419 296390656 70448 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565502 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.51
Current children cumulated vsize (KiB) 289444

[startup+402.302 s]

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

/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 44298 0 0 0 189679 54 0 0 25 0 3 0 333380419 348483584 83304 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7059/tid=7062] ppid=7057 vsize=340316 CPUtime=1896.18
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 49736 0 0 0 189542 76 0 0 25 0 3 0 333380419 348483584 83304 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.63
Current children cumulated vsize (KiB) 340316

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/80 7064
/proc/meminfo: memFree=765728/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=354116 CPUtime=3913.32
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 99017 0 3 0 391195 137 0 0 18 0 3 0 333380408 362614784 86745 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 88529 86745 218 20 0 87887 0
[pid=7059/tid=7061] ppid=7057 vsize=354116 CPUtime=1957.05
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 46501 0 0 0 195649 56 0 0 25 0 3 0 333380419 362614784 86745 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7059/tid=7062] ppid=7057 vsize=354116 CPUtime=1956.15
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 51290 0 0 0 195536 79 0 0 25 0 3 0 333380419 362614784 86745 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.32
Current children cumulated vsize (KiB) 354116

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/80 7064
/proc/meminfo: memFree=765536/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=354116 CPUtime=4033
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 99649 0 3 0 403162 138 0 0 18 0 3 0 333380408 362614784 86745 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 88529 86745 218 20 0 87887 0
[pid=7059/tid=7061] ppid=7057 vsize=354116 CPUtime=2016.77
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 46817 0 0 0 201620 57 0 0 25 0 3 0 333380419 362614784 86745 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7059/tid=7062] ppid=7057 vsize=354116 CPUtime=2016.11
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 51606 0 0 0 201532 79 0 0 25 0 3 0 333380419 362614784 86745 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033
Current children cumulated vsize (KiB) 354116

[startup+2082.31 s]
/proc/loadavg: 2.00 1.99 1.86 3/80 7064
/proc/meminfo: memFree=765536/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=354116 CPUtime=4152.61
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 100210 0 3 0 415122 139 0 0 18 0 3 0 333380408 362614784 86747 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 88529 86747 218 20 0 87887 0
[pid=7059/tid=7061] ppid=7057 vsize=354116 CPUtime=2076.42
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 47137 0 0 0 207585 57 0 0 25 0 3 0 333380419 362614784 86747 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526483 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7059/tid=7062] ppid=7057 vsize=354116 CPUtime=2076.07
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 51847 0 0 0 207527 80 0 0 25 0 3 0 333380419 362614784 86747 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.61
Current children cumulated vsize (KiB) 354116

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/80 7064
/proc/meminfo: memFree=765536/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=354116 CPUtime=4272.29
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 100692 0 3 0 427090 139 0 0 18 0 3 0 333380408 362614784 86749 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 88529 86749 218 20 0 87887 0
[pid=7059/tid=7061] ppid=7057 vsize=354116 CPUtime=2136.13
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 47378 0 0 0 213556 57 0 0 25 0 3 0 333380419 362614784 86749 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526558 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7059/tid=7062] ppid=7057 vsize=354116 CPUtime=2136.05
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 52088 0 0 0 213524 81 0 0 25 0 3 0 333380419 362614784 86749 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520184 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.29
Current children cumulated vsize (KiB) 354116

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/80 7064
/proc/meminfo: memFree=765472/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=354116 CPUtime=4391.98
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 101260 0 3 0 439058 140 0 0 18 0 3 0 333380408 362614784 86757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 88529 86757 218 20 0 87887 0
[pid=7059/tid=7061] ppid=7057 vsize=354116 CPUtime=2195.96
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 47622 0 0 0 219538 58 0 0 25 0 3 0 333380419 362614784 86757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7059/tid=7062] ppid=7057 vsize=354116 CPUtime=2195.9
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 52412 0 0 0 219509 81 0 0 25 0 3 0 333380419 362614784 86757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4391.98
Current children cumulated vsize (KiB) 354116

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/80 7064
/proc/meminfo: memFree=765408/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=354116 CPUtime=4511.69
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 101660 0 3 0 451028 141 0 0 18 0 3 0 333380408 362614784 86757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 88529 86757 218 20 0 87887 0
[pid=7059/tid=7061] ppid=7057 vsize=354116 CPUtime=2255.93
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 47782 0 0 0 225535 58 0 0 25 0 3 0 333380419 362614784 86757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7059/tid=7062] ppid=7057 vsize=354116 CPUtime=2255.64
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 52652 0 0 0 225483 81 0 0 25 0 3 0 333380419 362614784 86757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4511.69
Current children cumulated vsize (KiB) 354116

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/80 7064
/proc/meminfo: memFree=765472/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=354116 CPUtime=4631.38
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 102142 0 3 0 462996 142 0 0 18 0 3 0 333380408 362614784 86759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 88529 86759 218 20 0 87887 0
[pid=7059/tid=7061] ppid=7057 vsize=354116 CPUtime=2315.88
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 48023 0 0 0 231529 59 0 0 25 0 3 0 333380419 362614784 86759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7059/tid=7062] ppid=7057 vsize=354116 CPUtime=2315.37
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 52893 0 0 0 231456 81 0 0 25 0 3 0 333380419 362614784 86759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4631.38
Current children cumulated vsize (KiB) 354116

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/80 7262
/proc/meminfo: memFree=765256/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=354116 CPUtime=4750.74
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 102702 0 3 0 474916 158 0 0 18 0 3 0 333380408 362614784 86759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 88529 86759 218 20 0 87887 0
[pid=7059/tid=7061] ppid=7057 vsize=354116 CPUtime=2375.66
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 48343 0 0 0 237507 59 0 0 25 0 3 0 333380419 362614784 86759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7059/tid=7062] ppid=7057 vsize=354116 CPUtime=2374.96
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 53133 0 0 0 237398 98 0 0 25 0 3 0 333380419 362614784 86759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4750.74
Current children cumulated vsize (KiB) 354116

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/80 7262
/proc/meminfo: memFree=765216/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=354116 CPUtime=4870.44
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 103182 0 3 0 486885 159 0 0 18 0 3 0 333380408 362614784 86759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 88529 86759 218 20 0 87887 0
[pid=7059/tid=7061] ppid=7057 vsize=354116 CPUtime=2435.63
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 48583 0 0 0 243503 60 0 0 25 0 3 0 333380419 362614784 86759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7059/tid=7062] ppid=7057 vsize=354116 CPUtime=2434.7
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 53373 0 0 0 243372 98 0 0 25 0 3 0 333380419 362614784 86759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4870.44
Current children cumulated vsize (KiB) 354116

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/80 7262
/proc/meminfo: memFree=765280/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=354116 CPUtime=4990.15
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 103505 0 3 0 498855 160 0 0 18 0 3 0 333380408 362614784 86760 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 88529 86760 218 20 0 87887 0
[pid=7059/tid=7061] ppid=7057 vsize=354116 CPUtime=2495.6
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 48664 0 0 0 249500 60 0 0 25 0 3 0 333380419 362614784 86760 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7059/tid=7062] ppid=7057 vsize=354116 CPUtime=2494.42
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 53615 0 0 0 249344 98 0 0 25 0 3 0 333380419 362614784 86760 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4990.15
Current children cumulated vsize (KiB) 354116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/80 7262
/proc/meminfo: memFree=765280/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=354116 CPUtime=5000.13
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 103505 0 3 0 499853 160 0 0 18 0 3 0 333380408 362614784 86760 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 88529 86760 218 20 0 87887 0
[pid=7059/tid=7061] ppid=7057 vsize=354116 CPUtime=2500.6
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 48664 0 0 0 250000 60 0 0 25 0 3 0 333380419 362614784 86760 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7059/tid=7062] ppid=7057 vsize=354116 CPUtime=2499.4
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 53615 0 0 0 249842 98 0 0 25 0 3 0 333380419 362614784 86760 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.13
Current children cumulated vsize (KiB) 354116

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

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

[startup+2507.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/80 7262
/proc/meminfo: memFree=765280/2055920 swapFree=4154688/4192956
[pid=7059] ppid=7057 vsize=354116 CPUtime=5000.13
/proc/7059/stat : 7059 (MiraXTv3_dyn) S 7057 7059 6987 0 -1 4194304 103505 0 3 0 499853 160 0 0 18 0 3 0 333380408 362614784 86760 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7059/statm: 88529 86760 218 20 0 87887 0
[pid=7059/tid=7061] ppid=7057 vsize=354116 CPUtime=2500.6
/proc/7059/task/7061/stat : 7061 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 48664 0 0 0 250000 60 0 0 25 0 3 0 333380419 362614784 86760 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7059/tid=7062] ppid=7057 vsize=354116 CPUtime=2499.4
/proc/7059/task/7062/stat : 7062 (MiraXTv3_dyn) R 7057 7059 6987 0 -1 4194368 53615 0 0 0 249842 98 0 0 25 0 3 0 333380419 362614784 86760 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.13
Current children cumulated vsize (KiB) 354116

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.37
CPU time (s): 5000.2
CPU user time (s): 4998.54
CPU system time (s): 1.65475
CPU usage (%): 199.42
Max. virtual memory (cumulated for all children) (KiB): 354440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.54
system time used= 1.65475
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103505
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1205
involuntary context switches= 94472

runsolver used 2.34564 second user time and 6.84596 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Sat May 12 23:22:18 UTC 2007

IDJOB= 426357
IDBENCH= 20182
IDSOLVER= 196
FILE ID= node38/426357-1179012137

PBS_JOBID= 5253006

Free space on /tmp= 66549 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v7000/unif-k3-r4.2-v7000-c29400-S56884336-05.cnf
COMMAND LINE= /tmp/evaluation/426357-1179012137/MiraXTv3_dyn /tmp/evaluation/426357-1179012137/instance-426357-1179012137.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-426357-1179012137 -o ROOT/results/node38/solver-426357-1179012137 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426357-1179012137/MiraXTv3_dyn /tmp/evaluation/426357-1179012137/instance-426357-1179012137.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  9aef0bbcf7983db9bd08e85ce30f9d09

RANDOM SEED= 48079290

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.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.263
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.263
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:       1115200 kB
Buffers:         52912 kB
Cached:         734724 kB
SwapCached:       6944 kB
Active:         551132 kB
Inactive:       259552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1115200 kB
SwapTotal:     4192956 kB
SwapFree:      4154688 kB
Dirty:            4564 kB
Writeback:           0 kB
Mapped:          30060 kB
Slab:           115332 kB
Committed_AS:  4761200 kB
PageTables:       2060 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= 66549 MiB

End job on node38 on Sun May 13 00:04:07 UTC 2007