Trace number 456429

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.23 2506.73

General information on the benchmark

Namecrafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
MD5SUMe6cd66a115f70af2c02b5cac2d51607a
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 variables650
Number of clauses2756
Sum of the clauses size8268
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32756
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.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/node54/watcher-456429-1179023454 -o ROOT/results/node54/solver-456429-1179023454 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456429-1179023454/MiraXTv3_dyn /tmp/evaluation/456429-1179023454/instance-456429-1179023454.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.95 2.57 2.32 3/65 30220
/proc/meminfo: memFree=949704/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=3788 CPUtime=0
/proc/30220/stat : 30220 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 349719852 3878912 273 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 2254459 0 0 4096 0 0 0 0 17 1 0 0
/proc/30220/statm: 980 278 206 20 0 338 0

[startup+0.030392 s]
/proc/loadavg: 1.95 2.57 2.32 3/65 30220
/proc/meminfo: memFree=949704/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=5720 CPUtime=0.03
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 518 0 0 0 3 0 0 0 18 0 3 0 349719852 5857280 493 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 1430 493 218 20 0 788 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5720

[startup+0.109403 s]
/proc/loadavg: 1.95 2.57 2.32 3/65 30220
/proc/meminfo: memFree=949704/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=6904 CPUtime=0.19
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 731 0 0 0 19 0 0 0 18 0 3 0 349719852 7069696 706 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 1726 706 218 20 0 1084 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6904

[startup+0.301429 s]
/proc/loadavg: 1.95 2.57 2.32 3/65 30220
/proc/meminfo: memFree=949704/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=9000 CPUtime=0.57
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 1200 0 0 0 57 0 0 0 18 0 3 0 349719852 9216000 1175 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 2250 1175 218 20 0 1608 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9000

[startup+0.701482 s]
/proc/loadavg: 1.95 2.57 2.32 3/65 30220
/proc/meminfo: memFree=949704/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=12572 CPUtime=1.37
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 1998 0 0 0 136 1 0 0 18 0 3 0 349719852 12873728 1973 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 3143 1973 218 20 0 2501 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 12572

[startup+1.50158 s]
/proc/loadavg: 1.95 2.57 2.32 3/68 30223
/proc/meminfo: memFree=940464/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=17392 CPUtime=2.97
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 3335 0 0 0 295 2 0 0 18 0 3 0 349719852 17809408 3310 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 4348 3310 218 20 0 3706 0
[pid=30220/tid=30222] ppid=30218 vsize=17392 CPUtime=1.47
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 1469 0 0 0 147 0 0 0 18 0 3 0 349719854 17809408 3310 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520120 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30220/tid=30223] ppid=30218 vsize=17392 CPUtime=1.47
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 1499 0 0 0 146 1 0 0 22 0 3 0 349719854 17809408 3310 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526283 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 17392

[startup+3.10179 s]
/proc/loadavg: 1.95 2.57 2.32 3/68 30223
/proc/meminfo: memFree=935088/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=22008 CPUtime=6.15
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 4261 0 0 0 613 2 0 0 18 0 3 0 349719852 22536192 4236 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 5502 4236 218 20 0 4860 0
[pid=30220/tid=30222] ppid=30218 vsize=22008 CPUtime=3.08
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 2034 0 0 0 307 1 0 0 17 0 3 0 349719854 22536192 4236 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30220/tid=30223] ppid=30218 vsize=22008 CPUtime=3.06
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 1860 0 0 0 305 1 0 0 25 0 3 0 349719854 22536192 4236 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 22008

[startup+6.3022 s]
/proc/loadavg: 1.96 2.56 2.32 3/68 30223
/proc/meminfo: memFree=926832/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=31496 CPUtime=12.54
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 6706 0 0 0 1250 4 0 0 18 0 3 0 349719852 32251904 6609 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 7874 6609 218 20 0 7232 0
[pid=30220/tid=30222] ppid=30218 vsize=31496 CPUtime=6.27
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 3095 0 0 0 626 1 0 0 24 0 3 0 349719854 32251904 6609 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526377 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30220/tid=30223] ppid=30218 vsize=31496 CPUtime=6.24
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 3244 0 0 0 622 2 0 0 25 0 3 0 349719854 32251904 6609 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 31496

