Trace number 426250

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.18 2506.96

General information on the benchmark

Namerandom/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1243695187-06.cnf
MD5SUM018b5778952b6ade82e68c4640d24c94
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark253.991
Satisfiable
(Un)Satisfiability was proved
Number of variables1100
Number of clauses22000
Sum of the clauses size110000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 522000
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/node1/watcher-426250-1179003462 -o ROOT/results/node1/solver-426250-1179003462 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426250-1179003462/MiraXTv3_dyn /tmp/evaluation/426250-1179003462/instance-426250-1179003462.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.84 1.97 1.98 3/77 3239
/proc/meminfo: memFree=1615104/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=3788 CPUtime=0
/proc/3239/stat : 3239 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194304 406 0 0 0 0 0 0 0 18 0 1 0 376384093 3878912 381 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 6264443 0 0 4096 0 0 0 0 17 0 0 0
/proc/3239/statm: 947 383 205 20 0 305 0

[startup+0.021587 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 3239
/proc/meminfo: memFree=1615104/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=4580 CPUtime=0.01
/proc/3239/stat : 3239 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194304 615 0 0 0 1 0 0 0 18 0 1 0 376384093 4689920 590 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134585364 0 0 4096 0 0 0 0 17 0 0 0
/proc/3239/statm: 1145 590 206 20 0 503 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4580

[startup+0.101594 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 3239
/proc/meminfo: memFree=1615104/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=5700 CPUtime=0.09
/proc/3239/stat : 3239 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194304 874 0 0 0 9 0 0 0 18 0 1 0 376384093 5836800 849 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 6262516 0 0 4096 0 0 0 0 17 0 0 0
/proc/3239/statm: 1425 849 207 20 0 783 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5700

[startup+0.301624 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 3239
/proc/meminfo: memFree=1615104/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=15476 CPUtime=0.42
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 1972 0 0 0 41 1 0 0 18 0 3 0 376384093 15847424 1859 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 3869 1859 218 20 0 3227 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 15476

[startup+0.701673 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 3239
/proc/meminfo: memFree=1615104/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=20164 CPUtime=1.21
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 3323 0 0 0 120 1 0 0 18 0 3 0 376384093 20647936 3210 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 5041 3210 218 20 0 4399 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 20164

[startup+1.50177 s]
/proc/loadavg: 1.84 1.97 1.98 3/80 3242
/proc/meminfo: memFree=1599144/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=31336 CPUtime=2.81
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 5991 0 0 0 278 3 0 0 18 0 3 0 376384093 32088064 5878 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 7834 5878 218 20 0 7192 0
[pid=3239/tid=3241] ppid=3237 vsize=31336 CPUtime=1.33
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 2489 0 0 0 133 0 0 0 18 0 3 0 376384109 32088064 5878 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=31336 CPUtime=1.31
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 2438 0 0 0 130 1 0 0 25 0 3 0 376384109 32088064 5878 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134521314 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 31336

[startup+3.10296 s]
/proc/loadavg: 1.84 1.97 1.98 3/80 3242
/proc/meminfo: memFree=1585256/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=48756 CPUtime=6.01
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 10442 0 0 0 594 7 0 0 18 0 3 0 376384093 49926144 10329 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 12189 10329 218 20 0 11547 0
[pid=3239/tid=3241] ppid=3237 vsize=48756 CPUtime=2.93
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 4812 0 0 0 291 2 0 0 18 0 3 0 376384109 49926144 10329 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520200 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=48756 CPUtime=2.91
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 4566 0 0 0 287 4 0 0 18 0 3 0 376384109 49926144 10329 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 48756

[startup+6.30133 s]
/proc/loadavg: 1.85 1.97 1.98 3/80 3242
/proc/meminfo: memFree=1569960/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=60548 CPUtime=12.39
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 13324 0 0 0 1229 10 0 0 18 0 3 0 376384093 62001152 13175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 15137 13175 218 20 0 14495 0
[pid=3239/tid=3241] ppid=3237 vsize=60548 CPUtime=6.13
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 5783 0 0 0 610 3 0 0 21 0 3 0 376384109 62001152 13175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=60548 CPUtime=6.1
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 6477 0 0 0 604 6 0 0 24 0 3 0 376384109 62001152 13175 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 60548

[startup+12.7011 s]
/proc/loadavg: 1.86 1.97 1.98 3/80 3242
/proc/meminfo: memFree=1517032/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=110864 CPUtime=25.15
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 26203 0 0 0 2494 21 0 0 18 0 3 0 376384093 113524736 25897 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 27716 25897 218 20 0 27074 0
[pid=3239/tid=3241] ppid=3237 vsize=110864 CPUtime=12.51
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 12424 0 0 0 1244 7 0 0 25 0 3 0 376384109 113524736 25897 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 6264443 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=110864 CPUtime=12.47
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 12715 0 0 0 1235 12 0 0 25 0 3 0 376384109 113524736 25897 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 110864

[startup+25.5016 s]
/proc/loadavg: 1.89 1.97 1.98 3/80 3242
/proc/meminfo: memFree=1482088/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=139772 CPUtime=50.68
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 33923 0 0 0 5041 27 0 0 18 0 3 0 376384093 143126528 33250 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 34943 33250 218 20 0 34301 0
[pid=3239/tid=3241] ppid=3237 vsize=139772 CPUtime=25.31
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 16546 0 0 0 2521 10 0 0 25 0 3 0 376384109 143126528 33250 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=139772 CPUtime=25.21
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 16313 0 0 0 2505 16 0 0 25 0 3 0 376384109 143126528 33250 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520120 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 139772

[startup+51.1016 s]
/proc/loadavg: 1.93 1.97 1.98 3/80 3242
/proc/meminfo: memFree=1431592/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=190444 CPUtime=101.74
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 47216 0 0 0 10133 41 0 0 18 0 3 0 376384093 195014656 45861 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 47611 45861 218 20 0 46969 0
[pid=3239/tid=3241] ppid=3237 vsize=190444 CPUtime=50.87
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 22890 0 0 0 5072 15 0 0 25 0 3 0 376384109 195014656 45861 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=190444 CPUtime=50.69
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 23262 0 0 0 5045 24 0 0 25 0 3 0 376384109 195014656 45861 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 190444

[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.98 3/80 3242
/proc/meminfo: memFree=1407272/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=215124 CPUtime=203.88
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 54383 0 0 0 20339 49 0 0 18 0 3 0 376384093 220286976 52111 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 53781 52111 218 20 0 53139 0
[pid=3239/tid=3241] ppid=3237 vsize=215124 CPUtime=102.02
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 27251 0 0 0 10184 18 0 0 25 0 3 0 376384109 220286976 52111 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526685 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=215124 CPUtime=101.69
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 26068 0 0 0 10140 29 0 0 19 0 3 0 376384109 220286976 52111 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 215124

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 3242
/proc/meminfo: memFree=1398952/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=222456 CPUtime=323.52
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 57648 0 0 0 32299 53 0 0 18 0 3 0 376384093 227794944 53983 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 55614 53983 218 20 0 54972 0
[pid=3239/tid=3241] ppid=3237 vsize=222456 CPUtime=161.93
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 28235 0 0 0 16174 19 0 0 25 0 3 0 376384109 227794944 53983 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=222456 CPUtime=161.42
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 28349 0 0 0 16110 32 0 0 25 0 3 0 376384109 227794944 53983 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.52
Current children cumulated vsize (KiB) 222456

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/86 3364
/proc/meminfo: memFree=1394280/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=225528 CPUtime=442.96
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 59658 0 0 0 44233 63 0 0 18 0 3 0 376384093 230940672 54787 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 56382 54787 218 20 0 55740 0
[pid=3239/tid=3241] ppid=3237 vsize=225528 CPUtime=221.81
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 28839 0 0 0 22154 27 0 0 25 0 3 0 376384109 230940672 54787 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=225528 CPUtime=220.99
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 29755 0 0 0 22064 35 0 0 25 0 3 0 376384109 230940672 54787 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.96
Current children cumulated vsize (KiB) 225528

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 3440
/proc/meminfo: memFree=1394664/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=226552 CPUtime=562.5
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 59966 0 0 0 56181 69 0 0 18 0 3 0 376384093 231989248 55028 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 56638 55028 218 20 0 55996 0
[pid=3239/tid=3241] ppid=3237 vsize=226552 CPUtime=281.71
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 29058 0 0 0 28138 33 0 0 25 0 3 0 376384109 231989248 55028 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520093 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=226552 CPUtime=280.62
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 29844 0 0 0 28027 35 0 0 25 0 3 0 376384109 231989248 55028 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.5
Current children cumulated vsize (KiB) 226552

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 3440
/proc/meminfo: memFree=1384488/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=236596 CPUtime=682.18
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 62949 0 0 0 68146 72 0 0 18 0 3 0 376384093 242274304 57542 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 59149 57542 218 20 0 58507 0
[pid=3239/tid=3241] ppid=3237 vsize=236596 CPUtime=341.64
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 32039 0 0 0 34129 35 0 0 25 0 3 0 376384109 242274304 57542 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=236596 CPUtime=340.36
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 29846 0 0 0 34001 35 0 0 25 0 3 0 376384109 242274304 57542 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.18
Current children cumulated vsize (KiB) 236596

[startup+402.302 s]

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

/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 42762 0 0 0 189959 46 0 0 25 0 3 0 376384109 280625152 67116 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=274048 CPUtime=1893.76
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 38375 0 0 0 189319 57 0 0 25 0 3 0 376384109 280625152 67116 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.98
Current children cumulated vsize (KiB) 274048

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/80 3440
/proc/meminfo: memFree=1343144/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=278144 CPUtime=3913.7
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 83781 0 0 0 391263 107 0 0 18 0 3 0 376384093 284819456 67889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 69536 67889 218 20 0 68894 0
[pid=3239/tid=3241] ppid=3237 vsize=278144 CPUtime=1960.01
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 43112 0 0 0 195955 46 0 0 25 0 3 0 376384109 284819456 67889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=278144 CPUtime=1953.51
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 39605 0 0 0 195292 59 0 0 25 0 3 0 376384109 284819456 67889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.7
Current children cumulated vsize (KiB) 278144

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/80 3440
/proc/meminfo: memFree=1343208/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=278144 CPUtime=4033.39
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 84551 0 0 0 403231 108 0 0 18 0 3 0 376384093 284819456 67864 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 69536 67864 218 20 0 68894 0
[pid=3239/tid=3241] ppid=3237 vsize=278144 CPUtime=2019.95
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 43532 0 0 0 201949 46 0 0 25 0 3 0 376384109 284819456 67864 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=278144 CPUtime=2013.26
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 39955 0 0 0 201266 60 0 0 25 0 3 0 376384109 284819456 67864 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526377 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.39
Current children cumulated vsize (KiB) 278144

[startup+2082.31 s]
/proc/loadavg: 2.00 1.99 1.99 3/80 3440
/proc/meminfo: memFree=1338664/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=282504 CPUtime=4153.08
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 86463 0 0 0 415197 111 0 0 18 0 3 0 376384093 289284096 68987 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 70626 68987 218 20 0 69984 0
[pid=3239/tid=3241] ppid=3237 vsize=282504 CPUtime=2079.9
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 43944 0 0 0 207943 47 0 0 25 0 3 0 376384109 289284096 68987 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=282504 CPUtime=2073.02
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 41455 0 0 0 207239 63 0 0 25 0 3 0 376384109 289284096 68987 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.08
Current children cumulated vsize (KiB) 282504

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/80 3440
/proc/meminfo: memFree=1335016/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=285804 CPUtime=4272.79
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 88089 0 0 0 427166 113 0 0 18 0 3 0 376384093 292663296 69913 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 71451 69913 218 20 0 70809 0
[pid=3239/tid=3241] ppid=3237 vsize=285804 CPUtime=2139.85
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 45211 0 0 0 213937 48 0 0 25 0 3 0 376384109 292663296 69913 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=285804 CPUtime=2132.77
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 41814 0 0 0 213213 64 0 0 25 0 3 0 376384109 292663296 69913 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520156 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.79
Current children cumulated vsize (KiB) 285804

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/80 3440
/proc/meminfo: memFree=1335656/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=284580 CPUtime=4392.47
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 88299 0 0 0 439133 114 0 0 18 0 3 0 376384093 291409920 69735 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 71145 69735 218 20 0 70503 0
[pid=3239/tid=3241] ppid=3237 vsize=284580 CPUtime=2199.8
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 45351 0 0 0 219932 48 0 0 25 0 3 0 376384109 291409920 69735 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=284580 CPUtime=2192.5
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 41884 0 0 0 219185 65 0 0 25 0 3 0 376384109 291409920 69735 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.47
Current children cumulated vsize (KiB) 284580

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/80 3440
/proc/meminfo: memFree=1335720/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=284580 CPUtime=4512.16
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 88299 0 0 0 451101 115 0 0 18 0 3 0 376384093 291409920 69735 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 71145 69735 218 20 0 70503 0
[pid=3239/tid=3241] ppid=3237 vsize=284580 CPUtime=2259.73
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 45351 0 0 0 225925 48 0 0 25 0 3 0 376384109 291409920 69735 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526573 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=284580 CPUtime=2252.25
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 41884 0 0 0 225160 65 0 0 25 0 3 0 376384109 291409920 69735 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526410 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.16
Current children cumulated vsize (KiB) 284580

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/80 3440
/proc/meminfo: memFree=1335720/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=284580 CPUtime=4631.84
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 88300 0 0 0 463069 115 0 0 18 0 3 0 376384093 291409920 69736 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 71145 69736 218 20 0 70503 0
[pid=3239/tid=3241] ppid=3237 vsize=284580 CPUtime=2319.67
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 45352 0 0 0 231919 48 0 0 25 0 3 0 376384109 291409920 69736 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=284580 CPUtime=2312
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 41884 0 0 0 231134 66 0 0 25 0 3 0 376384109 291409920 69736 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4631.84
Current children cumulated vsize (KiB) 284580

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/80 3440
/proc/meminfo: memFree=1335720/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=284580 CPUtime=4751.54
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 88301 0 0 0 475038 116 0 0 18 0 3 0 376384093 291409920 69737 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 71145 69737 218 20 0 70503 0
[pid=3239/tid=3241] ppid=3237 vsize=284580 CPUtime=2379.62
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 45352 0 0 0 237913 49 0 0 25 0 3 0 376384109 291409920 69737 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=284580 CPUtime=2371.75
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 41885 0 0 0 237109 66 0 0 25 0 3 0 376384109 291409920 69737 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4751.54
Current children cumulated vsize (KiB) 284580

[startup+2442.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/80 3442
/proc/meminfo: memFree=1335592/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=285604 CPUtime=4871.22
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 88370 0 0 0 487006 116 0 0 18 0 3 0 376384093 292458496 69806 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 71401 69806 218 20 0 70759 0
[pid=3239/tid=3241] ppid=3237 vsize=285604 CPUtime=2439.56
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 45421 0 0 0 243907 49 0 0 25 0 3 0 376384109 292458496 69806 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526710 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=285604 CPUtime=2431.5
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 41885 0 0 0 243083 67 0 0 25 0 3 0 376384109 292458496 69806 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.22
Current children cumulated vsize (KiB) 285604

[startup+2502.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/80 3442
/proc/meminfo: memFree=1334376/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=286628 CPUtime=4990.92
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 88673 0 0 0 498975 117 0 0 18 0 3 0 376384093 293507072 70109 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 71657 70109 218 20 0 71015 0
[pid=3239/tid=3241] ppid=3237 vsize=286628 CPUtime=2499.51
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 45720 0 0 0 249902 49 0 0 25 0 3 0 376384109 293507072 70109 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=286628 CPUtime=2491.25
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 41889 0 0 0 249058 67 0 0 25 0 3 0 376384109 293507072 70109 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4990.92
Current children cumulated vsize (KiB) 286628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.91 s]
/proc/loadavg: 2.02 2.00 2.00 3/80 3442
/proc/meminfo: memFree=1334376/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=286628 CPUtime=5000.11
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 88674 0 0 0 499893 118 0 0 18 0 3 0 376384093 293507072 70110 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 71657 70110 218 20 0 71015 0
[pid=3239/tid=3241] ppid=3237 vsize=286628 CPUtime=2504.11
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 45720 0 0 0 250362 49 0 0 25 0 3 0 376384109 293507072 70110 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=286628 CPUtime=2495.82
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 41890 0 0 0 249515 67 0 0 25 0 3 0 376384109 293507072 70110 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.11
Current children cumulated vsize (KiB) 286628

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

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

[startup+2506.91 s]
/proc/loadavg: 2.02 2.00 2.00 3/80 3442
/proc/meminfo: memFree=1334376/2055920 swapFree=4145760/4192956
[pid=3239] ppid=3237 vsize=286628 CPUtime=5000.11
/proc/3239/stat : 3239 (MiraXTv3_dyn) S 3237 3239 2851 0 -1 4194304 88674 0 0 0 499893 118 0 0 18 0 3 0 376384093 293507072 70110 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/3239/statm: 71657 70110 218 20 0 71015 0
[pid=3239/tid=3241] ppid=3237 vsize=286628 CPUtime=2504.11
/proc/3239/task/3241/stat : 3241 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 45720 0 0 0 250362 49 0 0 25 0 3 0 376384109 293507072 70110 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3239/tid=3242] ppid=3237 vsize=286628 CPUtime=2495.82
/proc/3239/task/3242/stat : 3242 (MiraXTv3_dyn) R 3237 3239 2851 0 -1 4194368 41890 0 0 0 249515 67 0 0 25 0 3 0 376384109 293507072 70110 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.11
Current children cumulated vsize (KiB) 286628

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.96
CPU time (s): 5000.18
CPU user time (s): 4998.95
CPU system time (s): 1.22581
CPU usage (%): 199.452
Max. virtual memory (cumulated for all children) (KiB): 286628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.95
system time used= 1.22581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88674
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= 980
involuntary context switches= 94492

runsolver used 2.36264 second user time and 6.83296 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Sat May 12 20:57:43 UTC 2007

IDJOB= 426250
IDBENCH= 20075
IDSOLVER= 196
FILE ID= node1/426250-1179003462

PBS_JOBID= 5252836

Free space on /tmp= 54599 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v1100/unif-k5-r20-v1100-c22000-S1243695187-06.cnf
COMMAND LINE= /tmp/evaluation/426250-1179003462/MiraXTv3_dyn /tmp/evaluation/426250-1179003462/instance-426250-1179003462.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-426250-1179003462 -o ROOT/results/node1/solver-426250-1179003462 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426250-1179003462/MiraXTv3_dyn /tmp/evaluation/426250-1179003462/instance-426250-1179003462.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  018b5778952b6ade82e68c4640d24c94

RANDOM SEED= 978163150

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.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:       1615320 kB
Buffers:         51204 kB
Cached:         277540 kB
SwapCached:      14724 kB
Active:         135704 kB
Inactive:       218284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1615320 kB
SwapTotal:     4192956 kB
SwapFree:      4145760 kB
Dirty:            4440 kB
Writeback:           0 kB
Mapped:          30132 kB
Slab:            72068 kB
Committed_AS:  9810172 kB
PageTables:       1832 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= 54599 MiB

End job on node1 on Sat May 12 21:39:32 UTC 2007