Trace number 426360

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.25 2507.27

General information on the benchmark

Namerandom/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S102550125-14.cnf
MD5SUMc07a9d2347faff9205aa35340a341cba
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark26.8419
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/node51/watcher-426360-1179012362 -o ROOT/results/node51/solver-426360-1179012362 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426360-1179012362/MiraXTv3_dyn /tmp/evaluation/426360-1179012362/instance-426360-1179012362.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 0.99 3/64 3887
/proc/meminfo: memFree=1152976/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=2624 CPUtime=0
/proc/3887/stat : 3887 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194304 162 0 1 0 0 0 0 0 18 0 1 0 256081380 2686976 140 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3887/statm: 656 150 124 20 0 14 0

[startup+0.077468 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3887
/proc/meminfo: memFree=1152976/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=6600 CPUtime=0.06
/proc/3887/stat : 3887 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194304 1057 0 3 0 6 0 0 0 18 0 1 0 256081380 6758400 1035 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134591802 0 0 4096 0 0 0 0 17 1 0 0
/proc/3887/statm: 1650 1035 207 20 0 1008 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6600

[startup+0.102469 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3887
/proc/meminfo: memFree=1152976/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=6680 CPUtime=0.08
/proc/3887/stat : 3887 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194304 1086 0 3 0 8 0 0 0 18 0 1 0 256081380 6840320 1064 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583658 0 0 4096 0 0 0 0 17 1 0 0
/proc/3887/statm: 1670 1064 207 20 0 1028 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6680

[startup+0.302495 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3887
/proc/meminfo: memFree=1152976/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=19412 CPUtime=0.44
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 2587 0 3 0 43 1 0 0 18 0 3 0 256081380 19877888 2464 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 4853 2464 218 20 0 4211 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 19412

[startup+0.702531 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3887
/proc/meminfo: memFree=1152976/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=21624 CPUtime=1.24
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 3180 0 3 0 122 2 0 0 18 0 3 0 256081380 22142976 3057 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 5406 3057 218 20 0 4764 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 21624

[startup+1.50161 s]
/proc/loadavg: 0.92 0.98 0.99 3/67 3890
/proc/meminfo: memFree=1139192/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=26180 CPUtime=2.83
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 4392 0 3 0 280 3 0 0 18 0 3 0 256081380 26808320 4269 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 6545 4269 218 20 0 5903 0
[pid=3887/tid=3889] ppid=3885 vsize=26180 CPUtime=1.37
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 1748 0 0 0 136 1 0 0 25 0 3 0 256081392 26808320 4269 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=26180 CPUtime=1.34
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 1422 0 0 0 133 1 0 0 17 0 3 0 256081392 26808320 4269 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 26180

[startup+3.10175 s]
/proc/loadavg: 1.01 1.00 1.00 3/67 3890
/proc/meminfo: memFree=1132024/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=36052 CPUtime=6.02
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 6770 0 3 0 596 6 0 0 18 0 3 0 256081380 36917248 6647 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 9013 6647 218 20 0 8371 0
[pid=3887/tid=3889] ppid=3885 vsize=36052 CPUtime=2.97
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 2949 0 0 0 294 3 0 0 17 0 3 0 256081392 36917248 6647 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=36052 CPUtime=2.94
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 2599 0 0 0 292 2 0 0 17 0 3 0 256081392 36917248 6647 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 36052

[startup+6.30104 s]
/proc/loadavg: 1.01 1.00 1.00 3/67 3890
/proc/meminfo: memFree=1113152/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=53772 CPUtime=12.41
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 11135 0 3 0 1230 11 0 0 18 0 3 0 256081380 55062528 11012 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 13443 11012 218 20 0 12801 0
[pid=3887/tid=3889] ppid=3885 vsize=53772 CPUtime=6.15
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 5318 0 0 0 611 4 0 0 20 0 3 0 256081392 55062528 11012 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=53772 CPUtime=6.14
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 4595 0 0 0 608 6 0 0 18 0 3 0 256081392 55062528 11012 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565430 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 53772

[startup+12.7016 s]
/proc/loadavg: 1.16 1.03 1.01 3/67 3890
/proc/meminfo: memFree=1102080/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=61756 CPUtime=25.17
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 13248 0 3 0 2504 13 0 0 18 0 3 0 256081380 63238144 13125 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 15439 13125 218 20 0 14797 0
[pid=3887/tid=3889] ppid=3885 vsize=61756 CPUtime=12.52
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 6168 0 0 0 1247 5 0 0 24 0 3 0 256081392 63238144 13125 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520117 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=61756 CPUtime=12.53
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 5858 0 0 0 1246 7 0 0 23 0 3 0 256081392 63238144 13125 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 61756

[startup+25.5028 s]
/proc/loadavg: 1.29 1.06 1.02 3/67 3890
/proc/meminfo: memFree=1044352/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=118052 CPUtime=50.71
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 27689 0 3 0 5042 29 0 0 18 0 3 0 256081380 120885248 27416 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 29513 27416 218 20 0 28871 0
[pid=3887/tid=3889] ppid=3885 vsize=118052 CPUtime=25.26
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 14007 0 0 0 2512 14 0 0 19 0 3 0 256081392 120885248 27416 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=118052 CPUtime=25.33
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 12460 0 0 0 2519 14 0 0 20 0 3 0 256081392 120885248 27416 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520184 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 118052

[startup+51.1021 s]
/proc/loadavg: 1.53 1.14 1.04 3/67 3890
/proc/meminfo: memFree=995904/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=164612 CPUtime=101.75
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 39777 0 3 0 10132 43 0 0 18 0 3 0 256081380 168562688 39142 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 41153 39142 218 20 0 40511 0
[pid=3887/tid=3889] ppid=3885 vsize=164612 CPUtime=50.74
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 20037 0 0 0 5053 21 0 0 25 0 3 0 256081392 168562688 39142 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=164612 CPUtime=50.89
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 18518 0 0 0 5068 21 0 0 25 0 3 0 256081392 168562688 39142 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 164612

[startup+102.307 s]
/proc/loadavg: 1.81 1.28 1.10 3/67 3890
/proc/meminfo: memFree=937920/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=221884 CPUtime=203.86
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 54915 0 3 0 20324 62 0 0 18 0 3 0 256081380 227209216 53586 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 55471 53586 218 20 0 54829 0
[pid=3887/tid=3889] ppid=3885 vsize=221884 CPUtime=101.76
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 27311 0 0 0 10147 29 0 0 20 0 3 0 256081392 227209216 53586 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565430 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3887/tid=3890] ppid=3885 vsize=221884 CPUtime=101.99
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 26382 0 0 0 10167 32 0 0 25 0 3 0 256081392 227209216 53586 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 221884

[startup+162.302 s]
/proc/loadavg: 1.92 1.40 1.15 3/67 3890
/proc/meminfo: memFree=931712/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=228784 CPUtime=323.54
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 57187 0 3 0 32288 66 0 0 18 0 3 0 256081380 234274816 55118 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 57196 55118 218 20 0 56554 0
[pid=3887/tid=3889] ppid=3885 vsize=228784 CPUtime=161.71
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 28547 0 0 0 16140 31 0 0 25 0 3 0 256081392 234274816 55118 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3887/tid=3890] ppid=3885 vsize=228784 CPUtime=161.71
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 27418 0 0 0 16137 34 0 0 25 0 3 0 256081392 234274816 55118 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.54
Current children cumulated vsize (KiB) 228784

[startup+222.303 s]
/proc/loadavg: 1.97 1.51 1.20 3/67 3890
/proc/meminfo: memFree=891968/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=267820 CPUtime=443.2
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 67781 0 3 0 44242 78 0 0 18 0 3 0 256081380 274247680 65025 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 66955 65025 218 20 0 66313 0
[pid=3887/tid=3889] ppid=3885 vsize=267820 CPUtime=221.61
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 32911 0 0 0 22126 35 0 0 25 0 3 0 256081392 274247680 65025 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=267820 CPUtime=221.46
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 33648 0 0 0 22104 42 0 0 25 0 3 0 256081392 274247680 65025 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520551 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.2
Current children cumulated vsize (KiB) 267820

[startup+282.303 s]
/proc/loadavg: 1.99 1.59 1.24 3/67 3890
/proc/meminfo: memFree=890560/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=269868 CPUtime=562.86
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 69002 0 3 0 56206 80 0 0 18 0 3 0 256081380 276344832 65479 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 67467 65479 218 20 0 66825 0
[pid=3887/tid=3889] ppid=3885 vsize=269868 CPUtime=281.32
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 33730 0 0 0 28095 37 0 0 25 0 3 0 256081392 276344832 65479 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=269868 CPUtime=281.42
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 34050 0 0 0 28100 42 0 0 25 0 3 0 256081392 276344832 65479 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.86
Current children cumulated vsize (KiB) 269868

[startup+342.302 s]
/proc/loadavg: 1.99 1.67 1.29 3/67 3890
/proc/meminfo: memFree=887424/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=272312 CPUtime=682.51
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 70398 0 3 0 68169 82 0 0 18 0 3 0 256081380 278847488 66169 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 68078 66169 218 20 0 67436 0
[pid=3887/tid=3889] ppid=3885 vsize=272312 CPUtime=341.04
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 34759 0 0 0 34066 38 0 0 25 0 3 0 256081392 278847488 66169 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=272312 CPUtime=341.36
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 34417 0 0 0 34093 43 0 0 25 0 3 0 256081392 278847488 66169 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.51
Current children cumulated vsize (KiB) 272312

[startup+402.303 s]

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

/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 52011 0 0 0 183316 58 0 0 25 0 3 0 256081392 365170688 87298 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=356612 CPUtime=1840.3
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 48010 0 0 0 183970 60 0 0 25 0 3 0 256081392 365170688 87298 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3674.17
Current children cumulated vsize (KiB) 356612

[startup+1902.3 s]
/proc/loadavg: 1.99 1.97 1.83 3/67 3890
/proc/meminfo: memFree=801856/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=357636 CPUtime=3793.86
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 101801 0 3 0 379265 121 0 0 18 0 3 0 256081380 366219264 87536 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 89409 87536 218 20 0 88767 0
[pid=3887/tid=3889] ppid=3885 vsize=357636 CPUtime=1893.47
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 52329 0 0 0 189288 59 0 0 25 0 3 0 256081392 366219264 87536 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=357636 CPUtime=1900.27
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 48250 0 0 0 189967 60 0 0 25 0 3 0 256081392 366219264 87536 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.86
Current children cumulated vsize (KiB) 357636

[startup+1962.3 s]
/proc/loadavg: 2.07 1.99 1.84 3/67 3890
/proc/meminfo: memFree=797568/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=361732 CPUtime=3913.57
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 103119 0 3 0 391233 124 0 0 18 0 3 0 256081380 370413568 88694 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 90433 88694 218 20 0 89791 0
[pid=3887/tid=3889] ppid=3885 vsize=361732 CPUtime=1953.2
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 52670 0 0 0 195260 60 0 0 25 0 3 0 256081392 370413568 88694 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=361732 CPUtime=1960.25
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 49227 0 0 0 195962 63 0 0 25 0 3 0 256081392 370413568 88694 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.57
Current children cumulated vsize (KiB) 361732

[startup+2022.3 s]
/proc/loadavg: 2.10 2.00 1.85 3/67 3890
/proc/meminfo: memFree=792000/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=366852 CPUtime=4033.26
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 104890 0 3 0 403199 127 0 0 18 0 3 0 256081380 375656448 89985 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 91713 89985 218 20 0 91071 0
[pid=3887/tid=3889] ppid=3885 vsize=366852 CPUtime=2012.92
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 54053 0 0 0 201230 62 0 0 25 0 3 0 256081392 375656448 89985 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=366852 CPUtime=2020.21
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 49615 0 0 0 201958 63 0 0 25 0 3 0 256081392 375656448 89985 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.26
Current children cumulated vsize (KiB) 366852

[startup+2082.31 s]
/proc/loadavg: 2.09 2.02 1.86 3/67 3890
/proc/meminfo: memFree=792000/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=366852 CPUtime=4152.91
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 105372 0 3 0 415164 127 0 0 18 0 3 0 256081380 375656448 89987 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 91713 89987 218 20 0 91071 0
[pid=3887/tid=3889] ppid=3885 vsize=366852 CPUtime=2072.6
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 54294 0 0 0 207198 62 0 0 25 0 3 0 256081392 375656448 89987 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134521366 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=366852 CPUtime=2080.19
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 49856 0 0 0 207955 64 0 0 25 0 3 0 256081392 375656448 89987 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520111 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.91
Current children cumulated vsize (KiB) 366852

[startup+2142.3 s]
/proc/loadavg: 2.23 2.07 1.89 3/73 4060
/proc/meminfo: memFree=790776/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=366852 CPUtime=4272.37
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 105696 0 3 0 427102 135 0 0 18 0 3 0 256081380 375656448 89991 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 91713 89991 218 20 0 91071 0
[pid=3887/tid=3889] ppid=3885 vsize=366852 CPUtime=2132.25
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 54374 0 0 0 213155 70 0 0 25 0 3 0 256081392 375656448 89991 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=366852 CPUtime=2139.99
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 50100 0 0 0 213935 64 0 0 25 0 3 0 256081392 375656448 89991 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.37
Current children cumulated vsize (KiB) 366852

[startup+2202.3 s]
/proc/loadavg: 2.07 2.05 1.89 3/67 4088
/proc/meminfo: memFree=792064/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=366852 CPUtime=4391.96
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 105940 0 3 0 439058 138 0 0 18 0 3 0 256081380 375656448 89934 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 91713 89934 218 20 0 91071 0
[pid=3887/tid=3889] ppid=3885 vsize=366852 CPUtime=2191.96
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 54538 0 0 0 219123 73 0 0 25 0 3 0 256081392 375656448 89934 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526558 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=366852 CPUtime=2199.88
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 50180 0 0 0 219924 64 0 0 25 0 3 0 256081392 375656448 89934 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4391.96
Current children cumulated vsize (KiB) 366852

[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 1.90 3/67 4088
/proc/meminfo: memFree=792000/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=366852 CPUtime=4511.71
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 106021 0 3 0 451032 139 0 0 18 0 3 0 256081380 375656448 89935 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 91713 89935 218 20 0 91071 0
[pid=3887/tid=3889] ppid=3885 vsize=366852 CPUtime=2251.71
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 54538 0 0 0 225098 73 0 0 25 0 3 0 256081392 375656448 89935 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=366852 CPUtime=2259.86
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 50261 0 0 0 225922 64 0 0 25 0 3 0 256081392 375656448 89935 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520162 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.71
Current children cumulated vsize (KiB) 366852

[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 1.91 3/67 4088
/proc/meminfo: memFree=790912/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=368040 CPUtime=4631.37
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 106626 0 3 0 462998 139 0 0 18 0 3 0 256081380 376872960 90217 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 92010 90217 218 20 0 91368 0
[pid=3887/tid=3889] ppid=3885 vsize=368040 CPUtime=2311.42
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 54955 0 0 0 231068 74 0 0 25 0 3 0 256081392 376872960 90217 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=368040 CPUtime=2319.83
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 50449 0 0 0 231919 64 0 0 25 0 3 0 256081392 376872960 90217 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4631.37
Current children cumulated vsize (KiB) 368040

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/67 4088
/proc/meminfo: memFree=778624/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=381876 CPUtime=4751.1
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 110477 0 3 0 474965 145 0 0 18 0 3 0 256081380 391041024 93663 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 95469 93663 218 20 0 94827 0
[pid=3887/tid=3889] ppid=3885 vsize=381876 CPUtime=2371.16
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 56561 0 0 0 237041 75 0 0 25 0 3 0 256081392 391041024 93663 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134522118 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=381876 CPUtime=2379.82
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 52694 0 0 0 237914 68 0 0 25 0 3 0 256081392 391041024 93663 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565715 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4751.1
Current children cumulated vsize (KiB) 381876

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/67 4088
/proc/meminfo: memFree=774848/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=383824 CPUtime=4870.76
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 111314 0 3 0 486930 146 0 0 18 0 3 0 256081380 393035776 94176 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 95956 94176 218 20 0 95314 0
[pid=3887/tid=3889] ppid=3885 vsize=383824 CPUtime=2430.88
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 56822 0 0 0 243012 76 0 0 25 0 3 0 256081392 393035776 94176 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=383824 CPUtime=2439.76
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 53270 0 0 0 243907 69 0 0 25 0 3 0 256081392 393035776 94176 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4870.76
Current children cumulated vsize (KiB) 383824

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/67 4088
/proc/meminfo: memFree=763392/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=395088 CPUtime=4990.38
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 114636 0 3 0 498887 151 0 0 18 0 3 0 256081380 404570112 97093 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 98772 97093 218 20 0 98130 0
[pid=3887/tid=3889] ppid=3885 vsize=395088 CPUtime=2490.57
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 57346 0 0 0 248981 76 0 0 25 0 3 0 256081392 404570112 97093 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=395088 CPUtime=2499.7
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 56068 0 0 0 249896 74 0 0 25 0 3 0 256081392 404570112 97093 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4990.38
Current children cumulated vsize (KiB) 395088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.2 s]
/proc/loadavg: 2.00 2.01 1.91 3/67 4088
/proc/meminfo: memFree=763392/2055920 swapFree=4183364/4192956
[pid=3887] ppid=3885 vsize=395088 CPUtime=5000.17
/proc/3887/stat : 3887 (MiraXTv3_dyn) S 3885 3887 3814 0 -1 4194304 114636 0 3 0 499866 151 0 0 18 0 3 0 256081380 404570112 97093 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3887/statm: 98772 97093 218 20 0 98130 0
[pid=3887/tid=3889] ppid=3885 vsize=395088 CPUtime=2495.45
/proc/3887/task/3889/stat : 3889 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 57346 0 0 0 249469 76 0 0 25 0 3 0 256081392 404570112 97093 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3887/tid=3890] ppid=3885 vsize=395088 CPUtime=2504.6
/proc/3887/task/3890/stat : 3890 (MiraXTv3_dyn) R 3885 3887 3814 0 -1 4194368 56068 0 0 0 250386 74 0 0 25 0 3 0 256081392 404570112 97093 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.17
Current children cumulated vsize (KiB) 395088

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.27
CPU time (s): 5000.25
CPU user time (s): 4998.68
CPU system time (s): 1.57876
CPU usage (%): 199.43
Max. virtual memory (cumulated for all children) (KiB): 395088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.68
system time used= 1.57876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114636
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= 2525
involuntary context switches= 37856

runsolver used 2.44763 second user time and 6.68098 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Sat May 12 23:26:03 UTC 2007

IDJOB= 426360
IDBENCH= 20185
IDSOLVER= 196
FILE ID= node51/426360-1179012362

PBS_JOBID= 5253007

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-S102550125-14.cnf
COMMAND LINE= /tmp/evaluation/426360-1179012362/MiraXTv3_dyn /tmp/evaluation/426360-1179012362/instance-426360-1179012362.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-426360-1179012362 -o ROOT/results/node51/solver-426360-1179012362 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426360-1179012362/MiraXTv3_dyn /tmp/evaluation/426360-1179012362/instance-426360-1179012362.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  c07a9d2347faff9205aa35340a341cba

RANDOM SEED= 158886833

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1154664 kB
Buffers:         54356 kB
Cached:         705764 kB
SwapCached:       3656 kB
Active:         375056 kB
Inactive:       394532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1154664 kB
SwapTotal:     4192956 kB
SwapFree:      4183364 kB
Dirty:            4532 kB
Writeback:           0 kB
Mapped:          15544 kB
Slab:           117736 kB
Committed_AS:  8776784 kB
PageTables:       1408 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 node51 on Sun May 13 00:07:52 UTC 2007