[startup+12.702 s]
/proc/loadavg: 1.96 2.55 2.32 3/68 30223
/proc/meminfo: memFree=905648/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=50284 CPUtime=25.3
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 11572 0 0 0 2520 10 0 0 18 0 3 0 349719852 51490816 11251 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 12571 11251 218 20 0 11929 0
[pid=30220/tid=30222] ppid=30218 vsize=50284 CPUtime=12.66
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 5488 0 0 0 1263 3 0 0 20 0 3 0 349719854 51490816 11251 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30220/tid=30223] ppid=30218 vsize=50284 CPUtime=12.62
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 5717 0 0 0 1256 6 0 0 21 0 3 0 349719854 51490816 11251 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 50284

[startup+25.5016 s]
/proc/loadavg: 1.97 2.52 2.31 3/68 30223
/proc/meminfo: memFree=901744/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=54172 CPUtime=50.82
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 12982 0 0 0 5071 11 0 0 18 0 3 0 349719852 55472128 12249 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 13543 12249 218 20 0 12901 0
[pid=30220/tid=30222] ppid=30218 vsize=54172 CPUtime=25.46
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 6134 0 0 0 2542 4 0 0 25 0 3 0 349719854 55472128 12249 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30220/tid=30223] ppid=30218 vsize=54172 CPUtime=25.34
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 6481 0 0 0 2527 7 0 0 25 0 3 0 349719854 55472128 12249 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 54172

[startup+51.1019 s]
/proc/loadavg: 1.98 2.48 2.30 3/68 30223
/proc/meminfo: memFree=887920/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=67756 CPUtime=101.88
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 17187 0 0 0 10173 15 0 0 18 0 3 0 349719852 69382144 15699 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 16939 15699 218 20 0 16297 0
[pid=30220/tid=30222] ppid=30218 vsize=67756 CPUtime=51.05
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 8082 0 0 0 5099 6 0 0 25 0 3 0 349719854 69382144 15699 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30220/tid=30223] ppid=30218 vsize=67756 CPUtime=50.82
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 8738 0 0 0 5073 9 0 0 25 0 3 0 349719854 69382144 15699 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 67756

[startup+102.305 s]
/proc/loadavg: 1.99 2.40 2.28 3/68 30223
/proc/meminfo: memFree=876592/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=77792 CPUtime=204.01
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 21210 0 0 0 20382 19 0 0 18 0 3 0 349719852 79659008 18298 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 19448 18298 218 20 0 18806 0
[pid=30220/tid=30222] ppid=30218 vsize=77792 CPUtime=102.21
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 9910 0 0 0 10214 7 0 0 25 0 3 0 349719854 79659008 18298 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30220/tid=30223] ppid=30218 vsize=77792 CPUtime=101.79
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 10933 0 0 0 10167 12 0 0 25 0 3 0 349719854 79659008 18298 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 77792

[startup+162.301 s]
/proc/loadavg: 1.99 2.33 2.26 3/68 30223
/proc/meminfo: memFree=875504/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=79840 CPUtime=323.65
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 22992 0 0 0 32345 20 0 0 18 0 3 0 349719852 81756160 18558 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 19960 18558 218 20 0 19318 0
[pid=30220/tid=30222] ppid=30218 vsize=79840 CPUtime=162.17
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 10908 0 0 0 16209 8 0 0 25 0 3 0 349719854 81756160 18558 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30220/tid=30223] ppid=30218 vsize=79840 CPUtime=161.47
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 11717 0 0 0 16135 12 0 0 25 0 3 0 349719854 81756160 18558 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.65
Current children cumulated vsize (KiB) 79840

[startup+222.302 s]
/proc/loadavg: 1.99 2.26 2.25 3/68 30223
/proc/meminfo: memFree=869936/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=85076 CPUtime=443.3
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 25904 0 0 0 44307 23 0 0 18 0 3 0 349719852 87117824 19954 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 21269 19954 218 20 0 20627 0
[pid=30220/tid=30222] ppid=30218 vsize=85076 CPUtime=222.12
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 12243 0 0 0 22203 9 0 0 18 0 3 0 349719854 87117824 19954 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30220/tid=30223] ppid=30218 vsize=85076 CPUtime=221.16
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 13294 0 0 0 22102 14 0 0 19 0 3 0 349719854 87117824 19954 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.3
Current children cumulated vsize (KiB) 85076

[startup+282.301 s]
/proc/loadavg: 1.99 2.21 2.23 3/68 30223
/proc/meminfo: memFree=869040/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=85952 CPUtime=562.98
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 27686 0 0 0 56274 24 0 0 18 0 3 0 349719852 88014848 20237 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 21488 20237 218 20 0 20846 0
[pid=30220/tid=30222] ppid=30218 vsize=85952 CPUtime=282.08
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 13172 0 0 0 28199 9 0 0 25 0 3 0 349719854 88014848 20237 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30220/tid=30223] ppid=30218 vsize=85952 CPUtime=280.88
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 14147 0 0 0 28074 14 0 0 25 0 3 0 349719854 88014848 20237 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.98
Current children cumulated vsize (KiB) 85952

[startup+342.302 s]
/proc/loadavg: 1.99 2.17 2.21 3/68 30223
/proc/meminfo: memFree=867504/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=86984 CPUtime=682.64
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 29489 0 0 0 68239 25 0 0 18 0 3 0 349719852 89071616 20577 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 21746 20577 218 20 0 21104 0
[pid=30220/tid=30222] ppid=30218 vsize=86984 CPUtime=342.03
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 14178 0 0 0 34194 9 0 0 25 0 3 0 349719854 89071616 20577 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526347 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30220/tid=30223] ppid=30218 vsize=86984 CPUtime=340.59
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 14944 0 0 0 34044 15 0 0 25 0 3 0 349719854 89071616 20577 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.64
Current children cumulated vsize (KiB) 86984

[startup+402.302 s]

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

/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 36532 0 0 0 190067 30 0 0 25 0 3 0 349719854 136732672 31793 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30220/tid=30223] ppid=30218 vsize=133528 CPUtime=1893.41
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 37010 0 0 0 189290 51 0 0 25 0 3 0 349719854 136732672 31793 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.4
Current children cumulated vsize (KiB) 133528

[startup+1962.3 s]
/proc/loadavg: 2.20 2.05 2.01 3/68 30421
/proc/meminfo: memFree=821616/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=133672 CPUtime=3914.07
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 75345 0 0 0 391324 83 0 0 18 0 3 0 349719852 136880128 32018 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 33418 32018 218 20 0 32776 0
[pid=30220/tid=30222] ppid=30218 vsize=133672 CPUtime=1960.73
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 37107 0 0 0 196043 30 0 0 25 0 3 0 349719854 136880128 32018 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30220/tid=30223] ppid=30218 vsize=133672 CPUtime=1953.31
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 37871 0 0 0 195279 52 0 0 25 0 3 0 349719854 136880128 32018 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.07
Current children cumulated vsize (KiB) 133672

[startup+2022.3 s]
/proc/loadavg: 2.28 2.10 2.03 3/68 30421
/proc/meminfo: memFree=821104/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=134852 CPUtime=4033.78
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 76824 0 0 0 403293 85 0 0 18 0 3 0 349719852 138088448 32140 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 33713 32140 218 20 0 33071 0
[pid=30220/tid=30222] ppid=30218 vsize=134852 CPUtime=2020.46
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 37819 0 0 0 202015 31 0 0 25 0 3 0 349719854 138088448 32140 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30220/tid=30223] ppid=30218 vsize=134852 CPUtime=2013.29
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 38638 0 0 0 201276 53 0 0 25 0 3 0 349719854 138088448 32140 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.78
Current children cumulated vsize (KiB) 134852

[startup+2082.31 s]
/proc/loadavg: 2.17 2.09 2.03 3/68 30421
/proc/meminfo: memFree=820848/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=134852 CPUtime=4153.5
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 78131 0 0 0 415264 86 0 0 18 0 3 0 349719852 138088448 32216 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 33713 32216 218 20 0 33071 0
[pid=30220/tid=30222] ppid=30218 vsize=134852 CPUtime=2080.2
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 38509 0 0 0 207988 32 0 0 25 0 3 0 349719854 138088448 32216 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30220/tid=30223] ppid=30218 vsize=134852 CPUtime=2073.27
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 39255 0 0 0 207274 53 0 0 25 0 3 0 349719854 138088448 32216 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.5
Current children cumulated vsize (KiB) 134852

[startup+2142.3 s]
/proc/loadavg: 2.13 2.09 2.03 3/68 30421
/proc/meminfo: memFree=820592/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=134852 CPUtime=4273.18
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 79285 0 0 0 427231 87 0 0 18 0 3 0 349719852 138088448 32268 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 33713 32268 218 20 0 33071 0
[pid=30220/tid=30222] ppid=30218 vsize=134852 CPUtime=2139.9
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 39073 0 0 0 213958 32 0 0 25 0 3 0 349719854 138088448 32268 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30220/tid=30223] ppid=30218 vsize=134852 CPUtime=2133.26
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 39845 0 0 0 213272 54 0 0 25 0 3 0 349719854 138088448 32268 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.18
Current children cumulated vsize (KiB) 134852

[startup+2202.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/68 30421
/proc/meminfo: memFree=820528/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=134852 CPUtime=4392.89
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 80564 0 0 0 439202 87 0 0 18 0 3 0 349719852 138088448 32300 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 33713 32300 218 20 0 33071 0
[pid=30220/tid=30222] ppid=30218 vsize=134852 CPUtime=2199.62
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 39629 0 0 0 219930 32 0 0 25 0 3 0 349719854 138088448 32300 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30220/tid=30223] ppid=30218 vsize=134852 CPUtime=2193.24
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 40568 0 0 0 219270 54 0 0 25 0 3 0 349719854 138088448 32300 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.89
Current children cumulated vsize (KiB) 134852

[startup+2262.3 s]
/proc/loadavg: 2.10 2.08 2.03 3/68 30421
/proc/meminfo: memFree=820336/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=134852 CPUtime=4512.59
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 82009 0 0 0 451171 88 0 0 18 0 3 0 349719852 138088448 32351 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 33713 32351 218 20 0 33071 0
[pid=30220/tid=30222] ppid=30218 vsize=134852 CPUtime=2259.36
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 40360 0 0 0 225903 33 0 0 25 0 3 0 349719854 138088448 32351 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30220/tid=30223] ppid=30218 vsize=134852 CPUtime=2253.2
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 41282 0 0 0 225266 54 0 0 25 0 3 0 349719854 138088448 32351 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.59
Current children cumulated vsize (KiB) 134852

[startup+2322.3 s]
/proc/loadavg: 2.09 2.08 2.03 3/68 30421
/proc/meminfo: memFree=819376/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=136052 CPUtime=4632.27
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 83375 0 0 0 463138 89 0 0 18 0 3 0 349719852 139317248 32594 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 34013 32594 218 20 0 33371 0
[pid=30220/tid=30222] ppid=30218 vsize=136052 CPUtime=2319.06
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 40940 0 0 0 231873 33 0 0 25 0 3 0 349719854 139317248 32594 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30220/tid=30223] ppid=30218 vsize=136052 CPUtime=2313.19
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 42068 0 0 0 231263 56 0 0 25 0 3 0 349719854 139317248 32594 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.27
Current children cumulated vsize (KiB) 136052

[startup+2382.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/68 30421
/proc/meminfo: memFree=819120/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=136184 CPUtime=4752
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 84724 0 0 0 475110 90 0 0 18 0 3 0 349719852 139452416 32671 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 34046 32671 218 20 0 33404 0
[pid=30220/tid=30222] ppid=30218 vsize=136184 CPUtime=2378.81
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 41718 0 0 0 237847 34 0 0 25 0 3 0 349719854 139452416 32671 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526404 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30220/tid=30223] ppid=30218 vsize=136184 CPUtime=2373.17
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 42639 0 0 0 237261 56 0 0 25 0 3 0 349719854 139452416 32671 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752
Current children cumulated vsize (KiB) 136184

[startup+2442.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/68 30421
/proc/meminfo: memFree=818736/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=136356 CPUtime=4871.71
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 85771 0 0 0 487080 91 0 0 18 0 3 0 349719852 139628544 32724 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 34089 32724 218 20 0 33447 0
[pid=30220/tid=30222] ppid=30218 vsize=136356 CPUtime=2438.54
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 42172 0 0 0 243820 34 0 0 25 0 3 0 349719854 139628544 32724 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30220/tid=30223] ppid=30218 vsize=136356 CPUtime=2433.16
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 43232 0 0 0 243259 57 0 0 25 0 3 0 349719854 139628544 32724 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.71
Current children cumulated vsize (KiB) 136356

[startup+2502.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/68 30421
/proc/meminfo: memFree=817456/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=137564 CPUtime=4991.42
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 87543 0 0 0 499049 93 0 0 18 0 3 0 349719852 140865536 33066 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 34391 33066 218 20 0 33749 0
[pid=30220/tid=30222] ppid=30218 vsize=137564 CPUtime=2498.26
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 42936 0 0 0 249791 35 0 0 25 0 3 0 349719854 140865536 33066 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30220/tid=30223] ppid=30218 vsize=137564 CPUtime=2493.13
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 44240 0 0 0 249256 57 0 0 25 0 3 0 349719854 140865536 33066 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.42
Current children cumulated vsize (KiB) 137564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.7 s]
/proc/loadavg: 2.02 2.05 2.01 3/68 30421
/proc/meminfo: memFree=817456/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=137564 CPUtime=5000.19
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 87543 0 0 0 499926 93 0 0 18 0 3 0 349719852 140865536 33066 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 34391 33066 218 20 0 33749 0
[pid=30220/tid=30222] ppid=30218 vsize=137564 CPUtime=2502.63
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 42936 0 0 0 250228 35 0 0 25 0 3 0 349719854 140865536 33066 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30220/tid=30223] ppid=30218 vsize=137564 CPUtime=2497.53
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 44240 0 0 0 249696 57 0 0 25 0 3 0 349719854 140865536 33066 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.19
Current children cumulated vsize (KiB) 137564

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

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

[startup+2506.7 s]
/proc/loadavg: 2.02 2.05 2.01 3/68 30421
/proc/meminfo: memFree=817456/2055920 swapFree=4182300/4192956
[pid=30220] ppid=30218 vsize=137564 CPUtime=5000.19
/proc/30220/stat : 30220 (MiraXTv3_dyn) S 30218 30220 27143 0 -1 4194304 87543 0 0 0 499926 93 0 0 18 0 3 0 349719852 140865536 33066 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30220/statm: 34391 33066 218 20 0 33749 0
[pid=30220/tid=30222] ppid=30218 vsize=137564 CPUtime=2502.63
/proc/30220/task/30222/stat : 30222 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 42936 0 0 0 250228 35 0 0 25 0 3 0 349719854 140865536 33066 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30220/tid=30223] ppid=30218 vsize=137564 CPUtime=2497.53
/proc/30220/task/30223/stat : 30223 (MiraXTv3_dyn) R 30218 30220 27143 0 -1 4194368 44240 0 0 0 249696 57 0 0 25 0 3 0 349719854 140865536 33066 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.19
Current children cumulated vsize (KiB) 137564

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.73
CPU time (s): 5000.23
CPU user time (s): 4999.28
CPU system time (s): 0.952855
CPU usage (%): 199.472
Max. virtual memory (cumulated for all children) (KiB): 137564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.28
system time used= 0.952855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87543
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= 479
involuntary context switches= 37843

runsolver used 2.37064 second user time and 6.79597 second system time

The end

Launcher Data (download as text)

Begin job on node54 on Sun May 13 02:30:54 UTC 2007

IDJOB= 456429
IDBENCH= 24708
IDSOLVER= 196
FILE ID= node54/456429-1179023454

PBS_JOBID= 5253249

Free space on /tmp= 66522 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest03/looksrandom/hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456429-1179023454/MiraXTv3_dyn /tmp/evaluation/456429-1179023454/instance-456429-1179023454.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node54/watcher-456429-1179023454 -o ROOT/results/node54/solver-456429-1179023454 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456429-1179023454/MiraXTv3_dyn /tmp/evaluation/456429-1179023454/instance-456429-1179023454.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  e6cd66a115f70af2c02b5cac2d51607a

RANDOM SEED= 504563944

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        950048 kB
Buffers:         53056 kB
Cached:         912116 kB
SwapCached:       4168 kB
Active:         591988 kB
Inactive:       383408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        950048 kB
SwapTotal:     4192956 kB
SwapFree:      4182300 kB
Dirty:            3944 kB
Writeback:           0 kB
Mapped:          16024 kB
Slab:           116448 kB
Committed_AS:  5395900 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66522 MiB

End job on node54 on Sun May 13 03:12:43 UTC 2007